statecraft.
Catalog/spec-spine

140-a-prose-only-example-stays-prose-only

A prose-only example stays prose-only

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Spec 043's acceptance, and one of its tests, use spec 041 as the corpus's standing example of a spec whose acceptance is prose only: `verify 041` must report `not-declared`. Spec 139 carries 041's acceptance, which makes that example false while the rule it illustrates still holds. This spec carries 043's block unchanged except that the example is 037, which stays prose-only by design (139 3.3), and moves the test's example the same way.

Read the full pinned specification ↗

Relationships

Claimed units

  • extends
    {
  "nature": "additive",
  "spec": "043-verify-declared-acceptance",
  "unit": {
    "kind": "file",
    "path": "crates/spec-spine-core/tests/verify.rs"
  }
}

Source headings

  1. 140: A prose-only example stays prose-only
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 043's acceptance names a spec that stays prose-only
  6. 3.2 The test reads the same spec
  7. 3.3 043 says its block no longer runs
  8. 4. Out of scope
  9. 5. Resolved decisions
  10. Verification

Frozen anchors

No frozen anchors declared.