Stated readiness must clear its floor

spec:validation.readiness-floor

Business Rule · featureready floor ready

Changed since the base graph base da4b141: relation.refines:spec:protocol.self-hosting; relation.refines:spec:validation.two-check-families

Base input: schema 0.11.0, 405 Specs.

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/validation/readiness-floor.sdp.md

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

Intent

outcome: Refuse a stated readiness that its authored evidence does not support.

Rule

rule line 23 · specs/validation/readiness-floor.sdp.md:23: A Spec may state a readiness only when every clause in that readiness floor passes.
rule line 24 · specs/validation/readiness-floor.sdp.md:24: Floors are cumulative: a stated rung is checked against its own clauses and every lower rung's, so a Spec that clears a higher rung has cleared each one beneath it.
rule.ideaFloor line 25 · specs/validation/readiness-floor.sdp.md:25: The idea floor has five clauses: the Spec carries a stable id, a human-readable title, a stated kind and a stated altitude, and it either states its intended outcome or declares a parent relation through refines.
no example exercises it
rule.scopedFloor line 26 · specs/validation/readiness-floor.sdp.md:26: The scoped floor adds three clauses: the intended outcome is stated, at least one authored relation is declared, and the kind's natural evidence is present.
spec:validation.readiness-floor.unrelated-scoped-spec · enabled
rule.definedFloor line 27 · specs/validation/readiness-floor.sdp.md:27: The defined floor adds two clauses: the kind's natural evidence is complete, and no open question the Spec records is flagged as blocking.
spec:validation.readiness-floor.blocking-open-question · enabled
rule.readyFloor line 28 · specs/validation/readiness-floor.sdp.md:28: The ready floor reads the Spec's own edges through three clauses: every authored relation resolves to a known target, every resolving refines, dependsOn, constrainedBy, and decidedBy target itself states at least defined, and every anchor bound to the Spec resolves.
no example exercises it
rule line 29 · specs/validation/readiness-floor.sdp.md:29: A child's readiness statement is its own and may be higher than its parent's. Below ready, the child's floor does not read the parent's rung; at ready, its typed-dependency clause requires a resolving refines parent to state at least defined.
rule line 30 · specs/validation/readiness-floor.sdp.md:30: The anchor clause reads the bindings that are present, so a Spec carrying no anchor clears it — the floor never demands a binding an author has not made.
rule line 31 · specs/validation/readiness-floor.sdp.md:31: Only relations the Spec itself declares count toward the relation clauses; membership of a Pack is derived from the manifest and never stands in for an authored relation.
rule line 32 · specs/validation/readiness-floor.sdp.md:32: Every clause except the two evidence clauses is kind-blind; what counts as a kind's natural evidence is stated in full by spec:validation.kind-evidence.
rule line 33 · specs/validation/readiness-floor.sdp.md:33: One clause table checks the stated rung and yields derived readiness, the highest rung whose cumulative clauses all pass, which is read beside the stated rung and never overwrites it. Asked about a named rung, the evaluator yields that rung's unmet clauses; the reader uses it for the stated next rung and the floor's next rung.
rule line 34 · specs/validation/readiness-floor.sdp.md:34: Given a Primitive node and a valid graph index over plain value data, evidence predicates tolerate section containers of the wrong shape and treat missing expected containers as absent evidence. An unratified kind derives no rung; an evaluation with an unratified kind or rung returns no failures, and descriptor conformance reports the invalid descriptor.
rule line 35 · specs/validation/readiness-floor.sdp.md:35: The shipped clause table is the only floor any Spec is checked against; no validator reads a per-team floor setting.
rule.floorTable line 36 · specs/validation/readiness-floor.sdp.md:36: The floor table in src/validate/readiness-floor.ts is the clause set's code-level source of truth and the realizing entrypoint. The clauses stated here and the rows of that table are one law read twice, so any disagreement between them is drift to resolve on one side, never a second floor.
no example exercises it

9 unkeyed rules.

Verifying examples

A blocking open question holds a Spec below defined · spec:validation.readiness-floor.blocking-open-question · ready floor ready

Executable Spec

Given the graph holds a spec {specId: "spec:probe.blocked-defined"} stating readiness {readiness: "defined"}
Given the spec {defect: "records a blocking open question"}
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: "no-blocking-open-questions"}
Then the report holds {errorCount: 1} errors

Given

the graph holds a spec {specId: "spec:probe.blocked-defined"} stating readiness {readiness: "defined"}
the spec {defect: "records a blocking open question"}

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: "no-blocking-open-questions"}
the report holds {errorCount: 1} errors

Composing needs the script.

Open example

A scoped Spec with no relation names the relation clause · spec:validation.readiness-floor.unrelated-scoped-spec · ready floor ready

Executable Spec

Given the graph holds a spec {specId: "spec:probe.unrelated-scoped"} stating readiness {readiness: "scoped"}
Given the spec {defect: "declares no relation"}
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: "at-least-one-relation"}
Then the report holds {errorCount: 1} errors

Given

the graph holds a spec {specId: "spec:probe.unrelated-scoped"} stating readiness {readiness: "scoped"}
the spec {defect: "declares no relation"}

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: "at-least-one-relation"}
the report holds {errorCount: 1} errors

Composing needs the script.

Open example

Example space

Given the graph holds a spec {specId:string} stating readiness {readiness:"scoped"|"defined"}
Given the spec {defect:"declares no relation"|"records a blocking open question"}
When the graph is validated
Then the report names {findingId:string} at severity {severity:"warning"|"error"}
Then the finding names the unmet floor clause {clauseId:string}
Then the report holds {errorCount:number} errors

