Validation separates well-formedness from non-pretending

spec:validation.two-check-families

Business Rule · epicready floor ready

Design: no design entries · no pinned declarations · 1 decision

specs/validation/two-check-families.sdp.md

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

Intent

outcome: Keep the graph trustworthy by checking conformance and honesty without judging content quality or enforcing workflow.

Rule

rule line 15 · specs/validation/two-check-families.sdp.md:15: Every validator the Protocol ships belongs to either the conformance family, which checks meta-model well-formedness, or the honesty family, which rejects authored or overstated derived truth; a corpus's own rules belong to neither family, and spec:validation.corpus-rules designs how they run and report.
rule line 16 · specs/validation/two-check-families.sdp.md:16: Errors from the Protocol's validators fail the build; gaps and orphans remain informative signals rather than delivery-process gates.
rule line 17 · specs/validation/two-check-families.sdp.md:17: Types check the shape of what is authored in TypeScript, extraction checks every carrier as it reads it, and graph validators check cross-file conformance and honesty; no one layer substitutes for the others.
rule line 18 · specs/validation/two-check-families.sdp.md:18: All graph validation runs through the one derived graph path: source, extraction, graph, then checks.
rule line 19 · specs/validation/two-check-families.sdp.md:19: The two families are load-bearing, so an aggregate report spanning both states no family of its own while every finding of the Protocol's own validators names the family it came from.
rule.stableIds line 20 · specs/validation/two-check-families.sdp.md:20: A validator id, once shipped, names one check for good: it is never reused or repurposed, and a new check ships under a new id.
no example exercises it

5 unkeyed rules.

Verifying examples

One report carries both families and claims neither as its own · spec:validation.two-check-families.split-report · ready floor ready

Executable Spec

Given the graph holds a spec {specId: "spec:probe.two-check-families"} at readiness {readiness: "ready"}
Given the spec declares a dependsOn relation to the absent target {targetId: "spec:probe.absent-dependency"}
When the graph is validated
Then the aggregate report states no family of its own
Then the conformance family reports {conformanceId: "conformance/referential-integrity"} at severity {conformanceSeverity: "error"}
Then the honesty family reports {honestyId: "honesty/gaps"} at severity {honestySeverity: "warning"}

Given

the graph holds a spec {specId: "spec:probe.two-check-families"} at readiness {readiness: "ready"}
the spec declares a dependsOn relation to the absent target {targetId: "spec:probe.absent-dependency"}

When

the graph is validated

Then

the aggregate report states no family of its own
the conformance family reports {conformanceId: "conformance/referential-integrity"} at severity {conformanceSeverity: "error"}
the honesty family reports {honestyId: "honesty/gaps"} at severity {honestySeverity: "warning"}

Composing needs the script.

Open example

Example space

Given the graph holds a spec {specId:string} at readiness {readiness:"idea"|"ready"}
Given the spec declares a dependsOn relation to the absent target {targetId:string}
When the graph is validated
Then the aggregate report states no family of its own
Then the conformance family reports {conformanceId:string} at severity {conformanceSeverity:"warning"|"error"}
Then the honesty family reports {honestyId:string} at severity {honestySeverity:"warning"|"error"}

Verification

Verifier bindings

spec:validation.two-check-families.split-report · One report carries both families and claims neither as its own · declared · example enabled · specs/validation/two-check-families.split-report.sdp.md

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

Run 1: external run evidence from vitest 4.1.10

Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z

Name	Suite	Result	Duration
executes the bound example against a fresh world	A scoped Spec with no relation names the relation clause (spec:validation.readiness-floor.unrelated-scoped-spec)	passed	5.07 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.08 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.02 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.87 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.71 ms
executes the bound example against a fresh world	A disconnected Spec warns and fails nothing (spec:validation.warn-level-signals.orphan-signal)	passed	0.52 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.68 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.63 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.73 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.75 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.63 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.79 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.46 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.22 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.63 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.85 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.4 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	0.8 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	2.07 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.7 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.61 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.59 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.51 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.4 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.48 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.35 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.46 ms
deduplicates stale pairs, names self loops and leaves absent locations absent	not recorded	passed	0.56 ms
warns once for each stale decision and ignores unresolved and wrongly typed replacements	not recorded	passed	1.82 ms
locates each subject separately when two Specs name the same stale decision	not recorded	passed	0.47 ms
checks branch messages independently of the example id	not recorded	passed	0.5 ms
checks the extracted 'message' Design entry	not recorded	passed	1.55 ms
checks the extracted 'closedChainMessage' Design entry	not recorded	passed	0.52 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.51 ms

Example space

specId · string · declared by the graph holds a spec {specId} at readiness {readiness}
readiness · "idea" | "ready" · declared by the graph holds a spec {specId} at readiness {readiness}
targetId · string · declared by the spec declares a dependsOn relation to the absent target {targetId}

Bound points

Example	specId	readiness	targetId
spec:validation.two-check-families.split-report	`"spec:probe.two-check-families"`	`"ready"`	`"spec:probe.absent-dependency"`

Oracle binding: none

Coverage

specId: "spec:probe.two-check-families" · spec:validation.two-check-families.split-report · not enumerable

`readiness`
Declared value	Examples
`"idea"`	no example
`"ready"`	spec:validation.two-check-families.split-report

targetId: "spec:probe.absent-dependency" · spec:validation.two-check-families.split-report · not enumerable

Unbound

specId: None
readiness: None
targetId: None

Given

the graph holds a spec {specId:string} at readiness {readiness:"idea"|"ready"}
the spec declares a dependsOn relation to the absent target {targetId:string}

When

the graph is validated

Then

the aggregate report states no family of its own
the conformance family reports {conformanceId:string} at severity {conformanceSeverity:"warning"|"error"}
the honesty family reports {honestyId:string} at severity {honestySeverity:"warning"|"error"}

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:validation.two-check-families

E7: refines, verifies · declared
E8: refines, verifies · declared (6 per relation)

The diagram as text

