reference-monitor
Runtime authorization for AI agents: a broker executes only what a decision kernel, compiled from a machine-checked Lean 4 model, admits, and leaves signed evidence of every effect.
A deterministic, deny-by-default safety membrane for machine-generated software. One .bio constitution, three membranes, two products. Patent pending.
The first reference monitor for autonomous AI penetration testing agents. Mandatory enforcement, not prompt-based guardrails. Patent pending.
