Invariants / RO-REL-01

RO-REL-01

RO release declared

Release not mainnet-eligible without mixed-version topology consensus equivalence on adversarial inputs

Source: Project constitution §4a, DC-LEDGER-07, T-DET-01

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references