AdeAtlas
Invariants / T-INGRESS-01

T-INGRESS-01

T true declared

All authoritative external bytes enter the core through named canonical decode/validation chokepoints; unchecked bypasses forbidden except for explicitly whitelisted sites with CI enforcement

Source

Project constitution §2, audit #21

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 1