Markdown authoring enters the one graph

spec:carrier.markdown-authoring

Use Case / Behavior · epicready floor ready

Design: no design entries · no pinned declarations · 2 decisions

specs/carrier/markdown-authoring.sdp.md

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

Intent

outcome: Author new Protocol Specs in Markdown without creating a second truth path.

Behavior

rule line 18 · specs/carrier/markdown-authoring.sdp.md:18: Markdown and TypeScript carriers feed the same reification and graph-derivation path.
rule.lineEndings line 19 · specs/carrier/markdown-authoring.sdp.md:19: Whichever carrier writes them, the title, prose, entries and steps of a Spec or Pack hold no lone CR, U+2028 or U+2029, because a renderer that breaks a line there would show a line the carrier does not state; LF and CRLF are the only line endings. A Markdown carrier holding one anywhere is refused whole at that line, as spec:carrier.envelope-contract states, a Gherkin carrier as spec:carrier.gherkin-authoring#rule.physicalLines states, and a TypeScript Spec or Pack whose title, narrative, framing or section string holds one is not extracted.
no example exercises it

1 unkeyed rule.

Verification

Verifier bindings

test:protocol.markdown-authoring · TypeScript and Markdown twins derive one graph, verifying Markdown authoring · anchored · test anchor binding present · test/import-round-trip.test.ts:22

External run evidence from `test/import-round-trip.test.ts`

Test anchors: test:protocol.markdown-authoring. Specs verified by those bindings: spec:carrier.markdown-authoring.

Run 2: external run evidence from vitest 4.1.10

Build: CI 439 · Branch: docs/articles-refresh-1 · Commit: 61576184ea9f39b7f91c51fef5ff991b0bf2d0e6 · Start: 2026-11-04T07:59:39.962Z · Stop: 2026-11-04T08:03:39.928Z

Name	Suite	Result	Duration
preserves reified authored data through emitted Markdown	import round-trip harness	passed	68.24 ms
preserves the mini-corpus graph under the declared delta catalog	import round-trip harness	passed	182.61 ms
rejects a corrupted Markdown twin	import round-trip harness	passed	93.32 ms
is refused by the Markdown, Gherkin and TypeScript carriers alike	one line-ending law across the carriers > a title holding a lone CR	passed	11.39 ms
is refused by the Markdown, Gherkin and TypeScript carriers alike	one line-ending law across the carriers > a title holding U+2028	passed	6.02 ms
is refused by the Markdown, Gherkin and TypeScript carriers alike	one line-ending law across the carriers > a title holding U+2029	passed	2.54 ms
refuses the Spec when the narrative holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	2.05 ms
refuses the Spec when an Intent field holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	2.13 ms
refuses the Spec when a rule entry holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	2.61 ms
refuses the Spec when an example step holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	2.17 ms
refuses the Spec when a Model term holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	1.85 ms
refuses the Spec when a Design value holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	1.74 ms
refuses a Pack whose title holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	1.99 ms
refuses a Pack whose framing holds one	one line-ending law across the carriers > a TypeScript string holding a lone CR	passed	1.56 ms
refuses the Spec when the narrative holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.59 ms
refuses the Spec when an Intent field holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.72 ms
refuses the Spec when a rule entry holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.63 ms
refuses the Spec when an example step holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.74 ms
refuses the Spec when a Model term holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	2.57 ms
refuses the Spec when a Design value holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.75 ms
refuses a Pack whose title holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.67 ms
refuses a Pack whose framing holds one	one line-ending law across the carriers > a TypeScript string holding U+2028	passed	1.52 ms
refuses the Spec when the narrative holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.46 ms
refuses the Spec when an Intent field holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.74 ms
refuses the Spec when a rule entry holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	6.39 ms
refuses the Spec when an example step holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	2 ms
refuses the Spec when a Model term holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.7 ms
refuses the Spec when a Design value holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.65 ms
refuses a Pack whose title holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.53 ms
refuses a Pack whose framing holds one	one line-ending law across the carriers > a TypeScript string holding U+2029	passed	1.52 ms
refuses a raw U+2028 inside a template literal	one line-ending law across the carriers	passed	2.27 ms
refuses a raw U+2029 inside a template literal	one line-ending law across the carriers	passed	1.77 ms
keeps LF and CRLF lawful in TypeScript prose	one line-ending law across the carriers	passed	3.67 ms
keeps the Spec when a title assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	3.07 ms
keeps the Spec when a narrative assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	1.92 ms
keeps the Spec when a rule entry assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	2.37 ms
keeps the Spec when a Design value assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	2 ms
keeps the Spec when a whole-section assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	4.64 ms
keeps the Spec when a Model terms assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	2.3 ms
keeps a Pack whose title names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	1.72 ms
keeps a Pack whose framing names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	1.67 ms
still refuses one inside the asserted value	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	1.74 ms
drops a repeated Design key alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	2.27 ms
drops a non-static Design value alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	2.55 ms
drops a Design value beside a non-static sibling in its array alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (a lone CR)	passed	1.89 ms
keeps the Spec when a title assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.8 ms
keeps the Spec when a narrative assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	2.11 ms
keeps the Spec when a rule entry assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	2 ms
keeps the Spec when a Design value assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.93 ms
keeps the Spec when a whole-section assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	2.3 ms
keeps the Spec when a Model terms assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.94 ms
keeps a Pack whose title names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.59 ms
keeps a Pack whose framing names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.4 ms
still refuses one inside the asserted value	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.45 ms
drops a repeated Design key alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.93 ms
drops a non-static Design value alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.62 ms
drops a Design value beside a non-static sibling in its array alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2028)	passed	1.8 ms
keeps the Spec when a title assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.7 ms
keeps the Spec when a narrative assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.65 ms
keeps the Spec when a rule entry assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.66 ms
keeps the Spec when a Design value assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	11.93 ms
keeps the Spec when a whole-section assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	3.21 ms
keeps the Spec when a Model terms assertion names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	5.05 ms
keeps a Pack whose title names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.61 ms
keeps a Pack whose framing names one only as a type	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	4.57 ms
still refuses one inside the asserted value	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.59 ms
drops a repeated Design key alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	4.91 ms
drops a non-static Design value alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	1.78 ms
drops a Design value beside a non-static sibling in its array alone, with its own warning	one line-ending law across the carriers > a TypeScript separator outside the kept strings (U+2029)	passed	4.96 ms

Design view

Requirement drawing

Requirement drawing for spec:carrier.markdown-authoring

E9: refines (29), verifies (30) · declared

The diagram as text

