Invariants / DC-CRYPTO-02

DC-CRYPTO-02

DC derived enforced

All signing operations confined to shell

Source: Project constitution §3, T-BOUND-01
Cluster: CL-CRYPTO-VERIFY
Authority surface: BLUE/RED signing boundary

Enforcement trace

Code

crates/ade_crypto/src/lib.rs

Tests 0

no tests named — gap

CI 1

ci_check_no_signing_in_blue.sh

Cross-references