AdeAtlas
Invariants / CN-LEDGER-06

CN-LEDGER-06

CN true declared

Failure-state residue must be deterministic and consensus-neutral

Source

classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents failed transactions from leaving path-dependent artifacts that affect later validation.

Evidence notes

Universal: failed operations must not leave path-dependent artifacts. Direct consequence of T-DET-01 + T-ERR-01.