Verification

Verifier bindings

spec:validation.readiness-floor.blocking-open-question · A blocking open question holds a Spec below defined · declared · example enabled · specs/validation/readiness-floor.blocking-open-question.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

spec:validation.readiness-floor.unrelated-scoped-spec · A scoped Spec with no relation names the relation clause · declared · example enabled · specs/validation/readiness-floor.unrelated-scoped-spec.sdp.md

test:protocol.readiness-floor · readiness-floor contracts verify stated maturity · anchored · test anchor binding present · test/readiness.test.ts:66

External run evidence from `test/readiness.test.ts`

Test anchors: test:protocol.readiness-floor. Specs verified by those bindings: spec:validation.readiness-floor.

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
exports the canonical validator families and severities	readiness and validation contracts	passed	1.86 ms
defines the kind-blind structural clauses as one table (MD-13), clause ids defined exactly once	readiness and validation contracts	passed	0.65 ms
evaluates every clause — the ready clauses included — over the one graph (one validation path, MD-14)	readiness and validation contracts	passed	1.27 ms
covers every kind in the evidence table; workflow and contract ride the behavior row (MD-12)	readiness and validation contracts	passed	0.37 ms
keeps a workflow with flows below defined until it carries a rule	readiness and validation contracts	passed	0.6 ms
counts promoted children as evidence — promotion never costs an earned rung (MD-10/MD-12)	readiness and validation contracts	passed	0.65 ms
keeps the constraint floor monotonic: an untargeted entry clears scoped, not defined (MD-12)	readiness and validation contracts	passed	0.39 ms
keeps every kind's evidence row monotonic: defined evidence implies scoped evidence (MD-12)	readiness and validation contracts	passed	1.73 ms
requires a structured GWT entry for a defined example; prose clears scoped only (MD-10)	readiness and validation contracts	passed	0.44 ms
derives the highest cumulatively-cleared rung, independent of the stated one	readiness and validation contracts > derived readiness (the stated-vs-derived split, `spec:validation.readiness-floor`)	passed	0.41 ms
derives below the stated rung exactly where the floor check fails (the divergence)	readiness and validation contracts > derived readiness (the stated-vs-derived split, `spec:validation.readiness-floor`)	passed	0.31 ms
derives undefined when even the idea clauses fail	readiness and validation contracts > derived readiness (the stated-vs-derived split, `spec:validation.readiness-floor`)	passed	0.21 ms
stays total over an unratified kind: no rung derives, the conformance error owns it	readiness and validation contracts > derived readiness (the stated-vs-derived split, `spec:validation.readiness-floor`)	passed	0.23 ms
holds a fully bound example at defined — the clause flips on the binding alone	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.66 ms
caps a fully bound example below defined when a parent example space no longer owns its step	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.67 ms
caps an example with a bare unbound slot in a used step below defined	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.27 ms
caps a declaration-form slot in a used step the same way ({n:number} is not a binding)	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.22 ms
keeps a partial point honest: an unused step binds nothing and fails nothing	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.18 ms
derives the honest rung: the unbound-slot example structurally reaches scoped, never defined	the concreteness law — an example is a bound point (the plan-12 ratification)	passed	0.14 ms
names the scoped dependency at a target rung of ready on a Spec stating defined	the floor for a target rung and the targets a dependency failure names	passed	0.44 ms
finds nothing at ready when the same dependency states defined	the floor for a target rung and the targets a dependency failure names	passed	0.2 ms
evaluates the target rung, not the stated one, in both directions	the floor for a target rung and the targets a dependency failure names	passed	0.28 ms
evaluates the cumulative clauses of every rung up to the target	the floor for a target rung and the targets a dependency failure names	passed	0.23 ms
yields no failure for an unratified kind or an unratified target rung	the floor for a target rung and the targets a dependency failure names	passed	0.31 ms
names every distinct breaking target, sorted by relation type and then by id	the floor for a target rung and the targets a dependency failure names	passed	0.5 ms
keeps the readiness-floor finding message free of targets	the floor for a target rung and the targets a dependency failure names	passed	2.65 ms
sets a targets reader on the typed-dependency clause alone	the floor for a target rung and the targets a dependency failure names	passed	0.22 ms

Example space

specId · string · declared by the graph holds a spec {specId} stating readiness {readiness}
readiness · "scoped" | "defined" · declared by the graph holds a spec {specId} stating readiness {readiness}
defect · "declares no relation" | "records a blocking open question" · declared by the spec {defect}

Bound points

Example	specId	readiness	defect
spec:validation.readiness-floor.blocking-open-question	`"spec:probe.blocked-defined"`	`"defined"`	`"records a blocking open question"`
spec:validation.readiness-floor.unrelated-scoped-spec	`"spec:probe.unrelated-scoped"`	`"scoped"`	`"declares no relation"`

Oracle binding: none

Coverage

specId: "spec:probe.blocked-defined" · spec:validation.readiness-floor.blocking-open-question; "spec:probe.unrelated-scoped" · spec:validation.readiness-floor.unrelated-scoped-spec · not enumerable

`readiness`
Declared value	Examples
`"scoped"`	spec:validation.readiness-floor.unrelated-scoped-spec
`"defined"`	spec:validation.readiness-floor.blocking-open-question

`defect`
Declared value	Examples
`"declares no relation"`	spec:validation.readiness-floor.unrelated-scoped-spec
`"records a blocking open question"`	spec:validation.readiness-floor.blocking-open-question

