A Spec shaped by a superseded decision warns

problem

A Spec can stay shaped by a decision that a later decision replaced, and nothing tells its author that the ruling it rests on has moved.

outcome

Surface a live Spec that is still shaped by a decision another decision has superseded, as an informative warning.

Each world builds its graph in memory, and every probe Spec carries its kind's evidence, so only the signal moves the findings. Each probe's full id joins the probe family and its name, as probe.decision-a does. A live subject is the behavior Spec shaped in the file shaped.sdp.md, whose location table records its decidedBy row on line 7. A superseded subject is the decision decision-s, which decision-b supersedes, and a replacing subject is decision-b itself. The subject names the probe decision decision-a, and the replacing decisions are decision-b, decision-c and decision-d, which state the rung the point binds. One replacement is decision-b superseding decision-a; a chain of two adds decision-c superseding decision-b; two at once are decision-b and decision-c each superseding decision-a; a closed chain is decision-b superseding decision-a and decision-a superseding decision-b; an end and a loop at once are decision-b and decision-c each superseding decision-a, with decision-c and decision-d superseding each other. The named decisions are the ends and loop members the warnings name, full ids joined by a comma and a space in code-unit order, or nothing when no warning names any. The field and message steps read the one warning the point reports, and the message step fills the Design entry it names with that warning's ids.

rule.readsDecidedBy line 28 · specs/validation/superseded-decision-signal.sdp.md:28

The signal reads two kinds of authored edge and nothing else: decidedBy from a Spec to a decision, and supersedes between decisions. A refines, dependsOn or constrainedBy that names a superseded decision is never read, and neither is a refines between decisions.

spec:validation.superseded-decision-signal.dependency-unread · enabled, spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled

rule.keptRecordLawful line 29 · specs/validation/superseded-decision-signal.sdp.md:29

A corpus may keep a replaced decision while its text explains something a reader still needs; keeping it is lawful, and a deleted decision leaves a dangling decidedBy that referential integrity reports and this signal does not read.

no example exercises it

rule.onePerPair line 30 · specs/validation/superseded-decision-signal.sdp.md:30

A live Spec that names through decidedBy a decision another decision supersedes carries one warning for that pair, with the shaped Spec as its subject and the superseded decision as its related Spec; a Spec shaped by two superseded decisions carries two warnings.

spec:validation.superseded-decision-signal.live-replacement-warns · enabled, spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled

rule.chainEnd line 31 · specs/validation/superseded-decision-signal.sdp.md:31

The warning names the decision at the end of each replacement chain: from the superseded decision the walk follows supersedes to the decisions that replace it, and on from each of those, and a decision it reaches that no decision supersedes is an end. Where the chain branches, the warning names every end.

spec:validation.superseded-decision-signal.branch-names-every-end · enabled, spec:validation.superseded-decision-signal.chain-end-named · enabled, spec:validation.superseded-decision-signal.end-and-loop-named · enabled, spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled

rule.closedChain line 32 · specs/validation/superseded-decision-signal.sdp.md:32

The walk visits each decision once. A loop is a set of decisions the walk reaches, the superseded decision included, that supersede one another in a cycle, or one decision that supersedes itself. When the walk reaches a loop, the warning says the chain of replacements closes on itself and names each decision in a loop it reaches, and no other decision it passes through; when it also reaches an end, it names the ends as well. A loop is never an error and is never followed twice.

spec:validation.superseded-decision-signal.closed-chain-named · enabled, spec:validation.superseded-decision-signal.end-and-loop-named · enabled

rule.anyRung line 33 · specs/validation/superseded-decision-signal.sdp.md:33

The signal reads every supersedes edge whatever rung either decision states, so a replacement still below ready is named as it stands and its rung is read where the reader looks it up.

spec:validation.superseded-decision-signal.replacement-below-ready-named · enabled

rule.liveSubjectsOnly line 34 · specs/validation/superseded-decision-signal.sdp.md:34

