A changeset names what it reaches, why, and what it cannot see

spec:consumers.reader.changeset-entry

Example / Scenario · storyready floor ready

Design: no design entries · no pinned declarations · no decisions

specs/consumers/reader.sdp.gherkin

No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.

Given

a reader built over the graph a real extraction derives from the probe root
the source file {boundFile: "src/create-order.ts"} carries the binding {bindingId: "impl:orders.create-order"}
the changeset also holds the file {unrecordedFile: "src/price-book.ts"} the graph records nothing at

When

the reader answers the {entry: "changeset"} entry

Then

the impacted specs name {impactedSpecId: "spec:orders.create-order"} through the binding {impactBindingId: "impl:orders.create-order"} at claim {impactClaim: "anchored"}
the one-hop at-risk neighbors name {atRiskId: "spec:orders.order-management"} through the edge {atRiskEdge: "refines"} at claim {atRiskClaim: "declared"}
the at-risk neighbors number {atRiskCount: 4}
the coverage-unknown files name {coverageUnknownFile: "src/price-book.ts"}
the coverage-unknown files number {coverageUnknownCount: 1}

Composing needs the script.

Intent

outcome: Execute the changeset entry on a mixed changeset, so the impacted reason, the one-hop at-risk edge with its claim, and the coverage-unknown file are all read from one answer.

Behavior

Examples

Given a reader built over the graph a real extraction derives from the probe root
Given the source file {boundFile: "src/create-order.ts"} carries the binding {bindingId: "impl:orders.create-order"}
Given the changeset also holds the file {unrecordedFile: "src/price-book.ts"} the graph records nothing at
When the reader answers the {entry: "changeset"} entry
Then the impacted specs name {impactedSpecId: "spec:orders.create-order"} through the binding {impactBindingId: "impl:orders.create-order"} at claim {impactClaim: "anchored"}
Then the one-hop at-risk neighbors name {atRiskId: "spec:orders.order-management"} through the edge {atRiskEdge: "refines"} at claim {atRiskClaim: "declared"}
Then the at-risk neighbors number {atRiskCount: 4}
Then the coverage-unknown files name {coverageUnknownFile: "src/price-book.ts"}
Then the coverage-unknown files number {coverageUnknownCount: 1}

Verification

Verifier bindings

test:protocol.reader.changeset-entry · the changeset-entry point verifies impact reasons, at-risk edges, and coverage-unknown · anchored · test anchor binding present · test/self-hosting-consumers.test.ts:516

External run evidence from `test/self-hosting-consumers.test.ts`

Test 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 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z

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.11 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	17.19 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	29.24 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	23.41 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	17.23 ms

Design view

Requirement drawing

Satisfying or referencing units: no recorded binding.

Requirement drawing for spec:consumers.reader.changeset-entry

The diagram as text

spec:consumers.reader.changeset-entry: A changeset names what it reaches, why, and what it cannot see · declared Spec
spec:consumers.reader: The reader bridges agent entry points to composable graph context · declared Spec
test:protocol.reader.changeset-entry: the changeset-entry point verifies impact reasons, at-risk edges, and coverage-unknown · anchored test binding · binding present · test/self-hosting-consumers.test.ts:516
spec:consumers.reader.changeset-entry refines spec:consumers.reader · declared
spec:consumers.reader.changeset-entry verifies spec:consumers.reader · declared
test:protocol.reader.changeset-entry verifies spec:consumers.reader.changeset-entry · 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.

Mermaid source for Requirement drawing for spec:consumers.reader.changeset-entry

requirementDiagram
  requirement n0 {
    text: "A changeset names what it reaches, why, and what it cannot see · declared Spec · spec:consumers.reader.changeset-entry"
  }
  element n1 {
    type: "the changeset-entry point verifies impact reasons, at-risk edges, and coverage-unknown · anchored test binding · binding present · test:protocol.reader.changeset-entry"
  }
  requirement n2 {
    text: "The reader bridges agent entry points to composable graph context · declared Spec · spec:consumers.reader"
  }
  %% claim: declared
  n0 - refines -> n2
  %% claim: declared
  n0 - verifies -> n2
  %% claim: anchored
  n1 - verifies -> n0

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.reader.changeset-entry

E2: verifies · declared

The diagram as text

spec:consumers.reader: The reader bridges agent entry points to composable graph context
spec:consumers.reader.changeset-entry: A changeset names what it reaches, why, and what it cannot see
spec:consumers.reader.changeset-entry refines spec:consumers.reader · declared
spec:consumers.reader.changeset-entry verifies spec:consumers.reader · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Mermaid source for Relations of spec:consumers.reader.changeset-entry

flowchart TB
  n0["The reader bridges agent entry points to composable graph context · spec:consumers.reader"]
  n1["A changeset names what it reaches, why, and what it cannot see · spec:consumers.reader.changeset-entry"]
  n1 -->|"refines · declared"| n0
  n1 -->|"verifies · declared"| n0

Rests on

refines · spec:consumers.reader · 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	The reader bridges agent entry points to composable graph context `spec:consumers.reader` · resolves	declared	None	None
verifies · outgoing	The reader bridges agent entry points to composable graph context `spec:consumers.reader` · resolves	declared	None	`blastRadius`, `reasonsAsData`

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

test:protocol.reader.changeset-entry · the changeset-entry point verifies impact reasons, at-risk edges, and coverage-unknown · anchored · test/self-hosting-consumers.test.ts:516 · 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.

Examples

Verifier bindings

External run evidence from test/self-hosting-consumers.test.ts

Run 1: external run evidence from vitest 4.1.10

Requirement drawing

Decisions

Rests on

Rested on by

Relations

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

External run evidence from `test/self-hosting-consumers.test.ts`