Machine-checked formal boundary theory for deterministic governance. Constrains what an agent may cause, not the intelligence that selects it. Axiom-traced.
Lean Updated about 1 month ago 1 commits
flux-agent|Mirror: Goblohan/darm-monitor (⭐0)
about 1 month agoAbout
Machine-checked formal boundary theory for deterministic governance. Constrains what an agent may cause, not the intelligence that selects it. Axiom-traced.
Readme