AdeAtlas
Invariants / CN-META-03

CN-META-03

CN true declared

Every equivalence claim must be reproducible from named fixtures, oracle versions, and replay inputs

Source

classification_table.md §N

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

DC-REF-01

Attack rationale

Prevents unverifiable compatibility claims.

Evidence notes

Already covered by DC-REF-01. Universal traceability requirement.