outcomeA component design no anchor satisfies is listed as unrealized
spec:model.planned-architecture.unrealized-designPacks: pack:corpus-checks-v1, pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/model/planned-architecture.unrealized-design.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a component design for {componentId: "component:probe.history"} that plans the layer {plannedLayer: "domain"} and uses {plannedUses: "component:probe.kernel"}
the component anchor for that design {anchor: "is absent"}
that anchor states the layer {realizedLayer: "absent"} and its member uses {realizedUses: ""}When
the realization comparison runs
Then
the comparison lists {unrealized: 1} unrealized designs, {matching: 0} matching designs and {differing: 0} differing rows
the differing fields are {fields: ""}Composing needs the script.
Intent
- Execute the realization comparison on one component design whose component no anchor realizes yet.
assumptions- The world writes a probe root holding one story-altitude model Spec stating
ideawith an Intent outcome, one Model term and a Design section whoseid,layerandusesentries carry the slots' planned values, bare. Beside it the root holds comment-form anchors forcomponent:probe.kernelandcomponent:probe.audit, each with oneimpl:member. The world runs the comparison's shipped recipe file throughsdp q --json; the differing fields are thefieldvalues of thedifferingrows joined by a comma and a space, in answer order, and an empty string names none.
- The world writes a probe root holding one story-altitude model Spec stating
Behavior
Examples
Given a component design for {componentId: "component:probe.history"} that plans the layer {plannedLayer: "domain"} and uses {plannedUses: "component:probe.kernel"}
Given the component anchor for that design {anchor: "is absent"}
Given that anchor states the layer {realizedLayer: "absent"} and its member uses {realizedUses: ""}
When the realization comparison runs
Then the comparison lists {unrealized: 1} unrealized designs, {matching: 0} matching designs and {differing: 0} differing rows
Then the differing fields are {fields: ""}Verification
Verifier bindings
- test:protocol.model.planned-architecture.unrealized-design · anchored · test anchor binding present ·
test/self-hosting-corpus-checks.test.ts:381External run evidence from
test/self-hosting-corpus-checks.test.tsTest anchors:
test:protocol.model.planned-architecture.differing-layer-and-uses,test:protocol.model.planned-architecture.matching-design,test:protocol.model.planned-architecture.unrealized-design,test:protocol.validation.architecture-constraints.forbidden-layer-pair,test:protocol.validation.architecture-constraints.isolated-context-as-rule,test:protocol.validation.architecture-constraints.unstated-layer-unclassified,test:protocol.validation.corpus-rules.copies-contain-changes,test:protocol.validation.corpus-rules.error-finding-fails,test:protocol.validation.corpus-rules.malformed-finding-fails,test:protocol.validation.corpus-rules.warning-finding-informs. Specs verified by those bindings: spec:model.planned-architecture, spec:model.planned-architecture.differing-layer-and-uses, spec:model.planned-architecture.matching-design, spec:model.planned-architecture.unrealized-design, spec:validation.architecture-constraints, spec:validation.architecture-constraints.forbidden-layer-pair, spec:validation.architecture-constraints.isolated-context-as-rule, spec:validation.architecture-constraints.unstated-layer-unclassified, spec:validation.corpus-rules, spec:validation.corpus-rules.copies-contain-changes, spec:validation.corpus-rules.error-finding-fails, spec:validation.corpus-rules.malformed-finding-fails, spec:validation.corpus-rules.warning-finding-informs.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 A rules file that empties its graph leaves the next file's graph whole (spec:validation.corpus-rules.copies-contain-changes) passed 21.24 ms executes the bound example against a fresh world An error from a corpus rule fails validation and leaves the Protocol's line alone (spec:validation.corpus-rules.error-finding-fails) passed 4.29 ms executes the bound example against a fresh world A finding with no subject fails its rules file (spec:validation.corpus-rules.malformed-finding-fails) passed 3.72 ms executes the bound example against a fresh world A warning from a corpus rule informs and passes (spec:validation.corpus-rules.warning-finding-informs) passed 3.36 ms executes the bound example against a fresh world A domain member that uses an infrastructure member breaks a forbidden pair (spec:validation.architecture-constraints.forbidden-layer-pair) passed 16.29 ms executes the bound example against a fresh world The walk named as a rules file fails validation on an isolation breach (spec:validation.architecture-constraints.isolated-context-as-rule) passed 3.85 ms executes the bound example against a fresh world A component with no layer leaves its edge unclassified (spec:validation.architecture-constraints.unstated-layer-unclassified) passed 3.28 ms executes the bound example against a fresh world A realized component that differs from its design gives one row per field (spec:model.planned-architecture.differing-layer-and-uses) passed 10.85 ms executes the bound example against a fresh world A realized component that matches its design gives no row (spec:model.planned-architecture.matching-design) passed 5.28 ms executes the bound example against a fresh world A component design no anchor satisfies is listed as unrealized (spec:model.planned-architecture.unrealized-design) passed 4.57 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:model.planned-architecture.unrealized-design: A component design no anchor satisfies is listed as unrealized · declared Spec
- spec:model.planned-architecture: Components are designed ahead of their code · declared Spec
- test:protocol.model.planned-architecture.unrealized-design: test:protocol.model.planned-architecture.unrealized-design · anchored test binding · binding present ·
test/self-hosting-corpus-checks.test.ts:381 - spec:model.planned-architecture.unrealized-design refines spec:model.planned-architecture · declared
- spec:model.planned-architecture.unrealized-design verifies spec:model.planned-architecture · declared
- test:protocol.model.planned-architecture.unrealized-design verifies spec:model.planned-architecture.unrealized-design · 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:model.planned-architecture: Components are designed ahead of their code
- spec:model.planned-architecture.unrealized-design: A component design no anchor satisfies is listed as unrealized
- spec:model.planned-architecture.unrealized-design refines spec:model.planned-architecture · declared
- spec:model.planned-architecture.unrealized-design verifies spec:model.planned-architecture · 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:model.planned-architecture · 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 | Components are designed ahead of their codespec:model.planned-architecture · resolves | declared | None | None |
| verifies · outgoing | Components are designed ahead of their codespec:model.planned-architecture · resolves | declared | None | None |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.model.planned-architecture.unrealized-design · anchored ·
test/self-hosting-corpus-checks.test.ts:381· 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.