outcomeMissing targets fail relation resolution once
spec:validation.typed-dependency-floor.missing-targetsPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/validation/typed-dependency-floor.missing-targets.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
the typed dependency matrix {matrix: "missing-targets"}When
the reader checks the readiness floor
Then
the matrix reports {targetFailures: 0} target failures and {resolutionFailures: 6} resolution failures and {questionFailures: 0} blocking question failuresComposing needs the script.
Intent
- Check the missing-targets matrix through the readiness floor.
assumptions- The world has six rule subjects stating
ready, one for each ofrefines,dependsOn,constrainedBy,decidedBy,verifies, andsupersedes. Each subject names a missing target. No target Spec exists, so no target states a rung or declares a reverse relation. No subject has a blocking open question. - All subjects are story-altitude Specs with declared relations, an Intent outcome, and a behavior rule. No anchors are present. The expected counts include only
honesty/readiness-floorfindings, not findings from other validators. - Each subject fails
all-relations-resolveonce. Missing targets never add atyped-dependency-targets-are-definedfailure, including for the four included relations.
- The world has six rule subjects stating
Behavior
Examples
Given the typed dependency matrix {matrix: "missing-targets"}
When the reader checks the readiness floor
Then the matrix reports {targetFailures: 0} target failures and {resolutionFailures: 6} resolution failures and {questionFailures: 0} blocking question failuresVerification
Verifier bindings
- test:protocol.typed-dependency-floor.missing-targets · verifies unresolved targets fail resolution once · anchored · test anchor binding present ·
test/self-hosting-typed-dependency.test.ts:320External run evidence from
test/self-hosting-typed-dependency.test.tsTest anchors:
test:protocol.typed-dependency-floor.missing-targets,test:protocol.typed-dependency-floor.relation-rungs,test:protocol.typed-dependency-floor.stated-readiness,test:protocol.typed-dependency-floor.unsettled-fact. Specs verified by those bindings: spec:validation.typed-dependency-floor, spec:validation.typed-dependency-floor.missing-targets, spec:validation.typed-dependency-floor.relation-rungs, spec:validation.typed-dependency-floor.stated-readiness, spec:validation.typed-dependency-floor.unsettled-fact.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 executes the bound example against a fresh world Every relation reads the four stated target rungs (spec:validation.typed-dependency-floor.relation-rungs) passed 19 ms executes the bound example against a fresh world Missing targets fail relation resolution once (spec:validation.typed-dependency-floor.missing-targets) passed 1.85 ms executes the bound example against a fresh world An unsettled constraint bounds ready but permits defined (spec:validation.typed-dependency-floor.unsettled-fact) passed 1.36 ms executes the bound example against a fresh world Target floor failures do not propagate across dependencies (spec:validation.typed-dependency-floor.stated-readiness) passed 43.6 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:validation.typed-dependency-floor.missing-targets: Missing targets fail relation resolution once · declared Spec
- spec:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies · declared Spec
- test:protocol.typed-dependency-floor.missing-targets: verifies unresolved targets fail resolution once · anchored test binding · binding present ·
test/self-hosting-typed-dependency.test.ts:320 - spec:validation.typed-dependency-floor.missing-targets refines spec:validation.typed-dependency-floor · declared
- spec:validation.typed-dependency-floor.missing-targets verifies spec:validation.typed-dependency-floor · declared
- test:protocol.typed-dependency-floor.missing-targets verifies spec:validation.typed-dependency-floor.missing-targets · 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:validation.typed-dependency-floor: A ready Spec rests only on settled dependencies
- spec:validation.typed-dependency-floor.missing-targets: Missing targets fail relation resolution once
- spec:validation.typed-dependency-floor.missing-targets refines spec:validation.typed-dependency-floor · declared
- spec:validation.typed-dependency-floor.missing-targets verifies spec:validation.typed-dependency-floor · 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:validation.typed-dependency-floor · 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 ready Spec rests only on settled dependenciesspec:validation.typed-dependency-floor · resolves | declared | None | None |
| verifies · outgoing | A ready Spec rests only on settled dependenciesspec:validation.typed-dependency-floor · resolves | declared | None | None |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.typed-dependency-floor.missing-targets · verifies unresolved targets fail resolution once · anchored ·
test/self-hosting-typed-dependency.test.ts:320· 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.