spec:validation.two-check-families: Validation separates well-formedness from non-pretending · declared Spec
spec:decisions.one-validation-path: Validation follows one graph · declared Spec
spec:validation.authored-honesty: Machine truth is never authored · declared Spec
spec:validation.claim-separation: Graph claims and contracts stay distinct · declared Spec
spec:validation.diagnostic-rendering: One diagnostic currency, its location composed from structured fields · declared Spec
spec:validation.duplicate-ids: Duplicate carrier IDs are excluded loudly · declared Spec
spec:validation.pack-coherence: Packs are coherent aggregates · declared Spec
spec:validation.readiness-floor: Stated readiness must clear its floor · declared Spec
spec:validation.referential-integrity: Every graph reference resolves · declared Spec
spec:validation.two-check-families.split-report: One report carries both families and claims neither as its own · declared Spec
spec:validation.validator-self-testing: Every validator ships evidence in both directions · declared Spec
spec:validation.verification-linkage: Example verification and oracle bindings resolve honestly · declared Spec
spec:validation.warn-level-signals: Missing connective evidence warns without failing · declared Spec
spec:validation.authored-honesty.section-authored-fact: A delivery fact smuggled into a section is refused · declared Spec
spec:validation.authored-honesty.unearned-stated-fact: A stated delivery fact no binding earns is refused · declared Spec
spec:validation.claim-separation.collapsed-edge-claim: A binding edge cannot borrow the declared claim · declared Spec
spec:validation.claim-separation.unratified-descriptor: An unratified kind fails closed instead of reaching the floor · declared Spec
spec:validation.diagnostic-rendering.composed-location: One finding, three location shapes, one composition rule · declared Spec
spec:validation.diagnostic-rendering.table-cell-location: The same three location shapes, rendered as table cells · declared Spec
spec:validation.duplicate-ids.dual-carrier: TypeScript and Markdown duplicates are both refused · declared Spec
spec:validation.pack-coherence.incoherent-aggregate: A repeated member and a non-model modelRef are both named · 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.referential-integrity.dangling-target: An unrelated missing target is a bare conformance error · declared Spec
spec:validation.referential-integrity.did-you-mean: A unique near miss earns a did-you-mean suggestion · declared Spec
spec:validation.validator-self-testing.duplicate-pair-named: A check paired twice is named · declared Spec
spec:validation.validator-self-testing.overeager-check-named: A check that reports its near miss is named overeager · declared Spec
spec:validation.validator-self-testing.shipped-checks-paired: Every shipped check reports its refusing probe and leaves its near miss alone · declared Spec
spec:validation.validator-self-testing.silent-check-named: A check that stops reporting is named silent · declared Spec
spec:validation.validator-self-testing.unpaired-check-named: A registered check without a probe pair is named unpaired · declared Spec
spec:validation.validator-self-testing.unregistered-id-named: A finding id the source writes outside every registry is named · declared Spec
spec:validation.verification-linkage.unbound-example: A declared verifier no test binds confers nothing · declared Spec
spec:validation.verification-linkage.unresolved-oracle: An oracle targeting a Spec with no example space is refused · declared Spec
spec:validation.warn-level-signals.orphan-signal: A disconnected Spec warns and fails nothing · declared Spec
spec:validation.warn-level-signals.ready-gap-signal: A ready Spec without a verifier warns and fails nothing · declared Spec
spec:decisions.carried-evidence: Promoted evidence must carry its own evidence · declared Spec
spec:decisions.decision-readiness-posture: Decision records state readiness from ratification 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.oracle-target-eligibility: Oracle eligibility follows example-space ownership · declared Spec
spec:validation.prose-mentions: Every Spec id written in prose resolves · declared Spec
spec:validation.superseded-decision-signal: A Spec shaped by a superseded decision warns · declared Spec
spec:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies · declared Spec
spec:validation.unbound-example-posture: An unbound example below ready is data, not a warning · declared Spec
component:protocol.validate: one finding currency and ordered checks · anchored code · src/validate/validators.ts:72
impl:protocol.authored-honesty-delivery-facts: checks stated delivery facts equal the one recomputed derivation · anchored code · src/validate/validators.ts:1624
impl:protocol.authored-honesty-shape: refuses delivery facts smuggled through authored section carriers · anchored code · src/validate/validators.ts:1556
impl:protocol.claim-separation: checks graph claims, descriptors, node shapes, and relation endpoint contracts · anchored code · src/validate/validators.ts:534
impl:protocol.diagnostic-rendering-cli: composes structured finding fields into the one command-line diagnostic form · anchored code · src/cli/output.ts:23
impl:protocol.diagnostic-rendering-design-review: renders structured finding locations in the Design Review table · anchored code · src/projections/design-review-context.ts:208
impl:protocol.duplicate-id-exclusion: excludes duplicated carrier ids from the graph · anchored code · src/extract/index.ts:93
impl:protocol.duplicate-ids: rejects duplicate node identities from any graph producer · anchored code · src/validate/validators.ts:263
impl:protocol.graph-index: builds the one-graph index validators and the reader share · anchored code · src/validate/graph-index.ts:28
impl:protocol.oracle-linkage: resolves and de-duplicates expected-outcome oracle bindings · anchored code · src/validate/validators.ts:913
impl:protocol.orphan-signal: surfaces relationless Specs as informative orphan warnings · anchored code · src/validate/validators.ts:1128
impl:protocol.pack-coherence: checks Pack membership agreement and uniqueness and model-reference kinds · anchored code · src/validate/validators.ts:1102
impl:protocol.readiness-floor: evaluates the stated readiness floor against the graph · anchored code · src/validate/readiness-floor.ts:612
impl:protocol.referential-integrity: checks every graph edge endpoint and Pack model reference resolves · anchored code · src/validate/validators.ts:183
impl:protocol.validate-summary: prints validate's findings and its summary line · anchored code · src/cli/validate-view-command.ts:23
impl:protocol.validation-contracts: conformance/honesty family currency and finding shapes · anchored code · src/validate/contracts.ts:5
impl:protocol.validation-families: conformance and honesty validator registry · anchored code · src/validate/validators.ts:60
impl:protocol.validator-probe-table: declares the refusing and accepting probes for every registered finding id · anchored code · test/helpers/validator-probes.ts:372
impl:protocol.validator-self-testing: audits the finding registries against source literals and paired probes · anchored code · test/helpers/validator-audit.ts:86
impl:protocol.verifier-gap-signal: surfaces ready Specs without recomputed verifier bindings as informative gaps · anchored code · src/validate/validators.ts:1734
impl:protocol.verifies-linkage: resolves declared example verification through enabled test bindings · anchored code · src/validate/validators.ts:838
oracle:protocol.validator-self-testing: oracle:protocol.validator-self-testing · anchored oracle binding · test/validator-audit.test.ts:100
test:protocol.authored-honesty.section-authored-fact: the section point verifies the authoring-shape refusal · anchored test binding · binding present · test/self-hosting-validators.test.ts:848
test:protocol.authored-honesty.unearned-stated-fact: the stated-fact point verifies the delivery-fact refusal · anchored test binding · binding present · test/self-hosting-validators.test.ts:864
test:protocol.claim-separation.collapsed-edge-claim: the collapsed-claim point verifies the binding-edge contract row · anchored test binding · binding present · test/self-hosting-validators.test.ts:952
test:protocol.claim-separation.unratified-descriptor: the unratified-kind point verifies the fail-closed descriptor law · anchored test binding · binding present · test/self-hosting-validators.test.ts:968
test:protocol.diagnostic-rendering.composed-location: the composed-location point verifies the one rendering rule and both degradations · anchored test binding · binding present · test/self-hosting-projections.test.ts:1277
test:protocol.diagnostic-rendering.table-cell-location: the table-cell point verifies the same composition rule on the Design Review's twin · anchored test binding · binding present · test/self-hosting-projections.test.ts:1292
test:protocol.duplicate-ids.dual-carrier: dual-carrier duplicate-ID contract verifies carrier exclusion · anchored test binding · binding present · test/self-hosting-duplicate-ids.test.ts:316
test:protocol.pack-coherence.incoherent-aggregate: the incoherent-aggregate point verifies both halves of the pack law · anchored test binding · binding present · test/self-hosting-validators.test.ts:1325
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.referential-integrity.dangling-target: the dangling-target point verifies the unresolved-reference error · anchored test binding · binding present · test/self-hosting-validators.test.ts:748
test:protocol.referential-integrity.did-you-mean: the near-miss point verifies the unique did-you-mean suggestion · anchored test binding · binding present · test/self-hosting-validators.test.ts:764
test:protocol.two-check-families.split-report: the split-report point verifies both families in one aggregate report · anchored test binding · binding present · test/self-hosting-validators.test.ts:1398
test:protocol.validator-self-testing.duplicate-pair-named: test:protocol.validator-self-testing.duplicate-pair-named · anchored test binding · binding present · test/validator-audit.test.ts:202
test:protocol.validator-self-testing.overeager-check-named: test:protocol.validator-self-testing.overeager-check-named · anchored test binding · binding present · test/validator-audit.test.ts:172
test:protocol.validator-self-testing.shipped-checks-paired: test:protocol.validator-self-testing.shipped-checks-paired · anchored test binding · binding present · test/validator-audit.test.ts:142
test:protocol.validator-self-testing.silent-check-named: test:protocol.validator-self-testing.silent-check-named · anchored test binding · binding present · test/validator-audit.test.ts:157
test:protocol.validator-self-testing.unpaired-check-named: test:protocol.validator-self-testing.unpaired-check-named · anchored test binding · binding present · test/validator-audit.test.ts:187
test:protocol.validator-self-testing.unregistered-id-named: test:protocol.validator-self-testing.unregistered-id-named · anchored test binding · binding present · test/validator-audit.test.ts:217
test:protocol.verification-linkage.unbound-example: the unbound-example point verifies the incomplete spec-to-test trace · anchored test binding · binding present · test/self-hosting-validators.test.ts:1106
test:protocol.verification-linkage.unresolved-oracle: the unresolved-oracle point verifies the oracle binding refusal · anchored test binding · binding present · test/self-hosting-validators.test.ts:1123
test:protocol.warn-level-signals.orphan-signal: the orphan point verifies the disconnected-spec warning · anchored test binding · binding present · test/self-hosting-validators.test.ts:657
test:protocol.warn-level-signals.ready-gap-signal: the gap point verifies the unverified-ready warning · anchored test binding · binding present · test/self-hosting-validators.test.ts:673
spec:decisions.carried-evidence refines spec:validation.readiness-floor · declared
spec:decisions.decision-readiness-posture refines spec:validation.warn-level-signals · declared
spec:decisions.kind-conditional-floor refines spec:validation.readiness-floor · declared
spec:decisions.one-validation-path refines spec:validation.two-check-families · declared
spec:validation.authored-honesty refines spec:validation.two-check-families · declared
spec:validation.authored-honesty.section-authored-fact refines spec:validation.authored-honesty · declared
spec:validation.authored-honesty.section-authored-fact verifies spec:validation.authored-honesty · declared
spec:validation.authored-honesty.unearned-stated-fact refines spec:validation.authored-honesty · declared
spec:validation.authored-honesty.unearned-stated-fact verifies spec:validation.authored-honesty · declared
spec:validation.claim-separation refines spec:validation.two-check-families · declared
spec:validation.claim-separation.collapsed-edge-claim refines spec:validation.claim-separation · declared
spec:validation.claim-separation.collapsed-edge-claim verifies spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor refines spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor verifies spec:validation.claim-separation · declared
spec:validation.diagnostic-rendering refines spec:validation.two-check-families · declared
spec:validation.diagnostic-rendering.composed-location refines spec:validation.diagnostic-rendering · declared
spec:validation.diagnostic-rendering.composed-location verifies spec:validation.diagnostic-rendering · declared
spec:validation.diagnostic-rendering.table-cell-location refines spec:validation.diagnostic-rendering · declared
spec:validation.diagnostic-rendering.table-cell-location verifies spec:validation.diagnostic-rendering · declared
spec:validation.duplicate-ids refines spec:validation.two-check-families · declared — duplicate identity is a conformance refusal
spec:validation.duplicate-ids.dual-carrier refines spec:validation.duplicate-ids · declared
spec:validation.duplicate-ids.dual-carrier verifies spec:validation.duplicate-ids · declared
spec:validation.kind-evidence refines spec:validation.readiness-floor · declared
spec:validation.next-rung-floor refines spec:validation.readiness-floor · declared
spec:validation.oracle-target-eligibility refines spec:validation.verification-linkage · declared
spec:validation.pack-coherence refines spec:validation.two-check-families · declared
spec:validation.pack-coherence.incoherent-aggregate refines spec:validation.pack-coherence · declared
spec:validation.pack-coherence.incoherent-aggregate verifies spec:validation.pack-coherence · declared
spec:validation.prose-mentions refines spec:validation.referential-integrity · 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.referential-integrity refines spec:validation.two-check-families · declared
spec:validation.referential-integrity.dangling-target refines spec:validation.referential-integrity · declared
spec:validation.referential-integrity.dangling-target verifies spec:validation.referential-integrity · declared
spec:validation.referential-integrity.did-you-mean refines spec:validation.referential-integrity · declared
spec:validation.referential-integrity.did-you-mean verifies spec:validation.referential-integrity · declared
spec:validation.superseded-decision-signal refines spec:validation.warn-level-signals · declared
spec:validation.two-check-families.split-report refines spec:validation.two-check-families · declared
spec:validation.two-check-families.split-report verifies spec:validation.two-check-families · declared
spec:validation.typed-dependency-floor refines spec:validation.readiness-floor · declared
spec:validation.unbound-example-posture refines spec:validation.verification-linkage · declared
spec:validation.validator-self-testing refines spec:validation.two-check-families · declared
spec:validation.validator-self-testing.duplicate-pair-named refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.duplicate-pair-named verifies spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.overeager-check-named refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.overeager-check-named verifies spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.shipped-checks-paired refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.shipped-checks-paired verifies spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.silent-check-named refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.silent-check-named verifies spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.unpaired-check-named refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.unpaired-check-named verifies spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.unregistered-id-named refines spec:validation.validator-self-testing · declared
spec:validation.validator-self-testing.unregistered-id-named verifies spec:validation.validator-self-testing · declared
spec:validation.verification-linkage refines spec:validation.two-check-families · declared
spec:validation.verification-linkage.unbound-example refines spec:validation.verification-linkage · declared
spec:validation.verification-linkage.unbound-example verifies spec:validation.verification-linkage · declared
spec:validation.verification-linkage.unresolved-oracle refines spec:validation.verification-linkage · declared
spec:validation.verification-linkage.unresolved-oracle verifies spec:validation.verification-linkage · declared
spec:validation.warn-level-signals refines spec:validation.two-check-families · declared
spec:validation.warn-level-signals.orphan-signal refines spec:validation.warn-level-signals · declared
spec:validation.warn-level-signals.orphan-signal verifies spec:validation.warn-level-signals · declared
spec:validation.warn-level-signals.ready-gap-signal refines spec:validation.warn-level-signals · declared
spec:validation.warn-level-signals.ready-gap-signal verifies spec:validation.warn-level-signals · declared
component:protocol.validate satisfies spec:validation.two-check-families · anchored
impl:protocol.authored-honesty-delivery-facts satisfies spec:validation.authored-honesty · anchored
impl:protocol.authored-honesty-shape satisfies spec:validation.authored-honesty · anchored
impl:protocol.claim-separation satisfies spec:validation.claim-separation · anchored
impl:protocol.diagnostic-rendering-cli satisfies spec:validation.diagnostic-rendering · anchored
impl:protocol.diagnostic-rendering-design-review satisfies spec:validation.diagnostic-rendering · anchored
impl:protocol.duplicate-id-exclusion satisfies spec:validation.duplicate-ids · anchored
impl:protocol.duplicate-ids satisfies spec:validation.duplicate-ids · anchored
impl:protocol.graph-index satisfies spec:validation.two-check-families · anchored
impl:protocol.oracle-linkage satisfies spec:validation.verification-linkage · anchored
impl:protocol.orphan-signal satisfies spec:validation.warn-level-signals · anchored
impl:protocol.pack-coherence satisfies spec:validation.pack-coherence · anchored
impl:protocol.readiness-floor satisfies spec:validation.readiness-floor · anchored
impl:protocol.referential-integrity satisfies spec:validation.referential-integrity · anchored
impl:protocol.validate-summary satisfies spec:validation.diagnostic-rendering · anchored
impl:protocol.validation-contracts satisfies spec:validation.two-check-families · anchored
impl:protocol.validation-contracts satisfies spec:validation.diagnostic-rendering · anchored
impl:protocol.validation-families satisfies spec:validation.two-check-families · anchored
impl:protocol.validator-probe-table satisfies spec:validation.validator-self-testing · anchored
impl:protocol.validator-self-testing satisfies spec:validation.validator-self-testing · anchored
impl:protocol.verifier-gap-signal satisfies spec:validation.warn-level-signals · anchored
impl:protocol.verifies-linkage satisfies spec:validation.verification-linkage · anchored
oracle:protocol.validator-self-testing models spec:validation.validator-self-testing · anchored
test:protocol.authored-honesty.section-authored-fact verifies spec:validation.authored-honesty.section-authored-fact · anchored
test:protocol.authored-honesty.unearned-stated-fact verifies spec:validation.authored-honesty.unearned-stated-fact · anchored
test:protocol.claim-separation.collapsed-edge-claim verifies spec:validation.claim-separation.collapsed-edge-claim · anchored
test:protocol.claim-separation.unratified-descriptor verifies spec:validation.claim-separation.unratified-descriptor · anchored
test:protocol.diagnostic-rendering.composed-location verifies spec:validation.diagnostic-rendering.composed-location · anchored
test:protocol.diagnostic-rendering.table-cell-location verifies spec:validation.diagnostic-rendering.table-cell-location · anchored
test:protocol.duplicate-ids.dual-carrier verifies spec:validation.duplicate-ids.dual-carrier · anchored
test:protocol.pack-coherence.incoherent-aggregate verifies spec:validation.pack-coherence.incoherent-aggregate · 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.referential-integrity.dangling-target verifies spec:validation.referential-integrity.dangling-target · anchored
test:protocol.referential-integrity.did-you-mean verifies spec:validation.referential-integrity.did-you-mean · anchored
test:protocol.two-check-families.split-report verifies spec:validation.two-check-families.split-report · anchored
test:protocol.validator-self-testing.duplicate-pair-named verifies spec:validation.validator-self-testing.duplicate-pair-named · anchored
test:protocol.validator-self-testing.overeager-check-named verifies spec:validation.validator-self-testing.overeager-check-named · anchored
test:protocol.validator-self-testing.shipped-checks-paired verifies spec:validation.validator-self-testing.shipped-checks-paired · anchored
test:protocol.validator-self-testing.silent-check-named verifies spec:validation.validator-self-testing.silent-check-named · anchored
test:protocol.validator-self-testing.unpaired-check-named verifies spec:validation.validator-self-testing.unpaired-check-named · anchored
test:protocol.validator-self-testing.unregistered-id-named verifies spec:validation.validator-self-testing.unregistered-id-named · anchored
test:protocol.verification-linkage.unbound-example verifies spec:validation.verification-linkage.unbound-example · anchored
test:protocol.verification-linkage.unresolved-oracle verifies spec:validation.verification-linkage.unresolved-oracle · anchored
test:protocol.warn-level-signals.orphan-signal verifies spec:validation.warn-level-signals.orphan-signal · anchored
test:protocol.warn-level-signals.ready-gap-signal verifies spec:validation.warn-level-signals.ready-gap-signal · 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.two-check-families

