The build derives step and space contracts from graph examples

spec:extraction.executable-contracts

Use Case / Behavior · featureready floor ready

Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Design: 6 design entries · 5 pinned declarations · 1 decision

specs/extraction/executable-contracts.sdp.md

No open questions and no blocking questions; implementation binding present, verifier binding present, and expected-outcome oracle none.

Intent

outcome: Give bound tests typed step contracts and space contracts without reading authored Specs directly.

Behavior

rule line 22 · specs/extraction/executable-contracts.sdp.md:22: generateContracts derives per-example step contracts and per-parent space contracts solely from the extracted graph.
rule line 23 · specs/extraction/executable-contracts.sdp.md:23: A generated contract is disposable, keyed by Spec ID, and withheld when its example is not in the bindable form or its steps do not resolve against the shared vocabulary.
rule.concreteness line 24 · specs/extraction/executable-contracts.sdp.md:24: The concreteness law is a refusal, never a guess — an example carrying an unbound slot in any used step of any entry is not the bindable form and receives no step contract, and a prose-only example receives none either.
spec:extraction.executable-contracts.concreteness-refusal · enabled
rule line 25 · specs/extraction/executable-contracts.sdp.md:25: Concreteness reads the example's own form, whether or not a parent declares shared vocabulary. Vocabulary resolution is a separate later check; incompatible resolution withholds the step contract with contracts/unmatched-vocabulary-step.
rule.onePoint line 26 · specs/extraction/executable-contracts.sdp.md:26: An example is one point, so the step contract and bound point derive from the same first complete structured Given/When/Then entry. A further entry, which the TypeScript carrier can carry, is named contracts/multi-entry-example rather than left silently inert.
spec:extraction.executable-contracts.multi-entry-example · enabled
rule.contractKeys line 27 · specs/extraction/executable-contracts.sdp.md:27: Each step of a step contract carries its contract key beside its skeleton: its step key, from its own marker or from the vocabulary step it resolves to, under spec:carrier.step-keys, and its skeleton when it has none. The Step union and the StepParams properties are the contract keys in first-occurrence order, and the runner dispatches each step to the handler bound under its contract key.
spec:carrier.step-keys.reworded-keyed-step-stays-bound · enabled, spec:carrier.step-keys.reworded-unkeyed-step-breaks · enabled
rule line 28 · specs/extraction/executable-contracts.sdp.md:28: Degradation is loud and local: an undeclared slot or a value outside its declared type is named and left out of the bound point; an off-type value stays in the step contract, widened to its scalar kind, so the emitted module still compiles; and a conflicting re-binding is named and its first value wins, in the bound point for a slot bound twice and in the step contract for a step that recurs with other values.
rule line 29 · specs/extraction/executable-contracts.sdp.md:29: A vocabulary slot group that declares no usable type is named rather than dropped in silence, and no dimension enters the space for it.
rule.outcomeIdentity line 30 · specs/extraction/executable-contracts.sdp.md:30: Each Then step of the parent's example space is one variant of the space contract's Outcome union, whose kind is that step's contract key, its step key or else its skeleton text; the build derives no slug or ordinal, and the runner core adds unspecified.
no example exercises it
rule.keyConflicts line 31 · specs/extraction/executable-contracts.sdp.md:31: A contract never holds two steps under one contract key. An example marker that disagrees with the key of its vocabulary step withholds the example's step contract with contracts/conflicting-step-key. A step or space contract whose steps would share a contract key, two skeletons under one key or a key equal to another step's skeleton, is withheld with contracts/duplicate-step-key, naming the key and both skeletons; a withheld space contract withholds every registrar of its children.
spec:carrier.step-keys.conflicting-example-key-withheld · enabled, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · enabled
rule.caseCollision line 32 · specs/extraction/executable-contracts.sdp.md:32: Two contract paths differing only by letter case cannot coexist on a case-insensitive filesystem, so the contracts tree is withheld whole and the finding names the colliding pair.
spec:extraction.executable-contracts.case-colliding-path · enabled
rule line 33 · specs/extraction/executable-contracts.sdp.md:33: Every generation finding is a warning that describes what did not emit; gating belongs to graph validation alone, so a withheld contract never fails the build by itself.

6 unkeyed rules.

Verifying examples

An example marker that disagrees with its vocabulary withholds the contract · spec:carrier.step-keys.conflicting-example-key-withheld · ready floor ready

Executable Spec

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: ""}

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"}
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: ""}
the first contract finding about the child is {contractFinding: "contracts/conflicting-step-key"}
the child contract binds its first Given step as {bindingKey: ""} and then as {rewordedBindingKey: ""}

Composing needs the script.

Open example

A step key equal to another step's skeleton withholds the contract · spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · ready floor ready

Executable Spec

Given the {carrier: "Markdown"} carriers of a parent whose example space declares the Given steps {vocabulary: "[#cartSize] the cart has {items:number} items; cartSize"}
Given a child example of that parent whose Given steps read {example: "the cart has {items: 2} items; cartSize"}
When the contracts are generated, the step lines are reworded by replacing {before: "the cart has"} 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/duplicate-step-key"}
Then the child contract binds its first Given step as {bindingKey: ""} and then as {rewordedBindingKey: ""}

Given

the {carrier: "Markdown"} carriers of a parent whose example space declares the Given steps {vocabulary: "[#cartSize] the cart has {items:number} items; cartSize"}
a child example of that parent whose Given steps read {example: "the cart has {items: 2} items; cartSize"}

When

the contracts are generated, the step lines are reworded by replacing {before: "the cart has"} with {after: "the cart holds"}, and the contracts are generated again

Then

the first extraction finding's message contains {extractMessage: ""}
the first contract finding about the child is {contractFinding: "contracts/duplicate-step-key"}
the child contract binds its first Given step as {bindingKey: ""} and then as {rewordedBindingKey: ""}

