Pinned declarations give an adopter a derived module to typecheck

spec:extraction.contract-declarations

Use Case / Behavior · featureready floor ready

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

specs/extraction/contract-declarations.sdp.md

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

The first adopter authored its design as keyed Design entries whose values open with a one-line code span, and a builder and a test author worked apart from that text. Every disagreement raised at the merge was a prose sentence with two readings, never a declaration, and a long table was split across several keyed entries rather than wrapped. That evidence rules the declaration shape below: a one-line code span rather than a fence or a closed section. The shape leaves the contract kind's evidence row unchanged, and a request for a closed contract section needs a Spec of its own. The adopter owns the derived module's emission with its own preamble; implementation and tests may import that module, and compiling it alone does not check their agreement. Nor does it check a span used inside a step bullet against its declaration.

Intent

problem: Signatures and types in a design are code, yet an author writes them as prose entries no compiler reads, so a name used and never declared, or declared twice, is found only by a reviewer.
outcome: Give a pinned declaration one ruled shape inside Design, so the adopter can derive a module and typecheck agreement with its implementation.

Behavior

rule line 22 · specs/extraction/contract-declarations.sdp.md:22: A declaration is the code span that opens the value of one keyed Design entry, written on one line in the language the adopter's code is written in. The Protocol parses no language inside the span and stores it as authored.
rule line 23 · specs/extraction/contract-declarations.sdp.md:23: A fence is not the declaration shape. A declaration that does not fit one line is split across several keyed entries, each a declaration of its own.
rule line 24 · specs/extraction/contract-declarations.sdp.md:24: The key names the declaration's role, and the Protocol fixes no key vocabulary. An adopter's prefix convention, such as fn, type, table, validator, and index, is a project policy that a recipe reads and never a carrier rule.
rule line 25 · specs/extraction/contract-declarations.sdp.md:25: A declaration states a shape and never a delivery fact. The anchor's satisfies binds the code that claims to realize it and a test anchor binds the verifier that claims to check it, both outside the span.
rule line 26 · specs/extraction/contract-declarations.sdp.md:26: The derived module is a projection: regenerable, never edited, imported by the adopter's tests and never by an authored Spec.
rule line 27 · specs/extraction/contract-declarations.sdp.md:27: The adopter emits the derived module from the pinned declarations list with its own preamble of imports and placeholder declarations, until a second adopter needs the same preamble and the emitter freezes into sdp build. The module earns its place only when a changed pinned declaration fails the adopter's typecheck against its implementation; compiling it alone establishes no agreement with that implementation.

6 unkeyed rules.

Verification

Verifier bindings

test:protocol.register-recipes · recipe checks verify the register recipes · anchored · test anchor binding present · test/recipes.test.ts:2068

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

Test anchors: test:protocol.address-and-cycle-recipes, test:protocol.answer-shape-recipes, test:protocol.authoring-grammar-recipes, test:protocol.authoring-recipes, test:protocol.capability-epics, test:protocol.capability-map, test:protocol.design-recipes, test:protocol.recipe-parameters, test:protocol.register-recipes. Specs verified by those bindings: spec:consumers.agent-surface.address-and-cycle-recipes, spec:consumers.agent-surface.answer-shapes, spec:consumers.agent-surface.authoring-recipes, spec:consumers.agent-surface.design-recipes, spec:consumers.agent-surface.recipe-parameters, spec:consumers.agent-surface.register-recipes, spec:consumers.capability-map, spec:extraction.contract-declarations, spec:model.open-question-fields, spec:model.relation-reasons, spec:model.rule-keys, spec:protocol.capability-epics.