spec:carrier.markdown-authoring: Markdown authoring enters the one graph · declared Spec
spec:carrier.envelope-contract: The Markdown envelope is explicit and bounded · declared Spec
spec:carrier.gherkin-authoring: Gherkin authoring enters the one graph · declared Spec
spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section · declared Spec
spec:carrier.markdown-parser: The Markdown parser reifies the ruled subset · declared Spec
spec:carrier.prose-ownership-rule: Every prose value has one typed owner · declared Spec
spec:carrier.sdp-import: A TypeScript-carried Spec can be converted to Markdown · declared Spec
spec:carrier.slot-notation: Slot notation declares, binds, and refuses to guess · declared Spec
spec:decisions.carrier-ruling: Markdown is the default Spec carrier · declared Spec
spec:decisions.sdp-ts-extension: Spec extensions identify the carrier without colliding with tests · declared Spec
spec:carrier.gherkin-authoring.authored-fact-refused: An authored delivery fact lookalike is refused · declared Spec
spec:carrier.gherkin-authoring.contract-parity: Markdown and Gherkin twins derive equal graphs and contracts · declared Spec
spec:carrier.gherkin-authoring.description-location-refused: A bad description key reports its physical source line · declared Spec
spec:carrier.gherkin-authoring.duplicate-surface-refused: Duplicate Markdown and Gherkin surfaces are both excluded · declared Spec
spec:carrier.gherkin-authoring.example-space-extraction: The pseudo-scenario supplies example space without a node · declared Spec
spec:carrier.gherkin-authoring.malformed-relation-refused: A malformed relation target is refused · declared Spec
spec:carrier.gherkin-authoring.missing-id-refused: A Feature without identity is refused · declared Spec
spec:carrier.gherkin-authoring.multi-finding-bounded: Multiple findings exclude one carrier and keep a healthy sibling · declared Spec
spec:carrier.gherkin-authoring.parent-child-extraction: A Feature and Scenario enter the graph as parent and child · declared Spec
spec:carrier.gherkin-authoring.step-less-scenario-refused: A step-less Scenario is refused at its Scenario line · declared Spec
spec:carrier.gherkin-authoring.unbound-ready-refused: A Gherkin example with an unbound used slot fails its stated readiness floor · declared Spec
spec:carrier.gherkin-authoring.unknown-tag-refused: A graph-aware tag near miss is refused · declared Spec
spec:carrier.gherkin-authoring.unsupported-construct-refused: A Scenario Outline is refused · declared Spec
spec:carrier.markdown-body-grammar.continuation-line-refused: A bullet wrapped onto a second line is refused · declared Spec
spec:carrier.markdown-body-grammar.foreign-fence-refused: A fence other than gwt or gwt-vocabulary is refused · declared Spec
spec:carrier.markdown-body-grammar.h3-refused: An H3 under Design is refused · declared Spec
spec:carrier.markdown-body-grammar.integer-term-refused: An integer-like Model term is refused · declared Spec
spec:carrier.markdown-body-grammar.keyed-bullet-refused: A keyed bullet under a plain-bullet owner is refused · declared Spec
spec:carrier.markdown-body-grammar.ordered-list-refused: An ordered list is refused · declared Spec
spec:carrier.markdown-body-grammar.plain-bullet-refused: A plain bullet under an open section is refused · declared Spec
spec:carrier.markdown-body-grammar.raw-html-refused: Raw HTML outside a code span is refused · declared Spec
spec:carrier.markdown-body-grammar.repeated-field-refused: A repeated single-valued field is refused · declared Spec
spec:carrier.markdown-body-grammar.second-primary-owner-refused: A second primary owner is refused · declared Spec
spec:carrier.markdown-body-grammar.shared-description-refused: A second description across Behavior and Example space is refused · declared Spec
spec:carrier.markdown-body-grammar.table-refused: A table under a section is refused · declared Spec
spec:carrier.markdown-body-grammar.trailing-prose-refused: Prose after structured content is refused · declared Spec
spec:carrier.markdown-body-grammar.unrecognized-heading-refused: An unrecognized heading is refused with a suggestion · declared Spec
spec:carrier.markdown-parser.bounded-parity: One finding class is shared while the carriers' outcomes stay their own · declared Spec
spec:carrier.sdp-import.round-trip: A TypeScript carrier survives import as an equal Markdown graph · declared Spec
spec:carrier.slot-notation.one-literal-binding: A one-literal group in a vocabulary is a binding that declares nothing · declared Spec
spec:carrier.slot-notation.refused-guess: A stray brace stays prose while an unusable group stays a named slot · declared Spec
spec:carrier.slot-notation.typed-declaration: A typed declaration normalizes to the skeleton its binding shares · declared Spec
spec:validation.kind-evidence.second-entry-untargeted: A constraint whose second entry has no target is not complete · declared Spec
spec:validation.kind-evidence: Each kind carries its own evidence · declared Spec
spec:carrier.inline-code-spans: Inline code is content, never markup · declared Spec
spec:carrier.sdp-import.feature-adapter: A bare .feature corpus can be imported · declared Spec
spec:carrier.step-keys: An example step may carry a key that survives rewording · declared Spec
spec:decisions.envelope-grammar-posture: The Protocol owns the envelope grammar · declared Spec
spec:decisions.gherkin-carrier-option: Behavior and example Specs may use Gherkin canonically · declared Spec
spec:decisions.pack-markdown-carrier: Packs have a Markdown manifest carrier · declared Spec
spec:decisions.prose-ownership: Prose belongs to typed graph owners · declared Spec
component:protocol.import: canonical conversion with a fidelity boundary · anchored code · src/import/import.ts:45
component:protocol.notation: the leaf step codec · anchored code · src/notation/slots.ts:263
impl:protocol.envelope-contract: parses the bounded Markdown frontmatter envelope · anchored code · src/extract/markdown-frontmatter.ts:33
impl:protocol.gherkin-authoring: reifies Gherkin behavior and example authoring into the one carrier path · anchored code · src/extract/gherkin.ts:1440
impl:protocol.gherkin-kind-policy: shared Gherkin kind-refusal and loss explanations · anchored code · src/extract/gherkin-kind-honesty.ts:6
impl:protocol.import-fidelity: refuses Markdown emission that changes authored meaning · anchored code · src/import/markdown-fidelity.ts:102
impl:protocol.markdown-body-grammar: maps Markdown body content to typed prose owners · anchored code · src/extract/markdown-body.ts:126
impl:protocol.markdown-content: decodes located Markdown entries and typed fences · anchored code · src/extract/markdown-body-content.ts:12
impl:protocol.markdown-parser: reifies Markdown Specs and Packs through one carrier boundary · anchored code · src/extract/markdown.ts:37
impl:protocol.markdown-yaml-policy: bounded YAML scalars and relation-target forms · anchored code · src/extract/markdown-yaml-policy.ts:20
impl:protocol.sdp-import: plans, refuses, and publishes TypeScript-to-Markdown Spec imports · anchored code · src/cli/import-command.ts:71
impl:protocol.sdp-import-core: converts a TypeScript-carrier Spec into an idiomatic Markdown twin · anchored code · src/import/import.ts:58
impl:protocol.sdp-import-markdown-emit: emits the Markdown document twin for an imported Spec · anchored code · src/import/emit-markdown.ts:253
impl:protocol.sdp-import-publish: stages Markdown siblings and publishes them with atomic hard links · anchored code · src/cli/import-publish.ts:23
impl:protocol.sdp-import-scan: collects .sdp.ts paths and reports scan failures · anchored code · src/cli/import-scan.ts:62
impl:protocol.slot-notation: parses slot groups and normalizes a step to its skeleton · anchored code · src/notation/slots.ts:271
impl:protocol.static-reification: reifies authored carriers from the AST and never evaluates them · anchored code · src/extract/reify.ts:2217
oracle:protocol.slot-notation: oracle:protocol.slot-notation · anchored oracle binding · test/self-hosting-carrier.test.ts:191
test:protocol.envelope-contract: frontmatter contract tests verify the Markdown envelope · anchored test binding · binding present · test/markdown-reifier.test.ts:97
test:protocol.gherkin-authoring.authored-fact-refused: the authored-fact-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:363
test:protocol.gherkin-authoring.contract-parity: the contract-parity point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:388
test:protocol.gherkin-authoring.description-location-refused: the description-location-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:656
test:protocol.gherkin-authoring.duplicate-surface-refused: the duplicate-surface-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:396
test:protocol.gherkin-authoring.example-space-extraction: the example-space-extraction point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:439
test:protocol.gherkin-authoring.malformed-relation-refused: the malformed-relation-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:481
test:protocol.gherkin-authoring.missing-id-refused: the missing-id-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:509
test:protocol.gherkin-authoring.multi-finding-bounded: the multi-finding-bounded point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:714
test:protocol.gherkin-authoring.parent-child-extraction: the parent-child-extraction point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:534
test:protocol.gherkin-authoring.step-less-scenario-refused: the step-less-scenario-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:686
test:protocol.gherkin-authoring.unbound-ready-refused: the unbound-ready-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:588
test:protocol.gherkin-authoring.unknown-tag-refused: the unknown-tag-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:596
test:protocol.gherkin-authoring.unsupported-construct-refused: the unsupported-construct-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:626
test:protocol.kind-evidence.second-entry-untargeted: test:protocol.kind-evidence.second-entry-untargeted · anchored test binding · binding present · test/self-hosting-validators.test.ts:1928
test:protocol.markdown-authoring: TypeScript and Markdown twins derive one graph, verifying Markdown authoring · anchored test binding · binding present · test/import-round-trip.test.ts:22
test:protocol.markdown-body-grammar-regressions: checks Markdown body grammar refusals · anchored test binding · binding present · test/markdown-reifier.test.ts:102
test:protocol.markdown-body-grammar.continuation-line-refused: the continuation-line point verifies the one-line entry rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:197
test:protocol.markdown-body-grammar.foreign-fence-refused: the foreign-fence point verifies the closed fence set · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:213
test:protocol.markdown-body-grammar.h3-refused: the H3 point verifies the single-H3 rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:221
test:protocol.markdown-body-grammar.integer-term-refused: the integer-term point verifies the integer-like Model term refusal · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:293
test:protocol.markdown-body-grammar.keyed-bullet-refused: the keyed-bullet point verifies the keyed-bullet rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:237
test:protocol.markdown-body-grammar.ordered-list-refused: the ordered-list point verifies the list-entry rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:205
test:protocol.markdown-body-grammar.plain-bullet-refused: the plain-bullet point verifies the open-section key rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:229
test:protocol.markdown-body-grammar.raw-html-refused: the raw-HTML point verifies the raw-HTML refusal outside code spans · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:277
test:protocol.markdown-body-grammar.repeated-field-refused: the repeated-field point verifies the at-most-once rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:253
test:protocol.markdown-body-grammar.second-primary-owner-refused: the second-primary-owner point verifies the one-primary-owner rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:269
test:protocol.markdown-body-grammar.shared-description-refused: the shared-description point verifies the one-description-owner rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:285
test:protocol.markdown-body-grammar.table-refused: the table point verifies the block-structure refusal · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:189
test:protocol.markdown-body-grammar.trailing-prose-refused: the trailing-prose point verifies the prose-ownership rule · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:245
test:protocol.markdown-body-grammar.unrecognized-heading-refused: the unrecognized-heading point verifies the closed owner set · anchored test binding · binding present · test/self-hosting-markdown-grammar.test.ts:261
test:protocol.markdown-parser: Markdown reifier tests verify the ruled parser · anchored test binding · binding present · test/markdown-reifier.test.ts:91
test:protocol.markdown-parser.bounded-parity: the bounded-parity point verifies one shared finding class and its split outcomes · anchored test binding · binding present · test/self-hosting-carrier.test.ts:149
test:protocol.prose-ownership: Markdown reifier tests verify prose ownership · anchored test binding · binding present · test/markdown-reifier.test.ts:85
test:protocol.sdp-import.round-trip: TypeScript import round-trip contract preserves authored data · anchored test binding · binding present · test/self-hosting-sdp-import.test.ts:57
test:protocol.slot-notation.one-literal-binding: test:protocol.slot-notation.one-literal-binding · anchored test binding · binding present · test/self-hosting-carrier.test.ts:258
test:protocol.slot-notation.refused-guess: the refusal point verifies prose braces and the unusable slot · anchored test binding · binding present · test/self-hosting-carrier.test.ts:231
test:protocol.slot-notation.typed-declaration: the declaration point verifies the typed form and its skeleton · anchored test binding · binding present · test/self-hosting-carrier.test.ts:205
spec:carrier.envelope-contract refines spec:carrier.markdown-authoring · declared
spec:carrier.gherkin-authoring refines spec:carrier.markdown-authoring · declared
spec:carrier.gherkin-authoring.authored-fact-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.authored-fact-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.contract-parity refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.contract-parity verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.description-location-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.description-location-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.duplicate-surface-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.duplicate-surface-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.example-space-extraction refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.example-space-extraction verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.malformed-relation-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.malformed-relation-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.missing-id-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.missing-id-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.multi-finding-bounded refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.multi-finding-bounded verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.parent-child-extraction refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.parent-child-extraction verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.step-less-scenario-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.step-less-scenario-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unbound-ready-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unbound-ready-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unbound-ready-refused verifies spec:validation.kind-evidence · declared
spec:carrier.gherkin-authoring.unknown-tag-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unknown-tag-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unsupported-construct-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unsupported-construct-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.inline-code-spans refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar refines spec:carrier.markdown-authoring · declared
spec:carrier.markdown-body-grammar.continuation-line-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.continuation-line-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.foreign-fence-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.foreign-fence-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.h3-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.h3-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.integer-term-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.integer-term-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.keyed-bullet-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.keyed-bullet-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.ordered-list-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.ordered-list-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.plain-bullet-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.plain-bullet-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.raw-html-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.raw-html-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.repeated-field-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.repeated-field-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.second-primary-owner-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.second-primary-owner-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.shared-description-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.shared-description-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.table-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.table-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.trailing-prose-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.trailing-prose-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.unrecognized-heading-refused refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.unrecognized-heading-refused verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-parser refines spec:carrier.markdown-authoring · declared
spec:carrier.markdown-parser.bounded-parity refines spec:carrier.markdown-parser · declared
spec:carrier.markdown-parser.bounded-parity verifies spec:carrier.markdown-parser · declared
spec:carrier.prose-ownership-rule refines spec:carrier.markdown-authoring · declared
spec:carrier.sdp-import refines spec:carrier.markdown-authoring · declared
spec:carrier.sdp-import.feature-adapter refines spec:carrier.sdp-import · declared
spec:carrier.sdp-import.round-trip refines spec:carrier.sdp-import · declared
spec:carrier.sdp-import.round-trip verifies spec:carrier.sdp-import · declared
spec:carrier.slot-notation refines spec:carrier.markdown-authoring · declared
spec:carrier.slot-notation.one-literal-binding refines spec:carrier.slot-notation · declared
spec:carrier.slot-notation.one-literal-binding verifies spec:carrier.slot-notation · declared
spec:carrier.slot-notation.refused-guess refines spec:carrier.slot-notation · declared
spec:carrier.slot-notation.refused-guess verifies spec:carrier.slot-notation · declared
spec:carrier.slot-notation.typed-declaration refines spec:carrier.slot-notation · declared
spec:carrier.slot-notation.typed-declaration verifies spec:carrier.slot-notation · declared
spec:carrier.step-keys refines spec:carrier.slot-notation · declared — a key joins the step text the notation reads, ahead of its slots
spec:decisions.carrier-ruling refines spec:carrier.markdown-authoring · declared
spec:decisions.envelope-grammar-posture refines spec:carrier.envelope-contract · declared
spec:decisions.gherkin-carrier-option refines spec:decisions.carrier-ruling · declared — admits Gherkin as a canonical per-ID carrier for behavior and example Specs beside the Markdown default
spec:decisions.pack-markdown-carrier refines spec:decisions.carrier-ruling · declared — extends the Markdown carrier to Packs and keeps the TypeScript builder as a per-ID option
spec:decisions.prose-ownership refines spec:carrier.prose-ownership-rule · declared
spec:decisions.sdp-ts-extension refines spec:carrier.markdown-authoring · declared
spec:validation.kind-evidence.second-entry-untargeted refines spec:validation.kind-evidence · declared
spec:validation.kind-evidence.second-entry-untargeted verifies spec:carrier.markdown-body-grammar · declared
spec:validation.kind-evidence.second-entry-untargeted verifies spec:validation.kind-evidence · declared
component:protocol.import satisfies spec:carrier.sdp-import · anchored
component:protocol.notation satisfies spec:carrier.slot-notation · anchored
impl:protocol.envelope-contract satisfies spec:carrier.envelope-contract · anchored
impl:protocol.gherkin-authoring satisfies spec:carrier.gherkin-authoring · anchored
impl:protocol.gherkin-kind-policy satisfies spec:carrier.gherkin-authoring · anchored
impl:protocol.import-fidelity satisfies spec:carrier.sdp-import · anchored
impl:protocol.markdown-body-grammar satisfies spec:carrier.markdown-body-grammar · anchored
impl:protocol.markdown-body-grammar satisfies spec:carrier.prose-ownership-rule · anchored
impl:protocol.markdown-content satisfies spec:carrier.markdown-body-grammar · anchored
impl:protocol.markdown-parser satisfies spec:carrier.markdown-parser · anchored
impl:protocol.markdown-parser satisfies spec:carrier.markdown-authoring · anchored
impl:protocol.markdown-yaml-policy satisfies spec:carrier.envelope-contract · anchored
impl:protocol.sdp-import satisfies spec:carrier.sdp-import · anchored
impl:protocol.sdp-import-core satisfies spec:carrier.sdp-import · anchored
impl:protocol.sdp-import-markdown-emit satisfies spec:carrier.sdp-import · anchored
impl:protocol.sdp-import-publish satisfies spec:carrier.sdp-import · anchored
impl:protocol.sdp-import-scan satisfies spec:carrier.sdp-import · anchored
impl:protocol.slot-notation satisfies spec:carrier.slot-notation · anchored
impl:protocol.static-reification satisfies spec:carrier.markdown-parser · anchored
oracle:protocol.slot-notation models spec:carrier.slot-notation · anchored
test:protocol.envelope-contract verifies spec:carrier.envelope-contract · anchored
test:protocol.gherkin-authoring.authored-fact-refused verifies spec:carrier.gherkin-authoring.authored-fact-refused · anchored
test:protocol.gherkin-authoring.contract-parity verifies spec:carrier.gherkin-authoring.contract-parity · anchored
test:protocol.gherkin-authoring.description-location-refused verifies spec:carrier.gherkin-authoring.description-location-refused · anchored
test:protocol.gherkin-authoring.duplicate-surface-refused verifies spec:carrier.gherkin-authoring.duplicate-surface-refused · anchored
test:protocol.gherkin-authoring.example-space-extraction verifies spec:carrier.gherkin-authoring.example-space-extraction · anchored
test:protocol.gherkin-authoring.malformed-relation-refused verifies spec:carrier.gherkin-authoring.malformed-relation-refused · anchored
test:protocol.gherkin-authoring.missing-id-refused verifies spec:carrier.gherkin-authoring.missing-id-refused · anchored
test:protocol.gherkin-authoring.multi-finding-bounded verifies spec:carrier.gherkin-authoring.multi-finding-bounded · anchored
test:protocol.gherkin-authoring.parent-child-extraction verifies spec:carrier.gherkin-authoring.parent-child-extraction · anchored
test:protocol.gherkin-authoring.step-less-scenario-refused verifies spec:carrier.gherkin-authoring.step-less-scenario-refused · anchored
test:protocol.gherkin-authoring.unbound-ready-refused verifies spec:carrier.gherkin-authoring.unbound-ready-refused · anchored
test:protocol.gherkin-authoring.unknown-tag-refused verifies spec:carrier.gherkin-authoring.unknown-tag-refused · anchored
test:protocol.gherkin-authoring.unsupported-construct-refused verifies spec:carrier.gherkin-authoring.unsupported-construct-refused · anchored
test:protocol.kind-evidence.second-entry-untargeted verifies spec:validation.kind-evidence.second-entry-untargeted · anchored
test:protocol.markdown-authoring verifies spec:carrier.markdown-authoring · anchored
test:protocol.markdown-body-grammar-regressions verifies spec:carrier.markdown-body-grammar · anchored
test:protocol.markdown-body-grammar.continuation-line-refused verifies spec:carrier.markdown-body-grammar.continuation-line-refused · anchored
test:protocol.markdown-body-grammar.foreign-fence-refused verifies spec:carrier.markdown-body-grammar.foreign-fence-refused · anchored
test:protocol.markdown-body-grammar.h3-refused verifies spec:carrier.markdown-body-grammar.h3-refused · anchored
test:protocol.markdown-body-grammar.integer-term-refused verifies spec:carrier.markdown-body-grammar.integer-term-refused · anchored
test:protocol.markdown-body-grammar.keyed-bullet-refused verifies spec:carrier.markdown-body-grammar.keyed-bullet-refused · anchored
test:protocol.markdown-body-grammar.ordered-list-refused verifies spec:carrier.markdown-body-grammar.ordered-list-refused · anchored
test:protocol.markdown-body-grammar.plain-bullet-refused verifies spec:carrier.markdown-body-grammar.plain-bullet-refused · anchored
test:protocol.markdown-body-grammar.raw-html-refused verifies spec:carrier.markdown-body-grammar.raw-html-refused · anchored
test:protocol.markdown-body-grammar.repeated-field-refused verifies spec:carrier.markdown-body-grammar.repeated-field-refused · anchored
test:protocol.markdown-body-grammar.second-primary-owner-refused verifies spec:carrier.markdown-body-grammar.second-primary-owner-refused · anchored
test:protocol.markdown-body-grammar.shared-description-refused verifies spec:carrier.markdown-body-grammar.shared-description-refused · anchored
test:protocol.markdown-body-grammar.table-refused verifies spec:carrier.markdown-body-grammar.table-refused · anchored
test:protocol.markdown-body-grammar.trailing-prose-refused verifies spec:carrier.markdown-body-grammar.trailing-prose-refused · anchored
test:protocol.markdown-body-grammar.unrecognized-heading-refused verifies spec:carrier.markdown-body-grammar.unrecognized-heading-refused · anchored
test:protocol.markdown-parser verifies spec:carrier.markdown-parser · anchored
test:protocol.markdown-parser.bounded-parity verifies spec:carrier.markdown-parser.bounded-parity · anchored
test:protocol.prose-ownership verifies spec:carrier.prose-ownership-rule · anchored
test:protocol.sdp-import.round-trip verifies spec:carrier.sdp-import.round-trip · anchored
test:protocol.slot-notation.one-literal-binding verifies spec:carrier.slot-notation.one-literal-binding · anchored
test:protocol.slot-notation.refused-guess verifies spec:carrier.slot-notation.refused-guess · anchored
test:protocol.slot-notation.typed-declaration verifies spec:carrier.slot-notation.typed-declaration · anchored

