Projections fan out from one graph without becoming truth stores

spec:consumers.projections-model

Domain Model · epicready floor ready

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

specs/consumers/projections-model.sdp.md

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

Intent

outcome: Give agents and humans consumer-specific views while preserving the repository as the only canonical source.

Model

projection line 18 · specs/consumers/projections-model.sdp.md:18: A pure, disposable, regenerable function of the graph that produces a consumer artifact without becoming a second source of truth.
diagnostic publication posture line 19 · specs/consumers/projections-model.sdp.md:19: After extraction succeeds, a projection publishes its honestly labelled graph view even when validation reports errors, and returns the validation exit code so findings remain both visible and nonzero. Publication failures remain separate: an unsafe output parent refuses writes and cleanup through it; Design Review, Mermaid and Gherkin publishers refuse their whole page set on a case-insensitive page-path collision, name both ids and paths, remove stale roots only through safe parents, and exit 1. Renderers retain their page names and bytes.
curated graph line 20 · specs/consumers/projections-model.sdp.md:20: The part of the one derived graph that carries declared intent and anchored bindings, kept sparse by curation; the impact graph's inferred structure remains distinct.
reader line 21 · specs/consumers/projections-model.sdp.md:21: The thin typed front door that decodes graph joins and taxonomy once, returns composable data, and persists nothing.
curation line 22 · specs/consumers/projections-model.sdp.md:22: The deliberate difference between the sparse curated graph and the exhaustive code-structure surface spec:consumers.impact-graph designs; it is not drift.
discipline line 23 · specs/consumers/projections-model.sdp.md:23: A filter that selects or groups Specs by kind or section; it is not a phase to pass through.

Verification

Verifier bindings

test:protocol.cli-write-boundaries · anchored · test anchor binding present · test/cli-write-boundaries.test.ts:292

External run evidence from `test/cli-write-boundaries.test.ts`

Test anchors: test:protocol.cli-write-boundaries. Specs verified by those bindings: spec:consumers.design-review, spec:consumers.gherkin-view, spec:consumers.mermaid-view, spec:consumers.projections-model, spec:consumers.wholesale-view-rewrite, spec:extraction.build-pipeline.

Run 2: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
replaces a stale 'symbolic' link at 'graph.json' without touching its target	build write boundaries	passed	54.47 ms
replaces a stale 'hard' link at 'graph.json' without touching its target	build write boundaries	passed	16.32 ms
replaces a stale 'symbolic' link at 'imports.json' without touching its target	build write boundaries	passed	11.53 ms
replaces a stale 'hard' link at 'imports.json' without touching its target	build write boundaries	passed	10.36 ms
replaces a stale 'symbolic' link at 'registrars.json' without touching its target	build write boundaries	passed	27.5 ms
replaces a stale 'hard' link at 'registrars.json' without touching its target	build write boundaries	passed	17.97 ms
routes a successful build's ordinary removals and writes through the filesystem hooks	build write boundaries	passed	23.41 ms
names an unresolvable output parent when generated is a dangling link	build write boundaries	passed	1.05 ms
refuses a staging link planted after stale removal	build write boundaries	passed	5.06 ms
build refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	7 ms
view refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	4.66 ms
census refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	4.94 ms
mermaid refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	4.96 ms
gherkin refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	6.66 ms
studio refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	4.54 ms
generate refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	4.54 ms
vault refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	5.19 ms
stamp refuses an escaping generated parent before writing or cleanup	build write boundaries	passed	5.45 ms
keeps the named root in ordinary command output	explicit symlinked watch root	passed	5.72 ms
validate starts and reruns through the named root	explicit symlinked watch root	passed	29.85 ms
studio starts and reruns through the named root	explicit symlinked watch root	passed	62.13 ms
vault starts and reruns through the named root	explicit symlinked watch root	passed	29.55 ms
view refuses case-colliding pages and removes stale output	portable projection publication	passed	9.55 ms
mermaid refuses case-colliding pages and removes stale output	portable projection publication	passed	8.21 ms
gherkin refuses case-colliding pages and removes stale output	portable projection publication	passed	8.19 ms
stamp replaces a symbolic link without modifying its target	publication boundary regressions	passed	4.57 ms
stamp replaces a hard link without modifying its target	publication boundary regressions	passed	1.67 ms
a stamp that fails after staging leaves no staging file in the page set	publication boundary regressions	passed	1.34 ms
view recovery preserves outside output after a parent swap	publication boundary regressions	passed	4.57 ms
census recovery preserves outside output after a parent swap	publication boundary regressions	passed	4.7 ms
mermaid recovery preserves outside output after a parent swap	publication boundary regressions	passed	4.94 ms
gherkin recovery preserves outside output after a parent swap	publication boundary regressions	passed	5.11 ms
studio recovery preserves outside output after a parent swap	publication boundary regressions	passed	4.7 ms
vault recovery preserves outside output after a parent swap	publication boundary regressions	passed	4.45 ms
generate recovery preserves outside output after a parent swap	publication boundary regressions	passed	6.03 ms
build refuses inside-link generated identity	publication boundary regressions	passed	4.61 ms
build refuses replaced-directory generated identity	publication boundary regressions	passed	2.86 ms
vault refuses a default vault linked outside the root but allows an explicit outside vault	publication boundary regressions	passed	6.69 ms
generate refuses a default vault linked outside the root but allows an explicit outside vault	publication boundary regressions	passed	19.16 ms
vault holds a default vault linked inside the root to the placement rules where it resolves	publication boundary regressions	passed	12.3 ms
generate holds a default vault linked inside the root to the placement rules where it resolves	publication boundary regressions	passed	29.22 ms
projection suite refuses a linked generated parent (check-clean: false)	publication boundary regressions	passed	40.27 ms
projection suite refuses a linked generated parent (check-clean: true)	publication boundary regressions	passed	39.73 ms
package artifacts unlink stale staging links and refuse linked recipe directories	publication boundary regressions	passed	1.68 ms
package artifacts refuse a linked recipe directory before stale cleanup	not recorded	passed	0.78 ms
watch leaves outside bytes unchanged after direct-empty parent swap	not recorded	passed	11.63 ms
watch leaves outside bytes unchanged after direct-managed parent swap	not recorded	passed	15.51 ms
watch leaves outside bytes unchanged after checkout-empty parent swap	not recorded	passed	134.97 ms
watch leaves outside bytes unchanged after checkout-managed parent swap	not recorded	passed	116.97 ms
watch leaves outside bytes unchanged after studio-direct parent swap	not recorded	passed	23.31 ms

test:protocol.projections-model.publication · projection publication tests verify regeneration and diagnostic exit codes · anchored · test anchor binding present · test/cli.test.ts:61

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

Test anchors: test:protocol.engine-provenance, test:protocol.extraction-determinism, test:protocol.projections-model.publication, test:protocol.regenerability, test:protocol.validate-watch. Specs verified by those bindings: spec:consumers.engine-provenance, spec:consumers.projections-model, spec:consumers.validate-watch, spec:extraction.determinism, spec:extraction.regenerability.

Run 1: external run evidence from vitest 4.1.10

Build: CI 439 · Branch: docs/articles-refresh-1 · Commit: 61576184ea9f39b7f91c51fef5ff991b0bf2d0e6 · Start: 2026-11-04T08:03:40.500Z · Stop: 2026-11-04T08:04:09.917Z