Run 1: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
cites each recipe that a Spec names by number and heading under the catalog's number	the agent-surface recipe corpus	passed	203.44 ms
pairs every documented recipe with exactly one fenced body	the agent-surface recipe corpus	passed	1.09 ms
keeps self-hosting and adopter invocation forms distinct	the agent-surface recipe corpus	passed	7.14 ms
teaches parameters as data and keeps the on-ramps naming the CLI verbs and recipes	the agent-surface recipe corpus	passed	4.55 ms
keeps every body plain JavaScript with a return	the agent-surface recipe corpus	passed	5.66 ms
runs every body through the front door without throwing	the agent-surface recipe corpus	passed	4526.76 ms
returns the non-example build backlog and audits excluded example evidence	the agent-surface recipe corpus	passed	71.36 ms
returns a drift alarm of code-bound specs below ready, with the floor named	the agent-surface recipe corpus	passed	46.65 ms
returns one spec's guarantees with its relations and verifier bindings	the agent-surface recipe corpus	passed	38.2 ms
keeps hostile changed filenames as inert JSON data	the agent-surface recipe corpus	passed	36.27 ms
returns the complete diff-to-at-risk bridge	the agent-surface recipe corpus	passed	48.16 ms
names a changed identity-only unit as unlinked, never coverage-unknown or dropped	the agent-surface recipe corpus	passed	66.24 ms
returns a pack's review backbone with its verifier gaps	the agent-surface recipe corpus	passed	54.38 ms
returns concept matches carrying the fields that matched	the agent-surface recipe corpus	passed	86.65 ms
returns readiness divergence as an array, where empty is lawful	the agent-surface recipe corpus	passed	94.47 ms
returns the warn-level signals as data rather than as a gate	the agent-surface recipe corpus	passed	57.35 ms
returns promotion preflight without conferring a readiness edit	the agent-surface recipe corpus	passed	29.14 ms
names the next rung's unmet clause and the dependency that breaks it on a probe	the agent-surface recipe corpus	passed	1.95 ms
keeps declared examples distinct from enabled verifier bindings	the agent-surface recipe corpus	passed	315.12 ms
returns the complete non-ready ladder grouped by family	the agent-surface recipe corpus	passed	112.21 ms
distinguishes a passing current floor from a blocked or clear stated next rung	the agent-surface recipe corpus	passed	4.94 ms
returns every committed structural component with non-empty membership	the agent-surface recipe corpus	passed	59.76 ms
returns exact component uses fan-in and fan-out from the structural oracle	the agent-surface recipe corpus	passed	47.86 ms
returns a component structural neighborhood and an exact absent shape	the agent-surface recipe corpus	passed	87.05 ms
reports census structural coverage from graph and report ground truth	the agent-surface recipe corpus	passed	40.04 ms
reports graph-side upper bounds for every shipped projection root	the agent-surface recipe corpus	passed	34.89 ms
returns the architecture map of every live component with recomputed fan-in and fan-out	the agent-surface recipe corpus	passed	54.87 ms
explains the shared policy and adapter collaborations from graph intent and binding claims	the agent-surface recipe corpus	passed	69.84 ms
retains local uses and their claims without counting a component as its own dependency	the agent-surface recipe corpus	passed	75.74 ms
preserves an unresolved responsibility without inventing its design	the agent-surface recipe corpus	passed	89.93 ms
keeps a dangling component row and surfaces unresolved uses edges	the agent-surface recipe corpus	passed	92.01 ms
preserves an unresolved architecture-map member when memberOf outlives the node	the agent-surface recipe corpus	passed	86.53 ms
returns the decision map ranked by live shaping fan-in	the agent-surface recipe corpus	passed	49.06 ms
returns a planning-slice neighborhood and an exact absent shape	the agent-surface recipe corpus	passed	100.85 ms
returns non-empty bidirectional dependencies for the binding-grain planning slice	the agent-surface recipe corpus	passed	55.05 ms
returns planning-slice implementations, never abstractions	the agent-surface recipe corpus	passed	49.58 ms
preserves an unresolved component row when memberOf outlives the node	the agent-surface recipe corpus	passed	114.57 ms
reports derived design columns beside the existing backlog fields	the agent-surface recipe corpus	passed	5.97 ms
groups backlog rows under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	70.12 ms
groups lower-ladder rows under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	65.98 ms
groups decided subjects under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	50.79 ms
lists key families across the corpus in key, Spec and section order with the documented sample	register recipe semantics	passed	87.47 ms
lists Design and UI key families without a row cap, preserving values, lines and overlapping prefixes	register recipe semantics	passed	6.93 ms
diagnoses an unresolved Pack member without returning a partial register	register recipe semantics	passed	2 ms
diagnoses malformed key-family parameters without a register: {"prefixes":[]}	register recipe semantics	passed	47.39 ms
diagnoses malformed key-family parameters without a register: {"prefixes":[""]}	register recipe semantics	passed	51.9 ms
diagnoses malformed key-family parameters without a register: {"prefixes":["a","a"]}	register recipe semantics	passed	60.77 ms
diagnoses malformed key-family parameters without a register: {"prefixes":"limit"}	register recipe semantics	passed	48.71 ms
diagnoses malformed key-family parameters without a register: {"pack":"pack:absent"}	register recipe semantics	passed	47.17 ms
diagnoses malformed key-family parameters without a register: {"specs":["spec:absent"]}	register recipe semantics	passed	47.63 ms
diagnoses malformed key-family parameters without a register: {"specs":"bad"}	register recipe semantics	passed	48.35 ms
diagnoses malformed key-family parameters without a register: {"pack":"pack:self-hosting-v1","specs":[]}	register recipe semantics	passed	61.9 ms
runs recipe 20 as written in default output	register recipe semantics	passed	83.5 ms
runs recipe 21 as written in default output	register recipe semantics	passed	43.91 ms
runs recipe 22 as written in default output	register recipe semantics	passed	140.26 ms
runs recipe 23 as written in default output	register recipe semantics	passed	135.22 ms
runs recipe 24 as written in default output	register recipe semantics	passed	76.44 ms
runs recipe 25 as written in default output	register recipe semantics	passed	32.84 ms
runs recipe 26 as written in default output	register recipe semantics	passed	34.44 ms
runs recipe 27 as written in default output	register recipe semantics	passed	35.78 ms
runs recipe 28 as written in default output	register recipe semantics	passed	28.08 ms
runs recipe 29 as written in default output	register recipe semantics	passed	25.29 ms
runs recipe 30 as written in default output	register recipe semantics	passed	66.24 ms
runs recipe 31 as written in default output	register recipe semantics	passed	36.6 ms
runs recipe 32 as written in default output	register recipe semantics	passed	22.72 ms
renders long JSON values with the same default text bound as strings	register recipe semantics	passed	7.07 ms
registers an omitted blocking flag through a TypeScript carrier	register recipe semantics	passed	2.89 ms
searches coined keys of every value shape through a TypeScript carrier	register recipe semantics	passed	2.3 ms
searches strings inside a matching coined list or object key	register recipe semantics	passed	2.92 ms
searches a null coined-key value in the reader graph	register recipe semantics	passed	2.36 ms
keeps register counts under totals and top-level plural nouns as arrays	register recipe semantics	passed	602.26 ms
pins whole-token matching for 'retry' in 'entry' / 'retry'	register recipe semantics	passed	1 ms
pins whole-token matching for 'retry' in 'entry' / 'retryable'	register recipe semantics	passed	0.29 ms
pins whole-token matching for 'retry' in 'entry' / 'retry-worker'	register recipe semantics	passed	0.22 ms
pins whole-token matching for 'retry' in 'retryWorker' / 'unrelated'	register recipe semantics	passed	0.21 ms
pins whole-token matching for 'Retry' in 'entry' / 'RETRY.'	register recipe semantics	passed	0.19 ms
pins whole-token matching for 'retry worker' in 'retryWorker' / 'retry-worker'	register recipe semantics	passed	0.18 ms
pins whole-token matching for 'retry worker' in 'entry' / 'worker retry'	register recipe semantics	passed	0.27 ms
pins whole-token matching for 'retry worker' in 'entry' / 'retry the worker'	register recipe semantics	passed	0.18 ms
pins whole-token matching for 'server' in 'entry' / 'HTTPServer'	register recipe semantics	passed	0.27 ms
pins whole-token matching for 'v' in 'entry' / 'v2'	register recipe semantics	passed	0.21 ms
registers every authored question, blocking Specs first	register recipe semantics	passed	65.36 ms
reports one-hop footing of all four types, including unresolved targets	register recipe semantics	passed	94.97 ms
audits mention pairs, skips fences, and preserves full ids and direction	register recipe semantics	passed	1.17 ms
resolves entry mentions and retains every token and pair location through a probe root	register recipe semantics	passed	5.54 ms
reads the whole mention token through an underscore as malformed, never the existing prefix	register recipe semantics	passed	0.73 ms
reads the whole mention token through a slash as malformed, never the existing prefix	register recipe semantics	passed	0.46 ms
reads the whole mention token through a comma as malformed, never the existing prefix	register recipe semantics	passed	0.49 ms
reads the whole mention token through an underscore and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.42 ms
reads the whole mention token through a slash and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.38 ms
reads the whole mention token through a comma and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.4 ms
reads the whole mention token through a letter outside ASCII as malformed, never the existing prefix	register recipe semantics	passed	0.37 ms
reads the whole mention token through an escaped underscore as malformed, never the existing prefix	register recipe semantics	passed	0.36 ms
reads the whole mention token through a combining mark as malformed, never the existing prefix	register recipe semantics	passed	0.48 ms
reads the whole mention token through a combining mark after an entry key as malformed, never the existing prefix	register recipe semantics	passed	0.45 ms
reads the whole mention token through a zero-width space as malformed, never the existing prefix	register recipe semantics	passed	0.44 ms
reads the whole mention token through fullwidth connector punctuation as malformed, never the existing prefix	register recipe semantics	passed	0.4 ms
reads the whole mention token through a NUL as malformed, never the existing prefix	register recipe semantics	passed	0.41 ms
reads the whole mention token through an escape character as malformed, never the existing prefix	register recipe semantics	passed	0.39 ms
reads the whole mention token through a delete character as malformed, never the existing prefix	register recipe semantics	passed	0.55 ms
reads the whole mention token through a C1 control character as malformed, never the existing prefix	register recipe semantics	passed	0.43 ms
reads the whole mention token through a hyphenated entry key as malformed, never the existing prefix	register recipe semantics	passed	0.43 ms
reads the whole mention token through an entry suffix with no key as malformed, never the existing prefix	register recipe semantics	passed	0.43 ms
reads the whole mention token through an entry suffix outside design and ui as malformed, never the existing prefix	register recipe semantics	passed	0.44 ms
reads the clean id through Markdown punctuation: a sentence dot	register recipe semantics	passed	0.51 ms
reads the clean id through Markdown punctuation: a comma	register recipe semantics	passed	0.42 ms
reads the clean id through Markdown punctuation: a colon	register recipe semantics	passed	0.43 ms
reads the clean id through Markdown punctuation: a closing parenthesis	register recipe semantics	passed	0.41 ms
reads the clean id through Markdown punctuation: bold	register recipe semantics	passed	0.41 ms
reads the clean id through Markdown punctuation: emphasis	register recipe semantics	passed	0.41 ms
reads the clean id through Markdown punctuation: strikethrough	register recipe semantics	passed	0.38 ms
reads the clean id through Markdown punctuation: backticks	register recipe semantics	passed	0.43 ms
reads the clean id through Markdown punctuation: ASCII double quotes	register recipe semantics	passed	0.38 ms
reads the clean id through Markdown punctuation: ASCII single quotes	register recipe semantics	passed	0.53 ms
reads the clean id through Markdown punctuation: typographic double quotes	register recipe semantics	passed	0.46 ms
reads the clean id through Markdown punctuation: typographic single quotes	register recipe semantics	passed	0.43 ms
reads the clean id through Markdown punctuation: an em dash	register recipe semantics	passed	0.41 ms
reads the clean id through Markdown punctuation: an en dash	register recipe semantics	passed	0.43 ms
reads the clean id through Markdown punctuation: an ellipsis	register recipe semantics	passed	0.42 ms
reads the clean id through Markdown punctuation: an escaped star	register recipe semantics	passed	0.42 ms
reads the clean id through Markdown punctuation: an escaped exclamation mark	register recipe semantics	passed	0.45 ms
reads the clean id through Markdown punctuation: U+0085	register recipe semantics	passed	0.4 ms
reads the clean id through Markdown punctuation: a no-break space	register recipe semantics	passed	0.4 ms
reads the clean id through Markdown punctuation: a tab	register recipe semantics	passed	0.38 ms
reads the clean id through Markdown punctuation: an arrow	register recipe semantics	passed	0.37 ms
reads a placeholder or a bare prefix as prose, not a mention	register recipe semantics	passed	0.47 ms
scans nested arrays in examples while skipping object fences by position	register recipe semantics	passed	1.04 ms
addresses only lawful Design and UI entry keys in search results	register recipe semantics	passed	1.08 ms
scopes mentions by the mentioning Spec only	register recipe semantics	passed	3.1 ms
reports malformed open questions without counting them: "one question"	register recipe semantics	passed	0.51 ms
reports malformed open questions without counting them: {}	register recipe semantics	passed	0.28 ms
reports malformed open questions without counting them: 42	register recipe semantics	passed	0.29 ms
reports malformed open questions without counting them: {"blocking":true}	register recipe semantics	passed	0.27 ms
reports malformed open questions without counting them: null	register recipe semantics	passed	0.32 ms
reports malformed open questions without counting them: ""	register recipe semantics	passed	0.3 ms
reports malformed open questions without counting them: {"question":"valid","blocking":"yes"}	register recipe semantics	passed	0.31 ms
reports malformed open questions without counting them: {"question":"valid","blocking":null}	register recipe semantics	passed	0.33 ms
reports malformed open questions without counting them: {"question":"valid"}	register recipe semantics	passed	0.38 ms
reports an off-grammar question key as malformed: {"question":"valid","key":"AggregateReach"}	register recipe semantics	passed	0.46 ms
reports an off-grammar question key as malformed: {"question":"valid","key":"aggregate-reach"}	register recipe semantics	passed	0.32 ms
reports an off-grammar question key as malformed: {"question":"valid","key":""}	register recipe semantics	passed	0.33 ms
reports an off-grammar question key as malformed: {"question":"valid","key":7}	register recipe semantics	passed	0.33 ms
reports an off-grammar question key as malformed: {"question":"valid","key":null}	register recipe semantics	passed	0.31 ms
reports an off-grammar question key as malformed: {"question":"valid","blocking":true}	register recipe semantics	passed	0.32 ms
searches whole tokens, coined keys, narrative and fence steps	register recipe semantics	passed	10.86 ms
lists every pinned declaration this corpus holds	register recipe semantics	passed	151.14 ms
reads spans of any run length and skips every entry that pins nothing	register recipe semantics	passed	0.81 ms
resolves the catalog's addresses on this corpus as written	address resolution and dependency cycles	passed	64.16 ms
reports this corpus's dependency cycles as an independent reachability check finds them	address resolution and dependency cycles	passed	88.32 ms
reports the probe's one set and one self-dependent Spec, and nothing for a Spec that only reaches a set	address resolution and dependency cycles	passed	4.2 ms
reports a self-loop inside a larger set only with that set	address resolution and dependency cycles	passed	4.72 ms
walks targets in code-unit order, so of two tied shortest cycles the first target's is reported	address resolution and dependency cycles	passed	6.46 ms
walks a chain of 10,000 Specs and one cycle of 5,000 without recursing	address resolution and dependency cycles	passed	178.94 ms
resolves an inherited property name only where the Spec authors it as a key	address resolution and dependency cycles	passed	3.03 ms
resolves the design's probe addresses with one row and one reason each	address resolution and dependency cycles	passed	2.86 ms
resolves a keyed question, refuses description in Design and UI, and keeps repeats	address resolution and dependency cycles	passed	2.69 ms
registers a keyed question with its key and an unkeyed one with a null key	address resolution and dependency cycles	passed	1.76 ms
audits a question address against the target's open question keys	address resolution and dependency cycles	passed	1.86 ms
addresses a keyed question's text and matches its key, never the key as a row	address resolution and dependency cycles	passed	5.05 ms
returns one row per Studio member with four independent facts	design references and the architecture taxonomy	passed	114.98 ms
lists a referencing unit beside the realizing units without conferring implemented	design references and the architecture taxonomy	passed	152.22 ms
lists the reader beside each Studio member that depends on it, with its realizing units	design references and the architecture taxonomy	passed	66.69 ms
derives builds-on from the member's relations without conferring a fact on it	design references and the architecture taxonomy	passed	154.09 ms
returns the role, layer, and context taxonomy from the code units alone	design references and the architecture taxonomy	passed	33.37 ms
counts references as edges apart from the units that carry them	design references and the architecture taxonomy	passed	83.72 ms
creates each taxonomy bucket once, however many units share the value	design references and the architecture taxonomy	passed	102.31 ms
declares and checks only its indexed parameter names first: 1	recipe parameters and the shipped recipe files	passed	0.86 ms
declares and checks only its indexed parameter names first: 2	recipe parameters and the shipped recipe files	passed	0.45 ms
declares and checks only its indexed parameter names first: 3	recipe parameters and the shipped recipe files	passed	0.48 ms
declares and checks only its indexed parameter names first: 4	recipe parameters and the shipped recipe files	passed	0.4 ms
declares and checks only its indexed parameter names first: 5	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 6	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 7	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 8	recipe parameters and the shipped recipe files	passed	0.45 ms
declares and checks only its indexed parameter names first: 9	recipe parameters and the shipped recipe files	passed	0.44 ms
declares and checks only its indexed parameter names first: 10	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 11	recipe parameters and the shipped recipe files	passed	0.36 ms
declares and checks only its indexed parameter names first: 12	recipe parameters and the shipped recipe files	passed	0.35 ms
declares and checks only its indexed parameter names first: 13	recipe parameters and the shipped recipe files	passed	0.98 ms
declares and checks only its indexed parameter names first: 14	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 15	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 16	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 17	recipe parameters and the shipped recipe files	passed	0.34 ms
declares and checks only its indexed parameter names first: 18	recipe parameters and the shipped recipe files	passed	0.36 ms
declares and checks only its indexed parameter names first: 19	recipe parameters and the shipped recipe files	passed	3.5 ms
declares and checks only its indexed parameter names first: 20	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 21	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 22	recipe parameters and the shipped recipe files	passed	0.4 ms
declares and checks only its indexed parameter names first: 23	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 24	recipe parameters and the shipped recipe files	passed	3.6 ms
declares and checks only its indexed parameter names first: 25	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 26	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 27	recipe parameters and the shipped recipe files	passed	0.44 ms
declares and checks only its indexed parameter names first: 28	recipe parameters and the shipped recipe files	passed	3.48 ms
declares and checks only its indexed parameter names first: 29	recipe parameters and the shipped recipe files	passed	0.4 ms
declares and checks only its indexed parameter names first: 30	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 31	recipe parameters and the shipped recipe files	passed	0.36 ms
declares and checks only its indexed parameter names first: 32	recipe parameters and the shipped recipe files	passed	3.39 ms
declares and checks only its indexed parameter names first: 33	recipe parameters and the shipped recipe files	passed	0.45 ms
declares and checks only its indexed parameter names first: 34	recipe parameters and the shipped recipe files	passed	0.36 ms
declares and checks only its indexed parameter names first: 35	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 36	recipe parameters and the shipped recipe files	passed	0.45 ms
declares and checks only its indexed parameter names first: 37	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 38	recipe parameters and the shipped recipe files	passed	0.37 ms
declares and checks only its indexed parameter names first: 39	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 40	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 41	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 42	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 43	recipe parameters and the shipped recipe files	passed	0.43 ms
declares and checks only its indexed parameter names first: 44	recipe parameters and the shipped recipe files	passed	0.4 ms
declares and checks only its indexed parameter names first: 45	recipe parameters and the shipped recipe files	passed	0.39 ms
declares and checks only its indexed parameter names first: 46	recipe parameters and the shipped recipe files	passed	0.37 ms
declares and checks only its indexed parameter names first: 47	recipe parameters and the shipped recipe files	passed	0.38 ms
declares and checks only its indexed parameter names first: 48	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 49	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 50	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 51	recipe parameters and the shipped recipe files	passed	0.37 ms
declares and checks only its indexed parameter names first: 52	recipe parameters and the shipped recipe files	passed	0.47 ms
declares and checks only its indexed parameter names first: 53	recipe parameters and the shipped recipe files	passed	0.48 ms
declares and checks only its indexed parameter names first: 54	recipe parameters and the shipped recipe files	passed	0.56 ms
declares and checks only its indexed parameter names first: 55	recipe parameters and the shipped recipe files	passed	0.44 ms
returns only the unknown-name answer before reading recipe inputs: 1	recipe parameters and the shipped recipe files	passed	64.45 ms
returns only the unknown-name answer before reading recipe inputs: 2	recipe parameters and the shipped recipe files	passed	86.74 ms
returns only the unknown-name answer before reading recipe inputs: 3	recipe parameters and the shipped recipe files	passed	64.56 ms
returns only the unknown-name answer before reading recipe inputs: 4	recipe parameters and the shipped recipe files	passed	40.29 ms
returns only the unknown-name answer before reading recipe inputs: 5	recipe parameters and the shipped recipe files	passed	46.83 ms
returns only the unknown-name answer before reading recipe inputs: 6	recipe parameters and the shipped recipe files	passed	46.25 ms
returns only the unknown-name answer before reading recipe inputs: 7	recipe parameters and the shipped recipe files	passed	48.18 ms
returns only the unknown-name answer before reading recipe inputs: 8	recipe parameters and the shipped recipe files	passed	42.23 ms
returns only the unknown-name answer before reading recipe inputs: 9	recipe parameters and the shipped recipe files	passed	71.25 ms
returns only the unknown-name answer before reading recipe inputs: 10	recipe parameters and the shipped recipe files	passed	31.24 ms
returns only the unknown-name answer before reading recipe inputs: 11	recipe parameters and the shipped recipe files	passed	31.96 ms
returns only the unknown-name answer before reading recipe inputs: 12	recipe parameters and the shipped recipe files	passed	49.78 ms
returns only the unknown-name answer before reading recipe inputs: 13	recipe parameters and the shipped recipe files	passed	39.97 ms
returns only the unknown-name answer before reading recipe inputs: 14	recipe parameters and the shipped recipe files	passed	63.85 ms
returns only the unknown-name answer before reading recipe inputs: 15	recipe parameters and the shipped recipe files	passed	52.92 ms
returns only the unknown-name answer before reading recipe inputs: 16	recipe parameters and the shipped recipe files	passed	35.88 ms
returns only the unknown-name answer before reading recipe inputs: 17	recipe parameters and the shipped recipe files	passed	33.16 ms
returns only the unknown-name answer before reading recipe inputs: 18	recipe parameters and the shipped recipe files	passed	39.7 ms
returns only the unknown-name answer before reading recipe inputs: 19	recipe parameters and the shipped recipe files	passed	36.47 ms
returns only the unknown-name answer before reading recipe inputs: 20	recipe parameters and the shipped recipe files	passed	34.05 ms
returns only the unknown-name answer before reading recipe inputs: 21	recipe parameters and the shipped recipe files	passed	37.69 ms
returns only the unknown-name answer before reading recipe inputs: 22	recipe parameters and the shipped recipe files	passed	34.48 ms
returns only the unknown-name answer before reading recipe inputs: 23	recipe parameters and the shipped recipe files	passed	45.55 ms
returns only the unknown-name answer before reading recipe inputs: 24	recipe parameters and the shipped recipe files	passed	37.07 ms
returns only the unknown-name answer before reading recipe inputs: 25	recipe parameters and the shipped recipe files	passed	41.58 ms
returns only the unknown-name answer before reading recipe inputs: 26	recipe parameters and the shipped recipe files	passed	36.43 ms
returns only the unknown-name answer before reading recipe inputs: 27	recipe parameters and the shipped recipe files	passed	40.71 ms
returns only the unknown-name answer before reading recipe inputs: 28	recipe parameters and the shipped recipe files	passed	40.12 ms
returns only the unknown-name answer before reading recipe inputs: 29	recipe parameters and the shipped recipe files	passed	34.37 ms
returns only the unknown-name answer before reading recipe inputs: 30	recipe parameters and the shipped recipe files	passed	41.06 ms
returns only the unknown-name answer before reading recipe inputs: 31	recipe parameters and the shipped recipe files	passed	35.56 ms
returns only the unknown-name answer before reading recipe inputs: 32	recipe parameters and the shipped recipe files	passed	43.01 ms
returns only the unknown-name answer before reading recipe inputs: 33	recipe parameters and the shipped recipe files	passed	37.21 ms
returns only the unknown-name answer before reading recipe inputs: 34	recipe parameters and the shipped recipe files	passed	41.37 ms
returns only the unknown-name answer before reading recipe inputs: 35	recipe parameters and the shipped recipe files	passed	39.18 ms
returns only the unknown-name answer before reading recipe inputs: 36	recipe parameters and the shipped recipe files	passed	38.62 ms
returns only the unknown-name answer before reading recipe inputs: 37	recipe parameters and the shipped recipe files	passed	43.69 ms
returns only the unknown-name answer before reading recipe inputs: 38	recipe parameters and the shipped recipe files	passed	38.21 ms
returns only the unknown-name answer before reading recipe inputs: 39	recipe parameters and the shipped recipe files	passed	37.8 ms
returns only the unknown-name answer before reading recipe inputs: 40	recipe parameters and the shipped recipe files	passed	34.85 ms
returns only the unknown-name answer before reading recipe inputs: 41	recipe parameters and the shipped recipe files	passed	38.46 ms
returns only the unknown-name answer before reading recipe inputs: 42	recipe parameters and the shipped recipe files	passed	37.37 ms
returns only the unknown-name answer before reading recipe inputs: 43	recipe parameters and the shipped recipe files	passed	31.83 ms
returns only the unknown-name answer before reading recipe inputs: 44	recipe parameters and the shipped recipe files	passed	25.05 ms
returns only the unknown-name answer before reading recipe inputs: 45	recipe parameters and the shipped recipe files	passed	35.12 ms
returns only the unknown-name answer before reading recipe inputs: 46	recipe parameters and the shipped recipe files	passed	41.83 ms
returns only the unknown-name answer before reading recipe inputs: 47	recipe parameters and the shipped recipe files	passed	35.78 ms
returns only the unknown-name answer before reading recipe inputs: 48	recipe parameters and the shipped recipe files	passed	40.67 ms
returns only the unknown-name answer before reading recipe inputs: 49	recipe parameters and the shipped recipe files	passed	40.51 ms
returns only the unknown-name answer before reading recipe inputs: 50	recipe parameters and the shipped recipe files	passed	37.07 ms
returns only the unknown-name answer before reading recipe inputs: 51	recipe parameters and the shipped recipe files	passed	40.67 ms
returns only the unknown-name answer before reading recipe inputs: 52	recipe parameters and the shipped recipe files	passed	39.56 ms
returns only the unknown-name answer before reading recipe inputs: 53	recipe parameters and the shipped recipe files	passed	27.59 ms
returns only the unknown-name answer before reading recipe inputs: 54	recipe parameters and the shipped recipe files	passed	33.04 ms
returns only the unknown-name answer before reading recipe inputs: 55	recipe parameters and the shipped recipe files	passed	41.41 ms
diagnoses wrong subject names, mixed known names and ordered unknown names through shipped bodies	recipe parameters and the shipped recipe files	passed	100 ms
reads and names each parameter, with a fallback only when the contract supplies one	recipe parameters and the shipped recipe files	passed	9.19 ms
ships every catalog body as dist/recipes/NN-slug.js, byte for byte	recipe parameters and the shipped recipe files	passed	8.28 ms
runs every shipped file, read whole, to the answer its catalog body gives	recipe parameters and the shipped recipe files	passed	6827.51 ms
refuses a catalog whose bodies and headings do not pair, rather than guess a file name	recipe parameters and the shipped recipe files	passed	1.37 ms
reads a CRLF catalog as its LF bodies, and refuses a catalog with no recipe before publishing	recipe parameters and the shipped recipe files	passed	17.95 ms
removes only completed recipe files the catalog no longer owes, never another run's temporary file	recipe parameters and the shipped recipe files	passed	0.82 ms
passes recipe 4 its changed files from a file named with @PATH	recipe parameters and the shipped recipe files	passed	40.39 ms
resolves the addresses recipe 25 receives as data	recipe parameters and the shipped recipe files	passed	67.17 ms
reads the Pack the Pack recipes review from params.pack	recipe parameters and the shipped recipe files	passed	187.66 ms
returns the Pack design of every corpus Pack as the raw graph states it	design recipes	passed	789.57 ms
returns the probe Pack's design exactly, member by member	design recipes	passed	8.24 ms
reaches every Spec resting on the corpus sample, by a shortest path of real edges	design recipes	passed	364.56 ms
walks a dependency chain inbound only, once per Spec, and keeps a reference apart	design recipes	passed	1.71 ms
registers every corpus decision with its supersession, subjects and keyed questions	design recipes	passed	86.75 ms
registers a supersedes pair both ways and a decision that shapes nothing	design recipes	passed	4.58 ms
carries a relation's reason beside the relation in recipes 3, 19, 21 and 31	design recipes	passed	1.68 ms
registers narrowing decisions both ways and excludes refinement by other kinds	design recipes	passed	0.54 ms
keeps the decoder in reader without adding crossings against the lawful notation alternative	design recipes	passed	90.25 ms
reports the corpus's architecture crossings as the raw edges state them	design recipes	passed	61.19 ms
names a crossing of two contexts and of two layers, and skips what cannot cross	design recipes	passed	4.2 ms
resolves every keyed corpus entry to its value and the line the location table records	entry lines in entry search and address resolution	passed	134.85 ms
gives each corpus entry-search row the line of a located entry and null otherwise	entry lines in entry search and address resolution	passed	220.2 ms
never gives a nested entry the line of a literal top-level key its path spells	entry lines in entry search and address resolution	passed	4.76 ms
counts a verifying Spec of another kind as a verifier, never as an example, in the Pack design	entry lines in entry search and address resolution	passed	2.88 ms
gives a string-form open question the line its question[n] row records, as the object form	entry lines in entry search and address resolution	passed	5.46 ms
counts equal layers and contexts between distinct components even without crossings	answers that fit	passed	0.51 ms
returns guarantee entries and complete unit and verifier locations from context	answers that fit	passed	6.21 ms
reports directions relative to an impacted Pack	answers that fit	passed	0.89 ms
indexes exactly the present recipes with names, parameters and uses	answers that fit	passed	3.39 ms
runs a shipped body wrapped inside a caller's filter	answers that fit	passed	112.01 ms
keeps impact totals and puts both edge directions in the summary	answers that fit	passed	2.35 ms
keeps the reader's Pack value in summary, full and selected-member answers	answers that fit	passed	7.28 ms
reports both next rungs when the stated rung is below the floor	answers that fit	passed	0.62 ms
reports no next rung at ready	answers that fit	passed	35.24 ms
reports gap exemptions and every omitted warning beyond the first 25	answers that fit	passed	2.84 ms
lists only defined unimplemented designs and keeps exclusions and references	answers that fit	passed	1.08 ms
registers fields and counts deferrals apart from design holds	authoring grammar recipes	passed	4.32 ms
lists intended mentions apart and preserves the validator's warnings	authoring grammar recipes	passed	8.87 ms
matches rule keys beside their text without searching the derived map	authoring grammar recipes	passed	5.29 ms
locates unkeyed rule text and question field text	authoring grammar recipes	passed	7.51 ms
resolves rule addresses and preserves every parsed part of a miss	authoring grammar recipes	passed	3 ms
counts rule coverage from bound examples and reports unbound intent beside it	authoring grammar recipes	passed	3.01 ms
reports missing rule-coverage scopes and accepts a scope with no rules	authoring grammar recipes	passed	2.53 ms
runs the catalog body in the evaluator without a module loader	entry citations recipe	passed	0.77 ms
orders a declaration's citing files and lines independently of input order	entry citations recipe	passed	0.6 ms
joins declarations and other cited entries, including uncited declarations	entry citations recipe	passed	0.74 ms
includes absent Specs and malformed tokens only in the corpus unresolved list	entry citations recipe	passed	1.17 ms
returns diagnostics without findings for {"pack":"pack:missing"}	entry citations recipe	passed	0.78 ms
returns diagnostics without findings for {"specs":["spec:missing"]}	entry citations recipe	passed	0.44 ms
returns diagnostics without findings for {"specs":"spec:probe.cited"}	entry citations recipe	passed	0.38 ms
returns diagnostics without findings for {"pack":"pack:probe.citations","specs":[]}	entry citations recipe	passed	0.41 ms
returns diagnostics without findings for {"severity":"fatal"}	entry citations recipe	passed	0.34 ms
returns diagnostics without findings for {"severity":null}	entry citations recipe	passed	0.44 ms
reads an absent table as empty, and accepts an empty Spec scope	entry citations recipe	passed	0.48 ms
adds recorded component fields, references, member roles and exact crossing-use counts	Studio architecture and example-space recipe additions	passed	82.69 ms
runs shipped recipe 44 over every decoded space and refuses bad scopes	Studio architecture and example-space recipe additions	passed	425.18 ms
runs recipe 45 as shipped and reports missing and malformed CTRF metadata	not recorded	passed	462.11 ms
recipe 49 renders the panel memo from its catalog body and refuses a malformed document	not recorded	passed	116.15 ms
reports text-preserving rule and flow key changes apart from rewording	not recorded	passed	8.96 ms
preserves a removed keyed rule address beside new unkeyed text	not recorded	passed	2.6 ms
preserves a removed keyed flow address beside new unkeyed text	not recorded	passed	2.19 ms
distinguishes removed unkeyed rule base positions from head positions	not recorded	passed	3.04 ms
distinguishes removed unkeyed flow base positions from head positions	not recorded	passed	2.55 ms
retains every diamond edge and intermediate node while counting each descendant once	the capability map recipe	passed	1.25 ms
returns summary/full parity with explicit omissions for scope {}	the capability map recipe	passed	1.76 ms
returns summary/full parity with explicit omissions for scope {"epic":"spec:probe.epic"}	the capability map recipe	passed	1.06 ms
normalizes prose and unflagged questions while preserving authored indices	the capability map recipe	passed	0.38 ms
retains null titles in serialized node and epic rows when a title degrades	the capability map recipe	passed	0.71 ms
reports a self-refining epic as a cycle without making it its own parent epic	the capability map recipe	passed	2.75 ms
uses the outside unreached parent as root rather than its child cycle group	the capability map recipe	passed	0.49 ms
selects an epic of kind behavior without changing its kind	the capability map recipe	passed	0.45 ms
selects an epic of kind workflow without changing its kind	the capability map recipe	passed	0.25 ms
selects an epic of kind example without changing its kind	the capability map recipe	passed	0.19 ms
selects an epic of kind rule without changing its kind	the capability map recipe	passed	0.18 ms
selects an epic of kind constraint without changing its kind	the capability map recipe	passed	0.19 ms
selects an epic of kind model without changing its kind	the capability map recipe	passed	0.23 ms
selects an epic of kind decision without changing its kind	the capability map recipe	passed	0.23 ms
selects an epic of kind contract without changing its kind	the capability map recipe	passed	0.22 ms
reads node evidence and ordered questions directly, including examples and decisions as parents	the capability map recipe	passed	0.77 ms
represents a missing floor as none and keeps the epic's evidence outside its rollup	the capability map recipe	passed	0.49 ms
counts stated rungs separately from reached floors without lending a bound example's facts to its epic	the capability map recipe	passed	0.78 ms
keeps nested and overlapping memberships and outside parents when selecting one epic	the capability map recipe	passed	1.12 ms
traverses only declared refinement and never infers ancestry from other graph structure	the capability map recipe	passed	0.63 ms
reports cycles, self-links and unresolved or non-Spec endpoints separately from parameter failures	the capability map recipe	passed	0.54 ms
limits damage to edges touching a selected epic scope and terminates reached cycles	the capability map recipe	passed	0.34 ms
keeps overlapping unreached root scopes unique and exposes an empty corpus	the capability map recipe	passed	0.34 ms
refuses invalid parameters without a map: { epic: null }	the capability map recipe	passed	0.17 ms
refuses invalid parameters without a map: { epic: 1 }	the capability map recipe	passed	0.11 ms
refuses invalid parameters without a map: { epic: [] }	the capability map recipe	passed	0.07 ms
refuses invalid parameters without a map: { epic: 'spec:probe.absent' }	the capability map recipe	passed	0.06 ms
refuses invalid parameters without a map: { epic: 'spec:probe.plain' }	the capability map recipe	passed	0.05 ms
refuses invalid parameters without a map: { epic: 'impl:probe.non-spec' }	the capability map recipe	passed	0.05 ms
refuses invalid parameters without a map: { detail: 'true' }	the capability map recipe	passed	0.05 ms
refuses invalid parameters without a map: { detail: 1 }	the capability map recipe	passed	0.05 ms
refuses invalid parameters without a map: { detail: null }	the capability map recipe	passed	0.05 ms
refuses invalid parameters without a map: { epic: 1, detail: 'x' }	the capability map recipe	passed	0.11 ms
checks unknown names before known values	the capability map recipe	passed	0.11 ms
answers deterministically in code-unit id order even when graph arrays are reversed	the capability map recipe	passed	1.22 ms
reaches every Spec from the intended epic owners while preserving kinds and overlapping refinement	the Protocol's capability epics	passed	207.42 ms
keeps refinement and dependency from spec:extraction.build-pipeline to spec:extraction.derive-graph	the Protocol's capability epics	passed	2.08 ms
keeps refinement and dependency from spec:validation.corpus-rules to spec:consumers.agent-surface	the Protocol's capability epics	passed	2.24 ms
keeps refinement and dependency from spec:validation.architecture-constraints to spec:validation.corpus-rules	the Protocol's capability epics	passed	2.19 ms
keeps refinement and dependency from spec:validation.external-registers to spec:validation.corpus-rules	the Protocol's capability epics	passed	2.35 ms
keeps every ready statement at the ready floor and leaves the drift alarm empty	the Protocol's capability epics	passed	73.37 ms
runs the catalog body over the arc Pack through the CLI and keeps its summary totals	the shipped design slice	passed	359.23 ms
runs the roadmap and its memo from the catalog over a named Pack	not recorded	passed	283.82 ms
pins the adopter roadmap and its forward memo over the worked example	not recorded	passed	24.1 ms