Mermaid source

Copyable source; the Studio draws static SVG.

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

Mermaid source for Requirement drawing for spec:carrier.markdown-authoring

flowchart TB
  n0["8 refining Specs · declared, folded"]
  %% folded diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.0: spec:carrier.envelope-contract, spec:carrier.gherkin-authoring, spec:carrier.markdown-body-grammar, spec:carrier.markdown-parser, spec:carrier.prose-ownership-rule, spec:carrier.sdp-import, spec:decisions.carrier-ruling, spec:decisions.sdp-ts-extension
  n1["Markdown authoring enters the one graph · declared Spec · spec:carrier.markdown-authoring"]
  n2["Slot notation declares, binds, and refuses to guess · declared Spec · spec:carrier.slot-notation"]
  n3["33 verifying examples · declared; 33 test bindings · anchored, folded"]
  %% folded diagram.spec:carrier.markdown-authoring.requirement.fold.verifies.incoming.declared: spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused, spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:carrier.markdown-parser.bounded-parity, spec:carrier.sdp-import.round-trip, spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration, spec:validation.kind-evidence.second-entry-untargeted, test:protocol.gherkin-authoring.authored-fact-refused, test:protocol.gherkin-authoring.contract-parity, test:protocol.gherkin-authoring.description-location-refused, test:protocol.gherkin-authoring.duplicate-surface-refused, test:protocol.gherkin-authoring.example-space-extraction, test:protocol.gherkin-authoring.malformed-relation-refused, test:protocol.gherkin-authoring.missing-id-refused, test:protocol.gherkin-authoring.multi-finding-bounded, test:protocol.gherkin-authoring.parent-child-extraction, test:protocol.gherkin-authoring.step-less-scenario-refused, test:protocol.gherkin-authoring.unbound-ready-refused, test:protocol.gherkin-authoring.unknown-tag-refused, test:protocol.gherkin-authoring.unsupported-construct-refused, test:protocol.kind-evidence.second-entry-untargeted, test:protocol.markdown-body-grammar.continuation-line-refused, test:protocol.markdown-body-grammar.foreign-fence-refused, test:protocol.markdown-body-grammar.h3-refused, test:protocol.markdown-body-grammar.integer-term-refused, test:protocol.markdown-body-grammar.keyed-bullet-refused, test:protocol.markdown-body-grammar.ordered-list-refused, test:protocol.markdown-body-grammar.plain-bullet-refused, test:protocol.markdown-body-grammar.raw-html-refused, test:protocol.markdown-body-grammar.repeated-field-refused, test:protocol.markdown-body-grammar.second-primary-owner-refused, test:protocol.markdown-body-grammar.shared-description-refused, test:protocol.markdown-body-grammar.table-refused, test:protocol.markdown-body-grammar.trailing-prose-refused, test:protocol.markdown-body-grammar.unrecognized-heading-refused, test:protocol.markdown-parser.bounded-parity, test:protocol.sdp-import.round-trip, test:protocol.slot-notation.one-literal-binding, test:protocol.slot-notation.refused-guess, test:protocol.slot-notation.typed-declaration
  n4["17 satisfying units · anchored, folded"]
  %% folded diagram.spec:carrier.markdown-authoring.requirement.fold.satisfies.incoming.anchored: component:protocol.import, component:protocol.notation, impl:protocol.envelope-contract, impl:protocol.gherkin-authoring, impl:protocol.gherkin-kind-policy, impl:protocol.import-fidelity, impl:protocol.markdown-body-grammar, impl:protocol.markdown-content, impl:protocol.markdown-parser, impl:protocol.markdown-yaml-policy, impl:protocol.sdp-import, impl:protocol.sdp-import-core, impl:protocol.sdp-import-markdown-emit, impl:protocol.sdp-import-publish, impl:protocol.sdp-import-scan, impl:protocol.slot-notation, impl:protocol.static-reification
  n5["5 test bindings · anchored, folded"]
  %% folded diagram.spec:carrier.markdown-authoring.requirement.fold.verifies.incoming.anchored: test:protocol.envelope-contract, test:protocol.markdown-authoring, test:protocol.markdown-body-grammar-regressions, test:protocol.markdown-parser, test:protocol.prose-ownership
  n6["oracle:protocol.slot-notation · anchored oracle binding · oracle:protocol.slot-notation"]
  n7["7 refining Specs · declared, folded"]
  %% folded diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.4: spec:carrier.inline-code-spans, spec:carrier.sdp-import.feature-adapter, spec:carrier.step-keys, spec:decisions.envelope-grammar-posture, spec:decisions.gherkin-carrier-option, spec:decisions.pack-markdown-carrier, spec:decisions.prose-ownership
  n8["Each kind carries its own evidence · declared Spec · spec:validation.kind-evidence"]
  n0 -->|"refines · declared (8 unit edges)"| n1
  %% count: 8; diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.0 to spec:carrier.markdown-authoring
  n7 -->|"refines · declared (6 unit edges)"| n0
  %% count: 6; diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.4 to diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.0
  n7 -->|"refines · declared — a key joins the step text the notation reads, ahead of its slots"| n2
  %% count: 1; diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.4 to spec:carrier.slot-notation
  n4 -->|"satisfies · anchored (16 unit edges)"| n0
  %% count: 16; diagram.spec:carrier.markdown-authoring.requirement.fold.satisfies.incoming.anchored to diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.0
  n4 -->|"satisfies · anchored"| n1
  %% count: 1; diagram.spec:carrier.markdown-authoring.requirement.fold.satisfies.incoming.anchored to spec:carrier.markdown-authoring
  n4 -->|"satisfies · anchored (2 unit edges)"| n2
  %% count: 2; diagram.spec:carrier.markdown-authoring.requirement.fold.satisfies.incoming.anchored to spec:carrier.slot-notation
  n5 -->|"verifies · anchored (4 unit edges)"| n0
  %% count: 4; diagram.spec:carrier.markdown-authoring.requirement.fold.verifies.incoming.anchored to diagram.spec:carrier.markdown-authoring.requirement.fold.refines.incoming.declared.band.0
  n5 -->|"verifies · anchored"| n1
  %% count: 1; diagram.spec:carrier.markdown-authoring.requirement.fold.verifies.incoming.anchored to spec:carrier.markdown-authoring
  n3 -->|"refines (29), verifies (30) · declared"| n0
  n3 -->|"refines, verifies · declared (3 per relation)"| n2
  %% count: 3; diagram.spec:carrier.markdown-authoring.requirement.fold.verifies.incoming.declared to spec:carrier.slot-notation
  n3 -->|"refines, verifies (2) · declared"| n8
  n6 -->|"models · anchored"| n2
  %% count: 1; oracle:protocol.slot-notation to spec:carrier.slot-notation
  n2 -->|"refines · declared"| n1
  %% count: 1; spec:carrier.slot-notation to spec:carrier.markdown-authoring

