042-per-run-provider-configuration
Per-run provider configuration and a measured Mach-service allowlist close spec 004's two open items against IX
Lifecycle approvedImplementation completeVerification unknownQualification unknown
Amends 004 section 3.18 to close the two items its rule 12 names as open against constitution IX. A confined provider process gets its own configuration directory inside the attempt, discarded after it, and is authenticated by a provider token the operator provisions once, so the child no longer writes any file that an unconfined process later loads. On macOS every Mach service is refused except an allowlist measured against a confined provider session. Both rest on live measurements this spec names, and the first confined provider session is the activation rule 12 defers.
Read the full pinned specification ↗Relationships
amends
Claimed units
- establishes
{ "kind": "file", "path": "docs/adoption/042-provider-measurements.md" } - extends
{ "nature": "additive", "spec": "004-execution-adapter", "unit": { "kind": "directory", "path": "crates/statecraft-adapter/" } } - extends
{ "nature": "additive", "spec": "002-environment-lifecycle", "unit": { "kind": "directory", "path": "crates/statecraft-home/" } } - extends
{ "nature": "additive", "spec": "006-command-surface", "unit": { "kind": "directory", "path": "crates/statecraft-cli/" } } - extends
{ "nature": "additive", "spec": "002-environment-lifecycle", "unit": { "kind": "file", "path": "scripts/acceptance/managed-session.sh" } }
Source headings
- 042: Per-run provider configuration and a measured Mach-service allowlist
- 1. Purpose
- 2. Territory
- 3. Behavior
- 3.1 The per-run configuration directory
- 3.2 The provider token
- 3.3 The constructed environment
- 3.4 The Mach-service allowlist
- 3.5 What closes, and what is measured
- 3.6 Observable negative cases
- 4. Out of scope
- 5. Resolved decisions
- Verification
Frozen anchors
No frozen anchors declared.