The Markdown body accepts one closed form per section

spec:carrier.markdown-body-grammar

Use Case / Behavior · featureready floor ready

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

specs/carrier/markdown-body-grammar.sdp.md

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

Intent

problem: Without a stated body grammar, an author learns the default carrier by probing refusals and keeps a private copy that drifts when the parser changes.
outcome: State what each section of a Markdown Spec body accepts and refuses, and name the Spec that owns each field's values, so an author can write a lawful carrier from this Spec and the Specs it depends on.

Behavior

The world writes two Markdown carriers in one extraction root, the refused carrier and a healthy sibling. The sibling is a story-altitude behavior Spec stating idea, with no relations and an Intent outcome.

rule line 31 · specs/carrier/markdown-body-grammar.sdp.md:31: The body opens with one H1 title. Text between the title and the first H2 is the Spec's narrative, and narrative accepts plain paragraphs only.
rule.closedOwners line 32 · specs/carrier/markdown-body-grammar.sdp.md:32: Each H2 names one section owner from a closed set of Intent, Behavior, Rule, Workflow, Contract, Example space, Constraints, Model, Design, Decision, UI, and Verification — manual, reviewed, contract, or executable, spelled with the em dash. An unrecognized heading is refused, with the nearest known name offered when it lies within edit distance two; an owner appears at most once, and a Spec carries at most one of Behavior, Rule, Workflow, and Contract.
spec:carrier.markdown-body-grammar.second-primary-owner-refused · enabled, spec:carrier.markdown-body-grammar.unrecognized-heading-refused · enabled
rule.sectionProse line 33 · specs/carrier/markdown-body-grammar.sdp.md:33: A section holds optional leading paragraphs and then structured content. Prose after the first list entry, fence, or H3 is refused as unowned. The primary behavior owner, whichever of Behavior, Rule, Workflow, or Contract the Spec uses, and Example space share one description: leading prose may stand under one of them, and prose under both is refused.
spec:carrier.markdown-body-grammar.shared-description-refused · enabled, spec:carrier.markdown-body-grammar.trailing-prose-refused · enabled
rule.oneLineEntries line 34 · specs/carrier/markdown-body-grammar.sdp.md:34: A list entry is one line that starts with a hyphen and a space. A wrapped or indented continuation, a nested list, a star or plus bullet, and an ordered list are refused, except the field lines an open question may carry, each indented by exactly two spaces directly under its question.
spec:carrier.markdown-body-grammar.continuation-line-refused · enabled, spec:carrier.markdown-body-grammar.ordered-list-refused · enabled
rule.blockShapes line 35 · specs/carrier/markdown-body-grammar.sdp.md:35: The refused block shapes are read line by line in narrative, section prose, and list text: a line that opens with a pipe, a block-quote opener, whitespace, a star or plus bullet, an ordered-list prefix, or a <, and a line that is only a thematic break or a setext underline. A table without outer pipes is prose to the parser.
spec:carrier.markdown-body-grammar.table-refused · enabled
rule.rawHtml line 36 · specs/carrier/markdown-body-grammar.sdp.md:36: Raw HTML is refused in narrative, section prose, and list text, and is not scanned in the H1 title or inside fence steps. The test matches an HTML tag with its closing >, a comment delimiter, a declaration, or a processing instruction, so a < b and an unclosed Promise<T pass. The test ignores matched code spans, as ruled by spec:carrier.inline-code-spans.
spec:carrier.markdown-body-grammar.raw-html-refused · enabled
rule.closedFences line 37 · specs/carrier/markdown-body-grammar.sdp.md:37: The only fences are gwt and gwt-vocabulary. A fence holds Given steps, exactly one When step, and Then steps in that order, with no blank or indented line, and its slot syntax is spec:carrier.slot-notation. A step may open with a step key marker after its keyword, under spec:carrier.step-keys. An example's Intent owns one gwt fence that closes the section. Example space owns optional leading prose, which counts as the shared description above, and then exactly one gwt-vocabulary fence, with no list entry or H3.
spec:carrier.markdown-body-grammar.foreign-fence-refused · enabled
rule.singleH3 line 38 · specs/carrier/markdown-body-grammar.sdp.md:38: Intent accepts actor, problem, outcome, and value once each and risk and assumption repeatedly. One ### Open questions heading may follow those fields, each of its entries opens with [blocking] or [non-blocking], optionally with a lower-camel key after one space and # inside the brackets, unique within the Spec, and it is the only H3 any section accepts. Under a question's line may follow its decider, links, provisional and trigger fields, one line each and each at most once; their values follow spec:model.open-question-fields.
spec:carrier.markdown-body-grammar.h3-refused · enabled
rule line 39 · specs/carrier/markdown-body-grammar.sdp.md:39: Behavior entries are keyed rule or flow. Rule and Contract entries are plain bullets, each one rule. Workflow entries are plain bullets, each one flow, plus keyed rule entries. Any entry of the primary behavior owner may open its text, after its label where it has one, with a rule key marker, [#key] and a space, and the key follows spec:model.rule-keys. Verification entries are plain criteria.
rule.keyedEntryShape line 40 · specs/carrier/markdown-body-grammar.sdp.md:40: A keyed entry is one ASCII word, a colon, and a space before its value. Where a section takes plain bullets, a bullet of that shape is read as a key and refused unless the section names that key, so a plain bullet never opens with a single word and a colon.
spec:carrier.markdown-body-grammar.keyed-bullet-refused · enabled
rule.constraintFields line 41 · specs/carrier/markdown-body-grammar.sdp.md:41: Constraints accept one flat entry of statement, flavor, target, and measurableBy, each at most once, with statement required and no prose. A second entry is refused by this carrier.
spec:carrier.markdown-body-grammar.repeated-field-refused · enabled
rule.constraintEntryCount line 42 · specs/carrier/markdown-body-grammar.sdp.md:42: The TypeScript carrier may give one Spec several constraint entries, and the evidence clauses read every entry a Spec carries, whichever carrier wrote it. A constrainedBy edge names the constraint Spec whole, whatever its entry count, so a Markdown author with two measurable targets writes two constraint Specs.
spec:carrier.markdown-body-grammar.repeated-field-refused · enabled, spec:validation.kind-evidence.second-entry-untargeted · enabled
rule.modelEntries line 43 · specs/carrier/markdown-body-grammar.sdp.md:43: A Model entry is a bold term, the em dash character with a space on each side, and the definition, which may open with a term key marker under spec:model.term-addresses; a hyphen is refused, terms are unique, and an integer-like term is refused. Decision accepts context and decision once each and rationale, alternative, and consequence repeatedly.
spec:carrier.markdown-body-grammar.integer-term-refused · enabled
rule.openSectionKeys line 44 · specs/carrier/markdown-body-grammar.sdp.md:44: Design and UI are open sections. Each entry is a lower-camel ASCII key, unique within its section, and a one-line value; the same key may appear once under Design and once under UI.
spec:carrier.markdown-body-grammar.plain-bullet-refused · enabled
rule line 45 · specs/carrier/markdown-body-grammar.sdp.md:45: The keys implemented, hasVerifier, observed, claim, deliveryFacts, nodeType, specKind, satisfies, verifies, belongsTo, and models are refused in every keyed section, under spec:validation.authored-honesty. In Design and UI, an otherwise lawful lower-camel key outside this set is ordinary content, including dependsOn, references, uses and memberOf; it creates no edge. Every closed section still admits only its own fields.
rule line 46 · specs/carrier/markdown-body-grammar.sdp.md:46: A refused construct excludes its whole carrier from the graph, and healthy sibling carriers survive.

4 unkeyed rules.

Verifying examples

A bullet wrapped onto a second line is refused · spec:carrier.markdown-body-grammar.continuation-line-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a bullet wrapped onto an indented second line"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 15}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a bullet wrapped onto an indented second line"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 15}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A fence other than gwt or gwt-vocabulary is refused · spec:carrier.markdown-body-grammar.foreign-fence-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a ts fence"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "fences must be exact gwt or gwt-vocabulary fences"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a ts fence"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "fences must be exact gwt or gwt-vocabulary fences"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

