outcomesdp q over a chain, which reports no set and carries no finding.A dependency chain with no cycle yields no finding
spec:consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothingPacks: pack:adopter-speed-v1, pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/agent-surface.address-and-cycle-recipes.chain-reports-nothing.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
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.
Intent
- Execute the cycle findings through
assumptions- The world writes the probe corpus of the unresolved-address example and runs
sdp q --jsonon its root with the text ofdist/recipes/26-dependency-cycles.jsas the body and no--params, which the addressesnonenames. It reads the exit code, the answer'sfindingsand the answer's keys, which aretotals,cyclesandfindings.
- The world writes the probe corpus of the unresolved-address example and runs
Behavior
Examples
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: ""}Verification
Verifier bindings
- test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · anchored · test anchor binding present ·
test/reach-examples.test.ts:422External run evidence from
test/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.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
Name Suite Result Duration gives every watch example the heavy-test timeout not recorded passed 2.43 ms leaves non-watch corpus-rule points and incomplete points unspecified not recorded passed 0.36 ms leaves address points outside the oracle's bound probes unspecified not recorded passed 0.17 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 21.85 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 3.48 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 3.89 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.1 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.52 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.86 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 16.19 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 46.21 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 103.81 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- 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: Address resolution and dependency cycles stay executable graph recipes · declared Spec
- 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 - 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
- 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
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.
Decisions
No decision record named.
Runtime
No implementation neighborhood recorded.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
- E2: verifies · declared
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.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
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
Rests on
- refines · spec:consumers.agent-surface.address-and-cycle-recipes · stated ready, floor ready
Rested on by
No Spec rests on this Spec.
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | Address resolution and dependency cycles stay executable graph recipesspec:consumers.agent-surface.address-and-cycle-recipes · resolves | declared | None | None |
| verifies · outgoing | Address resolution and dependency cycles stay executable graph recipesspec:consumers.agent-surface.address-and-cycle-recipes · resolves | declared | None | cycleFindings, answersUnchanged |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.consumers.agent-surface.address-and-cycle-recipes.chain-reports-nothing · anchored ·
test/reach-examples.test.ts:422· test anchor
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.