A Spec that a resolving supersedes edge targets is not live and carries no warning for the decisions it names. A decision that supersedes another stays live until it is itself superseded, so its own decidedBy relations warn as any live Spec's do, even when the walk from the decision it names reaches it.

spec:validation.superseded-decision-signal.live-replacement-warns · enabled, spec:validation.superseded-decision-signal.superseded-subject-silent · enabled

rule.informative line 35 · specs/validation/superseded-decision-signal.sdp.md:35

The warning never fails validation, as the orphan and gap signals never do; the Protocol fixes its severity and no setting changes it.

spec:validation.superseded-decision-signal.closed-chain-named · enabled, spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled

rule.noSupersedesWarning line 36 · specs/validation/superseded-decision-signal.sdp.md:36

The supersedes edge itself is never warned, and a superseded decision is never warned for being superseded.

spec:validation.superseded-decision-signal.replaced-ruling-warns · enabled, spec:validation.superseded-decision-signal.superseded-subject-silent · enabled

rule.noContentJudgment line 37 · specs/validation/superseded-decision-signal.sdp.md:37

The signal judges no content: it never asks whether the newer ruling fits the shaped Spec, and moving the decidedBy to the end of the chain, or deleting the replaced record, is the author's edit.

no example exercises it

0 unkeyed rules.

