@contraagent/ui 0.0.0-stage → 0.1.0

package/dist/elements/overview/graph/matrix.d.ts

@@ -0,0 +1,58 @@
+import type { Plan, TaskState } from '@contraagent/api';
+import { type GraphMark, type GraphNode, type LayerOrder, type LoopBox } from './types.js';
+/** A column of a loop's passes: one node, in one pass of each loop from the unrolled box down to the node's own box. */
+export interface MatrixColumn {
+    node: GraphNode;
+    /** The passes, the unrolled box's loop first. */
+    passes: number[];
+}
+/** A header cell over the columns: a pass of a loop, a nested loop, or a node. */
+export type MatrixHead = {
+    type: 'pass';
+    box: LoopBox;
+    pass: number;
+    span: number;
+    rows: number;
+} | {
+    type: 'loop';
+    box: LoopBox;
+    span: number;
+    rows: number;
+} | {
+    type: 'node';
+    node: GraphNode;
+    passes: number[];
+    span: number;
+    rows: number;
+};
+export interface MatrixRow {
+    /** The unit, or '' for the tasks without one. */
+    unit: string;
+    /** How many passes of the unrolled loop it ran (in every run of the loop). */
+    passes: number;
+    /** The most severe state of its marks. */
+    state: TaskState;
+    /** One per column: its mark, or null where it has none. */
+    cells: (GraphMark | null)[];
+}
+/** A loop box with its passes unrolled: a row per unit, a column per (node, pass), nested loops as nested column groups. */
+export interface PassMatrix {
+    box: LoopBox;
+    columns: MatrixColumn[];
+    /** The header rows, outermost first; a node's cell spans down to the last. */
+    head: MatrixHead[][];
+    /** The units that have a task in the box, in the layer's order; the tasks without a unit last. */
+    rows: MatrixRow[];
+}
+/**
+ * The loop box `box` of layer `path` with its passes unrolled; null when the layer has
+ * no such box. Each task is in the column of its node and of its passes of the box's
+ * loop and of every loop nested in it, so an inner loop's passes are counted within
+ * each pass of the outer one. A column no task reached is left out.
+ */
+export declare function passMatrix(plan: Plan, path: readonly string[], box: string, prev?: LayerOrder): PassMatrix | null;
+/** How a loop's units are sorted: as scheduled, most passes first, or the most severe state first. */
+export type MatrixSort = 'order' | 'passes' | 'state';
+/** `rows` sorted by `by`; a tie keeps the scheduled order. */
+export declare function sortRows(rows: readonly MatrixRow[], by: MatrixSort): MatrixRow[];
+//# sourceMappingURL=matrix.d.ts.map

package/dist/elements/overview/graph/matrix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matrix.d.ts","sourceRoot":"","sources":["../../../../src/elements/overview/graph/matrix.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAKxD,OAAO,EAAgB,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AAEzG,wHAAwH;AACxH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,SAAS,CAAC;IAChB,iDAAiD;IACjD,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,kFAAkF;AAClF,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpF,MAAM,WAAW,SAAS;IACxB,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,8EAA8E;IAC9E,MAAM,EAAE,MAAM,CAAC;IACf,0CAA0C;IAC1C,KAAK,EAAE,SAAS,CAAC;IACjB,2DAA2D;IAC3D,KAAK,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,CAAC;CAC7B;AAED,4HAA4H;AAC5H,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,OAAO,CAAC;IACb,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB,8EAA8E;IAC9E,IAAI,EAAE,UAAU,EAAE,EAAE,CAAC;IACrB,kGAAkG;IAClG,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAID;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,UAAU,GAAG,IAAI,CAqEjH;AAED,sGAAsG;AACtG,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEtD,8DAA8D;AAC9D,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,EAAE,EAAE,EAAE,UAAU,GAAG,SAAS,EAAE,CAIhF"}

package/dist/elements/overview/graph/matrix.js

