agentlas 1.0.42 → 1.0.44

package/engine/vendor/mermaid/layout.js

@@ -0,0 +1,881 @@
+/**
+ * Graph layout: rank, order, place, route, draw.
+ *
+ * Follows the Sugiyama outline — assign ranks along the flow axis, reorder
+ * within ranks to cut crossings, then relax positions on the cross axis so
+ * chains stay straight. Edges between adjacent ranks share horizontal "bus"
+ * rows; everything else is routed around the diagram through vertical "lanes".
+ *
+ * `BT` and `RL` reuse the `TD`/`LR` layouts and flip the finished canvas, so
+ * text never ends up mirrored.
+ */
+import { Canvas, CONT, D, drawText, drawTextOverEdges, L, R, STY_DOT, STY_SOLID, STY_THICK, U, } from './canvas.js';
+import { Graph } from './graph.js';
+import { fitLabel, MAX_LABEL, MAX_LINES, WRAP_WIDTH, wrapLabel } from './labels.js';
+import { measured, stringWidth } from './width.js';
+/** Cells of padding between a box border and its text. */
+const PAD = 1;
+/** Minimum horizontal / vertical space between boxes. */
+const GAP_X = 3;
+const GAP_Y = 2;
+/** Refuse to allocate a canvas larger than this many cells. */
+const MAX_CANVAS_CELLS = 1 << 21;
+/** Saturating subtraction; Rust's `usize` arithmetic never goes negative. */
+const sat = (a, b) => Math.max(0, a - b);
+const half = (n) => Math.floor(n / 2);
+// ------------------------------------------------------------------ ranking
+/**
+ * Longest-path ranking over the graph's DAG.
+ *
+ * Back edges (those closing a cycle) are excluded by a DFS colouring pass, so
+ * `A --> B --> C --> A` still ranks 0, 1, 2 rather than diverging.
+ */
+export function computeRanks(graph) {
+    const n = graph.nodes.length;
+    const children = Array.from({ length: n }, () => []);
+    const indeg = new Array(n).fill(0);
+    for (const e of graph.edges) {
+        if (e.from !== e.to) {
+            children[e.from].push(e.to);
+            indeg[e.to]++;
+        }
+    }
+    const color = new Uint8Array(n);
+    const dag = Array.from({ length: n }, () => []);
+    const order = [];
+    // Roots first so ranks grow from natural entry points, then any leftovers.
+    const roots = [...Array(n).keys()].filter((i) => indeg[i] === 0);
+    for (const start of [...roots, ...Array(n).keys()]) {
+        if (color[start] === 0)
+            dfsDag(start, children, color, dag, order);
+    }
+    const rank = new Array(n).fill(0);
+    for (let i = order.length - 1; i >= 0; i--) {
+        const u = order[i];
+        for (const v of dag[u])
+            rank[v] = Math.max(rank[v], rank[u] + 1);
+    }
+    return rank;
+}
+/** Iterative DFS recording postorder and skipping edges back into the stack. */
+function dfsDag(start, children, color, dag, order) {
+    const stack = [{ u: start, i: 0 }];
+    color[start] = 1;
+    while (stack.length > 0) {
+        const frame = stack[stack.length - 1];
+        const u = frame.u;
+        if (frame.i < children[u].length) {
+            const v = children[u][frame.i];
+            frame.i++;
+            if (color[v] === 1)
+                continue; // grey: a back edge, ignore it
+            dag[u].push(v);
+            if (color[v] === 0) {
+                color[v] = 1;
+                stack.push({ u: v, i: 0 });
+            }
+        }
+        else {
+            color[u] = 2;
+            order.push(u);
+            stack.pop();
+        }
+    }
+}
+/**
+ * Reorder nodes within each rank to minimise edge crossings (barycenter
+ * sweeps): alternate down/up passes sort each rank by the mean position of its
+ * neighbours, keeping whichever ordering crossed least.
+ */
+export function orderRanks(byRank, edges, ranks) {
+    const n = ranks.length;
+    if (byRank.length < 2 || n < 3)
+        return;
+    const parents = Array.from({ length: n }, () => []);
+    const children = Array.from({ length: n }, () => []);
+    for (const e of edges) {
+        if (e.from !== e.to && ranks[e.to] > ranks[e.from]) {
+            parents[e.to].push(e.from);
+            children[e.from].push(e.to);
+        }
+    }
+    const pos = new Array(n).fill(0);
+    const reindex = (row) => {
+        for (let i = 0; i < row.length; i++)
+            pos[row[i]] = i;
+    };
+    for (const row of byRank)
+        reindex(row);
+    let best = byRank.map((row) => [...row]);
+    let bestCrossings = countCrossings(edges, ranks, pos);
+    if (bestCrossings === 0)
+        return;
+    for (let it = 0; it < 8; it++) {
+        // Alternate sweeping down (sort by parents) and up (sort by children).
+        const rows = it % 2 === 0 ? byRank.slice(1) : byRank.slice(0, -1).reverse();
+        const neigh = it % 2 === 0 ? parents : children;
+        for (const row of rows) {
+            sortByBarycenter(row, neigh, pos);
+            reindex(row);
+        }
+        const crossings = countCrossings(edges, ranks, pos);
+        if (crossings < bestCrossings) {
+            bestCrossings = crossings;
+            best = byRank.map((row) => [...row]);
+        }
+        if (bestCrossings === 0)
+            break;
+    }
+    for (let i = 0; i < byRank.length; i++)
+        byRank[i].splice(0, byRank[i].length, ...best[i]);
+}
+function sortByBarycenter(row, neigh, pos) {
+    const keyed = row.map((v) => ({
+        key: neigh[v].length === 0 ? pos[v] : neigh[v].reduce((s, u) => s + pos[u], 0) / neigh[v].length,
+        v,
+    }));
+    keyed.sort((a, b) => a.key - b.key);
+    for (let i = 0; i < keyed.length; i++)
+        row[i] = keyed[i].v;
+}
+export function countCrossings(edges, ranks, pos) {
+    const adjacent = edges
+        .filter((e) => e.from !== e.to && ranks[e.to] === ranks[e.from] + 1)
+        .map((e) => [ranks[e.from], pos[e.from], pos[e.to]]);
+    let crossings = 0;
+    for (let i = 0; i < adjacent.length; i++) {
+        const a = adjacent[i];
+        for (let j = i + 1; j < adjacent.length; j++) {
+            const b = adjacent[j];
+            if (a[0] === b[0] && ((a[1] < b[1] && a[2] > b[2]) || (a[1] > b[1] && a[2] < b[2]))) {
+                crossings++;
+            }
+        }
+    }
+    return crossings;
+}
+/**
+ * Assign a cross-axis centre to every node so nodes line up under their
+ * neighbours: each node drifts toward the average of its neighbours while
+ * ranks keep their order and boxes keep `sep` between them.
+ */
+export function assignPositions(byRank, size, sep, edges, ranks) {
+    const n = size.length;
+    const parents = Array.from({ length: n }, () => []);
+    const children = Array.from({ length: n }, () => []);
+    for (const e of edges) {
+        if (e.from !== e.to && ranks[e.to] > ranks[e.from]) {
+            parents[e.to].push(e.from);
+            children[e.from].push(e.to);
+        }
+    }
+    const pos = new Array(n).fill(0);
+    for (const row of byRank) {
+        let x = 0;
+        for (const v of row) {
+            const h = size[v] / 2;
+            x += h;
+            pos[v] = x;
+            x += h + sep;
+        }
+    }
+    for (let it = 0; it < 10; it++) {
+        const rows = it % 2 === 0 ? byRank : [...byRank].reverse();
+        const neigh = it % 2 === 0 ? parents : children;
+        for (const row of rows)
+            relaxRank(row, neigh, pos, size, sep);
+    }
+    let minLeft = Number.POSITIVE_INFINITY;
+    for (let v = 0; v < n; v++)
+        minLeft = Math.min(minLeft, pos[v] - size[v] / 2);
+    if (!Number.isFinite(minLeft))
+        minLeft = 0;
+    return Array.from({ length: n }, (_, v) => Math.max(0, Math.round(pos[v] - minLeft)));
+}
+function relaxRank(nodes, neigh, pos, size, sep) {
+    const n = nodes.length;
+    if (n === 0)
+        return;
+    const desired = nodes.map((v) => neigh[v].length === 0 ? pos[v] : neigh[v].reduce((s, u) => s + pos[u], 0) / neigh[v].length);
+    const halfOf = (i) => size[nodes[i]] / 2;
+    // Sweep right then left, then take the midpoint: this centres a node between
+    // the tightest packing that respects order from either side.
+    const left = new Array(n);
+    for (let i = 0; i < n; i++) {
+        left[i] =
+            i === 0 ? desired[i] : Math.max(desired[i], left[i - 1] + halfOf(i - 1) + sep + halfOf(i));
+    }
+    const right = new Array(n);
+    for (let i = n - 1; i >= 0; i--) {
+        right[i] =
+            i === n - 1
+                ? desired[i]
+                : Math.min(desired[i], right[i + 1] - halfOf(i + 1) - sep - halfOf(i));
+    }
+    for (let i = 0; i < n; i++)
+        pos[nodes[i]] = (left[i] + right[i]) / 2;
+    for (let i = 1; i < n; i++) {
+        const minP = pos[nodes[i - 1]] + halfOf(i - 1) + sep + halfOf(i);
+        if (pos[nodes[i]] < minP)
+            pos[nodes[i]] = minP;
+    }
+}
+/**
+ * Pack spans into as few parallel tracks as possible.
+ *
+ * Two spans share a track when they are two cells apart, or when they share an
+ * endpoint — edges fanning out of one node deliberately reuse a single row so
+ * a merge draws one arrowhead rather than a stack of them.
+ */
+export function assignTracks(spans) {
+    const sorted = [...spans].sort((a, b) => {
+        for (let i = 0; i < 5; i++)
+            if (a[i] !== b[i])
+                return a[i] - b[i];
+        return 0;
+    });
+    const tracks = [];
+    const assigned = [];
+    for (const [s, e, f, t, idx] of sorted) {
+        let slot = tracks.findIndex((members) => members.every(([s2, e2, f2, t2]) => e2 + 2 <= s || e + 2 <= s2 || f2 === f || t2 === t));
+        if (slot === -1) {
+            tracks.push([]);
+            slot = tracks.length - 1;
+        }
+        tracks[slot].push([s, e, f, t]);
+        assigned.push([idx, slot]);
+    }
+    return { assigned, count: tracks.length };
+}
+/** Edges from rank `r` to `r + 1` that must jog sideways, so need a bus row. */
+function busSpans(graph, ranks, centers, r, exact) {
+    const out = [];
+    graph.edges.forEach((e, i) => {
+        const jogs = exact
+            ? centers[e.from] !== centers[e.to]
+            : Math.abs(centers[e.from] - centers[e.to]) > 1;
+        if (e.from !== e.to && ranks[e.from] === r && ranks[e.to] === r + 1 && jogs) {
+            out.push([
+                Math.min(centers[e.from], centers[e.to]),
+                Math.max(centers[e.from], centers[e.to]),
+                e.from,
+                e.to,
+                i,
+            ]);
+        }
+    });
+    return out;
+}
+/** Edges skipping a rank or running backwards; these go around in a lane. */
+function laneSpans(graph, ranks, placed, vertical) {
+    const out = [];
+    graph.edges.forEach((e, i) => {
+        if (e.from === e.to || ranks[e.to] === ranks[e.from] + 1)
+            return;
+        const pf = placed[e.from];
+        const pt = placed[e.to];
+        const a = vertical ? Math.min(pf.cy, pt.cy) : Math.min(pf.cx, pt.cx);
+        const b = vertical ? Math.max(pf.cy, pt.cy) : Math.max(pf.cx, pt.cx);
+        out.push([a, b, e.from, e.to, i]);
+    });
+    return out;
+}
+// ----------------------------------------------------------------- placement
+function placeTd(ranks, maxRank, byRank, sizes, graph, placed) {
+    const centers = assignPositions(byRank, sizes.layW, GAP_X, graph.edges, ranks);
+    const edgeBus = new Array(graph.edges.length).fill(0);
+    const busTracks = new Array(maxRank + 1).fill(0);
+    for (let r = 0; r < maxRank; r++) {
+        const spans = busSpans(graph, ranks, centers, r, false);
+        if (spans.length === 0)
+            continue;
+        const { assigned, count } = assignTracks(spans);
+        for (const [idx, slot] of assigned)
+            edgeBus[idx] = slot;
+        busTracks[r] = count;
+    }
+    const rankH = byRank.map((row) => row.length === 0 ? 3 : Math.max(...row.map((i) => sizes.boxH[i] + sizes.extraH[i])));
+    const rankY = new Array(maxRank + 1).fill(0);
+    for (let r = 1; r <= maxRank; r++) {
+        rankY[r] = rankY[r - 1] + rankH[r - 1] + Math.max(GAP_Y, busTracks[r - 1] + 1);
+    }
+    const canvasH = rankY[maxRank] + rankH[maxRank];
+    const bandEnd = Array.from({ length: maxRank + 1 }, (_, r) => rankY[r] + rankH[r]);
+    let diagramW = 1;
+    byRank.forEach((row, r) => {
+        for (const idx of row) {
+            const w = sizes.boxW[idx];
+            const h = sizes.boxH[idx];
+            const cx = centers[idx];
+            const x = sat(cx, half(w));
+            const y = rankY[r] + half(rankH[r] - h - sizes.extraH[idx]);
+            placed[idx] = { x, y, w, h, cx, cy: y + half(h), rank: r };
+            diagramW = Math.max(diagramW, x + w);
+            if (sizes.extraH[idx] > 0 && sizes.selfLabelW[idx] > 0) {
+                diagramW = Math.max(diagramW, x + w + 2 + sizes.selfLabelW[idx]);
+            }
+        }
+    });
+    let contentW = diagramW;
+    for (const e of graph.edges) {
+        if (e.from === e.to || e.label === null)
+            continue;
+        const lw = Math.min(stringWidth(e.label), MAX_LABEL);
+        contentW =
+            ranks[e.to] === ranks[e.from] + 1
+                ? Math.max(contentW, placed[e.to].cx + 2 + lw)
+                : Math.max(contentW, diagramW + lw + 1);
+    }
+    const edgeLane = new Array(graph.edges.length).fill(0);
+    const lanes = laneSpans(graph, ranks, placed, true);
+    let canvasW = contentW;
+    let laneBase = 0;
+    if (lanes.length > 0) {
+        const { assigned, count } = assignTracks(lanes);
+        for (const [idx, slot] of assigned)
+            edgeLane[idx] = slot;
+        canvasW = contentW + 1 + count;
+        laneBase = contentW + 1;
+    }
+    return { canvasW, canvasH, bandEnd, edgeBus, laneBase, edgeLane };
+}
+function placeLr(ranks, maxRank, byRank, sizes, graph, placed) {
+    const colW = byRank.map((row) => row.length === 0 ? 0 : Math.max(...row.map((i) => sizes.boxW[i])));
+    // Left-to-right edge labels sit in the gap between columns, so the gap has
+    // to be wide enough for the widest of them.
+    const labelWidths = graph.edges
+        .filter((e) => e.from === e.to || ranks[e.to] === ranks[e.from] + 1)
+        .filter((e) => e.label !== null)
+        .map((e) => Math.min(stringWidth(e.label), MAX_LABEL));
+    const maxLabel = labelWidths.length === 0 ? 0 : Math.max(...labelWidths);
+    const baseGap = Math.max(GAP_X + 1, maxLabel + 3);
+    const centers = assignPositions(byRank, sizes.layH, 1, graph.edges, ranks);
+    const edgeBus = new Array(graph.edges.length).fill(0);
+    const busTracks = new Array(maxRank + 1).fill(0);
+    for (let r = 0; r < maxRank; r++) {
+        const spans = busSpans(graph, ranks, centers, r, true);
+        if (spans.length === 0)
+            continue;
+        const { assigned, count } = assignTracks(spans);
+        for (const [idx, slot] of assigned)
+            edgeBus[idx] = slot;
+        busTracks[r] = count;
+    }
+    const rankX = new Array(maxRank + 1).fill(0);
+    for (let r = 1; r <= maxRank; r++) {
+        rankX[r] = rankX[r - 1] + colW[r - 1] + Math.max(baseGap, busTracks[r - 1] + 1);
+    }
+    const selfTails = byRank[maxRank]
+        .filter((i) => sizes.extraH[i] > 0 && sizes.selfLabelW[i] > 0)
+        .map((i) => 2 + sizes.selfLabelW[i]);
+    const canvasW = rankX[maxRank] + colW[maxRank] + (selfTails.length === 0 ? 0 : Math.max(...selfTails));
+    const bandEnd = Array.from({ length: maxRank + 1 }, (_, r) => rankX[r] + colW[r]);
+    let diagramH = 1;
+    byRank.forEach((row, r) => {
+        const x = rankX[r];
+        for (const idx of row) {
+            const w = sizes.boxW[idx];
+            const h = sizes.boxH[idx];
+            const cy = centers[idx];
+            const y = sat(cy, half(h + sizes.extraH[idx]));
+            placed[idx] = { x, y, w, h, cx: x + half(w), cy: y + half(h), rank: r };
+            diagramH = Math.max(diagramH, y + h + sizes.extraH[idx]);
+        }
+    });
+    const edgeLane = new Array(graph.edges.length).fill(0);
+    const lanes = laneSpans(graph, ranks, placed, false);
+    let canvasH = diagramH;
+    let laneBase = 0;
+    if (lanes.length > 0) {
+        const { assigned, count } = assignTracks(lanes);
+        for (const [idx, slot] of assigned)
+            edgeLane[idx] = slot;
+        canvasH = diagramH + 1 + count;
+        laneBase = diagramH + 1;
+    }
+    return { canvasW, canvasH, bandEnd, edgeBus, laneBase, edgeLane };
+}
+// -------------------------------------------------------------------- canvas
+/** Rank, place, draw and route a graph onto a fresh canvas. */
+export function layoutCanvas(graph, extras) {
+    const n = graph.nodes.length;
+    if (n === 0)
+        return null;
+    const ranks = computeRanks(graph);
+    const maxRank = Math.max(...ranks, 0);
+    const byRank = Array.from({ length: maxRank + 1 }, () => []);
+    for (let idx = 0; idx < ranks.length; idx++)
+        byRank[ranks[idx]].push(idx);
+    orderRanks(byRank, graph.edges, ranks);
+    const wrapped = graph.nodes.map((node) => wrapLabel(node.label, WRAP_WIDTH, MAX_LINES));
+    const widest = (lines) => Math.max(1, lines.length === 0 ? 1 : Math.max(...lines.map(stringWidth)));
+    const boxW = extras.map((extra, i) => {
+        if (extra.kind === 'frame') {
+            return Math.max(extra.sub.w + 2, stringWidth(fitLabel(graph.nodes[i].label, WRAP_WIDTH)) + 4);
+        }
+        if (extra.kind === 'compartments')
+            return widest(extra.sections.flat()) + 2 * PAD + 2;
+        return widest(wrapped[i]) + 2 * PAD + 2;
+    });
+    const boxH = extras.map((extra, i) => {
+        if (extra.kind === 'frame')
+            return extra.sub.h + 2;
+        if (extra.kind === 'compartments') {
+            const filled = extra.sections.filter((s) => s.length > 0).length;
+            return extra.sections.reduce((s, sec) => s + sec.length, 0) + sat(filled, 1) + 2;
+        }
+        return wrapped[i].length + 2;
+    });
+    // A self-edge needs two rows below its box, and room beside it for a label.
+    const extraH = new Array(n).fill(0);
+    const selfLabelW = new Array(n).fill(0);
+    for (const e of graph.edges) {
+        if (e.from !== e.to)
+            continue;
+        extraH[e.from] = 2;
+        if (e.label !== null) {
+            selfLabelW[e.from] = Math.max(selfLabelW[e.from], Math.min(stringWidth(e.label), MAX_LABEL));
+        }
+    }
+    for (let i = 0; i < n; i++)
+        if (extraH[i] > 0)
+            boxW[i] = Math.max(boxW[i], 7);
+    const sizes = {
+        boxW,
+        boxH,
+        layW: boxW.map((w, i) => w + (selfLabelW[i] > 0 ? 2 * (selfLabelW[i] + 3) : 0)),
+        layH: boxH.map((h, i) => h + extraH[i]),
+        extraH,
+        selfLabelW,
+    };
+    const placed = Array.from({ length: n }, () => ({
+        x: 0,
+        y: 0,
+        w: 0,
+        h: 0,
+        cx: 0,
+        cy: 0,
+        rank: 0,
+    }));
+    const vertical = graph.dir === 'down' || graph.dir === 'up';
+    const plan = vertical
+        ? placeTd(ranks, maxRank, byRank, sizes, graph, placed)
+        : placeLr(ranks, maxRank, byRank, sizes, graph, placed);
+    if (plan.canvasW * plan.canvasH > MAX_CANVAS_CELLS)
+        return null;
+    const canvas = new Canvas(plan.canvasW, plan.canvasH);
+    for (let idx = 0; idx < n; idx++) {
+        const extra = extras[idx];
+        if (extra.kind === 'frame')
+            drawFrame(canvas, placed[idx], graph.nodes[idx].label, extra.sub);
+        else if (extra.kind === 'compartments')
+            drawClassBox(canvas, placed[idx], extra.sections);
+        else
+            drawBox(canvas, placed[idx], wrapped[idx], graph.nodes[idx].shape);
+    }
+    graph.edges.forEach((edge, i) => {
+        canvas.curStyle =
+            edge.line === 'dotted' ? STY_DOT : edge.line === 'thick' ? STY_THICK : STY_SOLID;
+        if (edge.from === edge.to) {
+            routeSelf(canvas, placed[edge.from], edge);
+            return;
+        }
+        const from = placed[edge.from];
+        const to = placed[edge.to];
+        const adjacent = to.rank === from.rank + 1;
+        const bus = plan.bandEnd[from.rank] + plan.edgeBus[i];
+        const lane = plan.laneBase + plan.edgeLane[i];
+        if (vertical) {
+            if (adjacent)
+                routeForward(canvas, from, to, edge, bus);
+            else
+                routeBack(canvas, from, to, edge, lane);
+        }
+        else if (adjacent) {
+            routeForwardLr(canvas, from, to, edge, bus);
+        }
+        else {
+            routeBackLr(canvas, from, to, edge, lane);
+        }
+    });
+    canvas.finalizeMask();
+    return canvas;
+}
+/** Apply the direction flip a finished canvas needs for `BT` / `RL`. */
+export function orient(canvas, graph) {
+    if (graph.dir === 'up')
+        canvas.flipVertical();
+    else if (graph.dir === 'left')
+        canvas.flipHorizontal();
+    return canvas;
+}
+/** Flowchart and state diagrams: plain boxes, no extra content. */
+export function layoutFlowchart(graph) {
+    const extras = graph.nodes.map(() => ({ kind: 'plain' }));
+    const canvas = layoutCanvas(graph, extras);
+    return canvas && orient(canvas, graph);
+}
+/** Class and ER diagrams: boxes divided into title / attribute / method rows. */
+export function layoutClass(graph, infos) {
+    const extras = graph.nodes.map((node, i) => {
+        const title = [];
+        if (infos[i].annotation !== null)
+            title.push(`«${infos[i].annotation}»`);
+        title.push(displayGenerics(node.label));
+        return { kind: 'compartments', sections: [title, infos[i].attrs, infos[i].methods] };
+    });
+    const canvas = layoutCanvas(graph, extras);
+    return canvas && orient(canvas, graph);
+}
+function displayGenerics(s) {
+    let out = '';
+    let open = false;
+    for (const c of s) {
+        if (c === '~') {
+            out += open ? '>' : '<';
+            open = !open;
+        }
+        else {
+            out += c;
+        }
+    }
+    return out;
+}
+const nodeKey = (i) => `n${i}`;
+const groupKey = (i) => `g${i}`;
+/**
+ * Lay out a flowchart that uses `subgraph`.
+ *
+ * Each subgraph becomes a framed box holding its own independently laid-out
+ * canvas. An edge is drawn in the innermost scope containing both endpoints;
+ * one crossing a subgraph boundary attaches to the frame instead of the node.
+ */
+export function layoutGrouped(graph) {
+    // A node whose id matches a subgraph id stands in for that subgraph.
+    const proxy = new Map();
+    graph.groups.forEach((g, gi) => {
+        const ni = graph.index.get(g.id);
+        if (ni !== undefined)
+            proxy.set(ni, gi);
+    });
+    const groupChain = (g) => {
+        const chain = [];
+        let cur = g;
+        while (cur !== null) {
+            chain.push(cur);
+            cur = graph.groups[cur].parent;
+        }
+        return chain.reverse();
+    };
+    const endpoint = (n) => {
+        const gi = proxy.get(n);
+        return gi === undefined
+            ? { key: nodeKey(n), chain: groupChain(graph.nodeGroup[n]) }
+            : { key: groupKey(gi), chain: groupChain(graph.groups[gi].parent) };
+    };
+    /** Edges bucketed by the scope that draws them; `null` is the top level. */
+    const scopeEdges = new Map();
+    const referenced = new Array(graph.groups.length).fill(false);
+    graph.edges.forEach((e, ei) => {
+        const f = endpoint(e.from);
+        const t = endpoint(e.to);
+        let k = 0;
+        while (k < f.chain.length && k < t.chain.length && f.chain[k] === t.chain[k])
+            k++;
+        const scope = k === 0 ? null : f.chain[k - 1];
+        const fKey = f.chain.length > k ? groupKey(f.chain[k]) : f.key;
+        const tKey = t.chain.length > k ? groupKey(t.chain[k]) : t.key;
+        for (const key of [fKey, tKey]) {
+            if (key.startsWith('g'))
+                referenced[Number(key.slice(1))] = true;
+        }
+        const list = scopeEdges.get(scope);
+        if (list)
+            list.push([fKey, tKey, ei]);
+        else
+            scopeEdges.set(scope, [[fKey, tKey, ei]]);
+    });
+    const directNodes = new Map();
+    graph.nodeGroup.forEach((g, ni) => {
+        if (proxy.has(ni))
+            return;
+        const list = directNodes.get(g);
+        if (list)
+            list.push(ni);
+        else
+            directNodes.set(g, [ni]);
+    });
+    // Drop empty subgraphs, but keep any that an edge attaches to.
+    const keep = new Array(graph.groups.length).fill(false);
+    for (let gi = graph.groups.length - 1; gi >= 0; gi--) {
+        const hasNodes = (directNodes.get(gi) ?? []).length > 0;
+        const hasChildren = graph.groups.some((g, c) => g.parent === gi && keep[c]);
+        keep[gi] = hasNodes || hasChildren || referenced[gi];
+    }
+    const canvas = buildScope(graph, null, scopeEdges, directNodes, keep);
+    return canvas && orient(canvas, graph);
+}
+function buildScope(graph, scope, scopeEdges, directNodes, keep) {
+    const items = (directNodes.get(scope) ?? []).map(nodeKey);
+    const childGroups = graph.groups
+        .map((_, gi) => gi)
+        .filter((gi) => graph.groups[gi].parent === scope && keep[gi]);
+    items.push(...childGroups.map(groupKey));
+    if (items.length === 0)
+        return new Canvas(1, 1);
+    const indexOf = new Map();
+    const nodes = [];
+    const extras = [];
+    for (const item of items) {
+        indexOf.set(item, nodes.length);
+        const i = Number(item.slice(1));
+        if (item.startsWith('n')) {
+            nodes.push({ label: graph.nodes[i].label, shape: graph.nodes[i].shape });
+            extras.push({ kind: 'plain' });
+        }
+        else {
+            const sub = buildScope(graph, i, scopeEdges, directNodes, keep);
+            if (sub === null)
+                return null;
+            nodes.push({ label: graph.groups[i].label, shape: 'rect' });
+            extras.push({ kind: 'frame', sub });
+        }
+    }
+    const edges = [];
+    for (const [f, t, ei] of scopeEdges.get(scope) ?? []) {
+        const fi = indexOf.get(f);
+        const ti = indexOf.get(t);
+        if (fi === undefined || ti === undefined)
+            continue;
+        const e = graph.edges[ei];
+        edges.push({
+            from: fi,
+            to: ti,
+            label: e.label,
+            headTo: e.headTo,
+            headFrom: e.headFrom,
+            line: e.line,
+        });
+    }
+    // Layout only reads nodes/edges/dir, so a bare Graph carrying those is enough.
+    const synth = new Graph(graph.dir);
+    synth.nodes = nodes;
+    synth.edges = edges;
+    return layoutCanvas(synth, extras);
+}
+// ------------------------------------------------------------------- drawing
+export function drawBox(canvas, p, lines, shape) {
+    const { x, y, w, h } = p;
+    const right = x + w - 1;
+    const bottom = y + h - 1;
+    const rounded = shape === 'round' || shape === 'diamond';
+    canvas.set(x, y, rounded ? '╭' : '┌', 'border');
+    canvas.set(right, y, rounded ? '╮' : '┐', 'border');
+    canvas.set(x, bottom, rounded ? '╰' : '└', 'border');
+    canvas.set(right, bottom, rounded ? '╯' : '┘', 'border');
+    // The perimeter is drawn as bits so edges can tee into it, but it is the box
+    // outline, so it claims `border` rather than `edge`.
+    for (let cx = x + 1; cx < right; cx++) {
+        canvas.addBits(cx, y, L | R, 'border');
+        canvas.addBits(cx, bottom, L | R, 'border');
+    }
+    for (let cy = y + 1; cy < bottom; cy++) {
+        canvas.addBits(x, cy, U | D, 'border');
+        canvas.addBits(right, cy, U | D, 'border');
+    }
+    for (let cy = y; cy <= bottom; cy++) {
+        for (let cx = x; cx <= right; cx++)
+            canvas.occupied[canvas.idx(cx, cy)] = 1;
+    }
+    const inner = Math.max(1, sat(w, 2 * PAD + 2));
+    lines.forEach((line, li) => {
+        const text = fitLabel(line, inner);
+        const textX = x + 1 + PAD + half(sat(inner, stringWidth(text)));
+        drawText(canvas, text, textX, y + 1 + li, 'text');
+    });
+}
+/** A class or ER box: sections separated by horizontal rules, title centred. */
+function drawClassBox(canvas, p, sections) {
+    drawBox(canvas, p, [], 'rect');
+    const inner = Math.max(1, sat(p.w, 2 * PAD + 2));
+    let row = p.y + 1;
+    let first = true;
+    sections.forEach((section, si) => {
+        if (section.length === 0)
+            return;
+        if (!first) {
+            canvas.set(p.x, row, '├', 'border');
+            for (let x = p.x + 1; x < p.x + p.w - 1; x++)
+                canvas.set(x, row, '─', 'border');
+            canvas.set(p.x + p.w - 1, row, '┤', 'border');
+            row++;
+        }
+        first = false;
+        for (const line of section) {
+            const text = fitLabel(line, inner);
+            const tx = si === 0 ? p.x + 1 + PAD + half(sat(inner, stringWidth(text))) : p.x + 1 + PAD;
+            drawTextOverEdges(canvas, text, tx, row, 'text');
+            row++;
+        }
+    });
+}
+/** A subgraph frame: a titled box with a finished sub-canvas centred inside. */
+function drawFrame(canvas, p, title, sub) {
+    drawBox(canvas, p, [], 'rect');
+    const t = fitLabel(title, sat(p.w, 4));
+    drawTextOverEdges(canvas, ` ${t} `, p.x + 1, p.y, 'text');
+    canvas.blit(sub, p.x + 1 + half(p.w - 2 - sub.w), p.y + 1 + half(p.h - 2 - sub.h));
+}
+// ------------------------------------------------------------------- routing
+function headGlyph(head, arrow) {
+    switch (head) {
+        case 'circle':
+            return 'o';
+        case 'cross':
+            return '×';
+        case 'diamondFill':
+            return '◆';
+        case 'diamondOpen':
+            return '◇';
+        case 'triangle':
+            return { '▼': '▽', '▲': '△', '◄': '◁', '▶': '▷' }[arrow] ?? arrow;
+        default:
+            return arrow;
+    }
+}
+/** Adjacent ranks, top-down: drop, jog along the bus row, drop into the head. */
+function routeForward(canvas, from, to, edge, bus) {
+    const tx = to.cx;
+    // A jog of one column reads as a kink; snap straight instead.
+    const bx = Math.abs(from.cx - tx) <= 1 ? tx : from.cx;
+    const by = from.y + from.h - 1;
+    const headRow = to.y - 1;
+    canvas.junction(bx, by, D);
+    canvas.segV(bx, by, bus);
+    if (bx === tx) {
+        canvas.segV(bx, bus, headRow);
+    }
+    else {
+        canvas.segH(bus, bx, tx);
+        canvas.segV(tx, bus, headRow);
+    }
+    if (edge.headTo === 'none')
+        canvas.addBits(tx, headRow, U);
+    else
+        canvas.set(tx, headRow, headGlyph(edge.headTo, '▼'), 'edge');
+    if (edge.headFrom !== 'none')
+        canvas.set(bx, by, headGlyph(edge.headFrom, '▲'), 'edge');
+    if (edge.label !== null)
+        placeLabel(canvas, edge.label, headRow, tx + 1);
+}
+/** A self-edge: a stub loop hanging below the box. */
+function routeSelf(canvas, p, edge) {
+    const bottom = p.y + p.h - 1;
+    const exitX = p.cx + 1;
+    const retX = p.x + p.w - 2;
+    if (retX <= exitX || bottom + 2 >= canvas.h)
+        return;
+    const [v, h, bl, br] = edge.line === 'dotted'
+        ? ['╎', '╌', '╰', '╯']
+        : edge.line === 'thick'
+            ? ['┃', '━', '┗', '┛']
+            : ['│', '─', '╰', '╯'];
+    canvas.junction(exitX, bottom, D);
+    canvas.set(exitX, bottom + 1, v, 'edge');
+    canvas.set(exitX, bottom + 2, bl, 'edge');
+    for (let x = exitX + 1; x < retX; x++)
+        canvas.set(x, bottom + 2, h, 'edge');
+    canvas.set(retX, bottom + 2, br, 'edge');
+    canvas.set(retX, bottom + 1, headGlyph(edge.headTo, '▲'), 'edge');
+    if (edge.label !== null)
+        placeLabel(canvas, edge.label, bottom + 1, p.x + p.w + 1);
+}
+/** Skip or back edge, top-down: out the right side, up a lane, back in. */
+function routeBack(canvas, from, to, edge, laneX) {
+    const sx = from.x + from.w - 1;
+    const sy = from.cy;
+    const tx = to.x + to.w - 1;
+    const tyc = to.cy;
+    canvas.junction(sx, sy, R);
+    canvas.segH(sy, sx, laneX);
+    canvas.segV(laneX, sy, tyc);
+    canvas.segH(tyc, tx + 1, laneX);
+    if (edge.headTo === 'none')
+        canvas.addBits(tx + 1, tyc, R);
+    else
+        canvas.set(tx + 1, tyc, headGlyph(edge.headTo, '◄'), 'edge');
+    if (edge.headFrom !== 'none')
+        canvas.set(sx, sy, headGlyph(edge.headFrom, '◄'), 'edge');
+    if (edge.label !== null) {
+        placeLabel(canvas, edge.label, sat(tyc, 1), sat(laneX, stringWidth(edge.label) + 1));
+    }
+}
+/** Adjacent ranks, left-to-right: out the right side, jog on the bus column. */
+function routeForwardLr(canvas, from, to, edge, bus) {
+    const rx = from.x + from.w - 1;
+    const ry = from.cy;
+    const ly = to.cy;
+    const headCol = to.x - 1;
+    canvas.junction(rx, ry, R);
+    canvas.segH(ry, rx, bus);
+    if (ry === ly) {
+        canvas.segH(ry, bus, headCol);
+    }
+    else {
+        canvas.segV(bus, ry, ly);
+        canvas.segH(ly, bus, headCol);
+    }
+    if (edge.headTo === 'none')
+        canvas.addBits(headCol, ly, R);
+    else
+        canvas.set(headCol, ly, headGlyph(edge.headTo, '▶'), 'edge');
+    if (edge.headFrom !== 'none')
+        canvas.set(rx, ry, headGlyph(edge.headFrom, '◄'), 'edge');
+    if (edge.label !== null)
+        placeLabel(canvas, edge.label, sat(ly, 1), bus + 1);
+}
+/** Skip or back edge, left-to-right: down out the bottom, along a lane, back up. */
+function routeBackLr(canvas, from, to, edge, laneY) {
+    const sx = from.cx;
+    const sy = from.y + from.h - 1;
+    const tx = to.cx;
+    const ty = to.y + to.h - 1;
+    canvas.junction(sx, sy, D);
+    canvas.segV(sx, sy, laneY);
+    canvas.segH(laneY, sx, tx);
+    canvas.segV(tx, laneY, ty + 1);
+    if (edge.headTo === 'none')
+        canvas.addBits(tx, ty + 1, D);
+    else
+        canvas.set(tx, ty + 1, headGlyph(edge.headTo, '▲'), 'edge');
+    if (edge.headFrom !== 'none')
+        canvas.set(sx, sy, headGlyph(edge.headFrom, '▲'), 'edge');
+    if (edge.label !== null)
+        placeLabel(canvas, edge.label, sat(laneY, 1), half(sx + tx));
+}
+/** Write an edge label, stopping at the first cell already occupied. */
+function placeLabel(canvas, label, row, startX) {
+    if (row >= canvas.h)
+        return;
+    const text = fitLabel(label, MAX_LABEL);
+    let x = startX;
+    for (const [c, cw] of measured(text)) {
+        if (cw === 0)
+            continue;
+        if (x + cw > canvas.w)
+            break;
+        let blocked = false;
+        for (let k = 0; k < cw; k++) {
+            const i = canvas.idx(x + k, row);
+            if (canvas.ch[i] !== ' ' || canvas.mask[i] !== 0 || canvas.occupied[i])
+                blocked = true;
+        }
+        if (blocked)
+            break;
+        canvas.set(x, row, c, 'edgeLabel');
+        for (let k = 1; k < cw; k++)
+            canvas.set(x + k, row, CONT, 'edgeLabel');
+        x += cw;
+    }
+}
+//# sourceMappingURL=layout.js.map