Unbound

specId: None
readiness: None
defect: None

Given

the graph holds a spec {specId:string} stating readiness {readiness:"scoped"|"defined"}
the spec {defect:"declares no relation"|"records a blocking open question"}

When

the graph is validated

Then

the report names {findingId:string} at severity {severity:"warning"|"error"}
the finding names the unmet floor clause {clauseId:string}
the report holds {errorCount:number} errors

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:validation.readiness-floor

E6: refines (10), verifies (11) · declared

The diagram as text

spec:validation.readiness-floor: Stated readiness must clear its floor · declared Spec
spec:decisions.carried-evidence: Promoted evidence must carry its own evidence · declared Spec
spec:decisions.kind-conditional-floor: Readiness evidence follows the Spec kind · declared Spec
spec:validation.kind-evidence: Each kind carries its own evidence · declared Spec
spec:validation.next-rung-floor: The floor names what blocks the floor's next rung · declared Spec
spec:validation.readiness-floor.blocking-open-question: A blocking open question holds a Spec below defined · declared Spec
spec:validation.readiness-floor.unrelated-scoped-spec: A scoped Spec with no relation names the relation clause · declared Spec
spec:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies · declared Spec
spec:carrier.gherkin-authoring.unbound-ready-refused: A Gherkin example with an unbound used slot fails its stated readiness floor · declared Spec
spec:validation.kind-evidence.constraints-alone: Constraints alone stop short of complete behavior evidence · declared Spec
spec:validation.kind-evidence.empty-promoted-child: An empty promoted child confers no evidence · declared Spec
spec:validation.kind-evidence.second-entry-untargeted: A constraint whose second entry has no target is not complete · declared Spec
spec:validation.kind-evidence.untargeted-constraint: A constraint without a machine-readable target is not complete · declared Spec
spec:validation.next-rung-floor.blocking-question: A scoped Spec held by a blocking question is told the clause · declared Spec
spec:validation.next-rung-floor.typed-dependency-targets: A defined Spec resting on a scoped dependency is told which one · declared Spec
spec:validation.typed-dependency-floor.missing-targets: Missing targets fail relation resolution once · declared Spec
spec:validation.typed-dependency-floor.relation-rungs: Every relation reads the four stated target rungs · declared Spec
spec:validation.typed-dependency-floor.stated-readiness: Target floor failures do not propagate across dependencies · declared Spec
spec:validation.typed-dependency-floor.unsettled-fact: An unsettled constraint bounds ready but permits defined · declared Spec
spec:carrier.gherkin-authoring: Gherkin authoring enters the one graph · declared Spec
spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section · declared Spec
spec:validation.two-check-families: Validation separates well-formedness from non-pretending · declared Spec
impl:protocol.kind-evidence: defines the code-level per-kind evidence rows for readiness floors · anchored code · src/validate/readiness-floor.ts:398
impl:protocol.next-rung-floor: evaluates the floor for a target rung and names the targets that break a dependency · anchored code · src/validate/readiness-floor.ts:603
impl:protocol.reader: typed graph queries, entry adapters and context joins · anchored code · src/reader/reader.ts:687
impl:protocol.readiness-floor: evaluates the stated readiness floor against the graph · anchored code · src/validate/readiness-floor.ts:612
impl:protocol.typed-dependency-floor: checks stated readiness across all four typed dependencies · anchored code · src/validate/readiness-floor.ts:347
oracle:protocol.kind-evidence: oracle:protocol.kind-evidence · anchored oracle binding · test/self-hosting-validators.test.ts:1919
oracle:protocol.next-rung-floor: expected next-rung clause and targets by structure · anchored oracle binding · test/self-hosting-next-rung-floor.test.ts:47
oracle:protocol.typed-dependency-floor: expected readiness failures by typed dependency matrix · anchored oracle binding · test/self-hosting-typed-dependency.test.ts:51
test:protocol.gherkin-authoring.unbound-ready-refused: the unbound-ready-refused point verifies the Gherkin carrier contract · anchored test binding · binding present · test/self-hosting-carrier-gherkin.test.ts:588
test:protocol.kind-evidence.constraints-alone: the constraints-alone point verifies the behavior-family complete cell · anchored test binding · binding present · test/self-hosting-validators.test.ts:534
test:protocol.kind-evidence.empty-promoted-child: the empty-promotion point verifies the promoted-evidence honesty bound · anchored test binding · binding present · test/self-hosting-validators.test.ts:584
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.kind-evidence.untargeted-constraint: the untargeted-constraint point verifies the constraint row's target requirement · anchored test binding · binding present · test/self-hosting-validators.test.ts:559
test:protocol.next-rung-floor.blocking-question: verifies the next rung's failure names a blocking question and no target · anchored test binding · binding present · test/self-hosting-next-rung-floor.test.ts:248
test:protocol.next-rung-floor.typed-dependency-targets: verifies the next rung's failure names the dependency stated below defined · anchored test binding · binding present · test/self-hosting-next-rung-floor.test.ts:234
test:protocol.readiness-floor: readiness-floor contracts verify stated maturity · anchored test binding · binding present · test/readiness.test.ts:66
test:protocol.readiness-floor.blocking-open-question: the blocked-question point verifies the open-questions clause of the defined rung · anchored test binding · binding present · test/self-hosting-validators.test.ts:372
test:protocol.readiness-floor.unrelated-scoped-spec: the unrelated-scoped point verifies the relation clause of the scoped rung · anchored test binding · binding present · test/self-hosting-validators.test.ts:356
test:protocol.typed-dependency-floor.missing-targets: verifies unresolved targets fail resolution once · anchored test binding · binding present · test/self-hosting-typed-dependency.test.ts:320
test:protocol.typed-dependency-floor.relation-rungs: verifies six relations across four target rungs · anchored test binding · binding present · test/self-hosting-typed-dependency.test.ts:313
test:protocol.typed-dependency-floor.stated-readiness: verifies stated target readiness and kind blindness · anchored test binding · binding present · test/self-hosting-typed-dependency.test.ts:334
test:protocol.typed-dependency-floor.unsettled-fact: verifies blocking questions and bounded readiness · anchored test binding · binding present · test/self-hosting-typed-dependency.test.ts:327
spec:carrier.gherkin-authoring.unbound-ready-refused refines spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unbound-ready-refused verifies spec:carrier.gherkin-authoring · declared
spec:carrier.gherkin-authoring.unbound-ready-refused verifies spec:validation.kind-evidence · declared
spec:decisions.carried-evidence refines spec:validation.readiness-floor · declared
spec:decisions.kind-conditional-floor refines spec:validation.readiness-floor · declared
spec:validation.kind-evidence refines spec:validation.readiness-floor · declared
spec:validation.kind-evidence.constraints-alone refines spec:validation.kind-evidence · declared
spec:validation.kind-evidence.constraints-alone verifies spec:validation.kind-evidence · declared
spec:validation.kind-evidence.empty-promoted-child refines spec:validation.kind-evidence · declared
spec:validation.kind-evidence.empty-promoted-child verifies spec:validation.kind-evidence · 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
spec:validation.kind-evidence.untargeted-constraint refines spec:validation.kind-evidence · declared
spec:validation.kind-evidence.untargeted-constraint verifies spec:validation.kind-evidence · declared
spec:validation.next-rung-floor refines spec:validation.readiness-floor · declared
spec:validation.next-rung-floor.blocking-question refines spec:validation.next-rung-floor · declared
spec:validation.next-rung-floor.blocking-question verifies spec:validation.next-rung-floor · declared
spec:validation.next-rung-floor.typed-dependency-targets refines spec:validation.next-rung-floor · declared
spec:validation.next-rung-floor.typed-dependency-targets verifies spec:validation.next-rung-floor · declared
spec:validation.readiness-floor refines spec:validation.two-check-families · declared — the readiness floor checks honesty of the stated rung
spec:validation.readiness-floor.blocking-open-question refines spec:validation.readiness-floor · declared
spec:validation.readiness-floor.blocking-open-question verifies spec:validation.readiness-floor · declared
spec:validation.readiness-floor.unrelated-scoped-spec refines spec:validation.readiness-floor · declared
spec:validation.readiness-floor.unrelated-scoped-spec verifies spec:validation.readiness-floor · declared
spec:validation.typed-dependency-floor refines spec:validation.readiness-floor · declared
spec:validation.typed-dependency-floor.missing-targets refines spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.missing-targets verifies spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.relation-rungs refines spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.relation-rungs verifies spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.stated-readiness refines spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.stated-readiness verifies spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.unsettled-fact refines spec:validation.typed-dependency-floor · declared
spec:validation.typed-dependency-floor.unsettled-fact verifies spec:validation.typed-dependency-floor · declared
impl:protocol.kind-evidence satisfies spec:validation.kind-evidence · anchored
impl:protocol.next-rung-floor satisfies spec:validation.next-rung-floor · anchored
impl:protocol.reader satisfies spec:validation.next-rung-floor · anchored
impl:protocol.readiness-floor satisfies spec:validation.readiness-floor · anchored
impl:protocol.typed-dependency-floor satisfies spec:validation.typed-dependency-floor · anchored
oracle:protocol.kind-evidence models spec:validation.kind-evidence · anchored
oracle:protocol.next-rung-floor models spec:validation.next-rung-floor · anchored
oracle:protocol.typed-dependency-floor models spec:validation.typed-dependency-floor · anchored
test:protocol.gherkin-authoring.unbound-ready-refused verifies spec:carrier.gherkin-authoring.unbound-ready-refused · anchored
test:protocol.kind-evidence.constraints-alone verifies spec:validation.kind-evidence.constraints-alone · anchored
test:protocol.kind-evidence.empty-promoted-child verifies spec:validation.kind-evidence.empty-promoted-child · anchored
test:protocol.kind-evidence.second-entry-untargeted verifies spec:validation.kind-evidence.second-entry-untargeted · anchored
test:protocol.kind-evidence.untargeted-constraint verifies spec:validation.kind-evidence.untargeted-constraint · anchored
test:protocol.next-rung-floor.blocking-question verifies spec:validation.next-rung-floor.blocking-question · anchored
test:protocol.next-rung-floor.typed-dependency-targets verifies spec:validation.next-rung-floor.typed-dependency-targets · anchored
test:protocol.readiness-floor verifies spec:validation.readiness-floor · anchored
test:protocol.readiness-floor.blocking-open-question verifies spec:validation.readiness-floor.blocking-open-question · anchored
test:protocol.readiness-floor.unrelated-scoped-spec verifies spec:validation.readiness-floor.unrelated-scoped-spec · anchored
test:protocol.typed-dependency-floor.missing-targets verifies spec:validation.typed-dependency-floor.missing-targets · anchored
test:protocol.typed-dependency-floor.relation-rungs verifies spec:validation.typed-dependency-floor.relation-rungs · anchored
test:protocol.typed-dependency-floor.stated-readiness verifies spec:validation.typed-dependency-floor.stated-readiness · anchored
test:protocol.typed-dependency-floor.unsettled-fact verifies spec:validation.typed-dependency-floor.unsettled-fact · 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:validation.readiness-floor

