Every relation reads the four stated target rungs

outcome

Check the relation-rungs matrix through the readiness floor.

assumptions

• The world has 24 single-relation rule subjects stating ready, one for each pairing of refines, dependsOn, constrainedBy, decidedBy, verifies, and supersedes with a target stating idea, scoped, defined, or ready. Every target resolves. constrainedBy targets are constraints; decidedBy and supersedes targets are decisions; the other targets are rules. No Spec has a blocking open question.
• All probes are story-altitude Specs with declared relations and an Intent outcome. Rule subjects and rule targets carry a behavior rule; constraint targets carry a statement and target; decision targets carry a written decision. Each resolving target declares dependsOn back to its subject. No anchors are present. The expected counts include only honesty/readiness-floor findings, not findings from other validators.
• The four included relations each fail typed-dependency-targets-are-defined for their idea and scoped targets, giving eight target failures. Their defined and ready boundaries pass. verifies and supersedes pass at every target rung.
• The world also has sixteen rule subjects stating ready. Each pairs refines or dependsOn with constrainedBy or decidedBy. One target states defined and the other states scoped. Each pair appears with the older relation passing and the newer relation failing, and with the older relation failing and the newer relation passing, in both declaration orders. Targets have the same kinds and evidence as the single-relation probes and declare dependsOn back to their subject. Every mixed subject fails typed-dependency-targets-are-defined once and derives defined, regardless of declaration order.

Examples

Given the typed dependency matrix {matrix: "relation-rungs"}
When the reader checks the readiness floor
Then the matrix reports {targetFailures: 24} target failures and {resolutionFailures: 0} resolution failures and {questionFailures: 0} blocking question failures

Verifier bindings

• test:protocol.typed-dependency-floor.relation-rungs · verifies six relations across four target rungs · anchored · test anchor binding present · test/self-hosting-typed-dependency.test.ts:313

  External run evidence from test/self-hosting-typed-dependency.test.ts

  Test anchors: test:protocol.typed-dependency-floor.missing-targets, test:protocol.typed-dependency-floor.relation-rungs, test:protocol.typed-dependency-floor.stated-readiness, test:protocol.typed-dependency-floor.unsettled-fact. Specs verified by those bindings: spec:validation.typed-dependency-floor, spec:validation.typed-dependency-floor.missing-targets, spec:validation.typed-dependency-floor.relation-rungs, spec:validation.typed-dependency-floor.stated-readiness, spec:validation.typed-dependency-floor.unsettled-fact.

  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 relation reads the four stated target rungs (spec:validation.typed-dependency-floor.relation-rungs)	passed	19 ms
  executes the bound example against a fresh world	Missing targets fail relation resolution once (spec:validation.typed-dependency-floor.missing-targets)	passed	1.85 ms
  executes the bound example against a fresh world	An unsettled constraint bounds ready but permits defined (spec:validation.typed-dependency-floor.unsettled-fact)	passed	1.36 ms
  executes the bound example against a fresh world	Target floor failures do not propagate across dependencies (spec:validation.typed-dependency-floor.stated-readiness)	passed	43.6 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.