outcomeAn outside prerequisite names the member it holds
spec:consumers.design-slice.outside-holdingNew since the base graph base da4b141. See the diff.
Base input: schema 0.11.0, 405 Specs.
Packs: 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.outside-holding.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: "stated below defined"}
one member is a component design whose component {anchor: "an anchor holds without satisfying the design"}When
the design slice runs over the probe Pack
Then
the outside Spec holds {held: "spec:probe.base"}Composing needs the script.
Intent
- An outside prerequisite names the member it holds.
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: "stated below defined"}
Given one member is a component design whose component {anchor: "an anchor holds without satisfying the design"}
When the design slice runs over the probe Pack
Then the outside Spec holds {held: "spec:probe.base"}Verification
Verifier bindings
- test:protocol.design-slice.outside-holding · anchored · test anchor binding present ·
test/self-hosting-design-slice.test.ts:840External 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 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 keeps authored order while assigning depth and composing whole-Pack boundary design slice passed 39.39 ms keeps summary totals, selected full members and explicit omissions design slice passed 44.72 ms reads an ordered Spec list and a narrowed Pack, marking excluded Pack members design slice passed 9.41 ms only suppresses a refinement the target answers with dependsOn design slice passed 8.71 ms only suppresses a refinement the target answers with constrainedBy design slice passed 8.55 ms only suppresses a refinement the target answers with decidedBy design slice passed 8.75 ms lists cycles at the depth after their deepest outside prerequisite design slice passed 4.89 ms does not fold an example with another refines in either direction or across the boundary design slice passed 8.49 ms does not fold an example with another dependsOn in either direction or across the boundary design slice passed 8.5 ms does not fold an example with another constrainedBy in either direction or across the boundary design slice passed 10.23 ms does not fold an example with another decidedBy in either direction or across the boundary design slice passed 12.47 ms accumulates diagnostics in contract order and skips dependent checks design slice passed 37.58 ms pins the component Design grammar and totals to recipe 43 design slice passed 35.05 ms executes the bound example against a fresh world Outside components stop at the touched components' neighbors (spec:consumers.design-slice.outside-components) passed 8 ms executes the bound example against a fresh world Members rest on a chain (spec:consumers.design-slice.chain) passed 4.92 ms executes the bound example against a fresh world A shaping decision comes before its member (spec:consumers.design-slice.decision-backlink) passed 5.45 ms executes the bound example against a fresh world A cycle shares a depth (spec:consumers.design-slice.dependency-cycle) passed 5.25 ms executes the bound example against a fresh world An example folds without lending its readiness (spec:consumers.design-slice.folded-example) passed 5.84 ms executes the bound example against a fresh world An example with its own dependency stays unfolded (spec:consumers.design-slice.independent-example) passed 4.45 ms executes the bound example against a fresh world An unanchored component design stays visible (spec:consumers.design-slice.component-absent) passed 5.03 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 8.67 ms executes the bound example against a fresh world A realized component matches its declared values (spec:consumers.design-slice.component-matching) passed 5.56 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 8.95 ms executes the bound example against a fresh world An unreadable declared layer stays visible (spec:consumers.design-slice.component-unreadable) passed 7.73 ms executes the bound example against a fresh world A prerequisite reaches its satisfying component (spec:consumers.design-slice.outside-satisfied) passed 5.09 ms executes the bound example against a fresh world An unbound prerequisite invents no component (spec:consumers.design-slice.outside-unbound) passed 4.3 ms executes the bound example against a fresh world An outside prerequisite names the member it holds (spec:consumers.design-slice.outside-holding) passed 11.09 ms keeps unresolved targets and boundary relation reasons in the recipe answer design slice composition passed 4.71 ms keeps bindings to unresolved components unplaced rather than touching an invented component design slice composition passed 6.08 ms pins every full and summary row shape to the carrying Design entries design slice composition passed 49 ms reports outside holds, waiting statements, decision replacements and own-Spec question holds design slice composition passed 15.3 ms the executable order observation rejects rest on each other in a chain with setDepth[index] = 1; design slice composition passed 6.85 ms the executable order observation rejects include a decision that refines the member it shapes with setDepth[index] = 1; design slice composition passed 9.01 ms the executable order observation rejects include a decision that refines the member it shapes with edge.orders = true; design slice composition passed 7 ms the executable assertions reject missing rest on each other in a chain evidence for scope design slice composition passed 5.75 ms the executable assertions reject missing rest on each other in a chain evidence for memberColumns design slice composition passed 4.62 ms the executable assertions reject missing include a decision that refines the member it shapes evidence for decisionsInScope design slice composition passed 5.86 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 4.84 ms the executable assertions reject missing include two members that depend on each other evidence for depth design slice composition passed 6.08 ms counts only example-kind declared verifiers as examples, keeping all verifiers design slice composition passed 6.92 ms names the hold detail and decision shape lists the summary omits design slice composition passed 3.75 ms summarizes component and design rows without losing totals design slice composition passed 8.77 ms keeps all binding paths, unplaced units, pair counts and planned uses apart design slice composition passed 14.7 ms reads outside decisions and orders their questions before non-blocking member questions design slice composition passed 11.18 ms reads declared values with the realization comparison grammar: {"layer":"`domain` explanation","context":"``probe`` explanation","role":"service","uses":"`none` explanation"} design slice composition passed 4.16 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 6.17 ms reads declared values with the realization comparison grammar: {"uses":"component:probe.z, component:probe.a, component:probe.z"} design slice composition passed 7.39 ms reads declared values with the realization comparison grammar: {} design slice composition passed 6 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.design-slice.outside-holding: An outside prerequisite names the member it holds · 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.outside-holding: test:protocol.design-slice.outside-holding · anchored test binding · binding present ·
test/self-hosting-design-slice.test.ts:840 - spec:consumers.design-slice.outside-holding refines spec:consumers.design-slice · declared
- spec:consumers.design-slice.outside-holding verifies spec:consumers.design-slice · declared
- test:protocol.design-slice.outside-holding verifies spec:consumers.design-slice.outside-holding · 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.outside-holding: An outside prerequisite names the member it holds
- spec:consumers.design-slice.outside-holding refines spec:consumers.design-slice · declared
- spec:consumers.design-slice.outside-holding 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 | boundary, questionsInScope |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.design-slice.outside-holding · anchored ·
test/self-hosting-design-slice.test.ts:840· 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.