outcomeA held token no Spec cites fails a rules run only when the caller asks
spec:validation.external-registers.uncited-on-requestPacks: pack:adopter-speed-v1, pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/validation/external-registers.uncited-on-request.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
a probe corpus whose Spec cites the tokens {cited: "E-1"}
a register file that holds {held: "E-1 E-2"} and retires {retired: ""}When
the shipped external-registers file runs as a rules file with the pattern for E-numbers and uncited {uncited: true}Then
the command exits {exitCode: 1}
the corpus findings carry the rule ids {ruleIds: "uncited-token"}Composing needs the script.
Intent
- Execute the uncited check as a rules file over a Spec that cites one of two held tokens.
assumptions- The world writes the probe corpus of the unknown-and-retired example, its first Spec citing only the held token named below, and the register file
{ "tokens": ["E-1", "E-2"] }, and runs the shipped file as that example does, withuncitedtrue.
- The world writes the probe corpus of the unknown-and-retired example, its first Spec citing only the held token named below, and the register file
Behavior
Examples
Given a probe corpus whose Spec cites the tokens {cited: "E-1"}
Given a register file that holds {held: "E-1 E-2"} and retires {retired: ""}
When the shipped external-registers file runs as a rules file with the pattern for E-numbers and uncited {uncited: true}
Then the command exits {exitCode: 1}
Then the corpus findings carry the rule ids {ruleIds: "uncited-token"}Verification
Verifier bindings
- test:protocol.external-registers.uncited-on-request · anchored · test anchor binding present ·
test/self-hosting-external-registers.test.ts:128External run evidence from
test/self-hosting-external-registers.test.tsTest anchors:
test:protocol.external-registers.uncited-on-request,test:protocol.external-registers.unknown-and-retired. Specs verified by those bindings: spec:validation.external-registers, spec:validation.external-registers.uncited-on-request, spec:validation.external-registers.unknown-and-retired.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 executes the bound example against a fresh world A cited token the register lacks or retires fails a rules run (spec:validation.external-registers.unknown-and-retired) passed 25.88 ms executes the bound example against a fresh world A held token no Spec cites fails a rules run only when the caller asks (spec:validation.external-registers.uncited-on-request) passed 5.61 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:validation.external-registers.uncited-on-request: A held token no Spec cites fails a rules run only when the caller asks · declared Spec
- spec:validation.external-registers: A corpus checks the register tokens its prose cites · declared Spec
- test:protocol.external-registers.uncited-on-request: test:protocol.external-registers.uncited-on-request · anchored test binding · binding present ·
test/self-hosting-external-registers.test.ts:128 - spec:validation.external-registers.uncited-on-request refines spec:validation.external-registers · declared
- spec:validation.external-registers.uncited-on-request verifies spec:validation.external-registers · declared
- test:protocol.external-registers.uncited-on-request verifies spec:validation.external-registers.uncited-on-request · 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
- E2: verifies · declared
The diagram as text
- spec:validation.external-registers: A corpus checks the register tokens its prose cites
- spec:validation.external-registers.uncited-on-request: A held token no Spec cites fails a rules run only when the caller asks
- spec:validation.external-registers.uncited-on-request refines spec:validation.external-registers · declared
- spec:validation.external-registers.uncited-on-request verifies spec:validation.external-registers · 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
- refines · spec:validation.external-registers · stated ready, floor ready
Rested on by
No Spec rests on this Spec.
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | A corpus checks the register tokens its prose citesspec:validation.external-registers · resolves | declared | None | None |
| verifies · outgoing | A corpus checks the register tokens its prose citesspec:validation.external-registers · resolves | declared | None | uncitedToken, asRulesFile |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.external-registers.uncited-on-request · anchored ·
test/self-hosting-external-registers.test.ts:128· 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.