Graph claims and contracts stay distinct

spec:validation.claim-separation

Business Rule · storyready floor ready

Design: no design entries · no pinned declarations · no decisions

specs/validation/claim-separation.sdp.md

No open questions and no blocking questions; implementation binding present, verifier binding present, and expected-outcome oracle none.

Intent

outcome: Preserve the graph's declared, anchored, and inferred distinctions while keeping its typed contracts lawful.

Rule

rule line 18 · specs/validation/claim-separation.sdp.md:18: Node and edge types, claims, descriptors, and relation endpoint contracts must use their ratified forms; the claim taxonomy never collapses.
rule line 19 · specs/validation/claim-separation.sdp.md:19: An unratified descriptor value fails closed: it is a conformance error, and no readiness floor is evaluated over it.

2 unkeyed rules.

Verifying examples

A binding edge cannot borrow the declared claim · spec:validation.claim-separation.collapsed-edge-claim · ready floor ready

Executable Spec

Given the graph holds a spec {specId: "spec:probe.create-order"}
Given the graph carries an off-contract {element: "edge claim"} spelled {value: "declared"}
When the graph is validated
Then the report names {findingId: "conformance/claim-separation"} at severity {severity: "error"}
Then the finding message states {phrase: "never collapsed"}
Then the report holds {floorCount: 0} readiness-floor findings

Given

the graph holds a spec {specId: "spec:probe.create-order"}
the graph carries an off-contract {element: "edge claim"} spelled {value: "declared"}

When

the graph is validated

Then

the report names {findingId: "conformance/claim-separation"} at severity {severity: "error"}
the finding message states {phrase: "never collapsed"}
the report holds {floorCount: 0} readiness-floor findings

Composing needs the script.

Open example

An unratified kind fails closed instead of reaching the floor · spec:validation.claim-separation.unratified-descriptor · ready floor ready

Executable Spec

Given the graph holds a spec {specId: "spec:probe.create-order"}
Given the graph carries an off-contract {element: "descriptor value"} spelled {value: "saga"}
When the graph is validated
Then the report names {findingId: "conformance/claim-separation"} at severity {severity: "error"}
Then the finding message states {phrase: "outside the ratified descriptor values"}
Then the report holds {floorCount: 0} readiness-floor findings

Given

the graph holds a spec {specId: "spec:probe.create-order"}
the graph carries an off-contract {element: "descriptor value"} spelled {value: "saga"}

When

the graph is validated

Then

the report names {findingId: "conformance/claim-separation"} at severity {severity: "error"}
the finding message states {phrase: "outside the ratified descriptor values"}
the report holds {floorCount: 0} readiness-floor findings

Composing needs the script.

Open example

Example space

Given the graph holds a spec {specId:string}
Given the graph carries an off-contract {element:"edge claim"|"descriptor value"} spelled {value:string}
When the graph is validated
Then the report names {findingId:string} at severity {severity:"warning"|"error"}
Then the finding message states {phrase:string}
Then the report holds {floorCount:number} readiness-floor findings

Verification

Verifier bindings

spec:validation.claim-separation.collapsed-edge-claim · A binding edge cannot borrow the declared claim · declared · example enabled · specs/validation/claim-separation.collapsed-edge-claim.sdp.md

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

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	A scoped Spec with no relation names the relation clause (spec:validation.readiness-floor.unrelated-scoped-spec)	passed	5.07 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.08 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.02 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.87 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.71 ms
executes the bound example against a fresh world	A disconnected Spec warns and fails nothing (spec:validation.warn-level-signals.orphan-signal)	passed	0.52 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.68 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.63 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.73 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.75 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.63 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.79 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.46 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.22 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.63 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.85 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.4 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	0.8 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	2.07 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.7 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.61 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.59 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.51 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.4 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.48 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.35 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.46 ms
deduplicates stale pairs, names self loops and leaves absent locations absent	not recorded	passed	0.56 ms
warns once for each stale decision and ignores unresolved and wrongly typed replacements	not recorded	passed	1.82 ms
locates each subject separately when two Specs name the same stale decision	not recorded	passed	0.47 ms
checks branch messages independently of the example id	not recorded	passed	0.5 ms
checks the extracted 'message' Design entry	not recorded	passed	1.55 ms
checks the extracted 'closedChainMessage' Design entry	not recorded	passed	0.52 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.51 ms

spec:validation.claim-separation.unratified-descriptor · An unratified kind fails closed instead of reaching the floor · declared · example enabled · specs/validation/claim-separation.unratified-descriptor.sdp.md

Example space

specId · string · declared by the graph holds a spec {specId}
element · "edge claim" | "descriptor value" · declared by the graph carries an off-contract {element} spelled {value}
value · string · declared by the graph carries an off-contract {element} spelled {value}

