AdeAtlas
Invariants / CN-LEDGER-05

CN-LEDGER-05

CN true declared

Each feature must have one semantic processing result; no alternate path may disagree on whether work was already applied, failed, or remains valid

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

Learned from edge-case double-processing and nondeterminism failures in other chains.

Evidence notes

Universal: deterministic processing must yield single result per input. Direct consequence of T-DET-01.