Spec Studio

Address resolution and dependency cycles stay executable graph recipes

spec:consumers.agent-surface.address-and-cycle-recipesUse Case / Behavior · storyready floor ready

Packs: 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.

Intent
problem
An adopter that cites entry addresses outside its Specs resolves each one with its own grammar, and a Spec can rest on itself through a dependsOn chain no one has traced.
outcome
Resolve a list of entry addresses and report every dependsOn cycle with catalog recipes, so neither is rebuilt by hand.
Behavior
rule line 28 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:28
Address resolution reads params.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:29
Address resolution follows the checked-mentions address grammar: a design 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:30
Dependency cycles take no parameter other than severity 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:31
Each reported set lists its members sorted by id in code-unit order and one cycle through it as a closed path that starts and ends at its first member. The cycle is the shortest such path, found by a breadth-first walk from the first member over targets in code-unit order and restricted to the set; a Spec that depends only on itself reports the path of that Spec twice. Sets are ordered by their first member, and the totals count the sets, the self-dependent Specs, and the Specs in any set.
rule line 32 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:32
Both recipes report their answers and never refuse an authored dependency cycle.
rule.addressFindings line 33 · specs/consumers/agent-surface.address-and-cycle-recipes.sdp.md:33
Address resolution answers with findings 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:34
Dependency cycles answers with findings 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:35
Both recipes take params.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:36
Apart from findings, 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.

Verifying examples

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: ""}

Open example

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"}

Open example

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"}

Open example

Example space

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}
Design
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
address resolution returns { totals, rows, findings } and dependency cycles returns { totals, cycles, findings }; each recipe's accepted names gain severity, after its existing ones.
Verification

