The tests lens shows how far each Spec's verification reaches

outcome

Let a person see, for every Spec, whether a verifier is bound, which keyed rules an example exercises, and which example-space values no example binds.

rule.coverageRows line 27 · specs/consumers/spec-studio.lenses.tests.sdp.md:27

The lens lists one row per Spec that is not an example, in id order: its verifier binding as present or none, with its verifiers and how many are enabled; its keyed rules with how many an enabled example exercises, from recipe 34; its unkeyed rules, counted apart because the graph cannot tell which examples exercise a rule with no key; and, when it owns an example space, its uncovered values and the examples that leave a slot unbound, from recipe 44. Each row links to the verification panel of the Spec's page. A space with no enumerable slot is not measurable, whether or not it has examples; otherwise it is uncovered when any enumerable value has no example and covered when all enumerable values have examples. Non-enumerable slots do not affect a mixed space's classification.

spec:consumers.spec-studio.lenses.tests.coverage-row · enabled

Cited at

• Test line · test/studio-s1.test.ts:433 · test:protocol.studio-tests-coverage-row

rule.bindingsOnly line 28 · specs/consumers/spec-studio.lenses.tests.sdp.md:28

The lens shows verifier bindings and states no run result of its own; with the run records input, a row adds how many of the results recipe 45 joins from its verifiers' test files passed, failed, were skipped, pending or other, labelled as external run evidence from those files and never as a verdict on the Spec or on one verifier.

no example exercises it

rule.filters line 29 · specs/consumers/spec-studio.lenses.tests.sdp.md:29

Filters narrow the rows by verifier binding, by whether a keyed rule goes unexercised, by example-space classification (covered, uncovered, not measurable or no space), and by Pack, and the section says how many rows it shows; without script every row shows.

no example exercises it

Cited at

• Test line · test/studio-s1.test.ts:434 · test:protocol.studio-tests-coverage-row

rule.testsSummary line 30 · specs/consumers/spec-studio.lenses.tests.sdp.md:30

The page opens with sentences the build counts from the recipes' answers: the Specs with and without a verifier binding, the keyed rules exercised and unexercised, the unkeyed rules, the example spaces with an uncovered value, and, with run records, the inputs it names.

no example exercises it

0 unkeyed rules.

Verifying examples

Given a Spec with {keyed: 2} keyed rules and {unkeyed: 1} unkeyed rules
Given an example bound to a test anchor that exercises {exercised: 1} of those keyed rules
When the build renders the tests lens
Then the Spec's row reads {coverage: "1 of 2 keyed rules exercised"}
Then the Spec's row reads its verifier binding as {binding: "present"}

Example space

Given a Spec with {keyed:number} keyed rules and {unkeyed:number} unkeyed rules
Given an example bound to a test anchor that exercises {exercised:number} of those keyed rules
When the build renders the tests lens
Then the Spec's row reads {coverage:string}
Then the Spec's row reads its verifier binding as {binding:"present"|"none"}

testsPage line 33 · specs/consumers/spec-studio.lenses.tests.sdp.md:33

in order, the page title Tests, the summary sentences, the filter bar, and the rows, each a line that wraps on a narrow screen.

coverageRow line 34 · specs/consumers/spec-studio.lenses.tests.sdp.md:34

the Spec's title linked to its page's verification panel, its id as code, then as plain text: verifier binding present or none with <n> verifiers, <m> enabled, <e> of <k> keyed rules exercised, <u> unkeyed rules, and <v> uncovered values when its example space has an enumerable slot, or not measurable when it has a space with no enumerable slot; with run records, external run evidence: and the count of each result.

filterBar line 35 · specs/consumers/spec-studio.lenses.tests.sdp.md:35

one labelled select per filter, each listing any and the values the rows hold, and a line saying how many of all rows show.

Verifier bindings