Design view

Requirement drawing

Declared verifying examples: no declared verifying example.

Requirement drawing for spec:extraction.contract-declarations

The diagram as text

spec:extraction.contract-declarations: Pinned declarations give an adopter a derived module to typecheck · declared Spec
spec:extraction.executable-contracts: The build derives step and space contracts from graph examples · declared Spec
impl:protocol.pack-design: the Pack design helpers and the Pack context assembly they serve · anchored code · src/reader/reader.ts:499
impl:protocol.register-recipes: asserts realization of the shipped register recipes · anchored code · test/recipes.test.ts:2057
test:protocol.register-recipes: recipe checks verify the register recipes · anchored test binding · binding present · test/recipes.test.ts:2068
spec:extraction.contract-declarations refines spec:extraction.executable-contracts · declared
impl:protocol.pack-design satisfies spec:extraction.contract-declarations · anchored
impl:protocol.register-recipes satisfies spec:extraction.contract-declarations · anchored
test:protocol.register-recipes verifies spec:extraction.contract-declarations · anchored

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.

Mermaid source for Requirement drawing for spec:extraction.contract-declarations

requirementDiagram
  requirement n0 {
    text: "Pinned declarations give an adopter a derived module to typecheck · declared Spec · spec:extraction.contract-declarations"
  }
  element n1 {
    type: "the Pack design helpers and the Pack context assembly they serve · anchored code · impl:protocol.pack-design"
  }
  element n2 {
    type: "asserts realization of the shipped register recipes · anchored code · impl:protocol.register-recipes"
  }
  element n3 {
    type: "recipe checks verify the register recipes · anchored test binding · binding present · test:protocol.register-recipes"
  }
  requirement n4 {
    text: "The build derives step and space contracts from graph examples · declared Spec · spec:extraction.executable-contracts"
  }
  %% claim: anchored
  n1 - satisfies -> n0
  %% claim: anchored
  n2 - satisfies -> n0
  %% claim: declared
  n0 - refines -> n4
  %% claim: anchored
  n3 - verifies -> n0