@@ -0,0 +1,93 @@
+import { push } from './arrange.js';
+import { cmpPasses, passesAt } from './flow-index.js';
+import { flowMarks, project, taskMark } from './project.js';
+import { SEVERITY, worstOf } from './states.js';
+import { LOOP_SEGMENT } from './types.js';
+/**
+ * The loop box `box` of layer `path` with its passes unrolled; null when the layer has
+ * no such box. Each task is in the column of its node and of its passes of the box's
+ * loop and of every loop nested in it, so an inner loop's passes are counted within
+ * each pass of the outer one. A column no task reached is left out.
+ */
+export function passMatrix(plan, path, box, prev) {
+    const { graph, drafts, ix } = project(plan, path, prev);
+    const b = graph.boxes.find((x) => x.id === box);
+    if (!b)
+        return null;
+    const d = path.length;
+    const i0 = b.id.slice(LOOP_SEGMENT.length).split('.').length - 1;
+    const byBox = new Map(graph.boxes.map((x) => [x.id, x]));
+    const byNode = new Map(graph.nodes.map((n) => [n.id, n]));
+    const rel = (t) => passesAt(t, d).slice(i0);
+    const leaves = (x) => x.layers.flat().flatMap((id) => (byBox.has(id) ? leaves(byBox.get(id)) : [id]));
+    const tasksOf = (x) => leaves(x).flatMap((id) => drafts.get(id)?.tasks ?? []);
+    const same = (a, p) => a.length === p.length && cmpPasses(a, p) === 0;
+    const build = (x, prefix) => {
+        const k = prefix.length;
+        const passes = [...new Set(tasksOf(x).map(rel).filter((v) => v.length > k && cmpPasses(v.slice(0, k), prefix) === 0).map((v) => v[k]))].sort((a, c) => a - c);
+        return passes.flatMap((p) => {
+            const at = [...prefix, p];
+            const kids = x.layers.flat().flatMap((id) => {
+                const inner = byBox.get(id);
+                if (inner) {
+                    const sub = build(inner, at);
+                    return sub.length ? [{ type: 'loop', box: inner, kids: sub }] : [];
+                }
+                const node = byNode.get(id);
+                return node && drafts.get(id)?.tasks.some((t) => same(rel(t), at)) ? [{ type: 'node', node, passes: at }] : [];
+            });
+            return kids.length ? [{ type: 'pass', box: x, pass: p, kids }] : [];
+        });
+    };
+    const tree = build(b, []);
+    const columns = [];
+    const width = (t) => (t.type === 'node' ? 1 : t.kids.reduce((a, k) => a + width(k), 0));
+    const depthOf = (t) => (t.type === 'node' ? 1 : 1 + Math.max(0, ...t.kids.map(depthOf)));
+    const rowsN = Math.max(1, ...tree.map(depthOf));
+    const head = Array.from({ length: rowsN }, () => []);
+    const walk = (t, level) => {
+        const row = head[level];
+        if (t.type === 'node') {
+            row.push({ type: 'node', node: t.node, passes: t.passes, span: 1, rows: rowsN - level });
+            columns.push({ node: t.node, passes: t.passes });
+            return;
+        }
+        row.push(t.type === 'pass' ? { type: 'pass', box: t.box, pass: t.pass, span: width(t), rows: 1 } : { type: 'loop', box: t.box, span: width(t), rows: 1 });
+        for (const k of t.kids)
+            walk(k, level + 1);
+    };
+    for (const t of tree)
+        walk(t, 0);
+    const mine = tasksOf(b);
+    const unitsIn = new Set(mine.map((t) => t.n.unit || ''));
+    const rowUnits = [...graph.units.filter((u) => unitsIn.has(u)), ...(unitsIn.has('') ? [''] : [])];
+    const cellTasks = new Map(); // `${column}\0${unit}`
+    columns.forEach((c, ci) => {
+        for (const t of drafts.get(c.node.id)?.tasks ?? [])
+            if (same(rel(t), c.passes))
+                push(cellTasks, `${ci}\u0000${t.n.unit || ''}`, t);
+    });
+    const markOf = (c, ts, unit) => {
+        const x = drafts.get(c.node.id);
+        if (x.type === 'kind')
+            return taskMark(ts, unit);
+        const m = flowMarks(ts, d, x.name, ix.calls);
+        return unit ? (m.byUnit.get(unit) ?? m.single[0] ?? null) : (m.single[0] ?? null);
+    };
+    const rows = rowUnits.map((unit) => {
+        const cells = columns.map((c, ci) => {
+            const ts = cellTasks.get(`${ci}\u0000${unit}`);
+            return ts?.length ? markOf(c, ts, unit) : null;
+        });
+        const passes = new Set(mine.filter((t) => (t.n.unit || '') === unit).map((t) => passesAt(t, d).slice(0, i0 + 1).join('.'))).size;
+        return { unit, passes, state: worstOf(cells.filter((m) => m !== null).map((m) => m.state)), cells };
+    });
+    return { box: b, columns, head, rows };
+}
+/** `rows` sorted by `by`; a tie keeps the scheduled order. */
+export function sortRows(rows, by) {
+    const ix = new Map(rows.map((r, i) => [r, i]));
+    const key = (r) => (by === 'passes' ? -r.passes : by === 'state' ? -SEVERITY[r.state] : 0);
+    return [...rows].sort((a, b) => key(a) - key(b) || (ix.get(a) ?? 0) - (ix.get(b) ?? 0));
+}
+//# sourceMappingURL=matrix.js.map

package/dist/elements/overview/graph/matrix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matrix.js","sourceRoot":"","sources":["../../../../src/elements/overview/graph/matrix.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AACpC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAiB,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAc,MAAM,cAAc,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,YAAY,EAAiE,MAAM,YAAY,CAAC;AAsCzG;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAU,EAAE,IAAuB,EAAE,GAAW,EAAE,IAAiB;IAC5F,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;IAChD,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,GAAG,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,CAAC,CAAU,EAAY,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpI,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,CAAC,CAAoB,EAAE,CAAoB,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5G,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,MAAgB,EAAa,EAAE;QACxD,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QACxB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxK,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAa,EAAE;YACrC,MAAM,EAAE,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,EAAa,EAAE;gBACrD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,KAAK,EAAE,CAAC;oBACV,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC7B,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,CAAC;gBACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC5B,OAAO,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjH,CAAC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzG,MAAM,OAAO,GAAG,CAAC,CAAU,EAAU,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAChD,MAAM,IAAI,GAAmB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,KAAa,EAAQ,EAAE;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAiB,CAAC;QACxC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,KAAK,EAAE,CAAC,CAAC;YACzF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACjD,OAAO;QACT,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1J,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;YAAE,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEjC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC,CAAC,uBAAuB;IACxE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;QACxB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE;YAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACrI,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,CAAe,EAAE,EAAuB,EAAE,IAAY,EAAoB,EAAE;QAC1F,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAU,CAAC;QACzC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAa,EAAE;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE;YAClC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;YAC/C,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjI,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IACtH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAKD,8DAA8D;AAC9D,MAAM,UAAU,QAAQ,CAAC,IAA0B,EAAE,EAAc;IACjE,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,CAAC,CAAY,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC"}

