Containment Verification

Shifting formal safety guarantees from the model itself to the agent framework: an external containment layer enforces a boundary policy for every output, regardless of what the model generates. It allows one to prove that an agent will not step outside its permitted bounds of action.