# Summary

- [Overview](index.md)
- [North Star: Formally Verified Runtime](north-star.md)
- [Quickstart]()
  - [Local (Linux)](quickstart/local.md)
  - [macOS](quickstart/macos.md)
  - [Kubernetes](quickstart/kubernetes.md)
  - [Agent Sandbox](quickstart/agent-sandbox.md)
- [Permissions Guide](permissions.md)
- [Integration Endpoints](integration-endpoints.md)
- [Split-Trust Deployment](split-trust.md)
- [Architecture](architecture/overview.md)
  - [Security Architecture](architecture/security.md)
  - [Isolation Levels](architecture/isolation-levels.md)
  - [Threat Model](architecture/threat-model.md)
  - [Acceptance Tests](architecture/acceptance-tests.md)
- [Assurance](assurance/formal-methods.md)
  - [Verified Claims](verified-claims.md)
  - [Hardening Checklist](assurance/hardening-checklist.md)
- [RFCs]()
  - [Agent Control Plane on Fly Machines](rfcs/agent-control-plane-on-fly.md)
  - [Verified Agent Commerce (x402 / A2A)](rfcs/verified-agent-commerce-quickstart.md)
  - [Signed, IFC-Attested Agents](rfcs/signed-ifc-attested-agents.md)
- [Use Cases](use-cases/README.md)
  - [OpenClaw Hardening](use-cases/openclaw-hardening.md)
  - [Enterprise AI Agents](use-cases/enterprise-ai-agents.md)
- [Talks & Slides]()
  - [We Audited Our Own Agent Platform](../slides/we-audited-our-agent-platform.html)
- [Terminology](terminology.md)
- [Temporal Workflow](temporal.md)
- [Theoretical Foundations](THEORY.md)
- [Category Theory](theory/index.md)
  - [Repair Algebra](theory/repair-algebra.md)