package/dist/elements/overview/graph/nav.d.ts

@@ -0,0 +1,15 @@
+import type { LayerGraph } from './types.js';
+/**
+ * Where a key moves in a grid of marks (`has[r][c]`: a mark there), from (`r`, `c`):
+ * left and right to the next mark in the row, up and down to the nearest row with a
+ * mark in the column, Home and End to the row's first and last, with Ctrl to the
+ * first and last row's, PageUp and PageDown `page` rows. Null when it does not move.
+ */
+export declare function gridStep(has: readonly (readonly boolean[])[], r: number, c: number, key: string, ctrl?: boolean, page?: number): [number, number] | null;
+/**
+ * The node joined to `from` along a drawn edge: a later one (`later`, that waits for
+ * it or was created after it) or an earlier one; of several, the one nearest across
+ * the flow (`across`), then the first in drawing order. Null when there is none.
+ */
+export declare function alongEdge(g: LayerGraph, from: string, dir: 'later' | 'earlier', across: (id: string) => number): string | null;
+//# sourceMappingURL=nav.d.ts.map

package/dist/elements/overview/graph/nav.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nav.d.ts","sourceRoot":"","sources":["../../../../src/elements/overview/graph/nav.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAE7C;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,UAAQ,EAAE,IAAI,SAAK,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAiDlJ;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,GAAG,MAAM,GAAG,IAAI,CAM9H"}

package/dist/elements/overview/graph/nav.js

@@ -0,0 +1,80 @@
+/**
+ * Where a key moves in a grid of marks (`has[r][c]`: a mark there), from (`r`, `c`):
+ * left and right to the next mark in the row, up and down to the nearest row with a
+ * mark in the column, Home and End to the row's first and last, with Ctrl to the
+ * first and last row's, PageUp and PageDown `page` rows. Null when it does not move.
+ */
+export function gridStep(has, r, c, key, ctrl = false, page = 10) {
+    const at = (i, j) => has[i]?.[j] === true;
+    const first = (i) => (has[i] ?? []).findIndex(Boolean);
+    const last = (i) => (has[i] ?? []).lastIndexOf(true);
+    const rowWith = (from, step, col) => {
+        for (let i = from; i >= 0 && i < has.length; i += step)
+            if (at(i, col))
+                return i;
+        return -1;
+    };
+    const near = (i) => {
+        // The mark of row i nearest to column c.
+        const row = has[i] ?? [];
+        let best = -1;
+        row.forEach((x, j) => x && (best < 0 || Math.abs(j - c) < Math.abs(best - c)) && (best = j));
+        return best < 0 ? null : [i, best];
+    };
+    switch (key) {
+        case 'ArrowRight':
+        case 'ArrowLeft': {
+            const s = key === 'ArrowRight' ? 1 : -1;
+            for (let j = c + s; j >= 0 && j < (has[r]?.length ?? 0); j += s)
+                if (at(r, j))
+                    return [r, j];
+            return null;
+        }
+        case 'ArrowDown':
+        case 'ArrowUp': {
+            const s = key === 'ArrowDown' ? 1 : -1;
+            const i = rowWith(r + s, s, c);
+            if (i >= 0)
+                return [i, c];
+            for (let k = r + s; k >= 0 && k < has.length; k += s)
+                if (first(k) >= 0)
+                    return near(k);
+            return null;
+        }
+        case 'Home': {
+            const i = ctrl ? has.findIndex((row) => row.some(Boolean)) : r;
+            return i < 0 || first(i) < 0 ? null : [i, first(i)];
+        }
+        case 'End': {
+            let i = r;
+            if (ctrl)
+                for (i = has.length - 1; i >= 0 && last(i) < 0; i--)
+                    ;
+            return i < 0 || last(i) < 0 ? null : [i, last(i)];
+        }
+        case 'PageDown':
+        case 'PageUp': {
+            const s = key === 'PageDown' ? 1 : -1;
+            const target = Math.max(0, Math.min(has.length - 1, r + s * page));
+            for (let k = target; k !== r; k -= s)
+                if (first(k) >= 0)
+                    return near(k);
+            return null;
+        }
+        default:
+            return null;
+    }
+}
+/**
+ * The node joined to `from` along a drawn edge: a later one (`later`, that waits for
+ * it or was created after it) or an earlier one; of several, the one nearest across
+ * the flow (`across`), then the first in drawing order. Null when there is none.
+ */
+export function alongEdge(g, from, dir, across) {
+    const rank = new Map(g.nodes.map((n, i) => [n.id, i]));
+    const ids = [...new Set(g.edges.filter((e) => !e.back && (dir === 'later' ? e.from === from : e.to === from)).map((e) => (dir === 'later' ? e.to : e.from)))];
+    const at = across(from);
+    ids.sort((a, b) => Math.abs(across(a) - at) - Math.abs(across(b) - at) || (rank.get(a) ?? 0) - (rank.get(b) ?? 0));
+    return ids[0] ?? null;
+}
+//# sourceMappingURL=nav.js.map