An H3 under Design is refused · spec:carrier.markdown-body-grammar.h3-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "an H3 heading"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open sections do not accept an H3 or fence"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "an H3 heading"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open sections do not accept an H3 or fence"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

An integer-like Model term is refused · spec:carrier.markdown-body-grammar.integer-term-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Model"} section holds {construct: "an integer-like term"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "model terms must not be integer-like"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Model"} section holds {construct: "an integer-like term"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "model terms must not be integer-like"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A keyed bullet under a plain-bullet owner is refused · spec:carrier.markdown-body-grammar.keyed-bullet-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Rule"} section holds {construct: "a bullet opening with one word and a colon"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/unrecognized-property"} whose message contains {reason: "is not accepted"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Rule"} section holds {construct: "a bullet opening with one word and a colon"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/unrecognized-property"} whose message contains {reason: "is not accepted"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

An ordered list is refused · spec:carrier.markdown-body-grammar.ordered-list-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Contract"} section holds {construct: "an ordered list item"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Contract"} section holds {construct: "an ordered list item"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A plain bullet under an open section is refused · spec:carrier.markdown-body-grammar.plain-bullet-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a plain bullet"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open section keys must be lower-camel ASCII"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a plain bullet"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "open section keys must be lower-camel ASCII"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

Raw HTML outside a code span is refused · spec:carrier.markdown-body-grammar.raw-html-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a line break tag"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "raw HTML is unsupported"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a line break tag"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "raw HTML is unsupported"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A repeated single-valued field is refused · spec:carrier.markdown-body-grammar.repeated-field-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Constraints"} section holds {construct: "a second statement field"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "is authored more than once"} at line {line: 15}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Constraints"} section holds {construct: "a second statement field"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "is authored more than once"} at line {line: 15}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A second primary owner is refused · spec:carrier.markdown-body-grammar.second-primary-owner-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Rule"} section holds {construct: "a plain bullet after a Behavior section"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "a single-valued Markdown owner is authored more than once"} at line {line: 16}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Rule"} section holds {construct: "a plain bullet after a Behavior section"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "a single-valued Markdown owner is authored more than once"} at line {line: 16}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A second description across Behavior and Example space is refused · spec:carrier.markdown-body-grammar.shared-description-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Example space"} section holds {construct: "a description when Behavior already has one"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "behavior description has more than one owner"} at line {line: 19}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Example space"} section holds {construct: "a description when Behavior already has one"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "behavior description has more than one owner"} at line {line: 19}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A table under a section is refused · spec:carrier.markdown-body-grammar.table-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a table row"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Design"} section holds {construct: "a table row"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/invalid-markdown-structure"} whose message contains {reason: "nested or unsupported Markdown structure"} at line {line: 14}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

Prose after structured content is refused · spec:carrier.markdown-body-grammar.trailing-prose-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a paragraph after the first bullet"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/unowned-prose"} whose message contains {reason: "prose after structured content has no owner"} at line {line: 16}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Behavior"} section holds {construct: "a paragraph after the first bullet"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/unowned-prose"} whose message contains {reason: "prose after structured content has no owner"} at line {line: 16}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

An unrecognized heading is refused with a suggestion · spec:carrier.markdown-body-grammar.unrecognized-heading-refused · ready floor ready

Executable Spec

Given a Markdown Spec carrier whose {owner: "Behaviour"} section holds {construct: "a rule bullet"}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId: "extract/unrecognized-heading"} whose message contains {reason: "did you mean"} at line {line: 13}
Then the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Given

a Markdown Spec carrier whose {owner: "Behaviour"} section holds {construct: "a rule bullet"}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId: "extract/unrecognized-heading"} whose message contains {reason: "did you mean"} at line {line: 13}
the healthy sibling {siblingId: "spec:probe.sibling"} stays in the graph

Composing needs the script.

Open example

A constraint whose second entry has no target is not complete · spec:validation.kind-evidence.second-entry-untargeted · ready floor ready

Executable Spec

Given the graph holds a {kind: "constraint"} spec {specId: "spec:probe.second-entry-untargeted"} stating readiness {readiness: "defined"}
Given its only evidence is {evidence: "a targeted constraints entry and an untargeted second entry"}
When the graph is validated
Then the report names {findingId: "honesty/readiness-floor"} at severity {severity: "error"}
Then the finding names the unmet floor clause {clauseId: "kind-evidence-complete"}
Then the report holds {errorCount: 1} errors

Given

the graph holds a {kind: "constraint"} spec {specId: "spec:probe.second-entry-untargeted"} stating readiness {readiness: "defined"}
its only evidence is {evidence: "a targeted constraints entry and an untargeted second entry"}

When

the graph is validated

Then

the report names {findingId: "honesty/readiness-floor"} at severity {severity: "error"}
the finding names the unmet floor clause {clauseId: "kind-evidence-complete"}
the report holds {errorCount: 1} errors

Composing needs the script.

Open example

Example space

Given a Markdown Spec carrier whose {owner:string} section holds {construct:string}
When the extractor reifies the carrier
Then the carrier is refused whole with the finding {findingId:string} whose message contains {reason:string} at line {line:number}
Then the healthy sibling {siblingId:string} stays in the graph

Verification

Verifier bindings

spec:carrier.markdown-body-grammar.continuation-line-refused · A bullet wrapped onto a second line is refused · declared · example enabled · specs/carrier/markdown-body-grammar.continuation-line-refused.sdp.md

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

Test anchors: 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. Specs verified by those bindings: spec:carrier.markdown-body-grammar, 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.

Run 1: external run evidence from vitest 4.1.10

Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