Name	Suite	Result	Duration
prints the exact help text for no args	sdp cli	passed	2.5 ms
points operators to the shipped on-ramps and Protocol corpus	sdp cli	passed	2.6 ms
describes both anchor forms and non-failing warnings in help	sdp cli	passed	0.61 ms
prints the exact help text for --help	sdp cli	passed	0.29 ms
builds the checkout-v1 example: writes graph, contracts, and registrar manifest atomically	sdp cli	passed	183.58 ms
invalidates an existing Design Review when build replaces its source graph	sdp cli	passed	102.06 ms
views the self-hosting corpus from the default repository root	sdp cli	passed	14803.46 ms
renders contracts warnings through the one formatter and counts them in the summary	sdp cli	passed	11.76 ms
withholds case-colliding contract paths with a warning: graph kept, nothing gates	sdp cli	passed	7.14 ms
passes --check-clean on the example (determinism self-check through the CLI)	sdp cli	passed	63.79 ms
end-to-end determinism self-check: delete generated/, rebuild, byte-identical	sdp cli	passed	239.81 ms
fails clean on a root that is not a directory: one line, exit 1, never a stack trace	sdp cli	passed	0.44 ms
rejects an unknown option: one line, exit 1, nothing runs	sdp cli	passed	0.2 ms
accepts repeatable --exclude paths for build	sdp cli	passed	7.89 ms
accepts repeatable --exclude paths for validate	sdp cli	passed	9.26 ms
accepts repeatable --exclude paths for view	sdp cli	passed	8.56 ms
uses the identical normalized exclusions in both --check-clean extractions	sdp cli	passed	11.76 ms
refuses invalid --exclude path "" before build writes	sdp cli	passed	1.23 ms
refuses invalid --exclude path "." before build writes	sdp cli	passed	0.67 ms
refuses invalid --exclude path "./explorations" before build writes	sdp cli	passed	0.46 ms
refuses invalid --exclude path "explorations/" before build writes	sdp cli	passed	0.41 ms
refuses invalid --exclude path "/explorations" before build writes	sdp cli	passed	0.42 ms
refuses invalid --exclude path "../x" before build writes	sdp cli	passed	0.41 ms
refuses invalid --exclude path "a/../b" before build writes	sdp cli	passed	0.34 ms
refuses invalid --exclude path "a//b" before build writes	sdp cli	passed	0.33 ms
refuses invalid --exclude path "a\\b" before build writes	sdp cli	passed	0.49 ms
refuses a missing --exclude operand before build writes	sdp cli	passed	0.51 ms
names a flag supplied as an --exclude operand before build writes	sdp cli	passed	0.35 ms
documents repeatable --exclude paths in help	sdp cli	passed	0.13 ms
rejects a second root argument: one line, exit 1, nothing runs	sdp cli	passed	0.3 ms
notes an empty authored model: zero spec files still builds and exits 0, but says where it looked	sdp cli	passed	2.84 ms
renders a finding's location exactly once, from the structured fields: file:line — [severity]	sdp cli	passed	5.53 ms
renders a Gherkin parser failure through the public CLI	sdp cli	passed	3.78 ms
exits 1, writes nothing, and removes a stale graph.json on a hard-error corpus	sdp cli	passed	6.4 ms
fails build on an integer-like design key holding a static value	sdp cli	passed	10.07 ms
fails build on an integer-like design key holding a non-static value	sdp cli	passed	3.54 ms
fails build on an integer-like design key holding a method	sdp cli	passed	3.59 ms
fails build on an integer-like design key holding an accessor	sdp cli	passed	3.72 ms
fails --check-clean on a diverging second extraction: exit 1, the stale graph.json removed	sdp cli	passed	11.32 ms
fails --check-clean on a diverging second contract generation: exit 1, no artifact survives	sdp cli	passed	40.44 ms
owns the contracts tree wholesale: with nothing to generate, a stale contracts dir is removed	sdp cli	passed	8.01 ms
refuses a swapped registrar ancestor before creating outside parent directories	sdp cli	passed	23.4 ms
reconciles a registrar sibling that a later generation no longer owes	sdp cli	passed	44.01 ms
fails --check-clean on registrar-byte drift and removes the uncertified known set	sdp cli	passed	54.69 ms
passes --check-clean without a prior manifest when no registrars are owed	sdp cli	passed	8.5 ms
fails --check-clean on registrar manifest whitespace drift	sdp cli	passed	53.03 ms
fails --check-clean on registrar manifest ignored property drift	sdp cli	passed	55.98 ms
removes graph, contracts, manifest, and registrar siblings after a staged write failure	sdp cli	passed	46.62 ms
fails clean when extraction throws past discovery: one line, exit 1, the stale graph.json removed	sdp cli	passed	1.74 ms
fails clean when generated exists as a file: one line each for build and view, never a stack trace	sdp cli	passed	1.59 ms
names the survivor when a recovery-path removal is denied: a stale artifact never silently reads as current	sdp cli	passed	1.58 ms
stops a build when an existing Design Review cannot be invalidated	sdp cli	passed	6.18 ms
fails clean when the checks throw: one line, exit 1, the built graph.json stays	sdp cli	passed	7.39 ms
suppresses the empty-model note when spec files were found but none reified — a failed file is not an absent one	sdp cli	passed	4.51 ms
treats a root of only ordinary .feature files as an empty authored model, not a missing-identity error	sdp cli	passed	3.08 ms
suppresses the empty-model note when a failed .sdp.gherkin finding.file matches the carrier suffix predicate	sdp cli	passed	3.35 ms
builds a mixed root with one .sdp.gherkin carrier and ignores the ordinary .feature sibling	sdp cli	passed	3.64 ms
removes the temp twin on a failed build and a failed view — no partial .tmp artifact survives	sdp cli	passed	21.76 ms
recognizes the published-bin path: a .bin-style symlink resolves to the entry module	sdp cli	passed	0.79 ms
exits 0 quietly on a stdout EPIPE and stays fatal for any other stream error	sdp cli	passed	0.92 ms
validates the example: exit 0, the artifact written, and no warning	sdp cli	passed	58.4 ms
gates on the checks, not the build: a clean-building broken link validates to exit 1 with the artifact kept	sdp cli	passed	8.03 ms
short-circuits the checks on extraction hard errors: validate keeps build semantics	sdp cli	passed	4.99 ms
prints help plus an unknown-command error	sdp cli	passed	0.23 ms
views the example: validate + the Design Review written, with no warning	sdp cli	passed	84.09 ms
owns the view directory wholesale: a stale page does not survive a re-render	sdp cli	passed	35.98 ms
regenerates the view byte-identically: delete generated/, re-view, same bytes	sdp cli	passed	58.04 ms
writes the view even when checks fail: findings render in it, the exit code is validate's	sdp cli	passed	9.51 ms
keeps build semantics on extraction hard errors: no graph, no view, stale view removed	sdp cli	passed	4.54 ms
fails view --check-clean on a diverging second render: exit 1, the stale view removed	sdp cli	passed	10.34 ms
fails clean when the render throws: one line on stderr, exit 1, the stale view removed	sdp cli	passed	6.38 ms
closes the compiled watch process with exit 0 after operator SIGINT	sdp validate --watch	passed	490.08 ms
documents --watch as a validate-only authoring loop	sdp validate --watch	passed	0.32 ms
rejects --watch on build with a named error and no watcher	sdp validate --watch	passed	0.23 ms
rejects --watch on view with a named error and no watcher	sdp validate --watch	passed	0.13 ms
rejects --watch on census with a named error and no watcher	sdp validate --watch	passed	0.13 ms
rejects --watch on mermaid with a named error and no watcher	sdp validate --watch	passed	0.13 ms
rejects --watch on gherkin with a named error and no watcher	sdp validate --watch	passed	0.13 ms
rejects --watch on import with a named error and no watcher	sdp validate --watch	passed	0.31 ms
rejects --watch on new with a named error and no watcher	sdp validate --watch	passed	0.4 ms
rejects --watch on q with a named error and no watcher	sdp validate --watch	passed	0.35 ms
rejects --watch --check-clean with a named error and no watcher	sdp validate --watch	passed	0.21 ms
installs the watcher before the first validation cycle	sdp validate --watch	passed	8.85 ms
catches an edit during the first cycle with exactly one coalesced rerun	sdp validate --watch	passed	12.09 ms
coalesces a burst during an active cycle into exactly one rerun	sdp validate --watch	passed	11.97 ms
prints validation findings and keeps watching until abort exits 0	sdp validate --watch	passed	11.72 ms
ignores generated, dist, node_modules, coverage, dot directories, and configured excludes	sdp validate --watch	passed	13.37 ms
coalesces production-shaped events from later turns into one pending rerun	sdp validate --watch	passed	11.99 ms
does not natively subscribe to excluded or generated subtrees	sdp validate --watch	passed	31.81 ms
routes a native watcher error through a typed channel and closes once	sdp validate --watch	passed	7.71 ms
clean-repo determinism: the full pipeline at a different absolute path is byte-identical	not recorded	passed	152.57 ms
clean-repo determinism: an untouched Protocol copy has the same graph with external and local engines	not recorded	passed	9629.74 ms
prints one line naming the package version and the recorded commit, and exits 0	sdp --version	passed	0.67 ms
names the commit unknown when the build recorded none or recorded something else	sdp --version	passed	1.12 ms
reads the version from the package manifest two directories above the CLI module	sdp --version	passed	0.46 ms
documents --version and --params in the usage text	sdp --version	passed	0.2 ms
records the checked-out commit at build time, or unknown when git cannot name one	sdp --version	passed	16.95 ms
publishes the commit the build step reads from git beside the CLI	sdp --version	passed	1.94 ms
builds commit metadata from a substituted git archive extracted without .git	sdp --version	passed	60.71 ms
uses only a full archive commit when git gives none, keeping git first	sdp --version	passed	1.82 ms
answers from the compiled CLI with the commit its build recorded beside it	sdp --version	passed	475.14 ms
runs recipe 4 as shipped, its changed files passed with --params @PATH	a shipped recipe file through the compiled CLI	passed	588.2 ms

test:protocol.projections-model.reader · reader tests verify composable graph joins without persistence · anchored · test anchor binding present · test/reader.test.ts:35

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

Test anchors: test:protocol.projections-model.reader. Specs verified by those bindings: spec:consumers.projections-model.

Run 2: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
exposes authored open-section and model-term order in a Spec context	the reader — the thin typed loader behind the agent surface > flat accessors	passed	6.91 ms
carries owned prose in spec summaries and contexts	the reader — the thin typed loader behind the agent surface > flat accessors	passed	1.52 ms
summarizes every spec with the decode done once: display label, recomputed facts, packs, derived readiness	the reader — the thin typed loader behind the agent surface > flat accessors	passed	8.71 ms
summarizes packs and exposes the full findings — the holes beside the assertions (JS-E2)	the reader — the thin typed loader behind the agent surface > flat accessors	passed	4.29 ms
finds narrative and owned section descriptions	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	0.84 ms
matches ids first, then titles/labels, then section prose — deterministic, never fuzzy	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	2.88 ms
reaches the domain vocabulary: a model term key is content, not structure	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	1.95 ms
matches an anchor label, case-insensitively — label tier before prose tier	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	2.31 ms
never matches section structure keys: a query naming a shape key finds only content	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	2.06 ms
returns nothing for an empty query	the reader — the thin typed loader behind the agent surface > findByConcept — the grep→graph bridge from a string	passed	1.83 ms
maps a spec file to the spec authored there	the reader — the thin typed loader behind the agent surface > byFile — the grep→graph bridge from a file	passed	2.59 ms
maps a source file through its bindings to the specs they satisfy (./-prefix normalized)	the reader — the thin typed loader behind the agent surface > byFile — the grep→graph bridge from a file	passed	4.42 ms
maps the oracle's file through its models binding to the spec it models — no blind spot	the reader — the thin typed loader behind the agent surface > byFile — the grep→graph bridge from a file	passed	1.68 ms
maps a test file through its anchor to the example it verifies	the reader — the thin typed loader behind the agent surface > byFile — the grep→graph bridge from a file	passed	2.11 ms
answers honestly for a file the graph records nothing at	the reader — the thin typed loader behind the agent surface > byFile — the grep→graph bridge from a file	passed	1.85 ms
reaches the bound spec and its one-hop neighborhood with the connecting edges named	the reader — the thin typed loader behind the agent surface > blastRadius — file-level impact, coverage-unknown honest (`06` §2)	passed	3.39 ms
treats a changed spec file as direct impact (no binding in the reason)	the reader — the thin typed loader behind the agent surface > blastRadius — file-level impact, coverage-unknown honest (`06` §2)	passed	7.52 ms
treats a changed pack manifest as pack impact with the members at risk via belongsTo	the reader — the thin typed loader behind the agent surface > blastRadius — file-level impact, coverage-unknown honest (`06` §2)	passed	2.27 ms
surfaces an unanchored changed file as coverage-unknown, never silently dropped	the reader — the thin typed loader behind the agent surface > blastRadius — file-level impact, coverage-unknown honest (`06` §2)	passed	3.13 ms
normalizes, dedupes, and sorts the changed-file list	the reader — the thin typed loader behind the agent surface > blastRadius — file-level impact, coverage-unknown honest (`06` §2)	passed	1.76 ms
joins relations, bindings, recomputed facts, and the spec's findings in one answer	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	2.23 ms
decodes a test anchor as an enabled verifier binding with its source location	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	1.95 ms
decodes the oracle binding — existence with its source location, never content	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	3.28 ms
decodes a rule-kind oracle through the shared example-space predicate	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	0.87 ms
fails closed on off-contract or competing oracle edges	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	4.94 ms
carries the oracle's file into blast radius through the models binding	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	1.78 ms
returns undefined for an id the graph does not hold	the reader — the thin typed loader behind the agent surface > specContext — the irreducible per-spec join	passed	1.36 ms
names the scoped dependency of a Spec stating defined at the next rung, ready	the reader — the thin typed loader behind the agent surface > nextRungFailures — the unmet clauses of the rung above the floor reached	passed	1.23 ms
has no next-rung failure when the same dependency states defined and ready derives	the reader — the thin typed loader behind the agent surface > nextRungFailures — the unmet clauses of the rung above the floor reached	passed	0.56 ms
reads the rung above the floor reached, not the rung above the stated one	the reader — the thin typed loader behind the agent surface > nextRungFailures — the unmet clauses of the rung above the floor reached	passed	0.63 ms
reads idea as the next rung when no rung derives, and nothing for an unratified kind	the reader — the thin typed loader behind the agent surface > nextRungFailures — the unmet clauses of the rung above the floor reached	passed	1 ms
marks an unratified kind or altitude as not evaluated, apart from below idea and from a clear rung	the reader — the thin typed loader behind the agent surface > nextRungFailures — the unmet clauses of the rung above the floor reached	passed	3.63 ms
lists members with their decode and the verifier gaps, ready ones as the priority slice	the reader — the thin typed loader behind the agent surface > packContext — the pack reviewed as a unit (JS-E4, JS-G4)	passed	3.09 ms
excludes ready and below-ready decisions from gaps while preserving non-decision order	the reader — the thin typed loader behind the agent surface > packContext — the pack reviewed as a unit (JS-E4, JS-G4)	passed	1.32 ms
flags a ready member without a verifier as the priority gap	the reader — the thin typed loader behind the agent surface > packContext — the pack reviewed as a unit (JS-E4, JS-G4)	passed	0.69 ms
answers membership the same from the list and from the belongsTo edges, and the validator names a graph where they disagree	the reader — the thin typed loader behind the agent surface > packContext — the pack reviewed as a unit (JS-E4, JS-G4)	passed	1.36 ms
returns undefined for a non-pack id	the reader — the thin typed loader behind the agent surface > packContext — the pack reviewed as a unit (JS-E4, JS-G4)	passed	1.3 ms
exposes recomputed delivery facts, never stated ones — the divergence stays a finding	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	0.55 ms
never decodes an anchored verifies edge from a non-Anchor source as the enabling test binding	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	0.94 ms
never decodes an off-contract verifies edge from an anchor-bound example as enabled	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	0.71 ms
never confers has-verifier from an anchor-bound non-example verifier — the kind gate of the shared enabled-example rule	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	0.66 ms
keys the verifier by first carrier on a duplicate-id graph — decode and derived facts agree	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	1.02 ms
carries the claim through impact answers — machine-derived reach is marked, never promoted	the reader — the thin typed loader behind the agent surface > honesty over foreign producers	passed	0.73 ms
lists the units that reference a Spec beside its implementations, with role and location	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	1.32 ms
never confers a delivery fact through references	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.84 ms
carries layer and context on a component's binding row	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.53 ms
reaches a referenced Spec from a source file	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.81 ms
returns an identity-only unit with an empty Spec list	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.43 ms
traverses references as a binding, naming the edge type and its claim	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.74 ms
lists changed units with no Spec linkage as unlinked, never coverage-unknown or dropped	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.76 ms
keeps a file holding only an identity-only unit out of coverage-unknown and out of impact	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	0.56 ms
reports nothing unlinked when every changed unit has a Spec linkage	the reader — the thin typed loader behind the agent surface > the binding grain: references and unlinked code units	passed	1.42 ms
never mutates the graph and answers identically across fresh readers	the reader — the thin typed loader behind the agent surface > purity and determinism	passed	4.64 ms

