1,542
Lines of Pure Veto Logic
Zero imports outside dataclasses, enum, typing. Zero I/O. Zero threading. Compilable to embedded firmware.
88
Determinism Tests
Covering equivalence, purity, and firmware readiness. Same input always produces same output.
13
Protected Invariants
Cryptographically sealed. No actor — including the creator — can modify core_values, ethical_boundaries, or identity.
<10ms
Governance Overhead
All checks combined: charter, locks, risk, drift budget. Zero LLM calls in the governance path.
15
Charter Rules
14 HARD_BLOCK (no override) + 1 SOFT_BLOCK (override with justification). Enforced before any action dispatches.
8
Enforcement Layers
Layer 0 (ethical red lines) through Layer 7 (sovereign enclave). Defense-in-depth against identity dilution.
2521−1
Shamir Field Prime
Mersenne prime for secret sharing. k-of-n threshold scheme with BFT consensus (2f+1 votes out of 3f+1 nodes).
7
Homeostatic Variables
PI-controlled: arousal, certainty, coherence_tension, initiation_rate, novelty_intake, belief_update_rate, exploration_drive.