Containment for AI agents - user isolation, sandboxed execution, network controls, backup/rollback. TLA+ verified.

Build tested agent skills and govern their lifecycle through a user-defined marketplace: evidence, discovery, updates, rollback, quarantine, and 17-platform distribution.