flowchart TB
  n0["10 refining Specs · declared, folded"]
  %% folded diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0: spec:decisions.one-validation-path, spec:validation.authored-honesty, spec:validation.claim-separation, spec:validation.diagnostic-rendering, spec:validation.duplicate-ids, spec:validation.pack-coherence, spec:validation.readiness-floor, spec:validation.referential-integrity, spec:validation.verification-linkage, spec:validation.warn-level-signals
  n1["Validation separates well-formedness from non-pretending · declared Spec · spec:validation.two-check-families"]
  n2["Every validator ships evidence in both directions · declared Spec · spec:validation.validator-self-testing"]
  n3["23 verifying examples · declared; 23 test bindings · anchored, folded"]
  %% folded diagram.spec:validation.two-check-families.requirement.fold.verifies.incoming.declared: spec:validation.two-check-families.split-report, spec:validation.authored-honesty.section-authored-fact, spec:validation.authored-honesty.unearned-stated-fact, spec:validation.claim-separation.collapsed-edge-claim, spec:validation.claim-separation.unratified-descriptor, spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location, spec:validation.duplicate-ids.dual-carrier, spec:validation.pack-coherence.incoherent-aggregate, spec:validation.readiness-floor.blocking-open-question, spec:validation.readiness-floor.unrelated-scoped-spec, spec:validation.referential-integrity.dangling-target, spec:validation.referential-integrity.did-you-mean, spec:validation.validator-self-testing.duplicate-pair-named, spec:validation.validator-self-testing.overeager-check-named, spec:validation.validator-self-testing.shipped-checks-paired, spec:validation.validator-self-testing.silent-check-named, spec:validation.validator-self-testing.unpaired-check-named, spec:validation.validator-self-testing.unregistered-id-named, spec:validation.verification-linkage.unbound-example, spec:validation.verification-linkage.unresolved-oracle, spec:validation.warn-level-signals.orphan-signal, spec:validation.warn-level-signals.ready-gap-signal, test:protocol.authored-honesty.section-authored-fact, test:protocol.authored-honesty.unearned-stated-fact, test:protocol.claim-separation.collapsed-edge-claim, test:protocol.claim-separation.unratified-descriptor, test:protocol.diagnostic-rendering.composed-location, test:protocol.diagnostic-rendering.table-cell-location, test:protocol.duplicate-ids.dual-carrier, test:protocol.pack-coherence.incoherent-aggregate, test:protocol.readiness-floor.blocking-open-question, test:protocol.readiness-floor.unrelated-scoped-spec, test:protocol.referential-integrity.dangling-target, test:protocol.referential-integrity.did-you-mean, test:protocol.two-check-families.split-report, test:protocol.validator-self-testing.duplicate-pair-named, test:protocol.validator-self-testing.overeager-check-named, test:protocol.validator-self-testing.shipped-checks-paired, test:protocol.validator-self-testing.silent-check-named, test:protocol.validator-self-testing.unpaired-check-named, test:protocol.validator-self-testing.unregistered-id-named, test:protocol.verification-linkage.unbound-example, test:protocol.verification-linkage.unresolved-oracle, test:protocol.warn-level-signals.orphan-signal, test:protocol.warn-level-signals.ready-gap-signal
  n4["21 satisfying units · anchored, folded"]
  %% folded diagram.spec:validation.two-check-families.requirement.fold.satisfies.incoming.anchored: component:protocol.validate, impl:protocol.authored-honesty-delivery-facts, impl:protocol.authored-honesty-shape, impl:protocol.claim-separation, impl:protocol.diagnostic-rendering-cli, impl:protocol.diagnostic-rendering-design-review, impl:protocol.duplicate-id-exclusion, impl:protocol.duplicate-ids, impl:protocol.graph-index, impl:protocol.oracle-linkage, impl:protocol.orphan-signal, impl:protocol.pack-coherence, impl:protocol.readiness-floor, impl:protocol.referential-integrity, impl:protocol.validate-summary, impl:protocol.validation-contracts, impl:protocol.validation-families, impl:protocol.validator-probe-table, impl:protocol.validator-self-testing, impl:protocol.verifier-gap-signal, impl:protocol.verifies-linkage
  n5["oracle:protocol.validator-self-testing · anchored oracle binding · oracle:protocol.validator-self-testing"]
  n6["readiness-floor contracts verify stated maturity · anchored test binding · binding present · test:protocol.readiness-floor"]
  n7["10 refining Specs · declared, folded"]
  %% folded diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.4: spec:decisions.carried-evidence, spec:decisions.decision-readiness-posture, spec:decisions.kind-conditional-floor, spec:validation.kind-evidence, spec:validation.next-rung-floor, spec:validation.oracle-target-eligibility, spec:validation.prose-mentions, spec:validation.superseded-decision-signal, spec:validation.typed-dependency-floor, spec:validation.unbound-example-posture
  n0 -->|"refines · declared (10 unit edges)"| n1
  %% count: 10; diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0 to spec:validation.two-check-families
  n7 -->|"refines · declared (10 unit edges)"| n0
  %% count: 10; diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.4 to diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0
  n4 -->|"satisfies · anchored (16 unit edges)"| n0
  %% count: 16; diagram.spec:validation.two-check-families.requirement.fold.satisfies.incoming.anchored to diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0
  n4 -->|"satisfies · anchored (4 unit edges)"| n1
  %% count: 4; diagram.spec:validation.two-check-families.requirement.fold.satisfies.incoming.anchored to spec:validation.two-check-families
  n4 -->|"satisfies · anchored (2 unit edges)"| n2
  %% count: 2; diagram.spec:validation.two-check-families.requirement.fold.satisfies.incoming.anchored to spec:validation.validator-self-testing
  n3 -->|"refines, verifies · declared (16 per relation)"| n0
  %% count: 16; diagram.spec:validation.two-check-families.requirement.fold.verifies.incoming.declared to diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0
  n3 -->|"refines, verifies · declared"| n1
  %% count: 1; diagram.spec:validation.two-check-families.requirement.fold.verifies.incoming.declared to spec:validation.two-check-families
  n3 -->|"refines, verifies · declared (6 per relation)"| n2
  %% count: 6; diagram.spec:validation.two-check-families.requirement.fold.verifies.incoming.declared to spec:validation.validator-self-testing
  n5 -->|"models · anchored"| n2
  %% count: 1; oracle:protocol.validator-self-testing to spec:validation.validator-self-testing
  n2 -->|"refines · declared"| n1
  %% count: 1; spec:validation.validator-self-testing to spec:validation.two-check-families
  n6 -->|"verifies · anchored"| n0
  %% count: 1; test:protocol.readiness-floor to diagram.spec:validation.two-check-families.requirement.fold.refines.incoming.declared.band.0

