A pinned declaration shows the test line that cites it

outcome

Execute the citations beside pinned declarations: a cited declaration lists its citing file and line, and an uncited one says so.

assumptions

• The world writes a root with one Spec whose Design section holds two keyed entries, each opening with a code span, and a test file that holds a specTest anchor and writes the first entry's address on its twelfth line, in the form the extractor records as a citation; it builds the page set and reads the Spec page under each declaration.

Examples

Given a Spec with two pinned declarations, the first of which an anchored test file {file: "test/orders.test.ts"} cites at line {line: 12}
When the build renders the Spec's page
Then beside the first declaration the page lists {cited: "test/orders.test.ts:12"}
Then beside the second declaration the page reads {uncited: "no citation recorded"}

Verifier bindings

• test:protocol.studio-cited-declaration · anchored · test anchor binding present · test/studio-s2.test.ts:139

  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.