Name	Suite	Result	Duration
executes the bound example against a fresh world	A table under a section is refused (spec:carrier.markdown-body-grammar.table-refused)	passed	18.95 ms
executes the bound example against a fresh world	A bullet wrapped onto a second line is refused (spec:carrier.markdown-body-grammar.continuation-line-refused)	passed	3.89 ms
executes the bound example against a fresh world	An ordered list is refused (spec:carrier.markdown-body-grammar.ordered-list-refused)	passed	2.85 ms
executes the bound example against a fresh world	A fence other than gwt or gwt-vocabulary is refused (spec:carrier.markdown-body-grammar.foreign-fence-refused)	passed	2.72 ms
executes the bound example against a fresh world	An H3 under Design is refused (spec:carrier.markdown-body-grammar.h3-refused)	passed	5.54 ms
executes the bound example against a fresh world	A plain bullet under an open section is refused (spec:carrier.markdown-body-grammar.plain-bullet-refused)	passed	2.46 ms
executes the bound example against a fresh world	A keyed bullet under a plain-bullet owner is refused (spec:carrier.markdown-body-grammar.keyed-bullet-refused)	passed	2.19 ms
executes the bound example against a fresh world	Prose after structured content is refused (spec:carrier.markdown-body-grammar.trailing-prose-refused)	passed	1.9 ms
executes the bound example against a fresh world	A repeated single-valued field is refused (spec:carrier.markdown-body-grammar.repeated-field-refused)	passed	2.37 ms
executes the bound example against a fresh world	An unrecognized heading is refused with a suggestion (spec:carrier.markdown-body-grammar.unrecognized-heading-refused)	passed	6.39 ms
executes the bound example against a fresh world	A second primary owner is refused (spec:carrier.markdown-body-grammar.second-primary-owner-refused)	passed	5.58 ms
executes the bound example against a fresh world	Raw HTML outside a code span is refused (spec:carrier.markdown-body-grammar.raw-html-refused)	passed	2.05 ms
executes the bound example against a fresh world	A second description across Behavior and Example space is refused (spec:carrier.markdown-body-grammar.shared-description-refused)	passed	2.2 ms
executes the bound example against a fresh world	An integer-like Model term is refused (spec:carrier.markdown-body-grammar.integer-term-refused)	passed	2.57 ms

spec:carrier.markdown-body-grammar.foreign-fence-refused · A fence other than gwt or gwt-vocabulary is refused · declared · example enabled · specs/carrier/markdown-body-grammar.foreign-fence-refused.sdp.md
spec:carrier.markdown-body-grammar.h3-refused · An H3 under Design is refused · declared · example enabled · specs/carrier/markdown-body-grammar.h3-refused.sdp.md
spec:carrier.markdown-body-grammar.integer-term-refused · An integer-like Model term is refused · declared · example enabled · specs/carrier/markdown-body-grammar.integer-term-refused.sdp.md
spec:carrier.markdown-body-grammar.keyed-bullet-refused · A keyed bullet under a plain-bullet owner is refused · declared · example enabled · specs/carrier/markdown-body-grammar.keyed-bullet-refused.sdp.md
spec:carrier.markdown-body-grammar.ordered-list-refused · An ordered list is refused · declared · example enabled · specs/carrier/markdown-body-grammar.ordered-list-refused.sdp.md
spec:carrier.markdown-body-grammar.plain-bullet-refused · A plain bullet under an open section is refused · declared · example enabled · specs/carrier/markdown-body-grammar.plain-bullet-refused.sdp.md
spec:carrier.markdown-body-grammar.raw-html-refused · Raw HTML outside a code span is refused · declared · example enabled · specs/carrier/markdown-body-grammar.raw-html-refused.sdp.md
spec:carrier.markdown-body-grammar.repeated-field-refused · A repeated single-valued field is refused · declared · example enabled · specs/carrier/markdown-body-grammar.repeated-field-refused.sdp.md
spec:carrier.markdown-body-grammar.second-primary-owner-refused · A second primary owner is refused · declared · example enabled · specs/carrier/markdown-body-grammar.second-primary-owner-refused.sdp.md
spec:carrier.markdown-body-grammar.shared-description-refused · A second description across Behavior and Example space is refused · declared · example enabled · specs/carrier/markdown-body-grammar.shared-description-refused.sdp.md
spec:carrier.markdown-body-grammar.table-refused · A table under a section is refused · declared · example enabled · specs/carrier/markdown-body-grammar.table-refused.sdp.md
spec:carrier.markdown-body-grammar.trailing-prose-refused · Prose after structured content is refused · declared · example enabled · specs/carrier/markdown-body-grammar.trailing-prose-refused.sdp.md
spec:carrier.markdown-body-grammar.unrecognized-heading-refused · An unrecognized heading is refused with a suggestion · declared · example enabled · specs/carrier/markdown-body-grammar.unrecognized-heading-refused.sdp.md

spec:validation.kind-evidence.second-entry-untargeted · A constraint whose second entry has no target is not complete · declared · example enabled · specs/validation/kind-evidence.second-entry-untargeted.sdp.md

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

Run 1: external run evidence from vitest 4.1.10

Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

