Invariants / DC-TXV-05
DC-TXV-05
DC derived enforcedFor each era, required_signers(state, tx_body) is a closed, explicit, era-versioned function over every signer source (resolved input payment credentials, explicit required-signers, certificate key hashes, withdrawal key hashes, Conway governance/voting witnesses, collateral-input implications). A signer source not represented in the era's closed enumeration is impossible to silently omit; incomplete enumeration is a forbidden false-accept path.
- Source
Cardano ledger spec (UTXOW required-signers per era); IDD fail-fast + closed-surface doctrine
Enforcement trace
Code
Tests 13
- all_required_covered_is_valid
- missing_input_payment_witness_rejected
- missing_explicit_required_signer_rejected
- missing_withdrawal_witness_rejected
- missing_certificate_witness_rejected
- missing_governance_voter_witness_rejected
- unresolvable_input_is_fail_fast
- unresolvable_collateral_input_is_fail_fast
- script_credential_input_not_a_vkey_signer
- script_credential_certificate_not_a_vkey_signer
- collateral_payment_key_is_required
- non_conway_era_is_unsupported
- closure_is_deterministic