test:protocol.projections-model.rendering · graph-only rendering tests verify pure disposable projection pages · anchored · test anchor binding present · test/design-review.test.ts:36

External run evidence from `test/design-review.test.ts`

Test anchors: test:protocol.projections-model.rendering. Specs verified by those bindings: spec:consumers.projections-model.

Run 2: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
labels the index as diagnostic when the real reader reports validation errors	the generated Design Review	passed	41.69 ms
publishes the real diagnostic Design Review and returns nonzero	the generated Design Review	passed	22.06 ms
renders the self-hosting spec narrative from the graph	the generated Design Review	passed	1.95 ms
renders every owned description as escaped prose and omits absent prose artifacts	the generated Design Review	passed	2.53 ms
reads no authored Markdown source while projecting graph and Reader values	the generated Design Review	passed	2.55 ms
renders the committed self-hosting corpus byte-identically at two absolute roots	the generated Design Review	passed	15112.1 ms
rejects swapped prose semantically even when the wrong graph renders deterministically	the generated Design Review	passed	3.8 ms
percent-encodes source link targets on Spec and Pack headers and every binding	the generated Design Review	passed	41.05 ms
percent-encodes page link targets on the index and detail pages	the generated Design Review	passed	41.08 ms
golden correctness oracle: the renderer produces the right view, page set and bytes	the generated Design Review	passed	1.86 ms
renders authored entry order in lists and the Model table	the generated Design Review	passed	1.42 ms
re-rendering from the same graph is byte-identical (a pure projection)	the generated Design Review	passed	34.03 ms
renders byte-identically when graph node insertion order differs	the generated Design Review	passed	3.33 ms
escapes Markdown text fields and open-section strings	the generated Design Review	passed	1.24 ms
speaks binding language, never liveness: bindings present/none, observation not tracked	the generated Design Review	passed	0.57 ms
distinguishes the enabled verifier from the unenabled one — the claim cues travel along	the generated Design Review	passed	0.36 ms
keeps the incomplete trace in bindings without a below-ready warning	the generated Design Review	passed	0.49 ms
locates a deliberate finding through structured Primitive fields	the generated Design Review	passed	32.34 ms
shows what a verifier covers on its own page (JS-G2: from the test back to the spec)	the generated Design Review	passed	0.31 ms
renders bound example steps naturally while preserving typed parent vocabulary	the generated Design Review	passed	0.42 ms
renders a test-anchor verifier as the enabled binding only along its contract row	the generated Design Review	passed	1.08 ms
names the off-contract claim, never a missing anchor, when a bound example's edge is off-contract	the generated Design Review	passed	0.87 ms
renders the pack as a review unit with the verifier gaps surfaced	the generated Design Review	passed	0.28 ms
raises the derived-readiness banner only in the dishonest direction	the generated Design Review	passed	1.74 ms
names an unresolved relation target instead of linking it	the generated Design Review	passed	0.59 ms
lists the referencing units with file and line, and the reference confers no binding	the generated Design Review	passed	18.45 ms
shows a component row's layer and context	the generated Design Review	passed	1 ms

Design view

Requirement drawing

Requirement drawing for spec:consumers.projections-model

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

The diagram as text

spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores · declared Spec
spec:consumers.agent-surface: Agents script a visible typed graph · declared Spec
spec:consumers.ai-assisted-reading: A boundary for assistant-written presentation · declared Spec · no satisfying binding
spec:consumers.capability-map: The capability map reads every epic and its refinement descendants · declared Spec
spec:consumers.census-page: Census renders the runtime taxonomy without becoming a registry · declared Spec
spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root · declared Spec
spec:consumers.design-diff: Designs are compared between a base commit and the working tree at entry grain · declared Spec
spec:consumers.design-review: Design Review renders graph context without becoming a gate · declared Spec
spec:consumers.edit-model: Views compose scoped intent instead of patching canonical source · declared Spec · no satisfying binding
spec:consumers.gherkin-view: Gherkin view renders any Spec as a disposable read shape · declared Spec
spec:consumers.impact-graph: Mechanical code structure stays inferred and apart from curated intent · declared Spec
spec:consumers.mermaid-view: Mermaid renders bounded one-hop and Pack diagrams without becoming a graph browser · declared Spec
spec:consumers.obsidian-vault: An Obsidian vault lets a person iterate on designs from the one graph · declared Spec
spec:consumers.projections-model.roadmap-views: Roadmap views read releases, baselines and phases from git and the graph · declared Spec · no satisfying binding
spec:consumers.reference-projection: A reference projection serves a reader outside the repository · declared Spec · no satisfying binding
spec:consumers.review-perspectives: A Pack is read from a named perspective · declared Spec
spec:consumers.spec-studio: The Spec Studio is a static HTML workbench over the one graph · declared Spec
spec:consumers.structural-mermaid: Mermaid diagrams can be rooted at code units · declared Spec · no satisfying binding
spec:decisions.mcp-deferred: MCP integration remains deferred · declared Spec
spec:decisions.shipped-projections-frozen: The shipped projections stay frozen · declared Spec
spec:observation.run-evidence: CI run records are joined to verifiers in a view · declared Spec
spec:consumers.agent-surface.demand-map-entries: One body reaches every entry point the demand map names, and no symbol entry · declared Spec
spec:consumers.agent-surface.scripted-context-body: A scripted body returns claim-decoded context, pre-shaped by the body · declared Spec
spec:consumers.command-line.generate-check-failure: A root that fails its check is removed while sdp generate writes the others · declared Spec
spec:consumers.command-line.generate-writes-every-root: One run of sdp generate leaves all five roots current · declared Spec
spec:consumers.command-line.verb-help-touches-nothing: A publisher's --help prints its help and touches no root · declared Spec
spec:consumers.design-review.pure-projection: The view is the graph read twice, and the corpus is untouched by reading it · declared Spec
spec:consumers.obsidian-vault.changed-note-refused: A generated note a person changed refuses the regeneration and keeps the edit · declared Spec
spec:consumers.obsidian-vault.failed-extraction-keeps-notes: A failed extraction keeps the notes and says so on the index · declared Spec
spec:consumers.obsidian-vault.failed-extraction-recovered: The run after a failed extraction passes the guard and restores the index · declared Spec
spec:consumers.obsidian-vault.fresh-vault: A fresh vault is written the same way twice and every link resolves · declared Spec
spec:consumers.obsidian-vault.hidden-file-refused: A person's file under a temporary's name refuses the regeneration · declared Spec
spec:consumers.obsidian-vault.interrupted-run-recovered: A run after a stopped synchronization finishes it · declared Spec
spec:consumers.obsidian-vault.person-notes-survive: A regeneration removes a note that left the graph and keeps a person's notes · declared Spec
spec:consumers.obsidian-vault.unknown-note-refused: A note a person wrote inside the generated folder refuses the regeneration · declared Spec
spec:consumers.obsidian-vault.vault-in-build-path-refused: A vault directory the build removes refuses the run and keeps a person's notes · declared Spec
spec:observation.run-evidence.absolute-path-joins: A test whose reporter wrote an absolute path joins its anchored file · declared Spec
spec:observation.run-evidence.unanchored-file-unjoined: A test in a file with no test anchor is reported as unjoined · declared Spec
spec:consumers.agent-surface.answer-shapes: Recipe answers fit an agent's context and explain their misses · declared Spec
spec:consumers.agent-surface.authoring-recipes: Authoring questions stay executable graph recipes · declared Spec
spec:consumers.agent-surface.evaluation-sink: The evaluation sink runs one body and prints its return · declared Spec
spec:consumers.agent-surface.recipe-parameters: Recipes take parameters as data and ship as runnable files · declared Spec
spec:consumers.agent-surface.register-recipes: Register questions stay executable graph recipes · declared Spec
spec:consumers.binding-language-views: Views speak binding language, never the internal fact name · declared Spec
spec:consumers.context-bundle: A context bundle is composed per invocation within a stated budget · declared Spec
spec:consumers.derived-readiness-banner: Derived readiness renders beside the stated rung and warns in one direction · declared Spec
spec:consumers.design-review.pack-design-page: A Pack page shows where the Pack's design stands · declared Spec
spec:consumers.engine-provenance: The CLI names the engine that produced a result · declared Spec
spec:consumers.impact-graph.curation-assist: File-level imports show where curation is missing · declared Spec
spec:consumers.impact-graph.symbol-reach: Exhaustive symbol reach waits for a language-neutral identity · declared Spec
spec:consumers.intent-composition: Composed intent hands off on one proposal shape · declared Spec
spec:consumers.obsidian-vault.bases: A Pack's members and the standing queries are tables over the reader's values · declared Spec
spec:consumers.obsidian-vault.iteration: A design pass is followed and answered from the vault · declared Spec
spec:consumers.obsidian-vault.notes: Every Spec, Pack, code unit and keyed term is a note, and every relation is a link · declared Spec
spec:consumers.reader: The reader bridges agent entry points to composable graph context · declared Spec
spec:consumers.reading-on-ramp: The reading skill teaches agents to query the graph · declared Spec
spec:consumers.spec-studio.capability-map-page: The capability map page makes refinement readable by epic · declared Spec
spec:consumers.spec-studio.cited-line-text: A pinned declaration shows the words of each test line that cites it · declared Spec
spec:consumers.spec-studio.components: The Studio's custom elements each hold one view the build renders · declared Spec
spec:consumers.spec-studio.data: The Studio renders from the reader's values and embeds only what its script reads · declared Spec
spec:consumers.spec-studio.diff-page: The diff page shows what changed in the design since a base graph · declared Spec
spec:consumers.spec-studio.export: A Pack exports as one file, and every page prints as a document · declared Spec
spec:consumers.spec-studio.glossary-page: The glossary page lists every term the corpus's Specs define · declared Spec
spec:consumers.spec-studio.lenses: Five lenses read the graph as Packs, capabilities, architecture, tests and evidence · declared Spec
spec:consumers.spec-studio.navigation: Every page of the page set is reached from the top navigation and the index · declared Spec
spec:consumers.spec-studio.owner-queue: The owner queue page orders the statements and questions only a person can settle · declared Spec
spec:consumers.spec-studio.pack-page: A Pack page shows the Pack's design as one card per member · declared Spec
spec:consumers.spec-studio.publisher: sdp studio publishes the Studio as one page set · declared Spec
spec:consumers.spec-studio.register-input: An outside register is a named Studio input, so a cited token links to its entry · declared Spec
spec:consumers.spec-studio.registers: The corpus's registers are pages a reviewer opens from a link · declared Spec
spec:consumers.spec-studio.responsive: The Studio reads on a phone as on a desktop · declared Spec
spec:consumers.spec-studio.roadmap-page: The roadmap page shows the upcoming work in priority order, split by what it needs · declared Spec
spec:consumers.spec-studio.runs-page: The runs page shows the run records the build was given, joined to test files · declared Spec
spec:consumers.spec-studio.sharing: A Studio build is stamped and shared from a static host · declared Spec
spec:consumers.spec-studio.shell: The Studio's shell frames every page with navigation, a rail and a canvas · declared Spec
spec:consumers.spec-studio.slice-page: A slice page shows a Pack's design as one whole · declared Spec
spec:consumers.spec-studio.spec-page: A Spec page shows one Spec in collapsible panels, in a fixed order · declared Spec
spec:consumers.wholesale-view-rewrite: Every view run rewrites the view wholesale · declared Spec
spec:decisions.agent-front-door: The agent front door is one evaluation sink over the exported reader · declared Spec
spec:decisions.agent-surface-scripts-graph: Agents script the visible graph · declared Spec
spec:decisions.anchor-binding-grain: Bindings are optional, plural, and may reference a design · declared Spec
spec:decisions.architectural-annotation: Architectural significance is annotated where it is realized · declared Spec
spec:decisions.authored-entry-order: The Design Review renders open-section entries as a list · declared Spec
spec:decisions.epics-of-any-kind: Capability epics keep kind independent of altitude · declared Spec
spec:decisions.pack-design-page: The Design Review's Pack page presents the Pack's design · declared Spec
spec:decisions.question-key-rendering: The Design Review shows an open question's key · declared Spec
spec:decisions.studio-html-surface: The Studio renders HTML, and the HTML stays derived · declared Spec
spec:decisions.studio-web-components: The Studio is built from custom elements, not a framework · declared Spec
spec:decisions.vault-owned-folder: The vault's generator owns one folder and synchronizes it · declared Spec
spec:observation.run-evidence.bound-file-freshness: When bound-file changes make run evidence stale · declared Spec
spec:validation.corpus-rules: Corpus-authored rules run on the one validation path · declared Spec
component:protocol.projections: read-only output, layout and owned publication · anchored code · src/projections/design-review.ts:29
impl:protocol.adopter-help: SDP_HELP_TEXT indexes the shipped skills, recipe catalog, schema, walkthrough, glossary and specs/ by package-relative path · anchored code · src/cli/help.ts:171
impl:protocol.agent-surface-cli: CLI verb dispatcher and agent-surface front of the package CLI · anchored code · src/cli/sdp.ts:94
impl:protocol.build-args: shared build arguments and corpus-rule inputs · anchored code · src/cli/build-args.ts:12
impl:protocol.capability-map-recipe: asserts realization of The capability map in docs/agent-surface/recipes.md · anchored code · test/recipes.test.ts:7672
impl:protocol.census-page: renders the derived census and runtime taxonomy projection · anchored code · src/projections/census.ts:22
impl:protocol.census-page-cli: publishes the census through the explicit sdp census surface · anchored code · src/cli/census-command.ts:58
impl:protocol.design-diff-recipe: realizes the design diff in the shipped recipe catalog · anchored code · test/iteration-recipes.test.ts:27
impl:protocol.design-review: renders the contextual Design Review projection · anchored code · src/projections/design-review.ts:44
impl:protocol.design-review-codec: shared Design Review Markdown paths and links · anchored code · src/projections/design-review-markdown.ts:3
impl:protocol.generate-command: prepares all prior roots before one shared build and publishes with each verb's checks · anchored code · src/cli/generate-command.ts:34
impl:protocol.gherkin-kind-policy: shared Gherkin kind-refusal and loss explanations · anchored code · src/extract/gherkin-kind-honesty.ts:6
impl:protocol.gherkin-view: renders a generated Gherkin-shaped READ projection of any Spec · anchored code · src/projections/gherkin-view.ts:19
impl:protocol.gherkin-view-cli: publishes the Gherkin view through the explicit sdp gherkin surface · anchored code · src/cli/gherkin-command.ts:58
impl:protocol.mermaid-view: renders bounded Spec one-hop and Pack membership diagrams · anchored code · src/projections/mermaid.ts:14
impl:protocol.mermaid-view-cli: publishes Mermaid through the explicit sdp mermaid surface · anchored code · src/cli/mermaid-command.ts:74
impl:protocol.perspective-filter-recipe: realizes the perspective filter in the shipped recipe catalog · anchored code · test/iteration-recipes.test.ts:758
impl:protocol.projections-model: pure generated projection page contract · anchored code · src/projections/design-review.ts:16
impl:protocol.reader: typed graph queries, entry adapters and context joins · anchored code · src/reader/reader.ts:713
impl:protocol.run-evidence-recipe: asserts realization of Run evidence in docs/agent-surface/recipes.md · anchored code · test/recipes.test.ts:7347
impl:protocol.studio-command: validates and renders the Studio with independent byte checks and diagnostic exit codes · anchored code · src/cli/studio-command.ts:107
impl:protocol.studio-data: assembles reader contexts, Pack totals, rails and search records for static pages · anchored code · src/projections/studio/data.ts:282
impl:protocol.studio-frame: renders Studio navigation, page rails and composing controls · anchored code · src/projections/studio/pages/frame.ts:6
impl:protocol.studio-intent-panel: gathers ordered intents under the page-root storage key and partitions their hand-off · anchored code · src/studio-elements/intent-panel.ts:65
impl:protocol.studio-intent-panel-element: displays gathered requests and writes copy selections or local download links · anchored code · src/studio-elements/intent-panel-element.ts:14
impl:protocol.studio-runs-page: renders readable CTRF inputs, file results, unjoined records and diagnostics · anchored code · src/projections/studio/pages/runs-page.ts:6
impl:protocol.typescript-imports: TypeScript file imports and barrel reach for external curation input · anchored code · src/adapters/typescript-imports.ts:7
impl:protocol.vault-command: validates after vault preflight and retains prior notes behind a failed-extraction index · anchored code · src/cli/vault-command.ts:215
impl:protocol.vault-notes: renders reader contexts, declared relations and keyed terms as linked notes · anchored code · src/projections/vault/notes.ts:46
impl:protocol.vault-sync: guards every owned entry and records transitional hashes before atomic file replacement · anchored code · src/projections/vault/sync.ts:98
oracle:protocol.command-line: oracle:protocol.command-line · anchored oracle binding · test/self-hosting-command-line.test.ts:69
oracle:protocol.run-evidence: oracle:protocol.run-evidence · anchored oracle binding · test/studio-s4.test.ts:286
oracle:protocol.vault: oracle:protocol.vault · anchored oracle binding · test/vault-examples.test.ts:140
test:protocol.agent-surface.demand-map-entries: the demand-map point verifies the three entry points and the absent symbol entry · anchored test binding · binding present · test/self-hosting-consumers.test.ts:253
test:protocol.agent-surface.scripted-context-body: the scripted-body point verifies the front door's claim-decoded, pre-shaped return · anchored test binding · binding present · test/self-hosting-consumers.test.ts:244
test:protocol.capability-map: test:protocol.capability-map · anchored test binding · binding present · test/recipes.test.ts:7680
test:protocol.census-page: verifies census taxonomy, findings, and structural-binding projection · anchored test binding · binding present · test/census.test.ts:150
test:protocol.cli-write-boundaries: test:protocol.cli-write-boundaries · anchored test binding · binding present · test/cli-write-boundaries.test.ts:292
test:protocol.command-line.generate-check-failure: test:protocol.command-line.generate-check-failure · anchored test binding · binding present · test/self-hosting-command-line.test.ts:186
test:protocol.command-line.generate-writes-every-root: test:protocol.command-line.generate-writes-every-root · anchored test binding · binding present · test/self-hosting-command-line.test.ts:180
test:protocol.command-line.verb-help-touches-nothing: test:protocol.command-line.verb-help-touches-nothing · anchored test binding · binding present · test/self-hosting-command-line.test.ts:192
test:protocol.consumers.obsidian-vault.changed-note-refused: test:protocol.consumers.obsidian-vault.changed-note-refused · anchored test binding · binding present · test/vault-examples.test.ts:679
test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes · anchored test binding · binding present · test/vault-examples.test.ts:707
test:protocol.consumers.obsidian-vault.failed-extraction-recovered: test:protocol.consumers.obsidian-vault.failed-extraction-recovered · anchored test binding · binding present · test/vault-examples.test.ts:717
test:protocol.consumers.obsidian-vault.fresh-vault: test:protocol.consumers.obsidian-vault.fresh-vault · anchored test binding · binding present · test/vault-examples.test.ts:658
test:protocol.consumers.obsidian-vault.hidden-file-refused: test:protocol.consumers.obsidian-vault.hidden-file-refused · anchored test binding · binding present · test/vault-examples.test.ts:686
test:protocol.consumers.obsidian-vault.interrupted-run-recovered: test:protocol.consumers.obsidian-vault.interrupted-run-recovered · anchored test binding · binding present · test/vault-examples.test.ts:700
test:protocol.consumers.obsidian-vault.person-notes-survive: test:protocol.consumers.obsidian-vault.person-notes-survive · anchored test binding · binding present · test/vault-examples.test.ts:665
test:protocol.consumers.obsidian-vault.unknown-note-refused: test:protocol.consumers.obsidian-vault.unknown-note-refused · anchored test binding · binding present · test/vault-examples.test.ts:672
test:protocol.consumers.obsidian-vault.vault-in-build-path-refused: test:protocol.consumers.obsidian-vault.vault-in-build-path-refused · anchored test binding · binding present · test/vault-examples.test.ts:693
test:protocol.curation-imports: test:protocol.curation-imports · anchored test binding · binding present · test/curation-imports.test.ts:17
test:protocol.design-diff-recipe: test:protocol.design-diff-recipe · anchored test binding · binding present · test/iteration-recipes.test.ts:34
test:protocol.design-review.pure-projection: the pure-projection point verifies the view's own law over a whole-pipeline root · anchored test binding · binding present · test/self-hosting-projections.test.ts:303
test:protocol.gherkin-view: verifies the generated Gherkin-shaped READ projection · anchored test binding · binding present · test/gherkin-view.test.ts:20
test:protocol.mermaid-view: verifies bounded deterministic Mermaid projection and publication · anchored test binding · binding present · test/mermaid-render.test.ts:20
test:protocol.perspective-filter-recipe: test:protocol.perspective-filter-recipe · anchored test binding · binding present · test/iteration-recipes.test.ts:765
test:protocol.projections-model.publication: projection publication tests verify regeneration and diagnostic exit codes · anchored test binding · binding present · test/cli.test.ts:61
test:protocol.projections-model.reader: reader tests verify composable graph joins without persistence · anchored test binding · binding present · test/reader.test.ts:35
test:protocol.projections-model.rendering: graph-only rendering tests verify pure disposable projection pages · anchored test binding · binding present · test/design-review.test.ts:36
test:protocol.roadmap-priority: checks Pack priority extraction, comparison and Studio change notes · anchored test binding · binding present · test/roadmap-priority.test.ts:44
test:protocol.run-absolute: test:protocol.run-absolute · anchored test binding · binding present · test/studio-s4.test.ts:348
test:protocol.run-unjoined: test:protocol.run-unjoined · anchored test binding · binding present · test/studio-s4.test.ts:355
test:protocol.studio-intent-handoff: test:protocol.studio-intent-handoff · anchored test binding · binding present · test/studio-s5.test.ts:407
test:protocol.studio-publisher: test:protocol.studio-publisher · anchored test binding · binding present · test/studio-publisher.test.ts:26
spec:consumers.agent-surface refines spec:consumers.projections-model · declared
spec:consumers.agent-surface.answer-shapes refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.authoring-recipes refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.demand-map-entries refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.demand-map-entries verifies spec:consumers.agent-surface · declared
spec:consumers.agent-surface.evaluation-sink refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.recipe-parameters refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.register-recipes refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.scripted-context-body refines spec:consumers.agent-surface · declared
spec:consumers.agent-surface.scripted-context-body verifies spec:consumers.agent-surface · declared
spec:consumers.ai-assisted-reading refines spec:consumers.projections-model · declared — the boundary is drawn against the projection law, a pure function of the graph
spec:consumers.binding-language-views refines spec:consumers.design-review · declared
spec:consumers.capability-map refines spec:consumers.projections-model · declared — the capability map projects authored refinement without introducing a grouping
spec:consumers.census-page refines spec:consumers.projections-model · declared
spec:consumers.command-line refines spec:consumers.projections-model · declared — one verb publishes every projection root from one graph
spec:consumers.command-line.generate-check-failure refines spec:consumers.command-line · declared
spec:consumers.command-line.generate-check-failure verifies spec:consumers.command-line · declared
spec:consumers.command-line.generate-writes-every-root refines spec:consumers.command-line · declared
spec:consumers.command-line.generate-writes-every-root verifies spec:consumers.command-line · declared
spec:consumers.command-line.verb-help-touches-nothing refines spec:consumers.command-line · declared
spec:consumers.command-line.verb-help-touches-nothing verifies spec:consumers.command-line · declared
spec:consumers.context-bundle refines spec:consumers.agent-surface · declared
spec:consumers.derived-readiness-banner refines spec:consumers.design-review · declared
spec:consumers.design-diff refines spec:consumers.projections-model · declared
spec:consumers.design-review refines spec:consumers.projections-model · declared
spec:consumers.design-review.pack-design-page refines spec:consumers.design-review · declared
spec:consumers.design-review.pure-projection refines spec:consumers.design-review · declared
spec:consumers.design-review.pure-projection verifies spec:consumers.design-review · declared
spec:consumers.edit-model refines spec:consumers.projections-model · declared
spec:consumers.engine-provenance refines spec:consumers.command-line · declared — the version flag is one more answer the command line gives an adopter
spec:consumers.gherkin-view refines spec:consumers.projections-model · declared
spec:consumers.impact-graph refines spec:consumers.projections-model · declared
spec:consumers.impact-graph.curation-assist refines spec:consumers.impact-graph · declared
spec:consumers.impact-graph.symbol-reach refines spec:consumers.impact-graph · declared
spec:consumers.intent-composition refines spec:consumers.edit-model · declared
spec:consumers.mermaid-view refines spec:consumers.projections-model · declared
spec:consumers.obsidian-vault refines spec:consumers.projections-model · declared — a projection for a person who iterates on designs in a notes app
spec:consumers.obsidian-vault.bases refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.changed-note-refused refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.changed-note-refused verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.failed-extraction-keeps-notes refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.failed-extraction-keeps-notes verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.failed-extraction-recovered refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.failed-extraction-recovered verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.fresh-vault refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.fresh-vault verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.hidden-file-refused refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.hidden-file-refused verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.interrupted-run-recovered refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.interrupted-run-recovered verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.iteration refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.notes refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.person-notes-survive refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.person-notes-survive verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.unknown-note-refused refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.unknown-note-refused verifies spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.vault-in-build-path-refused refines spec:consumers.obsidian-vault · declared
spec:consumers.obsidian-vault.vault-in-build-path-refused verifies spec:consumers.obsidian-vault · declared
spec:consumers.projections-model.roadmap-views refines spec:consumers.projections-model · declared
spec:consumers.reader refines spec:consumers.agent-surface · declared
spec:consumers.reading-on-ramp refines spec:consumers.agent-surface · declared
spec:consumers.reference-projection refines spec:consumers.projections-model · declared
spec:consumers.review-perspectives refines spec:consumers.projections-model · declared
spec:consumers.spec-studio refines spec:consumers.projections-model · declared
spec:consumers.spec-studio.capability-map-page refines spec:consumers.capability-map · declared — the page is the capability map's reading for a person
spec:consumers.spec-studio.cited-line-text refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.components refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.data refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.diff-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.export refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.glossary-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.lenses refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.navigation refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.owner-queue refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.pack-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.publisher refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.register-input refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.registers refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.responsive refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.roadmap-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.runs-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.sharing refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.shell refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.slice-page refines spec:consumers.spec-studio · declared
spec:consumers.spec-studio.spec-page refines spec:consumers.spec-studio · declared
spec:consumers.structural-mermaid refines spec:consumers.projections-model · declared
spec:consumers.wholesale-view-rewrite refines spec:consumers.design-review · declared
spec:decisions.agent-front-door refines spec:consumers.agent-surface · declared
spec:decisions.agent-surface-scripts-graph refines spec:consumers.agent-surface · declared
spec:decisions.anchor-binding-grain refines spec:decisions.shipped-projections-frozen · declared — carves out the Design Review's Referenced by list and the census References table
spec:decisions.architectural-annotation refines spec:decisions.shipped-projections-frozen · declared — carves out the census Roles, Layers and Contexts tables and the role, layer and context on the Design Review's code unit rows
spec:decisions.authored-entry-order refines spec:consumers.design-review · declared
spec:decisions.authored-entry-order refines spec:decisions.shipped-projections-frozen · declared — carves out how the Design Review renders open-section entries, as a list in authored order
spec:decisions.epics-of-any-kind refines spec:consumers.capability-map · declared — settles which Specs the capability map reads as epics
spec:decisions.mcp-deferred refines spec:consumers.projections-model · declared
spec:decisions.pack-design-page refines spec:decisions.shipped-projections-frozen · declared — carves out the Pack page, which renders the Pack design
spec:decisions.question-key-rendering refines spec:consumers.design-review · declared
spec:decisions.question-key-rendering refines spec:decisions.shipped-projections-frozen · declared — carves out one change, an open question's key shown before its text
spec:decisions.shipped-projections-frozen refines spec:consumers.projections-model · declared
spec:decisions.studio-html-surface refines spec:consumers.spec-studio · declared
spec:decisions.studio-web-components refines spec:consumers.spec-studio · declared
spec:decisions.vault-owned-folder refines spec:consumers.obsidian-vault · declared — settles which files the vault's generator owns and how it regenerates them
spec:observation.run-evidence refines spec:consumers.projections-model · declared — run records inform a view without becoming graph facts
spec:observation.run-evidence.absolute-path-joins refines spec:observation.run-evidence · declared
spec:observation.run-evidence.absolute-path-joins verifies spec:observation.run-evidence · declared
spec:observation.run-evidence.bound-file-freshness refines spec:observation.run-evidence · declared
spec:observation.run-evidence.unanchored-file-unjoined refines spec:observation.run-evidence · declared
spec:observation.run-evidence.unanchored-file-unjoined verifies spec:observation.run-evidence · declared
spec:validation.corpus-rules refines spec:consumers.agent-surface · declared — a corpus scripts the graph through the evaluation sink to report its own findings
component:protocol.projections satisfies spec:consumers.projections-model · anchored
impl:protocol.adopter-help satisfies spec:consumers.command-line · anchored
impl:protocol.agent-surface-cli satisfies spec:consumers.agent-surface · anchored
impl:protocol.agent-surface-cli satisfies spec:consumers.command-line · anchored
impl:protocol.build-args satisfies spec:consumers.command-line · anchored
impl:protocol.capability-map-recipe satisfies spec:consumers.capability-map · anchored
impl:protocol.census-page satisfies spec:consumers.census-page · anchored
impl:protocol.census-page-cli satisfies spec:consumers.census-page · anchored
impl:protocol.design-diff-recipe satisfies spec:consumers.design-diff · anchored
impl:protocol.design-review satisfies spec:consumers.design-review · anchored
impl:protocol.design-review-codec satisfies spec:consumers.design-review · anchored
impl:protocol.generate-command satisfies spec:consumers.command-line · anchored
impl:protocol.gherkin-kind-policy satisfies spec:consumers.gherkin-view · anchored
impl:protocol.gherkin-view satisfies spec:consumers.gherkin-view · anchored
impl:protocol.gherkin-view-cli satisfies spec:consumers.gherkin-view · anchored
impl:protocol.mermaid-view satisfies spec:consumers.mermaid-view · anchored
impl:protocol.mermaid-view-cli satisfies spec:consumers.mermaid-view · anchored
impl:protocol.perspective-filter-recipe satisfies spec:consumers.review-perspectives · anchored
impl:protocol.projections-model satisfies spec:consumers.projections-model · anchored
impl:protocol.reader satisfies spec:consumers.agent-surface · anchored
impl:protocol.run-evidence-recipe satisfies spec:observation.run-evidence · anchored
impl:protocol.studio-command satisfies spec:consumers.spec-studio · anchored
impl:protocol.studio-data satisfies spec:consumers.spec-studio · anchored
impl:protocol.studio-frame satisfies spec:consumers.spec-studio · anchored
impl:protocol.studio-intent-panel references spec:consumers.edit-model · anchored
impl:protocol.studio-intent-panel-element references spec:consumers.edit-model · anchored
impl:protocol.studio-runs-page satisfies spec:observation.run-evidence · anchored
impl:protocol.typescript-imports satisfies spec:consumers.impact-graph · anchored
impl:protocol.vault-command satisfies spec:consumers.obsidian-vault · anchored
impl:protocol.vault-notes satisfies spec:consumers.obsidian-vault · anchored
impl:protocol.vault-sync satisfies spec:consumers.obsidian-vault · anchored
oracle:protocol.command-line models spec:consumers.command-line · anchored
oracle:protocol.run-evidence models spec:observation.run-evidence · anchored
oracle:protocol.vault models spec:consumers.obsidian-vault · anchored
test:protocol.agent-surface.demand-map-entries verifies spec:consumers.agent-surface.demand-map-entries · anchored
test:protocol.agent-surface.scripted-context-body verifies spec:consumers.agent-surface.scripted-context-body · anchored
test:protocol.capability-map verifies spec:consumers.capability-map · anchored
test:protocol.census-page verifies spec:consumers.census-page · anchored
test:protocol.cli-write-boundaries verifies spec:consumers.design-review · anchored
test:protocol.cli-write-boundaries verifies spec:consumers.mermaid-view · anchored
test:protocol.cli-write-boundaries verifies spec:consumers.gherkin-view · anchored
test:protocol.cli-write-boundaries verifies spec:consumers.projections-model · anchored
test:protocol.command-line.generate-check-failure verifies spec:consumers.command-line.generate-check-failure · anchored
test:protocol.command-line.generate-writes-every-root verifies spec:consumers.command-line.generate-writes-every-root · anchored
test:protocol.command-line.verb-help-touches-nothing verifies spec:consumers.command-line.verb-help-touches-nothing · anchored
test:protocol.consumers.obsidian-vault.changed-note-refused verifies spec:consumers.obsidian-vault.changed-note-refused · anchored
test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes verifies spec:consumers.obsidian-vault.failed-extraction-keeps-notes · anchored
test:protocol.consumers.obsidian-vault.failed-extraction-recovered verifies spec:consumers.obsidian-vault.failed-extraction-recovered · anchored
test:protocol.consumers.obsidian-vault.fresh-vault verifies spec:consumers.obsidian-vault.fresh-vault · anchored
test:protocol.consumers.obsidian-vault.hidden-file-refused verifies spec:consumers.obsidian-vault.hidden-file-refused · anchored
test:protocol.consumers.obsidian-vault.interrupted-run-recovered verifies spec:consumers.obsidian-vault.interrupted-run-recovered · anchored
test:protocol.consumers.obsidian-vault.person-notes-survive verifies spec:consumers.obsidian-vault.person-notes-survive · anchored
test:protocol.consumers.obsidian-vault.unknown-note-refused verifies spec:consumers.obsidian-vault.unknown-note-refused · anchored
test:protocol.consumers.obsidian-vault.vault-in-build-path-refused verifies spec:consumers.obsidian-vault.vault-in-build-path-refused · anchored
test:protocol.curation-imports verifies spec:consumers.impact-graph · anchored
test:protocol.design-diff-recipe verifies spec:consumers.design-diff · anchored
test:protocol.design-review.pure-projection verifies spec:consumers.design-review.pure-projection · anchored
test:protocol.gherkin-view verifies spec:consumers.gherkin-view · anchored
test:protocol.mermaid-view verifies spec:consumers.mermaid-view · anchored
test:protocol.perspective-filter-recipe verifies spec:consumers.review-perspectives · anchored
test:protocol.projections-model.publication verifies spec:consumers.projections-model · anchored
test:protocol.projections-model.reader verifies spec:consumers.projections-model · anchored
test:protocol.projections-model.rendering verifies spec:consumers.projections-model · anchored
test:protocol.roadmap-priority verifies spec:consumers.design-diff · anchored
test:protocol.run-absolute verifies spec:observation.run-evidence.absolute-path-joins · anchored
test:protocol.run-unjoined verifies spec:observation.run-evidence.unanchored-file-unjoined · anchored
test:protocol.studio-intent-handoff verifies spec:consumers.edit-model · anchored
test:protocol.studio-publisher verifies spec:consumers.spec-studio · anchored

