AdeAtlas
Invariants / CN-LEDGER-08

CN-LEDGER-08

CN true declared

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

Source

classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

T-NOSPEND-01

Attack rationale

Double-spend safety.

Evidence notes

Fundamental ledger safety property: each input consumed at most once. Evidence: inputs stored as Set + UTxO map deletion on spend in cardano-ledger.