Composing needs the script.

Open example

A keyed step reworded in its vocabulary and its example keeps its binding · spec:carrier.step-keys.reworded-keyed-step-stays-bound · ready floor ready

Executable Spec

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: "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 child contract binds its first Given step as {bindingKey: "cartSize"} and then as {rewordedBindingKey: "cartSize"}
Then the handlers bound to the first contract cover the second: {stillBound: true}

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"}
a child example of that parent whose Given steps read {example: "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: ""}
the child contract binds its first Given step as {bindingKey: "cartSize"} and then as {rewordedBindingKey: "cartSize"}
the handlers bound to the first contract cover the second: {stillBound: true}

Composing needs the script.

Open example

The same rewording without a key breaks the binding · spec:carrier.step-keys.reworded-unkeyed-step-breaks · ready floor ready

Executable Spec

Given the {carrier: "Markdown"} carriers of a parent whose example space declares the Given steps {vocabulary: "a customer has a cart with {items:number} line items"}
Given a child example of that parent whose Given steps read {example: "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 child contract binds its first Given step as {bindingKey: "a customer has a cart with {items} line items"} and then as {rewordedBindingKey: "the cart holds {items} line items"}
Then the handlers bound to the first contract cover the second: {stillBound: false}

Given

the {carrier: "Markdown"} carriers of a parent whose example space declares the Given steps {vocabulary: "a customer has a cart with {items:number} line items"}
a child example of that parent whose Given steps read {example: "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: ""}
the child contract binds its first Given step as {bindingKey: "a customer has a cart with {items} line items"} and then as {rewordedBindingKey: "the cart holds {items} line items"}
the handlers bound to the first contract cover the second: {stillBound: false}

Composing needs the script.

Open example

A case-only path collision withholds the whole contracts tree · spec:extraction.executable-contracts.case-colliding-path · ready floor ready

Executable Spec

Given a parent spec whose example space declares the slot {dimension: "n"}
Given a refining example {exampleId: "spec:probe.create-order.same-case"} whose used step {binding: "binds"} that slot
Given a case-twin example {twinId: "spec:probe.create-order.same-Case"} whose contract path differs only by letter case
When the contracts are generated from the derived graph
Then the generated tree holds {fileCount: 0} files
Then the findings name {findingId: "contracts/case-colliding-path"}

Given

a parent spec whose example space declares the slot {dimension: "n"}
a refining example {exampleId: "spec:probe.create-order.same-case"} whose used step {binding: "binds"} that slot
a case-twin example {twinId: "spec:probe.create-order.same-Case"} whose contract path differs only by letter case

When

the contracts are generated from the derived graph

Then

the generated tree holds {fileCount: 0} files
the findings name {findingId: "contracts/case-colliding-path"}

Composing needs the script.

Open example

An unbound slot in a used step earns no step contract · spec:extraction.executable-contracts.concreteness-refusal · ready floor ready

Executable Spec

Given a parent spec that declares no shared vocabulary for the slot {dimension: "n"}
Given a refining example {exampleId: "spec:probe.create-order.unbound"} whose used step {binding: "leaves unbound"} that slot
When the contracts are generated from the derived graph
Then the generated tree holds {fileCount: 0} files
Then the step contract for the example is emitted: {emitted: false}

Given

a parent spec that declares no shared vocabulary for the slot {dimension: "n"}
a refining example {exampleId: "spec:probe.create-order.unbound"} whose used step {binding: "leaves unbound"} that slot

When

the contracts are generated from the derived graph

Then

the generated tree holds {fileCount: 0} files
the step contract for the example is emitted: {emitted: false}

Composing needs the script.

Open example

A second structured entry is named, never left silently inert · spec:extraction.executable-contracts.multi-entry-example · ready floor ready

Executable Spec

Given a parent spec whose example space declares the slot {dimension: "n"}
Given a refining example {exampleId: "spec:probe.create-order.multi"} whose used step {binding: "binds"} that slot
Given the example carries {entryCount: 2} structured entries
When the contracts are generated from the derived graph
Then the step contract for the example is emitted: {emitted: true}
Then the findings name {findingId: "contracts/multi-entry-example"}

Given

a parent spec whose example space declares the slot {dimension: "n"}
a refining example {exampleId: "spec:probe.create-order.multi"} whose used step {binding: "binds"} that slot
the example carries {entryCount: 2} structured entries

When

the contracts are generated from the derived graph

Then

the step contract for the example is emitted: {emitted: true}
the findings name {findingId: "contracts/multi-entry-example"}

Composing needs the script.

Open example

Example space

Given a parent spec whose example space declares the slot {dimension:string}
Given a parent spec that declares no shared vocabulary for the slot {dimension:string}
Given a refining example {exampleId:string} whose used step {binding:"binds"|"leaves unbound"} that slot
Given the example carries {entryCount:number} structured entries
Given a case-twin example {twinId:string} whose contract path differs only by letter case
When the contracts are generated from the derived graph
Then the generated tree holds {fileCount:number} files
Then the step contract for the example is emitted: {emitted:boolean}
Then the findings name {findingId:string}

Design

findingIds line 49 · specs/extraction/executable-contracts.sdp.md:49: contracts/undeclared-slot · contracts/off-dimension-value · contracts/conflicting-binding · contracts/conflicting-dimension · contracts/untyped-vocabulary-slot · contracts/multi-entry-example · contracts/unmatched-vocabulary-step · contracts/case-colliding-path · contracts/multiple-registrar-paths · contracts/conflicting-step-key · contracts/duplicate-step-key, each at warning severity.
no citation recorded
duplicateStepKey line 50 · specs/extraction/executable-contracts.sdp.md:50: contracts/duplicate-step-key is a warning on the parent at behavior.exampleSpace for a space collision, or on the example at behavior.examples for a step-contract collision. Its message is contract key "<key>" names both "<first skeleton>" and "<second skeleton>"; <space|step> contract withheld, with the skeletons in first-occurrence order.
no citation recorded
contractStep line 51 · specs/extraction/executable-contracts.sdp.md:51: export interface ContractStep<K extends string, P extends ParamShape> { readonly kind: StepKind; readonly key: K; readonly text: string; readonly params: P; } is the step shape the runner exports, where key is the contract key and text the skeleton the natural reading renders.
no citation recorded
stepContractModule line 52 · specs/extraction/executable-contracts.sdp.md:52: export type Step = "<contract key>" | …; is the union of the example's contract keys in first-occurrence order, StepParams maps each contract key to its parameters, and export const <camel>Contract: ExampleContract<Step, StepParams> lists every step as { kind, key, text, params } in authored order.
no citation recorded
outcomeVariant line 53 · specs/extraction/executable-contracts.sdp.md:53: { readonly kind: "<contract key>"; readonly <slot>: <type>; … } is the Outcome variant of one Then step of the example space, one per Then step, beside UnspecifiedOutcome.
no citation recorded
planDispatch line 54 · specs/extraction/executable-contracts.sdp.md:54: the runner's planExample runs each step through bindings[step.key], carries key on each planned step beside text and label, and renders the label from text and params, so a red keyed step still names itself in the Spec's own words.

Verification

Verifier bindings

spec:carrier.step-keys.conflicting-example-key-withheld · An example marker that disagrees with its vocabulary withholds the contract · declared · example enabled · specs/carrier/step-keys.conflicting-example-key-withheld.sdp.md

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

spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · A step key equal to another step's skeleton withholds the contract · declared · example enabled · specs/carrier/step-keys.key-equal-to-a-skeleton-withheld.sdp.md
spec:carrier.step-keys.reworded-keyed-step-stays-bound · A keyed step reworded in its vocabulary and its example keeps its binding · declared · example enabled · specs/carrier/step-keys.reworded-keyed-step-stays-bound.sdp.md
spec:carrier.step-keys.reworded-unkeyed-step-breaks · The same rewording without a key breaks the binding · declared · example enabled · specs/carrier/step-keys.reworded-unkeyed-step-breaks.sdp.md

spec:extraction.executable-contracts.case-colliding-path · A case-only path collision withholds the whole contracts tree · declared · example enabled · specs/extraction/executable-contracts.case-colliding-path.sdp.md

External run evidence from `test/self-hosting-extraction.test.ts`

Test anchors: test:protocol.build-pipeline.same-invocation, test:protocol.example-runner.red-step-naming, test:protocol.example-runner.step-order, test:protocol.excludes.refused-path, test:protocol.excludes.segment-boundary, test:protocol.executable-contracts.case-colliding-path, test:protocol.executable-contracts.concreteness-refusal, test:protocol.executable-contracts.multi-entry-example, test:protocol.schema-versioning.declared-version. Specs verified by those bindings: spec:extraction.build-pipeline, spec:extraction.build-pipeline.same-invocation, spec:extraction.example-runner, spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, spec:extraction.excludes, spec:extraction.excludes.refused-path, spec:extraction.excludes.segment-boundary, spec:extraction.executable-contracts, spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example, spec:extraction.schema-versioning, spec:extraction.schema-versioning.declared-version.

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	One query invocation shares its extracted graph and validation result (spec:extraction.build-pipeline.same-invocation)	passed	16.91 ms
executes the bound example against a fresh world	A prefix excludes its own tree and leaves a similar sibling standing (spec:extraction.excludes.segment-boundary)	passed	1.58 ms
executes the bound example against a fresh world	A Windows-drive absolute path is refused rather than normalized (spec:extraction.excludes.refused-path)	passed	1.08 ms
executes the bound example against a fresh world	A derived payload carries a schema version its consumer can read (spec:extraction.schema-versioning.declared-version)	passed	0.5 ms
executes the bound example against a fresh world	An unbound slot in a used step earns no step contract (spec:extraction.executable-contracts.concreteness-refusal)	passed	2.41 ms
executes the bound example against a fresh world	A second structured entry is named, never left silently inert (spec:extraction.executable-contracts.multi-entry-example)	passed	2.37 ms
executes the bound example against a fresh world	A case-only path collision withholds the whole contracts tree (spec:extraction.executable-contracts.case-colliding-path)	passed	0.95 ms
executes the bound example against a fresh world	A repeated step runs its one handler at each occurrence, in contract order (spec:extraction.example-runner.step-order)	passed	0.4 ms
executes the bound example against a fresh world	A red step names itself before the assertion detail (spec:extraction.example-runner.red-step-naming)	passed	0.45 ms

spec:extraction.executable-contracts.concreteness-refusal · An unbound slot in a used step earns no step contract · declared · example enabled · specs/extraction/executable-contracts.concreteness-refusal.sdp.md
spec:extraction.executable-contracts.multi-entry-example · A second structured entry is named, never left silently inert · declared · example enabled · specs/extraction/executable-contracts.multi-entry-example.sdp.md

Example space

dimension · string · declared by a parent spec whose example space declares the slot {dimension}
exampleId · string · declared by a refining example {exampleId} whose used step {binding} that slot
binding · "binds" | "leaves unbound" · declared by a refining example {exampleId} whose used step {binding} that slot
entryCount · number · declared by the example carries {entryCount} structured entries
twinId · string · declared by a case-twin example {twinId} whose contract path differs only by letter case

Bound points

Example	dimension	exampleId	binding	entryCount	twinId
spec:extraction.executable-contracts.case-colliding-path	`"n"`	`"spec:probe.create-order.same-case"`	`"binds"`	unbound	`"spec:probe.create-order.same-Case"`
spec:extraction.executable-contracts.concreteness-refusal	`"n"`	`"spec:probe.create-order.unbound"`	`"leaves unbound"`	unbound	unbound
spec:extraction.executable-contracts.multi-entry-example	`"n"`	`"spec:probe.create-order.multi"`	`"binds"`	`2`	unbound

Oracle binding: none

Coverage

dimension: "n" · spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example · not enumerable

exampleId: "spec:probe.create-order.same-case" · spec:extraction.executable-contracts.case-colliding-path; "spec:probe.create-order.unbound" · spec:extraction.executable-contracts.concreteness-refusal; "spec:probe.create-order.multi" · spec:extraction.executable-contracts.multi-entry-example · not enumerable

`binding`
Declared value	Examples
`"binds"`	spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.multi-entry-example
`"leaves unbound"`	spec:extraction.executable-contracts.concreteness-refusal

entryCount: 2 · spec:extraction.executable-contracts.multi-entry-example · not enumerable

twinId: "spec:probe.create-order.same-Case" · spec:extraction.executable-contracts.case-colliding-path · not enumerable

Unbound

dimension: None
exampleId: None
binding: None
entryCount: spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal
twinId: spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example

Given

a parent spec whose example space declares the slot {dimension:string}
a parent spec that declares no shared vocabulary for the slot {dimension:string}
a refining example {exampleId:string} whose used step {binding:"binds"|"leaves unbound"} that slot
the example carries {entryCount:number} structured entries
a case-twin example {twinId:string} whose contract path differs only by letter case

When

the contracts are generated from the derived graph

Then

the generated tree holds {fileCount:number} files
the step contract for the example is emitted: {emitted:boolean}
the findings name {findingId:string}

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:extraction.executable-contracts

The diagram as text

spec:extraction.executable-contracts: The build derives step and space contracts from graph examples · declared Spec
spec:extraction.contract-declarations: Pinned declarations give an adopter a derived module to typecheck · declared Spec
spec:extraction.executable-contracts.case-colliding-path: A case-only path collision withholds the whole contracts tree · declared Spec
spec:extraction.executable-contracts.concreteness-refusal: An unbound slot in a used step earns no step contract · declared Spec
spec:extraction.executable-contracts.multi-entry-example: A second structured entry is named, never left silently inert · declared Spec
spec:carrier.step-keys.conflicting-example-key-withheld: An example marker that disagrees with its vocabulary withholds the contract · declared Spec
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld: A step key equal to another step's skeleton withholds the contract · declared Spec
spec:carrier.step-keys.reworded-keyed-step-stays-bound: A keyed step reworded in its vocabulary and its example keeps its binding · declared Spec
spec:carrier.step-keys.reworded-unkeyed-step-breaks: The same rewording without a key breaks the binding · declared Spec
spec:carrier.step-keys: An example step may carry a key that survives rewording · declared Spec
spec:extraction.build-pipeline: The build pipeline has one ordered flow · declared Spec
spec:extraction.executable-examples: Bound examples execute their authored steps · declared Spec
impl:protocol.example-space: resolves example-space vocabulary for contracts and floors · anchored code · src/graph/example-space.ts:117
impl:protocol.executable-contracts: derives step and example-space contracts from the graph · anchored code · src/codegen/contracts.ts:647
impl:protocol.pack-design: the Pack design helpers and the Pack context assembly they serve · anchored code · src/reader/reader.ts:499
impl:protocol.register-recipes: asserts realization of the shipped register recipes · anchored code · test/recipes.test.ts:2057
test:protocol.executable-contracts.case-colliding-path: the collision point verifies the all-or-nothing withholding · anchored test binding · binding present · test/self-hosting-extraction.test.ts:593
test:protocol.executable-contracts.concreteness-refusal: the concreteness point verifies the unbound-slot refusal · anchored test binding · binding present · test/self-hosting-extraction.test.ts:575
test:protocol.executable-contracts.multi-entry-example: the multi-entry point verifies the named second entry · anchored test binding · binding present · test/self-hosting-extraction.test.ts:584
test:protocol.register-recipes: recipe checks verify the register recipes · anchored test binding · binding present · test/recipes.test.ts:2068
test:protocol.step-keys.conflicting-example-key-withheld: test:protocol.step-keys.conflicting-example-key-withheld · anchored test binding · binding present · test/self-hosting-step-keys.test.ts:26
test:protocol.step-keys.key-equal-to-a-skeleton-withheld: test:protocol.step-keys.key-equal-to-a-skeleton-withheld · anchored test binding · binding present · test/self-hosting-step-keys.test.ts:120
test:protocol.step-keys.reworded-keyed-step-stays-bound: test:protocol.step-keys.reworded-keyed-step-stays-bound · anchored test binding · binding present · test/self-hosting-step-keys.test.ts:308
test:protocol.step-keys.reworded-unkeyed-step-breaks: test:protocol.step-keys.reworded-unkeyed-step-breaks · anchored test binding · binding present · test/self-hosting-step-keys.test.ts:355
spec:carrier.step-keys.conflicting-example-key-withheld refines spec:carrier.step-keys · declared
spec:carrier.step-keys.conflicting-example-key-withheld verifies spec:carrier.step-keys · declared
spec:carrier.step-keys.conflicting-example-key-withheld verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld refines spec:carrier.step-keys · declared
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld verifies spec:carrier.step-keys · declared
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.reworded-keyed-step-stays-bound refines spec:carrier.step-keys · declared
spec:carrier.step-keys.reworded-keyed-step-stays-bound verifies spec:carrier.step-keys · declared
spec:carrier.step-keys.reworded-keyed-step-stays-bound verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.reworded-unkeyed-step-breaks refines spec:carrier.step-keys · declared
spec:carrier.step-keys.reworded-unkeyed-step-breaks verifies spec:carrier.step-keys · declared
spec:carrier.step-keys.reworded-unkeyed-step-breaks verifies spec:extraction.executable-contracts · declared
spec:extraction.contract-declarations refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts refines spec:extraction.build-pipeline · declared
spec:extraction.executable-contracts refines spec:extraction.executable-examples · declared — typed contracts carry the authored steps and example space into execution
spec:extraction.executable-contracts.case-colliding-path refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.case-colliding-path verifies spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.concreteness-refusal refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.concreteness-refusal verifies spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.multi-entry-example refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.multi-entry-example verifies spec:extraction.executable-contracts · declared
impl:protocol.example-space satisfies spec:extraction.executable-contracts · anchored
impl:protocol.executable-contracts satisfies spec:extraction.executable-contracts · anchored
impl:protocol.pack-design satisfies spec:extraction.contract-declarations · anchored
impl:protocol.register-recipes satisfies spec:extraction.contract-declarations · anchored
test:protocol.executable-contracts.case-colliding-path verifies spec:extraction.executable-contracts.case-colliding-path · anchored
test:protocol.executable-contracts.concreteness-refusal verifies spec:extraction.executable-contracts.concreteness-refusal · anchored
test:protocol.executable-contracts.multi-entry-example verifies spec:extraction.executable-contracts.multi-entry-example · anchored
test:protocol.register-recipes verifies spec:extraction.contract-declarations · anchored
test:protocol.step-keys.conflicting-example-key-withheld verifies spec:carrier.step-keys.conflicting-example-key-withheld · anchored
test:protocol.step-keys.key-equal-to-a-skeleton-withheld verifies spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · anchored
test:protocol.step-keys.reworded-keyed-step-stays-bound verifies spec:carrier.step-keys.reworded-keyed-step-stays-bound · anchored
test:protocol.step-keys.reworded-unkeyed-step-breaks verifies spec:carrier.step-keys.reworded-unkeyed-step-breaks · anchored

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: requirementDiagram. Chosen syntax: flowchart TB because folds require exact labels unavailable in requirement syntax.

Mermaid source for Requirement drawing for spec:extraction.executable-contracts

flowchart TB
  n0["Pinned declarations give an adopter a derived module to typecheck · declared Spec · spec:extraction.contract-declarations"]
  n1["The build derives step and space contracts from graph examples · declared Spec · spec:extraction.executable-contracts"]
  n2["7 verifying examples · declared; 7 test bindings · anchored, folded"]
  %% folded diagram.spec:extraction.executable-contracts.requirement.fold.verifies.incoming.declared: spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example, spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, test:protocol.executable-contracts.case-colliding-path, test:protocol.executable-contracts.concreteness-refusal, test:protocol.executable-contracts.multi-entry-example, test:protocol.step-keys.conflicting-example-key-withheld, test:protocol.step-keys.key-equal-to-a-skeleton-withheld, test:protocol.step-keys.reworded-keyed-step-stays-bound, test:protocol.step-keys.reworded-unkeyed-step-breaks
  n3["4 satisfying units · anchored, folded"]
  %% folded diagram.spec:extraction.executable-contracts.requirement.fold.satisfies.incoming.anchored: impl:protocol.example-space, impl:protocol.executable-contracts, impl:protocol.pack-design, impl:protocol.register-recipes
  n4["recipe checks verify the register recipes · anchored test binding · binding present · test:protocol.register-recipes"]
  n5["An example step may carry a key that survives rewording · declared Spec · spec:carrier.step-keys"]
  n6["The build pipeline has one ordered flow · declared Spec · spec:extraction.build-pipeline"]
  n7["Bound examples execute their authored steps · declared Spec · spec:extraction.executable-examples"]
  n3 -->|"satisfies · anchored (2 unit edges)"| n0
  %% count: 2; diagram.spec:extraction.executable-contracts.requirement.fold.satisfies.incoming.anchored to spec:extraction.contract-declarations
  n3 -->|"satisfies · anchored (2 unit edges)"| n1
  %% count: 2; diagram.spec:extraction.executable-contracts.requirement.fold.satisfies.incoming.anchored to spec:extraction.executable-contracts
  n2 -->|"refines, verifies · declared (4 per relation)"| n5
  %% count: 4; diagram.spec:extraction.executable-contracts.requirement.fold.verifies.incoming.declared to spec:carrier.step-keys
  n2 -->|"refines (3), verifies (7) · declared"| n1
  n0 -->|"refines · declared"| n1
  %% count: 1; spec:extraction.contract-declarations to spec:extraction.executable-contracts
  n1 -->|"refines · declared"| n6
  %% count: 1; spec:extraction.executable-contracts to spec:extraction.build-pipeline
  n1 -->|"refines · declared — typed contracts carry the authored steps and example space into execution"| n7
  %% count: 1; spec:extraction.executable-contracts to spec:extraction.executable-examples
  n4 -->|"verifies · anchored"| n0
  %% count: 1; test:protocol.register-recipes to spec:extraction.contract-declarations

Decisions

Each example binds one point
An example binds exactly one point; table syntax may expand statically into sibling examples and renderers may project siblings as a table.

Runtime

component:protocol.codegen · contracts and registrar output · src/codegen/contracts.ts:633 · layer application · context protocol
Uses
- component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
- component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
- component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
Uses
- component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
- component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
impl:protocol.example-space · resolves example-space vocabulary for contracts and floors · src/graph/example-space.ts:117
Component: component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
Uses
None.
impl:protocol.executable-contracts · derives step and example-space contracts from the graph · src/codegen/contracts.ts:647
Component: component:protocol.codegen · contracts and registrar output · src/codegen/contracts.ts:633 · layer application · context protocol
Uses
None.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact

Relations of spec:extraction.executable-contracts

Shown as text: this drawing exceeds the height budget of 2000 pixels after folding.

The diagram as text

spec:carrier.step-keys: An example step may carry a key that survives rewording
spec:carrier.step-keys.conflicting-example-key-withheld: An example marker that disagrees with its vocabulary withholds the contract
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld: A step key equal to another step's skeleton withholds the contract
spec:carrier.step-keys.reworded-keyed-step-stays-bound: A keyed step reworded in its vocabulary and its example keeps its binding
spec:carrier.step-keys.reworded-unkeyed-step-breaks: The same rewording without a key breaks the binding
spec:consumers.agent-surface.example-space-coverage: Example spaces report which values their examples cover
spec:consumers.spec-studio.verification-panels: The panels for examples, targets, verifiers and evidence
spec:decisions.point-per-example: Each example binds one point
spec:extraction.build-pipeline: The build pipeline has one ordered flow
spec:extraction.contract-declarations: Pinned declarations give an adopter a derived module to typecheck
spec:extraction.example-runner: A bound example runs its contract steps against a fresh world
spec:extraction.executable-contracts: The build derives step and space contracts from graph examples
spec:extraction.executable-contracts.case-colliding-path: A case-only path collision withholds the whole contracts tree
spec:extraction.executable-contracts.concreteness-refusal: An unbound slot in a used step earns no step contract
spec:extraction.executable-contracts.multi-entry-example: A second structured entry is named, never left silently inert
spec:extraction.executable-examples: Bound examples execute their authored steps
spec:extraction.runnable-modules: Derived runnable modules freeze the registrar interface
spec:extraction.executable-contracts decidedBy spec:decisions.point-per-example · declared
spec:extraction.executable-contracts dependsOn spec:carrier.step-keys · declared — a keyed step's contract key is its step key
spec:extraction.executable-contracts refines spec:extraction.build-pipeline · declared
spec:extraction.executable-contracts refines spec:extraction.executable-examples · declared — typed contracts carry the authored steps and example space into execution
spec:consumers.agent-surface.example-space-coverage dependsOn spec:extraction.executable-contracts · declared — its decoded slots and bound points reuse the space-contract interpretation
spec:consumers.spec-studio.verification-panels dependsOn spec:extraction.executable-contracts · declared
spec:extraction.example-runner dependsOn spec:extraction.executable-contracts · declared — runs the step contracts the build emits
spec:extraction.runnable-modules dependsOn spec:extraction.executable-contracts · declared
spec:extraction.contract-declarations refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.case-colliding-path refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.concreteness-refusal refines spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.multi-entry-example refines spec:extraction.executable-contracts · declared
spec:carrier.step-keys.conflicting-example-key-withheld verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.reworded-keyed-step-stays-bound verifies spec:extraction.executable-contracts · declared
spec:carrier.step-keys.reworded-unkeyed-step-breaks verifies spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.case-colliding-path verifies spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.concreteness-refusal verifies spec:extraction.executable-contracts · declared
spec:extraction.executable-contracts.multi-entry-example verifies spec:extraction.executable-contracts · declared

Rests on

refines · spec:extraction.build-pipeline · stated ready, floor ready
refines · spec:extraction.executable-examples · stated ready, floor ready
dependsOn · spec:carrier.step-keys · stated ready, floor ready
decidedBy · spec:decisions.point-per-example · stated ready, floor ready

Rested on by

Distance 1

spec:consumers.agent-surface.example-space-coverage
Implementing units
- impl:protocol.example-space-coverage-recipe · test/studio-s1.test.ts:856
- impl:protocol.example-space-decoding · src/notation/example-space.ts:473
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:extraction.contract-declarations
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
- impl:protocol.register-recipes · test/recipes.test.ts:2057
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:extraction.example-runner
Implementing units
- component:protocol.adapters · src/adapters/vitest.ts:23
- component:protocol.runner · src/runner/index.ts:99
- impl:protocol.example-runner · src/runner/index.ts:108
- impl:protocol.example-runner-adapter · src/adapters/vitest.ts:32
Referencing units
None.
Enabled verifiers: spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, test:protocol.example-runner-cleanup
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.case-colliding-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.case-colliding-path
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.concreteness-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.concreteness-refusal
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.multi-entry-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.multi-entry-example
Packs: pack:self-hosting-v1
spec:extraction.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:633
- component:protocol.testing · src/testing/index.ts:38
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.runnable-modules · src/codegen/contracts.ts:658
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Distance 2

spec:consumers.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.spec-studio.lenses.tests
Implementing units
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.tests.coverage-row
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers
Implementing units
- impl:protocol.studio-registers · src/projections/studio/pages/registers-page.ts:47
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.registers.blocking-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption
Implementing units
- impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.example-runner.red-step-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.red-step-naming
Packs: pack:self-hosting-v1
spec:extraction.example-runner.step-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.step-order
Packs: pack:self-hosting-v1
spec:model.enrichment-lifecycle
Implementing units
- impl:protocol.slimming-recipe · test/curation-recipes.test.ts:26
Referencing units
None.
Enabled verifiers: test:protocol.slimming-recipe
Packs: pack:design-iteration-v1, pack:self-hosting-v1

Distance 3

spec:consumers.agent-surface.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4769
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.delivery-session-on-ramp
Implementing units
- impl:protocol.delivery-session-on-ramp · test/skills.test.ts:83
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.design-review.pack-design-page
Implementing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Referencing units
- impl:protocol.pack-design-sections · src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-slice
Implementing units
- impl:protocol.design-slice-recipe · test/self-hosting-design-slice.test.ts:148
Referencing units
- impl:protocol.studio-slice-answer · src/projections/studio/slice-answer.ts:1
Enabled verifiers: spec:consumers.design-slice.chain, spec:consumers.design-slice.component-absent, spec:consumers.design-slice.component-differing, spec:consumers.design-slice.component-matching, spec:consumers.design-slice.component-unreadable, spec:consumers.design-slice.component-unrelated, spec:consumers.design-slice.decision-backlink, spec:consumers.design-slice.dependency-cycle, spec:consumers.design-slice.folded-example, spec:consumers.design-slice.independent-example, spec:consumers.design-slice.outside-components, spec:consumers.design-slice.outside-holding, spec:consumers.design-slice.outside-satisfied, spec:consumers.design-slice.outside-unbound, test:protocol.design-slice
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.bases
Implementing units
- impl:protocol.vault-bases · src/projections/vault/bases.ts:43
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.review-perspectives
Implementing units
- impl:protocol.perspective-filter-recipe · test/iteration-recipes.test.ts:753
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.spec-studio.cited-line-text
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:279
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.tests.coverage-row
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-tests-coverage-row
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page
Implementing units
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers.blocking-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-registers-blocking-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page
Implementing units
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1

Distance 4

spec:consumers.agent-surface.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6214
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- impl:protocol.reader · src/reader/reader.ts:687
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.context-bundle
Implementing units
- impl:protocol.context-bundle-recipe · test/iteration-recipes.test.ts:765
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-slice.chain
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.chain
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-absent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-absent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-differing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-differing
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-matching
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-matching
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unreadable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unreadable
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unrelated
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unrelated
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.decision-backlink
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.decision-backlink
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.dependency-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.dependency-cycle
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.folded-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.folded-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.independent-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.independent-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-components
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-holding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-holding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-satisfied
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-satisfied
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-unbound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-unbound
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.graph-first-planning
Implementing units
- impl:protocol.graph-first-planning · test/skills.test.ts:290
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault.bases.views-match-sources
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.spec-studio.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:13
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs
Implementing units
- impl:protocol.studio-base-input · src/cli/studio-inputs.ts:9
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.recipe-answers
Implementing units
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
Referencing units
- impl:protocol.studio-register-contracts · src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.dependency
Implementing units
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.requirement-trace
Implementing units
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.scoped-architecture
Implementing units
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page
Implementing units
- impl:protocol.studio-glossary · src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue
Implementing units
- impl:protocol.studio-owner-queue · src/projections/studio/pages/queue-page.ts:9
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page.maturity-map
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.roadmap-page
Implementing units
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.shell
Implementing units
- impl:protocol.studio-code-spans · src/projections/studio/pages/code-spans.ts:9
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-html · src/projections/studio/pages/html.ts:8
- impl:protocol.studio-text · src/projections/studio/pages/text.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.slice-page
Implementing units
- impl:protocol.studio-slice-page · src/projections/studio/pages/slice-page.ts:25
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.spec-page.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.core
Implementing units
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1

Distance 5

spec:consumers.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:167
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:11
- impl:protocol.generate-command · src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.context-bundle.oversized-member-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.oversized-member-named
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.context-bundle.parts-cover-the-pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.parts-cover-the-pack
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner
Implementing units
- impl:protocol.statement-queue-recipe · test/self-hosting-readiness-planner.test.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.readiness-planner.cycle-shares-a-round, spec:consumers.readiness-planner.decision-first, spec:consumers.readiness-planner.dependency-order, spec:consumers.readiness-planner.owner-question-holds
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.roadmap
Implementing units
- impl:protocol.roadmap-recipe · test/roadmap.test.ts:20
Referencing units
None.
Enabled verifiers: spec:consumers.roadmap.blocking-part, spec:consumers.roadmap.buildable-part, spec:consumers.roadmap.built-work, spec:consumers.roadmap.design-part, spec:consumers.roadmap.drifting-part, spec:consumers.roadmap.missing-evidence, spec:consumers.roadmap.outside-parent, spec:consumers.roadmap.statement-order, spec:consumers.roadmap.statement-part, test:protocol.roadmap-recipe
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.capability-map-page
Implementing units
- impl:protocol.studio-capabilities-page · src/projections/studio/pages/capabilities-page.ts:78
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.data.inputs.both-given
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-inputs-both-given
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs.graph-only
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.edge-routing
Implementing units
- impl:protocol.studio-diagram-routing · src/projections/studio/diagrams/routing.ts:38
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.legibility
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams.folds-by-context
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-context
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.folds-by-layer
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-layer
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.within-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-within-bound
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diff-page
Implementing units
- impl:protocol.studio-diff · src/projections/studio/pages/diff-page.ts:91
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diff-page.changed-entry, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.architecture.planned-apart, test:protocol.studio-architecture-maturity-requirement
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.evidence
Implementing units
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.navigation
Implementing units
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:122
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.runs-page
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-runs-page · src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.runs-page.external-evidence
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:8
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:742
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1693
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1

Distance 6

spec:consumers.command-line.generate-check-failure
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-check-failure
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.command-line.generate-writes-every-root
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-writes-every-root
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.command-line.verb-help-touches-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.engine-provenance
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:182
- impl:protocol.engine-provenance-cli · src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.projections-model.roadmap-views
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.cycle-shares-a-round
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.cycle-shares-a-round
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.decision-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.decision-first
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.dependency-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.dependency-order
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.owner-question-holds
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.owner-question-holds
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.drifting-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.memo
Implementing units
- impl:protocol.roadmap-memo-recipe · test/roadmap.test.ts:27
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-memo-recipe, test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.capability-tree
Implementing units
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.maturity-picture
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.mermaid-source
Implementing units
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit
Implementing units
- impl:protocol.upgrade-guide · test/upgrade-kit.test.ts:87
Referencing units
None.
Enabled verifiers: test:protocol.upgrade-guide
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:protocol.roadmap-replaces-plans
Implementing units
- impl:protocol.roadmap-practice · test/check-self-hosting-gates.test.ts:52
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-practice
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1

Distance 7

spec:consumers.upgrade-kit.rule-key-proposal
Implementing units
- impl:protocol.rule-key-proposal-recipe · test/upgrade-kit.test.ts:742
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1

Distance 8

spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.collision-and-unkeyable
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	Each example binds one point `spec:decisions.point-per-example` · resolves	declared	None	None
dependsOn · outgoing	An example step may carry a key that survives rewording `spec:carrier.step-keys` · resolves	declared	a keyed step's contract key is its step key	None
refines · outgoing	The build pipeline has one ordered flow `spec:extraction.build-pipeline` · resolves	declared	None	None
refines · outgoing	Bound examples execute their authored steps `spec:extraction.executable-examples` · resolves	declared	typed contracts carry the authored steps and example space into execution	None
dependsOn · incoming	Example spaces report which values their examples cover `spec:consumers.agent-surface.example-space-coverage` · resolves	declared	its decoded slots and bound points reuse the space-contract interpretation	None
dependsOn · incoming	The panels for examples, targets, verifiers and evidence `spec:consumers.spec-studio.verification-panels` · resolves	declared	None	None
dependsOn · incoming	A bound example runs its contract steps against a fresh world `spec:extraction.example-runner` · resolves	declared	runs the step contracts the build emits	None
dependsOn · incoming	Derived runnable modules freeze the registrar interface `spec:extraction.runnable-modules` · resolves	declared	None	None
refines · incoming	Pinned declarations give an adopter a derived module to typecheck `spec:extraction.contract-declarations` · resolves	declared	None	None
refines · incoming	A case-only path collision withholds the whole contracts tree `spec:extraction.executable-contracts.case-colliding-path` · resolves	declared	None	None
refines · incoming	An unbound slot in a used step earns no step contract `spec:extraction.executable-contracts.concreteness-refusal` · resolves	declared	None	None
refines · incoming	A second structured entry is named, never left silently inert `spec:extraction.executable-contracts.multi-entry-example` · resolves	declared	None	None
verifies · incoming	An example marker that disagrees with its vocabulary withholds the contract `spec:carrier.step-keys.conflicting-example-key-withheld` · resolves	declared	None	`keyConflicts`
verifies · incoming	A step key equal to another step's skeleton withholds the contract `spec:carrier.step-keys.key-equal-to-a-skeleton-withheld` · resolves	declared	None	`keyConflicts`
verifies · incoming	A keyed step reworded in its vocabulary and its example keeps its binding `spec:carrier.step-keys.reworded-keyed-step-stays-bound` · resolves	declared	None	`contractKeys`
verifies · incoming	The same rewording without a key breaks the binding `spec:carrier.step-keys.reworded-unkeyed-step-breaks` · resolves	declared	None	`contractKeys`
verifies · incoming	A case-only path collision withholds the whole contracts tree `spec:extraction.executable-contracts.case-colliding-path` · resolves	declared	None	`caseCollision`
verifies · incoming	An unbound slot in a used step earns no step contract `spec:extraction.executable-contracts.concreteness-refusal` · resolves	declared	None	`concreteness`
verifies · incoming	A second structured entry is named, never left silently inert `spec:extraction.executable-contracts.multi-entry-example` · resolves	declared	None	`onePoint`

Bindings

Implementation binding: present

impl:protocol.example-space · resolves example-space vocabulary for contracts and floors · src/graph/example-space.ts:117 · role decider · component component:protocol.graph · layer domain · context protocol
impl:protocol.executable-contracts · derives step and example-space contracts from the graph · src/codegen/contracts.ts:647 · role projection · component component:protocol.codegen · layer application · context protocol

Design reference: none

Verifier binding: present

spec:carrier.step-keys.conflicting-example-key-withheld · An example marker that disagrees with its vocabulary withholds the contract · declared · specs/carrier/step-keys.conflicting-example-key-withheld.sdp.md · example enabled
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld · A step key equal to another step's skeleton withholds the contract · declared · specs/carrier/step-keys.key-equal-to-a-skeleton-withheld.sdp.md · example enabled
spec:carrier.step-keys.reworded-keyed-step-stays-bound · A keyed step reworded in its vocabulary and its example keeps its binding · declared · specs/carrier/step-keys.reworded-keyed-step-stays-bound.sdp.md · example enabled
spec:carrier.step-keys.reworded-unkeyed-step-breaks · The same rewording without a key breaks the binding · declared · specs/carrier/step-keys.reworded-unkeyed-step-breaks.sdp.md · example enabled
spec:extraction.executable-contracts.case-colliding-path · A case-only path collision withholds the whole contracts tree · declared · specs/extraction/executable-contracts.case-colliding-path.sdp.md · example enabled
spec:extraction.executable-contracts.concreteness-refusal · An unbound slot in a used step earns no step contract · declared · specs/extraction/executable-contracts.concreteness-refusal.sdp.md · example enabled
spec:extraction.executable-contracts.multi-entry-example · A second structured entry is named, never left silently inert · declared · specs/extraction/executable-contracts.multi-entry-example.sdp.md · example enabled

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifying examples

Example space

Verifier bindings

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

Run 1: external run evidence from vitest 4.1.10

External run evidence from test/self-hosting-extraction.test.ts

Run 1: external run evidence from vitest 4.1.10

Example space

Bound points

Coverage

Unbound

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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

External run evidence from `test/self-hosting-extraction.test.ts`