Decisions

Validation follows one graph
Validators consume the derived graph through one path: source, extraction, graph, then checks.

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.graph-index · builds the one-graph index validators and the reader share · src/validate/graph-index.ts:28
Component: component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
Uses
None.
impl:protocol.validation-contracts · conformance/honesty family currency and finding shapes · src/validate/contracts.ts:5
Component: component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
Uses
None.
impl:protocol.validation-families · conformance and honesty validator registry · src/validate/validators.ts:60
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.two-check-families

E4: verifies · declared

The diagram as text

spec:decisions.one-validation-path: Validation follows one graph
spec:validation.authored-honesty: Machine truth is never authored
spec:validation.claim-separation: Graph claims and contracts stay distinct
spec:validation.corpus-rules: Corpus-authored rules run on the one validation path
spec:validation.diagnostic-rendering: One diagnostic currency, its location composed from structured fields
spec:validation.duplicate-ids: Duplicate carrier IDs are excluded loudly
spec:validation.pack-coherence: Packs are coherent aggregates
spec:validation.readiness-floor: Stated readiness must clear its floor
spec:validation.referential-integrity: Every graph reference resolves
spec:validation.two-check-families: Validation separates well-formedness from non-pretending
spec:validation.two-check-families.split-report: One report carries both families and claims neither as its own
spec:validation.validator-self-testing: Every validator ships evidence in both directions
spec:validation.verification-linkage: Example verification and oracle bindings resolve honestly
spec:validation.warn-level-signals: Missing connective evidence warns without failing
spec:validation.two-check-families decidedBy spec:decisions.one-validation-path · declared
spec:validation.corpus-rules constrainedBy spec:validation.two-check-families · declared
spec:decisions.one-validation-path refines spec:validation.two-check-families · declared
spec:validation.authored-honesty refines spec:validation.two-check-families · declared
spec:validation.claim-separation refines spec:validation.two-check-families · declared
spec:validation.diagnostic-rendering refines spec:validation.two-check-families · declared
spec:validation.duplicate-ids refines spec:validation.two-check-families · declared — duplicate identity is a conformance refusal
spec:validation.pack-coherence refines spec:validation.two-check-families · declared
spec:validation.readiness-floor refines spec:validation.two-check-families · declared — the readiness floor checks honesty of the stated rung
spec:validation.referential-integrity refines spec:validation.two-check-families · declared
spec:validation.two-check-families.split-report refines spec:validation.two-check-families · declared
spec:validation.validator-self-testing refines spec:validation.two-check-families · declared
spec:validation.verification-linkage refines spec:validation.two-check-families · declared
spec:validation.warn-level-signals refines spec:validation.two-check-families · declared
spec:validation.two-check-families.split-report verifies spec:validation.two-check-families · 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.two-check-families