flowchart TB
  n0["3 modeled Specs · anchored, folded"]
  %% folded diagram.spec:validation.readiness-floor.requirement.fold.models.outgoing.anchored: spec:validation.kind-evidence, spec:validation.next-rung-floor, spec:validation.typed-dependency-floor
  n1["2 refining Specs · declared, folded"]
  %% folded diagram.spec:validation.readiness-floor.requirement.fold.refines.incoming.declared: spec:decisions.carried-evidence, spec:decisions.kind-conditional-floor
  n2["Stated readiness must clear its floor · declared Spec · spec:validation.readiness-floor"]
  n3["13 verifying examples · declared; 13 test bindings · anchored, folded"]
  %% folded diagram.spec:validation.readiness-floor.requirement.fold.verifies.incoming.declared: spec:validation.readiness-floor.blocking-open-question, spec:validation.readiness-floor.unrelated-scoped-spec, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:validation.kind-evidence.constraints-alone, spec:validation.kind-evidence.empty-promoted-child, spec:validation.kind-evidence.second-entry-untargeted, spec:validation.kind-evidence.untargeted-constraint, spec:validation.next-rung-floor.blocking-question, spec:validation.next-rung-floor.typed-dependency-targets, spec:validation.typed-dependency-floor.missing-targets, spec:validation.typed-dependency-floor.relation-rungs, spec:validation.typed-dependency-floor.stated-readiness, spec:validation.typed-dependency-floor.unsettled-fact, test:protocol.gherkin-authoring.unbound-ready-refused, test:protocol.kind-evidence.constraints-alone, test:protocol.kind-evidence.empty-promoted-child, test:protocol.kind-evidence.second-entry-untargeted, test:protocol.kind-evidence.untargeted-constraint, test:protocol.next-rung-floor.blocking-question, test:protocol.next-rung-floor.typed-dependency-targets, test:protocol.readiness-floor.blocking-open-question, test:protocol.readiness-floor.unrelated-scoped-spec, test:protocol.typed-dependency-floor.missing-targets, test:protocol.typed-dependency-floor.relation-rungs, test:protocol.typed-dependency-floor.stated-readiness, test:protocol.typed-dependency-floor.unsettled-fact
  n4["5 satisfying units · anchored, folded"]
  %% folded diagram.spec:validation.readiness-floor.requirement.fold.satisfies.incoming.anchored: impl:protocol.kind-evidence, impl:protocol.next-rung-floor, impl:protocol.reader, impl:protocol.readiness-floor, impl:protocol.typed-dependency-floor
  n5["3 oracle bindings · anchored, folded"]
  %% folded diagram.spec:validation.readiness-floor.requirement.fold.models.incoming.anchored: oracle:protocol.kind-evidence, oracle:protocol.next-rung-floor, oracle:protocol.typed-dependency-floor
  n6["readiness-floor contracts verify stated maturity · anchored test binding · binding present · test:protocol.readiness-floor"]
  n7["Gherkin authoring enters the one graph · declared Spec · spec:carrier.gherkin-authoring"]
  n8["The Markdown body accepts one closed form per section · declared Spec · spec:carrier.markdown-body-grammar"]
  n9["Validation separates well-formedness from non-pretending · declared Spec · spec:validation.two-check-families"]
  n5 -->|"models · anchored (3 unit edges)"| n0
  %% count: 3; diagram.spec:validation.readiness-floor.requirement.fold.models.incoming.anchored to diagram.spec:validation.readiness-floor.requirement.fold.models.outgoing.anchored
  n0 -->|"refines · declared (3 unit edges)"| n2
  %% count: 3; diagram.spec:validation.readiness-floor.requirement.fold.models.outgoing.anchored to spec:validation.readiness-floor
  n1 -->|"refines · declared (2 unit edges)"| n2
  %% count: 2; diagram.spec:validation.readiness-floor.requirement.fold.refines.incoming.declared to spec:validation.readiness-floor
  n4 -->|"satisfies · anchored (4 unit edges)"| n0
  %% count: 4; diagram.spec:validation.readiness-floor.requirement.fold.satisfies.incoming.anchored to diagram.spec:validation.readiness-floor.requirement.fold.models.outgoing.anchored
  n4 -->|"satisfies · anchored"| n2
  %% count: 1; diagram.spec:validation.readiness-floor.requirement.fold.satisfies.incoming.anchored to spec:validation.readiness-floor
  n3 -->|"refines (10), verifies (11) · declared"| n0
  n3 -->|"refines, verifies · declared"| n7
  %% count: 1; diagram.spec:validation.readiness-floor.requirement.fold.verifies.incoming.declared to spec:carrier.gherkin-authoring
  n3 -->|"verifies · declared"| n8
  %% count: 1; diagram.spec:validation.readiness-floor.requirement.fold.verifies.incoming.declared to spec:carrier.markdown-body-grammar
  n3 -->|"refines, verifies · declared (2 per relation)"| n2
  %% count: 2; diagram.spec:validation.readiness-floor.requirement.fold.verifies.incoming.declared to spec:validation.readiness-floor
  n2 -->|"refines · declared — the readiness floor checks honesty of the stated rung"| n9
  %% count: 1; spec:validation.readiness-floor to spec:validation.two-check-families
  n6 -->|"verifies · anchored"| n2
  %% count: 1; test:protocol.readiness-floor to spec:validation.readiness-floor

