Skip to content
#

maximum-principal-reduction

Star

Here are 2 public repositories matching this topic...

hyperpolymath / maa-framework

Sponsor
Star 2

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

hyperpolymath / januskey

Sponsor
Star 2

Rust CLI for reversible file operations. Every delete, modify, and move carries inversion metadata, enabling instant rollback without external backups. Uses content-addressed storage (SHA-256) and an append-only operation log. Formal proofs of the complete reversibility guarantee are pending.

rust cli transaction undo-redo file-operations reversible-computation secure-deletion obliterate content-addresse maximum-principal-reduction
  • Updated Aug 18, 2026
  • Rust

Improve this page

Add a description, image, and links to the maximum-principal-reduction topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the maximum-principal-reduction topic, visit your repo's landing page and select "manage topics."

Learn more