problemdependsOn chain no one has traced.spec:consumers.agent-surface.address-and-cycle-recipesPacks: pack:adopter-speed-v1, pack:self-hosting-v1
Design: 4 design entries · 3 pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md
No open questions and no blocking questions; implementation binding present, verifier binding present, and expected-outcome oracle present.
A dependency cycle is data about the authored dependencies. The readiness floor reads each dependency target's stated rung without walking a chain.
An adopter's gate checks both with copies of these bodies in its own rules file. Each recipe therefore answers with findings beside its rows, so the shipped file runs unchanged as a rules file and a gate keeps no copy. A finding is data: the corpus that names the file as a rules file chooses to fail on it, and the recipe still refuses nothing.
problemdependsOn chain no one has traced.outcomedependsOn cycle with catalog recipes, so neither is rebuilt by hand.rule line 28 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:28params.addresses, falling back to the catalog sample when absent, and returns one row per input in input order, repeats included; each row carries address, resolves, id, section, key, value, file, line and reason. A resolving row carries the entry text or value and its recorded file and line, null when unlocated, with reason null. A miss keeps id, section and key when parsed, keeps value, file and line null, and gives reason malformed for an input that is no entry address, a bare Spec id included, or spec, section or entry for an absent Spec, section or key; malformed carries expected, the grammar in one line, and section or entry carries available, the keys that section holds sorted in code-unit order.rule line 29 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:29design or ui key resolves as an own key other than description, a question key resolves when an open question carries it, a rule key resolves through behavior.ruleKeys to its rule or flow text, and a term key resolves through model.termKeys to its term's definition; totals count inputs, resolving rows and each miss reason.rule line 30 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:30severity and read the whole graph. They report every set of two or more Specs in which each Spec reaches every other through declared dependsOn edges, and every Spec that declares dependsOn on itself and belongs to no such set. An edge whose target is not a Spec in the graph is ignored.rule line 31 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:31rule line 32 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:32rule.addressFindings line 33 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:33findings beside its totals and rows: one finding for each row that does not resolve, in input order, the catalog sample's rows included, so the shipped file runs as a rules file over the addresses its --params names.spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · enabled
rule.cycleFindings line 34 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:34findings beside its totals and cycles: one finding for each entry of cycles, in that order, naming the first member and the closed path through the set.spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · enabled, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · enabled
rule.findingsSeverity line 35 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:35params.severity, "error" by default or "warning", which every finding they return carries; another value returns { diagnostics } and no findings, which fails the file as a rules file.spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · enabled, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · enabled
rule.answersUnchanged line 36 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:36findings, both answers keep their shapes: the totals, rows and cycles stated above.spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · enabled
5 unkeyed rules.
A dependency chain with no cycle yields no finding · spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · ready floor ready
Executable Spec
Given a probe corpus in which {corpus: "one Spec depends on another"}
Given the caller passes the addresses {addresses: "none"}
When the shipped {recipe: "dependency cycles"} file runs {invocation: "through sdp q"}
Then the command exits {exitCode: 0}
Then the answer carries {findings: 0} findings with the rule ids {ruleIds: ""}Given
a probe corpus in which {corpus: "one Spec depends on another"}
the caller passes the addresses {addresses: "none"}When
the shipped {recipe: "dependency cycles"} file runs {invocation: "through sdp q"}Then
the command exits {exitCode: 0}
the answer carries {findings: 0} findings with the rule ids {ruleIds: ""}Composing needs the script.
The shipped dependency-cycles file fails a rules run on a cycle · spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · ready floor ready
Executable Spec
Given a probe corpus in which {corpus: "two Specs depend on each other through dependsOn"}
Given the caller passes the addresses {addresses: "none"}
When the shipped {recipe: "dependency cycles"} file runs {invocation: "as a rules file named by sdp validate --rules"}
Then the command exits {exitCode: 1}
Then the answer carries {findings: 1} findings with the rule ids {ruleIds: "dependency-cycle"}Given
a probe corpus in which {corpus: "two Specs depend on each other through dependsOn"}
the caller passes the addresses {addresses: "none"}When
the shipped {recipe: "dependency cycles"} file runs {invocation: "as a rules file named by sdp validate --rules"}Then
the command exits {exitCode: 1}
the answer carries {findings: 1} findings with the rule ids {ruleIds: "dependency-cycle"}Composing needs the script.
The shipped address-resolution file fails a rules run on an address that names no entry · spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · ready floor ready
Executable Spec
Given a probe corpus in which {corpus: "one Spec depends on another"}
Given the caller passes the addresses {addresses: "spec:probe.one#design.absent"}
When the shipped {recipe: "address resolution"} file runs {invocation: "as a rules file named by sdp validate --rules"}
Then the command exits {exitCode: 1}
Then the answer carries {findings: 1} findings with the rule ids {ruleIds: "unresolved-address"}Given
a probe corpus in which {corpus: "one Spec depends on another"}
the caller passes the addresses {addresses: "spec:probe.one#design.absent"}When
the shipped {recipe: "address resolution"} file runs {invocation: "as a rules file named by sdp validate --rules"}Then
the command exits {exitCode: 1}
the answer carries {findings: 1} findings with the rule ids {ruleIds: "unresolved-address"}Composing needs the script.
Given a probe corpus in which {corpus:"two Specs depend on each other through dependsOn"|"one Spec depends on another"}
Given the caller passes the addresses {addresses:string}
When the shipped {recipe:"address resolution"|"dependency cycles"} file runs {invocation:"through sdp q"|"as a rules file named by sdp validate --rules"}
Then the command exits {exitCode:number}
Then the answer carries {findings:number} findings with the rule ids {ruleIds:string}addressFinding line 39 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:39{ validatorId: "unresolved-address", subjectId, severity, message }, where subjectId is the input when it is a string holding at least one character that is not white space, and the input's JSON text otherwise, and message reads <subjectId> does not resolve: <why>, <why> being not an entry address, no Spec <id>, <id> has no <section> entries or <id> has no <section> entry <key> by the row's reason.no citation recorded
cycleFinding line 40 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:40{ validatorId: "dependency-cycle", subjectId, severity, message, file, line }, where subjectId is the entry's first member, message reads <first member> rests on itself through dependsOn: <cycle>, <cycle> being the entry's closed path joined by -> , file is the first member's carrier, and line is the line the location table records for its dependsOn relation to the path's second id, left out when not located.no citation recorded
severityDiagnostic line 41 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:41{ diagnostics: [{ parameter: "severity", problem: "Expected error or warning." }] } is the whole answer for a severity other than "error" or "warning".no citation recorded
answerShapes line 42 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:42{ totals, rows, findings } and dependency cycles returns { totals, cycles, findings }; each recipe's accepted names gain severity, after its existing ones.specs/consumers/agent-surface.address-and-cycle-recipes.chain-reports-nothing.sdp.mdtest/reach-examples.test.tsTest anchors: test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run, test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run, test:protocol.consumers.agent-surface.evaluation-sink.exported-evaluator, test:protocol.consumers.agent-surface.evaluation-sink.recipe-call, test:protocol.consumers.agent-surface.evaluation-sink.unknown-recipe, test:protocol.validation.corpus-rules.params-edit-starts-a-cycle, test:protocol.validation.corpus-rules.rules-edit-starts-a-cycle, test:protocol.validation.corpus-rules.unreadable-params-fail-one-file. Specs verified by those bindings: spec:consumers.agent-surface.address-and-cycle-recipes, 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, spec:consumers.agent-surface.evaluation-sink, spec:consumers.agent-surface.evaluation-sink.exported-evaluator, spec:consumers.agent-surface.evaluation-sink.recipe-call, spec:consumers.agent-surface.evaluation-sink.unknown-recipe, spec:validation.corpus-rules, 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.
Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z
| Name | Suite | Result | Duration |
|---|---|---|---|
| gives every watch example the heavy-test timeout | not recorded | passed | 2.15 ms |
| leaves non-watch corpus-rule points and incomplete points unspecified | not recorded | passed | 0.41 ms |
| leaves address points outside the oracle's bound probes unspecified | not recorded | passed | 0.19 ms |
| executes the bound example against a fresh world | A body calls a shipped recipe and returns its answer unchanged (spec:consumers.agent-surface.evaluation-sink.recipe-call) | passed | 32.45 ms |
| executes the bound example against a fresh world | A call to a recipe the catalog does not hold fails the body (spec:consumers.agent-surface.evaluation-sink.unknown-recipe) | passed | 6.78 ms |
| executes the bound example against a fresh world | A script holding a graph runs a shipped recipe through the exported evaluator (spec:consumers.agent-surface.evaluation-sink.exported-evaluator) | passed | 6.15 ms |
| executes the bound example against a fresh world | A dependency chain with no cycle yields no finding (spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing) | passed | 3.3 ms |
| executes the bound example against a fresh world | The shipped dependency-cycles file fails a rules run on a cycle (spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run) | passed | 5.51 ms |
| executes the bound example against a fresh world | The shipped address-resolution file fails a rules run on an address that names no entry (spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run) | passed | 3.87 ms |
| executes the bound example against a fresh world | Rewriting a rules file under node_modules starts a cycle that runs the new body (spec:validation.corpus-rules.rules-edit-starts-a-cycle) | passed | 12.46 ms |
| executes the bound example against a fresh world | Editing a parameter file starts a cycle that reads the new parameters (spec:validation.corpus-rules.params-edit-starts-a-cycle) | passed | 32.96 ms |
| executes the bound example against a fresh world | A parameter file that stops being JSON fails only its own rules file, and the watcher runs on (spec:validation.corpus-rules.unreadable-params-fail-one-file) | passed | 106.96 ms |
specs/consumers/agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run.sdp.mdspecs/consumers/agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run.sdp.mdtest/recipes.test.ts:3577test/recipes.test.tsTest 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.
Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z
| Name | Suite | Result | Duration |
|---|---|---|---|
| cites each recipe that a Spec names by number and heading under the catalog's number | the agent-surface recipe corpus | passed | 203.44 ms |
| pairs every documented recipe with exactly one fenced body | the agent-surface recipe corpus | passed | 1.09 ms |
| keeps self-hosting and adopter invocation forms distinct | the agent-surface recipe corpus | passed | 7.14 ms |
| teaches parameters as data and keeps the on-ramps naming the CLI verbs and recipes | the agent-surface recipe corpus | passed | 4.55 ms |
| keeps every body plain JavaScript with a return | the agent-surface recipe corpus | passed | 5.66 ms |
| runs every body through the front door without throwing | the agent-surface recipe corpus | passed | 4526.76 ms |
| returns the non-example build backlog and audits excluded example evidence | the agent-surface recipe corpus | passed | 71.36 ms |
| returns a drift alarm of code-bound specs below ready, with the floor named | the agent-surface recipe corpus | passed | 46.65 ms |
| returns one spec's guarantees with its relations and verifier bindings | the agent-surface recipe corpus | passed | 38.2 ms |
| keeps hostile changed filenames as inert JSON data | the agent-surface recipe corpus | passed | 36.27 ms |
| returns the complete diff-to-at-risk bridge | the agent-surface recipe corpus | passed | 48.16 ms |
| names a changed identity-only unit as unlinked, never coverage-unknown or dropped | the agent-surface recipe corpus | passed | 66.24 ms |
| returns a pack's review backbone with its verifier gaps | the agent-surface recipe corpus | passed | 54.38 ms |
| returns concept matches carrying the fields that matched | the agent-surface recipe corpus | passed | 86.65 ms |
| returns readiness divergence as an array, where empty is lawful | the agent-surface recipe corpus | passed | 94.47 ms |
| returns the warn-level signals as data rather than as a gate | the agent-surface recipe corpus | passed | 57.35 ms |
| returns promotion preflight without conferring a readiness edit | the agent-surface recipe corpus | passed | 29.14 ms |
| names the next rung's unmet clause and the dependency that breaks it on a probe | the agent-surface recipe corpus | passed | 1.95 ms |
| keeps declared examples distinct from enabled verifier bindings | the agent-surface recipe corpus | passed | 315.12 ms |
| returns the complete non-ready ladder grouped by family | the agent-surface recipe corpus | passed | 112.21 ms |
| distinguishes a passing current floor from a blocked or clear stated next rung | the agent-surface recipe corpus | passed | 4.94 ms |
| returns every committed structural component with non-empty membership | the agent-surface recipe corpus | passed | 59.76 ms |
| returns exact component uses fan-in and fan-out from the structural oracle | the agent-surface recipe corpus | passed | 47.86 ms |
| returns a component structural neighborhood and an exact absent shape | the agent-surface recipe corpus | passed | 87.05 ms |
| reports census structural coverage from graph and report ground truth | the agent-surface recipe corpus | passed | 40.04 ms |
| reports graph-side upper bounds for every shipped projection root | the agent-surface recipe corpus | passed | 34.89 ms |
| returns the architecture map of every live component with recomputed fan-in and fan-out | the agent-surface recipe corpus | passed | 54.87 ms |
| explains the shared policy and adapter collaborations from graph intent and binding claims | the agent-surface recipe corpus | passed | 69.84 ms |
| retains local uses and their claims without counting a component as its own dependency | the agent-surface recipe corpus | passed | 75.74 ms |
| preserves an unresolved responsibility without inventing its design | the agent-surface recipe corpus | passed | 89.93 ms |
| keeps a dangling component row and surfaces unresolved uses edges | the agent-surface recipe corpus | passed | 92.01 ms |
| preserves an unresolved architecture-map member when memberOf outlives the node | the agent-surface recipe corpus | passed | 86.53 ms |
| returns the decision map ranked by live shaping fan-in | the agent-surface recipe corpus | passed | 49.06 ms |
| returns a planning-slice neighborhood and an exact absent shape | the agent-surface recipe corpus | passed | 100.85 ms |
| returns non-empty bidirectional dependencies for the binding-grain planning slice | the agent-surface recipe corpus | passed | 55.05 ms |
| returns planning-slice implementations, never abstractions | the agent-surface recipe corpus | passed | 49.58 ms |
| preserves an unresolved component row when memberOf outlives the node | the agent-surface recipe corpus | passed | 114.57 ms |
| reports derived design columns beside the existing backlog fields | the agent-surface recipe corpus | passed | 5.97 ms |
| groups backlog rows under lawful Object.prototype path segments | the agent-surface recipe corpus | passed | 70.12 ms |
| groups lower-ladder rows under lawful Object.prototype path segments | the agent-surface recipe corpus | passed | 65.98 ms |
| groups decided subjects under lawful Object.prototype path segments | the agent-surface recipe corpus | passed | 50.79 ms |
| lists key families across the corpus in key, Spec and section order with the documented sample | register recipe semantics | passed | 87.47 ms |
| lists Design and UI key families without a row cap, preserving values, lines and overlapping prefixes | register recipe semantics | passed | 6.93 ms |
| diagnoses an unresolved Pack member without returning a partial register | register recipe semantics | passed | 2 ms |
| diagnoses malformed key-family parameters without a register: {"prefixes":[]} | register recipe semantics | passed | 47.39 ms |
| diagnoses malformed key-family parameters without a register: {"prefixes":[""]} | register recipe semantics | passed | 51.9 ms |
| diagnoses malformed key-family parameters without a register: {"prefixes":["a","a"]} | register recipe semantics | passed | 60.77 ms |
| diagnoses malformed key-family parameters without a register: {"prefixes":"limit"} | register recipe semantics | passed | 48.71 ms |
| diagnoses malformed key-family parameters without a register: {"pack":"pack:absent"} | register recipe semantics | passed | 47.17 ms |
| diagnoses malformed key-family parameters without a register: {"specs":["spec:absent"]} | register recipe semantics | passed | 47.63 ms |
| diagnoses malformed key-family parameters without a register: {"specs":"bad"} | register recipe semantics | passed | 48.35 ms |
| diagnoses malformed key-family parameters without a register: {"pack":"pack:self-hosting-v1","specs":[]} | register recipe semantics | passed | 61.9 ms |
| runs recipe 20 as written in default output | register recipe semantics | passed | 83.5 ms |
| runs recipe 21 as written in default output | register recipe semantics | passed | 43.91 ms |
| runs recipe 22 as written in default output | register recipe semantics | passed | 140.26 ms |
| runs recipe 23 as written in default output | register recipe semantics | passed | 135.22 ms |
| runs recipe 24 as written in default output | register recipe semantics | passed | 76.44 ms |
| runs recipe 25 as written in default output | register recipe semantics | passed | 32.84 ms |
| runs recipe 26 as written in default output | register recipe semantics | passed | 34.44 ms |
| runs recipe 27 as written in default output | register recipe semantics | passed | 35.78 ms |
| runs recipe 28 as written in default output | register recipe semantics | passed | 28.08 ms |
| runs recipe 29 as written in default output | register recipe semantics | passed | 25.29 ms |
| runs recipe 30 as written in default output | register recipe semantics | passed | 66.24 ms |
| runs recipe 31 as written in default output | register recipe semantics | passed | 36.6 ms |
| runs recipe 32 as written in default output | register recipe semantics | passed | 22.72 ms |
| renders long JSON values with the same default text bound as strings | register recipe semantics | passed | 7.07 ms |
| registers an omitted blocking flag through a TypeScript carrier | register recipe semantics | passed | 2.89 ms |
| searches coined keys of every value shape through a TypeScript carrier | register recipe semantics | passed | 2.3 ms |
| searches strings inside a matching coined list or object key | register recipe semantics | passed | 2.92 ms |
| searches a null coined-key value in the reader graph | register recipe semantics | passed | 2.36 ms |
| keeps register counts under totals and top-level plural nouns as arrays | register recipe semantics | passed | 602.26 ms |
| pins whole-token matching for 'retry' in 'entry' / 'retry' | register recipe semantics | passed | 1 ms |
| pins whole-token matching for 'retry' in 'entry' / 'retryable' | register recipe semantics | passed | 0.29 ms |
| pins whole-token matching for 'retry' in 'entry' / 'retry-worker' | register recipe semantics | passed | 0.22 ms |
| pins whole-token matching for 'retry' in 'retryWorker' / 'unrelated' | register recipe semantics | passed | 0.21 ms |
| pins whole-token matching for 'Retry' in 'entry' / 'RETRY.' | register recipe semantics | passed | 0.19 ms |
| pins whole-token matching for 'retry worker' in 'retryWorker' / 'retry-worker' | register recipe semantics | passed | 0.18 ms |
| pins whole-token matching for 'retry worker' in 'entry' / 'worker retry' | register recipe semantics | passed | 0.27 ms |
| pins whole-token matching for 'retry worker' in 'entry' / 'retry the worker' | register recipe semantics | passed | 0.18 ms |
| pins whole-token matching for 'server' in 'entry' / 'HTTPServer' | register recipe semantics | passed | 0.27 ms |
| pins whole-token matching for 'v' in 'entry' / 'v2' | register recipe semantics | passed | 0.21 ms |
| registers every authored question, blocking Specs first | register recipe semantics | passed | 65.36 ms |
| reports one-hop footing of all four types, including unresolved targets | register recipe semantics | passed | 94.97 ms |
| audits mention pairs, skips fences, and preserves full ids and direction | register recipe semantics | passed | 1.17 ms |
| resolves entry mentions and retains every token and pair location through a probe root | register recipe semantics | passed | 5.54 ms |
| reads the whole mention token through an underscore as malformed, never the existing prefix | register recipe semantics | passed | 0.73 ms |
| reads the whole mention token through a slash as malformed, never the existing prefix | register recipe semantics | passed | 0.46 ms |
| reads the whole mention token through a comma as malformed, never the existing prefix | register recipe semantics | passed | 0.49 ms |
| reads the whole mention token through an underscore and a letter as malformed, never the existing prefix | register recipe semantics | passed | 0.42 ms |
| reads the whole mention token through a slash and a letter as malformed, never the existing prefix | register recipe semantics | passed | 0.38 ms |
| reads the whole mention token through a comma and a letter as malformed, never the existing prefix | register recipe semantics | passed | 0.4 ms |
| reads the whole mention token through a letter outside ASCII as malformed, never the existing prefix | register recipe semantics | passed | 0.37 ms |
| reads the whole mention token through an escaped underscore as malformed, never the existing prefix | register recipe semantics | passed | 0.36 ms |
| reads the whole mention token through a combining mark as malformed, never the existing prefix | register recipe semantics | passed | 0.48 ms |
| reads the whole mention token through a combining mark after an entry key as malformed, never the existing prefix | register recipe semantics | passed | 0.45 ms |
| reads the whole mention token through a zero-width space as malformed, never the existing prefix | register recipe semantics | passed | 0.44 ms |
| reads the whole mention token through fullwidth connector punctuation as malformed, never the existing prefix | register recipe semantics | passed | 0.4 ms |
| reads the whole mention token through a NUL as malformed, never the existing prefix | register recipe semantics | passed | 0.41 ms |
| reads the whole mention token through an escape character as malformed, never the existing prefix | register recipe semantics | passed | 0.39 ms |
| reads the whole mention token through a delete character as malformed, never the existing prefix | register recipe semantics | passed | 0.55 ms |
| reads the whole mention token through a C1 control character as malformed, never the existing prefix | register recipe semantics | passed | 0.43 ms |
| reads the whole mention token through a hyphenated entry key as malformed, never the existing prefix | register recipe semantics | passed | 0.43 ms |
| reads the whole mention token through an entry suffix with no key as malformed, never the existing prefix | register recipe semantics | passed | 0.43 ms |
| reads the whole mention token through an entry suffix outside design and ui as malformed, never the existing prefix | register recipe semantics | passed | 0.44 ms |
| reads the clean id through Markdown punctuation: a sentence dot | register recipe semantics | passed | 0.51 ms |
| reads the clean id through Markdown punctuation: a comma | register recipe semantics | passed | 0.42 ms |
| reads the clean id through Markdown punctuation: a colon | register recipe semantics | passed | 0.43 ms |
| reads the clean id through Markdown punctuation: a closing parenthesis | register recipe semantics | passed | 0.41 ms |
| reads the clean id through Markdown punctuation: bold | register recipe semantics | passed | 0.41 ms |
| reads the clean id through Markdown punctuation: emphasis | register recipe semantics | passed | 0.41 ms |
| reads the clean id through Markdown punctuation: strikethrough | register recipe semantics | passed | 0.38 ms |
| reads the clean id through Markdown punctuation: backticks | register recipe semantics | passed | 0.43 ms |
| reads the clean id through Markdown punctuation: ASCII double quotes | register recipe semantics | passed | 0.38 ms |
| reads the clean id through Markdown punctuation: ASCII single quotes | register recipe semantics | passed | 0.53 ms |
| reads the clean id through Markdown punctuation: typographic double quotes | register recipe semantics | passed | 0.46 ms |
| reads the clean id through Markdown punctuation: typographic single quotes | register recipe semantics | passed | 0.43 ms |
| reads the clean id through Markdown punctuation: an em dash | register recipe semantics | passed | 0.41 ms |
| reads the clean id through Markdown punctuation: an en dash | register recipe semantics | passed | 0.43 ms |
| reads the clean id through Markdown punctuation: an ellipsis | register recipe semantics | passed | 0.42 ms |
| reads the clean id through Markdown punctuation: an escaped star | register recipe semantics | passed | 0.42 ms |
| reads the clean id through Markdown punctuation: an escaped exclamation mark | register recipe semantics | passed | 0.45 ms |
| reads the clean id through Markdown punctuation: U+0085 | register recipe semantics | passed | 0.4 ms |
| reads the clean id through Markdown punctuation: a no-break space | register recipe semantics | passed | 0.4 ms |
| reads the clean id through Markdown punctuation: a tab | register recipe semantics | passed | 0.38 ms |
| reads the clean id through Markdown punctuation: an arrow | register recipe semantics | passed | 0.37 ms |
| reads a placeholder or a bare prefix as prose, not a mention | register recipe semantics | passed | 0.47 ms |
| scans nested arrays in examples while skipping object fences by position | register recipe semantics | passed | 1.04 ms |
| addresses only lawful Design and UI entry keys in search results | register recipe semantics | passed | 1.08 ms |
| scopes mentions by the mentioning Spec only | register recipe semantics | passed | 3.1 ms |
| reports malformed open questions without counting them: "one question" | register recipe semantics | passed | 0.51 ms |
| reports malformed open questions without counting them: {} | register recipe semantics | passed | 0.28 ms |
| reports malformed open questions without counting them: 42 | register recipe semantics | passed | 0.29 ms |
| reports malformed open questions without counting them: {"blocking":true} | register recipe semantics | passed | 0.27 ms |
| reports malformed open questions without counting them: null | register recipe semantics | passed | 0.32 ms |
| reports malformed open questions without counting them: "" | register recipe semantics | passed | 0.3 ms |
| reports malformed open questions without counting them: {"question":"valid","blocking":"yes"} | register recipe semantics | passed | 0.31 ms |
| reports malformed open questions without counting them: {"question":"valid","blocking":null} | register recipe semantics | passed | 0.33 ms |
| reports malformed open questions without counting them: {"question":"valid"} | register recipe semantics | passed | 0.38 ms |
| reports an off-grammar question key as malformed: {"question":"valid","key":"AggregateReach"} | register recipe semantics | passed | 0.46 ms |
| reports an off-grammar question key as malformed: {"question":"valid","key":"aggregate-reach"} | register recipe semantics | passed | 0.32 ms |
| reports an off-grammar question key as malformed: {"question":"valid","key":""} | register recipe semantics | passed | 0.33 ms |
| reports an off-grammar question key as malformed: {"question":"valid","key":7} | register recipe semantics | passed | 0.33 ms |
| reports an off-grammar question key as malformed: {"question":"valid","key":null} | register recipe semantics | passed | 0.31 ms |
| reports an off-grammar question key as malformed: {"question":"valid","blocking":true} | register recipe semantics | passed | 0.32 ms |
| searches whole tokens, coined keys, narrative and fence steps | register recipe semantics | passed | 10.86 ms |
| lists every pinned declaration this corpus holds | register recipe semantics | passed | 151.14 ms |
| reads spans of any run length and skips every entry that pins nothing | register recipe semantics | passed | 0.81 ms |
| resolves the catalog's addresses on this corpus as written | address resolution and dependency cycles | passed | 64.16 ms |
| reports this corpus's dependency cycles as an independent reachability check finds them | address resolution and dependency cycles | passed | 88.32 ms |
| reports the probe's one set and one self-dependent Spec, and nothing for a Spec that only reaches a set | address resolution and dependency cycles | passed | 4.2 ms |
| reports a self-loop inside a larger set only with that set | address resolution and dependency cycles | passed | 4.72 ms |
| walks targets in code-unit order, so of two tied shortest cycles the first target's is reported | address resolution and dependency cycles | passed | 6.46 ms |
| walks a chain of 10,000 Specs and one cycle of 5,000 without recursing | address resolution and dependency cycles | passed | 178.94 ms |
| resolves an inherited property name only where the Spec authors it as a key | address resolution and dependency cycles | passed | 3.03 ms |
| resolves the design's probe addresses with one row and one reason each | address resolution and dependency cycles | passed | 2.86 ms |
| resolves a keyed question, refuses description in Design and UI, and keeps repeats | address resolution and dependency cycles | passed | 2.69 ms |
| registers a keyed question with its key and an unkeyed one with a null key | address resolution and dependency cycles | passed | 1.76 ms |
| audits a question address against the target's open question keys | address resolution and dependency cycles | passed | 1.86 ms |
| addresses a keyed question's text and matches its key, never the key as a row | address resolution and dependency cycles | passed | 5.05 ms |
| returns one row per Studio member with four independent facts | design references and the architecture taxonomy | passed | 114.98 ms |
| lists a referencing unit beside the realizing units without conferring implemented | design references and the architecture taxonomy | passed | 152.22 ms |
| lists the reader beside each Studio member that depends on it, with its realizing units | design references and the architecture taxonomy | passed | 66.69 ms |
| derives builds-on from the member's relations without conferring a fact on it | design references and the architecture taxonomy | passed | 154.09 ms |
| returns the role, layer, and context taxonomy from the code units alone | design references and the architecture taxonomy | passed | 33.37 ms |
| counts references as edges apart from the units that carry them | design references and the architecture taxonomy | passed | 83.72 ms |
| creates each taxonomy bucket once, however many units share the value | design references and the architecture taxonomy | passed | 102.31 ms |
| declares and checks only its indexed parameter names first: 1 | recipe parameters and the shipped recipe files | passed | 0.86 ms |
| declares and checks only its indexed parameter names first: 2 | recipe parameters and the shipped recipe files | passed | 0.45 ms |
| declares and checks only its indexed parameter names first: 3 | recipe parameters and the shipped recipe files | passed | 0.48 ms |
| declares and checks only its indexed parameter names first: 4 | recipe parameters and the shipped recipe files | passed | 0.4 ms |
| declares and checks only its indexed parameter names first: 5 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 6 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 7 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 8 | recipe parameters and the shipped recipe files | passed | 0.45 ms |
| declares and checks only its indexed parameter names first: 9 | recipe parameters and the shipped recipe files | passed | 0.44 ms |
| declares and checks only its indexed parameter names first: 10 | recipe parameters and the shipped recipe files | passed | 0.41 ms |
| declares and checks only its indexed parameter names first: 11 | recipe parameters and the shipped recipe files | passed | 0.36 ms |
| declares and checks only its indexed parameter names first: 12 | recipe parameters and the shipped recipe files | passed | 0.35 ms |
| declares and checks only its indexed parameter names first: 13 | recipe parameters and the shipped recipe files | passed | 0.98 ms |
| declares and checks only its indexed parameter names first: 14 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 15 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 16 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 17 | recipe parameters and the shipped recipe files | passed | 0.34 ms |
| declares and checks only its indexed parameter names first: 18 | recipe parameters and the shipped recipe files | passed | 0.36 ms |
| declares and checks only its indexed parameter names first: 19 | recipe parameters and the shipped recipe files | passed | 3.5 ms |
| declares and checks only its indexed parameter names first: 20 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 21 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 22 | recipe parameters and the shipped recipe files | passed | 0.4 ms |
| declares and checks only its indexed parameter names first: 23 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 24 | recipe parameters and the shipped recipe files | passed | 3.6 ms |
| declares and checks only its indexed parameter names first: 25 | recipe parameters and the shipped recipe files | passed | 0.41 ms |
| declares and checks only its indexed parameter names first: 26 | recipe parameters and the shipped recipe files | passed | 0.41 ms |
| declares and checks only its indexed parameter names first: 27 | recipe parameters and the shipped recipe files | passed | 0.44 ms |
| declares and checks only its indexed parameter names first: 28 | recipe parameters and the shipped recipe files | passed | 3.48 ms |
| declares and checks only its indexed parameter names first: 29 | recipe parameters and the shipped recipe files | passed | 0.4 ms |
| declares and checks only its indexed parameter names first: 30 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 31 | recipe parameters and the shipped recipe files | passed | 0.36 ms |
| declares and checks only its indexed parameter names first: 32 | recipe parameters and the shipped recipe files | passed | 3.39 ms |
| declares and checks only its indexed parameter names first: 33 | recipe parameters and the shipped recipe files | passed | 0.45 ms |
| declares and checks only its indexed parameter names first: 34 | recipe parameters and the shipped recipe files | passed | 0.36 ms |
| declares and checks only its indexed parameter names first: 35 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 36 | recipe parameters and the shipped recipe files | passed | 0.45 ms |
| declares and checks only its indexed parameter names first: 37 | recipe parameters and the shipped recipe files | passed | 0.41 ms |
| declares and checks only its indexed parameter names first: 38 | recipe parameters and the shipped recipe files | passed | 0.37 ms |
| declares and checks only its indexed parameter names first: 39 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 40 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 41 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 42 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 43 | recipe parameters and the shipped recipe files | passed | 0.43 ms |
| declares and checks only its indexed parameter names first: 44 | recipe parameters and the shipped recipe files | passed | 0.4 ms |
| declares and checks only its indexed parameter names first: 45 | recipe parameters and the shipped recipe files | passed | 0.39 ms |
| declares and checks only its indexed parameter names first: 46 | recipe parameters and the shipped recipe files | passed | 0.37 ms |
| declares and checks only its indexed parameter names first: 47 | recipe parameters and the shipped recipe files | passed | 0.38 ms |
| declares and checks only its indexed parameter names first: 48 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 49 | recipe parameters and the shipped recipe files | passed | 0.41 ms |
| declares and checks only its indexed parameter names first: 50 | recipe parameters and the shipped recipe files | passed | 0.42 ms |
| declares and checks only its indexed parameter names first: 51 | recipe parameters and the shipped recipe files | passed | 0.37 ms |
| declares and checks only its indexed parameter names first: 52 | recipe parameters and the shipped recipe files | passed | 0.47 ms |
| declares and checks only its indexed parameter names first: 53 | recipe parameters and the shipped recipe files | passed | 0.48 ms |
| declares and checks only its indexed parameter names first: 54 | recipe parameters and the shipped recipe files | passed | 0.56 ms |
| declares and checks only its indexed parameter names first: 55 | recipe parameters and the shipped recipe files | passed | 0.44 ms |
| returns only the unknown-name answer before reading recipe inputs: 1 | recipe parameters and the shipped recipe files | passed | 64.45 ms |
| returns only the unknown-name answer before reading recipe inputs: 2 | recipe parameters and the shipped recipe files | passed | 86.74 ms |
| returns only the unknown-name answer before reading recipe inputs: 3 | recipe parameters and the shipped recipe files | passed | 64.56 ms |
| returns only the unknown-name answer before reading recipe inputs: 4 | recipe parameters and the shipped recipe files | passed | 40.29 ms |
| returns only the unknown-name answer before reading recipe inputs: 5 | recipe parameters and the shipped recipe files | passed | 46.83 ms |
| returns only the unknown-name answer before reading recipe inputs: 6 | recipe parameters and the shipped recipe files | passed | 46.25 ms |
| returns only the unknown-name answer before reading recipe inputs: 7 | recipe parameters and the shipped recipe files | passed | 48.18 ms |
| returns only the unknown-name answer before reading recipe inputs: 8 | recipe parameters and the shipped recipe files | passed | 42.23 ms |
| returns only the unknown-name answer before reading recipe inputs: 9 | recipe parameters and the shipped recipe files | passed | 71.25 ms |
| returns only the unknown-name answer before reading recipe inputs: 10 | recipe parameters and the shipped recipe files | passed | 31.24 ms |
| returns only the unknown-name answer before reading recipe inputs: 11 | recipe parameters and the shipped recipe files | passed | 31.96 ms |
| returns only the unknown-name answer before reading recipe inputs: 12 | recipe parameters and the shipped recipe files | passed | 49.78 ms |
| returns only the unknown-name answer before reading recipe inputs: 13 | recipe parameters and the shipped recipe files | passed | 39.97 ms |
| returns only the unknown-name answer before reading recipe inputs: 14 | recipe parameters and the shipped recipe files | passed | 63.85 ms |
| returns only the unknown-name answer before reading recipe inputs: 15 | recipe parameters and the shipped recipe files | passed | 52.92 ms |
| returns only the unknown-name answer before reading recipe inputs: 16 | recipe parameters and the shipped recipe files | passed | 35.88 ms |
| returns only the unknown-name answer before reading recipe inputs: 17 | recipe parameters and the shipped recipe files | passed | 33.16 ms |
| returns only the unknown-name answer before reading recipe inputs: 18 | recipe parameters and the shipped recipe files | passed | 39.7 ms |
| returns only the unknown-name answer before reading recipe inputs: 19 | recipe parameters and the shipped recipe files | passed | 36.47 ms |
| returns only the unknown-name answer before reading recipe inputs: 20 | recipe parameters and the shipped recipe files | passed | 34.05 ms |
| returns only the unknown-name answer before reading recipe inputs: 21 | recipe parameters and the shipped recipe files | passed | 37.69 ms |
| returns only the unknown-name answer before reading recipe inputs: 22 | recipe parameters and the shipped recipe files | passed | 34.48 ms |
| returns only the unknown-name answer before reading recipe inputs: 23 | recipe parameters and the shipped recipe files | passed | 45.55 ms |
| returns only the unknown-name answer before reading recipe inputs: 24 | recipe parameters and the shipped recipe files | passed | 37.07 ms |
| returns only the unknown-name answer before reading recipe inputs: 25 | recipe parameters and the shipped recipe files | passed | 41.58 ms |
| returns only the unknown-name answer before reading recipe inputs: 26 | recipe parameters and the shipped recipe files | passed | 36.43 ms |
| returns only the unknown-name answer before reading recipe inputs: 27 | recipe parameters and the shipped recipe files | passed | 40.71 ms |
| returns only the unknown-name answer before reading recipe inputs: 28 | recipe parameters and the shipped recipe files | passed | 40.12 ms |
| returns only the unknown-name answer before reading recipe inputs: 29 | recipe parameters and the shipped recipe files | passed | 34.37 ms |
| returns only the unknown-name answer before reading recipe inputs: 30 | recipe parameters and the shipped recipe files | passed | 41.06 ms |
| returns only the unknown-name answer before reading recipe inputs: 31 | recipe parameters and the shipped recipe files | passed | 35.56 ms |
| returns only the unknown-name answer before reading recipe inputs: 32 | recipe parameters and the shipped recipe files | passed | 43.01 ms |
| returns only the unknown-name answer before reading recipe inputs: 33 | recipe parameters and the shipped recipe files | passed | 37.21 ms |
| returns only the unknown-name answer before reading recipe inputs: 34 | recipe parameters and the shipped recipe files | passed | 41.37 ms |
| returns only the unknown-name answer before reading recipe inputs: 35 | recipe parameters and the shipped recipe files | passed | 39.18 ms |
| returns only the unknown-name answer before reading recipe inputs: 36 | recipe parameters and the shipped recipe files | passed | 38.62 ms |
| returns only the unknown-name answer before reading recipe inputs: 37 | recipe parameters and the shipped recipe files | passed | 43.69 ms |
| returns only the unknown-name answer before reading recipe inputs: 38 | recipe parameters and the shipped recipe files | passed | 38.21 ms |
| returns only the unknown-name answer before reading recipe inputs: 39 | recipe parameters and the shipped recipe files | passed | 37.8 ms |
| returns only the unknown-name answer before reading recipe inputs: 40 | recipe parameters and the shipped recipe files | passed | 34.85 ms |
| returns only the unknown-name answer before reading recipe inputs: 41 | recipe parameters and the shipped recipe files | passed | 38.46 ms |
| returns only the unknown-name answer before reading recipe inputs: 42 | recipe parameters and the shipped recipe files | passed | 37.37 ms |
| returns only the unknown-name answer before reading recipe inputs: 43 | recipe parameters and the shipped recipe files | passed | 31.83 ms |
| returns only the unknown-name answer before reading recipe inputs: 44 | recipe parameters and the shipped recipe files | passed | 25.05 ms |
| returns only the unknown-name answer before reading recipe inputs: 45 | recipe parameters and the shipped recipe files | passed | 35.12 ms |
| returns only the unknown-name answer before reading recipe inputs: 46 | recipe parameters and the shipped recipe files | passed | 41.83 ms |
| returns only the unknown-name answer before reading recipe inputs: 47 | recipe parameters and the shipped recipe files | passed | 35.78 ms |
| returns only the unknown-name answer before reading recipe inputs: 48 | recipe parameters and the shipped recipe files | passed | 40.67 ms |
| returns only the unknown-name answer before reading recipe inputs: 49 | recipe parameters and the shipped recipe files | passed | 40.51 ms |
| returns only the unknown-name answer before reading recipe inputs: 50 | recipe parameters and the shipped recipe files | passed | 37.07 ms |
| returns only the unknown-name answer before reading recipe inputs: 51 | recipe parameters and the shipped recipe files | passed | 40.67 ms |
| returns only the unknown-name answer before reading recipe inputs: 52 | recipe parameters and the shipped recipe files | passed | 39.56 ms |
| returns only the unknown-name answer before reading recipe inputs: 53 | recipe parameters and the shipped recipe files | passed | 27.59 ms |
| returns only the unknown-name answer before reading recipe inputs: 54 | recipe parameters and the shipped recipe files | passed | 33.04 ms |
| returns only the unknown-name answer before reading recipe inputs: 55 | recipe parameters and the shipped recipe files | passed | 41.41 ms |
| diagnoses wrong subject names, mixed known names and ordered unknown names through shipped bodies | recipe parameters and the shipped recipe files | passed | 100 ms |
| reads and names each parameter, with a fallback only when the contract supplies one | recipe parameters and the shipped recipe files | passed | 9.19 ms |
| ships every catalog body as dist/recipes/NN-slug.js, byte for byte | recipe parameters and the shipped recipe files | passed | 8.28 ms |
| runs every shipped file, read whole, to the answer its catalog body gives | recipe parameters and the shipped recipe files | passed | 6827.51 ms |
| refuses a catalog whose bodies and headings do not pair, rather than guess a file name | recipe parameters and the shipped recipe files | passed | 1.37 ms |
| reads a CRLF catalog as its LF bodies, and refuses a catalog with no recipe before publishing | recipe parameters and the shipped recipe files | passed | 17.95 ms |
| removes only completed recipe files the catalog no longer owes, never another run's temporary file | recipe parameters and the shipped recipe files | passed | 0.82 ms |
| passes recipe 4 its changed files from a file named with @PATH | recipe parameters and the shipped recipe files | passed | 40.39 ms |
| resolves the addresses recipe 25 receives as data | recipe parameters and the shipped recipe files | passed | 67.17 ms |
| reads the Pack the Pack recipes review from params.pack | recipe parameters and the shipped recipe files | passed | 187.66 ms |
| returns the Pack design of every corpus Pack as the raw graph states it | design recipes | passed | 789.57 ms |
| returns the probe Pack's design exactly, member by member | design recipes | passed | 8.24 ms |
| reaches every Spec resting on the corpus sample, by a shortest path of real edges | design recipes | passed | 364.56 ms |
| walks a dependency chain inbound only, once per Spec, and keeps a reference apart | design recipes | passed | 1.71 ms |
| registers every corpus decision with its supersession, subjects and keyed questions | design recipes | passed | 86.75 ms |
| registers a supersedes pair both ways and a decision that shapes nothing | design recipes | passed | 4.58 ms |
| carries a relation's reason beside the relation in recipes 3, 19, 21 and 31 | design recipes | passed | 1.68 ms |
| registers narrowing decisions both ways and excludes refinement by other kinds | design recipes | passed | 0.54 ms |
| keeps the decoder in reader without adding crossings against the lawful notation alternative | design recipes | passed | 90.25 ms |
| reports the corpus's architecture crossings as the raw edges state them | design recipes | passed | 61.19 ms |
| names a crossing of two contexts and of two layers, and skips what cannot cross | design recipes | passed | 4.2 ms |
| resolves every keyed corpus entry to its value and the line the location table records | entry lines in entry search and address resolution | passed | 134.85 ms |
| gives each corpus entry-search row the line of a located entry and null otherwise | entry lines in entry search and address resolution | passed | 220.2 ms |
| never gives a nested entry the line of a literal top-level key its path spells | entry lines in entry search and address resolution | passed | 4.76 ms |
| counts a verifying Spec of another kind as a verifier, never as an example, in the Pack design | entry lines in entry search and address resolution | passed | 2.88 ms |
| gives a string-form open question the line its question[n] row records, as the object form | entry lines in entry search and address resolution | passed | 5.46 ms |
| counts equal layers and contexts between distinct components even without crossings | answers that fit | passed | 0.51 ms |
| returns guarantee entries and complete unit and verifier locations from context | answers that fit | passed | 6.21 ms |
| reports directions relative to an impacted Pack | answers that fit | passed | 0.89 ms |
| indexes exactly the present recipes with names, parameters and uses | answers that fit | passed | 3.39 ms |
| runs a shipped body wrapped inside a caller's filter | answers that fit | passed | 112.01 ms |
| keeps impact totals and puts both edge directions in the summary | answers that fit | passed | 2.35 ms |
| keeps the reader's Pack value in summary, full and selected-member answers | answers that fit | passed | 7.28 ms |
| reports both next rungs when the stated rung is below the floor | answers that fit | passed | 0.62 ms |
| reports no next rung at ready | answers that fit | passed | 35.24 ms |
| reports gap exemptions and every omitted warning beyond the first 25 | answers that fit | passed | 2.84 ms |
| lists only defined unimplemented designs and keeps exclusions and references | answers that fit | passed | 1.08 ms |
| registers fields and counts deferrals apart from design holds | authoring grammar recipes | passed | 4.32 ms |
| lists intended mentions apart and preserves the validator's warnings | authoring grammar recipes | passed | 8.87 ms |
| matches rule keys beside their text without searching the derived map | authoring grammar recipes | passed | 5.29 ms |
| locates unkeyed rule text and question field text | authoring grammar recipes | passed | 7.51 ms |
| resolves rule addresses and preserves every parsed part of a miss | authoring grammar recipes | passed | 3 ms |
| counts rule coverage from bound examples and reports unbound intent beside it | authoring grammar recipes | passed | 3.01 ms |
| reports missing rule-coverage scopes and accepts a scope with no rules | authoring grammar recipes | passed | 2.53 ms |
| runs the catalog body in the evaluator without a module loader | entry citations recipe | passed | 0.77 ms |
| orders a declaration's citing files and lines independently of input order | entry citations recipe | passed | 0.6 ms |
| joins declarations and other cited entries, including uncited declarations | entry citations recipe | passed | 0.74 ms |
| includes absent Specs and malformed tokens only in the corpus unresolved list | entry citations recipe | passed | 1.17 ms |
| returns diagnostics without findings for {"pack":"pack:missing"} | entry citations recipe | passed | 0.78 ms |
| returns diagnostics without findings for {"specs":["spec:missing"]} | entry citations recipe | passed | 0.44 ms |
| returns diagnostics without findings for {"specs":"spec:probe.cited"} | entry citations recipe | passed | 0.38 ms |
| returns diagnostics without findings for {"pack":"pack:probe.citations","specs":[]} | entry citations recipe | passed | 0.41 ms |
| returns diagnostics without findings for {"severity":"fatal"} | entry citations recipe | passed | 0.34 ms |
| returns diagnostics without findings for {"severity":null} | entry citations recipe | passed | 0.44 ms |
| reads an absent table as empty, and accepts an empty Spec scope | entry citations recipe | passed | 0.48 ms |
| adds recorded component fields, references, member roles and exact crossing-use counts | Studio architecture and example-space recipe additions | passed | 82.69 ms |
| runs shipped recipe 44 over every decoded space and refuses bad scopes | Studio architecture and example-space recipe additions | passed | 425.18 ms |
| runs recipe 45 as shipped and reports missing and malformed CTRF metadata | not recorded | passed | 462.11 ms |
| recipe 49 renders the panel memo from its catalog body and refuses a malformed document | not recorded | passed | 116.15 ms |
| reports text-preserving rule and flow key changes apart from rewording | not recorded | passed | 8.96 ms |
| preserves a removed keyed rule address beside new unkeyed text | not recorded | passed | 2.6 ms |
| preserves a removed keyed flow address beside new unkeyed text | not recorded | passed | 2.19 ms |
| distinguishes removed unkeyed rule base positions from head positions | not recorded | passed | 3.04 ms |
| distinguishes removed unkeyed flow base positions from head positions | not recorded | passed | 2.55 ms |
| retains every diamond edge and intermediate node while counting each descendant once | the capability map recipe | passed | 1.25 ms |
| returns summary/full parity with explicit omissions for scope {} | the capability map recipe | passed | 1.76 ms |
| returns summary/full parity with explicit omissions for scope {"epic":"spec:probe.epic"} | the capability map recipe | passed | 1.06 ms |
| normalizes prose and unflagged questions while preserving authored indices | the capability map recipe | passed | 0.38 ms |
| retains null titles in serialized node and epic rows when a title degrades | the capability map recipe | passed | 0.71 ms |
| reports a self-refining epic as a cycle without making it its own parent epic | the capability map recipe | passed | 2.75 ms |
| uses the outside unreached parent as root rather than its child cycle group | the capability map recipe | passed | 0.49 ms |
| selects an epic of kind behavior without changing its kind | the capability map recipe | passed | 0.45 ms |
| selects an epic of kind workflow without changing its kind | the capability map recipe | passed | 0.25 ms |
| selects an epic of kind example without changing its kind | the capability map recipe | passed | 0.19 ms |
| selects an epic of kind rule without changing its kind | the capability map recipe | passed | 0.18 ms |
| selects an epic of kind constraint without changing its kind | the capability map recipe | passed | 0.19 ms |
| selects an epic of kind model without changing its kind | the capability map recipe | passed | 0.23 ms |
| selects an epic of kind decision without changing its kind | the capability map recipe | passed | 0.23 ms |
| selects an epic of kind contract without changing its kind | the capability map recipe | passed | 0.22 ms |
| reads node evidence and ordered questions directly, including examples and decisions as parents | the capability map recipe | passed | 0.77 ms |
| represents a missing floor as none and keeps the epic's evidence outside its rollup | the capability map recipe | passed | 0.49 ms |
| counts stated rungs separately from reached floors without lending a bound example's facts to its epic | the capability map recipe | passed | 0.78 ms |
| keeps nested and overlapping memberships and outside parents when selecting one epic | the capability map recipe | passed | 1.12 ms |
| traverses only declared refinement and never infers ancestry from other graph structure | the capability map recipe | passed | 0.63 ms |
| reports cycles, self-links and unresolved or non-Spec endpoints separately from parameter failures | the capability map recipe | passed | 0.54 ms |
| limits damage to edges touching a selected epic scope and terminates reached cycles | the capability map recipe | passed | 0.34 ms |
| keeps overlapping unreached root scopes unique and exposes an empty corpus | the capability map recipe | passed | 0.34 ms |
| refuses invalid parameters without a map: { epic: null } | the capability map recipe | passed | 0.17 ms |
| refuses invalid parameters without a map: { epic: 1 } | the capability map recipe | passed | 0.11 ms |
| refuses invalid parameters without a map: { epic: [] } | the capability map recipe | passed | 0.07 ms |
| refuses invalid parameters without a map: { epic: 'spec:probe.absent' } | the capability map recipe | passed | 0.06 ms |
| refuses invalid parameters without a map: { epic: 'spec:probe.plain' } | the capability map recipe | passed | 0.05 ms |
| refuses invalid parameters without a map: { epic: 'impl:probe.non-spec' } | the capability map recipe | passed | 0.05 ms |
| refuses invalid parameters without a map: { detail: 'true' } | the capability map recipe | passed | 0.05 ms |
| refuses invalid parameters without a map: { detail: 1 } | the capability map recipe | passed | 0.05 ms |
| refuses invalid parameters without a map: { detail: null } | the capability map recipe | passed | 0.05 ms |
| refuses invalid parameters without a map: { epic: 1, detail: 'x' } | the capability map recipe | passed | 0.11 ms |
| checks unknown names before known values | the capability map recipe | passed | 0.11 ms |
| answers deterministically in code-unit id order even when graph arrays are reversed | the capability map recipe | passed | 1.22 ms |
| reaches every Spec from the intended epic owners while preserving kinds and overlapping refinement | the Protocol's capability epics | passed | 207.42 ms |
| keeps refinement and dependency from spec:extraction.build-pipeline to spec:extraction.derive-graph | the Protocol's capability epics | passed | 2.08 ms |
| keeps refinement and dependency from spec:validation.corpus-rules to spec:consumers.agent-surface | the Protocol's capability epics | passed | 2.24 ms |
| keeps refinement and dependency from spec:validation.architecture-constraints to spec:validation.corpus-rules | the Protocol's capability epics | passed | 2.19 ms |
| keeps refinement and dependency from spec:validation.external-registers to spec:validation.corpus-rules | the Protocol's capability epics | passed | 2.35 ms |
| keeps every ready statement at the ready floor and leaves the drift alarm empty | the Protocol's capability epics | passed | 73.37 ms |
| runs the catalog body over the arc Pack through the CLI and keeps its summary totals | the shipped design slice | passed | 359.23 ms |
| runs the roadmap and its memo from the catalog over a named Pack | not recorded | passed | 283.82 ms |
| pins the adopter roadmap and its forward memo over the worked example | not recorded | passed | 24.1 ms |
corpus · "two Specs depend on each other through dependsOn" | "one Spec depends on another" · declared by a probe corpus in which {corpus}addresses · string · declared by the caller passes the addresses {addresses}recipe · "address resolution" | "dependency cycles" · declared by the shipped {recipe} file runs {invocation}invocation · "through sdp q" | "as a rules file named by sdp validate --rules" · declared by the shipped {recipe} file runs {invocation}| Example | corpus | addresses | recipe | invocation |
|---|---|---|---|---|
| spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing | "one Spec depends on another" | "none" | "dependency cycles" | "through sdp q" |
| spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run | "two Specs depend on each other through dependsOn" | "none" | "dependency cycles" | "as a rules file named by sdp validate --rules" |
| spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run | "one Spec depends on another" | "spec:probe.one#design.absent" | "address resolution" | "as a rules file named by sdp validate --rules" |
Oracle binding: present · oracle:protocol.consumers.agent-surface.address-and-cycle-recipes · test/reach-examples.test.ts:174
| Declared value | Examples |
|---|---|
"two Specs depend on each other through dependsOn" | spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run |
"one Spec depends on another" | spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run |
addresses: "none" · 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:probe.one#design.absent" · spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · not enumerable
| Declared value | Examples |
|---|---|
"address resolution" | spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run |
"dependency cycles" | spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing, spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run |
| Declared value | Examples |
|---|---|
"through sdp q" | spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing |
"as a rules file named by sdp validate --rules" | 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 |
corpus: Noneaddresses: Nonerecipe: Noneinvocation: NoneGiven
a probe corpus in which {corpus:"two Specs depend on each other through dependsOn"|"one Spec depends on another"}
the caller passes the addresses {addresses:string}When
the shipped {recipe:"address resolution"|"dependency cycles"} file runs {invocation:"through sdp q"|"as a rules file named by sdp validate --rules"}Then
the command exits {exitCode:number}
the answer carries {findings:number} findings with the rule ids {ruleIds:string}Composing needs the script.
test/recipes.test.ts:3568test/reach-examples.test.ts:174test/recipes.test.ts:3577test/reach-examples.test.ts:422test/reach-examples.test.ts:430test/reach-examples.test.ts:438Copyable source; the Studio draws static SVG.
Preferred syntax: requirementDiagram. Chosen syntax: flowchart TB because models, folds require exact labels unavailable in requirement syntax.
No decision record named.
impl:protocol.address-and-cycle-recipes · asserts realization of the shipped address resolution and dependency cycle recipes · test/recipes.test.ts:3568Uses
None.
Runtime observation: not tracked.
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.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.cycle-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
Implementing units
impl:protocol.proposal-schema-and-recipe · test/iteration-recipes.test.ts:1510impl:protocol.studio-proposal-contract · src/studio-elements/proposal.ts:1Referencing units
None.
Enabled verifiers: test:protocol.proposal-schema-and-recipe
Packs: pack:design-iteration-v1, pack:design-management-v1, pack:self-hosting-v1
Implementing units
impl:protocol.statement-queue-recipe · test/self-hosting-readiness-planner.test.ts:74Referencing 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
Implementing units
impl:protocol.delivery-session-on-ramp · test/skills.test.ts:83Referencing units
None.
Enabled verifiers: test:protocol.delivery-session-on-ramp
Packs: pack:self-hosting-v1
Implementing units
impl:protocol.design-slice-recipe · test/self-hosting-design-slice.test.ts:148Referencing units
impl:protocol.studio-slice-answer · src/projections/studio/slice-answer.ts:1Enabled 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
Implementing units
impl:protocol.proposal-memo-recipe · test/recipes.test.ts:7298impl:protocol.studio-proposal-memo · src/studio-elements/memo.ts:13Referencing units
None.
Enabled verifiers: spec:consumers.intent-composition.proposal.memo.shared
Implementing units
impl:protocol.vault-sync · src/projections/vault/sync.ts:98impl:protocol.vault-text · src/projections/vault/text.ts:30impl:protocol.vault-watch · src/cli/vault-command.ts:219Referencing units
None.
Enabled verifiers: spec:consumers.obsidian-vault.iteration.watch-rewrites-changed-notes, spec:consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.cycle-shares-a-round
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.decision-first
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.dependency-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.readiness-planner.owner-question-holds
Implementing units
impl:protocol.roadmap-recipe · test/roadmap.test.ts:20Referencing 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
Implementing units
impl:protocol.studio-compose · src/studio-elements/compose.ts:13impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6impl:protocol.studio-intent-panel · src/studio-elements/intent-panel.ts:51impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, test:protocol.studio-intent-handoff
Implementing units
impl:protocol.studio-owner-queue · src/projections/studio/pages/queue-page.ts:9Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.owner-queue.dependency-first
Implementing units
impl:protocol.rule-key-proposal-recipe · test/upgrade-kit.test.ts:742Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.rule-key-proposal.collision-and-unkeyable, spec:consumers.upgrade-kit.rule-key-proposal.proposal-applies-clean
Implementing units
impl:protocol.roadmap-practice · test/check-self-hosting-gates.test.ts:52Referencing units
None.
Enabled verifiers: test:protocol.roadmap-practice
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.chain
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-absent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-differing
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-matching
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unreadable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.component-unrelated
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.decision-backlink
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.dependency-cycle
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.folded-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.independent-example
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-components
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-holding
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-satisfied
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.design-slice.outside-unbound
Implementing units
impl:protocol.graph-first-planning · test/skills.test.ts:290Referencing units
None.
Enabled verifiers: test:protocol.graph-first-planning
Packs: pack:self-hosting-v1
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-memo-shared
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-rewrites-changed-notes
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.consumers.obsidian-vault.iteration.watch-source-anchor
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.blocking-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.buildable-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.built-work
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.design-part
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.drifting-part
Implementing units
impl:protocol.roadmap-memo-recipe · test/roadmap.test.ts:27impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168Referencing units
None.
Enabled verifiers: test:protocol.roadmap-memo-recipe, test:protocol.studio-roadmap-page
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.missing-evidence
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.outside-parent
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-order
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.roadmap.statement-part
Implementing units
component:protocol.studio-elements · src/studio-elements/index.ts:13impl:protocol.studio-compose · src/studio-elements/compose.ts:13impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23impl:protocol.studio-filter · src/studio-elements/filter.ts:25impl:protocol.studio-intent-panel-element · src/studio-elements/intent-panel-element.ts:14impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68impl:protocol.studio-scenario-editor · src/studio-elements/scenario-editor.ts:17impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74Referencing units
None.
Enabled verifiers: test:protocol.studio-intent-handoff
Implementing units
impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-dependency
Implementing units
impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-architecture
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-intents-refresh
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-queue-dependency-first
Implementing units
impl:protocol.studio-roadmap-page · src/projections/studio/pages/roadmap-page.ts:168Referencing units
None.
Enabled verifiers: test:protocol.studio-roadmap-page
Implementing units
impl:protocol.studio-slice-page · src/projections/studio/pages/slice-page.ts:25Referencing units
None.
Enabled verifiers: test:protocol.studio-slice-page
Implementing units
impl:protocol.studio-run-rows · src/projections/studio/pages/run-rows.ts:69impl:protocol.studio-verification-panels · src/projections/studio/pages/spec-verification.ts:74Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.verification-panels.rule-coverage, test:protocol.studio-panels
Implementing units
impl:protocol.studio-on-ramp · test/skills.test.ts:1693Referencing units
None.
Enabled verifiers: test:protocol.studio-on-ramp
Implementing units
impl:protocol.upgrade-guide · test/upgrade-kit.test.ts:87Referencing units
None.
Enabled verifiers: test:protocol.upgrade-guide
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.collision-and-unkeyable
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.rule-key-proposal.proposal-applies-clean
Implementing units
impl:protocol.vault-on-ramp · test/skills.test.ts:1995Referencing units
None.
Enabled verifiers: test:protocol.vault-on-ramp
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Packs: pack:roadmap, pack:self-hosting-v1
Implementing units
impl:protocol.studio-architecture-diagrams · src/projections/studio/diagrams/architecture.ts:4impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23impl:protocol.studio-diagram-model · src/projections/studio/diagrams/model.ts:1impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73impl:protocol.studio-relation-diagrams · src/projections/studio/diagrams/bands.ts:10Referencing 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
Implementing units
component:protocol.studio-elements · src/studio-elements/index.ts:13impl:protocol.studio-copy · src/studio-elements/copy.ts:22impl:protocol.studio-expander · src/studio-elements/expander.ts:16impl:protocol.studio-filter · src/studio-elements/filter.ts:25impl:protocol.studio-search-form · src/studio-elements/search.ts:18impl:protocol.studio-search-results · src/studio-elements/search-results.ts:95impl:protocol.studio-stamp · src/studio-elements/stamp.ts:30Referencing units
None.
Enabled verifiers: test:protocol.studio-copy-source, test:protocol.studio-page-elements
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-rule-coverage
Implementing units
impl:protocol.capability-adoption-recipe · test/upgrade-kit.test.ts:514Referencing units
None.
Enabled verifiers: spec:consumers.upgrade-kit.capability-adoption.counts-a-corpus
Implementing units
impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12impl:protocol.studio-slice-architecture · src/projections/studio/diagrams/slice.ts:219impl:protocol.studio-slice-dependencies · src/projections/studio/diagrams/slice.ts:10Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-catalog
Implementing units
impl:protocol.studio-diagram-routing · src/projections/studio/diagrams/routing.ts:38impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Implementing units
impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23impl:protocol.studio-diagram-layout · src/projections/studio/diagrams/layout.ts:140impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Implementing units
impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13impl:protocol.studio-diagrams · src/projections/studio/diagrams/svg.ts:73Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-core
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-context
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-folds-layer
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-diagram-within-bound
Implementing units
impl:protocol.studio-architecture-lens · src/projections/studio/pages/architecture-page.ts:50Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.lenses.architecture.planned-apart, test:protocol.studio-architecture-maturity-requirement
Implementing units
impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201impl:protocol.studio-spec-structure · src/projections/studio/pages/spec-structure.ts:44Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.spec-page.cited-declaration, test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.capability-adoption.counts-a-corpus
Implementing units
impl:protocol.studio-capabilities-page · src/projections/studio/pages/capabilities-page.ts:78impl:protocol.studio-filter · src/studio-elements/filter.ts:25impl:protocol.studio-frame · src/projections/studio/pages/frame.ts:6impl:protocol.studio-index-page · src/projections/studio/pages/index-page.ts:8Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Implementing units
impl:protocol.studio-capability-diagrams · src/projections/studio/diagrams/capability.ts:101impl:protocol.studio-diagram-source · src/projections/studio/diagrams/mermaid.ts:13Referencing units
None.
Enabled verifiers: test:protocol.studio-capabilities
Implementing units
impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Implementing units
impl:protocol.studio-requirement-diagram · src/projections/studio/diagrams/requirement.ts:12impl:protocol.studio-requirement-view · src/projections/studio/pages/requirement-view.ts:8Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-diagram-core
Implementing units
impl:protocol.studio-diagram-element · src/studio-elements/diagram.ts:23impl:protocol.studio-expander · src/studio-elements/expander.ts:16impl:protocol.studio-pack-export · src/projections/studio/pages/export-page.ts:35impl:protocol.studio-pack-page · src/projections/studio/pages/pack-page.ts:68Referencing units
None.
Enabled verifiers: spec:consumers.spec-studio.export.self-contained, test:protocol.studio-intent-handoff
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-planned-apart
Implementing units
impl:protocol.studio-unit-register · src/projections/studio/pages/architecture-register.ts:7Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement
Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1, pack:spec-studio-v1
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-cited-declaration
Implementing units
impl:protocol.studio-spec-page · src/projections/studio/pages/spec-page.ts:201Referencing units
None.
Enabled verifiers: test:protocol.studio-pages
Implementing units
None.
Referencing units
None.
Enabled verifiers: None
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.studio-export-contained
Implementing units
impl:protocol.studio-maturity-map · src/projections/studio/pages/maturity-map.ts:7Referencing units
None.
Enabled verifiers: test:protocol.studio-architecture-maturity-requirement, test:protocol.studio-panels
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| dependsOn · outgoing | Recipes take parameters as data and ship as runnable filesspec:consumers.agent-surface.recipe-parameters · resolves | declared | address resolution reads its addresses from params | None |
| dependsOn · outgoing | A Spec id written in prose is a checked mentionspec:decisions.checked-mentions · resolves | declared | None | None |
| dependsOn · outgoing | A rule or flow entry may carry a key that addresses itspec:model.rule-keys · resolves | declared | a rule address resolves through the Spec's rule keys | None |
| dependsOn · outgoing | A Model term may carry a key that addresses itspec:model.term-addresses · resolves | declared | a term address resolves through the Spec's term keys | None |
| refines · outgoing | Register questions stay executable graph recipesspec:consumers.agent-surface.register-recipes · resolves | declared | None | None |
| dependsOn · incoming | A change proposal is addressed, based and checked before it landsspec:consumers.intent-composition.proposal · resolves | declared | the check resolves entry-address scopes through address resolution | None |
| dependsOn · incoming | The readiness planner orders the statements a person can makespec:consumers.readiness-planner · resolves | declared | a cycle among waiting Specs reports in the shape dependency cycles reports | None |
| refines · incoming | A dependency chain with no cycle yields no findingspec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · resolves | declared | None | None |
| refines · incoming | The shipped dependency-cycles file fails a rules run on a cyclespec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · resolves | declared | None | None |
| refines · incoming | The shipped address-resolution file fails a rules run on an address that names no entryspec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · resolves | declared | None | None |
| verifies · incoming | A dependency chain with no cycle yields no findingspec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · resolves | declared | None | cycleFindings, answersUnchanged |
| verifies · incoming | The shipped dependency-cycles file fails a rules run on a cyclespec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · resolves | declared | None | cycleFindings, findingsSeverity |
| verifies · incoming | The shipped address-resolution file fails a rules run on an address that names no entryspec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · resolves | declared | None | addressFindings, findingsSeverity |
impl:protocol.address-and-cycle-recipes · asserts realization of the shipped address resolution and dependency cycle recipes · test/recipes.test.ts:3568specs/consumers/agent-surface.address-and-cycle-recipes.chain-reports-nothing.sdp.mdspecs/consumers/agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run.sdp.mdspecs/consumers/agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run.sdp.mdtest/recipes.test.ts:3577oracle:protocol.consumers.agent-surface.address-and-cycle-recipes · test/reach-examples.test.ts:174Runtime observation: not tracked.
Run results: not recorded in the graph.
None.
Composing needs the script.