Ready examples and non-example verifiers keep warnings

outcome

Check an unbound ready example and every non-example kind at every rung.

assumptions

• The world has one unbound example stating ready and 28 non-example children, one for each pairing of behavior, workflow, rule, constraint, model, decision, and contract with idea, scoped, defined, and ready. Each child verifies its own behavior parent stating 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.
• Each child remains a declared verifier that is not enabled and emits one conformance warning whose subject is the child and whose related Spec is its parent. Neither child nor parent derives has-verifier. No parent gap or oracle error appears.

Examples

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

Verifier bindings

• test:protocol.unbound-example-posture.warning-cases · verifies ready and wrong-kind linkage warnings · anchored · test anchor binding present · test/self-hosting-unbound-example.test.ts:213

  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

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.