Name	Suite	Result	Duration
executes the bound example against a fresh world	A scoped Spec with no relation names the relation clause (spec:validation.readiness-floor.unrelated-scoped-spec)	passed	6.49 ms
executes the bound example against a fresh world	A blocking open question holds a Spec below defined (spec:validation.readiness-floor.blocking-open-question)	passed	1.25 ms
executes the bound example against a fresh world	Constraints alone stop short of complete behavior evidence (spec:validation.kind-evidence.constraints-alone)	passed	1.16 ms
executes the bound example against a fresh world	A constraint without a machine-readable target is not complete (spec:validation.kind-evidence.untargeted-constraint)	passed	0.96 ms
executes the bound example against a fresh world	An empty promoted child confers no evidence (spec:validation.kind-evidence.empty-promoted-child)	passed	0.8 ms
executes the bound example against a fresh world	A disconnected Spec warns and fails nothing (spec:validation.warn-level-signals.orphan-signal)	passed	1.82 ms
executes the bound example against a fresh world	A ready Spec without a verifier warns and fails nothing (spec:validation.warn-level-signals.ready-gap-signal)	passed	0.81 ms
executes the bound example against a fresh world	An unrelated missing target is a bare conformance error (spec:validation.referential-integrity.dangling-target)	passed	0.8 ms
executes the bound example against a fresh world	A unique near miss earns a did-you-mean suggestion (spec:validation.referential-integrity.did-you-mean)	passed	0.71 ms
executes the bound example against a fresh world	A delivery fact smuggled into a section is refused (spec:validation.authored-honesty.section-authored-fact)	passed	0.8 ms
executes the bound example against a fresh world	A stated delivery fact no binding earns is refused (spec:validation.authored-honesty.unearned-stated-fact)	passed	0.73 ms
executes the bound example against a fresh world	A binding edge cannot borrow the declared claim (spec:validation.claim-separation.collapsed-edge-claim)	passed	0.92 ms
executes the bound example against a fresh world	An unratified kind fails closed instead of reaching the floor (spec:validation.claim-separation.unratified-descriptor)	passed	0.49 ms
executes the bound example against a fresh world	A declared verifier no test binds confers nothing (spec:validation.verification-linkage.unbound-example)	passed	2.2 ms
executes the bound example against a fresh world	An oracle targeting a Spec with no example space is refused (spec:validation.verification-linkage.unresolved-oracle)	passed	0.68 ms
executes the bound example against a fresh world	A rule owning an example space accepts an oracle (spec:validation.oracle-target-eligibility.rule-space-accepted)	passed	0.94 ms
executes the bound example against a fresh world	A target without an example space refuses an oracle (spec:validation.oracle-target-eligibility.missing-space-refused)	passed	0.42 ms
executes the bound example against a fresh world	A repeated member and a non-model modelRef are both named (spec:validation.pack-coherence.incoherent-aggregate)	passed	3.58 ms
executes the bound example against a fresh world	One report carries both families and claims neither as its own (spec:validation.two-check-families.split-report)	passed	0.69 ms
executes the bound example against a fresh world	A Spec shaped by a replaced decision warns once and fails nothing (spec:validation.superseded-decision-signal.replaced-ruling-warns)	passed	1.73 ms
executes the bound example against a fresh world	The warning names the decision at the end of a chain of replacements (spec:validation.superseded-decision-signal.chain-end-named)	passed	0.72 ms
executes the bound example against a fresh world	A replacement chain that branches names every end (spec:validation.superseded-decision-signal.branch-names-every-end)	passed	0.85 ms
executes the bound example against a fresh world	A chain of replacements that closes on itself is named and fails nothing (spec:validation.superseded-decision-signal.closed-chain-named)	passed	0.82 ms
executes the bound example against a fresh world	A dependency on a replaced decision raises no warning (spec:validation.superseded-decision-signal.dependency-unread)	passed	0.53 ms
executes the bound example against a fresh world	A superseded decision is not warned for the decision it names (spec:validation.superseded-decision-signal.superseded-subject-silent)	passed	0.63 ms
executes the bound example against a fresh world	A replacement still below ready is named as it stands (spec:validation.superseded-decision-signal.replacement-below-ready-named)	passed	0.73 ms
executes the bound example against a fresh world	A decision still decided by the record it replaces warns (spec:validation.superseded-decision-signal.live-replacement-warns)	passed	0.56 ms
executes the bound example against a fresh world	A chain of replacements that reaches an end and a loop names both (spec:validation.superseded-decision-signal.end-and-loop-named)	passed	0.72 ms
deduplicates stale pairs, names self loops and leaves absent locations absent	not recorded	passed	0.9 ms
warns once for each stale decision and ignores unresolved and wrongly typed replacements	not recorded	passed	2.06 ms
locates each subject separately when two Specs name the same stale decision	not recorded	passed	0.51 ms
checks branch messages independently of the example id	not recorded	passed	0.56 ms
checks the extracted 'message' Design entry	not recorded	passed	1.74 ms
checks the extracted 'closedChainMessage' Design entry	not recorded	passed	0.56 ms
checks the extracted 'mixedChainMessage' Design entry	not recorded	passed	0.49 ms
executes the bound example against a fresh world	A constraint whose second entry has no target is not complete (spec:validation.kind-evidence.second-entry-untargeted)	passed	0.61 ms

Example space

owner · string · declared by a Markdown Spec carrier whose {owner} section holds {construct}
construct · string · declared by a Markdown Spec carrier whose {owner} section holds {construct}

Bound points

Example	owner	construct
spec:carrier.markdown-body-grammar.continuation-line-refused	`"Behavior"`	`"a bullet wrapped onto an indented second line"`
spec:carrier.markdown-body-grammar.foreign-fence-refused	`"Design"`	`"a ts fence"`
spec:carrier.markdown-body-grammar.h3-refused	`"Design"`	`"an H3 heading"`
spec:carrier.markdown-body-grammar.integer-term-refused	`"Model"`	`"an integer-like term"`
spec:carrier.markdown-body-grammar.keyed-bullet-refused	`"Rule"`	`"a bullet opening with one word and a colon"`
spec:carrier.markdown-body-grammar.ordered-list-refused	`"Contract"`	`"an ordered list item"`
spec:carrier.markdown-body-grammar.plain-bullet-refused	`"Design"`	`"a plain bullet"`
spec:carrier.markdown-body-grammar.raw-html-refused	`"Behavior"`	`"a line break tag"`
spec:carrier.markdown-body-grammar.repeated-field-refused	`"Constraints"`	`"a second statement field"`
spec:carrier.markdown-body-grammar.second-primary-owner-refused	`"Rule"`	`"a plain bullet after a Behavior section"`
spec:carrier.markdown-body-grammar.shared-description-refused	`"Example space"`	`"a description when Behavior already has one"`
spec:carrier.markdown-body-grammar.table-refused	`"Design"`	`"a table row"`
spec:carrier.markdown-body-grammar.trailing-prose-refused	`"Behavior"`	`"a paragraph after the first bullet"`
spec:carrier.markdown-body-grammar.unrecognized-heading-refused	`"Behaviour"`	`"a rule bullet"`

Oracle binding: none

Coverage

Unbound

owner: None
construct: None

Given

a Markdown Spec carrier whose {owner:string} section holds {construct:string}

When

the extractor reifies the carrier

Then

the carrier is refused whole with the finding {findingId:string} whose message contains {reason:string} at line {line:number}
the healthy sibling {siblingId:string} stays in the graph

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:carrier.markdown-body-grammar

The diagram as text

spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section · declared Spec
spec:carrier.inline-code-spans: Inline code is content, never markup · 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.inline-code-spans.description: Code spans in section descriptions are literal · declared Spec
spec:carrier.inline-code-spans.list: Code spans in list entries are literal · declared Spec
spec:carrier.inline-code-spans.narrative: Code spans in a Spec narrative are literal · declared Spec
spec:carrier.inline-code-spans.pack: Code spans in Pack framing are literal · declared Spec
spec:validation.kind-evidence.second-entry-untargeted: A constraint whose second entry has no target is not complete · declared Spec
spec:carrier.markdown-authoring: Markdown authoring enters the one graph · declared Spec
spec:validation.kind-evidence: Each kind carries its own evidence · declared Spec
impl:protocol.inline-code-spans: scans raw HTML outside matched code spans · anchored code · src/extract/markdown-inline-code.ts:4
impl:protocol.markdown-body-grammar: maps Markdown body content to typed prose owners · anchored code · src/extract/markdown-body.ts:120
impl:protocol.markdown-content: decodes located Markdown entries and typed fences · anchored code · src/extract/markdown-body-content.ts:7
oracle:protocol.inline-code-spans: expected inline code outcome by authored location · anchored oracle binding · test/self-hosting-inline-code.test.ts:74
test:protocol.inline-code-spans.description: verifies inline code in section descriptions · anchored test binding · binding present · test/self-hosting-inline-code.test.ts:219
test:protocol.inline-code-spans.list: verifies inline code in list entries · anchored test binding · binding present · test/self-hosting-inline-code.test.ts:227
test:protocol.inline-code-spans.narrative: verifies inline code in Spec narrative · anchored test binding · binding present · test/self-hosting-inline-code.test.ts:211
test:protocol.inline-code-spans.pack: verifies inline code in Pack framing · anchored test binding · binding present · test/self-hosting-inline-code.test.ts:235
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-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
spec:carrier.inline-code-spans refines spec:carrier.markdown-body-grammar · declared
spec:carrier.inline-code-spans.description refines spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.description verifies spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.list refines spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.list verifies spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.narrative refines spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.narrative verifies spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.pack refines spec:carrier.inline-code-spans · declared
spec:carrier.inline-code-spans.pack verifies spec:carrier.inline-code-spans · 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: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
impl:protocol.inline-code-spans satisfies spec:carrier.inline-code-spans · anchored
impl:protocol.markdown-body-grammar satisfies spec:carrier.markdown-body-grammar · anchored
impl:protocol.markdown-content satisfies spec:carrier.markdown-body-grammar · anchored
oracle:protocol.inline-code-spans models spec:carrier.inline-code-spans · anchored
test:protocol.inline-code-spans.description verifies spec:carrier.inline-code-spans.description · anchored
test:protocol.inline-code-spans.list verifies spec:carrier.inline-code-spans.list · anchored
test:protocol.inline-code-spans.narrative verifies spec:carrier.inline-code-spans.narrative · anchored
test:protocol.inline-code-spans.pack verifies spec:carrier.inline-code-spans.pack · anchored
test:protocol.kind-evidence.second-entry-untargeted verifies spec:validation.kind-evidence.second-entry-untargeted · 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

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-body-grammar

flowchart TB
  n0["Inline code is content, never markup · declared Spec · spec:carrier.inline-code-spans"]
  n1["The Markdown body accepts one closed form per section · declared Spec · spec:carrier.markdown-body-grammar"]
  n2["19 verifying examples · declared; 19 test bindings · anchored, folded"]
  %% folded diagram.spec:carrier.markdown-body-grammar.requirement.fold.verifies.incoming.declared: 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.inline-code-spans.description, spec:carrier.inline-code-spans.list, spec:carrier.inline-code-spans.narrative, spec:carrier.inline-code-spans.pack, spec:validation.kind-evidence.second-entry-untargeted, test:protocol.inline-code-spans.description, test:protocol.inline-code-spans.list, test:protocol.inline-code-spans.narrative, test:protocol.inline-code-spans.pack, 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
  n3["scans raw HTML outside matched code spans · anchored code · impl:protocol.inline-code-spans"]
  n4["maps Markdown body content to typed prose owners · anchored code · impl:protocol.markdown-body-grammar"]
  n5["decodes located Markdown entries and typed fences · anchored code · impl:protocol.markdown-content"]
  n6["expected inline code outcome by authored location · anchored oracle binding · oracle:protocol.inline-code-spans"]
  n7["Markdown authoring enters the one graph · declared Spec · spec:carrier.markdown-authoring"]
  n8["Each kind carries its own evidence · declared Spec · spec:validation.kind-evidence"]
  n2 -->|"refines, verifies · declared (4 per relation)"| n0
  %% count: 4; diagram.spec:carrier.markdown-body-grammar.requirement.fold.verifies.incoming.declared to spec:carrier.inline-code-spans
  n2 -->|"refines (14), verifies (15) · declared"| n1
  n2 -->|"refines, verifies · declared"| n8
  %% count: 1; diagram.spec:carrier.markdown-body-grammar.requirement.fold.verifies.incoming.declared to spec:validation.kind-evidence
  n3 -->|"satisfies · anchored"| n0
  %% count: 1; impl:protocol.inline-code-spans to spec:carrier.inline-code-spans
  n4 -->|"satisfies · anchored"| n1
  %% count: 1; impl:protocol.markdown-body-grammar to spec:carrier.markdown-body-grammar
  n5 -->|"satisfies · anchored"| n1
  %% count: 1; impl:protocol.markdown-content to spec:carrier.markdown-body-grammar
  n6 -->|"models · anchored"| n0
  %% count: 1; oracle:protocol.inline-code-spans to spec:carrier.inline-code-spans
  n0 -->|"refines · declared"| n1
  %% count: 1; spec:carrier.inline-code-spans to spec:carrier.markdown-body-grammar
  n1 -->|"refines · declared"| n7
  %% count: 1; spec:carrier.markdown-body-grammar 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.
Prose belongs to typed graph owners
Free prose is stored as a narrative or a description on its typed owner; unowned prose is refused.

Runtime

component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · 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:261 · layer domain · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
impl:protocol.markdown-body-grammar · maps Markdown body content to typed prose owners · src/extract/markdown-body.ts:120
Component: component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · context protocol
Uses
None.
impl:protocol.markdown-content · decodes located Markdown entries and typed fences · src/extract/markdown-body-content.ts:7
Component: component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · 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-body-grammar

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

The diagram as text