Decisions

Promoted evidence must carry its own evidence
Promoted evidence counts only when the promoted Spec carries its own kind's natural evidence.
Readiness evidence follows the Spec kind
The readiness floor combines cumulative kind-blind clauses with one kind-conditional evidence clause at each of the scoped and defined rungs: the kind's natural evidence present, then complete.

Runtime

component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · 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
impl:protocol.readiness-floor · evaluates the stated readiness floor against the graph · src/validate/readiness-floor.ts:612
Component: component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · 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:validation.readiness-floor

The diagram as text

spec:consumers.capability-map: The capability map reads every epic and its refinement descendants
spec:consumers.derived-readiness-banner: Derived readiness renders beside the stated rung and warns in one direction
spec:decisions.carried-evidence: Promoted evidence must carry its own evidence
spec:decisions.kind-conditional-floor: Readiness evidence follows the Spec kind
spec:model.core-model: The Protocol models delivery with one enrichable Spec
spec:protocol.capability-epics: The Protocol organizes its own features in capability epics
spec:validation.kind-evidence: Each kind carries its own evidence
spec:validation.next-rung-floor: The floor names what blocks the floor's next rung
spec:validation.readiness-floor: Stated readiness must clear its floor
spec:validation.readiness-floor.blocking-open-question: A blocking open question holds a Spec below defined
spec:validation.readiness-floor.unrelated-scoped-spec: A scoped Spec with no relation names the relation clause
spec:validation.two-check-families: Validation separates well-formedness from non-pretending
spec:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies
spec:validation.readiness-floor decidedBy spec:decisions.carried-evidence · declared
spec:validation.readiness-floor decidedBy spec:decisions.kind-conditional-floor · declared
spec:validation.readiness-floor dependsOn spec:model.core-model · declared — the floor reads the Protocol descriptor model
spec:validation.readiness-floor refines spec:validation.two-check-families · declared — the readiness floor checks honesty of the stated rung
spec:consumers.capability-map dependsOn spec:validation.readiness-floor · declared — each node reads the existing floor beside the author's statement
spec:consumers.derived-readiness-banner dependsOn spec:validation.readiness-floor · declared
spec:protocol.capability-epics dependsOn spec:validation.readiness-floor · declared — reparenting preserves the floor of each existing ready child
spec:decisions.carried-evidence refines spec:validation.readiness-floor · declared
spec:decisions.kind-conditional-floor refines spec:validation.readiness-floor · declared
spec:validation.kind-evidence refines spec:validation.readiness-floor · declared
spec:validation.next-rung-floor refines spec:validation.readiness-floor · declared
spec:validation.readiness-floor.blocking-open-question refines spec:validation.readiness-floor · declared
spec:validation.readiness-floor.unrelated-scoped-spec refines spec:validation.readiness-floor · declared
spec:validation.typed-dependency-floor refines spec:validation.readiness-floor · declared
spec:validation.readiness-floor.blocking-open-question verifies spec:validation.readiness-floor · declared
spec:validation.readiness-floor.unrelated-scoped-spec verifies spec:validation.readiness-floor · declared

