Proving Your AI Agent Rules Hold for Every Input — Not Just the Ones You Tested

How a deterministic rule language, cross-implementation test vectors, and SMT-based formal verification stack together to make AI agent governance auditable.