Spec Studio

An unfinished part needs design

spec:consumers.roadmap.design-partExample / Scenario · storyready floor ready

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/roadmap.design-part.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.

Intent
outcome
Execute one roadmap reading over a probe corpus.
assumptions
  • The world writes a roadmap Pack with one ready behavior root and one behavior descendant, each with an Intent outcome. The root has one rule and a direct implementation binding; both Specs have resolving relations. The descendant states scoped and has a blocking question. The roadmap reads the shipped body over the extracted probe corpus.
Behavior

Examples

Given a probe roadmap whose entry holds the work {work: "spec:probe.root, spec:probe.part"}
Given that work {state: "has one part below ready whose floor stops short"}
When the roadmap recipe reads the probe roadmap
Then the entry's need reads {need: "to design"}
Verification

Verifier bindings

  • test:protocol.roadmap.design-part · anchored · test anchor binding present · test/roadmap-examples.test.ts:188

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

    Test anchors: test:protocol.roadmap.blocking-part, test:protocol.roadmap.buildable-part, test:protocol.roadmap.built-work, test:protocol.roadmap.design-part, test:protocol.roadmap.drifting-part, test:protocol.roadmap.missing-evidence, test:protocol.roadmap.outside-parent, test:protocol.roadmap.statement-order, test:protocol.roadmap.statement-part. Specs verified by those bindings: spec:consumers.roadmap, spec:consumers.roadmap.blocking-part, spec:consumers.roadmap.buildable-part, spec:consumers.roadmap.built-work, spec:consumers.roadmap.design-part, spec:consumers.roadmap.drifting-part, spec:consumers.roadmap.missing-evidence, spec:consumers.roadmap.outside-parent, spec:consumers.roadmap.statement-order, spec:consumers.roadmap.statement-part.

    Run 1: external run evidence from vitest 4.1.10

    Build: CI 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z

    NameSuiteResultDuration
    rejects a statement-order point with a different bound statenot recordedpassed2.38 ms
    checks the bound work against the observed scopenot recordedpassed35.82 ms
    executes the bound example against a fresh worldBuilt work stays on the roadmap (spec:consumers.roadmap.built-work)passed8.17 ms
    executes the bound example against a fresh worldA ready unbound part needs building (spec:consumers.roadmap.buildable-part)passed6.64 ms
    executes the bound example against a fresh worldA complete part waits for a statement (spec:consumers.roadmap.statement-part)passed6.31 ms
    executes the bound example against a fresh worldAn unfinished part needs design (spec:consumers.roadmap.design-part)passed9.78 ms
    executes the bound example against a fresh worldA binding below ready remains drift (spec:consumers.roadmap.drifting-part)passed13.87 ms
    executes the bound example against a fresh worldA descendant without evidence names its holding clause (spec:consumers.roadmap.missing-evidence)passed4.62 ms
    executes the bound example against a fresh worldA descendant question holds the entry for design (spec:consumers.roadmap.blocking-part)passed4.81 ms
    executes the bound example against a fresh worldA descendant names its outside parent (spec:consumers.roadmap.outside-parent)passed8.57 ms
    executes the bound example against a fresh worldWaiting statements keep dependency order against roadmap places (spec:consumers.roadmap.statement-order)passed4.83 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:consumers.roadmap.design-part
The diagram as text
  • spec:consumers.roadmap.design-part: An unfinished part needs design · declared Spec
  • spec:consumers.roadmap: A roadmap orders the next bodies of work, and the graph says what each still needs · declared Spec
  • test:protocol.roadmap.design-part: test:protocol.roadmap.design-part · anchored test binding · binding present · test/roadmap-examples.test.ts:188
  • spec:consumers.roadmap.design-part refines spec:consumers.roadmap · declared
  • spec:consumers.roadmap.design-part verifies spec:consumers.roadmap · declared
  • test:protocol.roadmap.design-part verifies spec:consumers.roadmap.design-part · 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
Relations of spec:consumers.roadmap.design-part
  • E2: verifies · declared
The diagram as text
  • spec:consumers.roadmap: A roadmap orders the next bodies of work, and the graph says what each still needs
  • spec:consumers.roadmap.design-part: An unfinished part needs design
  • spec:consumers.roadmap.design-part refines spec:consumers.roadmap · declared
  • spec:consumers.roadmap.design-part verifies spec:consumers.roadmap · 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

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingA roadmap orders the next bodies of work, and the graph says what each still needs
spec:consumers.roadmap · resolves
declaredNoneNone
verifies · outgoingA roadmap orders the next bodies of work, and the graph says what each still needs
spec:consumers.roadmap · resolves
declaredNonescope, specNeed, entryNeed, workRows

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.roadmap.design-part · anchored · test/roadmap-examples.test.ts:188 · 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.