Spec Studio

The shipped projections stay frozen

spec:decisions.shipped-projections-frozenDecision 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/shipped-projections-frozen.sdp.md

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

Intent
outcome
Keep the shipped Design Review, census, Mermaid, and Gherkin projections as the ruled read surfaces so re-specifying them never re-enters a plan.
Decision
context
The refusal to re-specify the shipped Design Review, census, Mermaid and Gherkin projections lived only in plan prose and was absent from the graph.
decision
Re-specifying the shipped Design Review, census, Mermaid, or Gherkin projection is refused. These four projections are the ruled read surfaces over the one graph. A later decision Spec that supersedes this one replaces the ruling whole; a decision Spec that refines this one narrows it for one projection or one rendering and leaves the rest frozen. Either passes the ADR three-part test.
rationale
  • The four projections are shipped, curated read surfaces over the one graph. Re-specifying them re-litigates settled law and risks a second truth store, while a graph-checkable decision record carries the refusal where agents and validators can read it.
consequences
  • Plans treat the four projections as settled read models. Any proposal to reshape one of them arrives as a decision record that refines this one for that projection, or supersedes it whole, never as a follow-up work item.
Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
  • Test or oracle bindings: no recorded binding.
Requirement drawing for spec:decisions.shipped-projections-frozen
Requirement drawing for spec:decisions.shipped-projections-frozenreferences · anchoredreferences · anchoredreferences · anchoredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredrefines · declaredIntended Specsspec:decisions.anchor-binding-grainBindings are optional,plural, and may reference adesign…decisions.anchor-binding-graindeclared Specspec:decisions.architectural-annotationArchitectural significanceis annotated where it isrealized…decisions.architectural-annotationdeclared Specspec:decisions.authored-entry-orderThe Design Review rendersopen-section entries as alist…decisions.authored-entry-orderdeclared Specspec:decisions.pack-design-pageThe Design Review's Packpage presents the Pack'sdesign…decisions.pack-design-pagedeclared Specspec:decisions.question-key-renderingThe Design Review shows anopen question's key…decisions.question-key-renderingdeclared Specspec:decisions.shipped-projections-frozenThe shipped projectionsstay frozen…decisions.shipped-projections-frozendeclared SpecSatisfying or referencingunits6 referencing units · anchored, folded6 referencing units ·anchoredOutside the selected setspec:consumers.design-reviewDesign Review renders graphcontext without becoming agate…consumers.design-reviewdeclared Specspec:consumers.design-review.pack-design-pageA Pack page shows where thePack's design stands…consumers.design-review.pack-design-pagedeclared Specspec:consumers.projections-modelProjections fan out fromone graph without becomingtruth stores…consumers.projections-modeldeclared Specspec:model.anchorsSource anchors bind codewithout carrying intent…model.anchorsdeclared Spec
The diagram as text
  • spec:decisions.shipped-projections-frozen: The shipped projections stay frozen · declared Spec
  • spec:decisions.anchor-binding-grain: Bindings are optional, plural, and may reference a design · declared Spec
  • spec:decisions.architectural-annotation: Architectural significance is annotated where it is realized · declared Spec
  • spec:decisions.authored-entry-order: The Design Review renders open-section entries as a list · declared Spec
  • spec:decisions.pack-design-page: The Design Review's Pack page presents the Pack's design · declared Spec
  • spec:decisions.question-key-rendering: The Design Review shows an open question's key · declared Spec
  • spec:model.anchors: Source anchors bind code without carrying intent · declared Spec
  • spec:consumers.design-review: Design Review renders graph context without becoming a gate · declared Spec
  • spec:consumers.design-review.pack-design-page: A Pack page shows where the Pack's design stands · declared Spec
  • spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores · declared Spec
  • impl:protocol.anchor-model: binding-only anchor model builders · anchored code · src/model/anchors.ts:108
  • impl:protocol.census-page: renders the derived census and runtime taxonomy projection · anchored code · src/projections/census.ts:21
  • impl:protocol.derive-graph: derives the graph from reified carriers and bindings · anchored code · src/extract/derive.ts:241
  • impl:protocol.pack-design-page: renders the Pack page from the Pack design · anchored code · src/projections/design-review-pages.ts:120
  • impl:protocol.schema-version: versioned graph nodes, claims, edges and located evidence · anchored code · src/graph/schema.ts:9
  • impl:protocol.structural-anchors: checks structural anchor validity and disjoint realization and reference targets · anchored code · src/validate/validators.ts:595
  • spec:decisions.anchor-binding-grain refines spec:decisions.shipped-projections-frozen · declared — carves out the Design Review's Referenced by list and the census References table
  • spec:decisions.anchor-binding-grain refines spec:model.anchors · declared
  • spec:decisions.architectural-annotation refines spec:decisions.shipped-projections-frozen · declared — carves out the census Roles, Layers and Contexts tables and the role, layer and context on the Design Review's code unit rows
  • spec:decisions.architectural-annotation refines spec:model.anchors · declared
  • spec:decisions.authored-entry-order refines spec:consumers.design-review · declared
  • spec:decisions.authored-entry-order refines spec:decisions.shipped-projections-frozen · declared — carves out how the Design Review renders open-section entries, as a list in authored order
  • spec:decisions.pack-design-page refines spec:consumers.design-review.pack-design-page · declared
  • spec:decisions.pack-design-page refines spec:decisions.shipped-projections-frozen · declared — carves out the Pack page, which renders the Pack design
  • spec:decisions.question-key-rendering refines spec:consumers.design-review · declared
  • spec:decisions.question-key-rendering refines spec:decisions.shipped-projections-frozen · declared — carves out one change, an open question's key shown before its text
  • spec:decisions.shipped-projections-frozen refines spec:consumers.projections-model · declared
  • impl:protocol.anchor-model references spec:decisions.architectural-annotation · anchored
  • impl:protocol.census-page references spec:decisions.architectural-annotation · anchored
  • impl:protocol.derive-graph references spec:decisions.anchor-binding-grain · anchored
  • impl:protocol.pack-design-page references spec:decisions.pack-design-page · anchored
  • impl:protocol.schema-version references spec:decisions.anchor-binding-grain · anchored
  • impl:protocol.structural-anchors references spec:decisions.architectural-annotation · anchored
  • impl:protocol.structural-anchors references spec:decisions.anchor-binding-grain · anchored
Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: requirementDiagram. Chosen syntax: flowchart TB because references, folds require exact labels unavailable in requirement syntax.

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.shipped-projections-frozen
The diagram as text
  • spec:carrier.step-keys: An example step may carry a key that survives rewording
  • spec:consumers.census-page: Census renders the runtime taxonomy without becoming a registry
  • spec:consumers.command-line: Every verb answers --help, and one verb writes every projection root
  • spec:consumers.design-review: Design Review renders graph context without becoming a gate
  • spec:consumers.gherkin-view: Gherkin view renders any Spec as a disposable read shape
  • spec:consumers.mermaid-view: Mermaid renders bounded one-hop and Pack diagrams without becoming a graph browser
  • spec:consumers.obsidian-vault: An Obsidian vault lets a person iterate on designs from the one graph
  • spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores
  • spec:consumers.spec-studio: The Spec Studio is a static HTML workbench over the one graph
  • spec:consumers.spec-studio.diagram-kinds.mermaid-source: A diagram offers Mermaid source as copyable text
  • spec:consumers.spec-studio.publisher: sdp studio publishes the Studio as one page set
  • spec:consumers.structural-mermaid: Mermaid diagrams can be rooted at code units
  • spec:decisions.anchor-binding-grain: Bindings are optional, plural, and may reference a design
  • spec:decisions.architectural-annotation: Architectural significance is annotated where it is realized
  • spec:decisions.authored-entry-order: The Design Review renders open-section entries as a list
  • spec:decisions.pack-design-page: The Design Review's Pack page presents the Pack's design
  • spec:decisions.question-key-rendering: The Design Review shows an open question's key
  • spec:decisions.shipped-projections-frozen: The shipped projections stay frozen
  • spec:model.rule-keys: A rule or flow entry may carry a key that addresses it
  • spec:model.term-addresses: A Model term may carry a key that addresses it
  • spec:decisions.shipped-projections-frozen refines spec:consumers.projections-model · declared
  • spec:carrier.step-keys decidedBy spec:decisions.shipped-projections-frozen · declared — keys stay off the frozen projections, which read the step text unchanged
  • spec:consumers.census-page decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.command-line decidedBy spec:decisions.shipped-projections-frozen · declared — the verb writes the frozen roots unchanged and adds no projection of its own
  • spec:consumers.design-review decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.gherkin-view decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.mermaid-view decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.obsidian-vault decidedBy spec:decisions.shipped-projections-frozen · declared — the vault is a new root, since the four shipped projections stay frozen
  • spec:consumers.projections-model decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.spec-studio decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.spec-studio.diagram-kinds.mermaid-source decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:consumers.spec-studio.publisher decidedBy spec:decisions.shipped-projections-frozen · declared — the Studio publishes to a root of its own beside the four frozen ones
  • spec:consumers.structural-mermaid decidedBy spec:decisions.shipped-projections-frozen · declared
  • spec:model.rule-keys decidedBy spec:decisions.shipped-projections-frozen · declared — keys stay off the frozen projections, which read the rule text unchanged
  • spec:model.term-addresses decidedBy spec:decisions.shipped-projections-frozen · declared — term keys stay off the frozen projections, which read the definition unchanged
  • spec:decisions.anchor-binding-grain refines spec:decisions.shipped-projections-frozen · declared — carves out the Design Review's Referenced by list and the census References table
  • spec:decisions.architectural-annotation refines spec:decisions.shipped-projections-frozen · declared — carves out the census Roles, Layers and Contexts tables and the role, layer and context on the Design Review's code unit rows
  • spec:decisions.authored-entry-order refines spec:decisions.shipped-projections-frozen · declared — carves out how the Design Review renders open-section entries, as a list in authored order
  • spec:decisions.pack-design-page refines spec:decisions.shipped-projections-frozen · declared — carves out the Pack page, which renders the Pack design
  • spec:decisions.question-key-rendering refines spec:decisions.shipped-projections-frozen · declared — carves out one change, an open question's key shown before its text
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