Mermaid source

Copyable source; the Studio draws static SVG.

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

Mermaid source for Relations of spec:validation.readiness-floor

flowchart TB
  n0["Validation separates well-formedness from non-pretending · spec:validation.two-check-families"]
  n1["The Protocol models delivery with one enrichable Spec · spec:model.core-model"]
  n2["Stated readiness must clear its floor · spec:validation.readiness-floor"]
  n3["7 Incoming refines, folded · spec:validation.readiness-floor.fold.Incoming.refines"]
  %% folded spec:validation.readiness-floor.fold.Incoming.refines: spec:decisions.carried-evidence, spec:decisions.kind-conditional-floor, spec:validation.kind-evidence, spec:validation.next-rung-floor, spec:validation.readiness-floor.blocking-open-question, spec:validation.readiness-floor.unrelated-scoped-spec, spec:validation.typed-dependency-floor
  n4["The capability map reads every epic and its refinement descendants · spec:consumers.capability-map"]
  n5["Derived readiness renders beside the stated rung and warns in one direction · spec:consumers.derived-readiness-banner"]
  n6["The Protocol organizes its own features in capability epics · spec:protocol.capability-epics"]
  n4 -->|"dependsOn · declared — each node reads the existing floor beside the author's statement"| n2
  %% count: 1; spec:consumers.capability-map to spec:validation.readiness-floor
  n5 -->|"dependsOn · declared"| n2
  %% count: 1; spec:consumers.derived-readiness-banner to spec:validation.readiness-floor
  n6 -->|"dependsOn · declared — reparenting preserves the floor of each existing ready child"| n2
  %% count: 1; spec:protocol.capability-epics to spec:validation.readiness-floor
  n2 -->|"dependsOn · declared — the floor reads the Protocol descriptor model"| n1
  %% count: 1; spec:validation.readiness-floor to spec:model.core-model
  n2 -->|"decidedBy · declared (2 unit edges)"| n3
  %% count: 2; spec:validation.readiness-floor to spec:validation.readiness-floor.fold.Incoming.refines
  n2 -->|"refines · declared — the readiness floor checks honesty of the stated rung"| n0
  %% count: 1; spec:validation.readiness-floor to spec:validation.two-check-families
  n3 -->|"refines · declared (7 unit edges)"| n2
  %% count: 7; spec:validation.readiness-floor.fold.Incoming.refines to spec:validation.readiness-floor
  n3 -->|"verifies · declared (2 unit edges)"| n2
  %% count: 2; spec:validation.readiness-floor.fold.Incoming.refines to spec:validation.readiness-floor