Decisions

Markdown is the default Spec carrier
Specs default to Markdown; Packs remain TS until a Pack syntax ruling; the TS DSL survives as import source and a lawful per-ID option. Later refinements keep this default and the one-surface law without repealing them: the Pack syntax ruling completes Pack Markdown, and the Gherkin carrier option admits graph-aware Gherkin as a lawful per-ID option for behavior and example Specs only, with the canonical suffix settled as .sdp.gherkin.
Spec extensions identify the carrier without colliding with tests
Markdown Specs use .sdp.md; .sdp.ts names the surviving TypeScript DSL import source and lawful per-ID option.

Runtime

component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · 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.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:263 · layer domain · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
impl:protocol.markdown-parser · reifies Markdown Specs and Packs through one carrier boundary · src/extract/markdown.ts:37
Component: component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · 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:carrier.markdown-authoring

Scroll horizontally to read the whole drawing.

The diagram as text

spec:carrier.envelope-contract: The Markdown envelope is explicit and bounded
spec:carrier.gherkin-authoring: Gherkin authoring enters the one graph
spec:carrier.markdown-authoring: Markdown authoring enters the one graph
spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section
spec:carrier.markdown-parser: The Markdown parser reifies the ruled subset
spec:carrier.prose-ownership-rule: Every prose value has one typed owner
spec:carrier.sdp-import: A TypeScript-carried Spec can be converted to Markdown
spec:carrier.slot-notation: Slot notation declares, binds, and refuses to guess
spec:decisions.carrier-ruling: Markdown is the default Spec carrier
spec:decisions.sdp-ts-extension: Spec extensions identify the carrier without colliding with tests
spec:protocol.self-hosting: The Protocol authors and validates itself
spec:carrier.markdown-authoring decidedBy spec:decisions.carrier-ruling · declared
spec:carrier.markdown-authoring decidedBy spec:decisions.sdp-ts-extension · declared
spec:carrier.markdown-authoring dependsOn spec:carrier.markdown-parser · declared
spec:protocol.self-hosting dependsOn spec:carrier.markdown-authoring · declared — the self-hosted corpus uses the Markdown carrier
spec:carrier.envelope-contract refines spec:carrier.markdown-authoring · declared
spec:carrier.gherkin-authoring refines spec:carrier.markdown-authoring · declared
spec:carrier.markdown-body-grammar refines spec:carrier.markdown-authoring · declared
spec:carrier.markdown-parser refines spec:carrier.markdown-authoring · declared
spec:carrier.prose-ownership-rule refines spec:carrier.markdown-authoring · declared
spec:carrier.sdp-import refines spec:carrier.markdown-authoring · declared
spec:carrier.slot-notation refines spec:carrier.markdown-authoring · declared
spec:decisions.carrier-ruling refines spec:carrier.markdown-authoring · declared
spec:decisions.sdp-ts-extension refines spec:carrier.markdown-authoring · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Mermaid source for Relations of spec:carrier.markdown-authoring