package/dist/elements/overview/graph/nav.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nav.js","sourceRoot":"","sources":["../../../../src/elements/overview/graph/nav.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAoC,EAAE,CAAS,EAAE,CAAS,EAAE,GAAW,EAAE,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,EAAE;IACvH,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,GAAW,EAAU,EAAE;QAClE,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,IAAI;YAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC;gBAAE,OAAO,CAAC,CAAC;QACjF,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAA2B,EAAE;QAClD,yCAAyC;QACzC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7F,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC;IACF,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,YAAY,CAAC;QAClB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,CAAC,GAAG,GAAG,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7F,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,WAAW,CAAC;QACjB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,CAAC,GAAG,GAAG,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;YACxF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,IAAI,IAAI;gBAAE,KAAK,CAAC,GAAG,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAC,CAAC;YAC/D,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;YACnE,KAAK,IAAI,CAAC,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;YACxE,OAAO,IAAI,CAAC;QACd,CAAC;QACD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,CAAa,EAAE,IAAY,EAAE,GAAwB,EAAE,MAA8B;IAC7G,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9J,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACxB,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnH,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACxB,CAAC"}

package/dist/elements/overview/graph/pan-zoom.d.ts

@@ -0,0 +1,83 @@
+import type { ReactiveController, ReactiveControllerHost } from 'lit';
+import { type View } from './view.js';
+/** The frame is at most this share of the window's height, and at least `FRAME_MIN` px. */
+export declare const FRAME_SHARE = 0.7;
+export declare const FRAME_MIN = 360;
+/** How far the view zooms: from half of the whole-drawing view (or of 1) up to this. */
+export declare const ZOOM_MAX = 2.5;
+/** A pointer moved this far is a pan, not a click. */
+export declare const DRAG = 4;
+/** The transform that shows `v`. */
+export declare const transformOf: (v: View) => string;
+/** What there is to fit: the drawing's size, whether it runs top to bottom, and the least frame height (the selection's card). */
+export interface Drawing {
+    w: number;
+    h: number;
+    down: boolean;
+    room: number;
+}
+export interface PanZoomOptions {
+    /** The frame, and the stage in it that the view moves. */
+    frame: () => HTMLElement | null;
+    stage: () => HTMLElement | null;
+    /** What to fit, or null while there is nothing to fit (a view without the drawing). */
+    drawing: () => Drawing | null;
+    /** Ctrl (or ⌘) and the wheel zoom: the drawing is shown. */
+    wheel: () => boolean;
+    /** The drawing runs top to bottom: a touch scrolls the page, a mouse still pans. */
+    down: () => boolean;
+    /** After the view moved. */
+    onMove: () => void;
+    /** After the host's size changed. */
+    onResize: () => void;
+}
+/**
+ * The zoom and pan of a drawing in its frame, and the frame's height. Until the
+ * reader zooms or pans (`moved`), the view shows the whole drawing. The host
+ * renders again only when what it draws changes: the frame's height, and whether
+ * "Show all" does anything (`moved`, `fitK`).
+ */
+export declare class PanZoomController implements ReactiveController {
+    private readonly host;
+    private readonly o;
+    /** The zoom and pan, written on the stage. */
+    view: View;
+    /** The frame's height. */
+    frameH: number;
+    /** The scale that shows the whole drawing. */
+    fitK: number;
+    /** The reader has zoomed or panned away from the whole drawing. */
+    moved: boolean;
+    /** A pointer is down on the frame. */
+    pressed: boolean;
+    /** A pan in progress, and whether it went far enough to swallow the click that ends it. */
+    private pan;
+    private swallowClick;
+    private resize?;
+    constructor(host: ReactiveControllerHost & HTMLElement, o: PanZoomOptions);
+    hostConnected(): void;
+    hostDisconnected(): void;
+    hostUpdated(): void;
+    /** The stage's style: the view, as the host renders it. */
+    get transform(): string;
+    /** Back to the whole drawing, on a new layer. */
+    reset(): void;
+    /** The frame's height and, until the reader zooms or pans, the view of the whole drawing. */
+    fit(): void;
+    /** Back to the whole drawing. */
+    showAll(): void;
+    zoomBy(factor: number, cx?: number, cy?: number): void;
+    /** Bring `el` into the frame when zoom or pan left it outside. */
+    reveal(el: HTMLElement): void;
+    readonly onPointerDown: (e: PointerEvent) => void;
+    readonly onPointerMove: (e: PointerEvent) => void;
+    readonly onPointerUp: (e: PointerEvent) => void;
+    private readonly onWheel;
+    /** The click that ends a pan opens nothing. */
+    private readonly onClickCapture;
+    private setMoved;
+    private setHeight;
+    /** Write the view on the stage; the host's next render writes the same. */
+    private setView;
+}
+//# sourceMappingURL=pan-zoom.d.ts.map

