Each keyed rule shows the examples that exercise it, or that none does

outcome

Execute rule coverage on a Spec page: an exercised rule lists its example in words, and an unexercised rule says so.

assumptions

• The world writes a root with one behavior Spec holding the rules keyed paid and refunded and one example child that verifies it, exercising paid, bound by a specTest anchor; it builds the page set and reads the Spec page beside each keyed rule.

Examples

Given a Spec whose keyed rule {exercisedKey: "paid"} an enabled example exercises and whose keyed rule {otherKey: "refunded"} no example exercises
When the build renders the Spec's page
Then beside the first rule the panel lists the example as {enabledWords: "enabled"}
Then beside the second rule the panel reads {unexercised: "no example exercises it"}

Verifier bindings

• test:protocol.studio-rule-coverage · anchored · test anchor binding present · test/studio-s2.test.ts:220

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

  Test anchors: test:protocol.studio-cited-declaration, test:protocol.studio-panels, test:protocol.studio-rule-coverage. Specs verified by those bindings: spec:consumers.spec-studio.pack-page.maturity-map, spec:consumers.spec-studio.spec-page, spec:consumers.spec-studio.spec-page.cited-declaration, spec:consumers.spec-studio.verification-panels, spec:consumers.spec-studio.verification-panels.rule-coverage.

  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
  marks every displayed file and line across the Studio page set for source links	not recorded	passed	191.23 ms
  renders citation labels consistently on Spec and declaration pages	not recorded	passed	84.44 ms
  executes the bound example against a fresh world	A pinned declaration shows the test line that cites it (spec:consumers.spec-studio.spec-page.cited-declaration)	passed	9.52 ms
  executes the bound example against a fresh world	Each keyed rule shows the examples that exercise it, or that none does (spec:consumers.spec-studio.verification-panels.rule-coverage)	passed	14.24 ms
  renders the five open panels in order, the space, bound values, absent evidence, and empty composing slots	Spec panels	passed	9.37 ms
  gives keyed terms address ids, source lines, and citations while hiding termKeys metadata	Spec panels	passed	6.44 ms
  places resolved Pack members in stated/floor cells in authored order	Spec panels	passed	26.08 ms
  keeps the maturity heading and axis explanations inside the embeddable element	Spec panels	passed	24.34 ms
  distinguishes test lines from citations by files with unrelated anchors	Spec panels	passed	27.53 ms
  renders composing slots beside unkeyed questions using the Spec scope	Spec panels	passed	12.6 ms
  keeps the unbound-verifier sentence to graph bindings without run input	Spec panels	passed	16.48 ms
  renders source locations, component links, decisions and transitive impact by distance	Structural panels and targets	passed	42.86 ms
  states absence on unwritten examples and unset constraint targets	Structural panels and targets	passed	20.73 ms
  labels a keyed rule's unbound example as not enabled	Structural panels and targets	passed	16.54 ms
  renders structure from recipe answers and reader records without exposing raw graph data	Structural panels and targets	passed	18.79 ms
  renders verifying examples for a Model without Behavior and keeps short cards to their summary	not recorded	passed	10.89 ms
  keeps example steps and composing actions outside a short Spec card	not recorded	passed	17.12 ms
  keeps trace and requirement description and arrow ids distinct for one Spec subject	not recorded	passed	11.12 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.