Spec Studio

A cited token the register lacks or retires fails a rules run

spec:validation.external-registers.unknown-and-retiredExample / 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/validation/external-registers.unknown-and-retired.sdp.md

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

Intent
outcome
Execute the register check as a rules file over a Spec that cites one held, one retired and one unlisted token.
assumptions
  • The world writes a probe corpus of two story-altitude behavior Specs stating idea, each with an Intent outcome, the second declaring refines on the first, so the Protocol's validators report no finding; the first Spec's outcome names the cited tokens in prose. It writes the register file { "tokens": ["E-1", "E-2", { "token": "E-7", "retired": true }] } and runs sdp validate on the probe root with dist/recipes/50-external-registers.js named by --rules, followed by --params register=@ that file and --params holding the pattern \bE-\d+\b and uncited. The rule ids are the corpus findings' rule ids in printed order, joined by a comma and a space.
Behavior

Examples

Given a probe corpus whose Spec cites the tokens {cited: "E-1 E-7 E-9"}
Given a register file that holds {held: "E-1 E-2"} and retires {retired: "E-7"}
When the shipped external-registers file runs as a rules file with the pattern for E-numbers and uncited {uncited: false}
Then the command exits {exitCode: 1}
Then the corpus findings carry the rule ids {ruleIds: "retired-token, unknown-token"}
Verification

Verifier bindings

  • test:protocol.external-registers.unknown-and-retired · anchored · test anchor binding present · test/self-hosting-external-registers.test.ts:122

    External run evidence from test/self-hosting-external-registers.test.ts

    Test 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

    NameSuiteResultDuration
    executes the bound example against a fresh worldA cited token the register lacks or retires fails a rules run (spec:validation.external-registers.unknown-and-retired)passed25.88 ms
    executes the bound example against a fresh worldA held token no Spec cites fails a rules run only when the caller asks (spec:validation.external-registers.uncited-on-request)passed5.61 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:validation.external-registers.unknown-and-retired
The diagram as text
  • spec:validation.external-registers.unknown-and-retired: A cited token the register lacks or retires fails a rules run · declared Spec
  • spec:validation.external-registers: A corpus checks the register tokens its prose cites · declared Spec
  • test:protocol.external-registers.unknown-and-retired: test:protocol.external-registers.unknown-and-retired · anchored test binding · binding present · test/self-hosting-external-registers.test.ts:122
  • spec:validation.external-registers.unknown-and-retired refines spec:validation.external-registers · declared
  • spec:validation.external-registers.unknown-and-retired verifies spec:validation.external-registers · declared
  • test:protocol.external-registers.unknown-and-retired verifies spec:validation.external-registers.unknown-and-retired · 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:validation.external-registers.unknown-and-retired
  • E2: verifies · declared
The diagram as text
  • spec:validation.external-registers: A corpus checks the register tokens its prose cites
  • spec:validation.external-registers.unknown-and-retired: A cited token the register lacks or retires fails a rules run
  • spec:validation.external-registers.unknown-and-retired refines spec:validation.external-registers · declared
  • spec:validation.external-registers.unknown-and-retired 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

Rested on by

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingA corpus checks the register tokens its prose cites
spec:validation.external-registers · resolves		declaredNoneNone
verifies · outgoingA corpus checks the register tokens its prose cites
spec:validation.external-registers · resolves		declaredNoneregisterAsData, citation, unknownToken, retiredToken, asRulesFile

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.external-registers.unknown-and-retired · anchored · test/self-hosting-external-registers.test.ts:122 · 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.