An unbound example below ready is data, not a warning

problem

A corpus designed before its code exists gets one verifies-linkage warning per example for a state that is honest at the rung the example states, so a real warning hides among them.

outcome

Keep the unbound state of an example visible as data, and reserve the warning for an example that states ready.

rule line 16 · specs/validation/unbound-example-posture.sdp.md:16

An example that declares verifies and has no resolving test anchor is named by the verifies-linkage warning only when the example states ready.

rule line 17 · specs/validation/unbound-example-posture.sdp.md:17

Below ready the same state is data. The reader reports the example's verifier binding as declared and not enabled, the declared-versus-enabled recipe lists it, and it confers no has-verifier.

rule line 18 · specs/validation/unbound-example-posture.sdp.md:18

A Spec of any other kind that declares verifies warns at every rung.

rule line 19 · specs/validation/unbound-example-posture.sdp.md:19

A ready parent other than a decision keeps its gap while no resolving verifier verifies it. Once another enabled example or a direct test anchor verifies it, an unbound example below ready is data alone, and an unbound ready example keeps its own warning.

rule line 20 · specs/validation/unbound-example-posture.sdp.md:20

The worked example shows its unbound example through its Design Review verifier bindings and the declared-versus-enabled recipe.

5 unkeyed rules.

Verifying examples

Given the verification posture matrix {matrix: "lower-rungs"}
When the reader derives the verification signals
Then the matrix reports {warnings: 0} linkage warnings and {gaps: 0} parent gaps and {oracleErrors: 0} oracle errors

Given the verification posture matrix {matrix: "parent-traces"}
When the reader derives the verification signals
Then the matrix reports {warnings: 1} linkage warnings and {gaps: 1} parent gaps and {oracleErrors: 1} oracle errors

Given the verification posture matrix {matrix: "warning-cases"}
When the reader derives the verification signals
Then the matrix reports {warnings: 29} linkage warnings and {gaps: 0} parent gaps and {oracleErrors: 0} oracle errors

Example space

Given the verification posture matrix {matrix:string}
When the reader derives the verification signals
Then the matrix reports {warnings:number} linkage warnings and {gaps:number} parent gaps and {oracleErrors:number} oracle errors

Verifier bindings

• spec:validation.unbound-example-posture.lower-rungs · Below-ready examples keep declared verifier data · declared · example enabled · specs/validation/unbound-example-posture.lower-rungs.sdp.md

  External run evidence from test/self-hosting-unbound-example.test.ts

  Test anchors: test:protocol.unbound-example-posture.lower-rungs, test:protocol.unbound-example-posture.parent-traces, test:protocol.unbound-example-posture.warning-cases. Specs verified by those bindings: spec:validation.unbound-example-posture, spec:validation.unbound-example-posture.lower-rungs, spec:validation.unbound-example-posture.parent-traces, spec:validation.unbound-example-posture.warning-cases.

  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	Below-ready examples keep declared verifier data (spec:validation.unbound-example-posture.lower-rungs)	passed	10.37 ms
  executes the bound example against a fresh world	Ready examples and non-example verifiers keep warnings (spec:validation.unbound-example-posture.warning-cases)	passed	15.25 ms
  executes the bound example against a fresh world	Parent gaps follow enabled bindings and preserve the decision exemption (spec:validation.unbound-example-posture.parent-traces)	passed	4.06 ms

• spec:validation.unbound-example-posture.parent-traces · Parent gaps follow enabled bindings and preserve the decision exemption · declared · example enabled · specs/validation/unbound-example-posture.parent-traces.sdp.md
• spec:validation.unbound-example-posture.warning-cases · Ready examples and non-example verifiers keep warnings · declared · example enabled · specs/validation/unbound-example-posture.warning-cases.sdp.md

Requirement drawing

Decisions

No decision record named.

• component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol

  Uses

  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
  • component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
  • component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
• impl:protocol.unbound-example-posture · limits unbound example warnings to stated ready · src/validate/validators.ts:847

  Component: component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.