A requirement drawing separates intent from realization and verification

outcome

Read a Spec's refinement, satisfying code and verifier bindings in one picture without mistaking a declared example for a running test.

rule.exactEdges line 16 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:16

For the Spec page's selected set, draw declared refines, declared and anchored verifies, and anchored satisfies edges incident on the set, plus anchored verifies on its declared verifying examples. Draw code references and oracle models only as their own named kinds, never as realization or successful verification.

no example exercises it

rule.claimsApart line 17 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:17

Every box and edge names its claim. A declared verifying example with no resolving test says no test binding; an anchored verifier says binding present, never passed. Missing satisfies says no satisfying binding, never unimplemented by inference through a child. Examples and decision records, which code never satisfies, carry no satisfying-binding label.

no example exercises it

rule.fold line 18 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:18

Combine arrows with the same ends, direction and claim into one labelled arrow naming every relation. Fold verifying examples together with their exclusive test bindings beyond a small readable count, naming both claims and counts. Above the shared bound or readable density, fold the largest remaining group within each band by edge kind, direction and claim, ties in that lexical order and then by band order, until it fits. A fold names its relation and claim and hides its internal identity. Keep every original edge and box in the text equivalent. If the fold still cannot fit, omit the drawing and open its text.

no example exercises it

0 unkeyed rules.

placement line 21 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:21

On a Spec page the requirement drawing replaces the realization drawing under its heading; its set is the Spec, the Specs that refine it, and the examples that verify any of them.

bands line 22 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:22

Place selected non-example Specs, declared verifying examples, satisfying or referencing units, and test or oracle bindings in labelled bands. An example in the selected set always sits in the examples band, including when it also refines a selected Spec. Place Specs outside the selected set in a separate labelled band. Each node has one placement and keeps every edge. Derive each absence statement from the selected examples and recorded edge kinds, never from which bands contain boxes.

exampleFoldCount line 23 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:23

Fold more than 4 selected verifying examples, excluding the subject, with their exclusive test bindings; retain the fold only when it lowers layout height. A generic examples-band fold is named verifying examples, never refining Specs.

foldTitles line 24 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:24

Name incoming and outgoing refinement folds refining Specs and refined Specs; incoming satisfies, references, anchored verifies and models folds read satisfying units, referencing units, test bindings and oracle bindings. Every fold includes its claim and hides its internal identity.

wordsBesideStyle line 25 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:25

Box subtitles say declared Spec, anchored code, anchored test binding or anchored oracle binding; edge labels carry both the exact relation and claim. Verification modes, risk levels and assertion results are not invented.

textEquivalent line 26 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:26

List every full id and title or binding label, each binding's file and line, every exact edge with its claim and reason, and examples with no test binding. This drawing replaces the realization drawing and complements the detailed verification panels.

elementIds line 27 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:27

Use diagram.<subject>.requirement.text, .requirement.arrow and .requirement.fold.<kind>.<direction>.<claim>; when the same group occurs in multiple bands, append .band.<band-index> in the stated band order.

mermaidKind line 28 · specs/consumers/spec-studio.diagram-kinds.requirement-trace.sdp.md:28

requirementDiagram for the exact refines, satisfies and verifies subset, generic requirement nodes and element nodes for code and bindings; omit risk and verifyMethod. Serialize the original exact relations separately even when the SVG combines their arrow. Put claim words in node text and per-edge comments. Use flowchart TB with exact labels when references, models or folds require relations requirement syntax cannot express; never rename them traces.

no citation recorded

Verifier bindings

• test:protocol.studio-architecture-maturity-requirement · anchored · test anchor binding present · test/studio-panels.test.ts:35

  External run evidence from test/studio-panels.test.ts

  Test anchors: test:protocol.studio-architecture-maturity-requirement. Specs verified by those bindings: spec:consumers.spec-studio.diagram-kinds.maturity-picture, spec:consumers.spec-studio.diagram-kinds.requirement-trace, spec:consumers.spec-studio.lenses.architecture, spec:consumers.spec-studio.lenses.architecture.unit-register, spec:consumers.spec-studio.pack-page.maturity-map, spec:consumers.spec-studio.spec-page.

  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
  orders both matrix axes by layer and id, links counts to supporting unit edges and keeps zeros compact	architecture tables and register	passed	74.8 ms
  groups unfamiliar and omitted roles in code-unit order, with source rows and separate binding lists	architecture tables and register	passed	27.09 ms
  draws equal categorical cells, exact counts and marks with ordered complete lists and unresolved members apart	maturity picture	passed	38.78 ms
  places the map inside the page's expander so a cell link opens its member list	maturity picture	passed	21.01 ms
  puts a uniform map behind a closed disclosure and uses solid fill above the mark bound	maturity picture	passed	321.53 ms
  selects the subject, refiners and verifying examples and keeps declared and anchored claims separate	requirement drawing	passed	35.44 ms
  keeps a refining verifier in the examples band and outside Specs apart	requirement drawing	passed	11.64 ms
  offers requirement syntax for the supported exact relation subset	requirement drawing	passed	10.84 ms
  counts the subject example when reporting selected verifying examples	requirement drawing	passed	8.27 ms
  folds the largest exact relation group deterministically and keeps every original binding in text	not recorded	passed	6.82 ms
  keeps a sparse large uses matrix readable with one visible zero legend and hidden cell words	not recorded	passed	17.36 ms
  contains the matrix's hidden cell words inside their scroll region	not recorded	passed	0.48 ms
  does not assert missing bindings on a boundary Spec whose bindings are outside the selected set	not recorded	passed	9.21 ms
  lets full component ids wrap so every uses column fits the printed page	not recorded	passed	1.26 ms
  keeps roles out of the pinned search record while preserving them on graph units	not recorded	passed	3.1 ms
  lists a unit whose recorded component is missing in No component and in unresolved structure	not recorded	passed	4.23 ms
  uses the singular member in a one-member Pack's uniform sentence	not recorded	passed	8.51 ms
  states each absent requirement band without implying that a populated drawing is missing	not recorded	passed	5.53 ms
  breaks equal requirement fold groups by 'kind' in lexical order	not recorded	passed	3.79 ms
  breaks equal requirement fold groups by 'direction' in lexical order	not recorded	passed	1.83 ms
  breaks equal requirement fold groups by 'claim' in lexical order	not recorded	passed	1.31 ms
  offers only the active relation and member renderers after requirement replaces realization	not recorded	passed	0.25 ms
  applies the closed-source print rule to both requirement and maturity drawings	not recorded	passed	0.3 ms

