Packs are coherent aggregates

spec:validation.pack-coherence

Business Rule · storyready floor ready

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

specs/validation/pack-coherence.sdp.md

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

A Pack is a review grouping, so a coherent Pack may hold low-detail Specs without turning grouping into implementation demand.

Intent

outcome: Keep review aggregates coherent without treating them as truth-bearing delivery artifacts.

Rule

rule line 20 · specs/validation/pack-coherence.sdp.md:20: Pack membership must not repeat a Spec, and every modelRef must resolve to a model-kind Spec.
rule line 21 · specs/validation/pack-coherence.sdp.md:21: Membership is counted on the derived belongsTo edges the manifest re-expresses, so a repeated manifest entry is named once per repeated member.
rule line 22 · specs/validation/pack-coherence.sdp.md:22: A Pack's members list and its belongsTo edges agree: every listed member has one belongsTo edge into the Pack, and every belongsTo edge into the Pack comes from a listed member. A listed member with no edge, a listed member that is no Spec and no edge carries, and an edge from an unlisted source are each one error, in authored order, so the Pack context, a Spec's packs, and blast radius read the same membership. An edge whose source is absent or no Spec stays referential integrity's or the edge contract's finding, never a second one here.
rule line 23 · specs/validation/pack-coherence.sdp.md:23: There is no duplicated-intent check on a Pack: a Pack states no system truth to duplicate, and semantic overlap among its members remains human or agent review rather than validator judgment.

4 unkeyed rules.

Verifying examples

A repeated member and a non-model modelRef are both named · spec:validation.pack-coherence.incoherent-aggregate · ready floor ready

Executable Spec

Given a pack {packId: "pack:probe.checkout"} lists the spec {specId: "spec:probe.create-order"} {memberCount: 2} times
Given the pack also names that spec as a modelRef
When the graph is validated
Then the report names {findingId: "conformance/pack-coherence"} at severity {severity: "error"}
Then the report holds {findingCount: 2} pack-coherence findings

Given

a pack {packId: "pack:probe.checkout"} lists the spec {specId: "spec:probe.create-order"} {memberCount: 2} times
the pack also names that spec as a modelRef

When

the graph is validated

Then

the report names {findingId: "conformance/pack-coherence"} at severity {severity: "error"}
the report holds {findingCount: 2} pack-coherence findings

Composing needs the script.

Open example

Example space

Given a pack {packId:string} lists the spec {specId:string} {memberCount:number} times
Given the pack also names that spec as a modelRef
When the graph is validated
Then the report names {findingId:string} at severity {severity:"warning"|"error"}
Then the report holds {findingCount:number} pack-coherence findings

Verification

Verifier bindings

spec:validation.pack-coherence.incoherent-aggregate · A repeated member and a non-model modelRef are both named · declared · example enabled · specs/validation/pack-coherence.incoherent-aggregate.sdp.md

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

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

Example space

packId · string · declared by a pack {packId} lists the spec {specId} {memberCount} times
specId · string · declared by a pack {packId} lists the spec {specId} {memberCount} times
memberCount · number · declared by a pack {packId} lists the spec {specId} {memberCount} times

Bound points

Example	packId	specId	memberCount
spec:validation.pack-coherence.incoherent-aggregate	`"pack:probe.checkout"`	`"spec:probe.create-order"`	`2`

Oracle binding: none

Coverage

packId: "pack:probe.checkout" · spec:validation.pack-coherence.incoherent-aggregate · not enumerable

specId: "spec:probe.create-order" · spec:validation.pack-coherence.incoherent-aggregate · not enumerable

memberCount: 2 · spec:validation.pack-coherence.incoherent-aggregate · not enumerable

Unbound

packId: None
specId: None
memberCount: None

Given

a pack {packId:string} lists the spec {specId:string} {memberCount:number} times
the pack also names that spec as a modelRef

When

the graph is validated

Then

the report names {findingId:string} at severity {severity:"warning"|"error"}
the report holds {findingCount:number} pack-coherence findings

Composing needs the script.

Design view

Requirement drawing

Requirement drawing for spec:validation.pack-coherence

E3: refines, verifies · declared

The diagram as text

