A rule or flow entry may carry a key that addresses it

spec:model.rule-keys

Business Rule · storyready floor ready

Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1

Design: 10 design entries · 6 pinned declarations · 2 decisions

specs/model/rule-keys.sdp.md

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

The original design gave a behavior rule an optional id, so the rule could later be promoted to a Spec of its own, and an optional rationale (docs/lineage/v0-design/01-core-primitives.md §2.2). The Protocol kept promotion and dropped the id. An unkeyed rule has no address, so a review finding, a register row or an example cannot name it; a key gives it an address. Open questions carry optional keys on the entry-address key grammar; this Spec follows that pattern for rules.

Intent

problem: An inline rule has no identity but its position and its text, so anything outside the Spec that cites one rule breaks silently when the rules above it move or the rule is reworded.
outcome: Let an author key a rule or flow entry, so a review, a register row or an example can name the entry it is about.

Rule

rule line 27 · specs/model/rule-keys.sdp.md:27: Every entry of a Spec's primary behavior owner may carry an optional key on the open-question key grammar: the rule: and flow: entries of Behavior, the entries of Rule and Contract, and the entries and rule: entries of Workflow. One Spec keeps one key namespace across them, unique among its keyed entries, and an unkeyed entry stays lawful and has no address.
rule line 28 · specs/model/rule-keys.sdp.md:28: A key sits in a marker at the start of the entry's text, after the rule: or flow: label where the entry has one, as in - rule: [#graphOnly] The Studio is a projection. and - [#oneFamily] Every validator belongs to one family., the shape an open question's marker uses, so one form serves labelled and plain entries.
rule line 29 · specs/model/rule-keys.sdp.md:29: Every keyed entry is addressed as spec:<id>#rule.<key> whatever its section, because a Spec uses one primary behavior owner. The address resolves while the Spec carries an entry with that key and fails validation in every Spec that names it once the key is renamed or removed.
rule line 30 · specs/model/rule-keys.sdp.md:30: A rule address is refused in every id slot, as every entry address is, so no anchor targets a rule and no delivery fact attaches to one.
rule line 31 · specs/model/rule-keys.sdp.md:31: An example names the keyed rules it exercises on its verifies relation: the target is an object with target and exercises, a list of the verified Spec's rule keys, beside an optional reason. A key the verified Spec does not carry is a conformance error at the relation, as a missing entry address is. The list mints no edge and confers no delivery fact, so verifies stays whole-Spec, and a rule-coverage recipe reads it to report which keyed rules a bound example exercises and which none does.
rule line 32 · specs/model/rule-keys.sdp.md:32: A keyed entry carries its key and its text and nothing else; why a rule holds is the Spec's narrative, or a decision Spec named through decidedBy when the why passes the ADR three-part test.
rule line 33 · specs/model/rule-keys.sdp.md:33: A keyed rule promoted to a Spec of its own leaves its address behind, because promotion moves the content out, and every mention of that address fails until it names the new Spec.

7 unkeyed rules.

Design