flowchart TB
  n0["Markdown authoring enters the one graph · spec:carrier.markdown-authoring"]
  n1["The Markdown envelope is explicit and bounded · spec:carrier.envelope-contract"]
  n2["Gherkin authoring enters the one graph · spec:carrier.gherkin-authoring"]
  n3["The Markdown body accepts one closed form per section · spec:carrier.markdown-body-grammar"]
  n4["The Markdown parser reifies the ruled subset · spec:carrier.markdown-parser"]
  n5["Every prose value has one typed owner · spec:carrier.prose-ownership-rule"]
  n6["A TypeScript-carried Spec can be converted to Markdown · spec:carrier.sdp-import"]
  n7["Slot notation declares, binds, and refuses to guess · spec:carrier.slot-notation"]
  n8["Markdown is the default Spec carrier · spec:decisions.carrier-ruling"]
  n9["Spec extensions identify the carrier without colliding with tests · spec:decisions.sdp-ts-extension"]
  n10["The Protocol authors and validates itself · spec:protocol.self-hosting"]
  n1 -->|"refines · declared"| n0
  n2 -->|"refines · declared"| n0
  n0 -->|"dependsOn · declared"| n4
  n0 -->|"decidedBy · declared"| n8
  n0 -->|"decidedBy · declared"| n9
  n3 -->|"refines · declared"| n0
  n4 -->|"refines · declared"| n0
  n5 -->|"refines · declared"| n0
  n6 -->|"refines · declared"| n0
  n7 -->|"refines · declared"| n0
  n8 -->|"refines · declared"| n0
  n9 -->|"refines · declared"| n0
  n10 -->|"dependsOn · declared — the self-hosted corpus uses the Markdown carrier"| n0

