Invariants / CN-BUILD-04
CN-BUILD-04
CN derived declaredOperator configuration may tune transport, logging, and telemetry, but may not silently weaken ledger, consensus, or persistence semantics
- Source
classification_table.md §K
Enforcement trace
Code
no enforcing code — gap
Tests 0
no tests named — gap
CI 0
no CI script — gap
Attack rationale
Prevents unsafe config footguns.
Evidence notes
Cardano-specific: the boundary between operator-tunable and semantic is implementation-defined.