Decisions

MCP integration remains deferred
MCP integration is deferred until a concrete caller establishes its boundary and contract.
The shipped projections stay frozen
Re-specifying the shipped Design Review, census, Mermaid, or Gherkin projection is refused. These four projections are the ruled read surfaces over the one graph. A later decision Spec that supersedes this one replaces the ruling whole; a decision Spec that refines this one narrows it for one projection or one rendering and leaves the rest frozen. Either passes the ADR three-part test.

Runtime

component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol
Uses
- component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · layer application · context protocol
- component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
- component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
- component:protocol.notation · the leaf step codec · src/notation/slots.ts:263 · layer domain · context protocol
- component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:697 · layer application · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
impl:protocol.projections-model · pure generated projection page contract · src/projections/design-review.ts:16
Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · 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:consumers.projections-model

The diagram as text

spec:consumers.agent-surface: Agents script a visible typed graph
spec:consumers.ai-assisted-reading: A boundary for assistant-written presentation
spec:consumers.capability-map: The capability map reads every epic and its refinement descendants
spec:consumers.census-page: Census renders the runtime taxonomy without becoming a registry
spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root
spec:consumers.design-diff: Designs are compared between a base commit and the working tree at entry grain
spec:consumers.design-review: Design Review renders graph context without becoming a gate
spec:consumers.edit-model: Views compose scoped intent instead of patching canonical source
spec:consumers.gherkin-view: Gherkin view renders any Spec as a disposable read shape
spec:consumers.impact-graph: Mechanical code structure stays inferred and apart from curated intent
spec:consumers.mermaid-view: Mermaid renders bounded one-hop and Pack diagrams without becoming a graph browser
spec:consumers.obsidian-vault: An Obsidian vault lets a person iterate on designs from the one graph
spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores
spec:consumers.projections-model.roadmap-views: Roadmap views read releases, baselines and phases from git and the graph
spec:consumers.reference-projection: A reference projection serves a reader outside the repository
spec:consumers.review-perspectives: A Pack is read from a named perspective
spec:consumers.spec-studio: The Spec Studio is a static HTML workbench over the one graph
spec:consumers.structural-mermaid: Mermaid diagrams can be rooted at code units
spec:decisions.mcp-deferred: MCP integration remains deferred
spec:decisions.shipped-projections-frozen: The shipped projections stay frozen
spec:observation.run-evidence: CI run records are joined to verifiers in a view
spec:consumers.projections-model decidedBy spec:decisions.mcp-deferred · declared — MCP integration waits for a concrete caller to establish its boundary and contract
spec:consumers.projections-model decidedBy spec:decisions.shipped-projections-frozen · declared
spec:consumers.agent-surface refines spec:consumers.projections-model · declared
spec:consumers.ai-assisted-reading refines spec:consumers.projections-model · declared — the boundary is drawn against the projection law, a pure function of the graph
spec:consumers.capability-map refines spec:consumers.projections-model · declared — the capability map projects authored refinement without introducing a grouping
spec:consumers.census-page refines spec:consumers.projections-model · declared
spec:consumers.command-line refines spec:consumers.projections-model · declared — one verb publishes every projection root from one graph
spec:consumers.design-diff refines spec:consumers.projections-model · declared
spec:consumers.design-review refines spec:consumers.projections-model · declared
spec:consumers.edit-model refines spec:consumers.projections-model · declared
spec:consumers.gherkin-view refines spec:consumers.projections-model · declared
spec:consumers.impact-graph refines spec:consumers.projections-model · declared
spec:consumers.mermaid-view refines spec:consumers.projections-model · declared
spec:consumers.obsidian-vault refines spec:consumers.projections-model · declared — a projection for a person who iterates on designs in a notes app
spec:consumers.projections-model.roadmap-views refines spec:consumers.projections-model · declared
spec:consumers.reference-projection refines spec:consumers.projections-model · declared
spec:consumers.review-perspectives refines spec:consumers.projections-model · declared
spec:consumers.spec-studio refines spec:consumers.projections-model · declared
spec:consumers.structural-mermaid refines spec:consumers.projections-model · declared
spec:decisions.mcp-deferred refines spec:consumers.projections-model · declared
spec:decisions.shipped-projections-frozen refines spec:consumers.projections-model · declared
spec:observation.run-evidence refines spec:consumers.projections-model · declared — run records inform a view without becoming graph facts

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:consumers.projections-model