Rests on

refines · spec:validation.two-check-families · stated ready, floor ready
dependsOn · spec:model.core-model · stated ready, floor ready
decidedBy · spec:decisions.carried-evidence · stated ready, floor ready
decidedBy · spec:decisions.kind-conditional-floor · stated ready, floor ready

Rested on by

Distance 1

spec:consumers.capability-map
Implementing units
- impl:protocol.capability-map-recipe · test/recipes.test.ts:7602
Referencing units
None.
Enabled verifiers: test:protocol.capability-map
Packs: pack:roadmaps-and-slices-v1, 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:decisions.carried-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.kind-conditional-floor
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: 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:validation.kind-evidence
Implementing units
- impl:protocol.kind-evidence · src/validate/readiness-floor.ts:398
Referencing units
None.
Enabled verifiers: spec:carrier.gherkin-authoring.unbound-ready-refused, spec:validation.kind-evidence.constraints-alone, spec:validation.kind-evidence.empty-promoted-child, spec:validation.kind-evidence.second-entry-untargeted, spec:validation.kind-evidence.untargeted-constraint
Packs: pack:self-hosting-v1
spec:validation.next-rung-floor
Implementing units
- impl:protocol.next-rung-floor · src/validate/readiness-floor.ts:603
- impl:protocol.reader · src/reader/reader.ts:687
Referencing units
None.
Enabled verifiers: spec:validation.next-rung-floor.blocking-question, spec:validation.next-rung-floor.typed-dependency-targets
Packs: pack:self-hosting-v1
spec:validation.readiness-floor.blocking-open-question
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-floor.blocking-open-question
Packs: pack:self-hosting-v1
spec:validation.readiness-floor.unrelated-scoped-spec
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-floor.unrelated-scoped-spec
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor
Implementing units
- impl:protocol.typed-dependency-floor · src/validate/readiness-floor.ts:347
Referencing units
None.
Enabled verifiers: spec:validation.typed-dependency-floor.missing-targets, spec:validation.typed-dependency-floor.relation-rungs, spec:validation.typed-dependency-floor.stated-readiness, spec:validation.typed-dependency-floor.unsettled-fact
Packs: pack:self-hosting-v1

Distance 2

spec:carrier.markdown-body-grammar
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:120
- impl:protocol.markdown-content · src/extract/markdown-body-content.ts:7
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:validation.kind-evidence.second-entry-untargeted
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.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.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.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.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
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.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.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.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.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.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
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.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.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:decisions.decision-readiness-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.epics-of-any-kind
Implementing units
None.
Referencing units
- impl:protocol.capability-map-recipe · test/recipes.test.ts:7602
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:validation.kind-evidence.constraints-alone
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.kind-evidence.constraints-alone
Packs: pack:self-hosting-v1
spec:validation.kind-evidence.empty-promoted-child
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.kind-evidence.empty-promoted-child
Packs: pack:self-hosting-v1
spec:validation.kind-evidence.second-entry-untargeted
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.kind-evidence.second-entry-untargeted
Packs: pack:self-hosting-v1
spec:validation.kind-evidence.untargeted-constraint
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.kind-evidence.untargeted-constraint
Packs: pack:self-hosting-v1
spec:validation.next-rung-floor.blocking-question
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.next-rung-floor.blocking-question
Packs: pack:self-hosting-v1
spec:validation.next-rung-floor.typed-dependency-targets
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.next-rung-floor.typed-dependency-targets
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.missing-targets
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.missing-targets
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.relation-rungs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.relation-rungs
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.stated-readiness
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.stated-readiness
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.unsettled-fact
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.unsettled-fact
Packs: pack:self-hosting-v1

Distance 3

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.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.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.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.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.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.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.reader
Implementing units
- component:protocol.reader · src/reader/reader.ts:671
- impl:protocol.reader · src/reader/reader.ts:687
Referencing units
None.
Enabled verifiers: spec:consumers.reader.changeset-entry, spec:consumers.reader.concept-entry, spec:consumers.reader.file-entry
Packs: 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.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:13
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs
Implementing units
- impl:protocol.studio-base-input · src/cli/studio-inputs.ts:9
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.recipe-answers
Implementing units
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
Referencing units
- impl:protocol.studio-register-contracts · src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.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.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page
Implementing units
- impl:protocol.studio-glossary · src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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
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.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.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.roadmap-page
Implementing units
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.shell
Implementing units
- impl:protocol.studio-code-spans · src/projections/studio/pages/code-spans.ts:9
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-html · src/projections/studio/pages/html.ts:8
- impl:protocol.studio-text · src/projections/studio/pages/text.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.upgrade-kit.capability-adoption
Implementing units
- impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal
Implementing units
- impl:protocol.rule-key-proposal-recipe · test/upgrade-kit.test.ts:742
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
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
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:validation.warn-level-signals
Implementing units
- impl:protocol.orphan-signal · src/validate/validators.ts:1128
- impl:protocol.verifier-gap-signal · src/validate/validators.ts:1734
Referencing units
None.
Enabled verifiers: spec:validation.warn-level-signals.orphan-signal, spec:validation.warn-level-signals.ready-gap-signal
Packs: pack:self-hosting-v1