flowchart TB
  n0["Validation separates well-formedness from non-pretending · spec:validation.two-check-families"]
  n1["12 Incoming refines, folded · spec:validation.two-check-families.fold.Incoming.refines"]
  %% folded spec:validation.two-check-families.fold.Incoming.refines: spec:decisions.one-validation-path, spec:validation.authored-honesty, spec:validation.claim-separation, spec:validation.diagnostic-rendering, spec:validation.duplicate-ids, spec:validation.pack-coherence, spec:validation.readiness-floor, spec:validation.referential-integrity, spec:validation.two-check-families.split-report, spec:validation.validator-self-testing, spec:validation.verification-linkage, spec:validation.warn-level-signals
  n2["Corpus-authored rules run on the one validation path · spec:validation.corpus-rules"]
  n2 -->|"constrainedBy · declared"| n0
  %% count: 1; spec:validation.corpus-rules to spec:validation.two-check-families
  n0 -->|"decidedBy · declared"| n1
  %% count: 1; spec:validation.two-check-families to spec:validation.two-check-families.fold.Incoming.refines
  n1 -->|"refines · declared (12 unit edges)"| n0
  %% count: 12; spec:validation.two-check-families.fold.Incoming.refines to spec:validation.two-check-families
  n1 -->|"verifies · declared"| n0
  %% count: 1; spec:validation.two-check-families.fold.Incoming.refines to spec:validation.two-check-families

