AdeAtlas
Invariants / CN-BUILD-02

CN-BUILD-02

CN true declared

All semantic variability must be explicit runtime protocol data, not hidden compile-time choice

Source

classification_table.md §K

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

T-BUILD-02

Attack rationale

Makes behavior replayable and reviewable.

Evidence notes

Already in constitution as T-BUILD-02 equivalent. Universal.