Invariants / T-NOSPEND-01

T-NOSPEND-01

T true enforced

No input or equivalent spend authority may be consumed more than once in an accepted canonical chain

Source: Project constitution §2, audit #14
Cluster: CL-LEDGER-VERDICT
Authority surface: UTxO consumption across all 7 eras

Enforcement trace

Code

crates/ade_ledger/src/utxo.rs

Tests 3

check_duplicate_inputs_catches_dupes
duplicate_inputs_detected
all_eras_replay_summary

CI 1

ci_check_differential_divergence.sh

Cross-references