Part II — The request (SB4–SB6)¶
Confinement is requested by a privilege_profile (confined = write-confinement; exclusive adds
read-exclusion of credentials + sibling workspaces) or a *:sandbox host-feature token. Two
review-relevant safety properties:
- A typo fails closed. An unknown profile value hard-errors at parse; it cannot silently ship a
cooperativeteam that looks confined. - A token with no emitter is rejected.
*:sandboxfor a namespace that emits nothing (bridge namespaces) is refused — a validating token that confined nothing would be exactly the false-confidence signal the subsystem exists to avoid.
The request lives entirely in the manifest; there is no out-of-band sandbox state to audit separately.
Detail: Reference Part II.