Firehose

Researchers at OpenShell have applied formal methods to control AI agents, enabling the creation of a "proof" that a proposed policy change stays within the approved scope. This approach uses the Z3 open-source library to model and verify complex policies, providing a deterministic and fast way to audit and prove invariants. AI summary