The YAML standard for AI agent governance. Write rules once, compile to any runtime. Deterministic. Sub-microsecond. Three templates: enterprise, DAO, AI safety. Seven governance laws.

Formal safety framework for AI agents. Pluggable LLM reasoning constrained by mathematically proven budget, invariant, and termination guarantee. 7 theorems enforced by construction, not by prompting. Includes Bayesian belief tracking, causal dependency graphs, sandboxed attestors, environment reconciliation, and a 155-test adversarial suite.