AdeAtlas
Invariants / DC-LEDGER-05

DC-LEDGER-05

DC derived partial

Witness binding is era-specific: Byron TxWitness, Shelley+ WitsVKey/Scripts/BootstrapWitnesses, Alonzo+ Redeemers/Datums, Conway governance witnesses

Source

Project constitution §3, T-DET-01

Cluster
CL-LEDGER-VERDICT
Authority surface
non-Plutus witness binding across all 7 eras; Plutus witness binding (V1/V2/V3 scripts, redeemers, datums) structurally wired in Phase 3 — parsed via ade_ledger::witness, evaluated via ade_plutus::eval_tx_phase_two, verdicts surface via TxOutcome enum. NotYetEvaluated variant retired. Oracle-diff closure (CE-88) deferred to release-gate work.

Enforcement trace

Code

Tests 9

  • witness_info_no_plutus
  • witness_info_plutus_detection
  • empty_witness_set
  • aiken_fixture_tx_evaluates_end_to_end
  • all_required_covered_is_valid
  • signature_over_wrong_body_rejected
  • witness_correct_key_wrong_body_rejected
  • wrong_size_signature_rejected
  • wrong_size_vkey_rejected

CI 1

Cross-references

DC-TXV-05

Strengthened in

PHASE4-B2

Evidence

  • docs/active/phase_3_status.md