keyMarker line 37 · specs/model/rule-keys.sdp.md:37: [#<key>] and one space open the entry's text, after rule: or flow: where the entry has a label, with the key on the open-question key grammar, ^[a-z][A-Za-z0-9]*$; text that opens with [# and does not match is refused at its line, and a marker later in the text is plain text.
no citation recorded
ruleKeysField line 38 · specs/model/rule-keys.sdp.md:38: behavior.rules and behavior.flows are lists of strings with the marker removed, and behavior.ruleKeys maps each key to the entry it names, rules[<i>] or flows[<i>], in authored order; a Spec with no keyed entry carries no ruleKeys, and the frozen projections read the rule text unchanged.
no citation recorded
carrierSpelling line 39 · specs/model/rule-keys.sdp.md:39: the TypeScript carrier writes the same marker at the start of a rule or flow string, and the Gherkin carrier at the start of a Rule: line's text, so one normalization after reification reads all three carriers.
duplicateKey line 40 · specs/model/rule-keys.sdp.md:40: a key repeated across one Spec's rules and flows is a conformance error at each site, as a repeated question key is; rule keys and question keys address different sections, so the two namespaces stay apart.
ruleLocations line 41 · specs/model/rule-keys.sdp.md:41: the location table records every rule and flow entry, keyed or not, as rule[<i>] or flow[<i>] with key beside a keyed entry, from each carrier that records its line.
exercisesValidator line 42 · specs/model/rule-keys.sdp.md:42: conformance/rule-exercises, a conformance error for an off-contract exercises list or a rule key absent from the verified Spec.
no citation recorded
exercisesAttribute line 43 · specs/model/rule-keys.sdp.md:43: verifies: { target: <spec id>, exercises: [<key>] }, with an optional reason, is lawful on a declared verifies only; the graph's declared verifies edge carries exercises in authored order, an anchored verifies from a test anchor carries none, and exercises on any other relation type is refused.
no citation recorded
gherkinExercises line 44 · specs/model/rule-keys.sdp.md:44: @exercises.<key> on an ordinary Scenario names a rule of the Spec the Scenario verifies, by default its Feature, once per key; a Scenario that verifies more than one Spec and exercises a rule is authored in Markdown.
no citation recorded
ruleCoverage line 45 · specs/model/rule-keys.sdp.md:45: recipe 34, rule coverage, takes params.spec or params.pack and returns { totals: { keyedRules, exercised, unexercised, unkeyedRules }, rows }, one row per keyed rule { address, line, exercisedBy: [{ example, enabled }] }, with an empty exercisedBy for a rule no example exercises.
ruleAddress line 46 · specs/model/rule-keys.sdp.md:46: spec:<id>#rule.<key> resolves through ruleKeys; address resolution (recipe 25) reads rule as a fourth section and returns the entry's text, file and line, and entry search (recipe 23) matches rule keys as it matches Design keys.
no citation recorded

Verification

Verifier bindings

test:protocol.authoring-grammar · checks rule keys, question fields and relation reasons across the carriers · anchored · test anchor binding present · test/authoring-grammar.test.ts:24

External run evidence from `test/authoring-grammar.test.ts`

Test anchors: test:protocol.authoring-grammar. Specs verified by those bindings: spec:model.open-question-fields, spec:model.relation-reasons, spec:model.rule-keys.

Run 2: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
normalizes TypeScript keys and locates keyed and unkeyed rules	rule keys	passed	56.26 ms
normalizes Markdown keys and locates keyed and unkeyed rules	rule keys	passed	15.02 ms
normalizes Gherkin keys and locates keyed and unkeyed rules	rule keys	passed	11.2 ms
accepts keys on every Behavior entry	rule keys	passed	3.19 ms
accepts keys on every Rule entry	rule keys	passed	2.67 ms
accepts keys on every Workflow entry	rule keys	passed	2.63 ms
accepts keys on every Contract entry	rule keys	passed	1.75 ms
keeps the TypeScript field order when it keys flows and rules	rule keys	passed	7.08 ms
reports every repeated key in TypeScript	rule keys	passed	12.86 ms
reports every repeated key in Markdown	rule keys	passed	7.81 ms
reports every repeated key in Gherkin	rule keys	passed	1.57 ms
reports duplicate keys across rules and flows at both sites	rule keys	passed	9.77 ms
refuses malformed marker [#Bad] Text. in all carriers	rule keys	passed	14.28 ms
refuses malformed marker [#bad-key] Text. in all carriers	rule keys	passed	7.89 ms
refuses malformed marker [#] Text. in all carriers	rule keys	passed	5.38 ms
refuses malformed marker [#key]Text. in all carriers	rule keys	passed	9.92 ms
refuses malformed marker [#key] Text. in all carriers	rule keys	passed	5.89 ms
refuses malformed marker [#key] in all carriers	rule keys	passed	13.64 ms
omits ruleKeys when no rule is keyed and keeps Design Review rule text unchanged	rule keys	passed	8.31 ms
carries an optional runtime reason	relation attributes	passed	0.61 ms
carries an optional runtime reason	relation attributes	passed	0.56 ms
carries an optional runtime reason	relation attributes	passed	0.39 ms
carries an optional runtime reason	relation attributes	passed	0.3 ms
carries an optional runtime reason	relation attributes	passed	0.34 ms
carries an optional runtime reason	relation attributes	passed	0.48 ms
carries exercises only from a declared verifies relation	relation attributes	passed	11.3 ms
reads a target-only refines object as the plain id	relation attributes	passed	22.68 ms
reads a target-only dependsOn object as the plain id	relation attributes	passed	12.64 ms
reads a target-only constrainedBy object as the plain id	relation attributes	passed	7.57 ms
reads a target-only decidedBy object as the plain id	relation attributes	passed	6.61 ms
reads a target-only verifies object as the plain id	relation attributes	passed	34.71 ms
reads a target-only supersedes object as the plain id	relation attributes	passed	11.4 ms
accepts mixed Markdown target forms and TypeScript second arguments	relation attributes	passed	7.12 ms
refuses invalid relation options {reason: ""}	relation attributes	passed	5.79 ms
refuses invalid relation options {reason: "one\ntwo"}	relation attributes	passed	4.43 ms
refuses invalid relation options {strength: "hard"}	relation attributes	passed	2.61 ms
refuses invalid relation options {exercises: ["first"]}	relation attributes	passed	2.34 ms
refuses invalid Markdown relation options {reason: ""}	relation attributes	passed	1.37 ms
refuses invalid Markdown relation options {reason: "one\ntwo"}	relation attributes	passed	0.82 ms
refuses invalid Markdown relation options {aspect: "shape"}	relation attributes	passed	0.84 ms
refuses invalid Markdown relation options {exercises: [first]}	relation attributes	passed	0.76 ms
refuses invalid Markdown relation options {target: spec:probe.parent, reason: "x"}	relation attributes	passed	4.44 ms
refuses malformed exercises []	relation attributes	passed	5.96 ms
refuses malformed exercises ["first", "first"]	relation attributes	passed	2.6 ms
refuses malformed exercises ["Bad"]	relation attributes	passed	5.37 ms
refuses malformed exercises "first"	relation attributes	passed	8.44 ms
refuses a duplicate target across plain and object forms	relation attributes	passed	15.25 ms
refuses a duplicate target shared by plain and target-only forms	relation attributes	passed	1.32 ms
maps Gherkin exercises to the default or explicit verified target	relation attributes	passed	2.36 ms
refuses invalid Gherkin exercises @exercises.Bad	relation attributes	passed	1.06 ms
refuses invalid Gherkin exercises @exercises.first @exercises.first	relation attributes	passed	0.57 ms
refuses invalid Gherkin exercises @exercises.first @verifies.spec:probe.parent @verifies.spec:probe.other	relation attributes	passed	0.66 ms
refuses Gherkin exercises on a Feature or example space	relation attributes	passed	4.29 ms
refuses Gherkin exercises on an otherwise lawful example-space scenario	grammar boundary checks	passed	1.02 ms
refuses a malformed or near-miss exercises tag @exercises	grammar boundary checks	passed	0.84 ms
refuses a malformed or near-miss exercises tag @exercise.first	grammar boundary checks	passed	0.7 ms
keeps the carrier finding caps after common normalization	grammar boundary checks	passed	11.44 ms
keeps collection order for rule keys when only some entries carry a line	grammar boundary checks	passed	0.38 ms
keeps relation finding lines after serialization reorders edges	grammar boundary checks	passed	3.32 ms
refuses exercises on an anchored verifies edge	grammar boundary checks	passed	1.4 ms
refuses an unknown relation property even when its name is inherited	grammar boundary checks	passed	0.96 ms
carries the fields through Markdown, serialization and the reader with exact lines	question fields	passed	4.58 ms
records TypeScript fields at their properties and leaves absent fields absent	question fields	passed	5.15 ms
refuses invalid Markdown field - decider: Owner at its line	question fields	passed	0.93 ms
refuses invalid Markdown field - decider: at its line	question fields	passed	2.38 ms
refuses invalid Markdown field - decider: owner - decider: delegated at its line	question fields	passed	0.93 ms
refuses invalid Markdown field - links: at its line	question fields	passed	0.79 ms
refuses invalid Markdown field - links: spec:probe.parent, spec:probe.parent at its line	question fields	passed	0.77 ms
refuses invalid Markdown field - provisional: at its line	question fields	passed	0.78 ms
refuses invalid Markdown field - trigger: at its line	question fields	passed	0.76 ms
refuses invalid Markdown field - status: waiting at its line	question fields	passed	0.71 ms
refuses invalid Markdown field - decider: owner at its line	question fields	passed	0.87 ms
refuses invalid Markdown field - decider: owner continuation at its line	question fields	passed	0.75 ms
refuses a trigger on a non-blocking question and a field outside a question	question fields	passed	8.35 ms
refuses invalid TypeScript field decider: "Owner"	question fields	passed	9.62 ms
refuses invalid TypeScript field links: []	question fields	passed	2.77 ms
refuses invalid TypeScript field links: ["spec:probe.parent", "spec:probe.parent"]	question fields	passed	5 ms
refuses invalid TypeScript field provisional: "one\ntwo"	question fields	passed	7.97 ms
refuses invalid TypeScript field trigger: "A caller."	question fields	passed	4.03 ms
refuses invalid TypeScript field status: "waiting"	question fields	passed	2.72 ms
refuses invalid TypeScript field decider: "owner", decider: "delegated"	question fields	passed	4.45 ms
refuses invalid TypeScript field decider: selectOwner()	question fields	passed	2.65 ms
refuses invalid TypeScript field links: [ref("spec:probe.parent")]	question fields	passed	3.56 ms
refuses invalid TypeScript field links: ["spec:probe.parent", ...others]	question fields	passed	2.63 ms
checks every link as a complete token and groups unbacked pairs with prose	question fields	passed	3.18 ms
keeps readiness dependent on the blocking flag alone	question fields	passed	4.84 ms
preserves rule and flow keys, all question fields, reasons and exercises	TypeScript import	passed	24.02 ms

test:protocol.authoring-grammar-recipes · executes the shipped question, mention, entry, address and rule coverage recipes · anchored · test anchor binding present · test/recipes.test.ts:6657

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 2: external run evidence from vitest 4.1.10

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

Name	Suite	Result	Duration
cites each recipe that a Spec names by number and heading under the catalog's number	the agent-surface recipe corpus	passed	419.67 ms
pairs every documented recipe with exactly one fenced body	the agent-surface recipe corpus	passed	0.89 ms
keeps self-hosting and adopter invocation forms distinct	the agent-surface recipe corpus	passed	7.45 ms
teaches parameters as data and keeps the on-ramps naming the CLI verbs and recipes	the agent-surface recipe corpus	passed	4.63 ms
names in the intro every recipe that reports an absent subject, by its shape	the agent-surface recipe corpus	passed	19032.76 ms
keeps every body plain JavaScript with a return	the agent-surface recipe corpus	passed	13.81 ms
runs every body through the front door without throwing	the agent-surface recipe corpus	passed	5696.65 ms
returns the non-example build backlog and audits excluded example evidence	the agent-surface recipe corpus	passed	109.98 ms
returns a drift alarm of code-bound specs below ready, with the floor named	the agent-surface recipe corpus	passed	104.39 ms
returns one spec's guarantees with its relations and verifier bindings	the agent-surface recipe corpus	passed	79.21 ms
keeps hostile changed filenames as inert JSON data	the agent-surface recipe corpus	passed	51.69 ms
returns the complete diff-to-at-risk bridge	the agent-surface recipe corpus	passed	111.2 ms
names a changed identity-only unit as unlinked, never coverage-unknown or dropped	the agent-surface recipe corpus	passed	131.95 ms
returns a pack's review backbone with its verifier gaps	the agent-surface recipe corpus	passed	113.57 ms
returns concept matches carrying the fields that matched	the agent-surface recipe corpus	passed	98.75 ms
returns readiness divergence as an array, where empty is lawful	the agent-surface recipe corpus	passed	151.96 ms
returns the warn-level signals as data rather than as a gate	the agent-surface recipe corpus	passed	94.98 ms
returns promotion preflight without conferring a readiness edit	the agent-surface recipe corpus	passed	56.27 ms
names the next rung's unmet clause and the dependency that breaks it on a probe	the agent-surface recipe corpus	passed	2.12 ms
keeps declared examples distinct from enabled verifier bindings	the agent-surface recipe corpus	passed	395.96 ms
returns the complete non-ready ladder grouped by family	the agent-surface recipe corpus	passed	147.78 ms
distinguishes a passing current floor from a blocked or clear stated next rung	the agent-surface recipe corpus	passed	2.29 ms
returns every committed structural component with non-empty membership	the agent-surface recipe corpus	passed	79.79 ms
returns exact component uses fan-in and fan-out from the structural oracle	the agent-surface recipe corpus	passed	80.4 ms
returns a component structural neighborhood and an exact absent shape	the agent-surface recipe corpus	passed	118 ms
reports census structural coverage from graph and report ground truth	the agent-surface recipe corpus	passed	66.81 ms
reports graph-side upper bounds for every shipped projection root	the agent-surface recipe corpus	passed	68.23 ms
returns the architecture map of every live component with recomputed fan-in and fan-out	the agent-surface recipe corpus	passed	89.28 ms
explains the shared policy and adapter collaborations from graph intent and binding claims	the agent-surface recipe corpus	passed	90.9 ms
retains local uses and their claims without counting a component as its own dependency	the agent-surface recipe corpus	passed	128.78 ms
preserves an unresolved responsibility without inventing its design	the agent-surface recipe corpus	passed	136.4 ms
keeps a dangling component row and surfaces unresolved uses edges	the agent-surface recipe corpus	passed	150.51 ms
preserves an unresolved architecture-map member when memberOf outlives the node	the agent-surface recipe corpus	passed	171.55 ms
returns the decision map ranked by live shaping fan-in	the agent-surface recipe corpus	passed	85.02 ms
returns a planning-slice neighborhood and an exact absent shape	the agent-surface recipe corpus	passed	184.07 ms
returns non-empty bidirectional dependencies for the binding-grain planning slice	the agent-surface recipe corpus	passed	100.05 ms
returns planning-slice implementations, never abstractions	the agent-surface recipe corpus	passed	67.4 ms
preserves an unresolved component row when memberOf outlives the node	the agent-surface recipe corpus	passed	154.59 ms
reports derived design columns beside the existing backlog fields	the agent-surface recipe corpus	passed	1.06 ms
groups backlog rows under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	86.28 ms
groups lower-ladder rows under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	102.03 ms
groups decided subjects under lawful Object.prototype path segments	the agent-surface recipe corpus	passed	86.69 ms
lists key families across the corpus in key, Spec and section order with the documented sample	register recipe semantics	passed	217.43 ms
lists Design and UI key families without a row cap, preserving values, lines and overlapping prefixes	register recipe semantics	passed	14.79 ms
diagnoses an unresolved Pack member without returning a partial register	register recipe semantics	passed	2.67 ms
diagnoses malformed key-family parameters without a register: {"prefixes":[]}	register recipe semantics	passed	130.37 ms
diagnoses malformed key-family parameters without a register: {"prefixes":[""]}	register recipe semantics	passed	122.89 ms
diagnoses malformed key-family parameters without a register: {"prefixes":["a","a"]}	register recipe semantics	passed	121.29 ms
diagnoses malformed key-family parameters without a register: {"prefixes":"limit"}	register recipe semantics	passed	88.4 ms
diagnoses malformed key-family parameters without a register: {"pack":"pack:absent"}	register recipe semantics	passed	89.25 ms
diagnoses malformed key-family parameters without a register: {"specs":["spec:absent"]}	register recipe semantics	passed	81.73 ms
diagnoses malformed key-family parameters without a register: {"specs":"bad"}	register recipe semantics	passed	80.3 ms
diagnoses malformed key-family parameters without a register: {"pack":"pack:self-hosting-v1","specs":[]}	register recipe semantics	passed	109.08 ms
runs recipe 20 as written in default output	register recipe semantics	passed	213.72 ms
runs recipe 21 as written in default output	register recipe semantics	passed	89.57 ms
runs recipe 22 as written in default output	register recipe semantics	passed	159.65 ms
runs recipe 23 as written in default output	register recipe semantics	passed	238.63 ms
runs recipe 24 as written in default output	register recipe semantics	passed	145.33 ms
runs recipe 25 as written in default output	register recipe semantics	passed	83.91 ms
runs recipe 26 as written in default output	register recipe semantics	passed	101.04 ms
runs recipe 27 as written in default output	register recipe semantics	passed	112.31 ms
runs recipe 28 as written in default output	register recipe semantics	passed	85.72 ms
runs recipe 29 as written in default output	register recipe semantics	passed	90.32 ms
runs recipe 30 as written in default output	register recipe semantics	passed	229.87 ms
runs recipe 31 as written in default output	register recipe semantics	passed	108.19 ms
runs recipe 32 as written in default output	register recipe semantics	passed	61.68 ms
renders long JSON values with the same default text bound as strings	register recipe semantics	passed	21.25 ms
registers an omitted blocking flag through a TypeScript carrier	register recipe semantics	passed	5.29 ms
searches coined keys of every value shape through a TypeScript carrier	register recipe semantics	passed	8.63 ms
searches strings inside a matching coined list or object key	register recipe semantics	passed	5.17 ms
searches a null coined-key value in the reader graph	register recipe semantics	passed	7.61 ms
keeps register counts under totals and top-level plural nouns as arrays	register recipe semantics	passed	1356.25 ms
pins whole-token matching for 'retry' in 'entry' / 'retry'	register recipe semantics	passed	1.18 ms
pins whole-token matching for 'retry' in 'entry' / 'retryable'	register recipe semantics	passed	0.55 ms
pins whole-token matching for 'retry' in 'entry' / 'retry-worker'	register recipe semantics	passed	0.45 ms
pins whole-token matching for 'retry' in 'retryWorker' / 'unrelated'	register recipe semantics	passed	0.44 ms
pins whole-token matching for 'Retry' in 'entry' / 'RETRY.'	register recipe semantics	passed	0.37 ms
pins whole-token matching for 'retry worker' in 'retryWorker' / 'retry-worker'	register recipe semantics	passed	0.37 ms
pins whole-token matching for 'retry worker' in 'entry' / 'worker retry'	register recipe semantics	passed	0.5 ms
pins whole-token matching for 'retry worker' in 'entry' / 'retry the worker'	register recipe semantics	passed	0.36 ms
pins whole-token matching for 'server' in 'entry' / 'HTTPServer'	register recipe semantics	passed	0.41 ms
pins whole-token matching for 'v' in 'entry' / 'v2'	register recipe semantics	passed	0.46 ms
registers every authored question, blocking Specs first	register recipe semantics	passed	139.3 ms
reports one-hop footing of all four types, including unresolved targets	register recipe semantics	passed	257.45 ms
audits mention pairs, skips fences, and preserves full ids and direction	register recipe semantics	passed	5.04 ms
resolves entry mentions and retains every token and pair location through a probe root	register recipe semantics	passed	18.33 ms
reads the whole mention token through an underscore as malformed, never the existing prefix	register recipe semantics	passed	1.25 ms
reads the whole mention token through a slash as malformed, never the existing prefix	register recipe semantics	passed	1.07 ms
reads the whole mention token through a comma as malformed, never the existing prefix	register recipe semantics	passed	3.92 ms
reads the whole mention token through an underscore and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.83 ms
reads the whole mention token through a slash and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.79 ms
reads the whole mention token through a comma and a letter as malformed, never the existing prefix	register recipe semantics	passed	0.75 ms
reads the whole mention token through a letter outside ASCII as malformed, never the existing prefix	register recipe semantics	passed	4.06 ms
reads the whole mention token through an escaped underscore as malformed, never the existing prefix	register recipe semantics	passed	3.59 ms
reads the whole mention token through a combining mark as malformed, never the existing prefix	register recipe semantics	passed	0.88 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.83 ms
reads the whole mention token through a zero-width space as malformed, never the existing prefix	register recipe semantics	passed	0.7 ms
reads the whole mention token through fullwidth connector punctuation as malformed, never the existing prefix	register recipe semantics	passed	3.8 ms
reads the whole mention token through a NUL as malformed, never the existing prefix	register recipe semantics	passed	0.79 ms
reads the whole mention token through an escape character as malformed, never the existing prefix	register recipe semantics	passed	0.76 ms
reads the whole mention token through a delete character as malformed, never the existing prefix	register recipe semantics	passed	0.76 ms
reads the whole mention token through a C1 control character as malformed, never the existing prefix	register recipe semantics	passed	0.75 ms
reads the whole mention token through a hyphenated entry key as malformed, never the existing prefix	register recipe semantics	passed	3.96 ms
reads the whole mention token through an entry suffix with no key as malformed, never the existing prefix	register recipe semantics	passed	0.86 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.75 ms
reads the clean id through Markdown punctuation: a sentence dot	register recipe semantics	passed	4.02 ms
reads the clean id through Markdown punctuation: a comma	register recipe semantics	passed	0.79 ms
reads the clean id through Markdown punctuation: a colon	register recipe semantics	passed	0.74 ms
reads the clean id through Markdown punctuation: a closing parenthesis	register recipe semantics	passed	0.76 ms
reads the clean id through Markdown punctuation: bold	register recipe semantics	passed	3.9 ms
reads the clean id through Markdown punctuation: emphasis	register recipe semantics	passed	0.77 ms
reads the clean id through Markdown punctuation: strikethrough	register recipe semantics	passed	0.77 ms
reads the clean id through Markdown punctuation: backticks	register recipe semantics	passed	0.74 ms
reads the clean id through Markdown punctuation: ASCII double quotes	register recipe semantics	passed	0.71 ms
reads the clean id through Markdown punctuation: ASCII single quotes	register recipe semantics	passed	0.73 ms
reads the clean id through Markdown punctuation: typographic double quotes	register recipe semantics	passed	0.73 ms
reads the clean id through Markdown punctuation: typographic single quotes	register recipe semantics	passed	0.73 ms
reads the clean id through Markdown punctuation: an em dash	register recipe semantics	passed	0.71 ms
reads the clean id through Markdown punctuation: an en dash	register recipe semantics	passed	0.71 ms
reads the clean id through Markdown punctuation: an ellipsis	register recipe semantics	passed	0.76 ms
reads the clean id through Markdown punctuation: an escaped star	register recipe semantics	passed	0.72 ms
reads the clean id through Markdown punctuation: an escaped exclamation mark	register recipe semantics	passed	0.78 ms
reads the clean id through Markdown punctuation: U+0085	register recipe semantics	passed	7.13 ms
reads the clean id through Markdown punctuation: a no-break space	register recipe semantics	passed	1.23 ms
reads the clean id through Markdown punctuation: a tab	register recipe semantics	passed	1.08 ms
reads the clean id through Markdown punctuation: an arrow	register recipe semantics	passed	4.35 ms
reads a placeholder or a bare prefix as prose, not a mention	register recipe semantics	passed	1.23 ms
scans nested arrays in examples while skipping object fences by position	register recipe semantics	passed	8.37 ms
addresses only lawful Design and UI entry keys in search results	register recipe semantics	passed	2.69 ms
scopes mentions by the mentioning Spec only	register recipe semantics	passed	11.21 ms
reports malformed open questions without counting them: "one question"	register recipe semantics	passed	1.02 ms
reports malformed open questions without counting them: {}	register recipe semantics	passed	0.74 ms
reports malformed open questions without counting them: 42	register recipe semantics	passed	0.85 ms
reports malformed open questions without counting them: {"blocking":true}	register recipe semantics	passed	0.72 ms
reports malformed open questions without counting them: null	register recipe semantics	passed	0.69 ms
reports malformed open questions without counting them: ""	register recipe semantics	passed	0.8 ms
reports malformed open questions without counting them: {"question":"valid","blocking":"yes"}	register recipe semantics	passed	0.82 ms
reports malformed open questions without counting them: {"question":"valid","blocking":null}	register recipe semantics	passed	0.83 ms
reports malformed open questions without counting them: {"question":"valid"}	register recipe semantics	passed	0.92 ms
reports an off-grammar question key as malformed: {"question":"valid","key":"AggregateReach"}	register recipe semantics	passed	1.16 ms
reports an off-grammar question key as malformed: {"question":"valid","key":"aggregate-reach"}	register recipe semantics	passed	0.89 ms
reports an off-grammar question key as malformed: {"question":"valid","key":""}	register recipe semantics	passed	0.85 ms
reports an off-grammar question key as malformed: {"question":"valid","key":7}	register recipe semantics	passed	0.78 ms
reports an off-grammar question key as malformed: {"question":"valid","key":null}	register recipe semantics	passed	0.7 ms
reports an off-grammar question key as malformed: {"question":"valid","blocking":true}	register recipe semantics	passed	0.64 ms
searches whole tokens, coined keys, narrative and fence steps	register recipe semantics	passed	31.53 ms
lists every pinned declaration this corpus holds	register recipe semantics	passed	308.68 ms
reads spans of any run length and skips every entry that pins nothing	register recipe semantics	passed	1.43 ms
resolves the catalog's addresses on this corpus as written	address resolution and dependency cycles	passed	123.1 ms
reports this corpus's dependency cycles as an independent reachability check finds them	address resolution and dependency cycles	passed	142.35 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	7.1 ms
reports a self-loop inside a larger set only with that set	address resolution and dependency cycles	passed	11.55 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.76 ms
walks a chain of 10,000 Specs and one cycle of 5,000 without recursing	address resolution and dependency cycles	passed	351.67 ms
resolves an inherited property name only where the Spec authors it as a key	address resolution and dependency cycles	passed	3.67 ms
resolves the design's probe addresses with one row and one reason each	address resolution and dependency cycles	passed	9.64 ms
resolves a keyed question, refuses description in Design and UI, and keeps repeats	address resolution and dependency cycles	passed	4.22 ms
registers a keyed question with its key and an unkeyed one with a null key	address resolution and dependency cycles	passed	2.82 ms
audits a question address against the target's open question keys	address resolution and dependency cycles	passed	3.37 ms
addresses a keyed question's text and matches its key, never the key as a row	address resolution and dependency cycles	passed	7.52 ms
returns one row per Studio member with four independent facts	design references and the architecture taxonomy	passed	225.83 ms
lists a referencing unit beside the realizing units without conferring implemented	design references and the architecture taxonomy	passed	236.19 ms
lists the reader beside each Studio member that depends on it, with its realizing units	design references and the architecture taxonomy	passed	117.64 ms
derives builds-on from the member's relations without conferring a fact on it	design references and the architecture taxonomy	passed	278.29 ms
returns the role, layer, and context taxonomy from the code units alone	design references and the architecture taxonomy	passed	44.37 ms
counts references as edges apart from the units that carry them	design references and the architecture taxonomy	passed	116.65 ms
creates each taxonomy bucket once, however many units share the value	design references and the architecture taxonomy	passed	147.68 ms
declares and checks only its indexed parameter names first: 1	recipe parameters and the shipped recipe files	passed	1.1 ms
declares and checks only its indexed parameter names first: 2	recipe parameters and the shipped recipe files	passed	3.8 ms
declares and checks only its indexed parameter names first: 3	recipe parameters and the shipped recipe files	passed	0.8 ms
declares and checks only its indexed parameter names first: 4	recipe parameters and the shipped recipe files	passed	0.76 ms
declares and checks only its indexed parameter names first: 5	recipe parameters and the shipped recipe files	passed	0.73 ms
declares and checks only its indexed parameter names first: 6	recipe parameters and the shipped recipe files	passed	3.75 ms
declares and checks only its indexed parameter names first: 7	recipe parameters and the shipped recipe files	passed	0.74 ms
declares and checks only its indexed parameter names first: 8	recipe parameters and the shipped recipe files	passed	0.76 ms
declares and checks only its indexed parameter names first: 9	recipe parameters and the shipped recipe files	passed	0.79 ms
declares and checks only its indexed parameter names first: 10	recipe parameters and the shipped recipe files	passed	1.8 ms
declares and checks only its indexed parameter names first: 11	recipe parameters and the shipped recipe files	passed	0.72 ms
declares and checks only its indexed parameter names first: 12	recipe parameters and the shipped recipe files	passed	3.75 ms
declares and checks only its indexed parameter names first: 13	recipe parameters and the shipped recipe files	passed	1.55 ms
declares and checks only its indexed parameter names first: 14	recipe parameters and the shipped recipe files	passed	0.74 ms
declares and checks only its indexed parameter names first: 15	recipe parameters and the shipped recipe files	passed	0.74 ms
declares and checks only its indexed parameter names first: 16	recipe parameters and the shipped recipe files	passed	0.68 ms
declares and checks only its indexed parameter names first: 17	recipe parameters and the shipped recipe files	passed	0.75 ms
declares and checks only its indexed parameter names first: 18	recipe parameters and the shipped recipe files	passed	0.68 ms
declares and checks only its indexed parameter names first: 19	recipe parameters and the shipped recipe files	passed	0.57 ms
declares and checks only its indexed parameter names first: 20	recipe parameters and the shipped recipe files	passed	0.71 ms
declares and checks only its indexed parameter names first: 21	recipe parameters and the shipped recipe files	passed	0.74 ms
declares and checks only its indexed parameter names first: 22	recipe parameters and the shipped recipe files	passed	0.76 ms
declares and checks only its indexed parameter names first: 23	recipe parameters and the shipped recipe files	passed	0.72 ms
declares and checks only its indexed parameter names first: 24	recipe parameters and the shipped recipe files	passed	0.5 ms
declares and checks only its indexed parameter names first: 25	recipe parameters and the shipped recipe files	passed	0.43 ms
declares and checks only its indexed parameter names first: 26	recipe parameters and the shipped recipe files	passed	0.46 ms
declares and checks only its indexed parameter names first: 27	recipe parameters and the shipped recipe files	passed	0.41 ms
declares and checks only its indexed parameter names first: 28	recipe parameters and the shipped recipe files	passed	0.46 ms
declares and checks only its indexed parameter names first: 29	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 30	recipe parameters and the shipped recipe files	passed	0.44 ms
declares and checks only its indexed parameter names first: 31	recipe parameters and the shipped recipe files	passed	0.43 ms
declares and checks only its indexed parameter names first: 32	recipe parameters and the shipped recipe files	passed	0.4 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	4.35 ms
declares and checks only its indexed parameter names first: 35	recipe parameters and the shipped recipe files	passed	0.53 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.46 ms
declares and checks only its indexed parameter names first: 38	recipe parameters and the shipped recipe files	passed	0.44 ms
declares and checks only its indexed parameter names first: 39	recipe parameters and the shipped recipe files	passed	0.87 ms
declares and checks only its indexed parameter names first: 40	recipe parameters and the shipped recipe files	passed	0.49 ms
declares and checks only its indexed parameter names first: 41	recipe parameters and the shipped recipe files	passed	0.45 ms
declares and checks only its indexed parameter names first: 42	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 43	recipe parameters and the shipped recipe files	passed	0.46 ms
declares and checks only its indexed parameter names first: 44	recipe parameters and the shipped recipe files	passed	0.42 ms
declares and checks only its indexed parameter names first: 45	recipe parameters and the shipped recipe files	passed	0.58 ms
declares and checks only its indexed parameter names first: 46	recipe parameters and the shipped recipe files	passed	0.75 ms
declares and checks only its indexed parameter names first: 47	recipe parameters and the shipped recipe files	passed	0.75 ms
declares and checks only its indexed parameter names first: 48	recipe parameters and the shipped recipe files	passed	0.91 ms
declares and checks only its indexed parameter names first: 49	recipe parameters and the shipped recipe files	passed	0.76 ms
declares and checks only its indexed parameter names first: 50	recipe parameters and the shipped recipe files	passed	0.78 ms
declares and checks only its indexed parameter names first: 51	recipe parameters and the shipped recipe files	passed	0.78 ms
declares and checks only its indexed parameter names first: 52	recipe parameters and the shipped recipe files	passed	0.74 ms
declares and checks only its indexed parameter names first: 53	recipe parameters and the shipped recipe files	passed	0.78 ms
declares and checks only its indexed parameter names first: 54	recipe parameters and the shipped recipe files	passed	0.82 ms
declares and checks only its indexed parameter names first: 55	recipe parameters and the shipped recipe files	passed	0.78 ms
returns only the unknown-name answer before reading recipe inputs: 1	recipe parameters and the shipped recipe files	passed	117.83 ms
returns only the unknown-name answer before reading recipe inputs: 2	recipe parameters and the shipped recipe files	passed	98.66 ms
returns only the unknown-name answer before reading recipe inputs: 3	recipe parameters and the shipped recipe files	passed	108.88 ms
returns only the unknown-name answer before reading recipe inputs: 4	recipe parameters and the shipped recipe files	passed	80.33 ms
returns only the unknown-name answer before reading recipe inputs: 5	recipe parameters and the shipped recipe files	passed	104.2 ms
returns only the unknown-name answer before reading recipe inputs: 6	recipe parameters and the shipped recipe files	passed	106.4 ms
returns only the unknown-name answer before reading recipe inputs: 7	recipe parameters and the shipped recipe files	passed	93.79 ms
returns only the unknown-name answer before reading recipe inputs: 8	recipe parameters and the shipped recipe files	passed	91.94 ms
returns only the unknown-name answer before reading recipe inputs: 9	recipe parameters and the shipped recipe files	passed	82.47 ms
returns only the unknown-name answer before reading recipe inputs: 10	recipe parameters and the shipped recipe files	passed	103.28 ms
returns only the unknown-name answer before reading recipe inputs: 11	recipe parameters and the shipped recipe files	passed	81.57 ms
returns only the unknown-name answer before reading recipe inputs: 12	recipe parameters and the shipped recipe files	passed	75.87 ms
returns only the unknown-name answer before reading recipe inputs: 13	recipe parameters and the shipped recipe files	passed	106.17 ms
returns only the unknown-name answer before reading recipe inputs: 14	recipe parameters and the shipped recipe files	passed	58.13 ms
returns only the unknown-name answer before reading recipe inputs: 15	recipe parameters and the shipped recipe files	passed	45.95 ms
returns only the unknown-name answer before reading recipe inputs: 16	recipe parameters and the shipped recipe files	passed	51.39 ms
returns only the unknown-name answer before reading recipe inputs: 17	recipe parameters and the shipped recipe files	passed	71.7 ms
returns only the unknown-name answer before reading recipe inputs: 18	recipe parameters and the shipped recipe files	passed	75.94 ms
returns only the unknown-name answer before reading recipe inputs: 19	recipe parameters and the shipped recipe files	passed	89.69 ms
returns only the unknown-name answer before reading recipe inputs: 20	recipe parameters and the shipped recipe files	passed	76.43 ms
returns only the unknown-name answer before reading recipe inputs: 21	recipe parameters and the shipped recipe files	passed	76.25 ms
returns only the unknown-name answer before reading recipe inputs: 22	recipe parameters and the shipped recipe files	passed	77.06 ms
returns only the unknown-name answer before reading recipe inputs: 23	recipe parameters and the shipped recipe files	passed	76.24 ms
returns only the unknown-name answer before reading recipe inputs: 24	recipe parameters and the shipped recipe files	passed	78.05 ms
returns only the unknown-name answer before reading recipe inputs: 25	recipe parameters and the shipped recipe files	passed	74.04 ms
returns only the unknown-name answer before reading recipe inputs: 26	recipe parameters and the shipped recipe files	passed	62.37 ms
returns only the unknown-name answer before reading recipe inputs: 27	recipe parameters and the shipped recipe files	passed	99.86 ms
returns only the unknown-name answer before reading recipe inputs: 28	recipe parameters and the shipped recipe files	passed	109.48 ms
returns only the unknown-name answer before reading recipe inputs: 29	recipe parameters and the shipped recipe files	passed	132.78 ms
returns only the unknown-name answer before reading recipe inputs: 30	recipe parameters and the shipped recipe files	passed	111.16 ms
returns only the unknown-name answer before reading recipe inputs: 31	recipe parameters and the shipped recipe files	passed	81.75 ms
returns only the unknown-name answer before reading recipe inputs: 32	recipe parameters and the shipped recipe files	passed	83.81 ms
returns only the unknown-name answer before reading recipe inputs: 33	recipe parameters and the shipped recipe files	passed	79.2 ms
returns only the unknown-name answer before reading recipe inputs: 34	recipe parameters and the shipped recipe files	passed	74.3 ms
returns only the unknown-name answer before reading recipe inputs: 35	recipe parameters and the shipped recipe files	passed	43.28 ms
returns only the unknown-name answer before reading recipe inputs: 36	recipe parameters and the shipped recipe files	passed	67.41 ms
returns only the unknown-name answer before reading recipe inputs: 37	recipe parameters and the shipped recipe files	passed	79.8 ms
returns only the unknown-name answer before reading recipe inputs: 38	recipe parameters and the shipped recipe files	passed	81.67 ms
returns only the unknown-name answer before reading recipe inputs: 39	recipe parameters and the shipped recipe files	passed	43.83 ms
returns only the unknown-name answer before reading recipe inputs: 40	recipe parameters and the shipped recipe files	passed	45.74 ms
returns only the unknown-name answer before reading recipe inputs: 41	recipe parameters and the shipped recipe files	passed	47.32 ms
returns only the unknown-name answer before reading recipe inputs: 42	recipe parameters and the shipped recipe files	passed	50.6 ms
returns only the unknown-name answer before reading recipe inputs: 43	recipe parameters and the shipped recipe files	passed	62.4 ms
returns only the unknown-name answer before reading recipe inputs: 44	recipe parameters and the shipped recipe files	passed	41.57 ms
returns only the unknown-name answer before reading recipe inputs: 45	recipe parameters and the shipped recipe files	passed	41.95 ms
returns only the unknown-name answer before reading recipe inputs: 46	recipe parameters and the shipped recipe files	passed	52.33 ms
returns only the unknown-name answer before reading recipe inputs: 47	recipe parameters and the shipped recipe files	passed	121.15 ms
returns only the unknown-name answer before reading recipe inputs: 48	recipe parameters and the shipped recipe files	passed	59.81 ms
returns only the unknown-name answer before reading recipe inputs: 49	recipe parameters and the shipped recipe files	passed	45.97 ms
returns only the unknown-name answer before reading recipe inputs: 50	recipe parameters and the shipped recipe files	passed	49.96 ms
returns only the unknown-name answer before reading recipe inputs: 51	recipe parameters and the shipped recipe files	passed	73.38 ms
returns only the unknown-name answer before reading recipe inputs: 52	recipe parameters and the shipped recipe files	passed	70.55 ms
returns only the unknown-name answer before reading recipe inputs: 53	recipe parameters and the shipped recipe files	passed	75.88 ms
returns only the unknown-name answer before reading recipe inputs: 54	recipe parameters and the shipped recipe files	passed	71.71 ms
returns only the unknown-name answer before reading recipe inputs: 55	recipe parameters and the shipped recipe files	passed	74.91 ms
diagnoses wrong subject names, mixed known names and ordered unknown names through shipped bodies	recipe parameters and the shipped recipe files	passed	198.1 ms
reads and names each parameter, with a fallback only when the contract supplies one	recipe parameters and the shipped recipe files	passed	17.17 ms
ships every catalog body as dist/recipes/NN-slug.js, byte for byte	recipe parameters and the shipped recipe files	passed	10.2 ms
runs every shipped file, read whole, to the answer its catalog body gives	recipe parameters and the shipped recipe files	passed	14201.04 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.91 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	33.61 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	1.05 ms
passes recipe 4 its changed files from a file named with @PATH	recipe parameters and the shipped recipe files	passed	74.72 ms
resolves the addresses recipe 25 receives as data	recipe parameters and the shipped recipe files	passed	94.67 ms
reads the Pack the Pack recipes review from params.pack	recipe parameters and the shipped recipe files	passed	394.16 ms
returns the Pack design of every corpus Pack as the raw graph states it	design recipes	passed	1474.02 ms
returns the probe Pack's design exactly, member by member	design recipes	passed	15.05 ms
reaches every Spec resting on the corpus sample, by a shortest path of real edges	design recipes	passed	665.5 ms
walks a dependency chain inbound only, once per Spec, and keeps a reference apart	design recipes	passed	2.54 ms
registers every corpus decision with its supersession, subjects and keyed questions	design recipes	passed	108.31 ms
registers a supersedes pair both ways and a decision that shapes nothing	design recipes	passed	1.33 ms
carries a relation's reason beside the relation in recipes 3, 19, 21 and 31	design recipes	passed	1.69 ms
registers narrowing decisions both ways and excludes refinement by other kinds	design recipes	passed	0.56 ms
keeps the decoder in reader without adding crossings against the lawful notation alternative	design recipes	passed	168.11 ms
reports the corpus's architecture crossings as the raw edges state them	design recipes	passed	91.03 ms
names a crossing of two contexts and of two layers, and skips what cannot cross	design recipes	passed	0.76 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	188.3 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	315.26 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	5.8 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	3.55 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.14 ms
counts equal layers and contexts between distinct components even without crossings	answers that fit	passed	0.59 ms
returns guarantee entries and complete unit and verifier locations from context	answers that fit	passed	7.82 ms
reports directions relative to an impacted Pack	answers that fit	passed	1.15 ms
indexes exactly the present recipes with names, parameters and uses	answers that fit	passed	6.64 ms
runs a shipped body wrapped inside a caller's filter	answers that fit	passed	237.05 ms
keeps impact totals and puts both edge directions in the summary	answers that fit	passed	3.06 ms
keeps the reader's Pack value in summary, full and selected-member answers	answers that fit	passed	11.92 ms
reports both next rungs when the stated rung is below the floor	answers that fit	passed	0.96 ms
reports no next rung at ready	answers that fit	passed	78.41 ms
reports gap exemptions and every omitted warning beyond the first 25	answers that fit	passed	2.09 ms
lists only defined unimplemented designs and keeps exclusions and references	answers that fit	passed	1.43 ms
registers fields and counts deferrals apart from design holds	authoring grammar recipes	passed	5.25 ms
lists intended mentions apart and preserves the validator's warnings	authoring grammar recipes	passed	7.43 ms
matches rule keys beside their text without searching the derived map	authoring grammar recipes	passed	4.4 ms
locates unkeyed rule text and question field text	authoring grammar recipes	passed	5.07 ms
resolves rule addresses and preserves every parsed part of a miss	authoring grammar recipes	passed	5.19 ms
counts rule coverage from bound examples and reports unbound intent beside it	authoring grammar recipes	passed	4.87 ms
reports missing rule-coverage scopes and accepts a scope with no rules	authoring grammar recipes	passed	6.49 ms
runs the catalog body in the evaluator without a module loader	entry citations recipe	passed	1.27 ms
orders a declaration's citing files and lines independently of input order	entry citations recipe	passed	0.93 ms
joins declarations and other cited entries, including uncited declarations	entry citations recipe	passed	1.28 ms
includes absent Specs and malformed tokens only in the corpus unresolved list	entry citations recipe	passed	2.14 ms
returns diagnostics without findings for {"pack":"pack:missing"}	entry citations recipe	passed	1 ms
returns diagnostics without findings for {"specs":["spec:missing"]}	entry citations recipe	passed	0.59 ms
returns diagnostics without findings for {"specs":"spec:probe.cited"}	entry citations recipe	passed	0.49 ms
returns diagnostics without findings for {"pack":"pack:probe.citations","specs":[]}	entry citations recipe	passed	0.59 ms
returns diagnostics without findings for {"severity":"fatal"}	entry citations recipe	passed	0.57 ms
returns diagnostics without findings for {"severity":null}	entry citations recipe	passed	0.65 ms
reads an absent table as empty, and accepts an empty Spec scope	entry citations recipe	passed	1.03 ms
adds recorded component fields, references, member roles and exact crossing-use counts	Studio architecture and example-space recipe additions	passed	130.37 ms
runs shipped recipe 44 over every decoded space and refuses bad scopes	Studio architecture and example-space recipe additions	passed	734.97 ms
runs recipe 45 as shipped and reports missing and malformed CTRF metadata	not recorded	passed	1158.57 ms
recipe 49 renders the panel memo from its catalog body and refuses a malformed document	not recorded	passed	212.65 ms
reports text-preserving rule and flow key changes apart from rewording	not recorded	passed	9.27 ms
preserves a removed keyed rule address beside new unkeyed text	not recorded	passed	2.71 ms
preserves a removed keyed flow address beside new unkeyed text	not recorded	passed	2.47 ms
distinguishes removed unkeyed rule base positions from head positions	not recorded	passed	3.07 ms
distinguishes removed unkeyed flow base positions from head positions	not recorded	passed	5.3 ms
retains every diamond edge and intermediate node while counting each descendant once	the capability map recipe	passed	1.11 ms
returns summary/full parity with explicit omissions for scope {}	the capability map recipe	passed	1.89 ms
returns summary/full parity with explicit omissions for scope {"epic":"spec:probe.epic"}	the capability map recipe	passed	1.4 ms
normalizes prose and unflagged questions while preserving authored indices	the capability map recipe	passed	0.43 ms
retains null titles in serialized node and epic rows when a title degrades	the capability map recipe	passed	0.78 ms
reports a self-refining epic as a cycle without making it its own parent epic	the capability map recipe	passed	0.37 ms
uses the outside unreached parent as root rather than its child cycle group	the capability map recipe	passed	0.71 ms
selects an epic of kind behavior without changing its kind	the capability map recipe	passed	0.82 ms
selects an epic of kind workflow without changing its kind	the capability map recipe	passed	0.51 ms
selects an epic of kind example without changing its kind	the capability map recipe	passed	0.46 ms
selects an epic of kind rule without changing its kind	the capability map recipe	passed	0.45 ms
selects an epic of kind constraint without changing its kind	the capability map recipe	passed	0.46 ms
selects an epic of kind model without changing its kind	the capability map recipe	passed	0.4 ms
selects an epic of kind decision without changing its kind	the capability map recipe	passed	0.44 ms
selects an epic of kind contract without changing its kind	the capability map recipe	passed	0.39 ms
reads node evidence and ordered questions directly, including examples and decisions as parents	the capability map recipe	passed	1.06 ms
represents a missing floor as none and keeps the epic's evidence outside its rollup	the capability map recipe	passed	0.68 ms
counts stated rungs separately from reached floors without lending a bound example's facts to its epic	the capability map recipe	passed	1.57 ms
keeps nested and overlapping memberships and outside parents when selecting one epic	the capability map recipe	passed	2.08 ms
traverses only declared refinement and never infers ancestry from other graph structure	the capability map recipe	passed	0.94 ms
reports cycles, self-links and unresolved or non-Spec endpoints separately from parameter failures	the capability map recipe	passed	1.14 ms
limits damage to edges touching a selected epic scope and terminates reached cycles	the capability map recipe	passed	0.77 ms
keeps overlapping unreached root scopes unique and exposes an empty corpus	the capability map recipe	passed	0.92 ms
refuses invalid parameters without a map: { epic: null }	the capability map recipe	passed	0.41 ms
refuses invalid parameters without a map: { epic: 1 }	the capability map recipe	passed	0.24 ms
refuses invalid parameters without a map: { epic: [] }	the capability map recipe	passed	0.23 ms
refuses invalid parameters without a map: { epic: 'spec:probe.absent' }	the capability map recipe	passed	0.24 ms
refuses invalid parameters without a map: { epic: 'spec:probe.plain' }	the capability map recipe	passed	0.26 ms
refuses invalid parameters without a map: { epic: 'impl:probe.non-spec' }	the capability map recipe	passed	0.21 ms
refuses invalid parameters without a map: { detail: 'true' }	the capability map recipe	passed	0.2 ms
refuses invalid parameters without a map: { detail: 1 }	the capability map recipe	passed	0.2 ms
refuses invalid parameters without a map: { detail: null }	the capability map recipe	passed	0.19 ms
refuses invalid parameters without a map: { epic: 1, detail: 'x' }	the capability map recipe	passed	0.34 ms
checks unknown names before known values	the capability map recipe	passed	0.27 ms
answers deterministically in code-unit id order even when graph arrays are reversed	the capability map recipe	passed	3.02 ms
reaches every Spec from the intended epic owners while preserving kinds and overlapping refinement	the Protocol's capability epics	passed	310.23 ms
keeps refinement and dependency from spec:extraction.build-pipeline to spec:extraction.derive-graph	the Protocol's capability epics	passed	3.9 ms
keeps refinement and dependency from spec:validation.corpus-rules to spec:consumers.agent-surface	the Protocol's capability epics	passed	10.19 ms
keeps refinement and dependency from spec:validation.architecture-constraints to spec:validation.corpus-rules	the Protocol's capability epics	passed	7.34 ms
keeps refinement and dependency from spec:validation.external-registers to spec:validation.corpus-rules	the Protocol's capability epics	passed	5.95 ms
keeps every ready statement at the ready floor and leaves the drift alarm empty	the Protocol's capability epics	passed	176.26 ms
runs the catalog body over the arc Pack through the CLI and keeps its summary totals	the shipped design slice	passed	730.23 ms
runs the roadmap and its memo from the catalog over a named Pack	not recorded	passed	845.3 ms
pins the adopter roadmap and its forward memo over the worked example	not recorded	passed	35.88 ms
is left out of readiness divergence rather than read as below idea	a floor the reader does not evaluate	passed	4.45 ms
answers promotion preflight as not evaluated, with no floor reading to pass or fail	a floor the reader does not evaluate	passed	2.32 ms
labels the lower ladder and names no next rung nothing blocks	a floor the reader does not evaluate	passed	2.33 ms
reads as not evaluated in every recipe row that reports the floor reached	a floor the reader does not evaluate	passed	22.58 ms
counts it in the capability map's totals and rollups, beside an unratified kind or altitude	a floor the reader does not evaluate	passed	6.27 ms
counts a footing target it holds in dependency footing's totals	a floor the reader does not evaluate	passed	3.09 ms
puts the roadmap entries to design and renders their memo rows as not evaluated	a floor the reader does not evaluate	passed	13.81 ms
counts foreign readiness done as unratified without changing structural buckets	dependency footing with unratified stated readiness	passed	88.46 ms
counts foreign readiness __proto__ as unratified without changing structural buckets	dependency footing with unratified stated readiness	passed	91.31 ms
counts foreign readiness constructor as unratified without changing structural buckets	dependency footing with unratified stated readiness	passed	50.78 ms
counts foreign readiness unresolved as unratified without changing structural buckets	dependency footing with unratified stated readiness	passed	28.4 ms
counts foreign readiness nonSpec as unratified without changing structural buckets	dependency footing with unratified stated readiness	passed	61.16 ms
counts foreign readiness constructor without losing a member or decision	recipe 5 readiness tallies with foreign values	passed	39.78 ms
counts foreign readiness __proto__ without losing a member or decision	recipe 5 readiness tallies with foreign values	passed	48.27 ms
counts foreign readiness done without losing a member or decision	recipe 5 readiness tallies with foreign values	passed	42.41 ms
counts foreign readiness constructor without losing a member or decision	recipe 31 readiness tallies with foreign values	passed	31.33 ms
counts foreign readiness __proto__ without losing a member or decision	recipe 31 readiness tallies with foreign values	passed	32.52 ms
counts foreign readiness done without losing a member or decision	recipe 31 readiness tallies with foreign values	passed	30.64 ms

Design view

Requirement drawing

Declared verifying examples: no declared verifying example.

Requirement drawing for spec:model.rule-keys

The diagram as text

spec:model.rule-keys: A rule or flow entry may carry a key that addresses it · declared Spec
spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics · declared Spec
impl:protocol.authoring-grammar-recipes: asserts the authoring grammar's realization in docs/agent-surface/recipes.md · anchored code · test/recipes.test.ts:6667
impl:protocol.authoring-normalization: normalizes rule markers and question fields after carrier reification · anchored code · src/extract/authoring-normalization.ts:8
impl:protocol.rule-exercises: checks the keys named by declared verifies relations · anchored code · src/validate/validators.ts:1493
test:protocol.authoring-grammar: checks rule keys, question fields and relation reasons across the carriers · anchored test binding · binding present · test/authoring-grammar.test.ts:24
test:protocol.authoring-grammar-recipes: executes the shipped question, mention, entry, address and rule coverage recipes · anchored test binding · binding present · test/recipes.test.ts:6657
spec:model.rule-keys refines spec:model.spec-sections · declared
impl:protocol.authoring-grammar-recipes satisfies spec:model.rule-keys · anchored
impl:protocol.authoring-normalization satisfies spec:model.rule-keys · anchored
impl:protocol.rule-exercises satisfies spec:model.rule-keys · anchored
test:protocol.authoring-grammar verifies spec:model.rule-keys · anchored
test:protocol.authoring-grammar-recipes verifies spec:model.rule-keys · 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:model.rule-keys

requirementDiagram
  requirement n0 {
    text: "A rule or flow entry may carry a key that addresses it · declared Spec · spec:model.rule-keys"
  }
  element n1 {
    type: "asserts the authoring grammar's realization in docs/agent-surface/recipes.md · anchored code · impl:protocol.authoring-grammar-recipes"
  }
  element n2 {
    type: "normalizes rule markers and question fields after carrier reification · anchored code · impl:protocol.authoring-normalization"
  }
  element n3 {
    type: "checks the keys named by declared verifies relations · anchored code · impl:protocol.rule-exercises"
  }
  element n4 {
    type: "checks rule keys, question fields and relation reasons across the carriers · anchored test binding · binding present · test:protocol.authoring-grammar"
  }
  element n5 {
    type: "executes the shipped question, mention, entry, address and rule coverage recipes · anchored test binding · binding present · test:protocol.authoring-grammar-recipes"
  }
  requirement n6 {
    text: "Spec sections carry typed detail and direct verifier semantics · declared Spec · spec:model.spec-sections"
  }
  %% claim: anchored
  n1 - satisfies -> n0
  %% claim: anchored
  n2 - satisfies -> n0
  %% claim: anchored
  n3 - satisfies -> n0
  %% claim: declared
  n0 - refines -> n6
  %% claim: anchored
  n4 - verifies -> n0
  %% claim: anchored
  n5 - verifies -> n0

Decisions

A Spec id written in prose is a checked mention
A Spec id in narrative or section text, outside gwt and gwt-vocabulary fences, is a mention. A mention that does not resolve is a conformance error. A mention of another Spec that shares no declared relation with the mentioning Spec, in either direction, is one warning per mentioning Spec and target Spec pair, whatever the number of locations; an address on the mentioning Spec's own id is checked for its entry and never warned. An entry address is a Spec id followed by #, the section name design, ui, question, rule, or term, a dot, and the entry's lower-camel ASCII key, as in spec:<id>#design.<key> or spec:<id>#question.<key>. A design or ui address resolves when the Spec exists and that section holds the key as its own key, other than description; a question address resolves when the Spec exists and one of its open questions carries that key; a term address resolves when the Spec exists and one of its Model terms carries that key. The # sub-part is reserved for the entry address in every namespace: a Spec's own id, a relation target, a Pack member or model reference, an anchor id or target, and the specId and ref builders all refuse it. A mention mints no edge, and the reader gains no join.
The shipped projections stay frozen
Re-specifying the shipped Design Review, census, Mermaid, or Gherkin projection is refused. These four projections are the ruled read surfaces over the one graph. A later decision Spec that supersedes this one replaces the ruling whole; a decision Spec that refines this one narrows it for one projection or one rendering and leaves the rest frozen. Either passes the ADR three-part test.

Runtime

component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · 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:263 · layer domain · context protocol
- component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
Uses
- component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
- component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
- component:protocol.notation · the leaf step codec · src/notation/slots.ts:263 · layer domain · context protocol
impl:protocol.authoring-grammar-recipes · asserts the authoring grammar's realization in docs/agent-surface/recipes.md · test/recipes.test.ts:6667
Uses
None.
impl:protocol.authoring-normalization · normalizes rule markers and question fields after carrier reification · src/extract/authoring-normalization.ts:8
Component: component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · layer application · context protocol
Uses
None.
impl:protocol.rule-exercises · checks the keys named by declared verifies relations · src/validate/validators.ts:1493
Component: component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
Uses
None.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact

Relations of spec:model.rule-keys

The diagram as text

spec:carrier.envelope-contract: The Markdown envelope is explicit and bounded
spec:carrier.gherkin-authoring: Gherkin authoring enters the one graph
spec:carrier.markdown-body-grammar: The Markdown body accepts one closed form per section
spec:consumers.agent-surface.address-and-cycle-recipes: Address resolution and dependency cycles stay executable graph recipes
spec:consumers.agent-surface.register-recipes: Register questions stay executable graph recipes
spec:consumers.authoring-on-ramp: Authors move one Spec from intent to reviewed evidence
spec:consumers.design-slice: A slice reads a Pack as one design, with the architecture it touches and what each member needs next
spec:consumers.spec-studio.lenses.tests: The tests lens shows how far each Spec's verification reaches
spec:consumers.spec-studio.spec-page: A Spec page shows one Spec in collapsible panels, in a fixed order
spec:consumers.spec-studio.spec-page.core: A Spec page's core shows the whole Spec, with an anchor for every entry
spec:consumers.spec-studio.verification-panels: The panels for examples, targets, verifiers and evidence
spec:consumers.upgrade-kit.capability-adoption: Capability adoption counts where each capability is used and where it could apply
spec:consumers.upgrade-kit.rule-key-proposal: The rule-key proposal keys every unkeyed rule as a change proposal
spec:decisions.checked-mentions: A Spec id written in prose is a checked mention
spec:decisions.shipped-projections-frozen: The shipped projections stay frozen
spec:extraction.entry-locations: The graph records where each addressable entry is written
spec:model.open-question-keys: An open question may carry a key that addresses it
spec:model.rule-keys: A rule or flow entry may carry a key that addresses it
spec:model.spec-sections: Spec sections carry typed detail and direct verifier semantics
spec:model.term-addresses: A Model term may carry a key that addresses it
spec:model.rule-keys decidedBy spec:decisions.checked-mentions · declared — rule addresses join the address law it rules
spec:model.rule-keys decidedBy spec:decisions.shipped-projections-frozen · declared — keys stay off the frozen projections, which read the rule text unchanged
spec:model.rule-keys dependsOn spec:extraction.entry-locations · declared — adds rows to the location table
spec:model.rule-keys dependsOn spec:model.open-question-keys · declared
spec:model.rule-keys refines spec:model.spec-sections · declared
spec:carrier.envelope-contract dependsOn spec:model.rule-keys · declared
spec:carrier.gherkin-authoring dependsOn spec:model.rule-keys · declared
spec:carrier.markdown-body-grammar dependsOn spec:model.rule-keys · declared
spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:model.rule-keys · declared — a rule address resolves through the Spec's rule keys
spec:consumers.agent-surface.register-recipes dependsOn spec:model.rule-keys · declared — entry search and the mention audit read rule addresses
spec:consumers.authoring-on-ramp dependsOn spec:model.rule-keys · declared
spec:consumers.design-slice dependsOn spec:model.rule-keys · declared — each member's rule count is the count rule coverage reports
spec:consumers.spec-studio.lenses.tests dependsOn spec:model.rule-keys · declared — rule coverage counts the keyed rules examples exercise
spec:consumers.spec-studio.spec-page dependsOn spec:model.rule-keys · declared
spec:consumers.spec-studio.spec-page.core dependsOn spec:model.rule-keys · declared
spec:consumers.spec-studio.verification-panels dependsOn spec:model.rule-keys · declared
spec:consumers.upgrade-kit.capability-adoption dependsOn spec:model.rule-keys · declared — rule keys and `exercises` are two of the capabilities it counts
spec:consumers.upgrade-kit.rule-key-proposal dependsOn spec:model.rule-keys · declared — a coined key follows the rule-key grammar and marker
spec:model.term-addresses dependsOn spec:model.rule-keys · declared — the term-key design follows the rule-entry address pattern

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:model.rule-keys

flowchart TB
  n0["Spec sections carry typed detail and direct verifier semantics · spec:model.spec-sections"]
  n1["The graph records where each addressable entry is written · spec:extraction.entry-locations"]
  n2["An open question may carry a key that addresses it · spec:model.open-question-keys"]
  n3["A Spec id written in prose is a checked mention · spec:decisions.checked-mentions"]
  n4["The shipped projections stay frozen · spec:decisions.shipped-projections-frozen"]
  n5["A rule or flow entry may carry a key that addresses it · spec:model.rule-keys"]
  n6["14 Incoming dependsOn, folded · spec:model.rule-keys.fold.Incoming.dependsOn"]
  %% folded spec:model.rule-keys.fold.Incoming.dependsOn: spec:carrier.envelope-contract, spec:carrier.gherkin-authoring, spec:carrier.markdown-body-grammar, spec:consumers.agent-surface.address-and-cycle-recipes, spec:consumers.agent-surface.register-recipes, spec:consumers.authoring-on-ramp, spec:consumers.design-slice, spec:consumers.spec-studio.lenses.tests, spec:consumers.spec-studio.spec-page, spec:consumers.spec-studio.spec-page.core, spec:consumers.spec-studio.verification-panels, spec:consumers.upgrade-kit.capability-adoption, spec:consumers.upgrade-kit.rule-key-proposal, spec:model.term-addresses
  n5 -->|"decidedBy · declared — rule addresses join the address law it rules"| n3
  %% count: 1; spec:model.rule-keys to spec:decisions.checked-mentions
  n5 -->|"decidedBy · declared — keys stay off the frozen projections, which read the rule text unchanged"| n4
  %% count: 1; spec:model.rule-keys to spec:decisions.shipped-projections-frozen
  n5 -->|"dependsOn · declared — adds rows to the location table"| n1
  %% count: 1; spec:model.rule-keys to spec:extraction.entry-locations
  n5 -->|"dependsOn · declared"| n2
  %% count: 1; spec:model.rule-keys to spec:model.open-question-keys
  n5 -->|"refines · declared"| n0
  %% count: 1; spec:model.rule-keys to spec:model.spec-sections
  n6 -->|"dependsOn · declared (14 unit edges)"| n5
  %% count: 14; spec:model.rule-keys.fold.Incoming.dependsOn to spec:model.rule-keys

Rests on

refines · spec:model.spec-sections · stated ready, floor ready
dependsOn · spec:extraction.entry-locations · stated ready, floor ready
dependsOn · spec:model.open-question-keys · stated ready, floor ready
decidedBy · spec:decisions.checked-mentions · stated ready, floor ready
decidedBy · spec:decisions.shipped-projections-frozen · stated ready, floor ready

Rested on by

Distance 1

spec:carrier.envelope-contract
Implementing units
- impl:protocol.envelope-contract · src/extract/markdown-frontmatter.ts:33
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
Referencing units
None.
Enabled verifiers: test:protocol.envelope-contract
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring
Implementing units
- impl:protocol.gherkin-authoring · src/extract/gherkin.ts:1440
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
Referencing units
None.
Enabled verifiers: spec:carrier.gherkin-authoring.authored-fact-refused, spec:carrier.gherkin-authoring.contract-parity, spec:carrier.gherkin-authoring.description-location-refused, spec:carrier.gherkin-authoring.duplicate-surface-refused, spec:carrier.gherkin-authoring.example-space-extraction, spec:carrier.gherkin-authoring.malformed-relation-refused, spec:carrier.gherkin-authoring.missing-id-refused, spec:carrier.gherkin-authoring.multi-finding-bounded, spec:carrier.gherkin-authoring.parent-child-extraction, spec:carrier.gherkin-authoring.step-less-scenario-refused, spec:carrier.gherkin-authoring.unbound-ready-refused, spec:carrier.gherkin-authoring.unknown-tag-refused, spec:carrier.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
- impl:protocol.markdown-content · src/extract/markdown-body-content.ts:12
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-body-grammar.continuation-line-refused, spec:carrier.markdown-body-grammar.foreign-fence-refused, spec:carrier.markdown-body-grammar.h3-refused, spec:carrier.markdown-body-grammar.integer-term-refused, spec:carrier.markdown-body-grammar.keyed-bullet-refused, spec:carrier.markdown-body-grammar.ordered-list-refused, spec:carrier.markdown-body-grammar.plain-bullet-refused, spec:carrier.markdown-body-grammar.raw-html-refused, spec:carrier.markdown-body-grammar.repeated-field-refused, spec:carrier.markdown-body-grammar.second-primary-owner-refused, spec:carrier.markdown-body-grammar.shared-description-refused, spec:carrier.markdown-body-grammar.table-refused, spec:carrier.markdown-body-grammar.trailing-prose-refused, spec:carrier.markdown-body-grammar.unrecognized-heading-refused, spec:validation.kind-evidence.second-entry-untargeted, test:protocol.markdown-body-grammar-regressions
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, test:protocol.address-and-cycle-recipes
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.register-recipes
Implementing units
- impl:protocol.register-recipes · test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:consumers.authoring-on-ramp
Implementing units
- impl:protocol.authoring-on-ramp · test/skills.test.ts:77
- impl:protocol.spec-scaffolder · src/cli/new-spec-command.ts:358
Referencing units
None.
Enabled verifiers: test:protocol.authoring-on-ramp, test:protocol.spec-scaffolder
Packs: pack:self-hosting-v1
spec:consumers.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.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.spec-page
Implementing units
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:202
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.spec-page.core
Implementing units
- impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:202
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.verification-panels
Implementing units
- impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:75
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit.capability-adoption
Implementing units
- impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal
Implementing units
- impl:protocol.rule-key-proposal-recipe · test/upgrade-kit.test.ts:742
Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses
Implementing units
- impl:protocol.address-and-cycle-recipes · test/recipes.test.ts:3629
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
- impl:protocol.stable-ids · src/ids.ts:173
Referencing units
None.
Enabled verifiers: spec:model.term-addresses.keyed-term-resolves, spec:model.term-addresses.malformed-term-marker-refused, spec:model.term-addresses.repeated-term-key-refused, spec:model.term-addresses.typescript-term-imports-keyed, spec:model.term-addresses.unknown-term-key-refused, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:obsidian-vault-v1, pack:self-hosting-v1

Distance 2

spec:carrier.gherkin-authoring.authored-fact-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.authored-fact-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.contract-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.contract-parity
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.description-location-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.description-location-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.duplicate-surface-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.duplicate-surface-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.example-space-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.example-space-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.malformed-relation-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.malformed-relation-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.missing-id-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.missing-id-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.multi-finding-bounded
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.multi-finding-bounded
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.parent-child-extraction
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.parent-child-extraction
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.step-less-scenario-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.step-less-scenario-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unbound-ready-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unbound-ready-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unknown-tag-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unknown-tag-refused
Packs: pack:self-hosting-v1
spec:carrier.gherkin-authoring.unsupported-construct-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.gherkin-authoring.unsupported-construct-refused
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans
Implementing units
- impl:protocol.inline-code-spans · src/extract/markdown-inline-code.ts:4
Referencing units
None.
Enabled verifiers: spec:carrier.inline-code-spans.description, spec:carrier.inline-code-spans.list, spec:carrier.inline-code-spans.narrative, spec:carrier.inline-code-spans.pack
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.continuation-line-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.continuation-line-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.foreign-fence-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.foreign-fence-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.h3-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.h3-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.integer-term-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.integer-term-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.keyed-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.keyed-bullet-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.ordered-list-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.ordered-list-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.plain-bullet-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.plain-bullet-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.raw-html-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.raw-html-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.repeated-field-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.repeated-field-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.second-primary-owner-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.second-primary-owner-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.shared-description-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.shared-description-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.table-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.table-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.trailing-prose-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.trailing-prose-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-body-grammar.unrecognized-heading-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-body-grammar.unrecognized-heading-refused
Packs: pack:self-hosting-v1
spec:carrier.markdown-parser
Implementing units
- impl:protocol.markdown-parser · src/extract/markdown.ts:37
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-parser.bounded-parity, test:protocol.markdown-parser
Packs: pack:self-hosting-v1
spec:carrier.prose-ownership-rule
Implementing units
- impl:protocol.markdown-body-grammar · src/extract/markdown-body.ts:126
Referencing units
None.
Enabled verifiers: test:protocol.prose-ownership
Packs: pack:self-hosting-v1
spec:consumers.adopter-on-ramp
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.adopter-on-ramp · test/skills.test.ts:713
Referencing units
None.
Enabled verifiers: test:protocol.adopter-on-ramp, test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.agent-surface.design-recipes
Implementing units
- impl:protocol.design-recipes · test/recipes.test.ts:4839
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:84
Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
spec:consumers.design-slice.chain
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.chain
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-absent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-absent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-differing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-differing
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-matching
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-matching
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unreadable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unreadable
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.component-unrelated
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unrelated
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.decision-backlink
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.decision-backlink
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.dependency-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.dependency-cycle
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.folded-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.folded-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.independent-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.independent-example
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-components
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-holding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-holding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-satisfied
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-satisfied
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.design-slice.outside-unbound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-unbound
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.graph-first-planning
Implementing units
- impl:protocol.graph-first-planning · test/skills.test.ts:291
Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
spec:consumers.intent-composition.proposal
Implementing units
- impl:protocol.proposal-schema-and-recipe · test/iteration-recipes.test.ts:1515
- impl:protocol.studio-proposal-contract · src/studio-elements/proposal.ts:1
Referencing units
None.
Enabled verifiers: test:protocol.proposal-schema-and-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes
Implementing units
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sections · src/projections/vault/sections.ts:10
- impl:protocol.vault-text · src/projections/vault/text.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.notes.case-collision-refused, spec:consumers.obsidian-vault.notes.entry-address-link, spec:consumers.obsidian-vault.notes.term-address-link, spec:consumers.obsidian-vault.notes.unresolved-mention-stays, test:protocol.vault-priority
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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.memo
Implementing units
- impl:protocol.roadmap-memo-recipe · test/roadmap.test.ts:27
- impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-memo-recipe, test:protocol.studio-roadmap-page
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.shipped-protocol-corpus
Implementing units
- impl:protocol.shipped-protocol-corpus · test/package-smoke.test.ts:277
Referencing units
None.
Enabled verifiers: test:protocol.shipped-protocol-corpus
Packs: pack:self-hosting-v1
spec:consumers.spec-studio.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.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.export
Implementing units
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page
Implementing units
- impl:protocol.studio-glossary · src/projections/studio/pages/glossary-page.ts:7
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.glossary-page.same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.registers
Implementing units
- impl:protocol.studio-registers · src/projections/studio/pages/registers-page.ts:47
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.registers.blocking-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.verification-panels.rule-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.upgrade-kit
Implementing units
- impl:protocol.upgrade-guide · test/upgrade-kit.test.ts:87
Referencing units
None.
Enabled verifiers: test:protocol.upgrade-guide
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.collision-and-unkeyable
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.proposal-applies-clean
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.validate-watch
Implementing units
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: test:protocol.validate-watch, test:protocol.validate-watch-rules
Packs: pack:adopter-speed-v1, pack:design-management-v1, pack:self-hosting-v1
spec:decisions.envelope-grammar-posture
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:model.open-question-keys
Implementing units
- impl:protocol.open-question-keys · src/extract/markdown-body-owner-behavior.ts:38
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
- impl:protocol.register-recipes · test/recipes.test.ts:2118
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.stable-ids · src/ids.ts:173
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:model.open-question-keys.keyed-question-resolves, spec:model.open-question-keys.renamed-key-breaks, spec:model.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec:model.term-addresses.keyed-term-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.keyed-term-resolves
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.malformed-term-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.malformed-term-marker-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.repeated-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.repeated-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.typescript-term-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.typescript-term-imports-keyed
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:model.term-addresses.unknown-term-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.term-addresses.unknown-term-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.external-registers
Implementing units
- impl:protocol.external-registers-recipe · test/external-registers.test.ts:9
Referencing units
None.
Enabled verifiers: spec:validation.external-registers.uncited-on-request, spec:validation.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.prose-mentions
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.prose-mentions · src/validate/validators.ts:1384
Referencing units
None.
Enabled verifiers: test:protocol.entry-locations, test:protocol.prose-mentions
Packs: pack:self-hosting-v1

Distance 3

spec:carrier.inline-code-spans.description
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.description
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.list
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.list
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.narrative
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.narrative
Packs: pack:self-hosting-v1
spec:carrier.inline-code-spans.pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.inline-code-spans.pack
Packs: pack:self-hosting-v1
spec:carrier.markdown-authoring
Implementing units
- impl:protocol.markdown-parser · src/extract/markdown.ts:37
Referencing units
None.
Enabled verifiers: test:protocol.markdown-authoring
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring
Implementing units
- impl:protocol.markdown-pack-authoring · src/extract/markdown-pack.ts:128
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
- impl:protocol.static-reification · src/extract/reify.ts:2217
Referencing units
None.
Enabled verifiers: spec:carrier.markdown-pack-authoring.markdown-ts-parity, spec:carrier.markdown-pack-authoring.spec-envelope-refused, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:carrier.markdown-parser.bounded-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-parser.bounded-parity
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.answer-shapes
Implementing units
- impl:protocol.answer-shape-recipes · test/recipes.test.ts:6284
Referencing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.reader · src/reader/reader.ts:713
Enabled verifiers: test:protocol.answer-shape-recipes
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:consumers.agent-surface.example-space-coverage
Implementing units
- impl:protocol.example-space-coverage-recipe · test/studio-s1.test.ts:856
- impl:protocol.example-space-decoding · src/notation/example-space.ts:559
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Packs: pack:design-management-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.command-line
Implementing units
- impl:protocol.adopter-help · src/cli/help.ts:171
- impl:protocol.agent-surface-cli · src/cli/sdp.ts:94
- impl:protocol.build-args · src/cli/build-args.ts:12
- impl:protocol.generate-command · src/cli/generate-command.ts:34
Referencing units
None.
Enabled verifiers: spec:consumers.command-line.generate-check-failure, spec:consumers.command-line.generate-writes-every-root, spec:consumers.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.context-bundle
Implementing units
- impl:protocol.context-bundle-recipe · test/iteration-recipes.test.ts:770
Referencing units
None.
Enabled verifiers: spec:consumers.context-bundle.oversized-member-named, spec:consumers.context-bundle.parts-cover-the-pack, test:protocol.context-bundle-recipe
Packs: pack:adopter-speed-v1, pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.engine-provenance
Implementing units
- impl:protocol.build-artifacts · src/cli/build-artifacts.ts:203
- impl:protocol.engine-provenance-cli · src/cli/sdp.ts:102
Referencing units
None.
Enabled verifiers: test:protocol.engine-provenance
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.intent-composition.proposal.memo
Implementing units
- impl:protocol.proposal-memo-recipe · test/recipes.test.ts:7368
- impl:protocol.studio-proposal-memo · src/studio-elements/memo.ts:13
Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.obsidian-vault.iteration
Implementing units
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
- impl:protocol.vault-text · src/projections/vault/text.ts:30
- impl:protocol.vault-watch · src/cli/vault-command.ts:243
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.case-collision-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.case-collision-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.entry-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.entry-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.term-address-link
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.term-address-link
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.notes.unresolved-mention-stays
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.notes.unresolved-mention-stays
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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
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.cited-line-text
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.export.self-contained
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.glossary-page.same-word-twice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-glossary-same-word-twice
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.intent-panel
Implementing units
- impl:protocol.studio-compose · src/studio-elements/compose.ts:4
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:65
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue
Implementing units
- impl:protocol.studio-owner-queue · src/projections/studio/pages/queue-page.ts:9
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch
Implementing units
- impl:protocol.studio-watch · src/cli/studio-command.ts:123
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.publisher.watch.matches-plain-run
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.register-input
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:consumers.spec-studio.registers.blocking-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-registers-blocking-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.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.studio-on-ramp
Implementing units
- impl:protocol.studio-on-ramp · test/skills.test.ts:1740
Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.vault-on-ramp
Implementing units
- impl:protocol.vault-on-ramp · test/skills.test.ts:2074
Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:decisions.prose-ownership
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.question-key-rendering
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.contract-declarations
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
- impl:protocol.register-recipes · test/recipes.test.ts:2118
Referencing units
None.
Enabled verifiers: test:protocol.register-recipes
Packs: pack:self-hosting-v1
spec:extraction.entry-citations
Implementing units
- impl:protocol.entry-address-resolution · src/graph/entry-address.ts:6
- impl:protocol.entry-citation-reader · src/reader/entry-citations.ts:19
- impl:protocol.entry-citation-recipe · test/recipes.test.ts:7078
- impl:protocol.entry-citation-scan · src/extract/entry-citations.ts:6
Referencing units
None.
Enabled verifiers: spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-locations
Implementing units
- impl:protocol.entry-location-recipes · test/recipes.test.ts:6049
- impl:protocol.entry-locations · src/extract/derive.ts:78
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Enabled verifiers: test:protocol.entry-locations
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-fields
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: spec:model.open-question-fields.dropped-list-warns, test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:model.open-question-keys.keyed-question-resolves
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.keyed-question-resolves
Packs: pack:self-hosting-v1
spec:model.open-question-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.renamed-key-breaks
Packs: pack:self-hosting-v1
spec:model.open-question-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-keys.repeated-key-refused
Packs: pack:self-hosting-v1
spec:protocol.roadmap-replaces-plans
Implementing units
- impl:protocol.roadmap-practice · test/check-self-hosting-gates.test.ts:52
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-practice
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:validation.corpus-rules
Implementing units
- impl:protocol.corpus-rule-runner · src/cli/corpus-rules.ts:65
- impl:protocol.corpus-rules · src/cli/validate-view-command.ts:78
- impl:protocol.validate-watch · src/cli/validate-watch.ts:924
Referencing units
None.
Enabled verifiers: spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, spec:validation.corpus-rules.copies-contain-changes, spec:validation.corpus-rules.error-finding-fails, spec:validation.corpus-rules.malformed-finding-fails, spec:validation.corpus-rules.params-edit-starts-a-cycle, spec:validation.corpus-rules.rules-edit-starts-a-cycle, spec:validation.corpus-rules.unreadable-params-fail-one-file, spec:validation.corpus-rules.warning-finding-informs
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.duplicate-ids
Implementing units
- impl:protocol.duplicate-id-exclusion · src/extract/index.ts:98
- impl:protocol.duplicate-ids · src/validate/validators.ts:267
Referencing units
None.
Enabled verifiers: spec:validation.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
spec:validation.external-registers.uncited-on-request
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.uncited-on-request
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:validation.external-registers.unknown-and-retired
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.external-registers.unknown-and-retired
Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Distance 4

spec:carrier.markdown-pack-authoring.markdown-ts-parity
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.markdown-ts-parity
Packs: pack:self-hosting-v1
spec:carrier.markdown-pack-authoring.spec-envelope-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.markdown-pack-authoring.spec-envelope-refused
Packs: pack:self-hosting-v1
spec:carrier.sdp-import
Implementing units
- component:protocol.import · src/import/import.ts:45
- impl:protocol.import-fidelity · src/import/markdown-fidelity.ts:102
- impl:protocol.sdp-import · src/cli/import-command.ts:71
- impl:protocol.sdp-import-core · src/import/import.ts:58
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.sdp-import-publish · src/cli/import-publish.ts:23
- impl:protocol.sdp-import-scan · src/cli/import-scan.ts:62
Referencing units
None.
Enabled verifiers: spec:carrier.sdp-import.round-trip
Packs: pack:self-hosting-v1
spec:carrier.slot-notation
Implementing units
- component:protocol.notation · src/notation/slots.ts:263
- impl:protocol.slot-notation · src/notation/slots.ts:271
Referencing units
None.
Enabled verifiers: spec:carrier.slot-notation.one-literal-binding, spec:carrier.slot-notation.refused-guess, spec:carrier.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.combination-coverage
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:consumers.agent-surface.example-space-coverage.number-not-enumerable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-number
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.agent-surface.example-space-coverage.uncovered-literal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-coverage-literal
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.command-line.generate-check-failure
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-check-failure
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.command-line.generate-writes-every-root
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.generate-writes-every-root
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.command-line.verb-help-touches-nothing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.command-line.verb-help-touches-nothing
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.context-bundle.oversized-member-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.oversized-member-named
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.context-bundle.parts-cover-the-pack
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.context-bundle.parts-cover-the-pack
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.design-review
Implementing units
- impl:protocol.design-review · src/projections/design-review.ts:44
- impl:protocol.design-review-codec · src/projections/design-review-markdown.ts:3
Referencing units
None.
Enabled verifiers: spec:consumers.design-review.pure-projection, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
spec:consumers.gherkin-view
Implementing units
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
- impl:protocol.gherkin-view · src/projections/gherkin-view.ts:19
- impl:protocol.gherkin-view-cli · src/cli/gherkin-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.gherkin-view
Packs: pack:self-hosting-v1
spec:consumers.intent-composition.proposal.memo.shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.pack-design
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.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.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.drifting-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.roadmap.statement-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.components
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-compose · src/studio-elements/compose.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
- impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
- impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44
- impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:75
Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.data
Implementing units
- impl:protocol.studio-data · src/projections/studio/data.ts:282
Referencing units
None.
Enabled verifiers: test:protocol.studio-data
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.index-page
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.intent-panel.refresh-keeps-intents
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-intents-refresh
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.navigation
Implementing units
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-navigation, test:protocol.studio-roadmap-page
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.pack-page
Implementing units
- impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:69
Referencing units
None.
Enabled verifiers: test:protocol.roadmap-priority, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.page-elements
Implementing units
- component:protocol.studio-elements · src/studio-elements/index.ts:13
- impl:protocol.studio-copy · src/studio-elements/copy.ts:22
- impl:protocol.studio-expander · src/studio-elements/expander.ts:16
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-search-form · src/studio-elements/search.ts:18
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.publisher.watch.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.search
Implementing units
- impl:protocol.studio-concept-match · src/reader/concept-match.ts:43
- impl:protocol.studio-search-page · src/projections/studio/pages/search-page.ts:5
- impl:protocol.studio-search-results · src/studio-elements/search-results.ts:98
Referencing units
None.
Enabled verifiers: test:protocol.studio-concept-match, test:protocol.studio-page-elements, test:protocol.studio-pages
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.sharing
Implementing units
- impl:protocol.stamp-command · src/cli/stamp-command.ts:9
- impl:protocol.studio-preview-workflow · test/studio-s4.test.ts:744
- impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.sharing.stamp-written-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:decisions.carrier-ruling
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.carrier-universality
Implementing units
None.
Referencing units
- impl:protocol.gherkin-kind-policy · src/extract/gherkin-kind-honesty.ts:6
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-ts-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.entry-citations.code-comment-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.code-comment-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.test-title-cites-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.test-title-cites-declaration
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unanchored-file-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unanchored-file-unread
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.entry-citations.unresolved-citation
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.entry-citations.unresolved-citation
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.pack-member-order
Implementing units
- impl:protocol.markdown-yaml-policy · src/extract/markdown-yaml-policy.ts:20
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.pack-coherence · src/validate/validators.ts:1106
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
- impl:protocol.pack-member-order · src/extract/derive.ts:153
- impl:protocol.reader · src/reader/reader.ts:713
Referencing units
None.
Enabled verifiers: spec:extraction.pack-member-order.manifest-order-kept, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1
spec:model.enrichment-lifecycle
Implementing units
- impl:protocol.slimming-recipe · test/curation-recipes.test.ts:26
Referencing units
None.
Enabled verifiers: test:protocol.slimming-recipe
Packs: pack:design-iteration-v1, pack:self-hosting-v1
spec:model.open-question-fields.dropped-list-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.open-question-fields.dropped-list-warns
Packs: pack:self-hosting-v1
spec:model.relation-reasons
Implementing units
- impl:protocol.authoring-grammar-recipes · test/recipes.test.ts:6667
- impl:protocol.authoring-normalization · src/extract/authoring-normalization.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.authoring-grammar, test:protocol.authoring-grammar-recipes
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:protocol.delivery-record-cleanup
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
spec:protocol.self-hosting
Implementing units
- impl:protocol.self-hosting · test/self-hosting-graph.test.ts:136
Referencing units
None.
Enabled verifiers: test:protocol.self-hosting
Packs: pack:self-hosting-v1
spec:validation.architecture-constraints
Implementing units
- impl:protocol.architecture-walk-recipe · test/architecture-recipes.test.ts:10
Referencing units
None.
Enabled verifiers: spec:validation.architecture-constraints.forbidden-layer-pair, spec:validation.architecture-constraints.isolated-context-as-rule, spec:validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:design-management-v1, pack:self-hosting-v1
spec:validation.corpus-rules.copies-contain-changes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.copies-contain-changes
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.error-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.error-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.malformed-finding-fails
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.malformed-finding-fails
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.params-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.params-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.rules-edit-starts-a-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.rules-edit-starts-a-cycle
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.unreadable-params-fail-one-file
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.unreadable-params-fail-one-file
Packs: pack:adopter-speed-v1, pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.corpus-rules.warning-finding-informs
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.corpus-rules.warning-finding-informs
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.duplicate-ids.dual-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.duplicate-ids.dual-carrier
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal
Implementing units
- impl:protocol.superseded-decision-signal · src/validate/validators.ts:1837
Referencing units
None.
Enabled verifiers: spec:validation.superseded-decision-signal.branch-names-every-end, spec:validation.superseded-decision-signal.chain-end-named, spec:validation.superseded-decision-signal.closed-chain-named, spec:validation.superseded-decision-signal.dependency-unread, spec:validation.superseded-decision-signal.end-and-loop-named, spec:validation.superseded-decision-signal.live-replacement-warns, spec:validation.superseded-decision-signal.replaced-ruling-warns, spec:validation.superseded-decision-signal.replacement-below-ready-named, spec:validation.superseded-decision-signal.superseded-subject-silent
Packs: pack:design-management-v1, pack:self-hosting-v1

Distance 5

spec:carrier.sdp-import.feature-adapter
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:carrier.sdp-import.round-trip
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.sdp-import.round-trip
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.one-literal-binding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.one-literal-binding
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.refused-guess
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.refused-guess
Packs: pack:self-hosting-v1
spec:carrier.slot-notation.typed-declaration
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.slot-notation.typed-declaration
Packs: pack:self-hosting-v1
spec:carrier.step-keys
Implementing units
- impl:protocol.example-runner · src/runner/index.ts:112
- impl:protocol.example-space-decoding · src/notation/example-space.ts:559
- impl:protocol.executable-contracts · src/codegen/contracts.ts:685
- impl:protocol.key-markers · src/extract/key-markers.ts:136
- impl:protocol.open-section-order · src/extract/serialize.ts:105
- impl:protocol.sdp-import-markdown-emit · src/import/emit-markdown.ts:253
- impl:protocol.spec-sections · src/model/sections.ts:138
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.gherkin-keyed-step-stays-bound, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.malformed-marker-refused, spec:carrier.step-keys.renamed-key-breaks, spec:carrier.step-keys.repeated-key-refused, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:carrier.step-keys.two-keys-on-one-step-refused, spec:carrier.step-keys.typescript-keyed-step-imports-keyed, test:protocol.keyed-content
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.binding-language-views
Implementing units
- impl:protocol.binding-language-index-table · src/projections/design-review-pages.ts:202
- impl:protocol.binding-language-spec-page · src/projections/design-review-context.ts:101
Referencing units
None.
Enabled verifiers: spec:consumers.binding-language-views.bound-spec-page, spec:consumers.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner
Implementing units
- impl:protocol.derived-readiness-banner · src/projections/design-review-context.ts:19
Referencing units
None.
Enabled verifiers: spec:consumers.derived-readiness-banner.dishonest-divergence, spec:consumers.derived-readiness-banner.honest-headroom, test:protocol.derived-readiness-banner.idea-floor-unmet
Packs: pack:self-hosting-v1
spec:consumers.design-review.pack-design-page
Implementing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
Referencing units
- impl:protocol.pack-design-sections · src/projections/design-review-pack-sections.ts:19
Enabled verifiers: test:protocol.pack-design-page
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:consumers.design-review.pure-projection
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-review.pure-projection
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault.bases
Implementing units
- impl:protocol.vault-bases · src/projections/vault/bases.ts:43
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.bases.views-match-sources
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.review-perspectives
Implementing units
- impl:protocol.perspective-filter-recipe · test/iteration-recipes.test.ts:758
Referencing units
None.
Enabled verifiers: test:protocol.perspective-filter-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.spec-studio.capability-map-page
Implementing units
- impl:protocol.studio-capabilities-page · src/projections/studio/pages/capabilities-page.ts:78
- impl:protocol.studio-filter · src/studio-elements/filter.ts:25
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.data.inputs
Implementing units
- impl:protocol.studio-base-input · src/cli/studio-inputs.ts:9
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- impl:protocol.studio-inputs · src/projections/studio/inputs.ts:1
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.mermaid-source
Implementing units
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.requirement-trace
Implementing units
- impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12
- impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagrams
Implementing units
- impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4
- impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23
- impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1
- impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73
- impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10
Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, test:protocol.studio-diagram-core
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses
Implementing units
- impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50
- impl:protocol.studio-evidence-lens · src/projections/studio/pages/evidence-page.ts:3
- impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6
- impl:protocol.studio-tests-lens · src/projections/studio/pages/tests-page.ts:34
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.packs
Implementing units
- impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:18
Referencing units
None.
Enabled verifiers: test:protocol.studio-lenses
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:285
- impl:protocol.studio-command · src/cli/studio-command.ts:107
- impl:protocol.studio-page-catalog · src/projections/studio/pages/index.ts:21
- impl:protocol.studio-paths · src/projections/studio/paths.ts:2
- impl:protocol.studio-publish · src/projections/studio/publish.ts:24
Referencing units
None.
Enabled verifiers: test:protocol.studio-data, test:protocol.studio-publisher
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.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.wholesale-view-rewrite
Implementing units
- impl:protocol.build-pipeline-emit · src/cli/build-command.ts:285
- impl:protocol.wholesale-view-rewrite · src/cli/validate-view-command.ts:127
Referencing units
None.
Enabled verifiers: spec:consumers.wholesale-view-rewrite.build-invalidates-view, spec:consumers.wholesale-view-rewrite.failed-run-view-removed, spec:consumers.wholesale-view-rewrite.late-stale-page, spec:consumers.wholesale-view-rewrite.stale-page-removed, test:protocol.cli-write-boundaries
Packs: pack:self-hosting-v1
spec:decisions.adopt-the-nouns
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.authored-entry-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.concept-docs-dissolve
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.executable-meta-model
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.gherkin-carrier-option
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.pack-design-page
Implementing units
None.
Referencing units
- impl:protocol.pack-design-page · src/projections/design-review-pages.ts:121
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.pack-markdown-carrier
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.plain-language-references
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.protocol-naming
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.sdp-gherkin-extension
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:extraction.pack-member-order.manifest-order-kept
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-member-order
Packs: pack:self-hosting-v1
spec:model.design-maturity
Implementing units
- impl:protocol.pack-design · src/reader/reader.ts:525
Referencing units
None.
Enabled verifiers: test:protocol.pack-design
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:protocol.capability-epics
Implementing units
- impl:protocol.capability-epics · test/recipes.test.ts:8243
Referencing units
None.
Enabled verifiers: test:protocol.capability-epics
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.structural-self-binding
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:self-hosting-v1
spec:validation.architecture-constraints.forbidden-layer-pair
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.forbidden-layer-pair
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.isolated-context-as-rule
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.isolated-context-as-rule
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.architecture-constraints.unstated-layer-unclassified
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.validation.architecture-constraints.unstated-layer-unclassified
Packs: pack:corpus-checks-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering
Implementing units
- impl:protocol.diagnostic-rendering-cli · src/cli/output.ts:23
- impl:protocol.diagnostic-rendering-design-review · src/projections/design-review-context.ts:214
- impl:protocol.validate-summary · src/cli/validate-view-command.ts:22
- impl:protocol.validation-contracts · src/validate/contracts.ts:5
Referencing units
None.
Enabled verifiers: spec:validation.diagnostic-rendering.composed-location, spec:validation.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.branch-names-every-end
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.branch-names-every-end
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.chain-end-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.chain-end-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.closed-chain-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.closed-chain-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.dependency-unread
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.dependency-unread
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.end-and-loop-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.end-and-loop-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.live-replacement-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.live-replacement-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replaced-ruling-warns
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replaced-ruling-warns
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.replacement-below-ready-named
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.replacement-below-ready-named
Packs: pack:self-hosting-v1
spec:validation.superseded-decision-signal.superseded-subject-silent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.superseded-decision-signal.superseded-subject-silent
Packs: pack:self-hosting-v1

Distance 6

spec:carrier.step-keys.conflicting-example-key-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.conflicting-example-key-withheld
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.gherkin-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.gherkin-keyed-step-stays-bound
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.key-equal-to-a-skeleton-withheld
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.key-equal-to-a-skeleton-withheld
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.malformed-marker-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.malformed-marker-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.renamed-key-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.renamed-key-breaks
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.repeated-key-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.repeated-key-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.reworded-keyed-step-stays-bound
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-keyed-step-stays-bound
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.reworded-unkeyed-step-breaks
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.reworded-unkeyed-step-breaks
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.two-keys-on-one-step-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.two-keys-on-one-step-refused
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:carrier.step-keys.typescript-keyed-step-imports-keyed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.step-keys.typescript-keyed-step-imports-keyed
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:consumers.binding-language-views.bound-spec-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.bound-spec-page
Packs: pack:self-hosting-v1
spec:consumers.binding-language-views.pack-member-table
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.binding-language-views.pack-member-table
Packs: pack:self-hosting-v1
spec:consumers.census-page
Implementing units
- impl:protocol.census-page · src/projections/census.ts:22
- impl:protocol.census-page-cli · src/cli/census-command.ts:58
Referencing units
None.
Enabled verifiers: test:protocol.census-page
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner.dishonest-divergence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.dishonest-divergence
Packs: pack:self-hosting-v1
spec:consumers.derived-readiness-banner.honest-headroom
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.derived-readiness-banner.honest-headroom
Packs: pack:self-hosting-v1
spec:consumers.mermaid-view
Implementing units
- impl:protocol.mermaid-view · src/projections/mermaid.ts:14
- impl:protocol.mermaid-view-cli · src/cli/mermaid-command.ts:74
Referencing units
None.
Enabled verifiers: test:protocol.cli-write-boundaries, test:protocol.mermaid-view
Packs: pack:self-hosting-v1
spec:consumers.obsidian-vault
Implementing units
- impl:protocol.vault-command · src/cli/vault-command.ts:215
- impl:protocol.vault-notes · src/projections/vault/notes.ts:46
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.changed-note-refused, spec:consumers.obsidian-vault.failed-extraction-keeps-notes, spec:consumers.obsidian-vault.failed-extraction-recovered, spec:consumers.obsidian-vault.fresh-vault, spec:consumers.obsidian-vault.hidden-file-refused, spec:consumers.obsidian-vault.interrupted-run-recovered, spec:consumers.obsidian-vault.person-notes-survive, spec:consumers.obsidian-vault.unknown-note-refused, spec:consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.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.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.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.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.wholesale-view-rewrite.build-invalidates-view
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.build-invalidates-view
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.failed-run-view-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.failed-run-view-removed
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.late-stale-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.late-stale-page
Packs: pack:self-hosting-v1
spec:consumers.wholesale-view-rewrite.stale-page-removed
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.wholesale-view-rewrite.stale-page-removed
Packs: pack:self-hosting-v1
spec:decisions.roadmap-priority
Implementing units
None.
Referencing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
- impl:protocol.pack-member-order · src/extract/derive.ts:153
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:extraction.executable-contracts
Implementing units
- impl:protocol.example-space · src/graph/example-space.ts:117
- impl:protocol.executable-contracts · src/codegen/contracts.ts:685
Referencing units
None.
Enabled verifiers: spec:carrier.step-keys.conflicting-example-key-withheld, spec:carrier.step-keys.key-equal-to-a-skeleton-withheld, spec:carrier.step-keys.reworded-keyed-step-stays-bound, spec:carrier.step-keys.reworded-unkeyed-step-breaks, spec:extraction.executable-contracts.case-colliding-path, spec:extraction.executable-contracts.concreteness-refusal, spec:extraction.executable-contracts.multi-entry-example
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:extraction.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:671
- component:protocol.testing · src/testing/index.ts:38
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.runnable-modules · src/codegen/contracts.ts:696
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
Packs: pack:adopter-speed-v1, pack:self-hosting-v1
spec:protocol.role-vocabulary
Implementing units
- impl:protocol.role-vocabulary · test/self-hosting-graph.test.ts:143
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:protocol.significant-units-review
Implementing units
- impl:protocol.structural-self-binding · test/self-hosting-oracle/structural-edges.ts:76
Referencing units
None.
Enabled verifiers: test:protocol.structural-self-binding
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:validation.diagnostic-rendering.composed-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.composed-location
Packs: pack:self-hosting-v1
spec:validation.diagnostic-rendering.table-cell-location
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.diagnostic-rendering.table-cell-location
Packs: pack:self-hosting-v1

Distance 7

spec:consumers.design-diff
Implementing units
- impl:protocol.design-diff-recipe · test/iteration-recipes.test.ts:27
Referencing units
None.
Enabled verifiers: test:protocol.design-diff-recipe, test:protocol.roadmap-priority
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.changed-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.changed-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-keeps-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-keeps-notes
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.failed-extraction-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.failed-extraction-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.fresh-vault
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.fresh-vault
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.hidden-file-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.hidden-file-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.interrupted-run-recovered
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.interrupted-run-recovered
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.person-notes-survive
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.person-notes-survive
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.unknown-note-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.unknown-note-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.obsidian-vault.vault-in-build-path-refused
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.vault-in-build-path-refused
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.capability-tree
Implementing units
- impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101
- impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13
Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diagram-kinds.maturity-picture
Implementing units
- impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:consumers.spec-studio.diff-page.changed-entry
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diff-changed-entry
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.planned-apart
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.lenses.architecture.unit-register
Implementing units
- impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.spec-studio.runs-page.external-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.run-external
Packs: pack:self-hosting-v1, pack:spec-studio-v1
spec:consumers.structural-mermaid
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:design-management-v1, pack:self-hosting-v1
spec:decisions.adopted-registrars-committed
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:self-hosting-v1
spec:decisions.roadmap-over-plans
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
spec:decisions.vault-owned-folder
Implementing units
None.
Referencing units
- impl:protocol.vault-command · src/cli/vault-command.ts:215
- impl:protocol.vault-sync · src/projections/vault/sync.ts:98
Enabled verifiers: None
Packs: pack:obsidian-vault-v1, pack:self-hosting-v1
spec:extraction.example-runner
Implementing units
- component:protocol.adapters · src/adapters/vitest.ts:23
- component:protocol.runner · src/runner/index.ts:103
- impl:protocol.example-runner · src/runner/index.ts:112
- impl:protocol.example-runner-adapter · src/adapters/vitest.ts:32
Referencing units
None.
Enabled verifiers: spec:extraction.example-runner.red-step-naming, spec:extraction.example-runner.step-order, test:protocol.example-runner-cleanup
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.case-colliding-path
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.case-colliding-path
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.concreteness-refusal
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.concreteness-refusal
Packs: pack:self-hosting-v1
spec:extraction.executable-contracts.multi-entry-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.executable-contracts.multi-entry-example
Packs: pack:self-hosting-v1
spec:model.pack-aggregate
Implementing units
- impl:protocol.pack-aggregate · src/model/pack.ts:23
Referencing units
None.
Enabled verifiers: test:protocol.pack-builder, test:protocol.roadmap-priority
Packs: pack:self-hosting-v1

Distance 8

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

Distance 9

spec:validation.pack-coherence.incoherent-aggregate
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	A Spec id written in prose is a checked mention `spec:decisions.checked-mentions` · resolves	declared	rule addresses join the address law it rules	None
decidedBy · outgoing	The shipped projections stay frozen `spec:decisions.shipped-projections-frozen` · resolves	declared	keys stay off the frozen projections, which read the rule text unchanged	None
dependsOn · outgoing	The graph records where each addressable entry is written `spec:extraction.entry-locations` · resolves	declared	adds rows to the location table	None
dependsOn · outgoing	An open question may carry a key that addresses it `spec:model.open-question-keys` · resolves	declared	None	None
refines · outgoing	Spec sections carry typed detail and direct verifier semantics `spec:model.spec-sections` · resolves	declared	None	None
dependsOn · incoming	The Markdown envelope is explicit and bounded `spec:carrier.envelope-contract` · resolves	declared	None	None
dependsOn · incoming	Gherkin authoring enters the one graph `spec:carrier.gherkin-authoring` · resolves	declared	None	None
dependsOn · incoming	The Markdown body accepts one closed form per section `spec:carrier.markdown-body-grammar` · resolves	declared	None	None
dependsOn · incoming	Address resolution and dependency cycles stay executable graph recipes `spec:consumers.agent-surface.address-and-cycle-recipes` · resolves	declared	a rule address resolves through the Spec's rule keys	None
dependsOn · incoming	Register questions stay executable graph recipes `spec:consumers.agent-surface.register-recipes` · resolves	declared	entry search and the mention audit read rule addresses	None
dependsOn · incoming	Authors move one Spec from intent to reviewed evidence `spec:consumers.authoring-on-ramp` · resolves	declared	None	None
dependsOn · incoming	A slice reads a Pack as one design, with the architecture it touches and what each member needs next `spec:consumers.design-slice` · resolves	declared	each member's rule count is the count rule coverage reports	None
dependsOn · incoming	The tests lens shows how far each Spec's verification reaches `spec:consumers.spec-studio.lenses.tests` · resolves	declared	rule coverage counts the keyed rules examples exercise	None
dependsOn · incoming	A Spec page shows one Spec in collapsible panels, in a fixed order `spec:consumers.spec-studio.spec-page` · resolves	declared	None	None
dependsOn · incoming	A Spec page's core shows the whole Spec, with an anchor for every entry `spec:consumers.spec-studio.spec-page.core` · resolves	declared	None	None
dependsOn · incoming	The panels for examples, targets, verifiers and evidence `spec:consumers.spec-studio.verification-panels` · resolves	declared	None	None
dependsOn · incoming	Capability adoption counts where each capability is used and where it could apply `spec:consumers.upgrade-kit.capability-adoption` · resolves	declared	rule keys and `exercises` are two of the capabilities it counts	None
dependsOn · incoming	The rule-key proposal keys every unkeyed rule as a change proposal `spec:consumers.upgrade-kit.rule-key-proposal` · resolves	declared	a coined key follows the rule-key grammar and marker	None
dependsOn · incoming	A Model term may carry a key that addresses it `spec:model.term-addresses` · resolves	declared	the term-key design follows the rule-entry address pattern	None

Bindings

Implementation binding: present

impl:protocol.authoring-grammar-recipes · asserts the authoring grammar's realization in docs/agent-surface/recipes.md · test/recipes.test.ts:6667
impl:protocol.authoring-normalization · normalizes rule markers and question fields after carrier reification · src/extract/authoring-normalization.ts:8 · role codec · component component:protocol.extract · layer application · context protocol
impl:protocol.rule-exercises · checks the keys named by declared verifies relations · src/validate/validators.ts:1493 · role validator · component component:protocol.validate · layer domain · context protocol

Design reference: none

Verifier binding: present

test:protocol.authoring-grammar · checks rule keys, question fields and relation reasons across the carriers · anchored · test/authoring-grammar.test.ts:24 · test anchor
test:protocol.authoring-grammar-recipes · executes the shipped question, mention, entry, address and rule coverage recipes · anchored · test/recipes.test.ts:6657 · 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/authoring-grammar.test.ts

Run 2: external run evidence from vitest 4.1.10

External run evidence from test/recipes.test.ts

Run 2: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Distance 8

Distance 9

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/authoring-grammar.test.ts`

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