spec:carrier.inline-code-spans: Inline code is content, never markup
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-body-grammar.continuation-line-refused: A bullet wrapped onto a second line is refused
spec:carrier.markdown-body-grammar.foreign-fence-refused: A fence other than gwt or gwt-vocabulary is refused
spec:carrier.markdown-body-grammar.h3-refused: An H3 under Design is refused
spec:carrier.markdown-body-grammar.integer-term-refused: An integer-like Model term is refused
spec:carrier.markdown-body-grammar.keyed-bullet-refused: A keyed bullet under a plain-bullet owner is refused
spec:carrier.markdown-body-grammar.ordered-list-refused: An ordered list is refused
spec:carrier.markdown-body-grammar.plain-bullet-refused: A plain bullet under an open section is refused
spec:carrier.markdown-body-grammar.raw-html-refused: Raw HTML outside a code span is refused
spec:carrier.markdown-body-grammar.repeated-field-refused: A repeated single-valued field is refused
spec:carrier.markdown-body-grammar.second-primary-owner-refused: A second primary owner is refused
spec:carrier.markdown-body-grammar.shared-description-refused: A second description across Behavior and Example space is refused
spec:carrier.markdown-body-grammar.table-refused: A table under a section is refused
spec:carrier.markdown-body-grammar.trailing-prose-refused: Prose after structured content is refused
spec:carrier.markdown-body-grammar.unrecognized-heading-refused: An unrecognized heading is refused with a suggestion
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.slot-notation: Slot notation declares, binds, and refuses to guess
spec:carrier.step-keys: An example step may carry a key that survives rewording
spec:consumers.adopter-on-ramp: An adopter learns graph homes, carrier grammar and shipped paths from the on-ramps
spec:consumers.spec-studio.glossary-page: The glossary page lists every term the corpus's Specs define
spec:decisions.carrier-ruling: Markdown is the default Spec carrier
spec:decisions.prose-ownership: Prose belongs to typed graph owners
spec:model.open-question-fields: An open question may name who decides it, its links, a provisional reading and a re-entry trigger
spec:model.open-question-keys: An open question may carry a key that addresses it
spec:model.rule-keys: A rule or flow entry may carry a key that addresses it
spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics
spec:model.term-addresses: A Model term may carry a key that addresses it
spec:validation.authored-honesty: Machine truth is never authored
spec:validation.kind-evidence: Each kind carries its own evidence
spec:validation.kind-evidence.second-entry-untargeted: A constraint whose second entry has no target is not complete
spec:carrier.markdown-body-grammar constrainedBy spec:validation.authored-honesty · declared
spec:carrier.markdown-body-grammar decidedBy spec:decisions.carrier-ruling · declared
spec:carrier.markdown-body-grammar decidedBy spec:decisions.prose-ownership · declared
spec:carrier.markdown-body-grammar dependsOn spec:carrier.slot-notation · declared
spec:carrier.markdown-body-grammar dependsOn spec:carrier.step-keys · declared — a fence step may open with a step key marker
spec:carrier.markdown-body-grammar dependsOn spec:model.open-question-fields · declared
spec:carrier.markdown-body-grammar dependsOn spec:model.rule-keys · declared
spec:carrier.markdown-body-grammar dependsOn spec:model.spec-sections · declared
spec:carrier.markdown-body-grammar dependsOn spec:model.term-addresses · declared — a Model definition may open with a term key marker
spec:carrier.markdown-body-grammar dependsOn spec:validation.kind-evidence · declared — its evidence clauses read every constraint entry a Spec carries, whichever carrier wrote it
spec:carrier.markdown-body-grammar refines spec:carrier.markdown-authoring · declared
spec:carrier.markdown-parser dependsOn spec:carrier.markdown-body-grammar · declared
spec:carrier.prose-ownership-rule dependsOn spec:carrier.markdown-body-grammar · declared
spec:consumers.adopter-on-ramp dependsOn spec:carrier.markdown-body-grammar · declared
spec:consumers.spec-studio.glossary-page dependsOn spec:carrier.markdown-body-grammar · declared — the page splits a Model entry into its term and definition as the body grammar reads it
spec:model.open-question-keys dependsOn spec:carrier.markdown-body-grammar · declared
spec:carrier.inline-code-spans refines spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.continuation-line-refused refines 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.h3-refused refines 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.keyed-bullet-refused refines 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.plain-bullet-refused refines 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.repeated-field-refused refines 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.shared-description-refused refines 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.trailing-prose-refused refines 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.continuation-line-refused verifies 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 verifies 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 verifies 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 verifies 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 verifies 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 verifies 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 verifies spec:carrier.markdown-body-grammar · declared
spec:carrier.markdown-body-grammar.unrecognized-heading-refused verifies spec:carrier.markdown-body-grammar · declared
spec:validation.kind-evidence.second-entry-untargeted verifies spec:carrier.markdown-body-grammar · declared

Rests on

refines · spec:carrier.markdown-authoring · stated ready, floor ready
dependsOn · spec:carrier.slot-notation · stated ready, floor ready
dependsOn · spec:carrier.step-keys · stated ready, floor ready
dependsOn · spec:model.open-question-fields · stated ready, floor ready
dependsOn · spec:model.rule-keys · stated ready, floor ready
dependsOn · spec:model.spec-sections · stated ready, floor ready
dependsOn · spec:model.term-addresses · stated ready, floor ready
dependsOn · spec:validation.kind-evidence · stated ready, floor ready
constrainedBy · spec:validation.authored-honesty · stated ready, floor ready
decidedBy · spec:decisions.carrier-ruling · stated ready, floor ready
decidedBy · spec:decisions.prose-ownership · stated ready, floor ready

Rested on by

Distance 1

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-parser
Implementing units
- impl:protocol.markdown-parser · src/extract/markdown.ts:37
- impl:protocol.static-reification · src/extract/reify.ts:2139
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:120
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
Packs: pack:self-hosting-v1
spec:consumers.adopter-on-ramp
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:167
- impl:protocol.adopter-on-ramp · test/skills.test.ts:712
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
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: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:1370
- impl:protocol.register-recipes · test/recipes.test.ts:2057
- 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:2139
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

Distance 2

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-authoring
Implementing units
- impl:protocol.markdown-parser · src/extract/markdown.ts:37
Referencing units
None.
Enabled verifiers: test:protocol.markdown-authoring
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring
Implementing units
- impl:protocol.markdown-pack-authoring · src/extract/markdown-pack.ts:117
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:33
- impl:protocol.static-reification · src/extract/reify.ts:2139
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:consumers.authoring-on-ramp
Implementing units
- impl:protocol.authoring-on-ramp · test/skills.test.ts:76
- impl:protocol.spec-scaffolder · src/cli/new-spec-command.ts:348
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:167
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:11
- impl:protocol.generate-command · src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.engine-provenance
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:182
- impl:protocol.engine-provenance-cli · src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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:13
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:51
- 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.spec-page
Implementing units
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption
Implementing units
- impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.prose-ownership
Implementing units
None.
Referencing units
None.
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:extraction.contract-declarations
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
- impl:protocol.register-recipes · test/recipes.test.ts:2057
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:extraction.entry-locations
Implementing units
- impl:protocol.entry-location-recipes · test/recipes.test.ts:5979
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.reader · src/reader/reader.ts:687
Referencing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Enabled verifiers: test:protocol.entry-locations
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-fields
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- 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.rule-keys
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
- impl:protocol.rule-exercises · src/validate/validators.ts:1479
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:validation.duplicate-ids
Implementing units
- impl:protocol.duplicate-id-exclusion · src/extract/index.ts:93
- impl:protocol.duplicate-ids · src/validate/validators.ts:263
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1