Verifying examples

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "two decisions at once"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-b, spec:probe.decision-c"}
Then the warning message follows {template: "message"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "a chain of two decisions"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-c"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "a chain that closes on itself"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-a, spec:probe.decision-b"}
Then the warning message follows {template: "closedChainMessage"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "dependsOn"}
Given the probe decision is replaced by {replacement: "one decision"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 0} superseded-decision warnings
Then the warnings name {named: "nothing"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "an end and a loop at once"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-b, spec:probe.decision-c, spec:probe.decision-d"}
Then the warning message follows {template: "mixedChainMessage"}
Then the report holds {errorCount: 0} errors

Given a {subject: "replacing decision"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "one decision"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-b"}
Then the warning has the subject {subjectId: "spec:probe.decision-b"} and the related Spec {relatedId: "spec:probe.decision-a"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "one decision"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-b"}
Then the warning is {validatorId: "conformance/superseded-decisions"} in the {family: "conformance"} family at severity {severity: "warning"}
Then the warning has the subject {subjectId: "spec:probe.shaped"} and the related Spec {relatedId: "spec:probe.decision-a"}
Then the warning sits at {path: "relation.decidedBy.spec:probe.decision-a"} in {file: "shaped.sdp.md"} on line {line: 7}
Then the warning message follows {template: "message"}
Then the report holds {errorCount: 0} errors

Given a {subject: "live Spec"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "one decision"}
Given every replacing decision states {replacementRung: "idea"}
When the graph is validated
Then the report holds {warnings: 1} superseded-decision warnings
Then the warnings name {named: "spec:probe.decision-b"}
Then the report holds {errorCount: 0} errors

Given a {subject: "superseded decision"} names the probe decision through {relation: "decidedBy"}
Given the probe decision is replaced by {replacement: "one decision"}
Given every replacing decision states {replacementRung: "ready"}
When the graph is validated
Then the report holds {warnings: 0} superseded-decision warnings
Then the warnings name {named: "nothing"}
Then the report holds {errorCount: 0} errors

Example space

Given a {subject:"live Spec"|"superseded decision"|"replacing decision"} names the probe decision through {relation:"decidedBy"|"dependsOn"}
Given the probe decision is replaced by {replacement:"no decision"|"one decision"|"a chain of two decisions"|"two decisions at once"|"a chain that closes on itself"|"an end and a loop at once"}
Given every replacing decision states {replacementRung:"idea"|"ready"}
When the graph is validated
Then the report holds {warnings:number} superseded-decision warnings
Then the warnings name {named:string}
Then the warning is {validatorId:string} in the {family:string} family at severity {severity:string}
Then the warning has the subject {subjectId:string} and the related Spec {relatedId:string}
Then the warning sits at {path:string} in {file:string} on line {line:number}
Then the warning message follows {template:"message"|"closedChainMessage"|"mixedChainMessage"}
Then the report holds {errorCount:number} errors

validatorId line 40 · specs/validation/superseded-decision-signal.sdp.md:40

conformance/superseded-decisions, registered as supersededDecisions in graphValidatorIds; a new id, never a reused one.

no citation recorded

family line 41 · specs/validation/superseded-decision-signal.sdp.md:41

conformance: the signal reads whether a Spec's authored relations still reach a current ruling, as the orphan signal reads whether any relation reaches a Spec.

no citation recorded

severity line 42 · specs/validation/superseded-decision-signal.sdp.md:42

warning, fixed by the Protocol.

no citation recorded

warningFields line 43 · specs/validation/superseded-decision-signal.sdp.md:43

subjectId is the shaped Spec, relatedId the superseded decision it names, path is relation.decidedBy.<relatedId>, the location table's entry for that relation, file is the shaped Spec's file, and line is that row's line, present only when the carrier recorded one.

no citation recorded

message line 44 · specs/validation/superseded-decision-signal.sdp.md:44

Spec "<subjectId>" is decided by "<relatedId>", which a later decision supersedes; the chain of replacements ends at "<end>" (informative, never a gate)., with ends at "<end>", "<end>" when the chain branches.

no citation recorded

closedChainMessage line 45 · specs/validation/superseded-decision-signal.sdp.md:45

Spec "<subjectId>" is decided by "<relatedId>", whose chain of replacements closes on itself through "<loop-id>", "<loop-id>" (informative, never a gate)., used when the walk reaches no end, naming each decision in a loop it reaches.

no citation recorded

mixedChainMessage line 46 · specs/validation/superseded-decision-signal.sdp.md:46

Spec "<subjectId>" is decided by "<relatedId>", whose chain of replacements ends at "<end>" and also closes on itself through "<loop-id>", "<loop-id>" (informative, never a gate)., used when the walk reaches both, with every end and every loop member listed as the other two messages list them.

no citation recorded

chainWalk line 47 · specs/validation/superseded-decision-signal.sdp.md:47

read the resolving, declared supersedes edges whose source and target are both decision Specs, and index each by its target; from the superseded decision, visit each decision reachable along those edges from target to source once; an end is a reached decision other than the start that no such edge targets; a loop member is a reached decision, the start included, in a strongly connected component of two or more decisions or with an edge to itself; ends and loop members are collected apart.

idOrder line 48 · specs/validation/superseded-decision-signal.sdp.md:48

the ids a message lists sort in code-unit order, and the findings sort as every report's findings do.

skippedPairs line 49 · specs/validation/superseded-decision-signal.sdp.md:49

no warning for a decidedBy whose target does not resolve, is not a decision, or is targeted by no supersedes edge the walk reads, and none for a subject a resolving supersedes edge targets; a subject the walk reaches is still checked.

Verifier bindings

• spec:validation.superseded-decision-signal.branch-names-every-end · A replacement chain that branches names every end · declared · example enabled · specs/validation/superseded-decision-signal.branch-names-every-end.sdp.md

  External run evidence from test/self-hosting-validators.test.ts

  Test anchors: test:protocol.authored-honesty.section-authored-fact, test:protocol.authored-honesty.unearned-stated-fact, test:protocol.claim-separation.collapsed-edge-claim, test:protocol.claim-separation.unratified-descriptor, test:protocol.kind-evidence.constraints-alone, test:protocol.kind-evidence.empty-promoted-child, test:protocol.kind-evidence.second-entry-untargeted, test:protocol.kind-evidence.untargeted-constraint, test:protocol.oracle-target-eligibility.missing-space-refused, test:protocol.oracle-target-eligibility.rule-space-accepted, test:protocol.pack-coherence.incoherent-aggregate, test:protocol.readiness-floor.blocking-open-question, test:protocol.readiness-floor.unrelated-scoped-spec, test:protocol.referential-integrity.dangling-target, test:protocol.referential-integrity.did-you-mean, test:protocol.superseded-decision-signal.branch-names-every-end, test:protocol.superseded-decision-signal.chain-end-named, test:protocol.superseded-decision-signal.closed-chain-named, test:protocol.superseded-decision-signal.dependency-unread, test:protocol.superseded-decision-signal.end-and-loop-named, test:protocol.superseded-decision-signal.live-replacement-warns, test:protocol.superseded-decision-signal.replaced-ruling-warns, test:protocol.superseded-decision-signal.replacement-below-ready-named, test:protocol.superseded-decision-signal.superseded-subject-silent, test:protocol.two-check-families.split-report, test:protocol.verification-linkage.unbound-example, test:protocol.verification-linkage.unresolved-oracle, test:protocol.warn-level-signals.orphan-signal, test:protocol.warn-level-signals.ready-gap-signal. Specs verified by those bindings: spec:carrier.markdown-body-grammar, spec:validation.authored-honesty, spec:validation.authored-honesty.section-authored-fact, spec:validation.authored-honesty.unearned-stated-fact, spec:validation.claim-separation, spec:validation.claim-separation.collapsed-edge-claim, spec:validation.claim-separation.unratified-descriptor, spec:validation.kind-evidence, spec:validation.kind-evidence.constraints-alone, spec:validation.kind-evidence.empty-promoted-child, spec:validation.kind-evidence.second-entry-untargeted, spec:validation.kind-evidence.untargeted-constraint, spec:validation.oracle-target-eligibility, spec:validation.oracle-target-eligibility.missing-space-refused, spec:validation.oracle-target-eligibility.rule-space-accepted, spec:validation.pack-coherence, spec:validation.pack-coherence.incoherent-aggregate, spec:validation.readiness-floor, spec:validation.readiness-floor.blocking-open-question, spec:validation.readiness-floor.unrelated-scoped-spec, spec:validation.referential-integrity, spec:validation.referential-integrity.dangling-target, spec:validation.referential-integrity.did-you-mean, spec:validation.superseded-decision-signal, spec:validation.superseded-decision-signal.branch-names-every-end, spec:validation.superseded-decision-signal.chain-end-named, spec:validation.superseded-decision-signal.closed-chain-named, spec:validation.superseded-decision-signal.dependency-unread, spec:validation.superseded-decision-signal.end-and-loop-named, spec:validation.superseded-decision-signal.live-replacement-warns, spec:validation.superseded-decision-signal.replaced-ruling-warns, spec:validation.superseded-decision-signal.replacement-below-ready-named, spec:validation.superseded-decision-signal.superseded-subject-silent, spec:validation.two-check-families, spec:validation.two-check-families.split-report, spec:validation.verification-linkage, spec:validation.verification-linkage.unbound-example, spec:validation.verification-linkage.unresolved-oracle, spec:validation.warn-level-signals, spec:validation.warn-level-signals.orphan-signal, spec:validation.warn-level-signals.ready-gap-signal.

  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	A scoped Spec with no relation names the relation clause (spec:validation.readiness-floor.unrelated-scoped-spec)	passed	6.49 ms
  executes the bound example against a fresh world	A blocking open question holds a Spec below defined (spec:validation.readiness-floor.blocking-open-question)	passed	1.25 ms
  executes the bound example against a fresh world	Constraints alone stop short of complete behavior evidence (spec:validation.kind-evidence.constraints-alone)	passed	1.16 ms
  executes the bound example against a fresh world	A constraint without a machine-readable target is not complete (spec:validation.kind-evidence.untargeted-constraint)	passed	0.96 ms
  executes the bound example against a fresh world	An empty promoted child confers no evidence (spec:validation.kind-evidence.empty-promoted-child)	passed	0.8 ms
  executes the bound example against a fresh world	A disconnected Spec warns and fails nothing (spec:validation.warn-level-signals.orphan-signal)	passed	1.82 ms
  executes the bound example against a fresh world	A ready Spec without a verifier warns and fails nothing (spec:validation.warn-level-signals.ready-gap-signal)	passed	0.81 ms
  executes the bound example against a fresh world	An unrelated missing target is a bare conformance error (spec:validation.referential-integrity.dangling-target)	passed	0.8 ms
  executes the bound example against a fresh world	A unique near miss earns a did-you-mean suggestion (spec:validation.referential-integrity.did-you-mean)	passed	0.71 ms
  executes the bound example against a fresh world	A delivery fact smuggled into a section is refused (spec:validation.authored-honesty.section-authored-fact)	passed	0.8 ms
  executes the bound example against a fresh world	A stated delivery fact no binding earns is refused (spec:validation.authored-honesty.unearned-stated-fact)	passed	0.73 ms
  executes the bound example against a fresh world	A binding edge cannot borrow the declared claim (spec:validation.claim-separation.collapsed-edge-claim)	passed	0.92 ms
  executes the bound example against a fresh world	An unratified kind fails closed instead of reaching the floor (spec:validation.claim-separation.unratified-descriptor)	passed	0.49 ms
  executes the bound example against a fresh world	A declared verifier no test binds confers nothing (spec:validation.verification-linkage.unbound-example)	passed	2.2 ms
  executes the bound example against a fresh world	An oracle targeting a Spec with no example space is refused (spec:validation.verification-linkage.unresolved-oracle)	passed	0.68 ms
  executes the bound example against a fresh world	A rule owning an example space accepts an oracle (spec:validation.oracle-target-eligibility.rule-space-accepted)	passed	0.94 ms
  executes the bound example against a fresh world	A target without an example space refuses an oracle (spec:validation.oracle-target-eligibility.missing-space-refused)	passed	0.42 ms
  executes the bound example against a fresh world	A repeated member and a non-model modelRef are both named (spec:validation.pack-coherence.incoherent-aggregate)	passed	3.58 ms
  executes the bound example against a fresh world	One report carries both families and claims neither as its own (spec:validation.two-check-families.split-report)	passed	0.69 ms
  executes the bound example against a fresh world	A Spec shaped by a replaced decision warns once and fails nothing (spec:validation.superseded-decision-signal.replaced-ruling-warns)	passed	1.73 ms
  executes the bound example against a fresh world	The warning names the decision at the end of a chain of replacements (spec:validation.superseded-decision-signal.chain-end-named)	passed	0.72 ms
  executes the bound example against a fresh world	A replacement chain that branches names every end (spec:validation.superseded-decision-signal.branch-names-every-end)	passed	0.85 ms
  executes the bound example against a fresh world	A chain of replacements that closes on itself is named and fails nothing (spec:validation.superseded-decision-signal.closed-chain-named)	passed	0.82 ms
  executes the bound example against a fresh world	A dependency on a replaced decision raises no warning (spec:validation.superseded-decision-signal.dependency-unread)	passed	0.53 ms
  executes the bound example against a fresh world	A superseded decision is not warned for the decision it names (spec:validation.superseded-decision-signal.superseded-subject-silent)	passed	0.63 ms
  executes the bound example against a fresh world	A replacement still below ready is named as it stands (spec:validation.superseded-decision-signal.replacement-below-ready-named)	passed	0.73 ms
  executes the bound example against a fresh world	A decision still decided by the record it replaces warns (spec:validation.superseded-decision-signal.live-replacement-warns)	passed	0.56 ms
  executes the bound example against a fresh world	A chain of replacements that reaches an end and a loop names both (spec:validation.superseded-decision-signal.end-and-loop-named)	passed	0.72 ms
  deduplicates stale pairs, names self loops and leaves absent locations absent	not recorded	passed	0.9 ms
  warns once for each stale decision and ignores unresolved and wrongly typed replacements	not recorded	passed	2.06 ms
  locates each subject separately when two Specs name the same stale decision	not recorded	passed	0.51 ms
  checks branch messages independently of the example id	not recorded	passed	0.56 ms
  checks the extracted 'message' Design entry	not recorded	passed	1.74 ms
  checks the extracted 'closedChainMessage' Design entry	not recorded	passed	0.56 ms
  checks the extracted 'mixedChainMessage' Design entry	not recorded	passed	0.49 ms
  executes the bound example against a fresh world	A constraint whose second entry has no target is not complete (spec:validation.kind-evidence.second-entry-untargeted)	passed	0.61 ms

• spec:validation.superseded-decision-signal.chain-end-named · The warning names the decision at the end of a chain of replacements · declared · example enabled · specs/validation/superseded-decision-signal.chain-end-named.sdp.md
• spec:validation.superseded-decision-signal.closed-chain-named · A chain of replacements that closes on itself is named and fails nothing · declared · example enabled · specs/validation/superseded-decision-signal.closed-chain-named.sdp.md
• spec:validation.superseded-decision-signal.dependency-unread · A dependency on a replaced decision raises no warning · declared · example enabled · specs/validation/superseded-decision-signal.dependency-unread.sdp.md
• spec:validation.superseded-decision-signal.end-and-loop-named · A chain of replacements that reaches an end and a loop names both · declared · example enabled · specs/validation/superseded-decision-signal.end-and-loop-named.sdp.md
• spec:validation.superseded-decision-signal.live-replacement-warns · A decision still decided by the record it replaces warns · declared · example enabled · specs/validation/superseded-decision-signal.live-replacement-warns.sdp.md
• spec:validation.superseded-decision-signal.replaced-ruling-warns · A Spec shaped by a replaced decision warns once and fails nothing · declared · example enabled · specs/validation/superseded-decision-signal.replaced-ruling-warns.sdp.md
• spec:validation.superseded-decision-signal.replacement-below-ready-named · A replacement still below ready is named as it stands · declared · example enabled · specs/validation/superseded-decision-signal.replacement-below-ready-named.sdp.md
• spec:validation.superseded-decision-signal.superseded-subject-silent · A superseded decision is not warned for the decision it names · declared · example enabled · specs/validation/superseded-decision-signal.superseded-subject-silent.sdp.md

Requirement drawing

Decisions

• Planning truths live in ruled graph homes

  Each planning-truth type lives in its ruled home. Work-item dependency truth rides dependsOn edges, with independence as absence of the edge and scheduling phrases never authored. Decision gates live on decision-kind Specs, linked by decidedBy. Do-not-reopen rows split by what they carry: a tradeoff refusal becomes a decision-kind Spec, which a later decision that supersedes it replaces whole and a later decision that refines it narrows for one case, either under the ADR three-part test; a row that restates a behavior guarantee already homed on a carrying Spec stays on that Spec and changes by ordinary Spec revision; a hold stays a blocking open question on its own Spec and is never minted as a decision. A lawful non-decision stays in the plan record as evidence. A deferral carries its re-entry trigger in the trigger field of its own blocking open question, and declares dependsOn separately when a true precondition exists. Exclusive ownership is one Spec identity per deliverable with consumers depending on it. Selection-pressure heuristics are advisory only, carried as behavior rules on the graph-first planning Spec or in recipes. Session law splits separately, across behavior rules on the graph-first planning Spec, the delivery-session on-ramp's handoff rule, and the plan file. The briefs index shape is retired as a carrier of law.

• 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.superseded-decision-signal · walks decision replacements to surface stale shaping relations · src/validate/validators.ts:1817

  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.