outcomeA literal no example binds is reported uncovered, and an unbound child is named
spec:consumers.agent-surface.example-space-coverage.uncovered-literalPacks: pack:self-hosting-v1, pack:spec-studio-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/agent-surface.example-space-coverage.uncovered-literal.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
an example space that declares the slot {slot: "availability"} as {declared: "in stock|out of stock|backordered"}
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}
the values no example binds are {uncovered: "out of stock, backordered"}
the examples that leave the slot unbound are {unbound: "spec:probe.parent.c3"}Composing needs the script.
Intent
- Execute per-value coverage on a closed union with one covered, two uncovered values and one child that binds nothing.
assumptions- The world writes a parent Spec whose example space declares the slot as a closed union of the literals the declared value lists, separated by
|, and one example child per entry of the bound value, separated by;, each child refining and verifying the parent and binding that literal, or binding no value where the entry isnone; it runs recipe 44's shipped body with the parent asspecand joins the uncovered values and the unbound children's ids with,. The parent's id ends inprobe.parent, and each child's id is the parent's followed by.c1,.c2and on, in order.
- The world writes a parent Spec whose example space declares the slot as a closed union of the literals the declared value lists, separated by
Behavior
Examples
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"}Verification
Verifier bindings
- test:protocol.studio-coverage-literal · anchored · test anchor binding present ·
test/studio-s1.test.ts:938External run evidence from
test/studio-s1.test.tsTest 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 433 · Branch: fix/second-review-pass · Commit: 6375b6e431a7cf885a49befec76d7876cd3e538c · Start: 2026-11-04T07:12:23.076Z · Stop: 2026-11-04T07:15:49.695Z
Name Suite Result Duration bounds and folds 12 components Studio diagrams passed 38.91 ms bounds and folds 45 components Studio diagrams passed 10.32 ms bounds and folds 50 components Studio diagrams passed 15.96 ms keeps every edge in an open text fallback Studio diagrams passed 2.87 ms orders grid contexts and layers and wraps cells within the fixed width budget Studio diagrams passed 6.4 ms draws planned-use edges dashed independently of planned box outlines Studio diagrams passed 0.87 ms checks the edge bound even when boxes fit Studio diagrams passed 1 ms places folded contexts and layers in their own bands below the grid Studio diagrams passed 6.46 ms places outgoing relation bands above the subject and folds ties in relation order Studio diagrams passed 17.11 ms folds trace relation groups and leaves member overflow as text Studio diagrams passed 4.36 ms keeps recipe and diagram edges in code-unit order under forced Czech collation Studio lenses passed 140.45 ms publishes all five ordered lenses and honest evidence without script Studio lenses passed 63.22 ms reads verifier binding from the delivery fact and gives absent coverage its own filter value Studio lenses passed 23.92 ms labels a primitive-only space with no examples not measurable and hides it under covered Studio lenses passed 23.07 ms classifies 'number' with points [ '1' ] and mixed=false as 'not-measurable' Studio lenses passed 20.73 ms classifies 'string' with points [ '"a"' ] and mixed=false as 'not-measurable' Studio lenses passed 16.4 ms classifies 'boolean' with points [ 'true' ] and mixed=false as 'not-measurable' Studio lenses passed 12.61 ms classifies '"a"|"b"' with points [] and mixed=false as 'uncovered' Studio lenses passed 8.17 ms classifies '"a"|"b"' with points [ '"a"' ] and mixed=false as 'uncovered' Studio lenses passed 18.43 ms classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=false as 'covered' Studio lenses passed 27.57 ms classifies '"a"|"b"' with points [ '"a"' ] and mixed=true as 'uncovered' Studio lenses passed 15.7 ms classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=true as 'covered' Studio lenses passed 22 ms renders member subjects, code spans, used-by counts, differences and empty components Studio lenses passed 20.76 ms describes evidence sources as not tracked Studio lenses passed 4.48 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 29.06 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 20.56 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 17.6 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 23.36 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 18.81 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 6.94 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 4.54 ms reuses the build's reader and validation findings during Studio recipe evaluation not recorded passed 5.98 ms documents the component and member fields recipe 17 adds not recorded passed 2.16 ms evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base false not recorded passed 23.69 ms evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base true not recorded passed 26.3 ms keeps label lines bounded and orders member depths numerically with outside units last not recorded passed 2.61 ms labels planned uses, reports unreadable designs and keeps unknown structure visible not recorded passed 14.99 ms gives unstated context and layer folds addressable text descriptions not recorded passed 1.68 ms names a single edge relation once in the legend and preserves its text equivalent not recorded passed 3.44 ms names solid and planned uses once without repeating edge labels not recorded passed 1.02 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal: A literal no example binds is reported uncovered, and an unbound child is named · declared Spec
- spec:consumers.agent-surface.example-space-coverage: Example spaces report which values their examples cover · declared Spec
- test:protocol.studio-coverage-literal: test:protocol.studio-coverage-literal · anchored test binding · binding present ·
test/studio-s1.test.ts:938 - spec:consumers.agent-surface.example-space-coverage.uncovered-literal refines spec:consumers.agent-surface.example-space-coverage · declared
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal verifies spec:consumers.agent-surface.example-space-coverage · declared
- test:protocol.studio-coverage-literal verifies spec:consumers.agent-surface.example-space-coverage.uncovered-literal · 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.example-space-coverage: Example spaces report which values their examples cover
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal: A literal no example binds is reported uncovered, and an unbound child is named
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal refines spec:consumers.agent-surface.example-space-coverage · declared
- spec:consumers.agent-surface.example-space-coverage.uncovered-literal verifies spec:consumers.agent-surface.example-space-coverage · 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.example-space-coverage · 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 | Example spaces report which values their examples coverspec:consumers.agent-surface.example-space-coverage · resolves | declared | None | None |
| verifies · outgoing | Example spaces report which values their examples coverspec:consumers.agent-surface.example-space-coverage · resolves | declared | None | catalogRecipe, literalUnions, eligibleChildren, unboundSlot |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.studio-coverage-literal · anchored ·
test/studio-s1.test.ts:938· 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.