Governance hub and Rust microkernel for the Mutually Assured Accountability paradigm: symmetric, enforceable accountability between system participants. Aletheia microkernel builds with 29 unit tests and zero dependencies; Oblíbený reference language at specification stage; CNO formalisation pinned as submodule.
rust security compliance microkernel formal-verification governance accountability certified-null-operation mutually-assured-accountability maximum-principal-reduction
-
Updated
Aug 18, 2026 - Rust