statecraft.
Catalog/spec-spine

108-a-work-scope-is-declared

A work scope is declared

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Spec 072 reports that two ready specs claim overlapping territory, at spec granularity. What was left of WorkScope is the path-level half: one piece of work declares which paths it expects to change alone, which it expects to change alongside named other specs, and which it only reads. A scope is a document the consumer holds, like a context closure (spec 107). spec-spine evaluates it against the committed ownership index, reporting undeclared crossings, unowned paths and wrong sharing declarations, and compares two scopes for conflicting intentions. Both answers are reads. Nothing here locks, reserves, excludes or permits anything, and no gate reads a scope.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-core/src/scope.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-core/tests/scope.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-cli/src/cmd_scope.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-cli/tests/scope.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/lib.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "001-compile-registry",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-cli/src/main.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/api.md"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "074-a-governed-read-names-its-version",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-types/src/version.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "074-a-governed-read-names-its-version",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/read.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "057-the-docs-name-what-adopters-derived",
  "unit": {
    "kind": "file",
    "path": "docs/schema-versioning.md"
  }
}

Source headings

  1. 108: A work scope is declared
  2. 1. Purpose
  3. 1.1 Why it is built now (design note 09, D-7)
  4. 1.2 Not an obligations dependency
  5. 2. Territory
  6. 3. Behavior
  7. 3.1 A scope lives with its consumer, and spec-spine evaluates it
  8. 3.2 Paths are resolved the way `index owner` resolves them
  9. 3.3 Evaluation reports what the declaration and the ownership disagree on
  10. 3.4 An evaluation over a stale index is refused
  11. 3.5 Two scopes are compared
  12. 3.6 The surfaces
  13. 3.7 A scope is not a gate, a lock or a permission
  14. 4. Out of scope
  15. 5. Resolved decisions
  16. Acceptance
  17. Verification

Frozen anchors

No frozen anchors declared.