Verifier bindings

  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · A dependency chain with no cycle yields no finding · declared · example enabled · specs/consumers/agent-surface.address-and-cycle-recipes.chain-reports-nothing.sdp.md

    External run evidence from test/reach-examples.test.ts

    Test 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.

    Run 1: external run evidence from vitest 4.1.10

    Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

    NameSuiteResultDuration
    gives every watch example the heavy-test timeoutnot recordedpassed2.43 ms
    leaves non-watch corpus-rule points and incomplete points unspecifiednot recordedpassed0.36 ms
    leaves address points outside the oracle's bound probes unspecifiednot recordedpassed0.17 ms
    executes the bound example against a fresh worldA body calls a shipped recipe and returns its answer unchanged (spec:consumers.agent-surface.evaluation-sink.recipe-call)passed21.85 ms
    executes the bound example against a fresh worldA call to a recipe the catalog does not hold fails the body (spec:consumers.agent-surface.evaluation-sink.unknown-recipe)passed3.48 ms
    executes the bound example against a fresh worldA script holding a graph runs a shipped recipe through the exported evaluator (spec:consumers.agent-surface.evaluation-sink.exported-evaluator)passed3.89 ms
    executes the bound example against a fresh worldA dependency chain with no cycle yields no finding (spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing)passed3.1 ms
    executes the bound example against a fresh worldThe shipped dependency-cycles file fails a rules run on a cycle (spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run)passed5.52 ms
    executes the bound example against a fresh worldThe 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)passed3.86 ms
    executes the bound example against a fresh worldRewriting a rules file under node_modules starts a cycle that runs the new body (spec:validation.corpus-rules.rules-edit-starts-a-cycle)passed16.19 ms
    executes the bound example against a fresh worldEditing a parameter file starts a cycle that reads the new parameters (spec:validation.corpus-rules.params-edit-starts-a-cycle)passed46.21 ms
    executes the bound example against a fresh worldA 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)passed103.81 ms
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · The shipped dependency-cycles file fails a rules run on a cycle · declared · example enabled · specs/consumers/agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run.sdp.md
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · The shipped address-resolution file fails a rules run on an address that names no entry · declared · example enabled · specs/consumers/agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run.sdp.md
  • test:protocol.address-and-cycle-recipes · recipe checks verify the address resolution and dependency cycle recipes · anchored · test anchor binding present · test/recipes.test.ts:3577

    External run evidence from test/recipes.test.ts

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

    Run 1: external run evidence from vitest 4.1.10

    Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

    NameSuiteResultDuration
    cites each recipe that a Spec names by number and heading under the catalog's numberthe agent-surface recipe corpuspassed213.54 ms
    pairs every documented recipe with exactly one fenced bodythe agent-surface recipe corpuspassed0.81 ms
    keeps self-hosting and adopter invocation forms distinctthe agent-surface recipe corpuspassed4.35 ms
    teaches parameters as data and keeps the on-ramps naming the CLI verbs and recipesthe agent-surface recipe corpuspassed3.84 ms
    keeps every body plain JavaScript with a returnthe agent-surface recipe corpuspassed5.18 ms
    runs every body through the front door without throwingthe agent-surface recipe corpuspassed4864.59 ms
    returns the non-example build backlog and audits excluded example evidencethe agent-surface recipe corpuspassed74.13 ms
    returns a drift alarm of code-bound specs below ready, with the floor namedthe agent-surface recipe corpuspassed63.42 ms
    returns one spec's guarantees with its relations and verifier bindingsthe agent-surface recipe corpuspassed26.84 ms
    keeps hostile changed filenames as inert JSON datathe agent-surface recipe corpuspassed40.2 ms
    returns the complete diff-to-at-risk bridgethe agent-surface recipe corpuspassed52.87 ms
    names a changed identity-only unit as unlinked, never coverage-unknown or droppedthe agent-surface recipe corpuspassed74.55 ms
    returns a pack's review backbone with its verifier gapsthe agent-surface recipe corpuspassed53.36 ms
    returns concept matches carrying the fields that matchedthe agent-surface recipe corpuspassed97.83 ms
    returns readiness divergence as an array, where empty is lawfulthe agent-surface recipe corpuspassed128.59 ms
    returns the warn-level signals as data rather than as a gatethe agent-surface recipe corpuspassed73.52 ms
    returns promotion preflight without conferring a readiness editthe agent-surface recipe corpuspassed32.89 ms
    names the next rung's unmet clause and the dependency that breaks it on a probethe agent-surface recipe corpuspassed3.63 ms
    keeps declared examples distinct from enabled verifier bindingsthe agent-surface recipe corpuspassed243.11 ms
    returns the complete non-ready ladder grouped by familythe agent-surface recipe corpuspassed85.21 ms
    distinguishes a passing current floor from a blocked or clear stated next rungthe agent-surface recipe corpuspassed1.73 ms
    returns every committed structural component with non-empty membershipthe agent-surface recipe corpuspassed57.07 ms
    returns exact component uses fan-in and fan-out from the structural oraclethe agent-surface recipe corpuspassed36.72 ms
    returns a component structural neighborhood and an exact absent shapethe agent-surface recipe corpuspassed57.12 ms
    reports census structural coverage from graph and report ground truththe agent-surface recipe corpuspassed32.63 ms
    reports graph-side upper bounds for every shipped projection rootthe agent-surface recipe corpuspassed35.68 ms
    returns the architecture map of every live component with recomputed fan-in and fan-outthe agent-surface recipe corpuspassed66.26 ms
    explains the shared policy and adapter collaborations from graph intent and binding claimsthe agent-surface recipe corpuspassed71.08 ms
    retains local uses and their claims without counting a component as its own dependencythe agent-surface recipe corpuspassed108.03 ms
    preserves an unresolved responsibility without inventing its designthe agent-surface recipe corpuspassed104.03 ms
    keeps a dangling component row and surfaces unresolved uses edgesthe agent-surface recipe corpuspassed94.74 ms
    preserves an unresolved architecture-map member when memberOf outlives the nodethe agent-surface recipe corpuspassed126.1 ms
    returns the decision map ranked by live shaping fan-inthe agent-surface recipe corpuspassed66.23 ms
    returns a planning-slice neighborhood and an exact absent shapethe agent-surface recipe corpuspassed109.75 ms
    returns non-empty bidirectional dependencies for the binding-grain planning slicethe agent-surface recipe corpuspassed50.88 ms
    returns planning-slice implementations, never abstractionsthe agent-surface recipe corpuspassed48.26 ms
    preserves an unresolved component row when memberOf outlives the nodethe agent-surface recipe corpuspassed115.85 ms
    reports derived design columns beside the existing backlog fieldsthe agent-surface recipe corpuspassed0.91 ms
    groups backlog rows under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed65.08 ms
    groups lower-ladder rows under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed50.37 ms
    groups decided subjects under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed44.22 ms
    lists key families across the corpus in key, Spec and section order with the documented sampleregister recipe semanticspassed91.93 ms
    lists Design and UI key families without a row cap, preserving values, lines and overlapping prefixesregister recipe semanticspassed9.14 ms
    diagnoses an unresolved Pack member without returning a partial registerregister recipe semanticspassed2.01 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":[]}register recipe semanticspassed40.51 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":[""]}register recipe semanticspassed39.18 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":["a","a"]}register recipe semanticspassed57.21 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":"limit"}register recipe semanticspassed44.46 ms
    diagnoses malformed key-family parameters without a register: {"pack":"pack:absent"}register recipe semanticspassed37.73 ms
    diagnoses malformed key-family parameters without a register: {"specs":["spec:absent"]}register recipe semanticspassed54.73 ms
    diagnoses malformed key-family parameters without a register: {"specs":"bad"}register recipe semanticspassed45.75 ms
    diagnoses malformed key-family parameters without a register: {"pack":"pack:self-hosting-v1","specs":[]}register recipe semanticspassed69.9 ms
    runs recipe 20 as written in default outputregister recipe semanticspassed102.17 ms
    runs recipe 21 as written in default outputregister recipe semanticspassed55.05 ms
    runs recipe 22 as written in default outputregister recipe semanticspassed91.83 ms
    runs recipe 23 as written in default outputregister recipe semanticspassed111.17 ms
    runs recipe 24 as written in default outputregister recipe semanticspassed78.19 ms
    runs recipe 25 as written in default outputregister recipe semanticspassed39.83 ms
    runs recipe 26 as written in default outputregister recipe semanticspassed35.69 ms
    runs recipe 27 as written in default outputregister recipe semanticspassed40.73 ms
    runs recipe 28 as written in default outputregister recipe semanticspassed28.53 ms
    runs recipe 29 as written in default outputregister recipe semanticspassed28.55 ms
    runs recipe 30 as written in default outputregister recipe semanticspassed113.58 ms
    runs recipe 31 as written in default outputregister recipe semanticspassed39.91 ms
    runs recipe 32 as written in default outputregister recipe semanticspassed27.27 ms
    renders long JSON values with the same default text bound as stringsregister recipe semanticspassed7.28 ms
    registers an omitted blocking flag through a TypeScript carrierregister recipe semanticspassed3.03 ms
    searches coined keys of every value shape through a TypeScript carrierregister recipe semanticspassed2.71 ms
    searches strings inside a matching coined list or object keyregister recipe semanticspassed2.2 ms
    searches a null coined-key value in the reader graphregister recipe semanticspassed1.75 ms
    keeps register counts under totals and top-level plural nouns as arraysregister recipe semanticspassed821.5 ms
    pins whole-token matching for 'retry' in 'entry' / 'retry'register recipe semanticspassed1.24 ms
    pins whole-token matching for 'retry' in 'entry' / 'retryable'register recipe semanticspassed0.4 ms
    pins whole-token matching for 'retry' in 'entry' / 'retry-worker'register recipe semanticspassed0.35 ms
    pins whole-token matching for 'retry' in 'retryWorker' / 'unrelated'register recipe semanticspassed0.32 ms
    pins whole-token matching for 'Retry' in 'entry' / 'RETRY.'register recipe semanticspassed0.32 ms
    pins whole-token matching for 'retry worker' in 'retryWorker' / 'retry-worker'register recipe semanticspassed0.33 ms
    pins whole-token matching for 'retry worker' in 'entry' / 'worker retry'register recipe semanticspassed0.36 ms
    pins whole-token matching for 'retry worker' in 'entry' / 'retry the worker'register recipe semanticspassed0.29 ms
    pins whole-token matching for 'server' in 'entry' / 'HTTPServer'register recipe semanticspassed0.43 ms
    pins whole-token matching for 'v' in 'entry' / 'v2'register recipe semanticspassed0.33 ms
    registers every authored question, blocking Specs firstregister recipe semanticspassed81.67 ms
    reports one-hop footing of all four types, including unresolved targetsregister recipe semanticspassed116.61 ms
    audits mention pairs, skips fences, and preserves full ids and directionregister recipe semanticspassed1.37 ms
    resolves entry mentions and retains every token and pair location through a probe rootregister recipe semanticspassed8.35 ms
    reads the whole mention token through an underscore as malformed, never the existing prefixregister recipe semanticspassed0.8 ms
    reads the whole mention token through a slash as malformed, never the existing prefixregister recipe semanticspassed0.5 ms
    reads the whole mention token through a comma as malformed, never the existing prefixregister recipe semanticspassed9.19 ms
    reads the whole mention token through an underscore and a letter as malformed, never the existing prefixregister recipe semanticspassed0.75 ms
    reads the whole mention token through a slash and a letter as malformed, never the existing prefixregister recipe semanticspassed0.49 ms
    reads the whole mention token through a comma and a letter as malformed, never the existing prefixregister recipe semanticspassed0.48 ms
    reads the whole mention token through a letter outside ASCII as malformed, never the existing prefixregister recipe semanticspassed0.48 ms
    reads the whole mention token through an escaped underscore as malformed, never the existing prefixregister recipe semanticspassed3.54 ms
    reads the whole mention token through a combining mark as malformed, never the existing prefixregister recipe semanticspassed0.6 ms
    reads the whole mention token through a combining mark after an entry key as malformed, never the existing prefixregister recipe semanticspassed0.54 ms
    reads the whole mention token through a zero-width space as malformed, never the existing prefixregister recipe semanticspassed0.45 ms
    reads the whole mention token through fullwidth connector punctuation as malformed, never the existing prefixregister recipe semanticspassed0.45 ms
    reads the whole mention token through a NUL as malformed, never the existing prefixregister recipe semanticspassed0.42 ms
    reads the whole mention token through an escape character as malformed, never the existing prefixregister recipe semanticspassed3.48 ms
    reads the whole mention token through a delete character as malformed, never the existing prefixregister recipe semanticspassed0.57 ms
    reads the whole mention token through a C1 control character as malformed, never the existing prefixregister recipe semanticspassed0.47 ms
    reads the whole mention token through a hyphenated entry key as malformed, never the existing prefixregister recipe semanticspassed0.44 ms
    reads the whole mention token through an entry suffix with no key as malformed, never the existing prefixregister recipe semanticspassed0.47 ms
    reads the whole mention token through an entry suffix outside design and ui as malformed, never the existing prefixregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: a sentence dotregister recipe semanticspassed3.84 ms
    reads the clean id through Markdown punctuation: a commaregister recipe semanticspassed0.64 ms
    reads the clean id through Markdown punctuation: a colonregister recipe semanticspassed0.49 ms
    reads the clean id through Markdown punctuation: a closing parenthesisregister recipe semanticspassed0.51 ms
    reads the clean id through Markdown punctuation: boldregister recipe semanticspassed0.49 ms
    reads the clean id through Markdown punctuation: emphasisregister recipe semanticspassed0.46 ms
    reads the clean id through Markdown punctuation: strikethroughregister recipe semanticspassed0.43 ms
    reads the clean id through Markdown punctuation: backticksregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: ASCII double quotesregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: ASCII single quotesregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: typographic double quotesregister recipe semanticspassed0.83 ms
    reads the clean id through Markdown punctuation: typographic single quotesregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: an em dashregister recipe semanticspassed0.38 ms
    reads the clean id through Markdown punctuation: an en dashregister recipe semanticspassed0.36 ms
    reads the clean id through Markdown punctuation: an ellipsisregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: an escaped starregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: an escaped exclamation markregister recipe semanticspassed0.47 ms
    reads the clean id through Markdown punctuation: U+0085register recipe semanticspassed0.42 ms
    reads the clean id through Markdown punctuation: a no-break spaceregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: a tabregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: an arrowregister recipe semanticspassed0.48 ms
    reads a placeholder or a bare prefix as prose, not a mentionregister recipe semanticspassed0.45 ms
    scans nested arrays in examples while skipping object fences by positionregister recipe semanticspassed3.07 ms
    addresses only lawful Design and UI entry keys in search resultsregister recipe semanticspassed1.09 ms
    scopes mentions by the mentioning Spec onlyregister recipe semanticspassed3.21 ms
    reports malformed open questions without counting them: "one question"register recipe semanticspassed2.52 ms
    reports malformed open questions without counting them: {}register recipe semanticspassed0.29 ms
    reports malformed open questions without counting them: 42register recipe semanticspassed0.26 ms
    reports malformed open questions without counting them: {"blocking":true}register recipe semanticspassed0.26 ms
    reports malformed open questions without counting them: nullregister recipe semanticspassed0.21 ms
    reports malformed open questions without counting them: ""register recipe semanticspassed0.23 ms
    reports malformed open questions without counting them: {"question":"valid","blocking":"yes"}register recipe semanticspassed0.22 ms
    reports malformed open questions without counting them: {"question":"valid","blocking":null}register recipe semanticspassed0.28 ms
    reports malformed open questions without counting them: {"question":"valid"}register recipe semanticspassed0.34 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":"AggregateReach"}register recipe semanticspassed0.5 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":"aggregate-reach"}register recipe semanticspassed0.3 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":""}register recipe semanticspassed0.29 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":7}register recipe semanticspassed0.26 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":null}register recipe semanticspassed0.29 ms
    reports an off-grammar question key as malformed: {"question":"valid","blocking":true}register recipe semanticspassed0.29 ms
    searches whole tokens, coined keys, narrative and fence stepsregister recipe semanticspassed9.63 ms
    lists every pinned declaration this corpus holdsregister recipe semanticspassed212.89 ms
    reads spans of any run length and skips every entry that pins nothingregister recipe semanticspassed7.15 ms
    resolves the catalog's addresses on this corpus as writtenaddress resolution and dependency cyclespassed75.33 ms
    reports this corpus's dependency cycles as an independent reachability check finds themaddress resolution and dependency cyclespassed82.92 ms
    reports the probe's one set and one self-dependent Spec, and nothing for a Spec that only reaches a setaddress resolution and dependency cyclespassed6.38 ms
    reports a self-loop inside a larger set only with that setaddress resolution and dependency cyclespassed3.61 ms
    walks targets in code-unit order, so of two tied shortest cycles the first target's is reportedaddress resolution and dependency cyclespassed2.43 ms
    walks a chain of 10,000 Specs and one cycle of 5,000 without recursingaddress resolution and dependency cyclespassed211.99 ms
    resolves an inherited property name only where the Spec authors it as a keyaddress resolution and dependency cyclespassed4.43 ms
    resolves the design's probe addresses with one row and one reason eachaddress resolution and dependency cyclespassed3.17 ms
    resolves a keyed question, refuses description in Design and UI, and keeps repeatsaddress resolution and dependency cyclespassed9.75 ms
    registers a keyed question with its key and an unkeyed one with a null keyaddress resolution and dependency cyclespassed3.09 ms
    audits a question address against the target's open question keysaddress resolution and dependency cyclespassed2.01 ms
    addresses a keyed question's text and matches its key, never the key as a rowaddress resolution and dependency cyclespassed6.51 ms
    returns one row per Studio member with four independent factsdesign references and the architecture taxonomypassed151.01 ms
    lists a referencing unit beside the realizing units without conferring implementeddesign references and the architecture taxonomypassed177.28 ms
    lists the reader beside each Studio member that depends on it, with its realizing unitsdesign references and the architecture taxonomypassed58.06 ms
    derives builds-on from the member's relations without conferring a fact on itdesign references and the architecture taxonomypassed184.39 ms
    returns the role, layer, and context taxonomy from the code units alonedesign references and the architecture taxonomypassed41.05 ms
    counts references as edges apart from the units that carry themdesign references and the architecture taxonomypassed86.84 ms
    creates each taxonomy bucket once, however many units share the valuedesign references and the architecture taxonomypassed76.57 ms
    declares and checks only its indexed parameter names first: 1recipe parameters and the shipped recipe filespassed0.79 ms
    declares and checks only its indexed parameter names first: 2recipe parameters and the shipped recipe filespassed0.48 ms
    declares and checks only its indexed parameter names first: 3recipe parameters and the shipped recipe filespassed0.45 ms
    declares and checks only its indexed parameter names first: 4recipe parameters and the shipped recipe filespassed0.46 ms
    declares and checks only its indexed parameter names first: 5recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 6recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 7recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 8recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 9recipe parameters and the shipped recipe filespassed0.48 ms
    declares and checks only its indexed parameter names first: 10recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 11recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 12recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 13recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 14recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 15recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 16recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 17recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 18recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 19recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 20recipe parameters and the shipped recipe filespassed0.35 ms
    declares and checks only its indexed parameter names first: 21recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 22recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 23recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 24recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 25recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 26recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 27recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 28recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 29recipe parameters and the shipped recipe filespassed0.43 ms
    declares and checks only its indexed parameter names first: 30recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 31recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 32recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 33recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 34recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 35recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 36recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 37recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 38recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 39recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 40recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 41recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 42recipe parameters and the shipped recipe filespassed0.54 ms
    declares and checks only its indexed parameter names first: 43recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 44recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 45recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 46recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 47recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 48recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 49recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 50recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 51recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 52recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 53recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 54recipe parameters and the shipped recipe filespassed0.47 ms
    declares and checks only its indexed parameter names first: 55recipe parameters and the shipped recipe filespassed0.42 ms
    returns only the unknown-name answer before reading recipe inputs: 1recipe parameters and the shipped recipe filespassed51.01 ms
    returns only the unknown-name answer before reading recipe inputs: 2recipe parameters and the shipped recipe filespassed52.58 ms
    returns only the unknown-name answer before reading recipe inputs: 3recipe parameters and the shipped recipe filespassed100.63 ms
    returns only the unknown-name answer before reading recipe inputs: 4recipe parameters and the shipped recipe filespassed91.08 ms
    returns only the unknown-name answer before reading recipe inputs: 5recipe parameters and the shipped recipe filespassed47.65 ms
    returns only the unknown-name answer before reading recipe inputs: 6recipe parameters and the shipped recipe filespassed43.57 ms
    returns only the unknown-name answer before reading recipe inputs: 7recipe parameters and the shipped recipe filespassed58.12 ms
    returns only the unknown-name answer before reading recipe inputs: 8recipe parameters and the shipped recipe filespassed51.43 ms
    returns only the unknown-name answer before reading recipe inputs: 9recipe parameters and the shipped recipe filespassed39.48 ms
    returns only the unknown-name answer before reading recipe inputs: 10recipe parameters and the shipped recipe filespassed39.28 ms
    returns only the unknown-name answer before reading recipe inputs: 11recipe parameters and the shipped recipe filespassed38.46 ms
    returns only the unknown-name answer before reading recipe inputs: 12recipe parameters and the shipped recipe filespassed35.14 ms
    returns only the unknown-name answer before reading recipe inputs: 13recipe parameters and the shipped recipe filespassed30.1 ms
    returns only the unknown-name answer before reading recipe inputs: 14recipe parameters and the shipped recipe filespassed24.97 ms
    returns only the unknown-name answer before reading recipe inputs: 15recipe parameters and the shipped recipe filespassed49.06 ms
    returns only the unknown-name answer before reading recipe inputs: 16recipe parameters and the shipped recipe filespassed34.98 ms
    returns only the unknown-name answer before reading recipe inputs: 17recipe parameters and the shipped recipe filespassed40.63 ms
    returns only the unknown-name answer before reading recipe inputs: 18recipe parameters and the shipped recipe filespassed47.48 ms
    returns only the unknown-name answer before reading recipe inputs: 19recipe parameters and the shipped recipe filespassed32.12 ms
    returns only the unknown-name answer before reading recipe inputs: 20recipe parameters and the shipped recipe filespassed29.38 ms
    returns only the unknown-name answer before reading recipe inputs: 21recipe parameters and the shipped recipe filespassed35.4 ms
    returns only the unknown-name answer before reading recipe inputs: 22recipe parameters and the shipped recipe filespassed35.22 ms
    returns only the unknown-name answer before reading recipe inputs: 23recipe parameters and the shipped recipe filespassed30.44 ms
    returns only the unknown-name answer before reading recipe inputs: 24recipe parameters and the shipped recipe filespassed44.73 ms
    returns only the unknown-name answer before reading recipe inputs: 25recipe parameters and the shipped recipe filespassed35.84 ms
    returns only the unknown-name answer before reading recipe inputs: 26recipe parameters and the shipped recipe filespassed35.92 ms
    returns only the unknown-name answer before reading recipe inputs: 27recipe parameters and the shipped recipe filespassed37.36 ms
    returns only the unknown-name answer before reading recipe inputs: 28recipe parameters and the shipped recipe filespassed34.43 ms
    returns only the unknown-name answer before reading recipe inputs: 29recipe parameters and the shipped recipe filespassed37.29 ms
    returns only the unknown-name answer before reading recipe inputs: 30recipe parameters and the shipped recipe filespassed34.53 ms
    returns only the unknown-name answer before reading recipe inputs: 31recipe parameters and the shipped recipe filespassed37.03 ms
    returns only the unknown-name answer before reading recipe inputs: 32recipe parameters and the shipped recipe filespassed36.83 ms
    returns only the unknown-name answer before reading recipe inputs: 33recipe parameters and the shipped recipe filespassed32.3 ms
    returns only the unknown-name answer before reading recipe inputs: 34recipe parameters and the shipped recipe filespassed35.47 ms
    returns only the unknown-name answer before reading recipe inputs: 35recipe parameters and the shipped recipe filespassed29.61 ms
    returns only the unknown-name answer before reading recipe inputs: 36recipe parameters and the shipped recipe filespassed24.05 ms
    returns only the unknown-name answer before reading recipe inputs: 37recipe parameters and the shipped recipe filespassed26.88 ms
    returns only the unknown-name answer before reading recipe inputs: 38recipe parameters and the shipped recipe filespassed27.56 ms
    returns only the unknown-name answer before reading recipe inputs: 39recipe parameters and the shipped recipe filespassed36.86 ms
    returns only the unknown-name answer before reading recipe inputs: 40recipe parameters and the shipped recipe filespassed35.16 ms
    returns only the unknown-name answer before reading recipe inputs: 41recipe parameters and the shipped recipe filespassed37.01 ms
    returns only the unknown-name answer before reading recipe inputs: 42recipe parameters and the shipped recipe filespassed35.48 ms
    returns only the unknown-name answer before reading recipe inputs: 43recipe parameters and the shipped recipe filespassed37.25 ms
    returns only the unknown-name answer before reading recipe inputs: 44recipe parameters and the shipped recipe filespassed33.94 ms
    returns only the unknown-name answer before reading recipe inputs: 45recipe parameters and the shipped recipe filespassed36.1 ms
    returns only the unknown-name answer before reading recipe inputs: 46recipe parameters and the shipped recipe filespassed35.61 ms
    returns only the unknown-name answer before reading recipe inputs: 47recipe parameters and the shipped recipe filespassed36.31 ms
    returns only the unknown-name answer before reading recipe inputs: 48recipe parameters and the shipped recipe filespassed37.58 ms
    returns only the unknown-name answer before reading recipe inputs: 49recipe parameters and the shipped recipe filespassed35.48 ms
    returns only the unknown-name answer before reading recipe inputs: 50recipe parameters and the shipped recipe filespassed53.29 ms
    returns only the unknown-name answer before reading recipe inputs: 51recipe parameters and the shipped recipe filespassed27.25 ms
    returns only the unknown-name answer before reading recipe inputs: 52recipe parameters and the shipped recipe filespassed36.52 ms
    returns only the unknown-name answer before reading recipe inputs: 53recipe parameters and the shipped recipe filespassed38.97 ms
    returns only the unknown-name answer before reading recipe inputs: 54recipe parameters and the shipped recipe filespassed36.76 ms
    returns only the unknown-name answer before reading recipe inputs: 55recipe parameters and the shipped recipe filespassed36.94 ms
    diagnoses wrong subject names, mixed known names and ordered unknown names through shipped bodiesrecipe parameters and the shipped recipe filespassed104.45 ms
    reads and names each parameter, with a fallback only when the contract supplies onerecipe parameters and the shipped recipe filespassed8.38 ms
    ships every catalog body as dist/recipes/NN-slug.js, byte for byterecipe parameters and the shipped recipe filespassed8.03 ms
    runs every shipped file, read whole, to the answer its catalog body givesrecipe parameters and the shipped recipe filespassed6717.44 ms
    refuses a catalog whose bodies and headings do not pair, rather than guess a file namerecipe parameters and the shipped recipe filespassed1.71 ms
    reads a CRLF catalog as its LF bodies, and refuses a catalog with no recipe before publishingrecipe parameters and the shipped recipe filespassed17.69 ms
    removes only completed recipe files the catalog no longer owes, never another run's temporary filerecipe parameters and the shipped recipe filespassed0.66 ms
    passes recipe 4 its changed files from a file named with @PATHrecipe parameters and the shipped recipe filespassed44.98 ms
    resolves the addresses recipe 25 receives as datarecipe parameters and the shipped recipe filespassed58.78 ms
    reads the Pack the Pack recipes review from params.packrecipe parameters and the shipped recipe filespassed205.22 ms
    returns the Pack design of every corpus Pack as the raw graph states itdesign recipespassed749.92 ms
    returns the probe Pack's design exactly, member by memberdesign recipespassed9.73 ms
    reaches every Spec resting on the corpus sample, by a shortest path of real edgesdesign recipespassed342.59 ms
    walks a dependency chain inbound only, once per Spec, and keeps a reference apartdesign recipespassed1.76 ms
    registers every corpus decision with its supersession, subjects and keyed questionsdesign recipespassed71.82 ms
    registers a supersedes pair both ways and a decision that shapes nothingdesign recipespassed1.4 ms
    carries a relation's reason beside the relation in recipes 3, 19, 21 and 31design recipespassed1.56 ms
    registers narrowing decisions both ways and excludes refinement by other kindsdesign recipespassed0.55 ms
    keeps the decoder in reader without adding crossings against the lawful notation alternativedesign recipespassed125.17 ms
    reports the corpus's architecture crossings as the raw edges state themdesign recipespassed70.26 ms
    names a crossing of two contexts and of two layers, and skips what cannot crossdesign recipespassed0.79 ms
    resolves every keyed corpus entry to its value and the line the location table recordsentry lines in entry search and address resolutionpassed179.39 ms
    gives each corpus entry-search row the line of a located entry and null otherwiseentry lines in entry search and address resolutionpassed173.89 ms
    never gives a nested entry the line of a literal top-level key its path spellsentry lines in entry search and address resolutionpassed3.85 ms
    counts a verifying Spec of another kind as a verifier, never as an example, in the Pack designentry lines in entry search and address resolutionpassed2.27 ms
    gives a string-form open question the line its question[n] row records, as the object formentry lines in entry search and address resolutionpassed2.46 ms
    counts equal layers and contexts between distinct components even without crossingsanswers that fitpassed0.36 ms
    returns guarantee entries and complete unit and verifier locations from contextanswers that fitpassed4.73 ms
    reports directions relative to an impacted Packanswers that fitpassed0.74 ms
    indexes exactly the present recipes with names, parameters and usesanswers that fitpassed3.7 ms
    runs a shipped body wrapped inside a caller's filteranswers that fitpassed98.75 ms
    keeps impact totals and puts both edge directions in the summaryanswers that fitpassed2.43 ms
    keeps the reader's Pack value in summary, full and selected-member answersanswers that fitpassed11.46 ms
    reports both next rungs when the stated rung is below the flooranswers that fitpassed0.56 ms
    reports no next rung at readyanswers that fitpassed37.39 ms
    reports gap exemptions and every omitted warning beyond the first 25answers that fitpassed1.41 ms
    lists only defined unimplemented designs and keeps exclusions and referencesanswers that fitpassed0.88 ms
    registers fields and counts deferrals apart from design holdsauthoring grammar recipespassed3.39 ms
    lists intended mentions apart and preserves the validator's warningsauthoring grammar recipespassed8.29 ms
    matches rule keys beside their text without searching the derived mapauthoring grammar recipespassed2.45 ms
    locates unkeyed rule text and question field textauthoring grammar recipespassed3.44 ms
    resolves rule addresses and preserves every parsed part of a missauthoring grammar recipespassed2.85 ms
    counts rule coverage from bound examples and reports unbound intent beside itauthoring grammar recipespassed4.82 ms
    reports missing rule-coverage scopes and accepts a scope with no rulesauthoring grammar recipespassed2.94 ms
    runs the catalog body in the evaluator without a module loaderentry citations recipepassed0.74 ms
    orders a declaration's citing files and lines independently of input orderentry citations recipepassed0.54 ms
    joins declarations and other cited entries, including uncited declarationsentry citations recipepassed0.69 ms
    includes absent Specs and malformed tokens only in the corpus unresolved listentry citations recipepassed1.07 ms
    returns diagnostics without findings for {"pack":"pack:missing"}entry citations recipepassed0.69 ms
    returns diagnostics without findings for {"specs":["spec:missing"]}entry citations recipepassed0.42 ms
    returns diagnostics without findings for {"specs":"spec:probe.cited"}entry citations recipepassed0.32 ms
    returns diagnostics without findings for {"pack":"pack:probe.citations","specs":[]}entry citations recipepassed0.36 ms
    returns diagnostics without findings for {"severity":"fatal"}entry citations recipepassed0.34 ms
    returns diagnostics without findings for {"severity":null}entry citations recipepassed0.75 ms
    reads an absent table as empty, and accepts an empty Spec scopeentry citations recipepassed0.64 ms
    adds recorded component fields, references, member roles and exact crossing-use countsStudio architecture and example-space recipe additionspassed97.49 ms
    runs shipped recipe 44 over every decoded space and refuses bad scopesStudio architecture and example-space recipe additionspassed407.84 ms
    runs recipe 45 as shipped and reports missing and malformed CTRF metadatanot recordedpassed535.5 ms
    recipe 49 renders the panel memo from its catalog body and refuses a malformed documentnot recordedpassed69.85 ms
    reports text-preserving rule and flow key changes apart from rewordingnot recordedpassed6.76 ms
    preserves a removed keyed rule address beside new unkeyed textnot recordedpassed1.93 ms
    preserves a removed keyed flow address beside new unkeyed textnot recordedpassed1.67 ms
    distinguishes removed unkeyed rule base positions from head positionsnot recordedpassed2.38 ms
    distinguishes removed unkeyed flow base positions from head positionsnot recordedpassed1.8 ms
    retains every diamond edge and intermediate node while counting each descendant oncethe capability map recipepassed0.87 ms
    returns summary/full parity with explicit omissions for scope {}the capability map recipepassed1.4 ms
    returns summary/full parity with explicit omissions for scope {"epic":"spec:probe.epic"}the capability map recipepassed1 ms
    normalizes prose and unflagged questions while preserving authored indicesthe capability map recipepassed0.35 ms
    retains null titles in serialized node and epic rows when a title degradesthe capability map recipepassed0.6 ms
    reports a self-refining epic as a cycle without making it its own parent epicthe capability map recipepassed0.3 ms
    uses the outside unreached parent as root rather than its child cycle groupthe capability map recipepassed0.42 ms
    selects an epic of kind behavior without changing its kindthe capability map recipepassed0.4 ms
    selects an epic of kind workflow without changing its kindthe capability map recipepassed0.24 ms
    selects an epic of kind example without changing its kindthe capability map recipepassed0.22 ms
    selects an epic of kind rule without changing its kindthe capability map recipepassed0.2 ms
    selects an epic of kind constraint without changing its kindthe capability map recipepassed0.18 ms
    selects an epic of kind model without changing its kindthe capability map recipepassed0.18 ms
    selects an epic of kind decision without changing its kindthe capability map recipepassed0.19 ms
    selects an epic of kind contract without changing its kindthe capability map recipepassed0.2 ms
    reads node evidence and ordered questions directly, including examples and decisions as parentsthe capability map recipepassed0.66 ms
    represents a missing floor as none and keeps the epic's evidence outside its rollupthe capability map recipepassed0.42 ms
    counts stated rungs separately from reached floors without lending a bound example's facts to its epicthe capability map recipepassed0.89 ms
    keeps nested and overlapping memberships and outside parents when selecting one epicthe capability map recipepassed1.07 ms
    traverses only declared refinement and never infers ancestry from other graph structurethe capability map recipepassed0.56 ms
    reports cycles, self-links and unresolved or non-Spec endpoints separately from parameter failuresthe capability map recipepassed0.65 ms
    limits damage to edges touching a selected epic scope and terminates reached cyclesthe capability map recipepassed0.44 ms
    keeps overlapping unreached root scopes unique and exposes an empty corpusthe capability map recipepassed0.52 ms
    refuses invalid parameters without a map: { epic: null }the capability map recipepassed0.24 ms
    refuses invalid parameters without a map: { epic: 1 }the capability map recipepassed0.14 ms
    refuses invalid parameters without a map: { epic: [] }the capability map recipepassed0.1 ms
    refuses invalid parameters without a map: { epic: 'spec:probe.absent' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 'spec:probe.plain' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 'impl:probe.non-spec' }the capability map recipepassed0.11 ms
    refuses invalid parameters without a map: { detail: 'true' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { detail: 1 }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { detail: null }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 1, detail: 'x' }the capability map recipepassed0.16 ms
    checks unknown names before known valuesthe capability map recipepassed0.15 ms
    answers deterministically in code-unit id order even when graph arrays are reversedthe capability map recipepassed1.41 ms
    reaches every Spec from the intended epic owners while preserving kinds and overlapping refinementthe Protocol's capability epicspassed196.63 ms
    keeps refinement and dependency from spec:extraction.build-pipeline to spec:extraction.derive-graphthe Protocol's capability epicspassed3.01 ms
    keeps refinement and dependency from spec:validation.corpus-rules to spec:consumers.agent-surfacethe Protocol's capability epicspassed4.22 ms
    keeps refinement and dependency from spec:validation.architecture-constraints to spec:validation.corpus-rulesthe Protocol's capability epicspassed3.84 ms
    keeps refinement and dependency from spec:validation.external-registers to spec:validation.corpus-rulesthe Protocol's capability epicspassed1.69 ms
    keeps every ready statement at the ready floor and leaves the drift alarm emptythe Protocol's capability epicspassed63.69 ms
    runs the catalog body over the arc Pack through the CLI and keeps its summary totalsthe shipped design slicepassed322.71 ms
    runs the roadmap and its memo from the catalog over a named Packnot recordedpassed372.97 ms
    pins the adopter roadmap and its forward memo over the worked examplenot recordedpassed38.84 ms