• spec:consumers.spec-studio.lenses.tests.coverage-row · A Spec's row on the tests lens counts its exercised keyed rules · declared · example enabled · specs/consumers/spec-studio.lenses.tests.coverage-row.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 2: external run evidence from vitest 4.1.10

  Build: CI 439 · Branch: docs/articles-refresh-1 · Commit: 61576184ea9f39b7f91c51fef5ff991b0bf2d0e6 · Start: 2026-11-04T07:59:39.962Z · Stop: 2026-11-04T08:03:39.928Z

  Name	Suite	Result	Duration
  bounds and folds 12 components	Studio diagrams	passed	38.35 ms
  bounds and folds 45 components	Studio diagrams	passed	7.75 ms
  bounds and folds 50 components	Studio diagrams	passed	13.87 ms
  keeps every edge in an open text fallback	Studio diagrams	passed	3.28 ms
  orders grid contexts and layers and wraps cells within the fixed width budget	Studio diagrams	passed	7.95 ms
  draws planned-use edges dashed independently of planned box outlines	Studio diagrams	passed	0.94 ms
  checks the edge bound even when boxes fit	Studio diagrams	passed	1.11 ms
  places folded contexts and layers in their own bands below the grid	Studio diagrams	passed	6.6 ms
  places outgoing relation bands above the subject and folds ties in relation order	Studio diagrams	passed	14.69 ms
  folds trace relation groups and leaves member overflow as text	Studio diagrams	passed	5.47 ms
  keeps recipe and diagram edges in code-unit order under forced Czech collation	Studio lenses	passed	158.05 ms
  publishes all five ordered lenses and honest evidence without script	Studio lenses	passed	48.75 ms
  reads verifier binding from the delivery fact and gives absent coverage its own filter value	Studio lenses	passed	24.68 ms
  labels a primitive-only space with no examples not measurable and hides it under covered	Studio lenses	passed	19.71 ms
  classifies 'number' with points [ '1' ] and mixed=false as 'not-measurable'	Studio lenses	passed	27.59 ms
  classifies 'string' with points [ '"a"' ] and mixed=false as 'not-measurable'	Studio lenses	passed	22.24 ms
  classifies 'boolean' with points [ 'true' ] and mixed=false as 'not-measurable'	Studio lenses	passed	21.34 ms
  classifies '"a"|"b"' with points [] and mixed=false as 'uncovered'	Studio lenses	passed	9.31 ms
  classifies '"a"|"b"' with points [ '"a"' ] and mixed=false as 'uncovered'	Studio lenses	passed	11.95 ms
  classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=false as 'covered'	Studio lenses	passed	21.28 ms
  classifies '"a"|"b"' with points [ '"a"' ] and mixed=true as 'uncovered'	Studio lenses	passed	13.39 ms
  classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=true as 'covered'	Studio lenses	passed	22.99 ms
  renders member subjects, code spans, used-by counts, differences and empty components	Studio lenses	passed	20.35 ms
  describes evidence sources as not tracked	Studio lenses	passed	5.63 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	15.29 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	9.87 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	9.44 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	16.52 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	39.4 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	13.51 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.87 ms
  reuses the build's reader and validation findings during Studio recipe evaluation	not recorded	passed	6.42 ms
  documents the component and member fields recipe 17 adds	not recorded	passed	2.02 ms
  evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base false	not recorded	passed	21.1 ms
  evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base true	not recorded	passed	23.64 ms
  keeps label lines bounded and orders member depths numerically with outside units last	not recorded	passed	1.86 ms
  labels planned uses, reports unreadable designs and keeps unknown structure visible	not recorded	passed	14.7 ms
  gives unstated context and layer folds addressable text descriptions	not recorded	passed	1.45 ms
  names a single edge relation once in the legend and preserves its text equivalent	not recorded	passed	3.24 ms
  names solid and planned uses once without repeating edge labels	not recorded	passed	1.09 ms

Requirement drawing

Decisions

• Bindings state existence, not liveness

  Delivery facts record bindings and enabled verifier existence; coverage gaps and human readiness practice remain explicit without becoming graph facts.

• Verification mode states posture, not realization

  verification.mode states the intended verification posture; enabled-verifier realization remains a derived fact and the two are never collapsed.

• component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  • component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:197 · layer application · context protocol
  • 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:263 · layer domain · context protocol
  • component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:697 · layer application · context protocol
  • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:76 · layer domain · context protocol
• impl:protocol.studio-tests-lens · renders shared rule and example-space coverage with filters and verifier bindings · src/projections/studio/pages/tests-page.ts:34

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.