An example marker that disagrees with its vocabulary withholds the contract

outcome

Execute the shared-key rule: an example step keyed apart from the vocabulary step it resolves to gets no step contract, and the finding names the conflict.

Examples

Given the {carrier: "Markdown"} carriers of a parent whose example space declares the Given steps {vocabulary: "[#cartSize] a customer has a cart with {items:number} line items"}
Given a child example of that parent whose Given steps read {example: "[#basketSize] a customer has a cart with {items: 2} line items"}
When the contracts are generated, the step lines are reworded by replacing {before: "a customer has a cart with"} with {after: "the cart holds"}, and the contracts are generated again
Then the first extraction finding's message contains {extractMessage: ""}
Then the first contract finding about the child is {contractFinding: "contracts/conflicting-step-key"}
Then the child contract binds its first Given step as {bindingKey: ""} and then as {rewordedBindingKey: ""}

Verifier bindings

• test:protocol.step-keys.conflicting-example-key-withheld · anchored · test anchor binding present · test/self-hosting-step-keys.test.ts:26

  External run evidence from test/self-hosting-step-keys.test.ts

  Test anchors: test:protocol.step-keys.conflicting-example-key-withheld, test:protocol.step-keys.gherkin-keyed-step-stays-bound, test:protocol.step-keys.key-equal-to-a-skeleton-withheld, test:protocol.step-keys.malformed-marker-refused, test:protocol.step-keys.renamed-key-breaks, test:protocol.step-keys.repeated-key-refused, test:protocol.step-keys.reworded-keyed-step-stays-bound, test:protocol.step-keys.reworded-unkeyed-step-breaks, test:protocol.step-keys.two-keys-on-one-step-refused, test:protocol.step-keys.typescript-keyed-step-imports-keyed. Specs verified by those bindings: spec:carrier.step-keys, spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.gherkin-keyed-step-stays-bound, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.malformed-marker-refused, spec:carrier.step-keys.renamed-key-breaks, spec:carrier.step-keys.repeated-key-refused, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:carrier.step-keys.two-keys-on-one-step-refused, spec:carrier.step-keys.typescript-keyed-step-imports-keyed, spec:extraction.executable-contracts.

  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 example marker that disagrees with its vocabulary withholds the contract (spec:carrier.step-keys.conflicting-example-key-withheld)	passed	22.63 ms
  executes the bound example against a fresh world	A keyed Gherkin step keeps its binding across a rewording (spec:carrier.step-keys.gherkin-keyed-step-stays-bound)	passed	1217.15 ms
  executes the bound example against a fresh world	A step key equal to another step's skeleton withholds the contract (spec:carrier.step-keys.key-equal-to-a-skeleton-withheld)	passed	28 ms
  executes the bound example against a fresh world	A step marker whose key is off the grammar refuses the carrier (spec:carrier.step-keys.malformed-marker-refused)	passed	770.98 ms
  executes the bound example against a fresh world	Renaming a step key breaks the binding (spec:carrier.step-keys.renamed-key-breaks)	passed	645.28 ms
  executes the bound example against a fresh world	One key on two vocabulary steps refuses the carrier (spec:carrier.step-keys.repeated-key-refused)	passed	585.85 ms
  executes the bound example against a fresh world	A keyed step reworded in its vocabulary and its example keeps its binding (spec:carrier.step-keys.reworded-keyed-step-stays-bound)	passed	671.38 ms
  executes the bound example against a fresh world	The same rewording without a key breaks the binding (spec:carrier.step-keys.reworded-unkeyed-step-breaks)	passed	654.66 ms
  executes the bound example against a fresh world	Two keys on one step refuse the carrier (spec:carrier.step-keys.two-keys-on-one-step-refused)	passed	726.16 ms
  executes the bound example against a fresh world	A keyed TypeScript step keeps its key through import to Markdown (spec:carrier.step-keys.typescript-keyed-step-imports-keyed)	passed	666.12 ms

Requirement drawing

• Satisfying or referencing units: no recorded binding.

Decisions

No decision record named.

No implementation neighborhood recorded.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.