A citation of an entry its Spec lacks reports through the recipe, never as a Protocol finding

outcome

Execute the unresolved path on an anchored test file that names a Design key its Spec does not carry.

assumptions

• The world writes the probe corpus and anchored test file of the test-title example, the title naming the address below. It derives the graph and reads the Spec context's entry citations, checks that the validation report holds no finding about the citation, then runs the shipped entry-citations file as a rules file as that example does.

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.typeTwo"} on line {line: 9}
When the graph is derived
Then the Spec context lists {citations: 1} entry citations
Then the citation {recorded: "does not resolve"}
Then the shipped entry-citations file named as a rules file exits {exitCode: 1}

Verifier bindings

• test:protocol.entry-citations.unresolved-citation · anchored · test anchor binding present · test/entry-citations.test.ts:206

  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

  Name	Suite	Result	Duration
  executes the bound example against a fresh world	A test title in an anchored file cites a pinned declaration (spec:extraction.entry-citations.test-title-cites-declaration)	passed	471.16 ms
  executes the bound example against a fresh world	A code file's comment cites a declaration without reading as a test line (spec:extraction.entry-citations.code-comment-cites-declaration)	passed	466.32 ms
  executes the bound example against a fresh world	A file that carries no anchor is not read for citations (spec:extraction.entry-citations.unanchored-file-unread)	passed	444.89 ms
  executes the bound example against a fresh world	A citation of an entry its Spec lacks reports through the recipe, never as a Protocol finding (spec:extraction.entry-citations.unresolved-citation)	passed	399.98 ms
  scans comments, strings and templates, deduplicates a line and keeps code-unit order	entry citation extraction and reader	passed	17.9 ms
  records no citation for a token continued by interpolation, even when its prefix parses	entry citation extraction and reader	passed	467.26 ms
  keeps a literal malformed token beside an interpolated token on the same line	entry citation extraction and reader	passed	0.43 ms
  keeps a malformed literal before a separate template interpolation	entry citation extraction and reader	passed	0.23 ms
  records no citation for a prefix with trailing punctuation before interpolation	entry citation extraction and reader	passed	0.27 ms
  does not report a computed order key as an unresolved citation in recipe 51	entry citation extraction and reader	passed	482.07 ms
  recipe 51 locates a citation of the second keyed question	entry citation extraction and reader	passed	8.47 ms
  ends citation tokens at source escapes before checking for an address	entry citation extraction and reader	passed	6.53 ms
  sorts in-memory citations by address on a shared source line	entry citation extraction and reader	passed	6.78 ms
  sorts reader citations by address before file and line	entry citation extraction and reader	passed	4.96 ms
  rejects a crashed rules file even when its exit code matches the example	entry citation extraction and reader	passed	580.31 ms
  counts Unicode source line separators as TypeScript does	entry citation extraction and reader	passed	5.25 ms
  reads a file carrying only an identity anchor, and ignores carriers and unanchored sources	entry citation extraction and reader	passed	2.84 ms
  includes only tests in the citing file that verify directly or through an example	entry citation extraction and reader	passed	7.17 ms
  reads a newly shared term address through termKeys even without location rows	entry citation extraction and reader	passed	3.66 ms
  does not treat future address sections as Model terms	entry citation extraction and reader	passed	3.1 ms
  resolves UI, rules, flows and questions without depending on entry locations	entry citation extraction and reader	passed	4 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.