Mermaid diagrams can be rooted at code units

spec:consumers.structural-mermaid

Use Case / Behavior · featurescoped floor scoped

Next rung defined waits on 1 unmet clause:

no-blocking-open-questions · Spec has no blocking open question in intent.openQuestions.

Packs: pack:design-management-v1, pack:self-hosting-v1

Design: no design entries · no pinned declarations · 1 decision

specs/consumers/structural-mermaid.sdp.md

1 open question and 1 blocking question; implementation binding none, verifier binding none, and expected-outcome oracle none.

The shipped Mermaid projection draws bounded diagrams rooted at a Spec or a Pack. A Spec-rooted diagram within the bounds includes directly bound code units and test anchors; component membership and uses are read through the census and structural recipes. A view rooted at code units, grouping components by their context and layer, is now the Studio's architecture lens. Adding such a view to the shipped Mermaid root would still need a decision that narrows or replaces the projection freeze.

Intent

outcome: Draw component, membership and uses diagrams rooted at code units, once a reader needs them and the existing views do not serve it.

Open questions

blocking · question.namedStructuralReader line 21 · specs/consumers/structural-mermaid.sdp.md:21 · Does a reader need diagrams rooted at code units, which census tables and Spec-rooted one-hop Mermaid do not serve?Decider: ownerTrigger: a named reader with that need, plus a decision that refines spec:decisions.shipped-projections-frozen for the affected Mermaid rendering or supersedes that ruling whole

Behavior

rule.architectureLens line 26 · specs/consumers/structural-mermaid.sdp.md:26: A component diagram rooted at code units groups its components by context and orders them by layer, and the Studio's architecture lens, spec:consumers.spec-studio.lenses.architecture, draws it; the shipped Mermaid root draws none.
no example exercises it

0 unkeyed rules.

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:consumers.structural-mermaid

Arrows: refines (declared).

The diagram as text

spec:consumers.structural-mermaid: Mermaid diagrams can be rooted at code units · declared Spec · no satisfying binding
spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores · declared Spec
spec:consumers.structural-mermaid refines spec:consumers.projections-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.

Mermaid source for Requirement drawing for spec:consumers.structural-mermaid

requirementDiagram
  requirement n0 {
    text: "Mermaid diagrams can be rooted at code units · declared Spec · no satisfying binding · spec:consumers.structural-mermaid"
  }
  requirement n1 {
    text: "Projections fan out from one graph without becoming truth stores · declared Spec · spec:consumers.projections-model"
  }
  %% claim: declared
  n0 - refines -> n1

Decisions

The shipped projections stay frozen
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.

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:consumers.structural-mermaid

The diagram as text

spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores
spec:consumers.spec-studio.lenses.architecture: The architecture lens draws components by context and layer, the planned beside the built
spec:consumers.structural-mermaid: Mermaid diagrams can be rooted at code units
spec:decisions.shipped-projections-frozen: The shipped projections stay frozen
spec:consumers.structural-mermaid decidedBy spec:decisions.shipped-projections-frozen · declared
spec:consumers.structural-mermaid dependsOn spec:consumers.spec-studio.lenses.architecture · declared — the lens draws the component diagram rooted at code units this Spec asked for
spec:consumers.structural-mermaid refines spec:consumers.projections-model · 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:consumers.structural-mermaid

flowchart TB
  n0["Projections fan out from one graph without becoming truth stores · spec:consumers.projections-model"]
  n1["The architecture lens draws components by context and layer, the planned beside the built · spec:consumers.spec-studio.lenses.architecture"]
  n2["The shipped projections stay frozen · spec:decisions.shipped-projections-frozen"]
  n3["Mermaid diagrams can be rooted at code units · spec:consumers.structural-mermaid"]
  n3 -->|"refines · declared"| n0
  n3 -->|"dependsOn · declared — the lens draws the component diagram rooted at code units this Spec asked for"| n1
  n3 -->|"decidedBy · declared"| n2

Rests on

refines · spec:consumers.projections-model · stated ready, floor ready
dependsOn · spec:consumers.spec-studio.lenses.architecture · stated ready, floor ready
decidedBy · spec:decisions.shipped-projections-frozen · stated ready, floor ready

Rested on by

No Spec rests on this Spec.

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
decidedBy · outgoing	The shipped projections stay frozen `spec:decisions.shipped-projections-frozen` · resolves	declared	None	None
dependsOn · outgoing	The architecture lens draws components by context and layer, the planned beside the built `spec:consumers.spec-studio.lenses.architecture` · resolves	declared	the lens draws the component diagram rooted at code units this Spec asked for	None
refines · outgoing	Projections fan out from one graph without becoming truth stores `spec:consumers.projections-model` · resolves	declared	None	None

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.