Decisions

Floor-read sections are closed typed shapes
Every section read by a floor clause has a closed typed shape; unsettled design and ui surfaces remain open.

Runtime

component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
Uses
- component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
- component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
- component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
impl:protocol.pack-design · the Pack design helpers and the Pack context assembly they serve · src/reader/reader.ts:499
Component: component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
Uses
None.
impl:protocol.register-recipes · asserts realization of the shipped register recipes · test/recipes.test.ts:2057
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:extraction.contract-declarations

The diagram as text

spec:carrier.inline-code-spans: Inline code is content, never markup
spec:consumers.pack-design: The Pack context carries the Pack's design
spec:consumers.spec-studio.registers: The corpus's registers are pages a reviewer opens from a link
spec:consumers.upgrade-kit.capability-adoption: Capability adoption counts where each capability is used and where it could apply
spec:decisions.typing-law: Floor-read sections are closed typed shapes
spec:extraction.contract-declarations: Pinned declarations give an adopter a derived module to typecheck
spec:extraction.executable-contracts: The build derives step and space contracts from graph examples
spec:model.enrichment-lifecycle: Enrichment keeps one Spec while its detail changes
spec:extraction.contract-declarations decidedBy spec:decisions.typing-law · declared — the Design section stays open, so the Protocol fixes no declaration key vocabulary
spec:extraction.contract-declarations dependsOn spec:carrier.inline-code-spans · declared
spec:extraction.contract-declarations refines spec:extraction.executable-contracts · declared
spec:consumers.pack-design dependsOn spec:extraction.contract-declarations · declared
spec:consumers.spec-studio.registers dependsOn spec:extraction.contract-declarations · declared — the declarations page lists the pinned declarations recipe 24 reads
spec:consumers.upgrade-kit.capability-adoption dependsOn spec:extraction.contract-declarations · declared — pinned declarations are counted where keyed Design entries are
spec:model.enrichment-lifecycle dependsOn spec:extraction.contract-declarations · declared — a slimming candidate is a pinned declaration

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:extraction.contract-declarations

