A scripted body returns claim-decoded context, pre-shaped by the body

outcome

Execute the whole path an agent uses — a root, the extractor, the graph, the injected reader, one scripted body — and read back the decode a hand-rolled join gets wrong.

Examples

Given an extraction root the front door derives in process on the invocation
Given the corpus binds the spec {specId: "spec:orders.create-order"} to one anchored verifier and one declared-only verifier
When the agent scripts a body {body: "composing that spec's verifier bindings"} through the front door
Then the front door exits {exitCode: 0} with an empty error stream
Then the printed answer is exactly the body's pre-shaped return {printedAnswer: "spec:orders.create-order.empty-cart is a declared verifier · spec:orders.create-order.valid-cart is an enabled verifier"}
Then the anchored verifier {anchoredVerifierId: "spec:orders.create-order.valid-cart"} decodes as enabled while the declared-only verifier {declaredVerifierId: "spec:orders.create-order.empty-cart"} does not

Verifier bindings

• test:protocol.agent-surface.scripted-context-body · the scripted-body point verifies the front door's claim-decoded, pre-shaped return · anchored · test anchor binding present · test/self-hosting-consumers.test.ts:244

  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

Requirement drawing

• Satisfying or referencing units: no recorded binding.

Decisions

No decision record named.

No implementation neighborhood recorded.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.