Invariants / DC-LEDGER-04

DC-LEDGER-04

DC derived partial

Epoch boundary computations (stake snapshots, rewards) match Haskell

Source: Project constitution §3, T-DET-01
Cluster: CL-LEDGER-VERDICT
Authority surface: CE-71 proven (0 lovelace reward-formula delta at Allegra 236->237); CE-72 proven with documented irreducible residuals (Alonzo 164 ADA reserves, Alonzo 4046 ADA treasury, Conway 1.3 ADA treasury) at snapshot-comparison precision limits

Enforcement trace

Code

Tests 4

precise_boundary_comparison_eta_diagnosis
alonzo_epoch_boundary_end_to_end
regular_epoch_boundary_comparison
conway_epoch_boundary_end_to_end

CI 0

no CI script — gap

Evidence

docs/active/CE-72_closure.md