outcomeA finding id the source writes outside every registry is named
spec:validation.validator-self-testing.unregistered-id-namedPacks: pack:self-hosting-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/validation/validator-self-testing.unregistered-id-named.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
the audit reads {table: "the shipped probe table"}
the check {findingId: "conformance/orphans"} behaves {behavior: "as shipped"}
the engine source also writes {extraSourceId: "conformance/unlisted-check"}When
the audit runs
Then
the audit {verdict: "fails"}
the audit names {named: "conformance/unlisted-check"} as {list: "unregistered"}Composing needs the script.
Intent
- Execute the audit on a source that writes a finding id no registry lists.
Behavior
Examples
Given the audit reads {table: "the shipped probe table"}
Given the check {findingId: "conformance/orphans"} behaves {behavior: "as shipped"}
Given the engine source also writes {extraSourceId: "conformance/unlisted-check"}
When the audit runs
Then the audit {verdict: "fails"}
Then the audit names {named: "conformance/unlisted-check"} as {list: "unregistered"}Verification
Verifier bindings
- test:protocol.validator-self-testing.unregistered-id-named · anchored · test anchor binding present ·
test/validator-audit.test.ts:217External run evidence from
test/validator-audit.test.tsTest anchors:
test:protocol.validator-self-testing.duplicate-pair-named,test:protocol.validator-self-testing.overeager-check-named,test:protocol.validator-self-testing.shipped-checks-paired,test:protocol.validator-self-testing.silent-check-named,test:protocol.validator-self-testing.unpaired-check-named,test:protocol.validator-self-testing.unregistered-id-named. Specs verified by those bindings: spec:validation.validator-self-testing, spec:validation.validator-self-testing.duplicate-pair-named, spec:validation.validator-self-testing.overeager-check-named, spec:validation.validator-self-testing.shipped-checks-paired, spec:validation.validator-self-testing.silent-check-named, spec:validation.validator-self-testing.unpaired-check-named, spec:validation.validator-self-testing.unregistered-id-named.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 Every shipped check reports its refusing probe and leaves its near miss alone (spec:validation.validator-self-testing.shipped-checks-paired) passed 116.59 ms executes the bound example against a fresh world A check that stops reporting is named silent (spec:validation.validator-self-testing.silent-check-named) passed 53.95 ms executes the bound example against a fresh world A check that reports its near miss is named overeager (spec:validation.validator-self-testing.overeager-check-named) passed 48.87 ms executes the bound example against a fresh world A registered check without a probe pair is named unpaired (spec:validation.validator-self-testing.unpaired-check-named) passed 51.14 ms executes the bound example against a fresh world A check paired twice is named (spec:validation.validator-self-testing.duplicate-pair-named) passed 73.99 ms executes the bound example against a fresh world A finding id the source writes outside every registry is named (spec:validation.validator-self-testing.unregistered-id-named) passed 44.88 ms reads all literal quote forms, ignores comments, and locates incomplete ids not recorded passed 1.47 ms names stray pairs, runtime-only ids and unresolved source locations, once and sorted not recorded passed 0.33 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:validation.validator-self-testing.unregistered-id-named: A finding id the source writes outside every registry is named · declared Spec
- spec:validation.validator-self-testing: Every validator ships evidence in both directions · declared Spec
- test:protocol.validator-self-testing.unregistered-id-named: test:protocol.validator-self-testing.unregistered-id-named · anchored test binding · binding present ·
test/validator-audit.test.ts:217 - spec:validation.validator-self-testing.unregistered-id-named refines spec:validation.validator-self-testing · declared
- spec:validation.validator-self-testing.unregistered-id-named verifies spec:validation.validator-self-testing · declared
- test:protocol.validator-self-testing.unregistered-id-named verifies spec:validation.validator-self-testing.unregistered-id-named · 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.validator-self-testing: Every validator ships evidence in both directions
- spec:validation.validator-self-testing.unregistered-id-named: A finding id the source writes outside every registry is named
- spec:validation.validator-self-testing.unregistered-id-named refines spec:validation.validator-self-testing · declared
- spec:validation.validator-self-testing.unregistered-id-named verifies spec:validation.validator-self-testing · 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.validator-self-testing · 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 | Every validator ships evidence in both directionsspec:validation.validator-self-testing · resolves | declared | None | None |
| verifies · outgoing | Every validator ships evidence in both directionsspec:validation.validator-self-testing · resolves | declared | None | closedTable |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.validator-self-testing.unregistered-id-named · anchored ·
test/validator-audit.test.ts:217· 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.