AdeAtlas
Invariants / CN-CRYPTO-04

CN-CRYPTO-04

CN true declared

Verification failure must fail once and deterministically; no implicit parser or serialization fallback is allowed

Source

classification_table.md §J

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents retry-into-acceptance bugs.

Evidence notes

Universal: retry-into-acceptance is a fundamental safety violation. Direct consequence of T-ERR-02.