Invariants / CN-WIRE-04
CN-WIRE-04
CN true declaredMalformed consensus-relevant inputs must be rejected deterministically before any authoritative state transition
- Source
classification_table.md §A
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap
Attack rationale
Prevents a single malformed transaction from producing split histories.
Evidence notes
Universal safety property: no system should allow malformed inputs to mutate authoritative state. Direct consequence of T-ERR-02 + T-INGRESS-01.