Spec Studio

One Spec carries named delivery coordinates

spec:decisions.one-primitiveDecision Record · featureready floor ready

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/decisions/one-primitive.sdp.md

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

Intent
outcome
Preserve one durable authored primitive while making familiar delivery forms precise.
Decision
context
Delivery statements vary by truth category, scope, and maturity without needing separate artifact types.
decision
A Spec is enriched in place with kind, altitude, and readiness; familiar delivery nouns are named coordinates on that primitive.
rationale
  • Separate types per coordinate combination multiply shapes and break enrich-in-place identity.
consequences
  • Domains and capabilities are projections or Packs, not extra altitudes.
Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
  • Satisfying or referencing units: no recorded binding.
  • Test or oracle bindings: no recorded binding.
Requirement drawing for spec:decisions.one-primitive

Arrows: refines (declared).

The diagram as text
  • spec:decisions.one-primitive: One Spec carries named delivery coordinates · declared Spec
  • spec:model.core-model: The Protocol models delivery with one enrichable Spec · declared Spec
  • spec:decisions.one-primitive refines spec:model.core-model · declared
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

No implementation neighborhood recorded.

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:decisions.one-primitive
  • E3: decidedBy · declared
The diagram as text
  • spec:decisions.epics-of-any-kind: Capability epics keep kind independent of altitude
  • spec:decisions.one-primitive: One Spec carries named delivery coordinates
  • spec:model.core-model: The Protocol models delivery with one enrichable Spec
  • spec:decisions.one-primitive refines spec:model.core-model · declared
  • spec:model.core-model decidedBy spec:decisions.one-primitive · declared
  • spec:decisions.epics-of-any-kind dependsOn spec:decisions.one-primitive · declared — kind and altitude are independent named coordinates on the one primitive
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

Distance 5

Distance 6

Distance 7

Distance 8

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingThe Protocol models delivery with one enrichable Spec
spec:model.core-model · resolves		declaredNoneNone
decidedBy · incomingThe Protocol models delivery with one enrichable Spec
spec:model.core-model · resolves		declaredNoneNone
dependsOn · incomingCapability epics keep kind independent of altitude
spec:decisions.epics-of-any-kind · resolves		declaredkind and altitude are independent named coordinates on the one primitiveNone

Bindings

Implementation binding: none

Design reference: none

Verifier binding: none

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.