Trust Model

The full, adversarial security analysis lives in threat-model.md. That document is the diligence artifact: components, trust boundaries, STRIDE analysis, and the accepted-risks list. This page is the short posture summary.

How the pass model maps to OAuth token exchange (RFC 8693)

The pass (mandate) model uses the same delegation semantics that RFC 8693 defines for OAuth token exchange:

The envelope format is switchboard.workspace-lease.v1 rather than an OAuth token, because passes are minted, verified, and enforced on one machine and never cross a network boundary. The semantics above are what would survive a translation to token exchange if they ever needed to.

If behavior and these statements ever disagree, report it via SECURITY.md.