Rests on

decidedBy · spec:decisions.one-validation-path · stated ready, floor ready

Rested on by

Distance 1

spec:decisions.one-validation-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:validation.authored-honesty
Implementing units
- impl:protocol.authored-honesty-delivery-facts · src/validate/validators.ts:1624
- impl:protocol.authored-honesty-shape · src/validate/validators.ts:1556
Referencing units
None.
Enabled verifiers: spec:validation.authored-honesty.section-authored-fact, spec:validation.authored-honesty.unearned-stated-fact
Packs: pack:self-hosting-v1
spec:validation.claim-separation
Implementing units
- impl:protocol.claim-separation · src/validate/validators.ts:534
Referencing units
None.
Enabled verifiers: spec:validation.claim-separation.collapsed-edge-claim, spec:validation.claim-separation.unratified-descriptor
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.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.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
spec:validation.readiness-floor
Implementing units
- impl:protocol.readiness-floor · src/validate/readiness-floor.ts:612
Referencing units
None.
Enabled verifiers: spec:validation.readiness-floor.blocking-open-question, spec:validation.readiness-floor.unrelated-scoped-spec, test:protocol.readiness-floor
Packs: pack:self-hosting-v1
spec:validation.referential-integrity
Implementing units
- impl:protocol.referential-integrity · src/validate/validators.ts:183
Referencing units
None.
Enabled verifiers: spec:validation.referential-integrity.dangling-target, spec:validation.referential-integrity.did-you-mean
Packs: pack:self-hosting-v1
spec:validation.two-check-families.split-report
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.two-check-families.split-report
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing
Implementing units
- impl:protocol.validator-probe-table · test/helpers/validator-probes.ts:372
- impl:protocol.validator-self-testing · test/helpers/validator-audit.ts:86
Referencing units
None.
Enabled verifiers: spec:validation.validator-self-testing.duplicate-pair-named, spec:validation.validator-self-testing.overeager-check-named, spec:validation.validator-self-testing.shipped-checks-paired, spec:validation.validator-self-testing.silent-check-named, spec:validation.validator-self-testing.unpaired-check-named, spec:validation.validator-self-testing.unregistered-id-named
Packs: pack:self-hosting-v1
spec:validation.verification-linkage
Implementing units
- impl:protocol.oracle-linkage · src/validate/validators.ts:913
- impl:protocol.verifies-linkage · src/validate/validators.ts:838
Referencing units
None.
Enabled verifiers: spec:validation.verification-linkage.unbound-example, spec:validation.verification-linkage.unresolved-oracle
Packs: 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 2

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.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.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:consumers.validate-watch
Implementing units
- impl:protocol.validate-watch · src/cli/validate-watch.ts:591
Referencing units
None.
Enabled verifiers: test:protocol.validate-watch, test:protocol.validate-watch-rules
Packs: pack:adopter-speed-v1, pack:design-management-v1, pack:self-hosting-v1
spec:decisions.anchor-comment-form
Implementing units
None.
Referencing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:121
- impl:protocol.anchors-subpath · src/anchors.ts:8
Enabled verifiers: None
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.decision-readiness-posture
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:extraction.derive-graph
Implementing units
- component:protocol.extract · src/extract/index.ts:192
- impl:protocol.carrier-reification · src/extract/carrier.ts:54
- impl:protocol.derive-graph · src/extract/derive.ts:241
- impl:protocol.extract · src/extract/index.ts:208
- impl:protocol.schema-version · src/graph/schema.ts:9
Referencing units
None.
Enabled verifiers: test:protocol.extract
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: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.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.authored-honesty.section-authored-fact
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.authored-honesty.section-authored-fact
Packs: pack:self-hosting-v1
spec:validation.authored-honesty.unearned-stated-fact
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.authored-honesty.unearned-stated-fact
Packs: pack:self-hosting-v1
spec:validation.claim-separation.collapsed-edge-claim
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.claim-separation.collapsed-edge-claim
Packs: pack:self-hosting-v1
spec:validation.claim-separation.unratified-descriptor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.claim-separation.unratified-descriptor
Packs: 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.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.external-registers
Implementing units
- impl:protocol.external-registers-recipe · test/external-registers.test.ts:9
Referencing units
None.
Enabled verifiers: spec:validation.external-registers.uncited-on-request, spec:validation.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.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.oracle-target-eligibility
Implementing units
- impl:protocol.oracle-linkage · src/validate/validators.ts:913
- impl:protocol.oracle-target-eligibility · src/graph/oracle-bindings.ts:25
Referencing units
None.
Enabled verifiers: spec:validation.oracle-target-eligibility.missing-space-refused, spec:validation.oracle-target-eligibility.rule-space-accepted
Packs: pack:self-hosting-v1
spec:validation.pack-coherence.incoherent-aggregate
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1
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.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.referential-integrity.dangling-target
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.referential-integrity.dangling-target
Packs: pack:self-hosting-v1
spec:validation.referential-integrity.did-you-mean
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.referential-integrity.did-you-mean
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.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
spec:validation.unbound-example-posture
Implementing units
- impl:protocol.unbound-example-posture · src/validate/validators.ts:847
Referencing units
None.
Enabled verifiers: spec:validation.unbound-example-posture.lower-rungs, spec:validation.unbound-example-posture.parent-traces, spec:validation.unbound-example-posture.warning-cases
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.duplicate-pair-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.duplicate-pair-named
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.overeager-check-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.overeager-check-named
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.shipped-checks-paired
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.shipped-checks-paired
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.silent-check-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.silent-check-named
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.unpaired-check-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.unpaired-check-named
Packs: pack:self-hosting-v1
spec:validation.validator-self-testing.unregistered-id-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validator-self-testing.unregistered-id-named
Packs: pack:self-hosting-v1
spec:validation.verification-linkage.unbound-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.verification-linkage.unbound-example
Packs: pack:self-hosting-v1
spec:validation.verification-linkage.unresolved-oracle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.verification-linkage.unresolved-oracle
Packs: 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 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.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.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.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.impact-graph
Implementing units
- impl:protocol.typescript-imports · src/adapters/typescript-imports.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.curation-imports
Packs: pack:design-iteration-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.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.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
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.glossary-page
Implementing units
- impl:protocol.studio-glossary · src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.shell
Implementing units
- impl:protocol.studio-code-spans · src/projections/studio/pages/code-spans.ts:9
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-html · src/projections/studio/pages/html.ts:8
- impl:protocol.studio-text · src/projections/studio/pages/text.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.slice-page
Implementing units
- impl:protocol.studio-slice-page · src/projections/studio/pages/slice-page.ts:25
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.spec-page
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.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.concept-docs-dissolve
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.envelope-grammar-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.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:decisions.executable-meta-model
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:extraction.build-pipeline
Implementing units
- component:protocol.cli · src/cli/build-command.ts:32
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.build-pipeline-query · src/cli/q-command.ts:212
Referencing units
None.
Enabled verifiers: spec:extraction.build-pipeline.same-invocation
Packs: pack:self-hosting-v1
spec:extraction.claim-taxonomy
Implementing units
- component:protocol.graph · src/graph/schema.ts:34
- impl:protocol.derive-graph · src/extract/derive.ts:241
- impl:protocol.schema-version · src/graph/schema.ts:9
Referencing units
None.
Enabled verifiers: test:protocol.claim-taxonomy
Packs: pack:self-hosting-v1
spec:extraction.delivery-facts
Implementing units
- impl:protocol.delivery-facts · src/graph/delivery-facts.ts:65
Referencing units
None.
Enabled verifiers: test:protocol.delivery-facts
Packs: pack:self-hosting-v1
spec:extraction.determinism
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.static-reification · src/extract/reify.ts:2139
Referencing units
None.
Enabled verifiers: test:protocol.extraction-determinism
Packs: pack:self-hosting-v1
spec:extraction.entry-citations
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.entry-citation-reader · src/reader/entry-citations.ts:19
- impl:protocol.entry-citation-recipe · test/recipes.test.ts:7008
- impl:protocol.entry-citation-scan · src/extract/entry-citations.ts:6
Referencing units
None.
Enabled verifiers: spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.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:extraction.excludes
Implementing units
- impl:protocol.discover-files · src/extract/discover.ts:35
- impl:protocol.exclusion-surface · src/extract/index.ts:43
Referencing units
None.
Enabled verifiers: spec:extraction.excludes.refused-path, spec:extraction.excludes.segment-boundary
Packs: pack:self-hosting-v1
spec:extraction.executable-examples
Implementing units
- impl:protocol.delivery-facts · src/graph/delivery-facts.ts:65
- impl:protocol.example-runner · src/runner/index.ts:108
- impl:protocol.example-runner-adapter · src/adapters/vitest.ts:32
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.executable-contracts · src/codegen/contracts.ts:647
- impl:protocol.runnable-modules · src/codegen/contracts.ts:658
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:extraction.open-section-order
Implementing units
- impl:protocol.open-section-order · src/extract/serialize.ts:105
Referencing units
None.
Enabled verifiers: test:protocol.open-section-order
Packs: 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: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:extraction.schema-versioning
Implementing units
- impl:protocol.schema-version · src/graph/schema.ts:9
Referencing units
None.
Enabled verifiers: spec:extraction.schema-versioning.declared-version
Packs: pack:self-hosting-v1
spec:model.anchors
Implementing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:121
- impl:protocol.anchor-model · src/model/anchors.ts:108
- impl:protocol.anchors-subpath · src/anchors.ts:8
- impl:protocol.protocol-bindings · src/extract/protocol-bindings.ts:93
- impl:protocol.structural-anchors · src/validate/validators.ts:595
Referencing units
None.
Enabled verifiers: spec:model.anchors.lookalike-refusal, spec:model.anchors.physical-identity
Packs: pack:self-hosting-v1
spec:model.open-question-keys
Implementing units
- impl:protocol.open-question-keys · src/extract/markdown-body-owner-behavior.ts:38
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts: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:model.spec-sections
Implementing units
- impl:protocol.spec-sections · src/model/sections.ts:138
- impl:protocol.verifier-semantics · src/validate/readiness-floor.ts:593
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:observation.runtime-overlay
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
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: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.architecture-constraints.forbidden-layer-pair
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.forbidden-layer-pair
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.isolated-context-as-rule
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.isolated-context-as-rule
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.unstated-layer-unclassified
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.external-registers.uncited-on-request
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.uncited-on-request
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.external-registers.unknown-and-retired
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.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.oracle-target-eligibility.missing-space-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.oracle-target-eligibility.missing-space-refused
Packs: pack:self-hosting-v1
spec:validation.oracle-target-eligibility.rule-space-accepted
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.oracle-target-eligibility.rule-space-accepted
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
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
spec:validation.unbound-example-posture.lower-rungs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.unbound-example-posture.lower-rungs
Packs: pack:self-hosting-v1
spec:validation.unbound-example-posture.parent-traces
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.unbound-example-posture.parent-traces
Packs: pack:self-hosting-v1
spec:validation.unbound-example-posture.warning-cases
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.unbound-example-posture.warning-cases
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.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4769
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.agent-surface.register-recipes
Implementing units
- impl:protocol.register-recipes · test/recipes.test.ts:2057
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:consumers.command-line
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.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-diff
Implementing units
- impl:protocol.design-diff-recipe · test/iteration-recipes.test.ts:27
Referencing units
None.
Enabled verifiers: test:protocol.design-diff-recipe, test:protocol.roadmap-priority
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-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.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.impact-graph.curation-assist
Implementing units
- impl:protocol.build-imports · src/cli/build-command.ts:243
- impl:protocol.curation-recipe · test/curation-recipes.test.ts:32
- impl:protocol.typescript-imports · src/adapters/typescript-imports.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.curation-imports, test:protocol.curation-recipe
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.impact-graph.symbol-reach
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault
Implementing units
- impl:protocol.vault-command · src/cli/vault-command.ts:191
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused, spec:consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.bases
Implementing units
- impl:protocol.vault-bases · src/projections/vault/bases.ts:43
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.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.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.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.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.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
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.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.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
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers
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.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.roadmap-page
Implementing units
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
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.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:consumers.vault-on-ramp
Implementing units
- impl:protocol.vault-on-ramp · test/skills.test.ts:1995
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite
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.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.anchor-binding-grain
Implementing units
None.
Referencing units
- impl:protocol.derive-graph · src/extract/derive.ts:241
- impl:protocol.schema-version · src/graph/schema.ts:9
- impl:protocol.structural-anchors · src/validate/validators.ts:595
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.architectural-annotation
Implementing units
None.
Referencing units
- impl:protocol.anchor-model · src/model/anchors.ts:108
- impl:protocol.census-page · src/projections/census.ts:21
- impl:protocol.structural-anchors · src/validate/validators.ts:595
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.binding-not-liveness
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.content-only-sections
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.exclusion-contract
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.point-per-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.prose-ownership
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.question-key-rendering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-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:decisions.typing-law
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.verification-posture-not-realization
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.build-pipeline.same-invocation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.build-pipeline.same-invocation
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-citations.code-comment-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.code-comment-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.test-title-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.test-title-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unanchored-file-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unanchored-file-unread
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unresolved-citation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.example-runner
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.excludes.refused-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.excludes.refused-path
Packs: pack:self-hosting-v1
spec:extraction.excludes.segment-boundary
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.excludes.segment-boundary
Packs: 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.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:extraction.regenerability
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
Referencing units
None.
Enabled verifiers: test:protocol.regenerability
Packs: pack:self-hosting-v1
spec:extraction.schema-versioning.declared-version
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.schema-versioning.declared-version
Packs: pack:self-hosting-v1
spec:model.anchors.lookalike-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.anchors.lookalike-refusal
Packs: pack:self-hosting-v1
spec:model.anchors.physical-identity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.anchors.physical-identity
Packs: pack:self-hosting-v1
spec:model.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.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.planned-architecture
Implementing units
- impl:protocol.planned-components-recipe · test/architecture-recipes.test.ts:16
Referencing units
- impl:protocol.curation-recipe · test/curation-recipes.test.ts:32
Enabled verifiers: spec:model.planned-architecture.differing-layer-and-uses, spec:model.planned-architecture.matching-design, spec:model.planned-architecture.unrealized-design
Packs: pack:corpus-checks-v1, pack:design-management-v1, 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:model.structural-patterns
Implementing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:121
- impl:protocol.census-page · src/projections/census.ts:21
- 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: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:observation.run-evidence
Implementing units
- impl:protocol.run-evidence-recipe · test/recipes.test.ts:7277
- impl:protocol.studio-runs-page · src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:observation.run-evidence.absolute-path-joins, spec:observation.run-evidence.unanchored-file-unjoined
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:protocol.role-vocabulary
Implementing units
- impl:protocol.role-vocabulary · test/self-hosting-graph.test.ts:143
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.significant-units-review
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1

