AdeAtlas
Invariants / T-BOUND-02

T-BOUND-02

T true enforced

Authoritative crates never depend on shell crates

Source

Project constitution §2, GP-4

Cluster
CL-LEDGER-VERDICT
Authority surface
BLUE/GREEN/RED dependency graph

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 1