Nicholas Dudfield
ff24f10b9f
Merge branch 'feature-export-rng' into feature-export-rng-lean
2026-06-26 10:27:25 +07:00
Nicholas Dudfield
aee3a638ee
fix(consensus): avoid NegativeUNL cap overflow
2026-06-26 10:26:47 +07:00
Nicholas Dudfield
e6ac99624e
build(formal): update levelization ordering
2026-06-26 10:06:46 +07:00
Nicholas Dudfield
b9f54b9ddb
ci(formal): publish Lean verification artifacts
2026-06-26 10:02:05 +07:00
Nicholas Dudfield
d54ad32d65
fix(formal): resolve support branch merge drift
2026-06-26 10:01:44 +07:00
Nicholas Dudfield
feb2123e2c
merge feature-export-rng into formal branch
2026-06-26 09:38:08 +07:00
Nicholas Dudfield
56d196739c
test(formal): tighten Lean bridge coverage
2026-06-25 17:52:23 +07:00
Nicholas Dudfield
79c2562492
test(formal): harden Lean bridge checks
2026-06-25 17:24:27 +07:00
Nicholas Dudfield
a509de3d39
build(formal): centralize Lean toolchain checks
2026-06-25 14:14:56 +07:00
Nicholas Dudfield
4fb91ea9f5
refactor(consensus): expose threshold policy seams
2026-06-24 18:58:24 +07:00
Nicholas Dudfield
691e2b07eb
test(formal): widen Lean drift cross-checks
2026-06-24 17:50:25 +07:00
Nicholas Dudfield
ffe7b51336
test(formal): widen Lean consensus drift checks
2026-06-24 16:27:03 +07:00
Nicholas Dudfield
d7a5863b93
test(formal): add optional Lean threshold cross-check
2026-06-24 15:50:34 +07:00
Nicholas Dudfield
acb492a2c9
docs(consensus): polish guided review excerpts
2026-06-24 14:50:43 +07:00
Nicholas Dudfield
92fe444323
docs(consensus): tighten guided review anchors
2026-06-24 14:15:23 +07:00
Nicholas Dudfield
9549901014
docs(consensus): clarify extended position identity
2026-06-24 13:35:25 +07:00
Nicholas Dudfield
9f6e7dd315
refactor(consensus): make extended position identity explicit
2026-06-24 13:10:57 +07:00
Nicholas Dudfield
f6d986bdbc
chore: remove stale branch TODO comments
2026-06-24 12:48:52 +07:00
Nicholas Dudfield
e55bf43986
test: document consensus entropy fixture opt-in
2026-06-24 12:38:09 +07:00
Nicholas Dudfield
b4beb92c34
chore: match levelization output
2026-06-23 16:49:01 +07:00
Nicholas Dudfield
40edbfc7f2
chore: update levelization results
2026-06-23 16:46:25 +07:00
Nicholas Dudfield
ff205b1b81
docs(hooks): generate entropy API comments
2026-06-23 16:43:45 +07:00
Nicholas Dudfield
ddfb1dbeb6
docs: clarify entropy and runtime test APIs
2026-06-23 16:42:05 +07:00
Nicholas Dudfield
8bf1ece0a0
test(export): pin expiry and no-veto boundaries
2026-06-23 16:42:02 +07:00
Nicholas Dudfield
639e153f3b
fix(consensus): gate proposal extensions by parent ledger
2026-06-23 16:41:58 +07:00
Nicholas Dudfield
8e542c32e0
test(testnet): clarify directed runtime latency syntax
2026-06-23 16:19:10 +07:00
Nicholas Dudfield
38f4d53ebf
test(testnet): add runtime latency probe suite
2026-06-23 16:04:58 +07:00
Nicholas Dudfield
fe66a11c69
build(test): allow external hook Env tests
2026-06-23 13:38:43 +07:00
Nicholas Dudfield
77e48d553c
test(export): cover sidecar rejection preflights
2026-06-23 11:53:51 +07:00
Nicholas Dudfield
439031dc92
Merge remote-tracking branch 'origin/dev' into feature-export-rng
2026-06-23 10:55:43 +07:00
Nicholas Dudfield
1a5b934881
test(csf): model sidecar split-brain equivocation
2026-06-23 10:52:38 +07:00
Nicholas Dudfield
7f0d2959e8
test(export): cover no-veto sidecar withholding
2026-06-23 10:34:01 +07:00
Nicholas Dudfield
1440d1495f
test(consensus): cover split-brain sidecar threshold
2026-06-23 10:20:34 +07:00
Nicholas Dudfield
57f5a9d6cc
test(testnet): cover export without UNLReport
2026-06-23 10:14:09 +07:00
Nicholas Dudfield
cacd1f71fe
test(consensus): mint tier 2 with active nUNL
2026-06-23 10:11:40 +07:00
Nicholas Dudfield
93a6f0fbec
docs(testnet): add export degradation projection marker
2026-06-23 10:07:02 +07:00
Nicholas Dudfield
c5b1cb222d
docs(consensus): add test projection markers
2026-06-23 10:03:04 +07:00
Nicholas Dudfield
e447f9f021
docs(consensus): add export apply projection markers
2026-06-23 09:55:01 +07:00
Nicholas Dudfield
0757094ed2
docs(consensus): add formal proof projection markers
2026-06-23 09:41:55 +07:00
Nicholas Dudfield
4b8107d57c
docs(consensus): clarify nUNL entropy gate thresholds
2026-06-23 08:42:22 +07:00
Nicholas Dudfield
d4b9e2f22c
chore(formal): ignore local Lean proof workspace
2026-06-23 08:14:03 +07:00
Nicholas Dudfield
3fc199017e
docs(cmake): note runtime config conan opt-in
2026-06-22 16:57:30 +07:00
Nicholas Dudfield
4d55443976
refactor(runtime-config): scope fault injection controls
2026-06-22 16:51:23 +07:00
Nicholas Dudfield
0d1d649867
refactor(consensus): remove orphaned txset cache callback
2026-06-22 15:33:29 +07:00
Nicholas Dudfield
60469dbd86
refactor(rng): remove explicit-final proposal path
2026-06-22 15:07:18 +07:00
Nicholas Dudfield
3970912735
chore: update levelization results
2026-06-22 13:31:56 +07:00
Nicholas Dudfield
456f4144ba
docs(rng): mark explicit-final for removal
2026-06-22 12:50:19 +07:00
Nicholas Dudfield
570cad4c44
test(export): pin network apply regressions
2026-06-22 12:14:42 +07:00
Nicholas Dudfield
b13868b71e
fix(export): apply agreed sidecar signatures
...
Use the agreed exportSigSetHash sidecar map, not the live ExportSigCollector, as the network-mode ttEXPORT signer snapshot. Preserve export convergence state through RNG onPreBuild cleanup so buildLCL apply can see the gate result, and require a UNLReport-backed validator view before non-standalone Export finalization. Add regression coverage for agreed-vs-live collector mutation and onPreBuild export-state preservation.
2026-06-22 09:43:03 +07:00
Nicholas Dudfield
288b9e6d25
docs(rng): clarify commit substate pipelining
2026-06-22 09:06:12 +07:00