Bound points

Example	specId	element	value
spec:validation.claim-separation.collapsed-edge-claim	`"spec:probe.create-order"`	`"edge claim"`	`"declared"`
spec:validation.claim-separation.unratified-descriptor	`"spec:probe.create-order"`	`"descriptor value"`	`"saga"`

Oracle binding: none

Coverage

specId: "spec:probe.create-order" · spec:validation.claim-separation.collapsed-edge-claim, spec:validation.claim-separation.unratified-descriptor · not enumerable

`element`
Declared value	Examples
`"edge claim"`	spec:validation.claim-separation.collapsed-edge-claim
`"descriptor value"`	spec:validation.claim-separation.unratified-descriptor

value: "declared" · spec:validation.claim-separation.collapsed-edge-claim; "saga" · spec:validation.claim-separation.unratified-descriptor · not enumerable

Unbound

specId: None
element: None
value: None

Given

the graph holds a spec {specId:string}
the graph carries an off-contract {element:"edge claim"|"descriptor value"} spelled {value:string}

When

the graph is validated

Then

the report names {findingId:string} at severity {severity:"warning"|"error"}
the finding message states {phrase:string}
the report holds {floorCount:number} readiness-floor findings

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:validation.claim-separation

The diagram as text

spec:validation.claim-separation: Graph claims and contracts stay distinct · declared Spec
spec:validation.claim-separation.collapsed-edge-claim: A binding edge cannot borrow the declared claim · declared Spec
spec:validation.claim-separation.unratified-descriptor: An unratified kind fails closed instead of reaching the floor · declared Spec
spec:validation.two-check-families: Validation separates well-formedness from non-pretending · declared Spec
impl:protocol.claim-separation: checks graph claims, descriptors, node shapes, and relation endpoint contracts · anchored code · src/validate/validators.ts:534
test:protocol.claim-separation.collapsed-edge-claim: the collapsed-claim point verifies the binding-edge contract row · anchored test binding · binding present · test/self-hosting-validators.test.ts:952
test:protocol.claim-separation.unratified-descriptor: the unratified-kind point verifies the fail-closed descriptor law · anchored test binding · binding present · test/self-hosting-validators.test.ts:968
spec:validation.claim-separation refines spec:validation.two-check-families · declared
spec:validation.claim-separation.collapsed-edge-claim refines spec:validation.claim-separation · declared
spec:validation.claim-separation.collapsed-edge-claim verifies spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor refines spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor verifies spec:validation.claim-separation · declared
impl:protocol.claim-separation satisfies spec:validation.claim-separation · anchored
test:protocol.claim-separation.collapsed-edge-claim verifies spec:validation.claim-separation.collapsed-edge-claim · anchored
test:protocol.claim-separation.unratified-descriptor verifies spec:validation.claim-separation.unratified-descriptor · anchored

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.

Mermaid source for Requirement drawing for spec:validation.claim-separation

requirementDiagram
  requirement n0 {
    text: "Graph claims and contracts stay distinct · declared Spec · spec:validation.claim-separation"
  }
  requirement n1 {
    text: "A binding edge cannot borrow the declared claim · declared Spec · spec:validation.claim-separation.collapsed-edge-claim"
  }
  requirement n2 {
    text: "An unratified kind fails closed instead of reaching the floor · declared Spec · spec:validation.claim-separation.unratified-descriptor"
  }
  element n3 {
    type: "checks graph claims, descriptors, node shapes, and relation endpoint contracts · anchored code · impl:protocol.claim-separation"
  }
  element n4 {
    type: "the collapsed-claim point verifies the binding-edge contract row · anchored test binding · binding present · test:protocol.claim-separation.collapsed-edge-claim"
  }
  element n5 {
    type: "the unratified-kind point verifies the fail-closed descriptor law · anchored test binding · binding present · test:protocol.claim-separation.unratified-descriptor"
  }
  requirement n6 {
    text: "Validation separates well-formedness from non-pretending · declared Spec · spec:validation.two-check-families"
  }
  %% claim: anchored
  n3 - satisfies -> n0
  %% claim: declared
  n0 - refines -> n6
  %% claim: declared
  n1 - refines -> n0
  %% claim: declared
  n1 - verifies -> n0
  %% claim: declared
  n2 - refines -> n0
  %% claim: declared
  n2 - verifies -> n0
  %% claim: anchored
  n4 - verifies -> n1
  %% claim: anchored
  n5 - verifies -> n2

Decisions

No decision record named.

Runtime

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.claim-separation · checks graph claims, descriptors, node shapes, and relation endpoint contracts · src/validate/validators.ts:534
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.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact

Relations of spec:validation.claim-separation

The diagram as text

spec:extraction.claim-taxonomy: Graph claims retain their epistemic source
spec:extraction.derive-graph: Carrier reification derives the one graph
spec:validation.claim-separation: Graph claims and contracts stay distinct
spec:validation.claim-separation.collapsed-edge-claim: A binding edge cannot borrow the declared claim
spec:validation.claim-separation.unratified-descriptor: An unratified kind fails closed instead of reaching the floor
spec:validation.two-check-families: Validation separates well-formedness from non-pretending
spec:validation.claim-separation dependsOn spec:extraction.claim-taxonomy · declared
spec:validation.claim-separation dependsOn spec:extraction.derive-graph · declared
spec:validation.claim-separation refines spec:validation.two-check-families · declared
spec:validation.claim-separation.collapsed-edge-claim refines spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor refines spec:validation.claim-separation · declared
spec:validation.claim-separation.collapsed-edge-claim verifies spec:validation.claim-separation · declared
spec:validation.claim-separation.unratified-descriptor verifies spec:validation.claim-separation · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Mermaid source for Relations of spec:validation.claim-separation

flowchart TB
  n0["Validation separates well-formedness from non-pretending · spec:validation.two-check-families"]
  n1["Graph claims retain their epistemic source · spec:extraction.claim-taxonomy"]
  n2["Carrier reification derives the one graph · spec:extraction.derive-graph"]
  n3["Graph claims and contracts stay distinct · spec:validation.claim-separation"]
  n4["A binding edge cannot borrow the declared claim · spec:validation.claim-separation.collapsed-edge-claim"]
  n5["An unratified kind fails closed instead of reaching the floor · spec:validation.claim-separation.unratified-descriptor"]
  n3 -->|"dependsOn · declared"| n1
  n3 -->|"dependsOn · declared"| n2
  n3 -->|"refines · declared"| n0
  n4 -->|"refines · declared"| n3
  n4 -->|"verifies · declared"| n3
  n5 -->|"refines · declared"| n3
  n5 -->|"verifies · declared"| n3

Rests on

refines · spec:validation.two-check-families · stated ready, floor ready
dependsOn · spec:extraction.claim-taxonomy · stated ready, floor ready
dependsOn · spec:extraction.derive-graph · stated ready, floor ready

Rested on by

Distance 1

spec:validation.claim-separation.collapsed-edge-claim
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.claim-separation.collapsed-edge-claim
Packs: pack:self-hosting-v1
spec:validation.claim-separation.unratified-descriptor
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.claim-separation.unratified-descriptor
Packs: pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
dependsOn · outgoing	Graph claims retain their epistemic source `spec:extraction.claim-taxonomy` · resolves	declared	None	None
dependsOn · outgoing	Carrier reification derives the one graph `spec:extraction.derive-graph` · resolves	declared	None	None
refines · outgoing	Validation separates well-formedness from non-pretending `spec:validation.two-check-families` · resolves	declared	None	None
refines · incoming	A binding edge cannot borrow the declared claim `spec:validation.claim-separation.collapsed-edge-claim` · resolves	declared	None	None
refines · incoming	An unratified kind fails closed instead of reaching the floor `spec:validation.claim-separation.unratified-descriptor` · resolves	declared	None	None
verifies · incoming	A binding edge cannot borrow the declared claim `spec:validation.claim-separation.collapsed-edge-claim` · resolves	declared	None	None
verifies · incoming	An unratified kind fails closed instead of reaching the floor `spec:validation.claim-separation.unratified-descriptor` · resolves	declared	None	None

Bindings

Implementation binding: present

impl:protocol.claim-separation · checks graph claims, descriptors, node shapes, and relation endpoint contracts · src/validate/validators.ts:534 · role validator · component component:protocol.validate · layer domain · context protocol

Design reference: none

Verifier binding: present

spec:validation.claim-separation.collapsed-edge-claim · A binding edge cannot borrow the declared claim · declared · specs/validation/claim-separation.collapsed-edge-claim.sdp.md · example enabled
spec:validation.claim-separation.unratified-descriptor · An unratified kind fails closed instead of reaching the floor · declared · specs/validation/claim-separation.unratified-descriptor.sdp.md · example enabled

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.

Verifying examples

Example space

Verifier bindings

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

Run 1: external run evidence from vitest 4.1.10

Example space

Bound points

Coverage

Unbound

Requirement drawing

Decisions

Rests on

Rested on by

Distance 1

Relations

Bindings

Implementation binding: present

Design reference: none

Verifier binding: present

Expected-outcome oracle: none

Findings

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