Spec Studio

A descendant without evidence names its holding clause

spec:consumers.roadmap.missing-evidenceExample / Scenario · storyready floor ready

New 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/roadmap.missing-evidence.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, refines the ready root and has no behavior evidence. 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 a ready root and one descendant without its kind's evidence"}
When the roadmap recipe reads the probe roadmap
Then the entry names {part: "spec:probe.part"} among the parts with its need, held by {clause: "kind-evidence-present"}
Verification

Verifier bindings

  • test:protocol.roadmap.missing-evidence · anchored · test anchor binding present · test/roadmap-examples.test.ts:202

    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 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

    NameSuiteResultDuration
    rejects a statement-order point with a different bound statenot recordedpassed2.77 ms
    checks the bound work against the observed scopenot recordedpassed48.37 ms
    executes the bound example against a fresh worldBuilt work stays on the roadmap (spec:consumers.roadmap.built-work)passed10.74 ms
    executes the bound example against a fresh worldA ready unbound part needs building (spec:consumers.roadmap.buildable-part)passed7.21 ms
    executes the bound example against a fresh worldA complete part waits for a statement (spec:consumers.roadmap.statement-part)passed9.23 ms
    executes the bound example against a fresh worldAn unfinished part needs design (spec:consumers.roadmap.design-part)passed9.36 ms
    executes the bound example against a fresh worldA binding below ready remains drift (spec:consumers.roadmap.drifting-part)passed13.88 ms
    executes the bound example against a fresh worldA descendant without evidence names its holding clause (spec:consumers.roadmap.missing-evidence)passed8.83 ms
    executes the bound example against a fresh worldA descendant question holds the entry for design (spec:consumers.roadmap.blocking-part)passed6.21 ms
    executes the bound example against a fresh worldA descendant names its outside parent (spec:consumers.roadmap.outside-parent)passed9.88 ms
    executes the bound example against a fresh worldWaiting statements keep dependency order against roadmap places (spec:consumers.roadmap.statement-order)passed4.79 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:consumers.roadmap.missing-evidence
The diagram as text
  • spec:consumers.roadmap.missing-evidence: A descendant without evidence names its holding clause · 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.missing-evidence: test:protocol.roadmap.missing-evidence · anchored test binding · binding present · test/roadmap-examples.test.ts:202
  • spec:consumers.roadmap.missing-evidence refines spec:consumers.roadmap · declared
  • spec:consumers.roadmap.missing-evidence verifies spec:consumers.roadmap · declared
  • test:protocol.roadmap.missing-evidence verifies spec:consumers.roadmap.missing-evidence · 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.missing-evidence
  • 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.missing-evidence: A descendant without evidence names its holding clause
  • spec:consumers.roadmap.missing-evidence refines spec:consumers.roadmap · declared
  • spec:consumers.roadmap.missing-evidence 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
declaredNoneentryNeed, entryShows, workRows

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.roadmap.missing-evidence · anchored · test/roadmap-examples.test.ts:202 · 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.