flowchart TB
  n0["Projections fan out from one graph without becoming truth stores · spec:consumers.projections-model"]
  n1["20 Incoming refines, folded · spec:consumers.projections-model.fold.Incoming.refines"]
  %% folded spec:consumers.projections-model.fold.Incoming.refines: spec:consumers.agent-surface, spec:consumers.ai-assisted-reading, spec:consumers.capability-map, spec:consumers.census-page, spec:consumers.command-line, spec:consumers.design-diff, spec:consumers.design-review, spec:consumers.edit-model, spec:consumers.gherkin-view, spec:consumers.impact-graph, spec:consumers.mermaid-view, spec:consumers.obsidian-vault, spec:consumers.projections-model.roadmap-views, spec:consumers.reference-projection, spec:consumers.review-perspectives, spec:consumers.spec-studio, spec:consumers.structural-mermaid, spec:decisions.mcp-deferred, spec:decisions.shipped-projections-frozen, spec:observation.run-evidence
  n0 -->|"decidedBy · declared (2 unit edges)"| n1
  %% count: 2; spec:consumers.projections-model to spec:consumers.projections-model.fold.Incoming.refines
  n1 -->|"refines · declared (20 unit edges)"| n0
  %% count: 20; spec:consumers.projections-model.fold.Incoming.refines to spec:consumers.projections-model

Rests on

decidedBy · spec:decisions.mcp-deferred · stated ready, floor ready
decidedBy · spec:decisions.shipped-projections-frozen · stated ready, floor ready

Rested on by

Distance 1

spec:consumers.agent-surface
Implementing units
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.demand-map-entries, spec:consumers.agent-surface.scripted-context-body
Packs: pack:self-hosting-v1
spec:consumers.ai-assisted-reading
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:consumers.capability-map
Implementing units
- impl:protocol.capability-map-recipe · test/recipes.test.ts:7672
Referencing units
None.
Enabled verifiers: test:protocol.capability-map
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.census-page
Implementing units
- impl:protocol.census-page · src/projections/census.ts:22
- impl:protocol.census-page-cli · src/cli/census-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.census-page
Packs: pack:self-hosting-v1
spec:consumers.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:12
- impl:protocol.generate-command · src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.design-diff
Implementing units
- impl:protocol.design-diff-recipe · test/iteration-recipes.test.ts:27
Referencing units
None.
Enabled verifiers: test:protocol.design-diff-recipe, test:protocol.roadmap-priority
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-review
Implementing units
- impl:protocol.design-review · src/projections/design-review.ts:44
- impl:protocol.design-review-codec · src/projections/design-review-markdown.ts:3
Referencing units
None.
Enabled verifiers: spec:consumers.design-review.pure-projection, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
spec:consumers.edit-model
Implementing units
None.
Referencing units
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:65
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.gherkin-view
Implementing units
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
- impl:protocol.gherkin-view · src/projections/gherkin-view.ts:19
- impl:protocol.gherkin-view-cli · src/cli/gherkin-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.gherkin-view
Packs: pack:self-hosting-v1
spec:consumers.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.mermaid-view
Implementing units
- impl:protocol.mermaid-view · src/projections/mermaid.ts:14
- impl:protocol.mermaid-view-cli · src/cli/mermaid-command.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.mermaid-view
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault
Implementing units
- impl:protocol.vault-command · src/cli/vault-command.ts:215
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused, spec:consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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.reference-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.review-perspectives
Implementing units
- impl:protocol.perspective-filter-recipe · test/iteration-recipes.test.ts:758
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.spec-studio
Implementing units
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- impl:protocol.studio-data · src/projections/studio/data.ts:282
- 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.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.mcp-deferred
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.shipped-projections-frozen
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:observation.run-evidence
Implementing units
- impl:protocol.run-evidence-recipe · test/recipes.test.ts:7347
- 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

Distance 2

