Invariants / DC-LEDGER-07

DC-LEDGER-07

DC derived declared

Coexisting supported versions must return same validity verdict for consensus-relevant inputs

Source: Project constitution §3, T-DET-01, T-BUILD-02

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references