flowchart TB
  n0["The build derives step and space contracts from graph examples · spec:extraction.executable-contracts"]
  n1["Inline code is content, never markup · spec:carrier.inline-code-spans"]
  n2["Floor-read sections are closed typed shapes · spec:decisions.typing-law"]
  n3["Pinned declarations give an adopter a derived module to typecheck · spec:extraction.contract-declarations"]
  n4["The Pack context carries the Pack's design · spec:consumers.pack-design"]
  n5["The corpus's registers are pages a reviewer opens from a link · spec:consumers.spec-studio.registers"]
  n6["Capability adoption counts where each capability is used and where it could apply · spec:consumers.upgrade-kit.capability-adoption"]
  n7["Enrichment keeps one Spec while its detail changes · spec:model.enrichment-lifecycle"]
  n4 -->|"dependsOn · declared"| n3
  n5 -->|"dependsOn · declared — the declarations page lists the pinned declarations recipe 24 reads"| n3
  n6 -->|"dependsOn · declared — pinned declarations are counted where keyed Design entries are"| n3
  n3 -->|"dependsOn · declared"| n1
  n3 -->|"decidedBy · declared — the Design section stays open, so the Protocol fixes no declaration key vocabulary"| n2
  n3 -->|"refines · declared"| n0
  n7 -->|"dependsOn · declared — a slimming candidate is a pinned declaration"| n3

