Example spaces report which values their examples cover

problem

The graph carries example spaces and bound points, but no reader value or recipe reports which literal slot values example children bind.

outcome

Report each literal slot value with the example children that bind it, and each value no child binds, before code exists.

rule.decodedOnce line 22 · specs/consumers/agent-surface.example-space-coverage.sdp.md:22

The engine decodes each Spec's example space into its typed slots, and each example child's steps into its bound point, once, through the notation module that writes the space contracts, and the reader carries both on the Spec context; no recipe or projection parses slot notation a second time.

no example exercises it

rule.catalogRecipe line 23 · specs/consumers/agent-surface.example-space-coverage.sdp.md:23

Slot-value coverage is a catalog recipe, recipe 44, over the decoded reader values, listing each literal-union value with the example children that bind it and each value no child binds.

spec:consumers.agent-surface.example-space-coverage.uncovered-literal · enabled

rule.literalUnions line 24 · specs/consumers/agent-surface.example-space-coverage.sdp.md:24

The recipe enumerates slots typed as closed unions of quoted literals. It reports every other slot type, a boolean included, as not enumerable by this recipe, never as covered or as missing a value.

spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · enabled, spec:consumers.agent-surface.example-space-coverage.uncovered-literal · enabled

rule.perSlotOnly line 25 · specs/consumers/agent-surface.example-space-coverage.sdp.md:25

Coverage is reported per slot value; the recipe reports no combination of two or more slots until a design pass asks which combinations no example exercises.

spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · enabled

rule.eligibleChildren line 26 · specs/consumers/agent-surface.example-space-coverage.sdp.md:26

The examples counted are the children its space contract collects.

spec:consumers.agent-surface.example-space-coverage.uncovered-literal · enabled

rule.unboundSlot line 27 · specs/consumers/agent-surface.example-space-coverage.sdp.md:27

An example that binds no value for a slot is listed under that slot as unbound, never as covering a value of it.

spec:consumers.agent-surface.example-space-coverage.uncovered-literal · enabled

rule.confersNothing line 28 · specs/consumers/agent-surface.example-space-coverage.sdp.md:28

Slot-value coverage reports and confers nothing: it moves no readiness, records no verdict and emits no validation finding.

spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · enabled

0 unkeyed rules.

Verifying examples

Given an example space that declares the slot {slot: "quantity"} as {declared: "number"}
Given its example children bind {bound: "2; 5"}
When recipe 44 reports the space's coverage
Then the slot is enumerable: {enumerable: false}
Then the values no example binds are {uncovered: ""}
Then the examples that leave the slot unbound are {unbound: ""}

Given an example space that declares the slot {slot: "availability"} as {declared: "in stock|out of stock|backordered"}
Given its example children bind {bound: "in stock; in stock; none"}
When recipe 44 reports the space's coverage
Then the slot is enumerable: {enumerable: true}
Then the values no example binds are {uncovered: "out of stock, backordered"}
Then the examples that leave the slot unbound are {unbound: "spec:probe.parent.c3"}

Example space

Given an example space that declares the slot {slot:string} as {declared:string}
Given its example children bind {bound:string}
When recipe 44 reports the space's coverage
Then the slot is enumerable: {enumerable:boolean}
Then the values no example binds are {uncovered:string}
Then the examples that leave the slot unbound are {unbound:string}

readerSpace line 31 · specs/consumers/agent-surface.example-space-coverage.sdp.md:31

the Spec context of a Spec that owns an example space carries exampleSpace: { slots: ExampleSlot[]; points: BoundPoint[] }, and a Spec that owns none carries no exampleSpace.

exampleSlot line 32 · specs/consumers/agent-surface.example-space-coverage.sdp.md:32

{ name: string; type: "number" | "string" | "boolean" | "enum"; values?: string[]; step: string }, one per slot the space's given and when steps declare, in the order the space contract's dimensions take, values the quoted literals in authored order when type is enum, and step the skeleton of the first step declaring the slot.

no citation recorded

