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 open-source security formal-verification governance policy-as-code compliance-automation hyperpolymath epistemic-infrastructure epistemic-computing certified-null-operation mutually-assured-accountability maximum-principal-reduction veridical-computing equivalence-aware-computing typed-provenance accountability-microkernel symmetric-enforcement
-
Updated
Sep 28, 2026 - Rust