Distance 5

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.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.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.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.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.design-review
Implementing units
- impl:protocol.design-review · src/projections/design-review.ts:44
- impl:protocol.design-review-codec · src/projections/design-review-markdown.ts:3
Referencing units
None.
Enabled verifiers: spec:consumers.design-review.pure-projection
Packs: pack:self-hosting-v1
spec:consumers.design-slice.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.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.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.mermaid-view
Implementing units
- impl:protocol.mermaid-view · src/projections/mermaid.ts:14
- impl:protocol.mermaid-view-cli · src/cli/mermaid-command.ts:82
Referencing units
None.
Enabled verifiers: test:protocol.mermaid-view
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault.bases.views-match-sources
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.changed-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.changed-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-keeps-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.fresh-vault
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.fresh-vault
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.hidden-file-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.hidden-file-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.interrupted-run-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.interrupted-run-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.person-notes-survive
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.person-notes-survive
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.unknown-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.unknown-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.vault-in-build-path-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.spec-studio.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.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.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.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
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.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.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.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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: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.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.checked-mentions
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.example-realization-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec: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.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: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.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.planned-architecture.differing-layer-and-uses
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.model.planned-architecture.differing-layer-and-uses
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:model.planned-architecture.matching-design
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.model.planned-architecture.matching-design
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:model.planned-architecture.unrealized-design
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.model.planned-architecture.unrealized-design
Packs: pack:corpus-checks-v1, 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.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:observation.run-evidence.absolute-path-joins
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-absolute
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:observation.run-evidence.unanchored-file-unjoined
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-unjoined
Packs: pack:self-hosting-v1, pack:spec-studio-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.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.binding-language-views.bound-spec-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.bound-spec-page
Packs: pack:self-hosting-v1
spec:consumers.binding-language-views.pack-member-table
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.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.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.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.spec-studio.diagram-kinds.maturity-picture
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.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.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:model.core-model
Implementing units
- component:protocol.model · src/model/anchors.ts:100
- impl:protocol.spec-descriptors · src/model/descriptors.ts:38
- impl:protocol.spec-primitive · src/model/spec.ts:20
Referencing units
None.
Enabled verifiers: test:protocol.core-model
Packs: pack:self-hosting-v1
spec:model.stable-ids
Implementing units
- impl:protocol.stable-ids · src/ids.ts:173
Referencing units
None.
Enabled verifiers: spec:model.stable-ids.malformed-refusal, spec:model.stable-ids.namespaced-round-trip, spec:model.stable-ids.unsectioned-address-refused
Packs: 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.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.one-primitive
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-priority
Implementing units
None.
Referencing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
- impl:protocol.pack-member-order · src/extract/derive.ts:153
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:model.pack-aggregate
Implementing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
Referencing units
None.
Enabled verifiers: test:protocol.pack-builder, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:model.relations
Implementing units
- impl:protocol.spec-relations · src/model/relations.ts:81
Referencing units
None.
Enabled verifiers: test:protocol.relation-builders
Packs: pack:self-hosting-v1
spec:model.stable-ids.malformed-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.stable-ids.malformed-refusal
Packs: pack:self-hosting-v1
spec:model.stable-ids.namespaced-round-trip
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.stable-ids.namespaced-round-trip
Packs: pack:self-hosting-v1
spec:model.stable-ids.unsectioned-address-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.stable-ids.unsectioned-address-refused
Packs: pack:self-hosting-v1