package/dist/elements/overview/graph/pan-zoom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pan-zoom.d.ts","sourceRoot":"","sources":["../../../../src/elements/overview/graph/pan-zoom.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,KAAK,CAAC;AACtE,OAAO,EAAqB,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAEzD,2FAA2F;AAC3F,eAAO,MAAM,WAAW,MAAM,CAAC;AAC/B,eAAO,MAAM,SAAS,MAAM,CAAC;AAC7B,wFAAwF;AACxF,eAAO,MAAM,QAAQ,MAAM,CAAC;AAC5B,sDAAsD;AACtD,eAAO,MAAM,IAAI,IAAI,CAAC;AAEtB,oCAAoC;AACpC,eAAO,MAAM,WAAW,GAAI,GAAG,IAAI,KAAG,MAAsD,CAAC;AAE7F,kIAAkI;AAClI,MAAM,WAAW,OAAO;IACtB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,cAAc;IAC7B,0DAA0D;IAC1D,KAAK,EAAE,MAAM,WAAW,GAAG,IAAI,CAAC;IAChC,KAAK,EAAE,MAAM,WAAW,GAAG,IAAI,CAAC;IAChC,uFAAuF;IACvF,OAAO,EAAE,MAAM,OAAO,GAAG,IAAI,CAAC;IAC9B,4DAA4D;IAC5D,KAAK,EAAE,MAAM,OAAO,CAAC;IACrB,oFAAoF;IACpF,IAAI,EAAE,MAAM,OAAO,CAAC;IACpB,4BAA4B;IAC5B,MAAM,EAAE,MAAM,IAAI,CAAC;IACnB,qCAAqC;IACrC,QAAQ,EAAE,MAAM,IAAI,CAAC;CACtB;AAED;;;;;GAKG;AACH,qBAAa,iBAAkB,YAAW,kBAAkB;IAiBxD,OAAO,CAAC,QAAQ,CAAC,IAAI;IACrB,OAAO,CAAC,QAAQ,CAAC,CAAC;IAjBpB,8CAA8C;IAC9C,IAAI,EAAE,IAAI,CAAwB;IAClC,0BAA0B;IAC1B,MAAM,SAAK;IACX,8CAA8C;IAC9C,IAAI,SAAK;IACT,mEAAmE;IACnE,KAAK,UAAS;IACd,sCAAsC;IACtC,OAAO,UAAS;IAChB,2FAA2F;IAC3F,OAAO,CAAC,GAAG,CAA2F;IACtG,OAAO,CAAC,YAAY,CAAS;IAC7B,OAAO,CAAC,MAAM,CAAC,CAAiB;gBAGb,IAAI,EAAE,sBAAsB,GAAG,WAAW,EAC1C,CAAC,EAAE,cAAc;IAKpC,aAAa,IAAI,IAAI;IAMrB,gBAAgB,IAAI,IAAI;IAOxB,WAAW,IAAI,IAAI;IAMnB,2DAA2D;IAC3D,IAAI,SAAS,IAAI,MAAM,CAEtB;IAED,iDAAiD;IACjD,KAAK,IAAI,IAAI;IAIb,6FAA6F;IAC7F,GAAG,IAAI,IAAI;IAmBX,iCAAiC;IACjC,OAAO,IAAI,IAAI;IAMf,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,SAA6D,EAAE,EAAE,SAAkB,GAAG,IAAI;IAKnH,kEAAkE;IAClE,MAAM,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI;IAkB7B,QAAQ,CAAC,aAAa,GAAI,GAAG,YAAY,KAAG,IAAI,CAM9C;IAEF,QAAQ,CAAC,aAAa,GAAI,GAAG,YAAY,KAAG,IAAI,CAa9C;IAEF,QAAQ,CAAC,WAAW,GAAI,GAAG,YAAY,KAAG,IAAI,CAM5C;IAEF,OAAO,CAAC,QAAQ,CAAC,OAAO,CAOtB;IAEF,+CAA+C;IAC/C,OAAO,CAAC,QAAQ,CAAC,cAAc,CAK7B;IAEF,OAAO,CAAC,QAAQ;IAMhB,OAAO,CAAC,SAAS;IAMjB,2EAA2E;IAC3E,OAAO,CAAC,OAAO;CAMhB"}

package/dist/elements/overview/graph/pan-zoom.js

