outcomeA descendant without evidence names its holding clause
spec:consumers.roadmap.missing-evidenceNew 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.
Given
a probe roadmap whose entry holds the work {work: "spec:probe.root, spec:probe.part"}
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"}Composing needs the script.
Intent
- 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:202External run evidence from
test/roadmap-examples.test.tsTest 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
Name Suite Result Duration rejects a statement-order point with a different bound state not recorded passed 2.77 ms checks the bound work against the observed scope not recorded passed 48.37 ms executes the bound example against a fresh world Built work stays on the roadmap (spec:consumers.roadmap.built-work) passed 10.74 ms executes the bound example against a fresh world A ready unbound part needs building (spec:consumers.roadmap.buildable-part) passed 7.21 ms executes the bound example against a fresh world A complete part waits for a statement (spec:consumers.roadmap.statement-part) passed 9.23 ms executes the bound example against a fresh world An unfinished part needs design (spec:consumers.roadmap.design-part) passed 9.36 ms executes the bound example against a fresh world A binding below ready remains drift (spec:consumers.roadmap.drifting-part) passed 13.88 ms executes the bound example against a fresh world A descendant without evidence names its holding clause (spec:consumers.roadmap.missing-evidence) passed 8.83 ms executes the bound example against a fresh world A descendant question holds the entry for design (spec:consumers.roadmap.blocking-part) passed 6.21 ms executes the bound example against a fresh world A descendant names its outside parent (spec:consumers.roadmap.outside-parent) passed 9.88 ms executes the bound example against a fresh world Waiting statements keep dependency order against roadmap places (spec:consumers.roadmap.statement-order) passed 4.79 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
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
- 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
- refines · spec:consumers.roadmap · 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 roadmap orders the next bodies of work, and the graph says what each still needsspec:consumers.roadmap · resolves | declared | None | None |
| verifies · outgoing | A roadmap orders the next bodies of work, and the graph says what each still needsspec:consumers.roadmap · resolves | declared | None | entryNeed, 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.