⚖ CITS — Constitutional Invariant Test Suite
The executable expression of constitutional law
v1.0.0
Filter:
All Specs
All Severities
Critical
Major
Minor
All Types
MUST
MUST-NOT
REQUIRED
STRUCTURAL
CITS v1.0.0 — 355 invariants from 11 frozen ICore specifications
Constitutional computing requires verifiable invariants