spec:carrier.step-keys
Implementing units
- impl:protocol.example-runner · src/runner/index.ts:112
- impl:protocol.example-space-decoding · src/notation/example-space.ts:559
- impl:protocol.executable-contracts · src/codegen/contracts.ts:685
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.gherkin-keyed-step-stays-bound, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.malformed-marker-refused, spec:carrier.step-keys.renamed-key-breaks, spec:carrier.step-keys.repeated-key-refused, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:carrier.step-keys.two-keys-on-one-step-refused, spec:carrier.step-keys.typescript-keyed-step-imports-keyed, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6284
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.reader · src/reader/reader.ts:713
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.agent-surface.authoring-recipes
Implementing units
- impl:protocol.authoring-recipes · test/recipes.test.ts:336
Referencing units
None.
Enabled verifiers: test:protocol.authoring-recipes
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.demand-map-entries
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.agent-surface.demand-map-entries
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.evaluation-sink
Implementing units
- api:protocol.evaluate-body · src/reader/evaluate-body.ts:213
- impl:protocol.build-pipeline-query · src/cli/q-command.ts:212
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.evaluation-sink.exported-evaluator, spec:consumers.agent-surface.evaluation-sink.recipe-call, spec:consumers.agent-surface.evaluation-sink.unknown-recipe, test:protocol.evaluation-sink, test:protocol.query-answer-shapes
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.recipe-parameters
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:203
- impl:protocol.parameter-codec · src/cli/params.ts:121
- impl:protocol.query-params · src/cli/q-command.ts:71
- impl:protocol.recipe-parameters-catalog · test/recipes.test.ts:4466
Referencing units
None.
Enabled verifiers: test:protocol.query-answer-shapes, test:protocol.query-params, test:protocol.recipe-parameters
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:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.scripted-context-body
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.agent-surface.scripted-context-body
Packs: pack:self-hosting-v1
spec:consumers.authoring-on-ramp
Implementing units
- impl:protocol.authoring-on-ramp · test/skills.test.ts:77
- impl:protocol.spec-scaffolder · src/cli/new-spec-command.ts:358
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp, test:protocol.spec-scaffolder
Packs: pack:self-hosting-v1
spec:consumers.binding-language-views
Implementing units
- impl:protocol.binding-language-index-table · src/projections/design-review-pages.ts:202
- impl:protocol.binding-language-spec-page · src/projections/design-review-context.ts:101
Referencing units
None.
Enabled verifiers: spec:consumers.binding-language-views.bound-spec-page, spec:consumers.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.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:770
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.delivery-session-on-ramp
Implementing units
- impl:protocol.delivery-session-on-ramp · test/skills.test.ts:84
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner
Implementing units
- impl:protocol.derived-readiness-banner · src/projections/design-review-context.ts:19
Referencing units
None.
Enabled verifiers: spec:consumers.derived-readiness-banner.dishonest-divergence, spec:consumers.derived-readiness-banner.honest-headroom, test:protocol.derived-readiness-banner.idea-floor-unmet
Packs: pack:self-hosting-v1
spec:consumers.design-review.pack-design-page
Implementing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
Referencing units
- impl:protocol.pack-design-sections · src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-review.pure-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-review.pure-projection
Packs: pack:self-hosting-v1
spec:consumers.design-slice
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:203
- impl:protocol.engine-provenance-cli · src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.impact-graph.curation-assist
Implementing units
- impl:protocol.build-imports · src/cli/build-command.ts:277
- 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.intent-composition
Implementing units
None.
Referencing units
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:65
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1
spec:consumers.intent-composition.proposal
Implementing units
- impl:protocol.proposal-schema-and-recipe · test/iteration-recipes.test.ts:1515
- impl:protocol.studio-proposal-contract · src/studio-elements/proposal.ts:1
Referencing units
None.
Enabled verifiers: test:protocol.proposal-schema-and-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.bases
Implementing units
- impl:protocol.vault-bases · src/projections/vault/bases.ts:43
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.changed-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.changed-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-keeps-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.fresh-vault
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.fresh-vault
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.hidden-file-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.hidden-file-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.interrupted-run-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.interrupted-run-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration
Implementing units
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
- impl:protocol.vault-text · src/projections/vault/text.ts:30
- impl:protocol.vault-watch · src/cli/vault-command.ts:243
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes
Implementing units
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sections · src/projections/vault/sections.ts:10
- impl:protocol.vault-text · src/projections/vault/text.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays, test:protocol.vault-priority
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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.reader
Implementing units
- component:protocol.reader · src/reader/reader.ts:697
- impl:protocol.reader · src/reader/reader.ts:713
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.reading-on-ramp
Implementing units
- impl:protocol.reading-on-ramp · test/skills.test.ts:663
Referencing units
None.
Enabled verifiers: test:protocol.reading-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.spec-studio.capability-map-page
Implementing units
- impl:protocol.studio-capabilities-page · src/projections/studio/pages/capabilities-page.ts:78
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.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:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:75
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:282
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs
Implementing units
- impl:protocol.studio-base-input · src/cli/studio-inputs.ts:9
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.capability-tree
Implementing units
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.mermaid-source
Implementing units
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page
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
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.intent-panel
Implementing units
- impl:protocol.studio-compose · src/studio-elements/compose.ts:4
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:65
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses
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.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.navigation
Implementing units
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue
Implementing units
- impl:protocol.studio-owner-queue · src/projections/studio/pages/queue-page.ts:9
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page
Implementing units
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-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.runs-page
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-runs-page · src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.runs-page.external-evidence
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:9
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:744
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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:202
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:75
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit
Implementing units
- impl:protocol.upgrade-guide · test/upgrade-kit.test.ts:87
Referencing units
None.
Enabled verifiers: test:protocol.upgrade-guide
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.capability-adoption
Implementing units
- impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.vault-on-ramp
Implementing units
- impl:protocol.vault-on-ramp · test/skills.test.ts:2074
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.wholesale-view-rewrite · src/cli/validate-view-command.ts:127
Referencing units
None.
Enabled verifiers: spec:consumers.wholesale-view-rewrite.build-invalidates-view, spec:consumers.wholesale-view-rewrite.failed-run-view-removed, spec:consumers.wholesale-view-rewrite.late-stale-page, spec:consumers.wholesale-view-rewrite.stale-page-removed, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
spec:decisions.agent-front-door
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.agent-surface-scripts-graph
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:599
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:22
- impl:protocol.structural-anchors · src/validate/validators.ts:599
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.epics-of-any-kind
Implementing units
None.
Referencing units
- impl:protocol.capability-map-recipe · test/recipes.test.ts:7672
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
Enabled verifiers: None
Packs: pack:design-management-v1, 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-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:215
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Enabled verifiers: None
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:model.rule-keys
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
- impl:protocol.rule-exercises · src/validate/validators.ts:1493
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:model.term-addresses
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
- impl:protocol.stable-ids · src/ids.ts:173
Referencing units
None.
Enabled verifiers: spec:model.term-addresses.keyed-term-resolves, spec:model.term-addresses.malformed-term-marker-refused, spec:model.term-addresses.repeated-term-key-refused, spec:model.term-addresses.typescript-term-imports-keyed, spec:model.term-addresses.unknown-term-key-refused, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:obsidian-vault-v1, pack:self-hosting-v1
spec: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.bound-file-freshness
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-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
spec:protocol.capability-epics
Implementing units
- impl:protocol.capability-epics · test/recipes.test.ts:8243
Referencing units
None.
Enabled verifiers: test:protocol.capability-epics
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.roadmap-replaces-plans
Implementing units
- impl:protocol.roadmap-practice · test/check-self-hosting-gates.test.ts:52
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-practice
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:validation.corpus-rules
Implementing units
- impl:protocol.corpus-rule-runner · src/cli/corpus-rules.ts:65
- impl:protocol.corpus-rules · src/cli/validate-view-command.ts:78
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, spec:validation.corpus-rules.copies-contain-changes, spec:validation.corpus-rules.error-finding-fails, spec:validation.corpus-rules.malformed-finding-fails, spec:validation.corpus-rules.params-edit-starts-a-cycle, spec:validation.corpus-rules.rules-edit-starts-a-cycle, spec:validation.corpus-rules.unreadable-params-fail-one-file, spec:validation.corpus-rules.warning-finding-informs
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering
Implementing units
- impl:protocol.diagnostic-rendering-cli · src/cli/output.ts:23
- impl:protocol.diagnostic-rendering-design-review · src/projections/design-review-context.ts:214
- impl:protocol.validate-summary · src/cli/validate-view-command.ts:22
- impl:protocol.validation-contracts · src/validate/contracts.ts:5
Referencing units
None.
Enabled verifiers: spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1

Distance 3

spec:carrier.envelope-contract
Implementing units
- impl:protocol.envelope-contract · src/extract/markdown-frontmatter.ts:33
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
Referencing units
None.
Enabled verifiers: test:protocol.envelope-contract
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring
Implementing units
- impl:protocol.gherkin-authoring · src/extract/gherkin.ts:1440
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
Referencing units
None.
Enabled verifiers: spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
- impl:protocol.markdown-content · src/extract/markdown-body-content.ts:12
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:validation.kind-evidence.second-entry-untargeted, test:protocol.markdown-body-grammar-regressions
Packs: pack:self-hosting-v1
spec:carrier.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.adopter-on-ramp
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.adopter-on-ramp · test/skills.test.ts:713
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, test:protocol.address-and-cycle-recipes
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4839
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.agent-surface.evaluation-sink.exported-evaluator
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.evaluation-sink.exported-evaluator
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.evaluation-sink.recipe-call
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.evaluation-sink.recipe-call
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.evaluation-sink.unknown-recipe
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.evaluation-sink.unknown-recipe
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.binding-language-views.bound-spec-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.bound-spec-page
Packs: pack:self-hosting-v1
spec:consumers.binding-language-views.pack-member-table
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.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.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-slice.chain
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.chain
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-absent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-absent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-differing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-differing
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-matching
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-matching
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unreadable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unreadable
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unrelated
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unrelated
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.decision-backlink
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.decision-backlink
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.dependency-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.dependency-cycle
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.folded-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.folded-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.independent-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.independent-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-components
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-holding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-holding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-satisfied
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-satisfied
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-unbound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-unbound
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.graph-first-planning
Implementing units
- impl:protocol.graph-first-planning · test/skills.test.ts:291
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.intent-composition.proposal.memo
Implementing units
- impl:protocol.proposal-memo-recipe · test/recipes.test.ts:7368
- impl:protocol.studio-proposal-memo · src/studio-elements/memo.ts:13
Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.obsidian-vault.bases.views-match-sources
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.case-collision-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.case-collision-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.entry-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.entry-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.term-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.term-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.unresolved-mention-stays
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.unresolved-mention-stays
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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.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.shipped-protocol-corpus
Implementing units
- impl:protocol.shipped-protocol-corpus · test/package-smoke.test.ts:277
Referencing units
None.
Enabled verifiers: test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
spec:consumers.spec-studio.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.data.recipe-answers
Implementing units
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
Referencing units
- impl:protocol.studio-register-contracts · src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.dependency
Implementing units
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.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.requirement-trace
Implementing units
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.scoped-architecture
Implementing units
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diff-page.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.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.tests.coverage-row
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-tests-coverage-row
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.pack-page.maturity-map
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:123
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers.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.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.core
Implementing units
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:202
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1740
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal
Implementing units
- impl:protocol.rule-key-proposal-recipe · test/upgrade-kit.test.ts:742
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.validate-watch
Implementing units
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: test:protocol.validate-watch, test:protocol.validate-watch-rules
Packs: pack:adopter-speed-v1, pack:design-management-v1, pack:self-hosting-v1
spec: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.studio-build-renders
Implementing units
None.
Referencing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:decisions.studio-diagram-renderer
Implementing units
None.
Referencing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Enabled verifiers: None
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:extraction.derive-graph
Implementing units
- component:protocol.extract · src/extract/index.ts:197
- impl:protocol.carrier-reification · src/extract/carrier.ts:55
- impl:protocol.derive-graph · src/extract/derive.ts:241
- impl:protocol.extract · src/extract/index.ts:213
- impl:protocol.schema-version · src/graph/schema.ts:9
Referencing units
None.
Enabled verifiers: test:protocol.extract
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:685
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:671
- component:protocol.testing · src/testing/index.ts:38
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.runnable-modules · src/codegen/contracts.ts:696
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.anchors
Implementing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:125
- 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:113
- impl:protocol.structural-anchors · src/validate/validators.ts:599
Referencing units
None.
Enabled verifiers: spec:model.anchors.lookalike-refusal, spec:model.anchors.physical-identity, test:protocol.structural-anchor-regressions
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.structural-patterns
Implementing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:125
- impl:protocol.census-page · src/projections/census.ts:22
- 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.keyed-term-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.keyed-term-resolves
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.malformed-term-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.malformed-term-marker-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.repeated-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.repeated-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.typescript-term-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.typescript-term-imports-keyed
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.unknown-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.unknown-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:protocol.role-vocabulary
Implementing units
- impl:protocol.role-vocabulary · test/self-hosting-graph.test.ts:143
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.significant-units-review
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec: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
Implementing units
- impl:protocol.architecture-walk-recipe · test/architecture-recipes.test.ts:10
Referencing units
None.
Enabled verifiers: spec:validation.architecture-constraints.forbidden-layer-pair, spec:validation.architecture-constraints.isolated-context-as-rule, spec:validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.corpus-rules.copies-contain-changes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.copies-contain-changes
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.error-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.error-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.malformed-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.malformed-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.params-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.params-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.rules-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.rules-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.unreadable-params-fail-one-file
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.unreadable-params-fail-one-file
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.warning-finding-informs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.warning-finding-informs
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering.composed-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.composed-location
Packs: pack:self-hosting-v1
spec:validation.diagnostic-rendering.table-cell-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
spec:validation.external-registers
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.prose-mentions
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
Referencing units
None.
Enabled verifiers: test:protocol.entry-locations, test:protocol.prose-mentions
Packs: pack:self-hosting-v1

Distance 4