Distance 8

spec:decisions.pack-reified
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.planning-truths-placement
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

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	Validation follows one graph `spec:decisions.one-validation-path` · resolves	declared	None	None
constrainedBy · incoming	Corpus-authored rules run on the one validation path `spec:validation.corpus-rules` · resolves	declared	None	None
refines · incoming	Validation follows one graph `spec:decisions.one-validation-path` · resolves	declared	None	None
refines · incoming	Machine truth is never authored `spec:validation.authored-honesty` · resolves	declared	None	None
refines · incoming	Graph claims and contracts stay distinct `spec:validation.claim-separation` · resolves	declared	None	None
refines · incoming	One diagnostic currency, its location composed from structured fields `spec:validation.diagnostic-rendering` · resolves	declared	None	None
refines · incoming	Duplicate carrier IDs are excluded loudly `spec:validation.duplicate-ids` · resolves	declared	duplicate identity is a conformance refusal	None
refines · incoming	Packs are coherent aggregates `spec:validation.pack-coherence` · resolves	declared	None	None
refines · incoming	Stated readiness must clear its floor `spec:validation.readiness-floor` · resolves	declared	the readiness floor checks honesty of the stated rung	None
refines · incoming	Every graph reference resolves `spec:validation.referential-integrity` · resolves	declared	None	None
refines · incoming	One report carries both families and claims neither as its own `spec:validation.two-check-families.split-report` · resolves	declared	None	None
refines · incoming	Every validator ships evidence in both directions `spec:validation.validator-self-testing` · resolves	declared	None	None
refines · incoming	Example verification and oracle bindings resolve honestly `spec:validation.verification-linkage` · resolves	declared	None	None
refines · incoming	Missing connective evidence warns without failing `spec:validation.warn-level-signals` · resolves	declared	None	None
verifies · incoming	One report carries both families and claims neither as its own `spec:validation.two-check-families.split-report` · resolves	declared	None	None

Bindings

Implementation binding: present

component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · role validator · layer domain · context protocol
impl:protocol.graph-index · builds the one-graph index validators and the reader share · src/validate/graph-index.ts:28 · role index · component component:protocol.validate · layer domain · context protocol
impl:protocol.validation-contracts · conformance/honesty family currency and finding shapes · src/validate/contracts.ts:5 · role contract · component component:protocol.validate · layer domain · context protocol
impl:protocol.validation-families · conformance and honesty validator registry · src/validate/validators.ts:60 · role contract · component component:protocol.validate · layer domain · context protocol

Design reference: none

Verifier binding: present

spec:validation.two-check-families.split-report · One report carries both families and claims neither as its own · declared · specs/validation/two-check-families.split-report.sdp.md · example enabled

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifying examples

Example space

Verifier bindings

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

Run 1: external run evidence from vitest 4.1.10

Example space

Bound points

Coverage

Unbound

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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