Rests on

refines · spec:extraction.executable-contracts · stated ready, floor ready
dependsOn · spec:carrier.inline-code-spans · stated ready, floor ready
decidedBy · spec:decisions.typing-law · stated ready, floor ready

Rested on by

Distance 1

spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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.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: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

Distance 2

spec:consumers.agent-surface.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4769
Referencing units
None.
Enabled verifiers: test:protocol.design-recipes
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.delivery-session-on-ramp
Implementing units
- impl:protocol.delivery-session-on-ramp · test/skills.test.ts:83
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.design-review.pack-design-page
Implementing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Referencing units
- impl:protocol.pack-design-sections · src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-slice
Implementing units
- impl:protocol.design-slice-recipe · test/self-hosting-design-slice.test.ts:148
Referencing units
- impl:protocol.studio-slice-answer · src/projections/studio/slice-answer.ts:1
Enabled verifiers: spec:consumers.design-slice.chain, spec:consumers.design-slice.component-absent, spec:consumers.design-slice.component-differing, spec:consumers.design-slice.component-matching, spec:consumers.design-slice.component-unreadable, spec:consumers.design-slice.component-unrelated, spec:consumers.design-slice.decision-backlink, spec:consumers.design-slice.dependency-cycle, spec:consumers.design-slice.folded-example, spec:consumers.design-slice.independent-example, spec:consumers.design-slice.outside-components, spec:consumers.design-slice.outside-holding, spec:consumers.design-slice.outside-satisfied, spec:consumers.design-slice.outside-unbound, test:protocol.design-slice
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.bases
Implementing units
- impl:protocol.vault-bases · src/projections/vault/bases.ts:43
- impl:protocol.vault-notes · src/projections/vault/notes.ts:45
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.review-perspectives
Implementing units
- impl:protocol.perspective-filter-recipe · test/iteration-recipes.test.ts:753
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.spec-studio.cited-line-text
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:279
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page
Implementing units
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.registers.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.spec-page
Implementing units
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption.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:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:120
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:499
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1

