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 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
  marks every displayed file and line across the Studio page set for source links	not recorded	passed	109.94 ms
  renders citation labels consistently on Spec and declaration pages	not recorded	passed	39.55 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	12.75 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	16.15 ms
  renders the five open panels in order, the space, bound values, absent evidence, and empty composing slots	Spec panels	passed	14.06 ms
  gives keyed terms address ids, source lines, and citations while hiding termKeys metadata	Spec panels	passed	15.16 ms
  places resolved Pack members in stated/floor cells in authored order	Spec panels	passed	22.35 ms
  keeps the maturity heading and axis explanations inside the embeddable element	Spec panels	passed	20.36 ms
  distinguishes test lines from citations by files with unrelated anchors	Spec panels	passed	21.31 ms
  renders composing slots beside unkeyed questions using the Spec scope	Spec panels	passed	14.33 ms
  keeps the unbound-verifier sentence to graph bindings without run input	Spec panels	passed	19.45 ms
  renders source locations, component links, decisions and transitive impact by distance	Structural panels and targets	passed	30.62 ms
  states absence on unwritten examples and unset constraint targets	Structural panels and targets	passed	22.85 ms
  labels a keyed rule's unbound example as not enabled	Structural panels and targets	passed	10.05 ms
  renders structure from recipe answers and reader records without exposing raw graph data	Structural panels and targets	passed	19.72 ms
  renders verifying examples for a Model without Behavior and keeps short cards to their summary	not recorded	passed	10.67 ms
  keeps example steps and composing actions outside a short Spec card	not recorded	passed	18.09 ms
  keeps trace and requirement description and arrow ids distinct for one Spec subject	not recorded	passed	15.14 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.