Distance 4

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.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
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.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.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.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.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-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.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.reader.changeset-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.reader.changeset-entry
Packs: pack:self-hosting-v1
spec:consumers.reader.concept-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.reader.concept-entry
Packs: pack:self-hosting-v1
spec:consumers.reader.file-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.reader.file-entry
Packs: pack:self-hosting-v1
spec:consumers.spec-studio
Implementing units
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-data · src/projections/studio/data.ts:279
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
Referencing units
None.
Enabled verifiers: test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-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.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.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.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.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.folds-by-context
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-context
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.folds-by-layer
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-layer
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.within-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-within-bound
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diff-page
Implementing units
- impl:protocol.studio-diff · src/projections/studio/pages/diff-page.ts:91
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diff-page.changed-entry, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.lenses.architecture
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.architecture.planned-apart, test:protocol.studio-architecture-maturity-requirement
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.evidence
Implementing units
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:122
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.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.runs-page
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-runs-page · src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.runs-page.external-evidence
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:8
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:742
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1693
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal.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: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:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, 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
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
spec:validation.warn-level-signals.orphan-signal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.warn-level-signals.orphan-signal
Packs: pack:self-hosting-v1
spec:validation.warn-level-signals.ready-gap-signal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.warn-level-signals.ready-gap-signal
Packs: pack:self-hosting-v1

Distance 5

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.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.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.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-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.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.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.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.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.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.diagram-kinds.maturity-picture
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.mermaid-source
Implementing units
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.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.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.responsive
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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: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: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:decisions.studio-html-surface
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:decisions.studio-web-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-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.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.branch-names-every-end
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.branch-names-every-end
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.chain-end-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.chain-end-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.closed-chain-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.closed-chain-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.dependency-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.dependency-unread
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.end-and-loop-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.end-and-loop-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.live-replacement-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.live-replacement-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replaced-ruling-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replaced-ruling-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replacement-below-ready-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replacement-below-ready-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.superseded-subject-silent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.superseded-subject-silent
Packs: pack:self-hosting-v1

Distance 6

spec: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.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.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.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.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.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-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:decisions.studio-build-renders
Implementing units
None.
Referencing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:decisions.studio-diagram-renderer
Implementing units
None.
Referencing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-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.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.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

Distance 7

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.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.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.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.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 8

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:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-over-plans
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:extraction.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 9

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 10

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
decidedBy · outgoing	Promoted evidence must carry its own evidence `spec:decisions.carried-evidence` · resolves	declared	None	None
decidedBy · outgoing	Readiness evidence follows the Spec kind `spec:decisions.kind-conditional-floor` · resolves	declared	None	None
dependsOn · outgoing	The Protocol models delivery with one enrichable Spec `spec:model.core-model` · resolves	declared	the floor reads the Protocol descriptor model	None
refines · outgoing	Validation separates well-formedness from non-pretending `spec:validation.two-check-families` · resolves	declared	the readiness floor checks honesty of the stated rung	None
dependsOn · incoming	The capability map reads every epic and its refinement descendants `spec:consumers.capability-map` · resolves	declared	each node reads the existing floor beside the author's statement	None
dependsOn · incoming	Derived readiness renders beside the stated rung and warns in one direction `spec:consumers.derived-readiness-banner` · resolves	declared	None	None
dependsOn · incoming	The Protocol organizes its own features in capability epics `spec:protocol.capability-epics` · resolves	declared	reparenting preserves the floor of each existing ready child	None
refines · incoming	Promoted evidence must carry its own evidence `spec:decisions.carried-evidence` · resolves	declared	None	None
refines · incoming	Readiness evidence follows the Spec kind `spec:decisions.kind-conditional-floor` · resolves	declared	None	None
refines · incoming	Each kind carries its own evidence `spec:validation.kind-evidence` · resolves	declared	None	None
refines · incoming	The floor names what blocks the floor's next rung `spec:validation.next-rung-floor` · resolves	declared	None	None
refines · incoming	A blocking open question holds a Spec below defined `spec:validation.readiness-floor.blocking-open-question` · resolves	declared	None	None
refines · incoming	A scoped Spec with no relation names the relation clause `spec:validation.readiness-floor.unrelated-scoped-spec` · resolves	declared	None	None
refines · incoming	A ready Spec rests only on settled dependencies `spec:validation.typed-dependency-floor` · resolves	declared	None	None
verifies · incoming	A blocking open question holds a Spec below defined `spec:validation.readiness-floor.blocking-open-question` · resolves	declared	None	`definedFloor`
verifies · incoming	A scoped Spec with no relation names the relation clause `spec:validation.readiness-floor.unrelated-scoped-spec` · resolves	declared	None	`scopedFloor`

Bindings

Implementation binding: present

impl:protocol.readiness-floor · evaluates the stated readiness floor against the graph · src/validate/readiness-floor.ts:612 · role validator · component component:protocol.validate · layer domain · context protocol

Design reference: none

Verifier binding: present

spec:validation.readiness-floor.blocking-open-question · A blocking open question holds a Spec below defined · declared · specs/validation/readiness-floor.blocking-open-question.sdp.md · example enabled
spec:validation.readiness-floor.unrelated-scoped-spec · A scoped Spec with no relation names the relation clause · declared · specs/validation/readiness-floor.unrelated-scoped-spec.sdp.md · example enabled
test:protocol.readiness-floor · readiness-floor contracts verify stated maturity · anchored · test/readiness.test.ts:66 · test anchor

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifying examples

Example space

Verifier bindings

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

Run 1: external run evidence from vitest 4.1.10

External run evidence from test/readiness.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

Distance 9

Distance 10

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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

External run evidence from `test/readiness.test.ts`