Distance 3

spec:consumers.agent-surface.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6214
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6597
- impl:protocol.reader · src/reader/reader.ts:687
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.agent-surface.example-space-coverage
Implementing units
- impl:protocol.example-space-coverage-recipe · test/studio-s1.test.ts:856
- impl:protocol.example-space-decoding · src/notation/example-space.ts:473
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.context-bundle
Implementing units
- impl:protocol.context-bundle-recipe · test/iteration-recipes.test.ts:765
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-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:290
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault.bases.views-match-sources
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.spec-studio.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:13
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs
Implementing units
- impl:protocol.studio-base-input · src/cli/studio-inputs.ts:9
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.recipe-answers
Implementing units
- impl:protocol.studio-recipes · src/projections/studio/recipes.ts:34
Referencing units
- impl:protocol.studio-register-contracts · src/projections/studio/pages/register-answers.ts:4
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds.dependency
Implementing units
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.requirement-trace
Implementing units
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.scoped-architecture
Implementing units
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page
Implementing units
- impl:protocol.studio-glossary · src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue
Implementing units
- impl:protocol.studio-owner-queue · src/projections/studio/pages/queue-page.ts:9
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page.maturity-map
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:251
- impl:protocol.studio-command · src/cli/studio-command.ts:106
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.roadmap-page
Implementing units
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.shell
Implementing units
- impl:protocol.studio-code-spans · src/projections/studio/pages/code-spans.ts:9
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-html · src/projections/studio/pages/html.ts:8
- impl:protocol.studio-text · src/projections/studio/pages/text.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.slice-page
Implementing units
- impl:protocol.studio-slice-page · src/projections/studio/pages/slice-page.ts:25
Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.spec-page.cited-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.core
Implementing units
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1