Distance 3

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:33
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:1323
- 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-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.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:261
- impl:protocol.slot-notation · src/notation/slots.ts:269
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:consumers.agent-surface.address-and-cycle-recipes
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3568
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:2057
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.delivery-session-on-ramp
Implementing units
- impl:protocol.delivery-session-on-ramp · test/skills.test.ts:83
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.design-review
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
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.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:66
Referencing units
None.
Enabled verifiers: 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:290
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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.shipped-protocol-corpus
Implementing units
- impl:protocol.shipped-protocol-corpus · test/package-smoke.test.ts:252
Referencing units
None.
Enabled verifiers: test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
spec:consumers.spec-studio.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:13
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:279
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.pack-page
Implementing units
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers
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:8
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:742
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.slice-page
Implementing units
- impl:protocol.studio-slice-page · src/projections/studio/pages/slice-page.ts:25
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.spec-page.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.core
Implementing units
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1693
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1
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.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:consumers.validate-watch
Implementing units
- impl:protocol.validate-watch · src/cli/validate-watch.ts:591
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-ruling
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: 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.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: 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:7008
- 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.pack-member-order
Implementing units
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:33
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.pack-coherence · src/validate/validators.ts:1102
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
- impl:protocol.pack-member-order · src/extract/derive.ts:153
- impl:protocol.reader · src/reader/reader.ts:687
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
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.relation-reasons
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- 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.term-addresses
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3568
- 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:1370
- impl:protocol.register-recipes · test/recipes.test.ts:2057
- 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: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
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
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:1370
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:1817
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 4

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.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:108
- impl:protocol.example-space-decoding · src/notation/example-space.ts:473
- impl:protocol.executable-contracts · src/codegen/contracts.ts:647
- 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.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:4769
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, 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:473
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.binding-language-views
Implementing units
- impl:protocol.binding-language-index-table · src/projections/design-review-pages.ts:201
- impl:protocol.binding-language-spec-page · src/projections/design-review-context.ts:95
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:18
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:120
Referencing units
- impl:protocol.pack-design-sections · src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-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:1510
- 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:45
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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:219
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.obsidian-vault.notes
Implementing units
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
- 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:753
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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:106
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.recipe-answers
Implementing units
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
Referencing units
- impl:protocol.studio-register-contracts · src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.dependency
Implementing units
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.requirement-trace
Implementing units
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.scoped-architecture
Implementing units
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export.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:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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:95
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:122
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.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.wholesale-view-rewrite
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.wholesale-view-rewrite · src/cli/validate-view-command.ts:128
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
Packs: pack:self-hosting-v1
spec:decisions.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
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.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-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec: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.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: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.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.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
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:protocol.capability-epics
Implementing units
- impl:protocol.capability-epics · test/recipes.test.ts:8173
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.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:79
- impl:protocol.validate-watch · src/cli/validate-watch.ts:591
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.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:208
- impl:protocol.validate-summary · src/cli/validate-view-command.ts:23
- 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.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 5

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.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6214
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- impl:protocol.reader · src/reader/reader.ts:687
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.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.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:21
- impl:protocol.census-page-cli · src/cli/census-command.ts:66
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:765
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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:7298
- 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:82
Referencing units
None.
Enabled verifiers: test:protocol.mermaid-view
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault
Implementing units
- impl:protocol.vault-command · src/cli/vault-command.ts:191
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
- 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.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.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:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.data.inputs.both-given
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-inputs-both-given
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs.graph-only
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.edge-routing
Implementing units
- impl:protocol.studio-diagram-routing · src/projections/studio/diagrams/routing.ts:38
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.legibility
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.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
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.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:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.vault-on-ramp
Implementing units
- impl:protocol.vault-on-ramp · test/skills.test.ts:1995
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Packs: pack:obsidian-vault-v1, pack:self-hosting-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: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.executable-contracts
Implementing units
- impl:protocol.example-space · src/graph/example-space.ts:117
- impl:protocol.executable-contracts · src/codegen/contracts.ts:647
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.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:633
- component:protocol.testing · src/testing/index.ts:38
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.runnable-modules · src/codegen/contracts.ts:658
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
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.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.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

Distance 6

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.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.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.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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:decisions.vault-owned-folder
Implementing units
None.
Referencing units
- impl:protocol.vault-command · src/cli/vault-command.ts:191
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Enabled verifiers: None
Packs: pack:obsidian-vault-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:99
- impl:protocol.example-runner · src/runner/index.ts:108
- impl:protocol.example-runner-adapter · src/adapters/vitest.ts:32
Referencing units
None.
Enabled verifiers: spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, test:protocol.example-runner-cleanup
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.case-colliding-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.case-colliding-path
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.concreteness-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.concreteness-refusal
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.multi-entry-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.multi-entry-example
Packs: pack:self-hosting-v1
spec: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: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

Distance 7

spec:decisions.pack-reified
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.example-runner.red-step-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.red-step-naming
Packs: pack:self-hosting-v1
spec:extraction.example-runner.step-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.step-order
Packs: pack:self-hosting-v1
spec:validation.pack-coherence
Implementing units
- impl:protocol.pack-coherence · src/validate/validators.ts:1102
Referencing units
None.
Enabled verifiers: spec:validation.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1