Distance 9

Distance 10

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingProjections fan out from one graph without becoming truth stores
spec:consumers.projections-model · resolves
declaredNoneNone
decidedBy · incomingAn example step may carry a key that survives rewording
spec:carrier.step-keys · resolves
declaredkeys stay off the frozen projections, which read the step text unchangedNone
decidedBy · incomingCensus renders the runtime taxonomy without becoming a registry
spec:consumers.census-page · resolves
declaredNoneNone
decidedBy · incomingEvery verb answers --help, and one verb writes every projection root
spec:consumers.command-line · resolves
declaredthe verb writes the frozen roots unchanged and adds no projection of its ownNone
decidedBy · incomingDesign Review renders graph context without becoming a gate
spec:consumers.design-review · resolves
declaredNoneNone
decidedBy · incomingGherkin view renders any Spec as a disposable read shape
spec:consumers.gherkin-view · resolves
declaredNoneNone
decidedBy · incomingMermaid renders bounded one-hop and Pack diagrams without becoming a graph browser
spec:consumers.mermaid-view · resolves
declaredNoneNone
decidedBy · incomingAn Obsidian vault lets a person iterate on designs from the one graph
spec:consumers.obsidian-vault · resolves
declaredthe vault is a new root, since the four shipped projections stay frozenNone
decidedBy · incomingProjections fan out from one graph without becoming truth stores
spec:consumers.projections-model · resolves
declaredNoneNone
decidedBy · incomingThe Spec Studio is a static HTML workbench over the one graph
spec:consumers.spec-studio · resolves
declaredNoneNone
decidedBy · incomingA diagram offers Mermaid source as copyable text
spec:consumers.spec-studio.diagram-kinds.mermaid-source · resolves
declaredNoneNone
decidedBy · incomingsdp studio publishes the Studio as one page set
spec:consumers.spec-studio.publisher · resolves
declaredthe Studio publishes to a root of its own beside the four frozen onesNone
decidedBy · incomingMermaid diagrams can be rooted at code units
spec:consumers.structural-mermaid · resolves
declaredNoneNone
decidedBy · incomingA rule or flow entry may carry a key that addresses it
spec:model.rule-keys · resolves
declaredkeys stay off the frozen projections, which read the rule text unchangedNone
decidedBy · incomingA Model term may carry a key that addresses it
spec:model.term-addresses · resolves
declaredterm keys stay off the frozen projections, which read the definition unchangedNone
refines · incomingBindings are optional, plural, and may reference a design
spec:decisions.anchor-binding-grain · resolves
declaredcarves out the Design Review's Referenced by list and the census References tableNone
refines · incomingArchitectural significance is annotated where it is realized
spec:decisions.architectural-annotation · resolves
declaredcarves out the census Roles, Layers and Contexts tables and the role, layer and context on the Design Review's code unit rowsNone
refines · incomingThe Design Review renders open-section entries as a list
spec:decisions.authored-entry-order · resolves
declaredcarves out how the Design Review renders open-section entries, as a list in authored orderNone
refines · incomingThe Design Review's Pack page presents the Pack's design
spec:decisions.pack-design-page · resolves
declaredcarves out the Pack page, which renders the Pack designNone
refines · incomingThe Design Review shows an open question's key
spec:decisions.question-key-rendering · resolves
declaredcarves out one change, an open question's key shown before its textNone

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.