Distance 4

spec:consumers.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:167
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:11
- impl:protocol.generate-command · src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.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.readiness-planner
Implementing units
- impl:protocol.statement-queue-recipe · test/self-hosting-readiness-planner.test.ts:74
Referencing units
None.
Enabled verifiers: spec:consumers.readiness-planner.cycle-shares-a-round, spec:consumers.readiness-planner.decision-first, spec:consumers.readiness-planner.dependency-order, spec:consumers.readiness-planner.owner-question-holds
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.roadmap
Implementing units
- impl:protocol.roadmap-recipe · test/roadmap.test.ts:20
Referencing units
None.
Enabled verifiers: spec:consumers.roadmap.blocking-part, spec:consumers.roadmap.buildable-part, spec:consumers.roadmap.built-work, spec:consumers.roadmap.design-part, spec:consumers.roadmap.drifting-part, spec:consumers.roadmap.missing-evidence, spec:consumers.roadmap.outside-parent, spec:consumers.roadmap.statement-order, spec:consumers.roadmap.statement-part, test:protocol.roadmap-recipe
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.capability-map-page
Implementing units
- impl:protocol.studio-capabilities-page · src/projections/studio/pages/capabilities-page.ts:78
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.data.inputs.both-given
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-inputs-both-given
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data.inputs.graph-only
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagram-kinds
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219
- impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.edge-routing
Implementing units
- impl:protocol.studio-diagram-routing · src/projections/studio/diagrams/routing.ts:38
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.legibility
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams.folds-by-context
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-context
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.folds-by-layer
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-layer
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diagrams.within-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-within-bound
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.diff-page
Implementing units
- impl:protocol.studio-diff · src/projections/studio/pages/diff-page.ts:91
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diff-page.changed-entry, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.architecture.planned-apart, test:protocol.studio-architecture-maturity-requirement
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.evidence
Implementing units
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.tests
Implementing units
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.tests.coverage-row
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.navigation
Implementing units
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:122
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.runs-page
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-runs-page · src/projections/studio/pages/runs-page.ts:6
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.runs-page.external-evidence
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:8
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:742
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1693
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1

Distance 5

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.engine-provenance
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:182
- impl:protocol.engine-provenance-cli · src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.projections-model.roadmap-views
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.cycle-shares-a-round
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.cycle-shares-a-round
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.decision-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.decision-first
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.dependency-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.dependency-order
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.readiness-planner.owner-question-holds
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.owner-question-holds
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.drifting-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.memo
Implementing units
- impl:protocol.roadmap-memo-recipe · test/roadmap.test.ts:27
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-memo-recipe, test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.capability-tree
Implementing units
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.maturity-picture
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.mermaid-source
Implementing units
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.tests.coverage-row
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-tests-coverage-row
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch.matches-plain-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-watch-plain
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing.stamp-written-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-stamp-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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: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

Distance 6

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:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1

Distance 7

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

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	Floor-read sections are closed typed shapes `spec:decisions.typing-law` · resolves	declared	the Design section stays open, so the Protocol fixes no declaration key vocabulary	None
dependsOn · outgoing	Inline code is content, never markup `spec:carrier.inline-code-spans` · resolves	declared	None	None
refines · outgoing	The build derives step and space contracts from graph examples `spec:extraction.executable-contracts` · resolves	declared	None	None
dependsOn · incoming	The Pack context carries the Pack's design `spec:consumers.pack-design` · resolves	declared	None	None
dependsOn · incoming	The corpus's registers are pages a reviewer opens from a link `spec:consumers.spec-studio.registers` · resolves	declared	the declarations page lists the pinned declarations recipe 24 reads	None
dependsOn · incoming	Capability adoption counts where each capability is used and where it could apply `spec:consumers.upgrade-kit.capability-adoption` · resolves	declared	pinned declarations are counted where keyed Design entries are	None
dependsOn · incoming	Enrichment keeps one Spec while its detail changes `spec:model.enrichment-lifecycle` · resolves	declared	a slimming candidate is a pinned declaration	None

Bindings

Implementation binding: present

impl:protocol.pack-design · the Pack design helpers and the Pack context assembly they serve · src/reader/reader.ts:499 · role reader · component component:protocol.reader · layer application · context protocol
impl:protocol.register-recipes · asserts realization of the shipped register recipes · test/recipes.test.ts:2057

Design reference: none

Verifier binding: present

test:protocol.register-recipes · recipe checks verify the register recipes · anchored · test/recipes.test.ts:2068 · 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/recipes.test.ts

Run 1: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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