reladraw 0.0.1 → 0.2.0

package/dist/render.js

@@ -0,0 +1,1180 @@
+import { ARROW_MARKER_WIDTH, ATTACH_MARGIN, ATTACH_STEP, DECK_STEP, DEFAULT_FONT_SIZE, ICON_GAP, ICON_LINES, LINE_WIDTH, PAD, fontSizeFor, labelExtent, labelStyleFor, } from './constants.js';
+import { describeAxis } from './ast.js';
+import { SourceError } from './errors.js';
+import { ICON_STROKE, iconFor, shapeFor } from './icons.js';
+import { monospaceMeasurer } from './measure.js';
+/**
+ * Sampled out of `examples/reference/arch.png` rather than invented,
+ * so the benchmark render and the drawing it is measured against differ by
+ * geometry and typography alone. A container is a shade off the page and barely
+ * outlined; a leaf is the navy that carries the diagram's weight.
+ */
+export const DARK_THEME = {
+    background: '#111111',
+    boxFill: '#191728',
+    boxStroke: '#4f5367',
+    containerFill: '#191920',
+    containerStroke: '#25242f',
+    text: '#d9d9d9',
+    mutedText: '#8b8b8b',
+    link: '#5c5c7c',
+    // Both sampled off the reference's machine glyphs. Note that the reference
+    // gives each icon its own hue — the drive is gray, the laptop periwinkle, the
+    // workstation violet — which is a drawing tool's per-shape default and not a
+    // system. One pair for the whole set is the deliberate difference: an icon
+    // should read as part of the diagram's palette, not as clip art dropped in.
+    iconInk: '#8d8d8e',
+    iconShade: '#3e3d58',
+};
+const CORNER = 8;
+/** Turn solved geometry into a standalone SVG document. */
+export function render(layout, options = {}) {
+    const measurer = options.measurer ?? monospaceMeasurer();
+    const fontSize = options.fontSize ?? DEFAULT_FONT_SIZE;
+    // `diagram background:` is the author overruling the theme for this one
+    // drawing, so it is folded in here and everything downstream sees one theme.
+    const base = options.theme ?? DARK_THEME;
+    const stated = layout.diagram['background'];
+    const theme = stated === undefined ? base : { ...base, background: stated };
+    const body = [];
+    for (const root of layout.roots) {
+        body.push(drawNode(root, theme, measurer, fontSize));
+    }
+    // Everything the boxes cover. Links are added to it as they are drawn.
+    let ink = { minX: 0, minY: 0, maxX: layout.width, maxY: layout.height };
+    // Endpoints are planned for every link at once, because where a link meets a
+    // side depends on what else meets that same side. Corridors come after, for
+    // the same reason in the other direction: which lane of a gap a link takes
+    // is ordered by where its ends turned out to be.
+    const ends = planEndpoints(layout.links, measurer, fontSize);
+    const corridors = planCorridors(layout.links, ends, measurer, fontSize);
+    aimFreeEnds(layout.links, ends, corridors);
+    for (const link of layout.links) {
+        const drawn = drawLink(link, ends.get(link), corridors.get(link), theme, measurer, fontSize);
+        body.push(drawn.svg);
+        ink = union(ink, grow(drawn.ink, layout.margin));
+    }
+    // A link's geometry is measured rather than solved for, so the resolver sized
+    // the canvas from the boxes alone. A curve out of a `top` side, or a label
+    // riding above one, lands outside that — so the page grows to hold it and the
+    // origin moves with it, rather than the drawing being quietly clipped.
+    const canvas = {
+        x: Math.floor(ink.minX),
+        y: Math.floor(ink.minY),
+        width: Math.ceil(ink.maxX) - Math.floor(ink.minX),
+        height: Math.ceil(ink.maxY) - Math.floor(ink.minY),
+    };
+    const arrowColors = new Set(layout.links.map((link) => lineOf(link.appearance, theme.link)));
+    return [
+        `<svg xmlns="http://www.w3.org/2000/svg" width="${canvas.width}" height="${canvas.height}" viewBox="${canvas.x} ${canvas.y} ${canvas.width} ${canvas.height}" font-family=${quote(measurer.fontFamily)} font-size="${fontSize}px">`,
+        '  <defs>',
+        ...[...arrowColors].map((color) => arrowMarker(color)),
+        '  </defs>',
+        `  <rect x="${canvas.x}" y="${canvas.y}" width="${canvas.width}" height="${canvas.height}" fill="${theme.background}"/>`,
+        ...body,
+        '</svg>',
+        '',
+    ].join('\n');
+}
+// --- nodes -------------------------------------------------------------------
+function drawNode(node, theme, measurer, fontSize) {
+    // A note is set smaller than a box label by default, and `size:` overrides
+    // that on anything. Only this node's own text takes the size — children are
+    // drawn by their own call and carry whatever they say themselves.
+    const size = fontSizeFor(node.kind, node.appearance, fontSize, node.line);
+    const textHeight = measurer.lineHeight(size);
+    if (node.kind === 'note') {
+        return sized(textBlock(node.lines, node.x, node.y, node.width, textHeight, size, {
+            color: textOf(node.appearance, theme.text),
+            align: 'start',
+        }), size, fontSize);
+    }
+    const shape = shapeFor(node.appearance, node.line);
+    const labelStyle = labelStyleFor(node.label, node.line);
+    const glyphSide = ICON_LINES * textHeight;
+    if (shape.body !== undefined) {
+        // No outline, no fill, no padding — the node is the picture. The label, if
+        // there is one, sits under it and centered.
+        const drawn = [drawIcon(shape.body, node.x + (node.width - glyphSide) / 2, node.y, glyphSide, theme)];
+        if (node.lines.some((line) => line.length > 0)) {
+            drawn.push(sized(textBlock(node.lines, node.x, node.y + glyphSide + ICON_GAP, node.width, textHeight, size, {
+                color: textOf(node.appearance, theme.text),
+                subColor: subtextOf(node.appearance, theme),
+                align: 'middle',
+            }), size, fontSize));
+        }
+        return drawn.join('\n');
+    }
+    const parts = [];
+    const face = faceOf(node);
+    const container = node.children.length > 0;
+    const border = borderOf(node.appearance, container ? theme.containerStroke : theme.boxStroke);
+    const fill = fillOf(node.appearance, container ? theme.containerFill : theme.boxFill);
+    // A box is the one kind with two inkable parts, which is why its text needs
+    // a word of its own — `border:` cannot stand in for it.
+    const text = textOf(node.appearance, theme.text);
+    const subColor = subtextOf(node.appearance, theme);
+    // Deck copies sit behind the front face, furthest back drawn first.
+    for (let depth = node.deckLabels.length; depth >= 1; depth -= 1) {
+        const x = face.x - depth * DECK_STEP;
+        const y = face.y - depth * DECK_STEP;
+        parts.push(`  <path d="${outlinePath(shape.outline, x, y, face.width, face.height)}" fill="${theme.containerFill}" stroke="${border}"/>`);
+        const label = node.deckLabels[depth - 1];
+        if (label !== undefined) {
+            parts.push(sized(textBlock([label], x + PAD, y + PAD, face.width - PAD * 2, textHeight, size, {
+                color: text,
+                align: 'start',
+            }), size, fontSize));
+        }
+    }
+    parts.push(`  <path d="${outlinePath(shape.outline, face.x, face.y, face.width, face.height)}" fill="${fill}" stroke="${border}"/>`);
+    for (const extra of outlineDetail(shape.outline, face.x, face.y, face.width, face.height)) {
+        parts.push(`  <path d="${extra}" fill="none" stroke="${border}"/>`);
+    }
+    // The icon takes a column on the right and the label lays out in what is
+    // left, which is the room the resolver already reserved for exactly this.
+    const icon = iconFor(node.appearance, node.line);
+    const iconSide = icon === undefined ? 0 : glyphSide;
+    const hasLabel = node.lines.some((line) => line.length > 0);
+    const iconRoom = icon === undefined ? 0 : iconSide + (hasLabel ? ICON_GAP : 0);
+    if (!container) {
+        // A leaf centers its label in the box, both ways — in the room beside the
+        // icon rather than the whole box, so the two sit side by side. Centered
+        // across is only the default: a label of several lines may say `align`, and
+        // there is genuine slack between lines of unequal length to range them in.
+        const leafAlign = labelStyleFor(node.label, node.line, 'middle').align;
+        const top = face.y + (face.height - node.lines.length * textHeight) / 2;
+        parts.push(sized(textBlock(node.lines, face.x, top, face.width - iconRoom, textHeight, size, {
+            color: text,
+            subColor,
+            align: leafAlign,
+        }), size, fontSize));
+    }
+    else {
+        // The label and the icon share a band at one end of the box, and the
+        // resolver has already given the contents the other end. A heading is
+        // ranged left at the top; a caption is centered at the bottom.
+        const band = Math.max(node.lines.length * textHeight, iconSide);
+        const bandTop = labelStyle.at === 'top' ? face.y + PAD : face.y + face.height - PAD - band;
+        parts.push(sized(textBlock(node.lines, face.x + PAD, bandTop, face.width - PAD * 2 - iconRoom, textHeight, size, {
+            color: text,
+            subColor,
+            align: labelStyle.align,
+        }), size, fontSize));
+        for (const child of node.children) {
+            parts.push(drawNode(child, theme, measurer, fontSize));
+        }
+    }
+    if (icon !== undefined) {
+        // A container's icon rides in the label's band, at whichever end that is; a
+        // leaf's label is centered, so the icon centers with it. Both follow the
+        // label rather than being placed by a rule of their own, which is what
+        // keeps an icon reading as part of the title block and not as a sticker.
+        const left = face.x + face.width - PAD - iconSide;
+        const top = container
+            ? labelStyle.at === 'top'
+                ? face.y + PAD
+                : face.y + face.height - PAD - iconSide
+            : face.y + (face.height - iconSide) / 2;
+        parts.push(drawIcon(icon, left, top, iconSide, theme));
+    }
+    return parts.join('\n');
+}
+/**
+ * How far the dog-ear cuts into the top-right corner of a `document`.
+ *
+ * Twice the corner radius, so it is the same size on every box however wide.
+ * The reference sizes its fold as a fraction of the box, which is why the fold
+ * on those two wide `pg_dump` boxes almost disappears — the idea was right and
+ * only the scaling was wrong.
+ */
+const FOLD = CORNER * 2;
+/** The node's outline, as path data. */
+function outlinePath(shape, x, y, w, h) {
+    const r = CORNER;
+    if (shape === 'document') {
+        // Every corner rounded but the top-right one, which is cut away and folded.
+        return [
+            `M${round(x + r)} ${round(y)}`,
+            `H${round(x + w - FOLD)}`,
+            `L${round(x + w)} ${round(y + FOLD)}`,
+            `V${round(y + h - r)}`,
+            `a${r} ${r} 0 0 1 ${-r} ${r}`,
+            `H${round(x + r)}`,
+            `a${r} ${r} 0 0 1 ${-r} ${-r}`,
+            `V${round(y + r)}`,
+            `a${r} ${r} 0 0 1 ${r} ${-r}`,
+            'Z',
+        ].join(' ');
+    }
+    return [
+        `M${round(x + r)} ${round(y)}`,
+        `H${round(x + w - r)}`,
+        `a${r} ${r} 0 0 1 ${r} ${r}`,
+        `V${round(y + h - r)}`,
+        `a${r} ${r} 0 0 1 ${-r} ${r}`,
+        `H${round(x + r)}`,
+        `a${r} ${r} 0 0 1 ${-r} ${-r}`,
+        `V${round(y + r)}`,
+        `a${r} ${r} 0 0 1 ${r} ${-r}`,
+        'Z',
+    ].join(' ');
+}
+/** Lines drawn inside the outline: the flap of a fold, and nothing else so far. */
+function outlineDetail(shape, x, y, w, h) {
+    void h;
+    if (shape !== 'document')
+        return [];
+    return [
+        `M${round(x + w - FOLD)} ${round(y)} V${round(y + FOLD)} H${round(x + w)}`,
+    ];
+}
+/** One icon, scaled from its own grid onto a square of `side` at `x, y`. */
+function drawIcon(icon, x, y, side, theme) {
+    const scale = side / icon.grid;
+    const color = (tone) => tone === 'ink' ? theme.iconInk : tone === 'shade' ? theme.iconShade : theme.background;
+    const paths = icon.paths.map((path) => {
+        const fill = path.fill === undefined ? 'none' : color(path.fill);
+        const stroke = path.stroke === undefined
+            ? ''
+            : ` stroke="${color(path.stroke)}" stroke-width="${ICON_STROKE}" stroke-linejoin="round"`;
+        return `    <path d="${path.d}" fill="${fill}"${stroke}/>`;
+    });
+    return [
+        `  <g transform="translate(${round(x)} ${round(y)}) scale(${round(scale * 1000) / 1000})">`,
+        ...paths,
+        '  </g>',
+    ].join('\n');
+}
+// --- links -------------------------------------------------------------------
+function drawLink(link, ends, corridor, theme, measurer, fontSize) {
+    const { start, end } = ends;
+    const color = lineOf(link.appearance, theme.link);
+    const markerEnd = ` marker-end="url(#${markerId(color)})"`;
+    const markerStart = link.both ? ` marker-start="url(#${markerId(color)}-back)"` : '';
+    // A named side is a statement about how the line should leave or arrive, so
+    // it is drawn as a curve that actually does leave and arrive that way. With
+    // neither side named there is nothing to honor and the line stays straight.
+    const curved = start.side !== undefined || end.side !== undefined;
+    const parts = [];
+    // What the line actually covers, so the canvas can be sized to hold it. A
+    // curve leaving a `top` side rides above every box in the drawing, and the
+    // node bounds know nothing about it.
+    let ink = extentOfPoints([start, end]);
+    let midX;
+    let midY;
+    if (corridor) {
+        const path = corridorPath(start, end, corridor);
+        ink = union(ink, path.ink);
+        parts.push(`  <path d="${path.d}" fill="none" stroke="${color}" stroke-width="${LINE_WIDTH}"${markerEnd}${markerStart}/>`);
+        // The label goes on the straight run rather than at the midpoint of the
+        // whole path, so it sits in the gap the author asked the line to travel.
+        midX = path.mid.x;
+        midY = path.mid.y;
+    }
+    else if (curved) {
+        const reach = controlReach(start, end);
+        // A bundle whose sides were too short to spread it takes the rest of the
+        // room in the middle, exactly as a straight group does — see `bowBundles`.
+        // Displacing both control points equally moves the curve's middle by three
+        // quarters as much, so the bow is scaled up by the inverse of that.
+        const lift = 4 / 3;
+        const bx = (ends.bow?.x ?? 0) * lift;
+        const by = (ends.bow?.y ?? 0) * lift;
+        const c1 = { x: start.x + start.tx * reach + bx, y: start.y + start.ty * reach + by };
+        const c2 = { x: end.x + end.tx * reach + bx, y: end.y + end.ty * reach + by };
+        parts.push(`  <path d="M ${round(start.x)} ${round(start.y)} C ${round(c1.x)} ${round(c1.y)}, ${round(c2.x)} ${round(c2.y)}, ${round(end.x)} ${round(end.y)}" fill="none" stroke="${color}" stroke-width="${LINE_WIDTH}"${markerEnd}${markerStart}/>`);
+        ink = union(ink, cubicExtent(start, c1, c2, end));
+        // The point halfway along a cubic, which is where the label belongs.
+        midX = (start.x + 3 * c1.x + 3 * c2.x + end.x) / 8;
+        midY = (start.y + 3 * c1.y + 3 * c2.y + end.y) / 8;
+    }
+    else if (ends.bow && (ends.bow.x !== 0 || ends.bow.y !== 0)) {
+        // A straight line that could not get the room it needed at its ends, so it
+        // takes it in the middle. Both control points carry the same displacement,
+        // which keeps the arc symmetric; a cubic's middle moves three quarters of
+        // the way its controls do, so the displacement is the bow scaled up by that.
+        const lift = 4 / 3;
+        const run = { x: (end.x - start.x) / 3, y: (end.y - start.y) / 3 };
+        const c1 = {
+            x: start.x + run.x + ends.bow.x * lift,
+            y: start.y + run.y + ends.bow.y * lift,
+        };
+        const c2 = {
+            x: end.x - run.x + ends.bow.x * lift,
+            y: end.y - run.y + ends.bow.y * lift,
+        };
+        parts.push(`  <path d="M ${round(start.x)} ${round(start.y)} C ${round(c1.x)} ${round(c1.y)}, ${round(c2.x)} ${round(c2.y)}, ${round(end.x)} ${round(end.y)}" fill="none" stroke="${color}" stroke-width="${LINE_WIDTH}"${markerEnd}${markerStart}/>`);
+        ink = union(ink, cubicExtent(start, c1, c2, end));
+        midX = (start.x + 3 * c1.x + 3 * c2.x + end.x) / 8;
+        midY = (start.y + 3 * c1.y + 3 * c2.y + end.y) / 8;
+    }
+    else {
+        parts.push(`  <line x1="${round(start.x)}" y1="${round(start.y)}" x2="${round(end.x)}" y2="${round(end.y)}" stroke="${color}" stroke-width="${LINE_WIDTH}"${markerEnd}${markerStart}/>`);
+        midX = (start.x + end.x) / 2;
+        midY = (start.y + end.y) / 2;
+    }
+    if (link.label !== undefined) {
+        // A link label breaks on ` / ` exactly as a box label does, so a two-line
+        // caption on an arrow needs no vocabulary of its own. The block is centered
+        // on the midpoint, which keeps a one-line label where it has always been.
+        const size = fontSizeFor('link', link.appearance, fontSize, link.line);
+        const textHeight = measurer.lineHeight(size);
+        const { width, lines } = measurer.measure(link.label, size);
+        const height = lines.length * textHeight;
+        const top = midY - height / 2;
+        // The label knocks a hole in whatever it lands on rather than sitting in a
+        // chip of its own: an outlined box reads as a node, which is the one thing
+        // a label on a line is not.
+        parts.push(`  <rect x="${round(midX - width / 2 - 5)}" y="${round(top)}" width="${round(width + 10)}" height="${round(height)}" fill="${theme.background}"/>`);
+        ink = union(ink, {
+            minX: midX - width / 2 - 5,
+            minY: top,
+            maxX: midX + width / 2 + 5,
+            maxY: top + height,
+        });
+        parts.push(sized(textBlock(lines, midX - width / 2, top, width, textHeight, size, {
+            // A colored link carries its meaning into its label; an uncolored
+            // one leaves the words to read as ordinary text.
+            color: textOf(link.appearance, lineOf(link.appearance, theme.text)),
+            align: 'middle',
+        }), size, fontSize));
+    }
+    // The stroke straddles the path, so half of it lies outside the geometry.
+    return { svg: parts.join('\n'), ink: grow(ink, LINE_WIDTH / 2) };
+}
+function union(a, b) {
+    return {
+        minX: Math.min(a.minX, b.minX),
+        minY: Math.min(a.minY, b.minY),
+        maxX: Math.max(a.maxX, b.maxX),
+        maxY: Math.max(a.maxY, b.maxY),
+    };
+}
+function grow(extent, by) {
+    return {
+        minX: extent.minX - by,
+        minY: extent.minY - by,
+        maxX: extent.maxX + by,
+        maxY: extent.maxY + by,
+    };
+}
+function extentOfPoints(points) {
+    return {
+        minX: Math.min(...points.map((p) => p.x)),
+        minY: Math.min(...points.map((p) => p.y)),
+        maxX: Math.max(...points.map((p) => p.x)),
+        maxY: Math.max(...points.map((p) => p.y)),
+    };
+}
+/**
+ * What a cubic actually covers, which is not what its control points cover. A
+ * handle reaching 140 pixels up carries the curve only about three quarters of
+ * that, and sizing the page off the handles would leave a visible band of empty
+ * canvas above every curved link. Solved rather than sampled: the extremes are
+ * the ends plus wherever the derivative — a quadratic — crosses zero.
+ */
+function cubicExtent(p0, c1, c2, p3) {
+    const span = (a, b, c, d) => {
+        const values = [a, d];
+        // The derivative of the cubic, written as a quadratic in t.
+        const qa = 3 * (-a + 3 * b - 3 * c + d);
+        const qb = 6 * (a - 2 * b + c);
+        const qc = 3 * (b - a);
+        const roots = [];
+        if (Math.abs(qa) < 1e-9) {
+            if (Math.abs(qb) > 1e-9)
+                roots.push(-qc / qb);
+        }
+        else {
+            const disc = qb * qb - 4 * qa * qc;
+            if (disc >= 0) {
+                const root = Math.sqrt(disc);
+                roots.push((-qb + root) / (2 * qa), (-qb - root) / (2 * qa));
+            }
+        }
+        for (const t of roots) {
+            if (t <= 0 || t >= 1)
+                continue;
+            const u = 1 - t;
+            values.push(u * u * u * a + 3 * u * u * t * b + 3 * u * t * t * c + t * t * t * d);
+        }
+        return [Math.min(...values), Math.max(...values)];
+    };
+    const [minX, maxX] = span(p0.x, c1.x, c2.x, p3.x);
+    const [minY, maxY] = span(p0.y, c1.y, c2.y, p3.y);
+    return { minX, minY, maxX, maxY };
+}
+/** Walk out from the center of a box toward a point, stopping at the border. */
+function edgePoint(box, toward) {
+    const center = centerOf(box);
+    const dx = toward.x - center.x;
+    const dy = toward.y - center.y;
+    if (dx === 0 && dy === 0)
+        return center;
+    const scaleX = dx === 0 ? Infinity : box.width / 2 / Math.abs(dx);
+    const scaleY = dy === 0 ? Infinity : box.height / 2 / Math.abs(dy);
+    const scale = Math.min(scaleX, scaleY);
+    return { x: center.x + dx * scale, y: center.y + dy * scale };
+}
+// --- where a link meets a box -------------------------------------------------
+const SIDES = ['top', 'bottom', 'left', 'right'];
+/**
+ * Work out where every link meets every box.
+ *
+ * An author names a *side* — `to: top` — and never a point on it. Alone on a
+ * side a link lands at its center; sharing the side with others, the points
+ * spread so they do not sit on top of each other. Which one goes where is
+ * derived from where the far ends actually are, never chosen: of two links
+ * arriving at one top edge, the one coming from further left arrives further
+ * left. That is the same rule as box non-overlap — the tool separates things by
+ * default, and reads the direction off the solved layout rather than asking.
+ *
+ * Where several links run between the *same* pair of sides that rule has
+ * nothing to read, and a `Bundle` supplies the order instead — see there.
+ */
+function planEndpoints(links, measurer, fontSize) {
+    const claims = new Map();
+    const achieved = new Map();
+    const named = new Map();
+    const bundles = planBundles(links, measurer, fontSize);
+    const spreads = planSpreads(links, measurer, fontSize);
+    for (const link of links) {
+        named.set(link, {});
+        const fromSide = sideAttr(link, 'from');
+        const toSide = sideAttr(link, 'to');
+        if (fromSide) {
+            claim(claims, link.from, fromSide, {
+                link,
+                which: 'start',
+                side: fromSide,
+                toward: centerOf(faceOf(link.to)),
+                rank: rankIn(bundles.get(link), link, link.from, fromSide),
+            });
+        }
+        if (toSide) {
+            claim(claims, link.to, toSide, {
+                link,
+                which: 'end',
+                side: toSide,
+                toward: centerOf(faceOf(link.from)),
+                rank: rankIn(bundles.get(link), link, link.to, toSide),
+            });
+        }
+    }
+    // Place every claimed side, spreading the points that share one.
+    for (const [node, bySide] of claims) {
+        const face = faceOf(node);
+        for (const [side, group] of bySide) {
+            const along = side === 'top' || side === 'bottom' ? 'x' : 'y';
+            const span = along === 'x' ? face.width : face.height;
+            const origin = along === 'x' ? face.x : face.y;
+            // Far ends first, as ever; a bundle's own lane order settles the links
+            // that share one, which are precisely the ones the first key cannot.
+            const ordered = [...group].sort((a, b) => a.toward[along] - b.toward[along] || (a.rank ?? 0) - (b.rank ?? 0));
+            // A bundle's lanes have to hold whole labels apart rather than the points
+            // of two arrows, so its step is the one that governs the side it lands on.
+            const wanted = Math.max(ATTACH_STEP, ...group.map((entry) => bundles.get(entry.link)?.step ?? 0));
+            const usable = Math.max(0, span - ATTACH_MARGIN * 2);
+            const step = ordered.length > 1 ? Math.min(wanted, usable / (ordered.length - 1)) : 0;
+            const first = origin + span / 2 - (step * (ordered.length - 1)) / 2;
+            ordered.forEach((entry, index) => {
+                const at = first + index * step;
+                named.get(entry.link)[entry.which] = anchorOn(face, side, at);
+            });
+            // What the side could actually give, which is less than `wanted` when it
+            // is too short for the group. `bowBundles` makes up the difference.
+            let steps = achieved.get(node);
+            if (!steps)
+                achieved.set(node, (steps = new Map()));
+            steps.set(side, step);
+        }
+    }
+    const bows = bowBundles(bundles, achieved);
+    // Fill in the ends the author said nothing about, now that the named ones
+    // are known: an unnamed end aims at wherever its partner ended up.
+    const ends = new Map();
+    for (const link of links) {
+        const partial = named.get(link);
+        const fromFace = faceOf(link.from);
+        const toFace = faceOf(link.to);
+        // Several links between one pair of boxes with no side named anywhere: the
+        // line each would have drawn alone, moved aside so they do not coincide.
+        const spread = spreads.get(link);
+        if (spread) {
+            ends.set(link, { ...parallelEnds(fromFace, toFace, spread.offset), bow: spread.bow });
+            continue;
+        }
+        // With neither end named this is the straight line it always was, each end
+        // aiming at the other box's center.
+        const start = partial.start ?? free(fromFace, partial.end ?? centerOf(toFace));
+        const end = partial.end ?? free(toFace, partial.start ?? centerOf(fromFace));
+        ends.set(link, { start, end, bow: bows.get(link) });
+    }
+    return ends;
+}
+/**
+ * Group the links that run between the same pair of sides, and work out the
+ * lane order and lane width each group needs.
+ *
+ * Only a link whose author named *both* sides can be in a bundle: a bundle is a
+ * statement about two specific edges, and an end with no side named has not
+ * picked one yet.
+ */
+function planBundles(links, measurer, fontSize) {
+    const ids = new Map();
+    const idOf = (node) => {
+        let id = ids.get(node);
+        if (id === undefined) {
+            id = ids.size;
+            ids.set(node, id);
+        }
+        return id;
+    };
+    const groups = new Map();
+    for (const link of links) {
+        const fromSide = sideAttr(link, 'from');
+        const toSide = sideAttr(link, 'to');
+        if (!fromSide || !toSide || link.from === link.to)
+            continue;
+        const a = { node: link.from, side: fromSide };
+        const b = { node: link.to, side: toSide };
+        const keyA = `${idOf(a.node)}:${a.side}`;
+        const keyB = `${idOf(b.node)}:${b.side}`;
+        // The pair is unordered — `a -> b` and `b -> a` join the same two edges —
+        // so the key is canonical and the ends are stored in that same order.
+        const swap = keyB < keyA;
+        const key = swap ? `${keyB}|${keyA}` : `${keyA}|${keyB}`;
+        const ends = swap ? [b, a] : [a, b];
+        const group = groups.get(key);
+        if (group)
+            group.links.push(link);
+        else
+            groups.set(key, { ends, links: [link] });
+    }
+    const bundles = new Map();
+    for (const group of groups.values()) {
+        if (group.links.length < 2)
+            continue;
+        const [first, second] = group.ends;
+        const t0 = tangentOf(first.side);
+        const t1 = tangentOf(second.side);
+        const from = sideCenter(first);
+        const to = sideCenter(second);
+        const run = { x: to.x - from.x, y: to.y - from.y };
+        // Nesting is a matter of which side of the line each end steps toward. Step
+        // both ends to the same side of the run and the whole line translates;
+        // step them to opposite sides and it pivots, which is a crossing.
+        const aligned = cross(run, t0) * cross(run, t1) >= 0;
+        const sense = aligned ? 1 : -1;
+        // Two links leaving in opposite directions are the ordinary case, and which
+        // lane each takes is then read off the diagram rather than off the order the
+        // author happened to type them in: a line keeps to one side of its own run.
+        // Links pointing the same way have no such signal and fall back to the file.
+        const order = new Map(group.links.map((link, index) => [link, index]));
+        const lanes = [...group.links].sort((a, b) => Number(a.from !== first.node) - Number(b.from !== first.node) ||
+            order.get(a) - order.get(b));
+        // One lane apart moves a link's start by `step` along one side and its end
+        // by `step` along the other, so the midpoint of the line — which is where
+        // its label goes — moves by the average of the two.
+        const drift = { x: (t0.x + sense * t1.x) / 2, y: (t0.y + sense * t1.y) / 2 };
+        const bundle = {
+            ends: group.ends,
+            lanes,
+            aligned,
+            step: Math.max(ATTACH_STEP, laneStep(lanes, drift, measurer, fontSize)),
+        };
+        for (const link of lanes)
+            bundles.set(link, bundle);
+    }
+    return bundles;
+}
+/**
+ * The sideways offset each link takes when several run between the same two
+ * boxes and none of them names a side.
+ *
+ * An unnamed end has no side to spread along: it aims at the far box's center
+ * and attaches wherever that ray crosses the border, so every link in such a
+ * group produces the *same* ray and they are drawn on top of one another —
+ * one visible line, every label stacked on one point. `planEndpoints` cannot
+ * see this and `planBundles` will not, since a bundle is a statement about two
+ * named edges.
+ *
+ * The repair keeps the attachment rule exactly as it is and only stops two
+ * links using it at the same place: the line a link would have drawn alone is
+ * translated across its own run by a lane, which is the straight-line version
+ * of the nesting a bundle already gives curves. A lone link is in no group and
+ * so is untouched.
+ *
+ * Where the boxes are too small to hold the group at full spacing, the ends
+ * are squeezed evenly to fit the edge — there is nowhere further to attach —
+ * and the shortfall is made up in the middle instead: each line bows across
+ * its run by exactly what its endpoints could not give it, so the labels, which
+ * ride at the midpoints, come apart even though the arrows do not. The bow is
+ * therefore derived rather than styled, and it is zero whenever the edge was
+ * long enough, which is why the ordinary case is still a straight line.
+ *
+ * A `between` link is left out. Its route is the corridor it named, its lane
+ * inside that corridor is `planCorridors`' business, and `aimFreeEnds` will
+ * re-aim these ends at the corridor afterwards regardless.
+ */
+function planSpreads(links, measurer, fontSize) {
+    const ids = new Map();
+    const idOf = (node) => {
+        let id = ids.get(node);
+        if (id === undefined) {
+            id = ids.size;
+            ids.set(node, id);
+        }
+        return id;
+    };
+    const groups = new Map();
+    for (const link of links) {
+        if (sideAttr(link, 'from') || sideAttr(link, 'to'))
+            continue;
+        if (link.from === link.to || link.between)
+            continue;
+        const a = idOf(link.from);
+        const b = idOf(link.to);
+        const swap = b < a;
+        const key = swap ? `${b}|${a}` : `${a}|${b}`;
+        const first = swap ? link.to : link.from;
+        const group = groups.get(key);
+        if (group)
+            group.links.push(link);
+        else
+            groups.set(key, { first, links: [link] });
+    }
+    const spreads = new Map();
+    for (const group of groups.values()) {
+        if (group.links.length < 2)
+            continue;
+        const from = centerOf(faceOf(group.first));
+        const sample = group.links[0];
+        const other = sample.from === group.first ? sample.to : sample.from;
+        const to = centerOf(faceOf(other));
+        const dx = to.x - from.x;
+        const dy = to.y - from.y;
+        const length = Math.hypot(dx, dy) || 1;
+        // Translating the line moves its midpoint — where the label goes — by
+        // exactly this, so it is the drift `laneStep` needs.
+        const across = { x: -dy / length, y: dx / length };
+        // The same derived order a bundle uses: links pointing opposite ways each
+        // keep to one side of their own run, so a reciprocal pair reads as a
+        // circulation, and only links pointing the same way fall back to the file.
+        const order = new Map(group.links.map((link, index) => [link, index]));
+        const lanes = [...group.links].sort((a, b) => Number(a.from !== group.first) - Number(b.from !== group.first) ||
+            order.get(a) - order.get(b));
+        // How far a lane may be shifted before its line no longer passes through the
+        // box at all. `exitAlong` clamps beyond that, which piles the outer lanes
+        // onto a corner and puts their labels back on top of each other — so the
+        // group is squeezed evenly instead, exactly as `planEndpoints` squeezes a
+        // side too short for the links arriving on it, and just as silently.
+        const reach = (node) => {
+            const face = faceOf(node);
+            const byX = across.x === 0 ? Infinity : face.width / 2 / Math.abs(across.x);
+            const byY = across.y === 0 ? Infinity : face.height / 2 / Math.abs(across.y);
+            return Math.max(0, Math.min(byX, byY) - ATTACH_MARGIN);
+        };
+        // Which way lane 0 lies is arbitrary, so fix it the way the rest of the
+        // renderer does — toward increasing x, or increasing y where the run is
+        // horizontal. Without this the first link written is topmost on a rightward
+        // run and rightmost on a downward one, for no reason a reader could see.
+        const orient = across.x < 0 || (across.x === 0 && across.y < 0) ? -1 : 1;
+        const usable = 2 * Math.min(reach(group.first), reach(other));
+        const wanted = Math.max(ATTACH_STEP, laneStep(lanes, across, measurer, fontSize));
+        const step = Math.min(wanted, usable / (lanes.length - 1));
+        lanes.forEach((link, index) => {
+            const place = index - (lanes.length - 1) / 2;
+            // The lane is measured across the pair's own run, which has one direction;
+            // a link written the other way round travels the opposite way and would
+            // otherwise take the same offset to the opposite side, putting a
+            // reciprocal pair back on one line. Negated, both keep to their own left,
+            // which is the circulation a bundle already draws.
+            const sense = (link.from === group.first ? 1 : -1) * orient;
+            const shortfall = place * (wanted - step) * sense;
+            spreads.set(link, {
+                offset: place * step * sense,
+                bow: { x: across.x * shortfall, y: across.y * shortfall },
+            });
+        });
+    }
+    return spreads;
+}
+/**
+ * The bow each bundled link needs, where the sides it was given were too short
+ * to hold the group at the spacing its labels asked for.
+ *
+ * A named side is squeezed exactly as an unnamed group's edge is — the step
+ * shrinks to `usable / (n - 1)` and the labels ride down on top of each other —
+ * and until this existed, naming the two sides the tool would have chosen
+ * anyway made the picture strictly worse than saying nothing. That is not a
+ * line worth defending, so the same repair applies: a lane's midpoint is not
+ * on an edge and is free to move, and each line makes up in the middle exactly
+ * what its two ends could not give it.
+ *
+ * The shortfall is a vector because the two ends move along different sides.
+ * `drift` is how far a lane's midpoint travels per unit of step — the average
+ * of the two ends' displacements, which is what `laneStep` sized the step
+ * against — so the room a lane wanted is `drift * step`, the room it got is the
+ * same average taken over the steps the two sides actually managed, and the
+ * bow is the difference. It is zero whenever both sides were long enough,
+ * which is why nothing that already fitted has moved.
+ */
+function bowBundles(bundles, achieved) {
+    const bows = new Map();
+    const stepOn = (end) => achieved.get(end.node)?.get(end.side) ?? 0;
+    for (const bundle of new Set(bundles.values())) {
+        const [first, second] = bundle.ends;
+        const t0 = tangentOf(first.side);
+        const t1 = tangentOf(second.side);
+        const sense = bundle.aligned ? 1 : -1;
+        const drift = { x: (t0.x + sense * t1.x) / 2, y: (t0.y + sense * t1.y) / 2 };
+        const s0 = stepOn(first);
+        const s1 = stepOn(second);
+        const got = { x: (s0 * t0.x + sense * s1 * t1.x) / 2, y: (s0 * t0.y + sense * s1 * t1.y) / 2 };
+        const short = {
+            x: drift.x * bundle.step - got.x,
+            y: drift.y * bundle.step - got.y,
+        };
+        if (short.x === 0 && short.y === 0)
+            continue;
+        bundle.lanes.forEach((link, index) => {
+            const place = index - (bundle.lanes.length - 1) / 2;
+            bows.set(link, { x: short.x * place, y: short.y * place });
+        });
+    }
+    return bows;
+}
+/**
+ * How far apart adjacent lanes must sit for their labels to clear each other.
+ *
+ * The labels are knockout rectangles, so two of them clear when they are apart
+ * on *either* axis — hence the smaller of the two answers. `drift` is how far
+ * the midpoint travels per unit of step, and it is never zero: the two ends
+ * cancel only when both sides run the same way, and two such sides are always
+ * `aligned`, which adds rather than subtracts.
+ */
+function laneStep(lanes, drift, measurer, fontSize) {
+    const labeled = lanes.filter((link) => link.label !== undefined);
+    if (labeled.length < 2)
+        return 0;
+    const need = (axis) => Math.max(...labeled.map((link) => labelExtent(link.label, link.appearance, axis, measurer, fontSize, link.line)));
+    const along = (axis, reach) => reach === 0 ? Infinity : need(axis) / Math.abs(reach);
+    return Math.min(along('x', drift.x), along('y', drift.y));
+}
+/** Which lane of its bundle a link's end at this side takes, if it is in one. */
+function rankIn(bundle, link, node, side) {
+    if (!bundle)
+        return undefined;
+    const lane = bundle.lanes.indexOf(link);
+    const [first, second] = bundle.ends;
+    if (node === first.node && side === first.side)
+        return lane;
+    if (node === second.node && side === second.side)
+        return bundle.aligned ? lane : -lane;
+    return undefined;
+}
+/** The unit vector along a side, pointing the way that coordinate increases. */
+function tangentOf(side) {
+    return side === 'top' || side === 'bottom' ? { x: 1, y: 0 } : { x: 0, y: 1 };
+}
+/** The midpoint of one side of a box. */
+function sideCenter(end) {
+    const face = faceOf(end.node);
+    const along = end.side === 'top' || end.side === 'bottom' ? face.width : face.height;
+    const origin = end.side === 'top' || end.side === 'bottom' ? face.x : face.y;
+    return anchorOn(face, end.side, origin + along / 2);
+}
+function cross(a, b) {
+    return a.x * b.y - a.y * b.x;
+}
+function claim(claims, node, side, entry) {
+    let bySide = claims.get(node);
+    if (!bySide) {
+        bySide = new Map();
+        claims.set(node, bySide);
+    }
+    const group = bySide.get(side);
+    if (group)
+        group.push(entry);
+    else
+        bySide.set(side, [entry]);
+}
+/** The point `at` along one side of a box, with the outward normal for that side. */
+function anchorOn(face, side, at) {
+    switch (side) {
+        case 'top':
+            return { x: at, y: face.y, tx: 0, ty: -1, side };
+        case 'bottom':
+            return { x: at, y: face.y + face.height, tx: 0, ty: 1, side };
+        case 'left':
+            return { x: face.x, y: at, tx: -1, ty: 0, side };
+        case 'right':
+            return { x: face.x + face.width, y: at, tx: 1, ty: 0, side };
+    }
+}
+/** An end with no side named: leave from the border, pointing at the far end. */
+function free(face, toward) {
+    const point = edgePoint(face, toward);
+    const center = centerOf(face);
+    const dx = point.x - center.x;
+    const dy = point.y - center.y;
+    const length = Math.hypot(dx, dy) || 1;
+    return { x: point.x, y: point.y, tx: dx / length, ty: dy / length };
+}
+/**
+ * Walk from a point inside a box along a direction, stopping at the border.
+ *
+ * `edgePoint` walks from the center, which is the only place a single line
+ * passes through. A fanned-out group's lines are parallel to that one and
+ * beside it, so each needs the border crossing of its own line rather than of
+ * the center's — which is what keeps the group parallel instead of splayed.
+ */
+function exitAlong(box, from, dir) {
+    // A shift wider than the box leaves the origin outside it; clamping back in
+    // is the graceful answer, and the crowding it signals is a diagnostic.
+    const x = Math.min(Math.max(from.x, box.x), box.x + box.width);
+    const y = Math.min(Math.max(from.y, box.y), box.y + box.height);
+    const tx = dir.x === 0 ? Infinity : ((dir.x > 0 ? box.x + box.width : box.x) - x) / dir.x;
+    const ty = dir.y === 0 ? Infinity : ((dir.y > 0 ? box.y + box.height : box.y) - y) / dir.y;
+    const t = Math.min(tx, ty);
+    if (!Number.isFinite(t))
+        return { x, y };
+    return { x: x + dir.x * Math.max(0, t), y: y + dir.y * Math.max(0, t) };
+}
+/**
+ * Both ends of a link that named no side, moved `offset` sideways across its
+ * own run.
+ *
+ * The whole line is translated rather than each end being nudged along its
+ * border, so the result is genuinely parallel to the line the link would have
+ * drawn alone, exactly `offset` away from it. Where each end lands then falls
+ * out of that: level boxes put both points further along the same two edges,
+ * and a diagonal pair whose line leaves through a corner puts one point on each
+ * of the two edges meeting there. Neither is a case in the code.
+ */
+function parallelEnds(from, to, offset) {
+    const a = centerOf(from);
+    const b = centerOf(to);
+    const dx = b.x - a.x;
+    const dy = b.y - a.y;
+    const length = Math.hypot(dx, dy) || 1;
+    const dir = { x: dx / length, y: dy / length };
+    const across = { x: -dir.y * offset, y: dir.x * offset };
+    const startAt = exitAlong(from, { x: a.x + across.x, y: a.y + across.y }, dir);
+    const endAt = exitAlong(to, { x: b.x + across.x, y: b.y + across.y }, { x: -dir.x, y: -dir.y });
+    return {
+        start: { x: startAt.x, y: startAt.y, tx: dir.x, ty: dir.y },
+        end: { x: endAt.x, y: endAt.y, tx: -dir.x, ty: -dir.y },
+    };
+}
+/** How far the control points sit off the ends. Proportional, but bounded. */
+function controlReach(start, end) {
+    const distance = Math.hypot(end.x - start.x, end.y - start.y);
+    return Math.max(24, Math.min(140, distance * 0.4));
+}
+/** The free interval between two boxes on one axis, or nothing if they overlap. */
+function clearance(aStart, aSize, bStart, bSize) {
+    if (aStart + aSize < bStart)
+        return { lo: aStart + aSize, hi: bStart };
+    if (bStart + bSize < aStart)
+        return { lo: bStart + bSize, hi: aStart };
+    return undefined;
+}
+/**
+ * Which gap `between a and b` means, and how far along it reaches.
+ *
+ * The axis is derived wherever the pair leaves only one answer, the same way a
+ * separation direction is: one node is above the other, or one is left of the
+ * other, and whichever it is says which axis the gap binds. Most pairs are like
+ * that, and for them the file says nothing about axes at all.
+ *
+ * A pair sitting diagonally has two gaps and needs the author to pick, which is
+ * what `wanted` carries. That is a tie-break rather than part of the statement:
+ * where it is not needed it may still be written, and is then checked rather
+ * than ignored, because a word that silently does nothing looks like a bug in
+ * the tool.
+ */
+function gapBetween(a, b, aName, bName, wanted, line) {
+    const pair = `"${aName}" and "${bName}"`;
+    const found = {
+        y: clearance(a.y, a.height, b.y, b.height),
+        x: clearance(a.x, a.width, b.x, b.width),
+    };
+    if (wanted !== undefined && found[wanted] === undefined) {
+        const other = wanted === 'y' ? 'x' : 'y';
+        throw new SourceError(found[other]
+            ? `${pair} have no gap between them ${describeAxis(wanted)} — they are apart ${describeAxis(other)}, so drop the word or say "${describeAxis(other)}"`
+            : `${pair} touch or overlap, so there is no gap between them to pass through`, line);
+    }
+    if (wanted === undefined && found.y && found.x) {
+        throw new SourceError(`${pair} are apart both vertically and horizontally, so I cannot tell which gap you mean — write "between ${aName} and ${bName} vertically" for the gap above and below them, or "horizontally" for the gap beside them`, line);
+    }
+    // Whichever was asked for, or whichever is the only one there is.
+    const axis = wanted ?? (found.y ? 'y' : 'x');
+    const gap = found[axis];
+    if (!gap) {
+        throw new SourceError(`${pair} touch or overlap, so there is no gap between them to pass through`, line);
+    }
+    // The corridor reaches as far as the pair does on the other axis: that is the
+    // stretch over which the line is actually passing them.
+    return {
+        axis,
+        ...gap,
+        across: axis === 'y'
+            ? [Math.min(a.x, b.x), Math.max(a.x + a.width, b.x + b.width)]
+            : [Math.min(a.y, b.y), Math.max(a.y + a.height, b.y + b.height)],
+    };
+}
+/**
+ * Route every link that named a gap.
+ *
+ * Links sharing one gap share its lanes, spread like attachments on a side and
+ * ordered the same derived way — by where their ends actually sit, so the two
+ * arriving at Dropbox's left edge in one order run through the corridor in that
+ * same order and never cross.
+ */
+function planCorridors(links, ends, measurer, fontSize) {
+    const plans = new Map();
+    const groups = new Map();
+    for (const link of links) {
+        if (!link.between)
+            continue;
+        const [first, second] = link.between.nodes;
+        const gap = gapBetween(faceOf(first), faceOf(second), first.name, second.name, link.between.axis, link.line);
+        // The pair names one gap however the author ordered them. The axis is in
+        // the key because a diagonal pair really does have two, and two links may
+        // legitimately name the same pair and take different ones.
+        const key = [gap.axis, ...[first.name, second.name].sort()].join(' ');
+        const group = groups.get(key);
+        if (group)
+            group.members.push(link);
+        else
+            groups.set(key, { ...gap, members: [link] });
+    }
+    for (const group of groups.values()) {
+        const along = (link) => {
+            const { start, end } = ends.get(link);
+            return (start[group.axis] + end[group.axis]) / 2;
+        };
+        const ordered = [...group.members].sort((a, b) => along(a) - along(b));
+        // Lanes are spread as attachments on a side are, including the squeeze when
+        // there is not enough room — see `planEndpoints`. The step is wider here,
+        // because a lane carries a whole label rather than the point of an arrow,
+        // and two lanes closer together than a label is deep would draw the labels
+        // over each other. Still derived, not chosen: it is the size of what is
+        // actually running along the corridor.
+        const span = group.hi - group.lo;
+        const usable = Math.max(0, span - ATTACH_MARGIN * 2);
+        const want = Math.max(ATTACH_STEP, ...ordered.map((link) => laneExtent(link, group.axis, measurer, fontSize)));
+        const step = ordered.length > 1 ? Math.min(want, usable / (ordered.length - 1)) : 0;
+        const firstLane = group.lo + span / 2 - (step * (ordered.length - 1)) / 2;
+        ordered.forEach((link, index) => {
+            const { start, end } = ends.get(link);
+            const run = group.axis === 'y' ? 'x' : 'y';
+            // The corridor binds only where the link is actually passing the pair, so
+            // its reach is the overlap of the pair's extent with the link's own.
+            const enterAt = Math.max(group.across[0], Math.min(start[run], end[run]));
+            const leaveAt = Math.min(group.across[1], Math.max(start[run], end[run]));
+            if (leaveAt <= enterAt) {
+                const [a, b] = link.between.nodes;
+                throw new SourceError(`this link never passes between "${a.name}" and "${b.name}"`, link.line);
+            }
+            const forward = end[run] >= start[run];
+            plans.set(link, {
+                axis: group.axis,
+                lane: firstLane + index * step,
+                enter: forward ? enterAt : leaveAt,
+                leave: forward ? leaveAt : enterAt,
+            });
+        });
+    }
+    return plans;
+}
+/**
+ * An end whose side the author did not name aims at the far box's center, which
+ * is the wrong thing to aim at once the line has been told to go somewhere else
+ * on the way. Point those ends at the corridor instead.
+ */
+function aimFreeEnds(links, ends, corridors) {
+    for (const link of links) {
+        const plan = corridors.get(link);
+        if (!plan)
+            continue;
+        const current = ends.get(link);
+        const start = current.start.side === undefined
+            ? free(faceOf(link.from), corridorPoint(plan, plan.enter))
+            : current.start;
+        const end = current.end.side === undefined
+            ? free(faceOf(link.to), corridorPoint(plan, plan.leave))
+            : current.end;
+        ends.set(link, { start, end });
+    }
+}
+/**
+ * How much room a link's label takes across the corridor — its depth in a
+ * horizontal channel, its width in a vertical one. Zero for an unlabeled link,
+ * which needs no more than the arrow spacing.
+ *
+ * `labelExtent` measures the knockout along whichever axis it is handed, and the
+ * axis wanted here is the one the channel is measured on rather than the one the
+ * link runs along — a channel measured vertically carries links running
+ * horizontally, and what has to fit between two lanes of it is a label's depth.
+ */
+function laneExtent(link, axis, measurer, fontSize) {
+    if (link.label === undefined)
+        return 0;
+    return labelExtent(link.label, link.appearance, axis, measurer, fontSize, link.line);
+}
+function corridorPoint(plan, at) {
+    return plan.axis === 'y' ? { x: at, y: plan.lane } : { x: plan.lane, y: at };
+}
+/**
+ * The path a corridor link takes: a curve out of its start into the gap, the
+ * straight run along the gap, and a curve out of the gap to its end. It is
+ * three pieces rather than one cubic because a single curve has no way to stay
+ * inside an interval over part of its length — which is the whole claim the
+ * author is making.
+ */
+function corridorPath(start, end, plan) {
+    const p1 = corridorPoint(plan, plan.enter);
+    const p2 = corridorPoint(plan, plan.leave);
+    const forward = plan.leave >= plan.enter ? 1 : -1;
+    // Along the run the line travels one way, so that is its tangent at both ends
+    // of the straight stretch — it enters the gap already going where the gap goes.
+    const rt = plan.axis === 'y' ? { tx: forward, ty: 0 } : { tx: 0, ty: forward };
+    const r1 = corridorReach(start, p1, plan.axis);
+    const c1 = { x: start.x + start.tx * r1, y: start.y + start.ty * r1 };
+    const c2 = { x: p1.x - rt.tx * r1, y: p1.y - rt.ty * r1 };
+    const r2 = corridorReach(p2, end, plan.axis);
+    const c3 = { x: p2.x + rt.tx * r2, y: p2.y + rt.ty * r2 };
+    const c4 = { x: end.x + end.tx * r2, y: end.y + end.ty * r2 };
+    const d = [
+        `M ${round(start.x)} ${round(start.y)}`,
+        `C ${round(c1.x)} ${round(c1.y)}, ${round(c2.x)} ${round(c2.y)}, ${round(p1.x)} ${round(p1.y)}`,
+        `L ${round(p2.x)} ${round(p2.y)}`,
+        `C ${round(c3.x)} ${round(c3.y)}, ${round(c4.x)} ${round(c4.y)}, ${round(end.x)} ${round(end.y)}`,
+    ].join(' ');
+    const ink = union(cubicExtent(start, c1, c2, p1), cubicExtent(p2, c3, c4, end));
+    return { d, mid: { x: (p1.x + p2.x) / 2, y: (p1.y + p2.y) / 2 }, ink };
+}
+/**
+ * How far the handles reach on an approach curve. Bounded by half the distance
+ * available along the run as well as by the straight-line distance: both ends of
+ * this curve point along the run, so handles longer than that would reach past
+ * each other and bulge the line back the way it came.
+ */
+function corridorReach(from, to, axis) {
+    const run = Math.abs(axis === 'y' ? to.x - from.x : to.y - from.y);
+    const distance = Math.hypot(to.x - from.x, to.y - from.y);
+    return Math.min(140, Math.max(8, Math.min(distance * 0.4, run / 2)));
+}
+function sideAttr(link, key) {
+    const value = link.attrs[key];
+    if (value === undefined)
+        return undefined;
+    if (!SIDES.includes(value)) {
+        throw new SourceError(`"${key}: ${value}" is not a side — use ${SIDES.join(', ')}`, link.line);
+    }
+    return value;
+}
+function arrowMarker(color) {
+    const id = markerId(color);
+    return [
+        `    <marker id="${id}" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="${ARROW_MARKER_WIDTH}" markerHeight="${ARROW_MARKER_WIDTH}" orient="auto-start-reverse">`,
+        `      <path d="M 0 0 L 10 5 L 0 10 z" fill="${color}"/>`,
+        '    </marker>',
+        `    <marker id="${id}-back" viewBox="0 0 10 10" refX="9" refY="5" markerWidth="${ARROW_MARKER_WIDTH}" markerHeight="${ARROW_MARKER_WIDTH}" orient="auto-start-reverse">`,
+        `      <path d="M 0 0 L 10 5 L 0 10 z" fill="${color}"/>`,
+        '    </marker>',
+    ].join('\n');
+}
+function markerId(color) {
+    return `arrow-${color.replace(/[^a-zA-Z0-9]/g, '')}`;
+}
+/** The rectangle actually drawn. Differs from the node box only for a deck. */
+function faceOf(node) {
+    return {
+        x: node.x + node.inset,
+        y: node.y + node.inset,
+        width: node.width - node.inset,
+        height: node.height - node.inset,
+    };
+}
+function centerOf(box) {
+    return { x: box.x + box.width / 2, y: box.y + box.height / 2 };
+}
+/**
+ * Wrap a block of text in its own size, but only when that differs from the
+ * document's — everything at the default size inherits it from the <svg>
+ * element, so an ordinary diagram's output is unchanged.
+ */
+function sized(block, size, fontSize) {
+    if (size === fontSize || block.length === 0)
+        return block;
+    return `  <g font-size="${size}px">\n${block}\n  </g>`;
+}
+function textBlock(lines, x, top, width, lineHeight, fontSize, style) {
+    const anchorX = style.align === 'middle' ? x + width / 2 : style.align === 'end' ? x + width : x;
+    return lines
+        .map((line, index) => {
+        if (line.length === 0)
+            return '';
+        const baseline = top + index * lineHeight + lineHeight / 2 + fontSize * 0.35;
+        // A label's first line is its name; anything after it is a qualifier, and
+        // `subtext:` is how a box says that qualifier should read as secondary.
+        const color = index === 0 ? style.color : style.subColor ?? style.color;
+        return `  <text x="${round(anchorX)}" y="${round(baseline)}" fill="${color}" text-anchor="${style.align}">${escapeXml(line)}</text>`;
+    })
+        .filter((element) => element.length > 0)
+        .join('\n');
+}
+/**
+ * A color is written as the viewer will receive it — `#14532d`, or any CSS
+ * color. The renderer keeps no list of color words of its own, so a diagram
+ * is never limited to the ones somebody remembered to add here.
+ *
+ * Each names the part it colors, so each reads exactly one key. The word these
+ * replaced, `stroke:`, named no part and meant a different one on every kind,
+ * which is why a box's text could not be colored at all until `text:`.
+ */
+function borderOf(appearance, fallback) {
+    return appearance['border'] ?? fallback;
+}
+function lineOf(appearance, fallback) {
+    return appearance['line'] ?? fallback;
+}
+function textOf(appearance, fallback) {
+    return appearance['text'] ?? fallback;
+}
+/**
+ * The color for every label line after the first, or undefined when the box
+ * said nothing and all its lines should read alike. `muted` is the one reserved
+ * word: it defers to the theme, so a label's qualifier stays readable when the
+ * theme changes. Anything else is a color, same as `text` and `fill` take.
+ */
+function subtextOf(appearance, theme) {
+    const named = appearance['subtext'];
+    if (named === undefined)
+        return undefined;
+    if (named === 'muted')
+        return theme.mutedText;
+    return named;
+}
+function fillOf(appearance, fallback) {
+    return appearance['fill'] ?? fallback;
+}
+function round(value) {
+    return Math.round(value * 100) / 100;
+}
+/**
+ * Escapes what has to be escaped in element content, and no more. A double
+ * quote is legal there, and some SVG renderers mishandle `&quot;` in text.
+ */
+function escapeXml(text) {
+    return text.replace(/&/g, '&amp;').replace(/</g, '&lt;').replace(/>/g, '&gt;');
+}
+function quote(value) {
+    return `"${value.replace(/"/g, "'")}"`;
+}