AdeAtlas
Invariants / DC-LEDGER-03

DC-LEDGER-03

DC derived partial

Tx/block validity agrees with Haskell node on all tested inputs

Source

Project constitution §3, T-DET-01, T-ERR-01

Cluster
CL-LEDGER-VERDICT
Authority surface
non-Plutus block/tx acceptance verdicts across 10,500 blocks (all 7 eras); Phase 3 lands: (a) state-backed composer for Alonzo+ with 0 false positives across 2,400 boundary-set txs, (b) Plutus evaluator wired end-to-end (mem=747528 matches aiken oracle on fixture), (c) 72+ mainnet Plutus txs reach the dispatch on 20-block windows, contiguous-corpus harness exists but full 9,436-tx oracle diff (CE-88) deferred to release-gate work

Enforcement trace

Code

Tests 9

  • check_duplicate_inputs_catches_dupes
  • resolve_inputs_missing_input
  • missing_witnesses_rejected
  • all_eras_replay_summary
  • all_plutus_boundaries_aggregate_zero_rejections
  • plutus_era_contiguous_smoke
  • under_declared_ex_units_must_reject
  • failing_validator_must_reject
  • extraneous_redeemer_must_reject

CI 3

Cross-references

CN-LEDGER-03

Evidence

  • docs/active/phase_3_status.md