Spec Studio

A test title in an anchored file cites a pinned declaration

spec:extraction.entry-citations.test-title-cites-declarationExample / Scenario · storyready floor ready

Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Design: no design entries · no pinned declarations · no decisions

Findings: no errors, no warnings

specs/extraction/entry-citations.test-title-cites-declaration.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.

Intent
outcome
Execute the citation record on a test file that carries a test anchor and names a pinned declaration's address as a test title.
assumptions
  • The world writes a probe corpus of one story-altitude behavior Spec stating idea with an Intent outcome and one Design entry, typeOne, whose value opens with the code span type One = string. It writes a test file that carries a constant-form test anchor verifying that Spec and, on the line the step names, calls test with the address as its title. It derives the graph, reads the Spec context's entry citations, the row's resolves and whether its testAnchors names the file's anchor, then runs sdp validate on the probe root with dist/recipes/51-entry-citations.js named by --rules.
Behavior

Examples

Given a probe corpus whose Spec pins the declaration {declaration: "spec:probe.one#design.typeOne"}
Given a source file that {anchored: "carries a test anchor verifying the Spec"} and names the address {address: "spec:probe.one#design.typeOne"} on line {line: 9}
When the graph is derived
Then the Spec context lists {citations: 1} entry citations
Then the citation {recorded: "resolves"}
Then the citing line reads as a test line: {testLine: true}
Then the shipped entry-citations file named as a rules file exits {exitCode: 0}
Verification

Verifier bindings

  • test:protocol.entry-citations.test-title-cites-declaration · anchored · test anchor binding present · test/entry-citations.test.ts:191

    External run evidence from test/entry-citations.test.ts

    Test anchors: test:protocol.entry-citations.code-comment-cites-declaration, test:protocol.entry-citations.test-title-cites-declaration, test:protocol.entry-citations.unanchored-file-unread, test:protocol.entry-citations.unresolved-citation. Specs verified by those bindings: spec:extraction.entry-citations, spec:extraction.entry-citations.code-comment-cites-declaration, spec:extraction.entry-citations.test-title-cites-declaration, spec:extraction.entry-citations.unanchored-file-unread, spec:extraction.entry-citations.unresolved-citation.

    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

    NameSuiteResultDuration
    executes the bound example against a fresh worldA test title in an anchored file cites a pinned declaration (spec:extraction.entry-citations.test-title-cites-declaration)passed471.16 ms
    executes the bound example against a fresh worldA code file's comment cites a declaration without reading as a test line (spec:extraction.entry-citations.code-comment-cites-declaration)passed466.32 ms
    executes the bound example against a fresh worldA file that carries no anchor is not read for citations (spec:extraction.entry-citations.unanchored-file-unread)passed444.89 ms
    executes the bound example against a fresh worldA citation of an entry its Spec lacks reports through the recipe, never as a Protocol finding (spec:extraction.entry-citations.unresolved-citation)passed399.98 ms
    scans comments, strings and templates, deduplicates a line and keeps code-unit orderentry citation extraction and readerpassed17.9 ms
    records no citation for a token continued by interpolation, even when its prefix parsesentry citation extraction and readerpassed467.26 ms
    keeps a literal malformed token beside an interpolated token on the same lineentry citation extraction and readerpassed0.43 ms
    keeps a malformed literal before a separate template interpolationentry citation extraction and readerpassed0.23 ms
    records no citation for a prefix with trailing punctuation before interpolationentry citation extraction and readerpassed0.27 ms
    does not report a computed order key as an unresolved citation in recipe 51entry citation extraction and readerpassed482.07 ms
    recipe 51 locates a citation of the second keyed questionentry citation extraction and readerpassed8.47 ms
    ends citation tokens at source escapes before checking for an addressentry citation extraction and readerpassed6.53 ms
    sorts in-memory citations by address on a shared source lineentry citation extraction and readerpassed6.78 ms
    sorts reader citations by address before file and lineentry citation extraction and readerpassed4.96 ms
    rejects a crashed rules file even when its exit code matches the exampleentry citation extraction and readerpassed580.31 ms
    counts Unicode source line separators as TypeScript doesentry citation extraction and readerpassed5.25 ms
    reads a file carrying only an identity anchor, and ignores carriers and unanchored sourcesentry citation extraction and readerpassed2.84 ms
    includes only tests in the citing file that verify directly or through an exampleentry citation extraction and readerpassed7.17 ms
    reads a newly shared term address through termKeys even without location rowsentry citation extraction and readerpassed3.66 ms
    does not treat future address sections as Model termsentry citation extraction and readerpassed3.1 ms
    resolves UI, rules, flows and questions without depending on entry locationsentry citation extraction and readerpassed4 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:extraction.entry-citations.test-title-cites-declaration
The diagram as text
  • spec:extraction.entry-citations.test-title-cites-declaration: A test title in an anchored file cites a pinned declaration · declared Spec
  • spec:extraction.entry-citations: The graph records where anchored source cites an entry address · declared Spec
  • test:protocol.entry-citations.test-title-cites-declaration: test:protocol.entry-citations.test-title-cites-declaration · anchored test binding · binding present · test/entry-citations.test.ts:191
  • spec:extraction.entry-citations.test-title-cites-declaration refines spec:extraction.entry-citations · declared
  • spec:extraction.entry-citations.test-title-cites-declaration verifies spec:extraction.entry-citations · declared
  • test:protocol.entry-citations.test-title-cites-declaration verifies spec:extraction.entry-citations.test-title-cites-declaration · 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
Relations of spec:extraction.entry-citations.test-title-cites-declaration
  • E2: verifies · declared
The diagram as text
  • spec:extraction.entry-citations: The graph records where anchored source cites an entry address
  • spec:extraction.entry-citations.test-title-cites-declaration: A test title in an anchored file cites a pinned declaration
  • spec:extraction.entry-citations.test-title-cites-declaration refines spec:extraction.entry-citations · declared
  • spec:extraction.entry-citations.test-title-cites-declaration verifies spec:extraction.entry-citations · 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

Rested on by

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingThe graph records where anchored source cites an entry address
spec:extraction.entry-citations · resolves
declaredNoneNone
verifies · outgoingThe graph records where anchored source cites an entry address
spec:extraction.entry-citations · resolves
declaredNoneanchoredFilesOnly, citationToken, citationRow, readerRows, declarationLines

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.entry-citations.test-title-cites-declaration · anchored · test/entry-citations.test.ts:191 · 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.