statecraft.
Catalog/spec-spine

116-a-deferred-contract-claims-nothing

A deferred contract claims nothing

Lifecycle approvedImplementation completeVerification unknownQualification unknown

`L-001` warns when a spec declares no ownership edge, and exempts a superseded, retired or retroactive one because each is making a correct statement by claiming nothing. A spec deliberately not scheduled (`implementation: deferred`) is in the same position and is not exempt, so the one shape the corpus contract leaves a deferred contract, no territory, makes `lint --fail-on-warn` red. The exemption is extended to `deferred`, covers the declaration and never a claim, and re-arms the moment the spec is scheduled.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/spec-spine-core/tests/deferred_contract.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "003-conformance-lint",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/src/lint.rs"
  }
}

Source headings

  1. 116: A deferred contract claims nothing
  2. 1. Purpose
  3. 1.1 The exemption L-001 already has, and why this is the same case
  4. 1.2 Why the answer is not "give them planned territory"
  5. 1.3 Why it is still needed after the reserved contracts were built
  6. 2. Territory
  7. 3. Behavior
  8. 3.1 A deferred spec is exempt from L-001
  9. 3.2 The exemption covers the declaration, never a claim
  10. 3.3 The exemption re-arms on scheduling
  11. 3.4 Nothing else about the lint moves
  12. 4. Out of scope
  13. 5. Resolved decisions
  14. Verification

Frozen anchors

No frozen anchors declared.