Example space

  • 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}

Bound points

Examplecorpusaddressesrecipeinvocation
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

Coverage

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

Unbound

  • corpus: None
  • addresses: None
  • recipe: None
  • invocation: None
Design view

Requirement drawing

Requirement drawing for spec:consumers.agent-surface.address-and-cycle-recipes
The diagram as text
  • spec:consumers.agent-surface.address-and-cycle-recipes: Address resolution and dependency cycles stay executable graph recipes · declared Spec
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing: A dependency chain with no cycle yields no finding · declared Spec
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run: The shipped dependency-cycles file fails a rules run on a cycle · declared Spec
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run: The shipped address-resolution file fails a rules run on an address that names no entry · declared Spec
  • spec:consumers.agent-surface.register-recipes: Register questions stay executable graph recipes · declared Spec
  • spec:validation.corpus-rules: Corpus-authored rules run on the one validation path · declared Spec
  • impl:protocol.address-and-cycle-recipes: asserts realization of the shipped address resolution and dependency cycle recipes · anchored code · test/recipes.test.ts:3568
  • oracle:protocol.consumers.agent-surface.address-and-cycle-recipes: oracle:protocol.consumers.agent-surface.address-and-cycle-recipes · anchored oracle binding · test/reach-examples.test.ts:174
  • test:protocol.address-and-cycle-recipes: recipe checks verify the address resolution and dependency cycle recipes · anchored test binding · binding present · test/recipes.test.ts:3577
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing: test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · anchored test binding · binding present · test/reach-examples.test.ts:422
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run: test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · anchored test binding · binding present · test/reach-examples.test.ts:430
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run: test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · anchored test binding · binding present · test/reach-examples.test.ts:438
  • spec:consumers.agent-surface.address-and-cycle-recipes refines spec:consumers.agent-surface.register-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run verifies spec:validation.corpus-rules · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run verifies spec:validation.corpus-rules · declared
  • impl:protocol.address-and-cycle-recipes satisfies spec:consumers.agent-surface.address-and-cycle-recipes · anchored
  • oracle:protocol.consumers.agent-surface.address-and-cycle-recipes models spec:consumers.agent-surface.address-and-cycle-recipes · anchored
  • test:protocol.address-and-cycle-recipes verifies spec:consumers.agent-surface.address-and-cycle-recipes · anchored
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing verifies spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · anchored
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · anchored
  • test:protocol.consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run · anchored
Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: requirementDiagram. Chosen syntax: flowchart TB because models, folds require exact labels unavailable in requirement syntax.