@@ -0,0 +1,189 @@
+import { fitView, zoomView } from './view.js';
+/** The frame is at most this share of the window's height, and at least `FRAME_MIN` px. */
+export const FRAME_SHARE = 0.7;
+export const FRAME_MIN = 360;
+/** How far the view zooms: from half of the whole-drawing view (or of 1) up to this. */
+export const ZOOM_MAX = 2.5;
+/** A pointer moved this far is a pan, not a click. */
+export const DRAG = 4;
+/** The transform that shows `v`. */
+export const transformOf = (v) => `translate(${v.x}px,${v.y}px) scale(${v.k})`;
+/**
+ * The zoom and pan of a drawing in its frame, and the frame's height. Until the
+ * reader zooms or pans (`moved`), the view shows the whole drawing. The host
+ * renders again only when what it draws changes: the frame's height, and whether
+ * "Show all" does anything (`moved`, `fitK`).
+ */
+export class PanZoomController {
+    constructor(host, o) {
+        this.host = host;
+        this.o = o;
+        /** The zoom and pan, written on the stage. */
+        this.view = { k: 1, x: 0, y: 0 };
+        /** The frame's height. */
+        this.frameH = 0;
+        /** The scale that shows the whole drawing. */
+        this.fitK = 1;
+        /** The reader has zoomed or panned away from the whole drawing. */
+        this.moved = false;
+        /** A pointer is down on the frame. */
+        this.pressed = false;
+        /** A pan in progress, and whether it went far enough to swallow the click that ends it. */
+        this.pan = null;
+        this.swallowClick = false;
+        this.onPointerDown = (e) => {
+            this.pressed = true;
+            globalThis.addEventListener('pointerup', () => (this.pressed = false), { once: true });
+            // On a narrow screen a touch scrolls the page; a mouse still pans.
+            if (e.button !== 0 || e.target.closest('.tools') || (this.o.down() && e.pointerType !== 'mouse'))
+                return;
+            this.pan = { id: e.pointerId, px: e.clientX, py: e.clientY, x: this.view.x, y: this.view.y, far: false };
+        };
+        this.onPointerMove = (e) => {
+            const p = this.pan;
+            if (!p || p.id !== e.pointerId)
+                return;
+            const dx = e.clientX - p.px;
+            const dy = e.clientY - p.py;
+            if (!p.far && Math.hypot(dx, dy) < DRAG)
+                return;
+            if (!p.far) {
+                p.far = true;
+                e.currentTarget.setPointerCapture(e.pointerId);
+                e.currentTarget.classList.add('drag');
+            }
+            this.setMoved();
+            this.setView({ ...this.view, x: p.x + dx, y: p.y + dy });
+        };
+        this.onPointerUp = (e) => {
+            const p = this.pan;
+            if (!p || p.id !== e.pointerId)
+                return;
+            this.pan = null;
+            e.currentTarget.classList.remove('drag');
+            if (p.far)
+                this.swallowClick = true;
+        };
+        this.onWheel = (e) => {
+            if (!this.o.wheel() || !(e.ctrlKey || e.metaKey))
+                return;
+            const frame = this.o.frame();
+            if (!frame)
+                return;
+            e.preventDefault();
+            const r = frame.getBoundingClientRect();
+            this.zoomBy(Math.exp(-e.deltaY * 0.0015), e.clientX - r.left, e.clientY - r.top);
+        };
+        /** The click that ends a pan opens nothing. */
+        this.onClickCapture = (e) => {
+            if (!this.swallowClick)
+                return;
+            this.swallowClick = false;
+            e.stopPropagation();
+            e.preventDefault();
+        };
+        host.addController(this);
+    }
+    hostConnected() {
+        // Ctrl (or ⌘) and the wheel zoom; the wheel alone still scrolls the page.
+        this.host.addEventListener('wheel', this.onWheel, { passive: false });
+        this.host.addEventListener('click', this.onClickCapture, { capture: true });
+    }
+    hostDisconnected() {
+        this.host.removeEventListener('wheel', this.onWheel);
+        this.host.removeEventListener('click', this.onClickCapture, { capture: true });
+        this.resize?.disconnect();
+        this.resize = undefined;
+    }
+    hostUpdated() {
+        if (this.resize)
+            return;
+        this.resize = new ResizeObserver(() => this.o.onResize());
+        this.resize.observe(this.host);
+    }
+    /** The stage's style: the view, as the host renders it. */
+    get transform() {
+        return transformOf(this.view);
+    }
+    /** Back to the whole drawing, on a new layer. */
+    reset() {
+        this.moved = false;
+    }
+    /** The frame's height and, until the reader zooms or pans, the view of the whole drawing. */
+    fit() {
+        const d = this.o.drawing();
+        if (!d)
+            return;
+        // The frame is beside the inspector, or above it on a narrow screen.
+        const width = this.o.frame()?.clientWidth || this.host.clientWidth;
+        // Top to bottom, the drawing is as tall as it needs at the frame's width.
+        const whole = fitView(d.w, d.h, width, d.down ? Infinity : Math.max(FRAME_MIN, FRAME_SHARE * globalThis.innerHeight));
+        if (whole.k !== this.fitK) {
+            this.fitK = whole.k;
+            this.host.requestUpdate();
+        }
+        // A short drawing's frame grows down to hold the selection's card; the drawing stays where it is.
+        const h = d.down ? whole.h : Math.max(whole.h, d.room);
+        if (!this.moved) {
+            this.setHeight(h);
+            if (whole.k !== this.view.k || whole.x !== this.view.x || whole.y !== this.view.y)
+                this.setView({ k: whole.k, x: whole.x, y: whole.y });
+        }
+        else if (h > this.frameH)
+            this.setHeight(h);
+    }
+    /** Back to the whole drawing. */
+    showAll() {
+        this.moved = false;
+        this.fit();
+        this.host.requestUpdate();
+    }
+    zoomBy(factor, cx = (this.o.frame()?.clientWidth ?? this.host.clientWidth) / 2, cy = this.frameH / 2) {
+        this.setMoved();
+        this.setView(zoomView(this.view, factor, cx, cy, Math.min(1, this.fitK) / 2, ZOOM_MAX));
+    }
+    /** Bring `el` into the frame when zoom or pan left it outside. */
+    reveal(el) {
+        const frame = this.o.frame();
+        if (!frame)
+            return;
+        const f = frame.getBoundingClientRect();
+        const r = el.getBoundingClientRect();
+        const pad = 24;
+        let dx = 0;
+        let dy = 0;
+        if (r.left < f.left + pad)
+            dx = f.left + pad - r.left;
+        else if (r.right > f.right - pad)
+            dx = f.right - pad - r.right;
+        if (r.top < f.top + pad)
+            dy = f.top + pad - r.top;
+        else if (r.bottom > f.bottom - pad)
+            dy = f.bottom - pad - r.bottom;
+        if (dx || dy) {
+            this.setMoved();
+            this.setView({ ...this.view, x: this.view.x + dx, y: this.view.y + dy });
+        }
+    }
+    setMoved() {
+        if (this.moved)
+            return;
+        this.moved = true;
+        this.host.requestUpdate();
+    }
+    setHeight(h) {
+        if (h === this.frameH)
+            return;
+        this.frameH = h;
+        this.host.requestUpdate();
+    }
+    /** Write the view on the stage; the host's next render writes the same. */
+    setView(v) {
+        this.view = v;
+        const stage = this.o.stage();
+        if (stage)
+            stage.style.transform = this.transform;
+        this.o.onMove();
+    }
+}
+//# sourceMappingURL=pan-zoom.js.map