Rests on

dependsOn · spec:carrier.markdown-parser · stated ready, floor ready
decidedBy · spec:decisions.carrier-ruling · stated ready, floor ready
decidedBy · spec:decisions.sdp-ts-extension · stated ready, floor ready

Rested on by

Distance 1

spec:carrier.envelope-contract
Implementing units
- impl:protocol.envelope-contract · src/extract/markdown-frontmatter.ts:33
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
Referencing units
None.
Enabled verifiers: test:protocol.envelope-contract
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring
Implementing units
- impl:protocol.gherkin-authoring · src/extract/gherkin.ts:1440
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
Referencing units
None.
Enabled verifiers: spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
- impl:protocol.markdown-content · src/extract/markdown-body-content.ts:12
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:validation.kind-evidence.second-entry-untargeted, test:protocol.markdown-body-grammar-regressions
Packs: pack:self-hosting-v1
spec:carrier.markdown-parser
Implementing units
- impl:protocol.markdown-parser · src/extract/markdown.ts:37
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-parser.bounded-parity, test:protocol.markdown-parser
Packs: pack:self-hosting-v1
spec:carrier.prose-ownership-rule
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
Packs: pack:self-hosting-v1
spec:carrier.sdp-import
Implementing units
- component:protocol.import · src/import/import.ts:45
- impl:protocol.import-fidelity · src/import/markdown-fidelity.ts:102
- impl:protocol.sdp-import · src/cli/import-command.ts:71
- impl:protocol.sdp-import-core · src/import/import.ts:58
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.sdp-import-publish · src/cli/import-publish.ts:23
- impl:protocol.sdp-import-scan · src/cli/import-scan.ts:62
Referencing units
None.
Enabled verifiers: spec:carrier.sdp-import.round-trip
Packs: pack:self-hosting-v1
spec:carrier.slot-notation
Implementing units
- component:protocol.notation · src/notation/slots.ts:263
- impl:protocol.slot-notation · src/notation/slots.ts:271
Referencing units
None.
Enabled verifiers: spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
spec:decisions.carrier-ruling
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:protocol.self-hosting
Implementing units
- impl:protocol.self-hosting · test/self-hosting-graph.test.ts:136
Referencing units
None.
Enabled verifiers: test:protocol.self-hosting
Packs: pack:self-hosting-v1

Distance 2

spec:carrier.gherkin-authoring.authored-fact-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.authored-fact-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.contract-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.contract-parity
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.description-location-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.description-location-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.duplicate-surface-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.duplicate-surface-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.example-space-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.example-space-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.malformed-relation-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.malformed-relation-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.missing-id-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.missing-id-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.multi-finding-bounded
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.multi-finding-bounded
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.parent-child-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.parent-child-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.step-less-scenario-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.step-less-scenario-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unbound-ready-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unbound-ready-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unknown-tag-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unknown-tag-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unsupported-construct-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans
Implementing units
- impl:protocol.inline-code-spans · src/extract/markdown-inline-code.ts:4
Referencing units
None.
Enabled verifiers: spec:carrier.inline-code-spans.description, spec:carrier.inline-code-spans.list, spec:carrier.inline-code-spans.narrative, spec:carrier.inline-code-spans.pack
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.continuation-line-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.continuation-line-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.foreign-fence-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.foreign-fence-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.h3-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.h3-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.integer-term-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.integer-term-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.keyed-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.keyed-bullet-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.ordered-list-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.ordered-list-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.plain-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.plain-bullet-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.raw-html-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.raw-html-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.repeated-field-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.repeated-field-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.second-primary-owner-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.second-primary-owner-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.shared-description-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.shared-description-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.table-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.table-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.trailing-prose-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.trailing-prose-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.unrecognized-heading-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.unrecognized-heading-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring
Implementing units
- impl:protocol.markdown-pack-authoring · src/extract/markdown-pack.ts:128
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-pack-authoring.markdown-ts-parity, spec:carrier.markdown-pack-authoring.spec-envelope-refused, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:carrier.markdown-parser.bounded-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-parser.bounded-parity
Packs: pack:self-hosting-v1
spec:carrier.sdp-import.feature-adapter
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:carrier.sdp-import.round-trip
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.sdp-import.round-trip
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.one-literal-binding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.one-literal-binding
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.refused-guess
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.refused-guess
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.typed-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
spec:carrier.step-keys
Implementing units
- impl:protocol.example-runner · src/runner/index.ts:112
- impl:protocol.example-space-decoding · src/notation/example-space.ts:559
- impl:protocol.executable-contracts · src/codegen/contracts.ts:685
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
Referencing units
None.
Enabled verifiers: 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, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.adopter-on-ramp
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.adopter-on-ramp · test/skills.test.ts:713
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
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:559
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.authoring-on-ramp
Implementing units
- impl:protocol.authoring-on-ramp · test/skills.test.ts:77
- impl:protocol.spec-scaffolder · src/cli/new-spec-command.ts:358
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp, test:protocol.spec-scaffolder
Packs: pack:self-hosting-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:decisions.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.concept-docs-dissolve
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.envelope-grammar-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.executable-meta-model
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.gherkin-carrier-option
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.pack-markdown-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.plain-language-references
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.prose-ownership
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.protocol-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-gherkin-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:model.open-question-keys
Implementing units
- impl:protocol.open-question-keys · src/extract/markdown-body-owner-behavior.ts:38
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.stable-ids · src/ids.ts:173
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:model.open-question-keys.keyed-question-resolves, spec:model.open-question-keys.renamed-key-breaks, spec:model.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec:protocol.capability-epics
Implementing units
- impl:protocol.capability-epics · test/recipes.test.ts:8243
Referencing units
None.
Enabled verifiers: test:protocol.capability-epics
Packs: pack:roadmaps-and-slices-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
spec:protocol.structural-self-binding
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:self-hosting-v1
spec:validation.duplicate-ids
Implementing units
- impl:protocol.duplicate-id-exclusion · src/extract/index.ts:98
- impl:protocol.duplicate-ids · src/validate/validators.ts:267
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1

Distance 3