• test:protocol.studio-diagram-core · anchored · test anchor binding present · test/studio-diagram-core.test.ts:37

  External run evidence from test/studio-diagram-core.test.ts

  Test anchors: test:protocol.studio-copy-source, test:protocol.studio-diagram-core. Specs verified by those bindings: spec:consumers.spec-studio.diagram-kinds.edge-routing, spec:consumers.spec-studio.diagram-kinds.legibility, spec:consumers.spec-studio.diagram-kinds.mermaid-source, spec:consumers.spec-studio.diagram-kinds.requirement-trace, spec:consumers.spec-studio.diagrams, spec:consumers.spec-studio.page-elements.

  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
  wraps by code point and shortens shared segments without collisions	shared diagram core	passed	8.25 ms
  wraps boxes within the width budget and writes an instruction only for final wide drawings	shared diagram core	passed	6.1 ms
  routes forward, backward and same-band edges with distinct ports and no shared segments	shared diagram core	passed	14.15 ms
  fails closed when routing cannot fit, retaining complete text and no partial source	shared diagram core	passed	50.17 ms
  serializes full identities, exact claims, reasons, counts and folds as inert Mermaid data	shared diagram core	passed	1.98 ms
  copies the current value of the labelled textarea and selects that same area on clipboard failure	not recorded	passed	55.84 ms
  keeps the full box and edge bound routable with obstacles, separate lanes and edge labels	not recorded	passed	430.81 ms
  offers deterministic Mermaid source for each existing drawing and pins the safe text syntax	not recorded	passed	5.63 ms
  folds reason-bearing trace groups without attributing a member reason to the group	not recorded	passed	8.01 ms
  uses the full band budget for a single context and routes adjacent bands inside it	not recorded	passed	0.59 ms
  prints exact short relation words and reserves keys for wording that cannot fit	not recorded	passed	6.46 ms
  names viewport and instruction ids for trace and secondary views	not recorded	passed	3.43 ms
  names the architecture syntax and serializes aliases in displayed box order	not recorded	passed	0.34 ms
  routes the current Protocol architecture and recorded adopter architecture with distinct ports and segments	not recorded	passed	74.94 ms
  extends overflow rails past earlier labels on the adopter's dense traces	not recorded	passed	4.75 ms
  keeps high-degree boxes inside their cells when contexts share a grid	not recorded	passed	1.15 ms
  folds nine refining verifiers with their tests within the band budget and keeps every text row	not recorded	passed	2.68 ms
  names folded declared refiners by their relation and claim without an internal subtitle	not recorded	passed	2.03 ms
  keeps examples apart from refiners when dense requirement groups fold	not recorded	passed	1.09 ms
  names refines folds in plain words and preserves direction	not recorded	passed	1.31 ms
  names satisfies folds in plain words and preserves direction	not recorded	passed	1.09 ms
  names verifies folds in plain words and preserves direction	not recorded	passed	1.46 ms
  keeps a short drawing unfolded even with many boxes and incident edges	not recorded	passed	1.77 ms
  packs disjoint endpoint intervals into shared horizontal lanes	not recorded	passed	0.89 ms
  uses a legend key before spending overflow width on exact words	not recorded	passed	1.18 ms

Requirement drawing

• Declared verifying examples: no declared verifying example.

Decisions

No decision record named.

• component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  • component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · context protocol
  • 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.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
  • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
• impl:protocol.studio-requirement-diagram · folds requirement bindings by relation direction and claim and serializes exact relations · src/projections/studio/diagrams/requirement.ts:12

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

• impl:protocol.studio-requirement-view · selects Spec refiners, verifying examples and their recorded bindings · src/projections/studio/pages/requirement-view.ts:8

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.