package/dist/elements/overview/graph/pan-zoom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pan-zoom.js","sourceRoot":"","sources":["../../../../src/elements/overview/graph/pan-zoom.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAEzD,2FAA2F;AAC3F,MAAM,CAAC,MAAM,WAAW,GAAG,GAAG,CAAC;AAC/B,MAAM,CAAC,MAAM,SAAS,GAAG,GAAG,CAAC;AAC7B,wFAAwF;AACxF,MAAM,CAAC,MAAM,QAAQ,GAAG,GAAG,CAAC;AAC5B,sDAAsD;AACtD,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC;AAEtB,oCAAoC;AACpC,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAO,EAAU,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC;AA0B7F;;;;;GAKG;AACH,MAAM,OAAO,iBAAiB;IAgB5B,YACmB,IAA0C,EAC1C,CAAiB;QADjB,SAAI,GAAJ,IAAI,CAAsC;QAC1C,MAAC,GAAD,CAAC,CAAgB;QAjBpC,8CAA8C;QAC9C,SAAI,GAAS,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAClC,0BAA0B;QAC1B,WAAM,GAAG,CAAC,CAAC;QACX,8CAA8C;QAC9C,SAAI,GAAG,CAAC,CAAC;QACT,mEAAmE;QACnE,UAAK,GAAG,KAAK,CAAC;QACd,sCAAsC;QACtC,YAAO,GAAG,KAAK,CAAC;QAChB,2FAA2F;QACnF,QAAG,GAAsF,IAAI,CAAC;QAC9F,iBAAY,GAAG,KAAK,CAAC;QA0FpB,kBAAa,GAAG,CAAC,CAAe,EAAQ,EAAE;YACjD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YACpB,UAAU,CAAC,gBAAgB,CAAC,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACvF,mEAAmE;YACnE,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAK,CAAC,CAAC,MAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,KAAK,OAAO,CAAC;gBAAE,OAAO;YAC1H,IAAI,CAAC,GAAG,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAC3G,CAAC,CAAC;QAEO,kBAAa,GAAG,CAAC,CAAe,EAAQ,EAAE;YACjD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;YACnB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS;gBAAE,OAAO;YACvC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI;gBAAE,OAAO;YAChD,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBACX,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC;gBACZ,CAAC,CAAC,aAA6B,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;gBAC/D,CAAC,CAAC,aAA6B,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC;QAEO,gBAAW,GAAG,CAAC,CAAe,EAAQ,EAAE;YAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;YACnB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS;gBAAE,OAAO;YACvC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;YACf,CAAC,CAAC,aAA6B,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,CAAC,CAAC,GAAG;gBAAE,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;QACtC,CAAC,CAAC;QAEe,YAAO,GAAG,CAAC,CAAa,EAAQ,EAAE;YACjD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,CAAC;gBAAE,OAAO;YACzD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,KAAK;gBAAE,OAAO;YACnB,CAAC,CAAC,cAAc,EAAE,CAAC;YACnB,MAAM,CAAC,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAC;YACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACnF,CAAC,CAAC;QAEF,+CAA+C;QAC9B,mBAAc,GAAG,CAAC,CAAQ,EAAQ,EAAE;YACnD,IAAI,CAAC,IAAI,CAAC,YAAY;gBAAE,OAAO;YAC/B,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC;YAC1B,CAAC,CAAC,eAAe,EAAE,CAAC;YACpB,CAAC,CAAC,cAAc,EAAE,CAAC;QACrB,CAAC,CAAC;QAjIA,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,aAAa;QACX,0EAA0E;QAC1E,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,gBAAgB;QACd,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,IAAI,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,SAAS,CAAC;IAC1B,CAAC;IAED,WAAW;QACT,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,cAAc,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,2DAA2D;IAC3D,IAAI,SAAS;QACX,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAED,iDAAiD;IACjD,KAAK;QACH,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED,6FAA6F;IAC7F,GAAG;QACD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,qEAAqE;QACrE,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC;QACnE,0EAA0E;QAC1E,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;QACtH,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5B,CAAC;QACD,kGAAkG;QAClG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1I,CAAC;aAAM,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM;YAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC;IAED,iCAAiC;IACjC,OAAO;QACL,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IAED,MAAM,CAAC,MAAc,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC;QAC1G,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1F,CAAC;IAED,kEAAkE;IAClE,MAAM,CAAC,EAAe;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,MAAM,CAAC,GAAG,KAAK,CAAC,qBAAqB,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,EAAE,CAAC;QACf,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,EAAE,GAAG,CAAC,CAAC;QACX,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG;YAAE,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;aACjD,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG;YAAE,EAAE,GAAG,CAAC,CAAC,KAAK,GAAG,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;QAC/D,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG;YAAE,EAAE,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;aAC7C,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG;YAAE,EAAE,GAAG,CAAC,CAAC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC;QACnE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACb,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAkDO,QAAQ;QACd,IAAI,IAAI,CAAC,KAAK;YAAE,OAAO;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IAEO,SAAS,CAAC,CAAS;QACzB,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO;QAC9B,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAChB,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IAED,2EAA2E;IACnE,OAAO,CAAC,CAAO;QACrB,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACd,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC7B,IAAI,KAAK;YAAE,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAClD,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClB,CAAC;CACF"}