boundPoint line 33 · specs/consumers/agent-surface.example-space-coverage.sdp.md:33

{ example: string; values: Record<string, string | number | boolean> }, one per eligible child in id order, values holding the first value the child binds for each slot, the values the space contract holds for it.

no citation recorded

coverageRecipe line 34 · specs/consumers/agent-surface.example-space-coverage.sdp.md:34

recipe 44, example-space coverage, takes params.spec or params.pack, at most one, and without either reads every Spec that owns an example space; it returns { scope, totals, spaces }, and { diagnostics: [{ parameter, problem }] } alone when the scope names no Spec or Pack, names both, or names a Spec that owns no example space.

coverageSpace line 35 · specs/consumers/agent-surface.example-space-coverage.sdp.md:35

{ spec: string; examples: string[]; slots: CoverageSlot[] }, one per space in Spec id order, examples the eligible children in id order.

no citation recorded

coverageSlot line 36 · specs/consumers/agent-surface.example-space-coverage.sdp.md:36

{ name: string; type: string; step: string; enumerable: boolean; values: { value: string | number | boolean; examples: string[] }[]; unbound: string[] }: for an enumerable slot one value row per declared literal in authored order, a row with no example being an uncovered value; for any other slot one row per distinct value its examples bind, in the order they are first bound; unbound the examples that bind no value for the slot.

no citation recorded

coverageTotals line 37 · specs/consumers/agent-surface.example-space-coverage.sdp.md:37

{ spaces: number; slots: number; enumerable: number; values: number; uncovered: number }, values counting the declared literals of the enumerable slots and uncovered those no example binds.

no citation recorded

Verifier bindings

