Spec Studio

Graph claims retain their epistemic source

spec:extraction.claim-taxonomyDomain Model · featureready floor ready

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/extraction/claim-taxonomy.sdp.md

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

Intent
outcome
Let every graph reader distinguish authored intent, human bindings, and machine-derived structure.
Model
declared line 15 · specs/extraction/claim-taxonomy.sdp.md:15
Human intent explicitly authored in a Spec or Pack; it is authoritative intent.
anchored line 16 · specs/extraction/claim-taxonomy.sdp.md:16
A human binding from a code, test, or oracle location to zero or more Spec IDs, or between code units for structure; it is authoritative binding and carries no intent.
inferred line 17 · specs/extraction/claim-taxonomy.sdp.md:17
Machine-derived structural information; it is advisory and never authoritative.
claim inheritance line 18 · specs/extraction/claim-taxonomy.sdp.md:18
An edge computed from an authored source keeps that source's claim. belongsTo derives from a Pack manifest and carries declared; anchor-derived edges carry anchored. Derivation is a mechanism, not a fourth claim.
delivery fact line 19 · specs/extraction/claim-taxonomy.sdp.md:19
A realization signal computed from resolving edges, never an authored claim or edge.
Verification

Verifier bindings

  • test:protocol.claim-taxonomy · schema and extraction tests verify claim categories and inheritance · anchored · test anchor binding present · test/graph-schema.test.ts:34

    External run evidence from test/graph-schema.test.ts

    Test anchors: test:protocol.claim-taxonomy, test:protocol.open-section-order. Specs verified by those bindings: spec:extraction.claim-taxonomy, spec:extraction.open-section-order.

    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

    NameSuiteResultDuration
    serializes authored entry order with description first and schema 0.12.0graph schemapassed2.17 ms
    gives the reader, the serialized graph, and the Design Review one entry ordergraph schemapassed31.66 ms
    serializes question text, optional blocking and optional key in canonical ordergraph schemapassed0.6 ms
    inherits the Pack's declared claim for membership and keeps binding claims apartgraph schemapassed74.94 ms
    exports the graph schema contractsgraph schemapassed0.36 ms
Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
Requirement drawing for spec:extraction.claim-taxonomy
The diagram as text
  • spec:extraction.claim-taxonomy: Graph claims retain their epistemic source · declared Spec
  • spec:extraction.derive-graph: Carrier reification derives the one graph · declared Spec
  • component:protocol.graph: the one graph and its semantic decisions · anchored code · src/graph/schema.ts:34
  • impl:protocol.derive-graph: derives the graph from reified carriers and bindings · anchored code · src/extract/derive.ts:241
  • impl:protocol.schema-version: versioned graph nodes, claims, edges and located evidence · anchored code · src/graph/schema.ts:9
  • test:protocol.claim-taxonomy: schema and extraction tests verify claim categories and inheritance · anchored test binding · binding present · test/graph-schema.test.ts:34
  • spec:extraction.claim-taxonomy refines spec:extraction.derive-graph · declared
  • component:protocol.graph satisfies spec:extraction.claim-taxonomy · anchored
  • impl:protocol.derive-graph satisfies spec:extraction.claim-taxonomy · anchored
  • impl:protocol.schema-version satisfies spec:extraction.claim-taxonomy · anchored
  • test:protocol.claim-taxonomy verifies spec:extraction.claim-taxonomy · 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.

Decisions

No decision record named.

Runtime
  • component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · 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
    • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol

    Uses

  • impl:protocol.derive-graph · derives the graph from reified carriers and bindings · src/extract/derive.ts:241

    Component: component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · context protocol

    Uses

    • impl:protocol.delivery-facts · computes delivery facts from resolving binding edges · src/graph/delivery-facts.ts:65
  • impl:protocol.schema-version · versioned graph nodes, claims, edges and located evidence · src/graph/schema.ts:9

    Component: component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · 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:extraction.claim-taxonomy
The diagram as text
  • spec:consumers.spec-studio.responsive: The Studio reads on a phone as on a desktop
  • spec:extraction.claim-taxonomy: Graph claims retain their epistemic source
  • spec:extraction.derive-graph: Carrier reification derives the one graph
  • spec:extraction.entry-citations: The graph records where anchored source cites an entry address
  • spec:validation.claim-separation: Graph claims and contracts stay distinct
  • spec:extraction.claim-taxonomy refines spec:extraction.derive-graph · declared
  • spec:consumers.spec-studio.responsive dependsOn spec:extraction.claim-taxonomy · declared
  • spec:extraction.entry-citations dependsOn spec:extraction.claim-taxonomy · declared — every citation carries the inferred claim
  • spec:validation.claim-separation dependsOn spec:extraction.claim-taxonomy · declared
Mermaid source

Copyable source; the Studio draws static SVG.

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

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingCarrier reification derives the one graph
spec:extraction.derive-graph · resolves		declaredNoneNone
dependsOn · incomingThe Studio reads on a phone as on a desktop
spec:consumers.spec-studio.responsive · resolves		declaredNoneNone
dependsOn · incomingThe graph records where anchored source cites an entry address
spec:extraction.entry-citations · resolves		declaredevery citation carries the inferred claimNone
dependsOn · incomingGraph claims and contracts stay distinct
spec:validation.claim-separation · resolves		declaredNoneNone

Bindings

Implementation binding: present

  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · role contract · layer domain · context protocol
  • impl:protocol.derive-graph · derives the graph from reified carriers and bindings · src/extract/derive.ts:241 · role extractor · component component:protocol.extract · layer application · context protocol
  • impl:protocol.schema-version · versioned graph nodes, claims, edges and located evidence · src/graph/schema.ts:9 · role contract · component component:protocol.graph · layer domain · context protocol

Design reference: none

Verifier binding: present

  • test:protocol.claim-taxonomy · schema and extraction tests verify claim categories and inheritance · anchored · test/graph-schema.test.ts:34 · test anchor

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.