A registered check without a probe pair is named unpaired

outcome

Execute the audit on a table that has lost one check's probe pair.

Examples

Given the audit reads {table: "the shipped table without one pair"}
Given the check {findingId: "conformance/orphans"} behaves {behavior: "as shipped"}
Given the engine source also writes {extraSourceId: "nothing"}
When the audit runs
Then the audit {verdict: "fails"}
Then the audit names {named: "conformance/orphans"} as {list: "unpaired"}

Verifier bindings

• test:protocol.validator-self-testing.unpaired-check-named · anchored · test anchor binding present · test/validator-audit.test.ts:187

  External run evidence from test/validator-audit.test.ts

  Test 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 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	Every shipped check reports its refusing probe and leaves its near miss alone (spec:validation.validator-self-testing.shipped-checks-paired)	passed	112.97 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	46.66 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	42.3 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	45.52 ms
  executes the bound example against a fresh world	A check paired twice is named (spec:validation.validator-self-testing.duplicate-pair-named)	passed	90.29 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	64.41 ms
  reads all literal quote forms, ignores comments, and locates incomplete ids	not recorded	passed	1.44 ms
  names stray pairs, runtime-only ids and unresolved source locations, once and sorted	not recorded	passed	0.26 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.