Below-ready examples keep declared verifier data

outcome

Check all three lower rungs without enabling an unbound example.

assumptions

• The world has three behavior parents stating defined, each with one unbound example child, stating idea, scoped, or defined. No parent or child has a test binding or oracle binding.
• All probes are story-altitude Specs with declared claims and an Intent outcome, with no other section evidence. Each child declares verifies to its resolving parent. A binding is a resolving test: Anchor with an anchored verifies edge. No other relations or anchors are present except those stated here. Outcome counts read only conformance/verifies-linkage, parent honesty/gaps, and conformance/oracle-linkage; other findings stay outside the counts.
• Every child remains a declared verifier that is not enabled. Neither child nor parent derives has-verifier. No linkage warning, parent gap, or oracle error appears.

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

Verifier bindings

• test:protocol.unbound-example-posture.lower-rungs · verifies declared-only examples below ready · anchored · test anchor binding present · test/self-hosting-unbound-example.test.ts:206

  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 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	Below-ready examples keep declared verifier data (spec:validation.unbound-example-posture.lower-rungs)	passed	9.15 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	13.15 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	2.27 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.