Distance 8

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

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
constrainedBy · outgoing	Machine truth is never authored `spec:validation.authored-honesty` · resolves	declared	None	None
decidedBy · outgoing	Markdown is the default Spec carrier `spec:decisions.carrier-ruling` · resolves	declared	None	None
decidedBy · outgoing	Prose belongs to typed graph owners `spec:decisions.prose-ownership` · resolves	declared	None	None
dependsOn · outgoing	Slot notation declares, binds, and refuses to guess `spec:carrier.slot-notation` · resolves	declared	None	None
dependsOn · outgoing	An example step may carry a key that survives rewording `spec:carrier.step-keys` · resolves	declared	a fence step may open with a step key marker	None
dependsOn · outgoing	An open question may name who decides it, its links, a provisional reading and a re-entry trigger `spec:model.open-question-fields` · resolves	declared	None	None
dependsOn · outgoing	A rule or flow entry may carry a key that addresses it `spec:model.rule-keys` · resolves	declared	None	None
dependsOn · outgoing	Spec sections carry typed detail and direct verifier semantics `spec:model.spec-sections` · resolves	declared	None	None
dependsOn · outgoing	A Model term may carry a key that addresses it `spec:model.term-addresses` · resolves	declared	a Model definition may open with a term key marker	None
dependsOn · outgoing	Each kind carries its own evidence `spec:validation.kind-evidence` · resolves	declared	its evidence clauses read every constraint entry a Spec carries, whichever carrier wrote it	None
refines · outgoing	Markdown authoring enters the one graph `spec:carrier.markdown-authoring` · resolves	declared	None	None
dependsOn · incoming	The Markdown parser reifies the ruled subset `spec:carrier.markdown-parser` · resolves	declared	None	None
dependsOn · incoming	Every prose value has one typed owner `spec:carrier.prose-ownership-rule` · resolves	declared	None	None
dependsOn · incoming	An adopter learns graph homes, carrier grammar and shipped paths from the on-ramps `spec:consumers.adopter-on-ramp` · resolves	declared	None	None
dependsOn · incoming	The glossary page lists every term the corpus's Specs define `spec:consumers.spec-studio.glossary-page` · resolves	declared	the page splits a Model entry into its term and definition as the body grammar reads it	None
dependsOn · incoming	An open question may carry a key that addresses it `spec:model.open-question-keys` · resolves	declared	None	None
refines · incoming	Inline code is content, never markup `spec:carrier.inline-code-spans` · resolves	declared	None	None
refines · incoming	A bullet wrapped onto a second line is refused `spec:carrier.markdown-body-grammar.continuation-line-refused` · resolves	declared	None	None
refines · incoming	A fence other than gwt or gwt-vocabulary is refused `spec:carrier.markdown-body-grammar.foreign-fence-refused` · resolves	declared	None	None
refines · incoming	An H3 under Design is refused `spec:carrier.markdown-body-grammar.h3-refused` · resolves	declared	None	None
refines · incoming	An integer-like Model term is refused `spec:carrier.markdown-body-grammar.integer-term-refused` · resolves	declared	None	None
refines · incoming	A keyed bullet under a plain-bullet owner is refused `spec:carrier.markdown-body-grammar.keyed-bullet-refused` · resolves	declared	None	None
refines · incoming	An ordered list is refused `spec:carrier.markdown-body-grammar.ordered-list-refused` · resolves	declared	None	None
refines · incoming	A plain bullet under an open section is refused `spec:carrier.markdown-body-grammar.plain-bullet-refused` · resolves	declared	None	None
refines · incoming	Raw HTML outside a code span is refused `spec:carrier.markdown-body-grammar.raw-html-refused` · resolves	declared	None	None
refines · incoming	A repeated single-valued field is refused `spec:carrier.markdown-body-grammar.repeated-field-refused` · resolves	declared	None	None
refines · incoming	A second primary owner is refused `spec:carrier.markdown-body-grammar.second-primary-owner-refused` · resolves	declared	None	None
refines · incoming	A second description across Behavior and Example space is refused `spec:carrier.markdown-body-grammar.shared-description-refused` · resolves	declared	None	None
refines · incoming	A table under a section is refused `spec:carrier.markdown-body-grammar.table-refused` · resolves	declared	None	None
refines · incoming	Prose after structured content is refused `spec:carrier.markdown-body-grammar.trailing-prose-refused` · resolves	declared	None	None
refines · incoming	An unrecognized heading is refused with a suggestion `spec:carrier.markdown-body-grammar.unrecognized-heading-refused` · resolves	declared	None	None
verifies · incoming	A bullet wrapped onto a second line is refused `spec:carrier.markdown-body-grammar.continuation-line-refused` · resolves	declared	None	`oneLineEntries`
verifies · incoming	A fence other than gwt or gwt-vocabulary is refused `spec:carrier.markdown-body-grammar.foreign-fence-refused` · resolves	declared	None	`closedFences`
verifies · incoming	An H3 under Design is refused `spec:carrier.markdown-body-grammar.h3-refused` · resolves	declared	None	`singleH3`
verifies · incoming	An integer-like Model term is refused `spec:carrier.markdown-body-grammar.integer-term-refused` · resolves	declared	None	`modelEntries`
verifies · incoming	A keyed bullet under a plain-bullet owner is refused `spec:carrier.markdown-body-grammar.keyed-bullet-refused` · resolves	declared	None	`keyedEntryShape`
verifies · incoming	An ordered list is refused `spec:carrier.markdown-body-grammar.ordered-list-refused` · resolves	declared	None	`oneLineEntries`
verifies · incoming	A plain bullet under an open section is refused `spec:carrier.markdown-body-grammar.plain-bullet-refused` · resolves	declared	None	`openSectionKeys`
verifies · incoming	Raw HTML outside a code span is refused `spec:carrier.markdown-body-grammar.raw-html-refused` · resolves	declared	None	`rawHtml`
verifies · incoming	A repeated single-valued field is refused `spec:carrier.markdown-body-grammar.repeated-field-refused` · resolves	declared	None	`constraintFields`, `constraintEntryCount`
verifies · incoming	A second primary owner is refused `spec:carrier.markdown-body-grammar.second-primary-owner-refused` · resolves	declared	None	`closedOwners`
verifies · incoming	A second description across Behavior and Example space is refused `spec:carrier.markdown-body-grammar.shared-description-refused` · resolves	declared	None	`sectionProse`
verifies · incoming	A table under a section is refused `spec:carrier.markdown-body-grammar.table-refused` · resolves	declared	None	`blockShapes`
verifies · incoming	Prose after structured content is refused `spec:carrier.markdown-body-grammar.trailing-prose-refused` · resolves	declared	None	`sectionProse`
verifies · incoming	An unrecognized heading is refused with a suggestion `spec:carrier.markdown-body-grammar.unrecognized-heading-refused` · resolves	declared	None	`closedOwners`
verifies · incoming	A constraint whose second entry has no target is not complete `spec:validation.kind-evidence.second-entry-untargeted` · resolves	declared	None	`constraintEntryCount`

Bindings

Implementation binding: present

impl:protocol.markdown-body-grammar · maps Markdown body content to typed prose owners · src/extract/markdown-body.ts:120 · role codec · component component:protocol.extract · layer application · context protocol
impl:protocol.markdown-content · decodes located Markdown entries and typed fences · src/extract/markdown-body-content.ts:7 · role codec · component component:protocol.extract · layer application · context protocol

Design reference: none

Verifier binding: present

spec:carrier.markdown-body-grammar.continuation-line-refused · A bullet wrapped onto a second line is refused · declared · specs/carrier/markdown-body-grammar.continuation-line-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.foreign-fence-refused · A fence other than gwt or gwt-vocabulary is refused · declared · specs/carrier/markdown-body-grammar.foreign-fence-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.h3-refused · An H3 under Design is refused · declared · specs/carrier/markdown-body-grammar.h3-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.integer-term-refused · An integer-like Model term is refused · declared · specs/carrier/markdown-body-grammar.integer-term-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.keyed-bullet-refused · A keyed bullet under a plain-bullet owner is refused · declared · specs/carrier/markdown-body-grammar.keyed-bullet-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.ordered-list-refused · An ordered list is refused · declared · specs/carrier/markdown-body-grammar.ordered-list-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.plain-bullet-refused · A plain bullet under an open section is refused · declared · specs/carrier/markdown-body-grammar.plain-bullet-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.raw-html-refused · Raw HTML outside a code span is refused · declared · specs/carrier/markdown-body-grammar.raw-html-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.repeated-field-refused · A repeated single-valued field is refused · declared · specs/carrier/markdown-body-grammar.repeated-field-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.second-primary-owner-refused · A second primary owner is refused · declared · specs/carrier/markdown-body-grammar.second-primary-owner-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.shared-description-refused · A second description across Behavior and Example space is refused · declared · specs/carrier/markdown-body-grammar.shared-description-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.table-refused · A table under a section is refused · declared · specs/carrier/markdown-body-grammar.table-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.trailing-prose-refused · Prose after structured content is refused · declared · specs/carrier/markdown-body-grammar.trailing-prose-refused.sdp.md · example enabled
spec:carrier.markdown-body-grammar.unrecognized-heading-refused · An unrecognized heading is refused with a suggestion · declared · specs/carrier/markdown-body-grammar.unrecognized-heading-refused.sdp.md · example enabled
spec:validation.kind-evidence.second-entry-untargeted · A constraint whose second entry has no target is not complete · declared · specs/validation/kind-evidence.second-entry-untargeted.sdp.md · example enabled

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifying examples

Example space

Verifier bindings

External run evidence from test/self-hosting-markdown-grammar.test.ts

Run 1: external run evidence from vitest 4.1.10

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

Run 1: external run evidence from vitest 4.1.10

Example space

Bound points

Coverage

Unbound

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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

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