spec:carrier.gherkin-authoring.authored-fact-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.authored-fact-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.contract-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.contract-parity
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.description-location-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.description-location-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.duplicate-surface-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.duplicate-surface-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.example-space-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.example-space-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.malformed-relation-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.malformed-relation-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.missing-id-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.missing-id-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.multi-finding-bounded
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.multi-finding-bounded
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.parent-child-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.parent-child-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.step-less-scenario-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.step-less-scenario-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unbound-ready-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unbound-ready-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unknown-tag-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unknown-tag-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unsupported-construct-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.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:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-parser.bounded-parity, test:protocol.markdown-parser
Packs: pack:self-hosting-v1
spec:carrier.prose-ownership-rule
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
Packs: pack:self-hosting-v1
spec: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
Implementing units
- impl:protocol.example-space-coverage-recipe · test/studio-s1.test.ts:856
- impl:protocol.example-space-decoding · src/notation/example-space.ts:559
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.intent-composition.proposal.memo.shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.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.diagram-kinds
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.edge-routing
Implementing units
- impl:protocol.studio-diagram-routing · src/projections/studio/diagrams/routing.ts:38
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.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.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.collision-and-unkeyable
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.anchor-comment-form
Implementing units
None.
Referencing units
- impl:protocol.anchor-extraction · src/extract/anchors.ts:125
- impl:protocol.anchors-subpath · src/anchors.ts:8
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.envelope-grammar-posture
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:31
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.build-pipeline-query · src/cli/q-command.ts:212
Referencing units
None.
Enabled verifiers: spec:extraction.build-pipeline.same-invocation, test:protocol.cli-write-boundaries
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.contract-declarations
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
- impl:protocol.register-recipes · test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:extraction.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:285
- impl:protocol.static-reification · src/extract/reify.ts:2217
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:7078
- impl:protocol.entry-citation-scan · src/extract/entry-citations.ts:6
Referencing units
None.
Enabled verifiers: spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-locations
Implementing units
- impl:protocol.entry-location-recipes · test/recipes.test.ts:6049
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Enabled verifiers: test:protocol.entry-locations
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:extraction.example-runner
Implementing units
- component:protocol.adapters · src/adapters/vitest.ts:23
- component:protocol.runner · src/runner/index.ts:103
- impl:protocol.example-runner · src/runner/index.ts:112
- impl:protocol.example-runner-adapter · src/adapters/vitest.ts:32
Referencing units
None.
Enabled verifiers: spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, test:protocol.example-runner-cleanup
Packs: pack:self-hosting-v1
spec:extraction.excludes
Implementing units
- impl:protocol.discover-files · src/extract/discover.ts:35
- impl:protocol.exclusion-surface · src/extract/index.ts:48
Referencing units
None.
Enabled verifiers: spec:extraction.excludes.refused-path, spec:extraction.excludes.segment-boundary
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.case-colliding-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.case-colliding-path
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.concreteness-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.concreteness-refusal
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.multi-entry-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.multi-entry-example
Packs: pack:self-hosting-v1
spec:extraction.executable-examples
Implementing units
- impl:protocol.delivery-facts · src/graph/delivery-facts.ts:65
- impl:protocol.example-runner · src/runner/index.ts:112
- 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:685
- impl:protocol.runnable-modules · src/codegen/contracts.ts:696
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:20
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.pack-coherence · src/validate/validators.ts:1106
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
- impl:protocol.pack-member-order · src/extract/derive.ts:153
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:extraction.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.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:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-keys
Implementing units
- impl:protocol.open-question-keys · src/extract/markdown-body-owner-behavior.ts:38
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.stable-ids · src/ids.ts:173
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:model.open-question-keys.keyed-question-resolves, spec:model.open-question-keys.renamed-key-breaks, spec:model.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec: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:observation.runtime-overlay
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
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.claim-separation
Implementing units
- impl:protocol.claim-separation · src/validate/validators.ts:538
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.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.oracle-target-eligibility
Implementing units
- impl:protocol.oracle-linkage · src/validate/validators.ts:917
- 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

Distance 5

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:128
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-pack-authoring.markdown-ts-parity, spec:carrier.markdown-pack-authoring.spec-envelope-refused, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:carrier.markdown-parser.bounded-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-parser.bounded-parity
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.combination-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.readiness-planner.cycle-shares-a-round
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.cycle-shares-a-round
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.decision-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.decision-first
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.dependency-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.dependency-order
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.owner-question-holds
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.owner-question-holds
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.drifting-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.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:decisions.example-realization-posture
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.prose-ownership
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.entry-citations.code-comment-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.code-comment-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.test-title-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.test-title-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unanchored-file-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unanchored-file-unread
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unresolved-citation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.example-runner.red-step-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.red-step-naming
Packs: pack:self-hosting-v1
spec:extraction.example-runner.step-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.example-runner.step-order
Packs: pack:self-hosting-v1
spec: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.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:285
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.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
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: spec:model.open-question-fields.dropped-list-warns, test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-keys.keyed-question-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.keyed-question-resolves
Packs: pack:self-hosting-v1
spec:model.open-question-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.renamed-key-breaks
Packs: pack:self-hosting-v1
spec:model.open-question-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec:model.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:validation.authored-honesty
Implementing units
- impl:protocol.authored-honesty-delivery-facts · src/validate/validators.ts:1644
- impl:protocol.authored-honesty-shape · src/validate/validators.ts:1569
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.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.duplicate-ids
Implementing units
- impl:protocol.duplicate-id-exclusion · src/extract/index.ts:98
- impl:protocol.duplicate-ids · src/validate/validators.ts:267
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
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
Implementing units
- impl:protocol.superseded-decision-signal · src/validate/validators.ts:1837
Referencing units
None.
Enabled verifiers: spec:validation.superseded-decision-signal.branch-names-every-end, spec:validation.superseded-decision-signal.chain-end-named, spec:validation.superseded-decision-signal.closed-chain-named, spec:validation.superseded-decision-signal.dependency-unread, spec:validation.superseded-decision-signal.end-and-loop-named, spec:validation.superseded-decision-signal.live-replacement-warns, spec:validation.superseded-decision-signal.replaced-ruling-warns, spec:validation.superseded-decision-signal.replacement-below-ready-named, spec:validation.superseded-decision-signal.superseded-subject-silent
Packs: pack:design-management-v1, pack:self-hosting-v1

Distance 6

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:263
- impl:protocol.slot-notation · src/notation/slots.ts:271
Referencing units
None.
Enabled verifiers: spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
spec:decisions.carrier-ruling
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.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.content-only-sections
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: 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.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.typing-law
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-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.open-question-fields.dropped-list-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-fields.dropped-list-warns
Packs: pack:self-hosting-v1
spec:model.relation-reasons
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec: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.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.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.superseded-decision-signal.branch-names-every-end
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.branch-names-every-end
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.chain-end-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.chain-end-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.closed-chain-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.closed-chain-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.dependency-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.dependency-unread
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.end-and-loop-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.end-and-loop-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.live-replacement-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.live-replacement-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replaced-ruling-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replaced-ruling-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replacement-below-ready-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replacement-below-ready-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.superseded-subject-silent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.superseded-subject-silent
Packs: pack:self-hosting-v1

Distance 7

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:decisions.adopt-the-nouns
Implementing units
None.
Referencing units
None.
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.checked-mentions
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:adopter-speed-v1, 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.executable-meta-model
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.gherkin-carrier-option
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.one-primitive
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.pack-markdown-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.plain-language-references
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.protocol-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-gherkin-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec: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
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
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

Distance 8

spec:decisions.kind-conditional-floor
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
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-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.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
spec:validation.kind-evidence
Implementing units
- impl:protocol.kind-evidence · src/validate/readiness-floor.ts:399
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:713
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.pack-coherence
Implementing units
- impl:protocol.pack-coherence · src/validate/validators.ts:1106
Referencing units
None.
Enabled verifiers: spec:validation.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1
spec:validation.readiness-floor.blocking-open-question
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-floor.blocking-open-question
Packs: pack:self-hosting-v1
spec:validation.readiness-floor.unrelated-scoped-spec
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-floor.unrelated-scoped-spec
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor
Implementing units
- impl:protocol.typed-dependency-floor · src/validate/readiness-floor.ts:348
Referencing units
None.
Enabled verifiers: spec:validation.typed-dependency-floor.missing-targets, spec:validation.typed-dependency-floor.relation-rungs, spec:validation.typed-dependency-floor.stated-readiness, spec:validation.typed-dependency-floor.unsettled-fact
Packs: pack:self-hosting-v1

Distance 9

spec:decisions.decision-readiness-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-over-plans
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec: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.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.typed-dependency-floor.missing-targets
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.missing-targets
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.relation-rungs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.relation-rungs
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.stated-readiness
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.stated-readiness
Packs: pack:self-hosting-v1
spec:validation.typed-dependency-floor.unsettled-fact
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.typed-dependency-floor.unsettled-fact
Packs: pack:self-hosting-v1

Distance 10

spec:validation.warn-level-signals
Implementing units
- impl:protocol.orphan-signal · src/validate/validators.ts:1132
- impl:protocol.verifier-gap-signal · src/validate/validators.ts:1754
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 11

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

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	MCP integration remains deferred `spec:decisions.mcp-deferred` · resolves	declared	MCP integration waits for a concrete caller to establish its boundary and contract	None
decidedBy · outgoing	The shipped projections stay frozen `spec:decisions.shipped-projections-frozen` · resolves	declared	None	None
refines · incoming	Agents script a visible typed graph `spec:consumers.agent-surface` · resolves	declared	None	None
refines · incoming	A boundary for assistant-written presentation `spec:consumers.ai-assisted-reading` · resolves	declared	the boundary is drawn against the projection law, a pure function of the graph	None
refines · incoming	The capability map reads every epic and its refinement descendants `spec:consumers.capability-map` · resolves	declared	the capability map projects authored refinement without introducing a grouping	None
refines · incoming	Census renders the runtime taxonomy without becoming a registry `spec:consumers.census-page` · resolves	declared	None	None
refines · incoming	Every verb answers --help, and one verb writes every projection root `spec:consumers.command-line` · resolves	declared	one verb publishes every projection root from one graph	None
refines · incoming	Designs are compared between a base commit and the working tree at entry grain `spec:consumers.design-diff` · resolves	declared	None	None
refines · incoming	Design Review renders graph context without becoming a gate `spec:consumers.design-review` · resolves	declared	None	None
refines · incoming	Views compose scoped intent instead of patching canonical source `spec:consumers.edit-model` · resolves	declared	None	None
refines · incoming	Gherkin view renders any Spec as a disposable read shape `spec:consumers.gherkin-view` · resolves	declared	None	None
refines · incoming	Mechanical code structure stays inferred and apart from curated intent `spec:consumers.impact-graph` · resolves	declared	None	None
refines · incoming	Mermaid renders bounded one-hop and Pack diagrams without becoming a graph browser `spec:consumers.mermaid-view` · resolves	declared	None	None
refines · incoming	An Obsidian vault lets a person iterate on designs from the one graph `spec:consumers.obsidian-vault` · resolves	declared	a projection for a person who iterates on designs in a notes app	None
refines · incoming	Roadmap views read releases, baselines and phases from git and the graph `spec:consumers.projections-model.roadmap-views` · resolves	declared	None	None
refines · incoming	A reference projection serves a reader outside the repository `spec:consumers.reference-projection` · resolves	declared	None	None
refines · incoming	A Pack is read from a named perspective `spec:consumers.review-perspectives` · resolves	declared	None	None
refines · incoming	The Spec Studio is a static HTML workbench over the one graph `spec:consumers.spec-studio` · resolves	declared	None	None
refines · incoming	Mermaid diagrams can be rooted at code units `spec:consumers.structural-mermaid` · resolves	declared	None	None
refines · incoming	MCP integration remains deferred `spec:decisions.mcp-deferred` · resolves	declared	None	None
refines · incoming	The shipped projections stay frozen `spec:decisions.shipped-projections-frozen` · resolves	declared	None	None
refines · incoming	CI run records are joined to verifiers in a view `spec:observation.run-evidence` · resolves	declared	run records inform a view without becoming graph facts	None

Bindings

Implementation binding: present

component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · role projection · layer edge · context protocol
impl:protocol.projections-model · pure generated projection page contract · src/projections/design-review.ts:16 · role contract · component component:protocol.projections · layer edge · context protocol

Design reference: none

Verifier binding: present

test:protocol.cli-write-boundaries · anchored · test/cli-write-boundaries.test.ts:292 · test anchor
test:protocol.projections-model.publication · projection publication tests verify regeneration and diagnostic exit codes · anchored · test/cli.test.ts:61 · test anchor
test:protocol.projections-model.reader · reader tests verify composable graph joins without persistence · anchored · test/reader.test.ts:35 · test anchor
test:protocol.projections-model.rendering · graph-only rendering tests verify pure disposable projection pages · anchored · test/design-review.test.ts:36 · test anchor

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifier bindings

External run evidence from test/cli-write-boundaries.test.ts

Run 2: external run evidence from vitest 4.1.10

External run evidence from test/cli.test.ts

Run 1: external run evidence from vitest 4.1.10

External run evidence from test/reader.test.ts

Run 2: external run evidence from vitest 4.1.10

External run evidence from test/design-review.test.ts

Run 2: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Distance 9

Distance 10

Distance 11

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/cli-write-boundaries.test.ts`

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

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

External run evidence from `test/design-review.test.ts`