• spec:consumers.agent-surface.example-space-coverage.number-not-enumerable · A number slot is not enumerable and reports no uncovered value · declared · example enabled · specs/consumers/agent-surface.example-space-coverage.number-not-enumerable.sdp.md

  External run evidence from test/studio-s1.test.ts

  Test anchors: test:protocol.studio-architecture-planned-apart, test:protocol.studio-coverage-literal, test:protocol.studio-coverage-number, test:protocol.studio-diagram-folds-context, test:protocol.studio-diagram-folds-layer, test:protocol.studio-diagram-within-bound, test:protocol.studio-lenses, test:protocol.studio-tests-coverage-row. Specs verified by those bindings: spec:consumers.agent-surface.example-space-coverage, spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal, spec:consumers.spec-studio.data.recipe-answers, spec:consumers.spec-studio.diagrams, spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, spec:consumers.spec-studio.lenses, spec:consumers.spec-studio.lenses.architecture, spec:consumers.spec-studio.lenses.architecture.planned-apart, spec:consumers.spec-studio.lenses.evidence, spec:consumers.spec-studio.lenses.packs, spec:consumers.spec-studio.lenses.tests, spec:consumers.spec-studio.lenses.tests.coverage-row.

  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
  bounds and folds 12 components	Studio diagrams	passed	21.4 ms
  bounds and folds 45 components	Studio diagrams	passed	4.18 ms
  bounds and folds 50 components	Studio diagrams	passed	10.57 ms
  keeps every edge in an open text fallback	Studio diagrams	passed	1.76 ms
  orders grid contexts and layers and wraps cells within the fixed width budget	Studio diagrams	passed	3.65 ms
  draws planned-use edges dashed independently of planned box outlines	Studio diagrams	passed	0.48 ms
  checks the edge bound even when boxes fit	Studio diagrams	passed	0.41 ms
  places folded contexts and layers in their own bands below the grid	Studio diagrams	passed	3.19 ms
  places outgoing relation bands above the subject and folds ties in relation order	Studio diagrams	passed	9.26 ms
  folds trace relation groups and leaves member overflow as text	Studio diagrams	passed	2.95 ms
  keeps recipe and diagram edges in code-unit order under forced Czech collation	Studio lenses	passed	116.83 ms
  publishes all five ordered lenses and honest evidence without script	Studio lenses	passed	33.06 ms
  reads verifier binding from the delivery fact and gives absent coverage its own filter value	Studio lenses	passed	18.02 ms
  labels a primitive-only space with no examples not measurable and hides it under covered	Studio lenses	passed	14.75 ms
  classifies 'number' with points [ '1' ] and mixed=false as 'not-measurable'	Studio lenses	passed	26.11 ms
  classifies 'string' with points [ '"a"' ] and mixed=false as 'not-measurable'	Studio lenses	passed	22.83 ms
  classifies 'boolean' with points [ 'true' ] and mixed=false as 'not-measurable'	Studio lenses	passed	11.69 ms
  classifies '"a"|"b"' with points [] and mixed=false as 'uncovered'	Studio lenses	passed	9.5 ms
  classifies '"a"|"b"' with points [ '"a"' ] and mixed=false as 'uncovered'	Studio lenses	passed	11.11 ms
  classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=false as 'covered'	Studio lenses	passed	15.58 ms
  classifies '"a"|"b"' with points [ '"a"' ] and mixed=true as 'uncovered'	Studio lenses	passed	16.25 ms
  classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=true as 'covered'	Studio lenses	passed	20.2 ms
  renders member subjects, code spans, used-by counts, differences and empty components	Studio lenses	passed	14.17 ms
  describes evidence sources as not tracked	Studio lenses	passed	2.87 ms
  executes the bound example against a fresh world	An architecture within the bound draws in one diagram, the same bytes twice (spec:consumers.spec-studio.diagrams.within-bound)	passed	13 ms
  executes the bound example against a fresh world	An architecture over the bound folds by context (spec:consumers.spec-studio.diagrams.folds-by-context)	passed	7.68 ms
  executes the bound example against a fresh world	One context over the bound folds by layer (spec:consumers.spec-studio.diagrams.folds-by-layer)	passed	8.85 ms
  executes the bound example against a fresh world	A component design no anchor realizes draws planned beside the built one (spec:consumers.spec-studio.lenses.architecture.planned-apart)	passed	26.33 ms
  executes the bound example against a fresh world	A Spec's row on the tests lens counts its exercised keyed rules (spec:consumers.spec-studio.lenses.tests.coverage-row)	passed	13.82 ms
  executes the bound example against a fresh world	A literal no example binds is reported uncovered, and an unbound child is named (spec:consumers.agent-surface.example-space-coverage.uncovered-literal)	passed	4.85 ms
  executes the bound example against a fresh world	A number slot is not enumerable and reports no uncovered value (spec:consumers.agent-surface.example-space-coverage.number-not-enumerable)	passed	3.01 ms
  reuses the build's reader and validation findings during Studio recipe evaluation	not recorded	passed	3.94 ms
  documents the component and member fields recipe 17 adds	not recorded	passed	1.22 ms
  evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base false	not recorded	passed	14.63 ms
  evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base true	not recorded	passed	20.61 ms
  keeps label lines bounded and orders member depths numerically with outside units last	not recorded	passed	2.32 ms
  labels planned uses, reports unreadable designs and keeps unknown structure visible	not recorded	passed	8.33 ms
  gives unstated context and layer folds addressable text descriptions	not recorded	passed	1.14 ms
  names a single edge relation once in the legend and preserves its text equivalent	not recorded	passed	1.75 ms
  names solid and planned uses once without repeating edge labels	not recorded	passed	0.63 ms

• spec:consumers.agent-surface.example-space-coverage.uncovered-literal · A literal no example binds is reported uncovered, and an unbound child is named · declared · example enabled · specs/consumers/agent-surface.example-space-coverage.uncovered-literal.sdp.md

Requirement drawing

Decisions

No decision record named.

• component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol

  Uses

  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
  • component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
  • component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
  • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
• impl:protocol.example-space-coverage-recipe · asserts realization of shipped recipe 44 · test/studio-s1.test.ts:856

  Uses

  None.

• impl:protocol.example-space-decoding · shared example-space interpretation for contracts and reader contexts · src/notation/example-space.ts:473

  Component: component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.