package/dist/elements/overview/graph/paths.d.ts

@@ -0,0 +1,9 @@
+import { type LoopReturn, type Run } from './layout.js';
+/**
+ * A loop box's return as an SVG path: out from its last layer to the band, back along
+ * it with rounded corners, and in to its first layer, stopping `gap` short of each item.
+ */
+export declare function returnPath(r: LoopReturn, down?: boolean, gap?: number): string;
+/** An edge's line as an SVG path: its runs, joined by a curve in each gap where it bends. */
+export declare function edgePath(runs: readonly Run[], down?: boolean): string;
+//# sourceMappingURL=paths.d.ts.map

package/dist/elements/overview/graph/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../../../src/elements/overview/graph/paths.ts"],"names":[],"mappings":"AACA,OAAO,EAAY,KAAK,UAAU,EAAE,KAAK,GAAG,EAAE,MAAM,aAAa,CAAC;AAElE;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,UAAQ,EAAE,GAAG,SAAI,GAAG,MAAM,CAYvE;AAED,6FAA6F;AAC7F,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,EAAE,IAAI,UAAQ,GAAG,MAAM,CAkBnE"}

package/dist/elements/overview/graph/paths.js

@@ -0,0 +1,44 @@
+// Edges and loop returns as SVG paths.
+import { RETURN_R } from './layout.js';
+/**
+ * A loop box's return as an SVG path: out from its last layer to the band, back along
+ * it with rounded corners, and in to its first layer, stopping `gap` short of each item.
+ */
+export function returnPath(r, down = false, gap = 3) {
+    const r2 = (n) => Math.round(n * 2) / 2;
+    const pt = (u, v) => (down ? `${r2(v)},${r2(u)}` : `${r2(u)},${r2(v)}`);
+    const k = Math.max(0, Math.min(RETURN_R, (r.from - r.to) / 2, r.band - r.v0 - gap, r.band - r.v1 - gap));
+    return [
+        `M${pt(r.from, r.v0 + gap)}`,
+        `L${pt(r.from, r.band - k)}`,
+        `Q${pt(r.from, r.band)} ${pt(r.from - k, r.band)}`,
+        `L${pt(r.to + k, r.band)}`,
+        `Q${pt(r.to, r.band)} ${pt(r.to, r.band - k)}`,
+        `L${pt(r.to, r.v1 + gap)}`,
+    ].join(' ');
+}
+/** An edge's line as an SVG path: its runs, joined by a curve in each gap where it bends. */
+export function edgePath(runs, down = false) {
+    const r2 = (n) => Math.round(n * 2) / 2;
+    const pt = (u, v) => (down ? `${r2(v)},${r2(u)}` : `${r2(u)},${r2(v)}`);
+    const first = runs[0];
+    if (!first)
+        return '';
+    let d = `M${pt(first.a, first.at)}`;
+    runs.forEach((r, i) => {
+        if (r.b !== r.a)
+            d += ` L${pt(r.b, r.at)}`;
+        const next = runs[i + 1];
+        if (!next)
+            return;
+        if (Math.abs(next.at - r.at) < 0.5) {
+            if (next.a !== r.b)
+                d += ` L${pt(next.a, next.at)}`;
+            return;
+        }
+        const m = (r.b + next.a) / 2;
+        d += ` C${pt(m, r.at)} ${pt(m, next.at)} ${pt(next.a, next.at)}`;
+    });
+    return d;
+}
+//# sourceMappingURL=paths.js.map