AdeAtlas
Invariants / CN-STORE-06

CN-STORE-06

CN derived declared

On-disk bytes must re-enter through the same canonical validation and decode chokepoints as network inputs

Source

classification_table.md §I

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

DC-STORE-06

Attack rationale

Prevents privileged storage-only semantics.

Evidence notes

Cardano-specific optimization: VolatileDB defaults to NoValidation during clean operation, ValidateAll after unclean shutdown.