Edges route around boxes with deterministic orthogonal paths

outcome

Follow an arrow without it crossing a box or covering a label, using the engine's own static layout.

rule.obstacles line 18 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:18

After box placement and label wrapping, reserve each box and band label rectangle as an obstacle with clearance. An edge may touch only its own source and destination ports; no other segment may intersect a reserved rectangle's interior.

no example exercises it

rule.routes line 19 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:19

Route edges deterministically in code-unit order by from, to, kind and claim with orthogonal whole-pixel paths around the reserved obstacles. Add no layout dependency and read no browser measurement. The build owns the search representation, weights and tie-break implementation.

no example exercises it

rule.ports line 20 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:20

Choose source and destination sides deterministically for forward, same-band and backward edges. Every incident edge has its own port. A cycle and a backward edge remain directed and route around intervening boxes.

no example exercises it

rule.labels line 21 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:21

Reserve an edge label's rectangle beside a free segment. If the exact relation and claim words do not fit, use a stable edge key and name its full wording in the adjacent legend and text equivalent. Every placed label rectangle is an obstacle for later labels and routes; no two labels overlap. An edge carries a label only where spec:consumers.spec-studio.diagrams#rule.wordsBesideStyle asks for one; a drawing whose edges share one relation and one claim names them once in its legend.

no example exercises it

rule.noPath line 22 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:22

If any required route, distinct lane or label cannot be placed within the deterministic routing budget, omit that SVG and open its text equivalent with an explicit routing explanation. Never draw a straight line through a box as fallback.

no example exercises it

0 unkeyed rules.

clearance line 25 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:25

12 logical pixels around boxes and text, with ports connected through their own clearance by a stub. Lane spacing is 8 pixels and gutter margin is 24 pixels; all coordinates and costs are integers.

no citation recorded

cost line 26 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:26

Crossings remain permitted at free points, never through nodes or labels. Two edges never share a collinear segment: they take distinct ports and lanes 8 pixels apart, and an edge that cannot get a lane is a routing failure under the no-path rule.

searchBound line 27 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:27

The build chooses a finite deterministic search budget and tests its routing-failure explanation; tuning the search changes no graph meaning. The shared box and edge bound applies first.

overflow line 28 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:28

Routing gutters may increase SVG width beyond the box layout budget to preserve distinct lanes; the desktop scroll instruction follows that final width. No label is shrunk to fit.

routeModel line 29 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:29

Each route retains from, to, kind, claim, optional aggregation count and relation reason, plus its integer point list; ports and routes are presentation values, never graph edges.

elementIds line 30 · specs/consumers/spec-studio.diagram-kinds.edge-routing.sdp.md:30

Preserve .edge data-from, data-to and data-kind, add data-claim when present and a stable data-edge-key for legend lookup; arrow marker ids remain scoped to subject and view.

Verifier bindings

• 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-diagram-routing · port, channel and overflow-rail edge routes around boxes and labels · src/projections/studio/diagrams/routing.ts:38

  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-diagrams · deterministic grid and band layouts with bounded folds and full text equivalents · src/projections/studio/diagrams/svg.ts:73

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

  Uses

  • impl:protocol.studio-diagram-model · shared diagram boxes, edges and drawing bounds · src/projections/studio/diagrams/model.ts:1

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.