outcomeOne body reaches every entry point the demand map names, and no symbol entry
spec:consumers.agent-surface.demand-map-entriesPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/agent-surface.demand-map-entries.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
an extraction root the front door derives in process on the invocation
the agent holds the concept {concept: "backorder"}, the file {file: "src/create-order.ts"}, and a changeset that also touches the unrecorded file {unrecordedFile: "src/price-book.ts"}When
the agent scripts a body {body: "reaching every entry point the demand map names"} through the front doorThen
the front door exits {exitCode: 0} with an empty error stream
the concept entry answers with the spec {conceptSpecId: "spec:orders.order-management"}
the file entry answers with the spec {fileSpecId: "spec:orders.create-order"}
the changeset entry answers with the impacted spec {changesetSpecId: "spec:orders.create-order"}
the surface offers a symbol entry: {symbolEntry: false}Composing needs the script.
Intent
- Execute the demand map end to end — a string, a file, and a changeset each answered through the front door — and read the deferred symbol entry as honestly absent.
Behavior
Examples
Given an extraction root the front door derives in process on the invocation
Given the agent holds the concept {concept: "backorder"}, the file {file: "src/create-order.ts"}, and a changeset that also touches the unrecorded file {unrecordedFile: "src/price-book.ts"}
When the agent scripts a body {body: "reaching every entry point the demand map names"} through the front door
Then the front door exits {exitCode: 0} with an empty error stream
Then the concept entry answers with the spec {conceptSpecId: "spec:orders.order-management"}
Then the file entry answers with the spec {fileSpecId: "spec:orders.create-order"}
Then the changeset entry answers with the impacted spec {changesetSpecId: "spec:orders.create-order"}
Then the surface offers a symbol entry: {symbolEntry: false}Verification
Verifier bindings
- test:protocol.agent-surface.demand-map-entries · the demand-map point verifies the three entry points and the absent symbol entry · anchored · test anchor binding present ·
test/self-hosting-consumers.test.ts:253External run evidence from
test/self-hosting-consumers.test.tsTest anchors:
test:protocol.agent-surface.demand-map-entries,test:protocol.agent-surface.scripted-context-body,test:protocol.reader.changeset-entry,test:protocol.reader.concept-entry,test:protocol.reader.file-entry. Specs verified by those bindings: spec:consumers.agent-surface, spec:consumers.agent-surface.demand-map-entries, spec:consumers.agent-surface.scripted-context-body, spec:consumers.reader, spec:consumers.reader.changeset-entry, spec:consumers.reader.concept-entry, spec:consumers.reader.file-entry.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 scripted body returns claim-decoded context, pre-shaped by the body (spec:consumers.agent-surface.scripted-context-body) passed 55.03 ms executes the bound example against a fresh world One body reaches every entry point the demand map names, and no symbol entry (spec:consumers.agent-surface.demand-map-entries) passed 23.29 ms executes the bound example against a fresh world A concept recorded only inside a Spec's sections is still reached, and the field is named (spec:consumers.reader.concept-entry) passed 12.65 ms executes the bound example against a fresh world A source file reaches the Spec its binding names, and a carrier reaches its own Spec (spec:consumers.reader.file-entry) passed 11.95 ms executes the bound example against a fresh world A changeset names what it reaches, why, and what it cannot see (spec:consumers.reader.changeset-entry) passed 18.11 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.agent-surface.demand-map-entries: One body reaches every entry point the demand map names, and no symbol entry · declared Spec
- spec:consumers.agent-surface: Agents script a visible typed graph · declared Spec
- test:protocol.agent-surface.demand-map-entries: the demand-map point verifies the three entry points and the absent symbol entry · anchored test binding · binding present ·
test/self-hosting-consumers.test.ts:253 - spec:consumers.agent-surface.demand-map-entries refines spec:consumers.agent-surface · declared
- spec:consumers.agent-surface.demand-map-entries verifies spec:consumers.agent-surface · declared
- test:protocol.agent-surface.demand-map-entries verifies spec:consumers.agent-surface.demand-map-entries · 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.agent-surface: Agents script a visible typed graph
- spec:consumers.agent-surface.demand-map-entries: One body reaches every entry point the demand map names, and no symbol entry
- spec:consumers.agent-surface.demand-map-entries refines spec:consumers.agent-surface · declared
- spec:consumers.agent-surface.demand-map-entries verifies spec:consumers.agent-surface · 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.agent-surface · 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 | Agents script a visible typed graphspec:consumers.agent-surface · resolves | declared | None | None |
| verifies · outgoing | Agents script a visible typed graphspec:consumers.agent-surface · resolves | declared | None | demandMap, entryAdapters, noSymbolEntry |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.agent-surface.demand-map-entries · the demand-map point verifies the three entry points and the absent symbol entry · anchored ·
test/self-hosting-consumers.test.ts:253· 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.