Decisions

No decision record named.

Runtime
  • impl:protocol.address-and-cycle-recipes · asserts realization of the shipped address resolution and dependency cycle recipes · test/recipes.test.ts:3568

    Uses

    None.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact
Relations of spec:consumers.agent-surface.address-and-cycle-recipes
Relations of spec:consumers.agent-surface.address-and-cycle-recipesdependsOn · declaredrefines · declaredrefines · declaredverifies · declaredrefines · declaredverifies · declaredrefines · declaredverifies · declareddependsOn · declareddependsOn · declaredOutgoing refinesspec:consumers.agent-surface.register-recipesRegister questions stayexecutable graph recipes…agent-surface.register-recipesOutgoing dependsOnspec:consumers.agent-surface.address-and-cycle-recipes.fold.Outgoing.dependsOn4 Outgoing dependsOn, folded…agent-surface.address-and-cycle-recipes.fold.Outgoing.dependsOnSubjectspec:consumers.agent-surface.address-and-cycle-recipesAddress resolution anddependency cycles stayexecutable graph recipes…agent-surface.address-and-cycle-recipesIncoming refinesspec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothingA dependency chain with nocycle yields no finding…agent-surface.address-and-cycle-recipes.chain-reports-nothingspec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-runThe shippeddependency-cycles filefails a rules run on a cycle…agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-runspec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-runThe shippedaddress-resolution filefails a rules run on anaddress that names no entry…agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-runIncoming dependsOnspec:consumers.intent-composition.proposalA change proposal isaddressed, based andchecked before it lands…intent-composition.proposalspec:consumers.readiness-plannerThe readiness plannerorders the statements aperson can make…readiness-planner
The diagram as text
  • spec:consumers.agent-surface.address-and-cycle-recipes: Address resolution and dependency cycles stay executable graph recipes
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing: A dependency chain with no cycle yields no finding
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run: The shipped dependency-cycles file fails a rules run on a cycle
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run: The shipped address-resolution file fails a rules run on an address that names no entry
  • spec:consumers.agent-surface.recipe-parameters: Recipes take parameters as data and ship as runnable files
  • spec:consumers.agent-surface.register-recipes: Register questions stay executable graph recipes
  • spec:consumers.intent-composition.proposal: A change proposal is addressed, based and checked before it lands
  • spec:consumers.readiness-planner: The readiness planner orders the statements a person can make
  • spec:decisions.checked-mentions: A Spec id written in prose is a checked mention
  • spec:model.rule-keys: A rule or flow entry may carry a key that addresses it
  • spec:model.term-addresses: A Model term may carry a key that addresses it
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:consumers.agent-surface.recipe-parameters · declared — address resolution reads its addresses from params
  • spec:consumers.agent-surface.address-and-cycle-recipes dependsOn spec:decisions.checked-mentions · 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.address-and-cycle-recipes dependsOn spec:model.term-addresses · declared — a term address resolves through the Spec's term keys
  • spec:consumers.agent-surface.address-and-cycle-recipes refines spec:consumers.agent-surface.register-recipes · declared
  • spec:consumers.intent-composition.proposal dependsOn spec:consumers.agent-surface.address-and-cycle-recipes · declared — the check resolves entry-address scopes through address resolution
  • spec:consumers.readiness-planner dependsOn spec:consumers.agent-surface.address-and-cycle-recipes · declared — a cycle among waiting Specs reports in the shape dependency cycles reports
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run refines spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
  • spec:consumers.agent-surface.address-and-cycle-recipes.unresolved-address-fails-a-rules-run verifies spec:consumers.agent-surface.address-and-cycle-recipes · declared
Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Relations

