104-a-producer-is-tested-as-published

A producer is tested as published

Lifecycle approvedImplementation completeVerification unknownQualification unknown

The published spec-spine-core 0.21.0 emits AGENTS.md and a `.claude/rules/` tree; the current source under the same version string emits neither. Both states passed a green workspace suite, because "the workspace is green" and "the artifact a consumer installs behaves this way" are different claims and only the first was ever tested. The producer contract is asserted against the packaged crate, through its public facade, from outside the workspace, and that check gates a release.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
      "kind": "file",
      "path": "scripts/verify-packaged-producer.sh"
    }
  • extends
    {
      "nature": "additive",
      "spec": "006-distribution",
      "unit": {
        "kind": "file",
        "path": "docs/releasing.md"
      }
    }

Source headings

  1. 104: A producer is tested as published
  2. 1. Purpose
  3. 1.1 What the defect actually is
  4. 2. Territory
  5. 3. Behavior
  6. 3.1 The check runs against the packaged crate, not the workspace
  7. 3.2 What the packaged producer must satisfy
  8. 3.3 The configuration argument is snake_case, and that is asserted
  9. 3.4 The check gates a release
  10. 3.5 Evidence is recorded, and is not a publication claim
  11. 4. Out of scope
  12. 5. Resolved decisions
  13. Verification

Frozen anchors

No frozen anchors declared.