Invariants / T-KEY-01

T-KEY-01

T true declared

Signing and private key operations confined to shell; verification in core

Source: Project constitution §2, audit #20

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

Strengthened in