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 2 hours ago 1 commits
flux-agent|Mirror: Goblohan/darm-monitor (⭐0)
about 2 hours agoAbout
Machine-checked formal boundary theory for deterministic governance. Constrains what an agent may cause, not the intelligence that selects it. Axiom-traced.
Readme