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

Local-first game design OS for AI agents: turn sessions into evidence, experiments, reviewable decisions, and durable project memory—Human Gates and rollback.