spec:validation.pack-coherence: Packs are coherent aggregates · declared Spec
spec:validation.pack-coherence.incoherent-aggregate: A repeated member and a non-model modelRef are both named · declared Spec
spec:validation.two-check-families: Validation separates well-formedness from non-pretending · declared Spec
impl:protocol.pack-coherence: checks Pack membership agreement and uniqueness and model-reference kinds · anchored code · src/validate/validators.ts:1102
test:protocol.pack-coherence.incoherent-aggregate: the incoherent-aggregate point verifies both halves of the pack law · anchored test binding · binding present · test/self-hosting-validators.test.ts:1325
spec:validation.pack-coherence refines spec:validation.two-check-families · declared
spec:validation.pack-coherence.incoherent-aggregate refines spec:validation.pack-coherence · declared
spec:validation.pack-coherence.incoherent-aggregate verifies spec:validation.pack-coherence · declared
impl:protocol.pack-coherence satisfies spec:validation.pack-coherence · anchored
test:protocol.pack-coherence.incoherent-aggregate verifies spec:validation.pack-coherence.incoherent-aggregate · 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.pack-coherence

requirementDiagram
  requirement n0 {
    text: "Packs are coherent aggregates · declared Spec · spec:validation.pack-coherence"
  }
  requirement n1 {
    text: "A repeated member and a non-model modelRef are both named · declared Spec · spec:validation.pack-coherence.incoherent-aggregate"
  }
  element n2 {
    type: "checks Pack membership agreement and uniqueness and model-reference kinds · anchored code · impl:protocol.pack-coherence"
  }
  element n3 {
    type: "the incoherent-aggregate point verifies both halves of the pack law · anchored test binding · binding present · test:protocol.pack-coherence.incoherent-aggregate"
  }
  requirement n4 {
    text: "Validation separates well-formedness from non-pretending · declared Spec · spec:validation.two-check-families"
  }
  %% claim: anchored
  n2 - satisfies -> n0
  %% claim: declared
  n0 - refines -> n4
  %% claim: declared
  n1 - refines -> n0
  %% claim: declared
  n1 - verifies -> n0
  %% claim: anchored
  n3 - verifies -> n1

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.pack-coherence · checks Pack membership agreement and uniqueness and model-reference kinds · src/validate/validators.ts:1102
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.pack-coherence

E4: verifies · declared

The diagram as text

spec:model.pack-aggregate: A Pack is a truth-free review aggregate
spec:validation.pack-coherence: Packs are coherent aggregates
spec:validation.pack-coherence.incoherent-aggregate: A repeated member and a non-model modelRef are both named
spec:validation.two-check-families: Validation separates well-formedness from non-pretending
spec:validation.pack-coherence dependsOn spec:model.pack-aggregate · declared — membership and modelRefs use the Pack model
spec:validation.pack-coherence refines spec:validation.two-check-families · declared
spec:validation.pack-coherence.incoherent-aggregate refines spec:validation.pack-coherence · declared
spec:validation.pack-coherence.incoherent-aggregate verifies spec:validation.pack-coherence · 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.pack-coherence

flowchart TB
  n0["Validation separates well-formedness from non-pretending · spec:validation.two-check-families"]
  n1["A Pack is a truth-free review aggregate · spec:model.pack-aggregate"]
  n2["Packs are coherent aggregates · spec:validation.pack-coherence"]
  n3["A repeated member and a non-model modelRef are both named · spec:validation.pack-coherence.incoherent-aggregate"]
  n2 -->|"dependsOn · declared — membership and modelRefs use the Pack model"| n1
  n2 -->|"refines · declared"| n0
  n3 -->|"refines · declared"| n2
  n3 -->|"verifies · declared"| n2

Rests on

refines · spec:validation.two-check-families · stated ready, floor ready
dependsOn · spec:model.pack-aggregate · stated ready, floor ready

Rested on by

Distance 1

spec:validation.pack-coherence.incoherent-aggregate
Implementing units
None.
Referencing units
None.
Enabled verifiers: test:protocol.pack-coherence.incoherent-aggregate
Packs: pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
dependsOn · outgoing	A Pack is a truth-free review aggregate `spec:model.pack-aggregate` · resolves	declared	membership and modelRefs use the Pack model	None
refines · outgoing	Validation separates well-formedness from non-pretending `spec:validation.two-check-families` · resolves	declared	None	None
refines · incoming	A repeated member and a non-model modelRef are both named `spec:validation.pack-coherence.incoherent-aggregate` · resolves	declared	None	None
verifies · incoming	A repeated member and a non-model modelRef are both named `spec:validation.pack-coherence.incoherent-aggregate` · resolves	declared	None	None

Bindings

Implementation binding: present

impl:protocol.pack-coherence · checks Pack membership agreement and uniqueness and model-reference kinds · src/validate/validators.ts:1102 · role validator · component component:protocol.validate · layer domain · context protocol

Design reference: none

Verifier binding: present

spec:validation.pack-coherence.incoherent-aggregate · A repeated member and a non-model modelRef are both named · declared · specs/validation/pack-coherence.incoherent-aggregate.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`