spec:carrier.inline-code-spans.description
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.description
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.list
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.list
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.narrative
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.narrative
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.pack
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring.markdown-ts-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.markdown-ts-parity
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring.spec-envelope-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.spec-envelope-refused
Packs: pack:self-hosting-v1
spec:carrier.step-keys.conflicting-example-key-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.conflicting-example-key-withheld
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.gherkin-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.gherkin-keyed-step-stays-bound
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.key-equal-to-a-skeleton-withheld
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.malformed-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.malformed-marker-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.renamed-key-breaks
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.repeated-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.reworded-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-keyed-step-stays-bound
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.reworded-unkeyed-step-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-unkeyed-step-breaks
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.two-keys-on-one-step-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.two-keys-on-one-step-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.typescript-keyed-step-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.typescript-keyed-step-imports-keyed
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.combination-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
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.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:12
- 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.delivery-session-on-ramp
Implementing units
- impl:protocol.delivery-session-on-ramp · test/skills.test.ts:84
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.engine-provenance
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:203
- 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.gherkin-view
Implementing units
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
- impl:protocol.gherkin-view · src/projections/gherkin-view.ts:19
- impl:protocol.gherkin-view-cli · src/cli/gherkin-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.gherkin-view
Packs: pack:self-hosting-v1
spec:consumers.graph-first-planning
Implementing units
- impl:protocol.graph-first-planning · test/skills.test.ts:291
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.shipped-protocol-corpus
Implementing units
- impl:protocol.shipped-protocol-corpus · test/package-smoke.test.ts:277
Referencing units
None.
Enabled verifiers: test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-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.intent-panel
Implementing units
- impl:protocol.studio-compose · src/studio-elements/compose.ts:4
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:65
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-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.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:202
- 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.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:75
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: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: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:consumers.validate-watch
Implementing units
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: test:protocol.validate-watch, test:protocol.validate-watch-rules
Packs: pack:adopter-speed-v1, pack:design-management-v1, pack:self-hosting-v1
spec:decisions.carrier-universality
Implementing units
None.
Referencing units
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.question-key-rendering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-priority
Implementing units
None.
Referencing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
- impl:protocol.pack-member-order · src/extract/derive.ts:153
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:extraction.contract-declarations
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
- impl:protocol.register-recipes · test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:extraction.entry-locations
Implementing units
- impl:protocol.entry-location-recipes · test/recipes.test.ts:6049
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Enabled verifiers: test:protocol.entry-locations
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:extraction.executable-contracts
Implementing units
- impl:protocol.example-space · src/graph/example-space.ts:117
- impl:protocol.executable-contracts · src/codegen/contracts.ts:685
Referencing units
None.
Enabled verifiers: 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, spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.pack-member-order
Implementing units
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.pack-coherence · src/validate/validators.ts:1106
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
- impl:protocol.pack-member-order · src/extract/derive.ts:153
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:extraction.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:671
- 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:696
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
spec:model.open-question-fields
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: spec:model.open-question-fields.dropped-list-warns, test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-keys.keyed-question-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.keyed-question-resolves
Packs: pack:self-hosting-v1
spec:model.open-question-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.renamed-key-breaks
Packs: pack:self-hosting-v1
spec:model.open-question-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec:model.relation-reasons
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:model.rule-keys
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
- impl:protocol.rule-exercises · src/validate/validators.ts:1493
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-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
spec:protocol.role-vocabulary
Implementing units
- impl:protocol.role-vocabulary · test/self-hosting-graph.test.ts:143
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.significant-units-review
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:validation.duplicate-ids.dual-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1

Distance 4

spec:consumers.agent-surface.address-and-cycle-recipes
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, test:protocol.address-and-cycle-recipes
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.register-recipes
Implementing units
- impl:protocol.register-recipes · test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
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.design-diff
Implementing units
- impl:protocol.design-diff-recipe · test/iteration-recipes.test.ts:27
Referencing units
None.
Enabled verifiers: test:protocol.design-diff-recipe, test:protocol.roadmap-priority
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-review
Implementing units
- impl:protocol.design-review · src/projections/design-review.ts:44
- impl:protocol.design-review-codec · src/projections/design-review-markdown.ts:3
Referencing units
None.
Enabled verifiers: spec:consumers.design-review.pure-projection, test:protocol.cli-write-boundaries
Packs: 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.iteration
Implementing units
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
- impl:protocol.vault-text · src/projections/vault/text.ts:30
- impl:protocol.vault-watch · src/cli/vault-command.ts:243
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-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.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:4
- 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:69
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
- 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:75
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:282
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
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:69
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.intent-panel.refresh-keeps-intents
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-intents-refresh
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:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
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:69
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.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:123
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.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.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:9
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:744
- 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.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:202
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
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.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1740
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
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: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:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-over-plans
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:extraction.entry-citations
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.entry-citation-reader · src/reader/entry-citations.ts:19
- impl:protocol.entry-citation-recipe · test/recipes.test.ts:7078
- impl:protocol.entry-citation-scan · src/extract/entry-citations.ts:6
Referencing units
None.
Enabled verifiers: spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, 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:103
- impl:protocol.example-runner · src/runner/index.ts:112
- 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.pack-member-order.manifest-order-kept
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-member-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
spec:model.open-question-fields.dropped-list-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-fields.dropped-list-warns
Packs: pack:self-hosting-v1
spec:model.pack-aggregate
Implementing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
Referencing units
None.
Enabled verifiers: test:protocol.pack-builder, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:model.term-addresses
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
- impl:protocol.stable-ids · src/ids.ts:173
Referencing units
None.
Enabled verifiers: spec:model.term-addresses.keyed-term-resolves, spec:model.term-addresses.malformed-term-marker-refused, spec:model.term-addresses.repeated-term-key-refused, spec:model.term-addresses.typescript-term-imports-keyed, spec:model.term-addresses.unknown-term-key-refused, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:obsidian-vault-v1, pack:self-hosting-v1
spec:validation.corpus-rules
Implementing units
- impl:protocol.corpus-rule-runner · src/cli/corpus-rules.ts:65
- impl:protocol.corpus-rules · src/cli/validate-view-command.ts:78
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, spec:validation.corpus-rules.copies-contain-changes, spec:validation.corpus-rules.error-finding-fails, spec:validation.corpus-rules.malformed-finding-fails, spec:validation.corpus-rules.params-edit-starts-a-cycle, spec:validation.corpus-rules.rules-edit-starts-a-cycle, spec:validation.corpus-rules.unreadable-params-fail-one-file, spec:validation.corpus-rules.warning-finding-informs
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.prose-mentions
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
Referencing units
None.
Enabled verifiers: test:protocol.entry-locations, test:protocol.prose-mentions
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal
Implementing units
- impl:protocol.superseded-decision-signal · src/validate/validators.ts:1837
Referencing units
None.
Enabled verifiers: spec:validation.superseded-decision-signal.branch-names-every-end, spec:validation.superseded-decision-signal.chain-end-named, spec:validation.superseded-decision-signal.closed-chain-named, spec:validation.superseded-decision-signal.dependency-unread, spec:validation.superseded-decision-signal.end-and-loop-named, spec:validation.superseded-decision-signal.live-replacement-warns, spec:validation.superseded-decision-signal.replaced-ruling-warns, spec:validation.superseded-decision-signal.replacement-below-ready-named, spec:validation.superseded-decision-signal.superseded-subject-silent
Packs: pack:design-management-v1, pack:self-hosting-v1

Distance 5

spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4839
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.binding-language-views
Implementing units
- impl:protocol.binding-language-index-table · src/projections/design-review-pages.ts:202
- impl:protocol.binding-language-spec-page · src/projections/design-review-context.ts:101
Referencing units
None.
Enabled verifiers: spec:consumers.binding-language-views.bound-spec-page, spec:consumers.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner
Implementing units
- impl:protocol.derived-readiness-banner · src/projections/design-review-context.ts:19
Referencing units
None.
Enabled verifiers: spec:consumers.derived-readiness-banner.dishonest-divergence, spec:consumers.derived-readiness-banner.honest-headroom, test:protocol.derived-readiness-banner.idea-floor-unmet
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:121
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-review.pure-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-review.pure-projection
Packs: 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.intent-composition.proposal
Implementing units
- impl:protocol.proposal-schema-and-recipe · test/iteration-recipes.test.ts:1515
- impl:protocol.studio-proposal-contract · src/studio-elements/proposal.ts:1
Referencing units
None.
Enabled verifiers: test:protocol.proposal-schema-and-recipe
Packs: pack:design-iteration-v1, pack:design-management-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:46
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes
Implementing units
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sections · src/projections/vault/sections.ts:10
- impl:protocol.vault-text · src/projections/vault/text.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays, test:protocol.vault-priority
Packs: pack:obsidian-vault-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.review-perspectives
Implementing units
- impl:protocol.perspective-filter-recipe · test/iteration-recipes.test.ts:758
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.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.cited-line-text
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-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:107
- 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.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.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
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.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:98
- 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
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- 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.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.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.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:98
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.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.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.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
spec:consumers.vault-on-ramp
Implementing units
- impl:protocol.vault-on-ramp · test/skills.test.ts:2074
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.wholesale-view-rewrite · src/cli/validate-view-command.ts:127
Referencing units
None.
Enabled verifiers: spec:consumers.wholesale-view-rewrite.build-invalidates-view, spec:consumers.wholesale-view-rewrite.failed-run-view-removed, spec:consumers.wholesale-view-rewrite.late-stale-page, spec:consumers.wholesale-view-rewrite.stale-page-removed, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
spec:decisions.authored-entry-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: 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:121
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.pack-reified
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.entry-citations.code-comment-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.code-comment-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.test-title-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.test-title-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unanchored-file-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unanchored-file-unread
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unresolved-citation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, 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.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.term-addresses.keyed-term-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.keyed-term-resolves
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.malformed-term-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.malformed-term-marker-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.repeated-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.repeated-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.typescript-term-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.typescript-term-imports-keyed
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.unknown-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.unknown-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.architecture-constraints
Implementing units
- impl:protocol.architecture-walk-recipe · test/architecture-recipes.test.ts:10
Referencing units
None.
Enabled verifiers: spec:validation.architecture-constraints.forbidden-layer-pair, spec:validation.architecture-constraints.isolated-context-as-rule, spec:validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.corpus-rules.copies-contain-changes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.copies-contain-changes
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.error-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.error-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.malformed-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.malformed-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.params-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.params-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.rules-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.rules-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.unreadable-params-fail-one-file
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.unreadable-params-fail-one-file
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.warning-finding-informs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.warning-finding-informs
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering
Implementing units
- impl:protocol.diagnostic-rendering-cli · src/cli/output.ts:23
- impl:protocol.diagnostic-rendering-design-review · src/projections/design-review-context.ts:214
- impl:protocol.validate-summary · src/cli/validate-view-command.ts:22
- impl:protocol.validation-contracts · src/validate/contracts.ts:5
Referencing units
None.
Enabled verifiers: spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
spec:validation.external-registers
Implementing units
- impl:protocol.external-registers-recipe · test/external-registers.test.ts:9
Referencing units
None.
Enabled verifiers: spec:validation.external-registers.uncited-on-request, spec:validation.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.pack-coherence
Implementing units
- impl:protocol.pack-coherence · src/validate/validators.ts:1106
Referencing units
None.
Enabled verifiers: spec:validation.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.branch-names-every-end
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.branch-names-every-end
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.chain-end-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.chain-end-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.closed-chain-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.closed-chain-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.dependency-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.dependency-unread
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.end-and-loop-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.end-and-loop-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.live-replacement-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.live-replacement-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replaced-ruling-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replaced-ruling-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replacement-below-ready-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replacement-below-ready-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.superseded-subject-silent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.superseded-subject-silent
Packs: pack:self-hosting-v1

Distance 6

spec:consumers.agent-surface.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6284
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.reader · src/reader/reader.ts:713
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.binding-language-views.bound-spec-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.bound-spec-page
Packs: pack:self-hosting-v1
spec:consumers.binding-language-views.pack-member-table
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.census-page
Implementing units
- impl:protocol.census-page · src/projections/census.ts:22
- impl:protocol.census-page-cli · src/cli/census-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.census-page
Packs: pack:self-hosting-v1
spec:consumers.context-bundle
Implementing units
- impl:protocol.context-bundle-recipe · test/iteration-recipes.test.ts:770
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.derived-readiness-banner.dishonest-divergence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.dishonest-divergence
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner.honest-headroom
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.honest-headroom
Packs: pack:self-hosting-v1
spec:consumers.intent-composition.proposal.memo
Implementing units
- impl:protocol.proposal-memo-recipe · test/recipes.test.ts:7368
- impl:protocol.studio-proposal-memo · src/studio-elements/memo.ts:13
Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.mermaid-view
Implementing units
- impl:protocol.mermaid-view · src/projections/mermaid.ts:14
- impl:protocol.mermaid-view-cli · src/cli/mermaid-command.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.mermaid-view
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault
Implementing units
- impl:protocol.vault-command · src/cli/vault-command.ts:215
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused, spec:consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, 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.obsidian-vault.notes.case-collision-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.case-collision-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.entry-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.entry-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.term-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.term-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.unresolved-mention-stays
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.unresolved-mention-stays
Packs: pack:obsidian-vault-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:18
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.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.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.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
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.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:18
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.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.wholesale-view-rewrite.build-invalidates-view
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.build-invalidates-view
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.failed-run-view-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.failed-run-view-removed
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.late-stale-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.late-stale-page
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.stale-page-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.stale-page-removed
Packs: pack:self-hosting-v1
spec:validation.architecture-constraints.forbidden-layer-pair
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.forbidden-layer-pair
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.isolated-context-as-rule
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.isolated-context-as-rule
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.unstated-layer-unclassified
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering.composed-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.composed-location
Packs: pack:self-hosting-v1
spec:validation.diagnostic-rendering.table-cell-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
spec:validation.external-registers.uncited-on-request
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.uncited-on-request
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.external-registers.unknown-and-retired
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.pack-coherence.incoherent-aggregate
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1

Distance 7

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.intent-composition.proposal.memo.shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.obsidian-vault.changed-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.changed-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-keeps-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.fresh-vault
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.fresh-vault
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.hidden-file-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.hidden-file-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.interrupted-run-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.interrupted-run-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.person-notes-survive
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.person-notes-survive
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.unknown-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.unknown-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.vault-in-build-path-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-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.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.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.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.vault-owned-folder
Implementing units
None.
Referencing units
- impl:protocol.vault-command · src/cli/vault-command.ts:215
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Enabled verifiers: None
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	Markdown is the default Spec carrier `spec:decisions.carrier-ruling` · resolves	declared	None	None
decidedBy · outgoing	Spec extensions identify the carrier without colliding with tests `spec:decisions.sdp-ts-extension` · resolves	declared	None	None
dependsOn · outgoing	The Markdown parser reifies the ruled subset `spec:carrier.markdown-parser` · resolves	declared	None	None
dependsOn · incoming	The Protocol authors and validates itself `spec:protocol.self-hosting` · resolves	declared	the self-hosted corpus uses the Markdown carrier	None
refines · incoming	The Markdown envelope is explicit and bounded `spec:carrier.envelope-contract` · resolves	declared	None	None
refines · incoming	Gherkin authoring enters the one graph `spec:carrier.gherkin-authoring` · resolves	declared	None	None
refines · incoming	The Markdown body accepts one closed form per section `spec:carrier.markdown-body-grammar` · resolves	declared	None	None
refines · incoming	The Markdown parser reifies the ruled subset `spec:carrier.markdown-parser` · resolves	declared	None	None
refines · incoming	Every prose value has one typed owner `spec:carrier.prose-ownership-rule` · resolves	declared	None	None
refines · incoming	A TypeScript-carried Spec can be converted to Markdown `spec:carrier.sdp-import` · resolves	declared	None	None
refines · incoming	Slot notation declares, binds, and refuses to guess `spec:carrier.slot-notation` · resolves	declared	None	None
refines · incoming	Markdown is the default Spec carrier `spec:decisions.carrier-ruling` · resolves	declared	None	None
refines · incoming	Spec extensions identify the carrier without colliding with tests `spec:decisions.sdp-ts-extension` · resolves	declared	None	None

Bindings

Implementation binding: present

impl:protocol.markdown-parser · reifies Markdown Specs and Packs through one carrier boundary · src/extract/markdown.ts:37 · role extractor · component component:protocol.extract · layer application · context protocol

Design reference: none

Verifier binding: present

test:protocol.markdown-authoring · TypeScript and Markdown twins derive one graph, verifying Markdown authoring · anchored · test/import-round-trip.test.ts:22 · test anchor

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifier bindings

External run evidence from test/import-round-trip.test.ts

Run 2: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/import-round-trip.test.ts`