outcomeA Gherkin example with an unbound used slot fails its stated readiness floor
spec:carrier.gherkin-authoring.unbound-ready-refusedPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/carrier/gherkin-authoring.unbound-ready-refused.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
the Gherkin fixture corpus {probe: "unbound-ready"}When
the fixture corpus is extracted and validated
Then
validation reports {findingCount: 3} findings
the report contains finding {findingId: "honesty/readiness-floor"}
the graph contains the Spec {specId: "spec:fixture.unbound-ready"} with kind {specKind: "example"}Composing needs the script.
Intent
- Execute the readiness floor on a Gherkin-carried example whose used step leaves a slot unbound.
Behavior
Examples
Given the Gherkin fixture corpus {probe: "unbound-ready"}
When the fixture corpus is extracted and validated
Then validation reports {findingCount: 3} findings
Then the report contains finding {findingId: "honesty/readiness-floor"}
Then the graph contains the Spec {specId: "spec:fixture.unbound-ready"} with kind {specKind: "example"}Verification
Verifier bindings
- test:protocol.gherkin-authoring.unbound-ready-refused · the unbound-ready-refused point verifies the Gherkin carrier contract · anchored · test anchor binding present ·
test/self-hosting-carrier-gherkin.test.ts:588External run evidence from
test/self-hosting-carrier-gherkin.test.tsTest anchors:
test:protocol.gherkin-authoring.authored-fact-refused,test:protocol.gherkin-authoring.contract-parity,test:protocol.gherkin-authoring.description-location-refused,test:protocol.gherkin-authoring.duplicate-surface-refused,test:protocol.gherkin-authoring.example-space-extraction,test:protocol.gherkin-authoring.malformed-relation-refused,test:protocol.gherkin-authoring.missing-id-refused,test:protocol.gherkin-authoring.multi-finding-bounded,test:protocol.gherkin-authoring.parent-child-extraction,test:protocol.gherkin-authoring.step-less-scenario-refused,test:protocol.gherkin-authoring.unbound-ready-refused,test:protocol.gherkin-authoring.unknown-tag-refused,test:protocol.gherkin-authoring.unsupported-construct-refused. Specs verified by those bindings: spec:carrier.gherkin-authoring, spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused, spec:validation.kind-evidence.Run 1: external run evidence from vitest 4.1.10
Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z
Name Suite Result Duration executes the bound example against a fresh world An authored delivery fact lookalike is refused (spec:carrier.gherkin-authoring.authored-fact-refused) passed 9.67 ms executes the bound example against a fresh world Markdown and Gherkin twins derive equal graphs and contracts (spec:carrier.gherkin-authoring.contract-parity) passed 34.78 ms executes the bound example against a fresh world Duplicate Markdown and Gherkin surfaces are both excluded (spec:carrier.gherkin-authoring.duplicate-surface-refused) passed 4.09 ms executes the bound example against a fresh world The pseudo-scenario supplies example space without a node (spec:carrier.gherkin-authoring.example-space-extraction) passed 2.35 ms executes the bound example against a fresh world A malformed relation target is refused (spec:carrier.gherkin-authoring.malformed-relation-refused) passed 1.84 ms executes the bound example against a fresh world A Feature without identity is refused (spec:carrier.gherkin-authoring.missing-id-refused) passed 1.67 ms executes the bound example against a fresh world A Feature and Scenario enter the graph as parent and child (spec:carrier.gherkin-authoring.parent-child-extraction) passed 5.39 ms executes the bound example against a fresh world A Gherkin example with an unbound used slot fails its stated readiness floor (spec:carrier.gherkin-authoring.unbound-ready-refused) passed 6.57 ms executes the bound example against a fresh world A graph-aware tag near miss is refused (spec:carrier.gherkin-authoring.unknown-tag-refused) passed 2.39 ms executes the bound example against a fresh world A Scenario Outline is refused (spec:carrier.gherkin-authoring.unsupported-construct-refused) passed 2.26 ms executes the bound example against a fresh world A bad description key reports its physical source line (spec:carrier.gherkin-authoring.description-location-refused) passed 1.57 ms executes the bound example against a fresh world A step-less Scenario is refused at its Scenario line (spec:carrier.gherkin-authoring.step-less-scenario-refused) passed 1.37 ms executes the bound example against a fresh world Multiple findings exclude one carrier and keep a healthy sibling (spec:carrier.gherkin-authoring.multi-finding-bounded) passed 6.35 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
Decisions
No decision record named.
Runtime
No implementation neighborhood recorded.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
Rests on
- refines · spec:carrier.gherkin-authoring · stated ready, floor ready
Rested on by
No Spec rests on this Spec.
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | Gherkin authoring enters the one graphspec:carrier.gherkin-authoring · resolves | declared | None | None |
| verifies · outgoing | Gherkin authoring enters the one graphspec:carrier.gherkin-authoring · resolves | declared | None | None |
| verifies · outgoing | Each kind carries its own evidencespec:validation.kind-evidence · resolves | declared | None | None |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.gherkin-authoring.unbound-ready-refused · the unbound-ready-refused point verifies the Gherkin carrier contract · anchored ·
test/self-hosting-carrier-gherkin.test.ts:588· test anchor
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.