outcomeA shaping decision comes before its member
spec:consumers.design-slice.decision-backlinkPacks: pack:roadmaps-and-slices-v1, pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/design-slice.decision-backlink.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a probe Pack whose members {structure: "include a decision that refines the member it shapes"}
one member depends on an outside Spec {outside: "that no code satisfies"}
one member is a component design whose component {anchor: "an anchor satisfies, matching every declared value"}When
the design slice runs over the probe Pack
Then
the members read in depth order {order: "spec:probe.base, spec:probe.design, spec:probe.top"}Composing needs the script.
Intent
- A shaping decision comes before its member.
Behavior
Examples
Given a probe Pack whose members {structure: "include a decision that refines the member it shapes"}
Given one member depends on an outside Spec {outside: "that no code satisfies"}
Given one member is a component design whose component {anchor: "an anchor satisfies, matching every declared value"}
When the design slice runs over the probe Pack
Then the members read in depth order {order: "spec:probe.base, spec:probe.design, spec:probe.top"}Verification
Verifier bindings
- test:protocol.design-slice.decision-backlink · anchored · test anchor binding present ·
test/self-hosting-design-slice.test.ts:774External run evidence from
test/self-hosting-design-slice.test.tsTest anchors:
test:protocol.design-slice,test:protocol.design-slice.chain,test:protocol.design-slice.component-absent,test:protocol.design-slice.component-differing,test:protocol.design-slice.component-matching,test:protocol.design-slice.component-unreadable,test:protocol.design-slice.component-unrelated,test:protocol.design-slice.decision-backlink,test:protocol.design-slice.dependency-cycle,test:protocol.design-slice.folded-example,test:protocol.design-slice.independent-example,test:protocol.design-slice.outside-components,test:protocol.design-slice.outside-holding,test:protocol.design-slice.outside-satisfied,test:protocol.design-slice.outside-unbound. Specs verified by those bindings: spec:consumers.design-slice, 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.Run 1: external run evidence from vitest 4.1.10
Build: CI 433 · Branch: fix/second-review-pass · Commit: 6375b6e431a7cf885a49befec76d7876cd3e538c · Start: 2026-11-04T07:12:23.076Z · Stop: 2026-11-04T07:15:49.695Z
Name Suite Result Duration keeps authored order while assigning depth and composing whole-Pack boundary design slice passed 38.98 ms keeps summary totals, selected full members and explicit omissions design slice passed 40.6 ms reads an ordered Spec list and a narrowed Pack, marking excluded Pack members design slice passed 16.15 ms only suppresses a refinement the target answers with dependsOn design slice passed 6.76 ms only suppresses a refinement the target answers with constrainedBy design slice passed 6.4 ms only suppresses a refinement the target answers with decidedBy design slice passed 5.96 ms lists cycles at the depth after their deepest outside prerequisite design slice passed 8.89 ms does not fold an example with another refines in either direction or across the boundary design slice passed 13.05 ms does not fold an example with another dependsOn in either direction or across the boundary design slice passed 12.65 ms does not fold an example with another constrainedBy in either direction or across the boundary design slice passed 9.65 ms does not fold an example with another decidedBy in either direction or across the boundary design slice passed 11.19 ms accumulates diagnostics in contract order and skips dependent checks design slice passed 59.09 ms pins the component Design grammar and totals to recipe 43 design slice passed 45.71 ms executes the bound example against a fresh world Outside components stop at the touched components' neighbors (spec:consumers.design-slice.outside-components) passed 12.73 ms executes the bound example against a fresh world Members rest on a chain (spec:consumers.design-slice.chain) passed 7.69 ms executes the bound example against a fresh world A shaping decision comes before its member (spec:consumers.design-slice.decision-backlink) passed 6.86 ms executes the bound example against a fresh world A cycle shares a depth (spec:consumers.design-slice.dependency-cycle) passed 8.06 ms executes the bound example against a fresh world An example folds without lending its readiness (spec:consumers.design-slice.folded-example) passed 9.01 ms executes the bound example against a fresh world An example with its own dependency stays unfolded (spec:consumers.design-slice.independent-example) passed 6.78 ms executes the bound example against a fresh world An unanchored component design stays visible (spec:consumers.design-slice.component-absent) passed 7.58 ms executes the bound example against a fresh world An anchor alone does not realize a component design (spec:consumers.design-slice.component-unrelated) passed 5.9 ms executes the bound example against a fresh world A realized component matches its declared values (spec:consumers.design-slice.component-matching) passed 7.14 ms executes the bound example against a fresh world A realized component keeps its differing layer and uses apart (spec:consumers.design-slice.component-differing) passed 12.85 ms executes the bound example against a fresh world An unreadable declared layer stays visible (spec:consumers.design-slice.component-unreadable) passed 7.72 ms executes the bound example against a fresh world A prerequisite reaches its satisfying component (spec:consumers.design-slice.outside-satisfied) passed 7.47 ms executes the bound example against a fresh world An unbound prerequisite invents no component (spec:consumers.design-slice.outside-unbound) passed 6.55 ms executes the bound example against a fresh world An outside prerequisite names the member it holds (spec:consumers.design-slice.outside-holding) passed 7.33 ms keeps unresolved targets and boundary relation reasons in the recipe answer design slice composition passed 4.74 ms keeps bindings to unresolved components unplaced rather than touching an invented component design slice composition passed 8.04 ms pins every full and summary row shape to the carrying Design entries design slice composition passed 56.29 ms reports outside holds, waiting statements, decision replacements and own-Spec question holds design slice composition passed 29.18 ms the executable order observation rejects rest on each other in a chain with setDepth[index] = 1; design slice composition passed 11.9 ms the executable order observation rejects include a decision that refines the member it shapes with setDepth[index] = 1; design slice composition passed 14 ms the executable order observation rejects include a decision that refines the member it shapes with edge.orders = true; design slice composition passed 10.26 ms the executable assertions reject missing rest on each other in a chain evidence for scope design slice composition passed 16.66 ms the executable assertions reject missing rest on each other in a chain evidence for memberColumns design slice composition passed 9.17 ms the executable assertions reject missing include a decision that refines the member it shapes evidence for decisionsInScope design slice composition passed 8.3 ms the executable assertions reject missing include an example that refines a member and depends on an outside Spec evidence for boundary design slice composition passed 7.74 ms the executable assertions reject missing include two members that depend on each other evidence for depth design slice composition passed 11.51 ms counts only example-kind declared verifiers as examples, keeping all verifiers design slice composition passed 10.62 ms names the hold detail and decision shape lists the summary omits design slice composition passed 5.63 ms summarizes component and design rows without losing totals design slice composition passed 21.76 ms keeps all binding paths, unplaced units, pair counts and planned uses apart design slice composition passed 12.05 ms reads outside decisions and orders their questions before non-blocking member questions design slice composition passed 12.06 ms reads declared values with the realization comparison grammar: {"layer":"`domain` explanation","context":"``probe`` explanation","role":"service","uses":"`none` explanation"} design slice composition passed 9.91 ms reads declared values with the realization comparison grammar: {"layer":"Domain","context":"Bad","role":"bad_role","uses":"component:probe.bad, invalid"} design slice composition passed 9.85 ms reads declared values with the realization comparison grammar: {"uses":"component:probe.z, component:probe.a, component:probe.z"} design slice composition passed 10.98 ms reads declared values with the realization comparison grammar: {} design slice composition passed 9.84 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.design-slice.decision-backlink: A shaping decision comes before its member · declared Spec
- spec:consumers.design-slice: A slice reads a Pack as one design, with the architecture it touches and what each member needs next · declared Spec
- test:protocol.design-slice.decision-backlink: test:protocol.design-slice.decision-backlink · anchored test binding · binding present ·
test/self-hosting-design-slice.test.ts:774 - spec:consumers.design-slice.decision-backlink refines spec:consumers.design-slice · declared
- spec:consumers.design-slice.decision-backlink verifies spec:consumers.design-slice · declared
- test:protocol.design-slice.decision-backlink verifies spec:consumers.design-slice.decision-backlink · 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.design-slice: A slice reads a Pack as one design, with the architecture it touches and what each member needs next
- spec:consumers.design-slice.decision-backlink: A shaping decision comes before its member
- spec:consumers.design-slice.decision-backlink refines spec:consumers.design-slice · declared
- spec:consumers.design-slice.decision-backlink verifies spec:consumers.design-slice · 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.design-slice · 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 | A slice reads a Pack as one design, with the architecture it touches and what each member needs nextspec:consumers.design-slice · resolves | declared | None | None |
| verifies · outgoing | A slice reads a Pack as one design, with the architecture it touches and what each member needs nextspec:consumers.design-slice · resolves | declared | None | restsOn, depth, decisionsInScope |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.design-slice.decision-backlink · anchored ·
test/self-hosting-design-slice.test.ts:774· 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.