Relation and directionOther endClaimReasonExercised keys
dependsOn · outgoingRecipes take parameters as data and ship as runnable files
spec:consumers.agent-surface.recipe-parameters · resolves
declaredaddress resolution reads its addresses from paramsNone
dependsOn · outgoingA Spec id written in prose is a checked mention
spec:decisions.checked-mentions · resolves
declaredNoneNone
dependsOn · outgoingA rule or flow entry may carry a key that addresses it
spec:model.rule-keys · resolves
declareda rule address resolves through the Spec's rule keysNone
dependsOn · outgoingA Model term may carry a key that addresses it
spec:model.term-addresses · resolves
declareda term address resolves through the Spec's term keysNone
refines · outgoingRegister questions stay executable graph recipes
spec:consumers.agent-surface.register-recipes · resolves
declaredNoneNone
dependsOn · incomingA change proposal is addressed, based and checked before it lands
spec:consumers.intent-composition.proposal · resolves
declaredthe check resolves entry-address scopes through address resolutionNone
dependsOn · incomingThe readiness planner orders the statements a person can make
spec:consumers.readiness-planner · resolves
declareda cycle among waiting Specs reports in the shape dependency cycles reportsNone
refines · incomingA dependency chain with no cycle yields no finding
spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · resolves
declaredNoneNone
refines · incomingThe shipped dependency-cycles file fails a rules run on a cycle
spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · resolves
declaredNoneNone
refines · incomingThe 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 · resolves
declaredNoneNone
verifies · incomingA dependency chain with no cycle yields no finding
spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · resolves
declaredNonecycleFindings, answersUnchanged
verifies · incomingThe shipped dependency-cycles file fails a rules run on a cycle
spec:consumers.agent-surface.address-and-cycle-recipes.cycle-fails-a-rules-run · resolves
declaredNonecycleFindings, findingsSeverity
verifies · incomingThe 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 · resolves
declaredNoneaddressFindings, findingsSeverity

Bindings

Implementation binding: present

  • impl:protocol.address-and-cycle-recipes · asserts realization of the shipped address resolution and dependency cycle recipes · test/recipes.test.ts:3568

Design reference: none

Verifier binding: present

Expected-outcome oracle: present

  • oracle:protocol.consumers.agent-surface.address-and-cycle-recipes · test/reach-examples.test.ts:174

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.