#

mutually-assured-accountability

Here are 2 public repositories matching this topic...

hyperpolymath / maa-framework

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

hyperpolymath / valence-shell

Formally verified shell implementing the MAA (Mutually Assured Accountability) Framework — every operation backed by machine-checkable proofs.

rust open-source security formal-verification zero-trust policy-enforcement hyperpolymath epistemic-infrastructure epistemic-security epistemic-computing mutually-assured-accountability veridical-computing equivalence-aware-computing typed-provenance capability-gated-dispatch

Updated Sep 27, 2026
Rust

Add this topic to your repo

To associate your repository with the mutually-assured-accountability topic, visit your repo's landing page and select "manage topics."