querysub 0.517.0 → 0.519.0

package/src/library-components/LatencyGraph.tsx

@@ -0,0 +1,1281 @@
+import { qreact } from "../4-dom/qreact";
+import { Button } from "./Button";
+import { URLParam } from "./URLParam";
+import { InputLabelURL } from "./InputLabel";
+import { css } from "typesafecss";
+import { sort } from "socket-function/src/misc";
+import { formatTime } from "socket-function/src/formatting/format";
+
+export type LatencyGraphLabelLine = { text: string; color?: string; };
+export type LatencyGraphNode = { id: string; label?: string; latitude?: number; longitude?: number; labelLines?: LatencyGraphLabelLine[]; weight?: number; };
+export type LatencyGraphLink = { source: string; destination: string; latencyMs: number; weight?: number; };
+export type LatencyGraphProps = {
+    nodes: LatencyGraphNode[];
+    links: LatencyGraphLink[];
+    // Formats a link's traffic weight for the label under the latency (e.g. bytes). No label if omitted.
+    formatWeight?: (weight: number) => string;
+};
+
+const DEFAULT_CONNECTIONS = 3;
+const DEFAULT_MIN_CLUSTER_SIZE = 2;
+const DEFAULT_CLUSTER_FACTOR = 2;
+const DEFAULT_INTER_EXPONENT = 1.5;
+const connectionsParam = new URLParam("lgConnections", DEFAULT_CONNECTIONS);
+const minClusterSizeParam = new URLParam("lgMinClusterSize", DEFAULT_MIN_CLUSTER_SIZE);
+// Exponent on the (normalized) inter-cluster latency when mapping to layout distance, so far clusters push apart harder.
+const interExponentParam = new URLParam("lgInterExponent", DEFAULT_INTER_EXPONENT);
+// Two nodes cluster when their latency is within this factor of the tighter node's own nearest-neighbor latency.
+// Relative (per-node) so a mutually-isolated close pair clusters even if it's far from everything else.
+const clusterFactorParam = new URLParam("lgClusterFactor", DEFAULT_CLUSTER_FACTOR);
+const geoParam = new URLParam("lgGeo", false);
+const showLatenciesParam = new URLParam("lgShowLatencies", true);
+// Pixels per degree of latitude/longitude in geographic mode (equirectangular projection).
+const GEO_SCALE = 6;
+
+// One continuous distance mapping for everything (intra and inter): px = MIN + SCALE * (latency / REF) ^ exponent.
+// A single scale is what makes the exponent behave intuitively — the ratio between two distances is just the ratio of
+// their latencies raised to the exponent (so exponent 0.5 turns a 10x latency gap into a ~3x distance gap).
+const LAYOUT_MIN_PX = 45;
+const LAYOUT_SCALE_PX = 320;
+const LAYOUT_REF_MS = 50;
+
+// Stress majorization (SMACOF): each iteration is a Guttman transform that never increases stress.
+const COOLING = 0.996;
+const CONVERGENCE_EPS = 0.02;
+const MAX_ITERATIONS = 3000;
+// Classical MDS init: top-2 eigenvectors of the double-centered distance matrix via power iteration.
+const MAX_POWER_ITERS = 200;
+const POWER_EPS = 1e-9;
+
+const MIN_OPACITY = 0.05;
+const HOVER_EXTRA_OPACITY = 0.4;
+const NODE_RADIUS = 6;
+// Traffic-driven sizing (normalized to the busiest node/pair). Circles grow with node weight; lines with pair weight.
+const NODE_WEIGHT_MULT = 2.5;
+const LINE_BASE_WIDTH = 1.5;
+const LINE_MIN_WIDTH = 1;
+const LINE_MAX_WIDTH = 7;
+const HOVER_PAD = 6;
+const HULL_PADDING = 26;
+const ZOOM_STEP = 1.1;
+const MIN_SCALE = 0.05;
+const MAX_SCALE = 12;
+// Screen-space margins left around the content when auto-fitting. The top gets much more room because node labels
+// stack upward above the nodes (and are drawn at a fixed screen size regardless of zoom).
+const FIT_PAD = 60;
+const FIT_PAD_TOP = 160;
+
+type Edge = { a: number; b: number; latency: number; };
+type SolveEdge = { a: number; b: number; target: number; weight: number; };
+type ClusterPair = { p: number; q: number; min: number; median: number; max: number; target: number; weight: number; };
+type Centroids = { cx: Float64Array; cy: Float64Array; count: Int32Array; radius: Float64Array; };
+
+export class LatencyGraph extends qreact.Component<LatencyGraphProps> {
+    nodes: LatencyGraphNode[] = [];
+    edges: Edge[] = [];
+    latencyMatrix = new Float64Array(0);
+    minLatency = 0;
+    maxLatency = 1;
+    nodeWeight = new Float64Array(0);
+    maxNodeWeight = 0;
+    pairWeight = new Map<number, number>();
+    maxPairWeight = 0;
+    // Cached from props in render() so draw() (a rAF callback, not synced) never reads this.props.
+    formatWeight: ((weight: number) => string) | undefined = undefined;
+    builtSig = "";
+    builtWeightSig = 0;
+    builtGeo = false;
+    builtConnections = 0;
+    builtMinClusterSize = 0;
+    builtClusterFactor = 0;
+    builtInterExponent = 0;
+
+    clusterOf = new Int32Array(0);
+    clusterCount = 1;
+    clusterSize = new Int32Array(0);
+    clusterDist = new Float64Array(0);
+    clusterIntraMin = new Float64Array(0);
+    clusterIntraMedian = new Float64Array(0);
+    clusterIntraMax = new Float64Array(0);
+    interPairs: ClusterPair[] = [];
+    intraSolveEdges: SolveEdge[] = [];
+    renderEdges: Edge[] = [];
+    renderEdgeSet = new Set<Edge>();
+    neighbors: { other: number; edge: Edge; }[][] = [];
+    hoverExtras: Edge[] = [];
+    interPairMap = new Map<number, ClusterPair>();
+    renderInterPairs: ClusterPair[] = [];
+    interMin = 0;
+    interMax = 1;
+    renderMin = 0;
+    renderMax = 1;
+
+    // position = clusterCenter[cluster] + local[node]; the two levels are solved independently.
+    clusterCenterX = new Float64Array(0);
+    clusterCenterY = new Float64Array(0);
+    localX = new Float64Array(0);
+    localY = new Float64Array(0);
+    positionsX = new Float64Array(0);
+    positionsY = new Float64Array(0);
+
+    temperature = 1;
+    iteration = 0;
+    settled = false;
+
+    rafId = 0;
+    frameScheduled = false;
+    canvas: HTMLCanvasElement | undefined;
+
+    viewScale = 1;
+    panX = 0;
+    panY = 0;
+    // While false, the view auto-fits the content each frame; the first manual zoom/pan turns it on and we leave it alone.
+    userAdjustedView = false;
+    isPanning = false;
+    lastPointerX = 0;
+    lastPointerY = 0;
+    hoverNode: number | undefined = undefined;
+    mouseX = 0;
+    mouseY = 0;
+    // Latest values from draw(), needed by pointer handlers to convert screen<->world.
+    centroidX = 0;
+    centroidY = 0;
+    viewWidth = 0;
+    viewHeight = 0;
+
+    build() {
+        this.nodes = this.props.nodes.slice();
+        let n = this.nodes.length;
+        this.positionsX = new Float64Array(n);
+        this.positionsY = new Float64Array(n);
+        this.localX = new Float64Array(n);
+        this.localY = new Float64Array(n);
+        this.ingestLinks();
+        this.computeWeights();
+        this.clusterNodes();
+        this.applyLayout();
+    }
+
+    // Traffic weights only affect rendering (circle size, line width), so they can refresh without re-laying-out.
+    computeWeights() {
+        let n = this.nodes.length;
+        let index = new Map<string, number>();
+        for (let [i, node] of this.nodes.entries()) {
+            index.set(node.id, i);
+        }
+        this.nodeWeight = new Float64Array(n);
+        this.maxNodeWeight = 0;
+        for (let node of this.props.nodes) {
+            let i = index.get(node.id);
+            if (i === undefined) continue;
+            this.nodeWeight[i] = node.weight || 0;
+            this.maxNodeWeight = Math.max(this.maxNodeWeight, node.weight || 0);
+        }
+        this.pairWeight = new Map();
+        this.maxPairWeight = 0;
+        for (let link of this.props.links) {
+            if (!link.weight) continue;
+            let a = index.get(link.source);
+            let b = index.get(link.destination);
+            if (a === undefined || b === undefined || a === b) continue;
+            let pk = Math.min(a, b) * n + Math.max(a, b);
+            let combined = (this.pairWeight.get(pk) || 0) + link.weight;
+            this.pairWeight.set(pk, combined);
+            this.maxPairWeight = Math.max(this.maxPairWeight, combined);
+        }
+    }
+
+    // Combine both directions of each pair into a single undirected edge (mean latency), and build the full matrix.
+    ingestLinks() {
+        let n = this.nodes.length;
+        let index = new Map<string, number>();
+        for (let [i, node] of this.nodes.entries()) {
+            index.set(node.id, i);
+        }
+        let paired = new Map<string, { sum: number; count: number; a: number; b: number; }>();
+        for (let link of this.props.links) {
+            let a = index.get(link.source);
+            let b = index.get(link.destination);
+            if (a === undefined || b === undefined || a === b) continue;
+            // Skip junk latencies (undefined / NaN / infinite) so they can't poison the distance matrix -> NaN positions.
+            if (!Number.isFinite(link.latencyMs)) continue;
+            let lo = Math.min(a, b);
+            let hi = Math.max(a, b);
+            let key = `${lo}-${hi}`;
+            let entry = paired.get(key);
+            if (!entry) {
+                entry = { sum: 0, count: 0, a: lo, b: hi };
+                paired.set(key, entry);
+            }
+            entry.sum += link.latencyMs;
+            entry.count++;
+        }
+        this.edges = [...paired.values()].map(e => ({ a: e.a, b: e.b, latency: e.sum / e.count }));
+        let latencies = this.edges.map(e => e.latency);
+        this.minLatency = latencies.length ? Math.min(...latencies) : 0;
+        this.maxLatency = latencies.length ? Math.max(...latencies) : 1;
+
+        // Unknown pairs treated as maximally distant, so they never falsely cluster.
+        this.latencyMatrix = new Float64Array(n * n).fill(this.maxLatency);
+        for (let i = 0; i < n; i++) {
+            this.latencyMatrix[i * n + i] = 0;
+        }
+        for (let e of this.edges) {
+            this.latencyMatrix[e.a * n + e.b] = e.latency;
+            this.latencyMatrix[e.b * n + e.a] = e.latency;
+        }
+    }
+
+    // Relative clustering: link two nodes when their latency is within clusterFactor of the tighter node's own
+    // nearest-neighbor latency, then take connected components. Adapts to local density, so a mutually-isolated
+    // close pair (e.g. Brisbane/Auckland) clusters even though it's far from every other node.
+    clusterNodes() {
+        let n = this.nodes.length;
+        let factor = Math.max(1, clusterFactorParam.value);
+        this.builtClusterFactor = factor;
+        this.builtInterExponent = interExponentParam.value;
+        let nn = this.nearestNeighborLatencies();
+
+        let parent = new Int32Array(n);
+        for (let i = 0; i < n; i++) {
+            parent[i] = i;
+        }
+        let find = (x: number): number => {
+            while (parent[x] !== x) {
+                parent[x] = parent[parent[x]];
+                x = parent[x];
+            }
+            return x;
+        };
+        for (let e of this.edges) {
+            if (e.latency <= factor * Math.min(nn[e.a], nn[e.b])) {
+                parent[find(e.a)] = find(e.b);
+            }
+        }
+        let clusterId = new Map<number, number>();
+        this.clusterOf = new Int32Array(n);
+        for (let i = 0; i < n; i++) {
+            let root = find(i);
+            let id = clusterId.get(root);
+            if (id === undefined) {
+                id = clusterId.size;
+                clusterId.set(root, id);
+            }
+            this.clusterOf[i] = id;
+        }
+        this.clusterCount = Math.max(1, clusterId.size);
+
+        this.enforceMinClusterSize();
+        this.buildClusterDerived();
+        this.computeRenderEdges();
+    }
+
+    nearestNeighborLatencies() {
+        let nn = new Float64Array(this.nodes.length).fill(this.maxLatency);
+        for (let e of this.edges) {
+            if (e.latency < nn[e.a]) nn[e.a] = e.latency;
+            if (e.latency < nn[e.b]) nn[e.b] = e.latency;
+        }
+        return nn;
+    }
+
+    // Clusters smaller than the configured minimum are dissolved into singletons (a node distant from everything).
+    enforceMinClusterSize() {
+        let n = this.nodes.length;
+        let min = Math.max(1, Math.floor(minClusterSizeParam.value));
+        this.builtMinClusterSize = min;
+        let size = new Int32Array(this.clusterCount);
+        for (let i = 0; i < n; i++) {
+            size[this.clusterOf[i]]++;
+        }
+        let remap = new Map<number, number>();
+        let next = 0;
+        let newOf = new Int32Array(n);
+        for (let i = 0; i < n; i++) {
+            let old = this.clusterOf[i];
+            if (size[old] >= min) {
+                let id = remap.get(old);
+                if (id === undefined) {
+                    id = next++;
+                    remap.set(old, id);
+                }
+                newOf[i] = id;
+            } else {
+                newOf[i] = next++;
+            }
+        }
+        this.clusterOf = newOf;
+        this.clusterCount = Math.max(1, next);
+    }
+
+    buildClusterDerived() {
+        let n = this.nodes.length;
+        let k = this.clusterCount;
+        this.clusterSize = new Int32Array(k);
+        for (let i = 0; i < n; i++) {
+            this.clusterSize[this.clusterOf[i]]++;
+        }
+
+        // Node-pair latencies bucketed per cluster pair (cross) and per cluster (within), for min/median/max ranges.
+        let lists = new Map<number, number[]>();
+        let intraLists: number[][] = Array.from({ length: k }, () => []);
+        for (let i = 0; i < n; i++) {
+            for (let j = i + 1; j < n; j++) {
+                let p = this.clusterOf[i];
+                let q = this.clusterOf[j];
+                if (p === q) {
+                    intraLists[p].push(this.latencyMatrix[i * n + j]);
+                    continue;
+                }
+                let key = Math.min(p, q) * k + Math.max(p, q);
+                let list = lists.get(key);
+                if (!list) {
+                    list = [];
+                    lists.set(key, list);
+                }
+                list.push(this.latencyMatrix[i * n + j]);
+            }
+        }
+        this.clusterIntraMin = new Float64Array(k);
+        this.clusterIntraMedian = new Float64Array(k);
+        this.clusterIntraMax = new Float64Array(k);
+        for (let c = 0; c < k; c++) {
+            let list = intraLists[c];
+            if (!list.length) continue;
+            sort(list, x => x);
+            this.clusterIntraMin[c] = list[0];
+            this.clusterIntraMedian[c] = list[Math.floor(list.length / 2)];
+            this.clusterIntraMax[c] = list[list.length - 1];
+        }
+        this.clusterDist = new Float64Array(k * k).fill(this.maxLatency);
+        for (let c = 0; c < k; c++) {
+            this.clusterDist[c * k + c] = 0;
+        }
+        let stats: { p: number; q: number; min: number; median: number; max: number; }[] = [];
+        for (let [key, list] of lists) {
+            let p = Math.floor(key / k);
+            let q = key % k;
+            sort(list, x => x);
+            let min = list[0];
+            let max = list[list.length - 1];
+            let median = list[Math.floor(list.length / 2)];
+            this.clusterDist[p * k + q] = median;
+            this.clusterDist[q * k + p] = median;
+            stats.push({ p, q, min, median, max });
+        }
+        let medians = stats.map(s => s.median);
+        this.interMin = medians.length ? Math.min(...medians) : 0;
+        this.interMax = medians.length ? Math.max(...medians) : 1;
+        this.interPairs = stats.map(s => {
+            let target = this.restPx(s.median);
+            return { p: s.p, q: s.q, min: s.min, median: s.median, max: s.max, target, weight: 1 / (target * target) };
+        });
+        this.interPairMap = new Map();
+        for (let pair of this.interPairs) {
+            this.interPairMap.set(pair.p * k + pair.q, pair);
+        }
+
+        this.intraSolveEdges = [];
+        for (let e of this.edges) {
+            if (this.clusterOf[e.a] !== this.clusterOf[e.b]) continue;
+            let target = this.restPx(e.latency);
+            this.intraSolveEdges.push({ a: e.a, b: e.b, target, weight: 1 / (target * target) });
+        }
+    }
+
+    computeRenderEdges() {
+        let count = Math.max(1, Math.floor(connectionsParam.value));
+        this.builtConnections = count;
+        let n = this.nodes.length;
+        let neighbors: { other: number; edge: Edge; }[][] = Array.from({ length: n }, () => []);
+        for (let edge of this.edges) {
+            neighbors[edge.a].push({ other: edge.b, edge });
+            neighbors[edge.b].push({ other: edge.a, edge });
+        }
+        this.neighbors = neighbors;
+        let selected = new Set<Edge>();
+        for (let i = 0; i < n; i++) {
+            let candidates = this.nodeCandidates(i);
+            for (let j = 0; j < Math.min(count, candidates.length); j++) {
+                selected.add(candidates[j].edge);
+            }
+        }
+        this.renderEdgeSet = selected;
+        this.renderEdges = [...selected];
+        let nodeLatencies = this.renderEdges.map(e => e.latency);
+        this.renderMin = nodeLatencies.length ? Math.min(...nodeLatencies) : 0;
+        this.renderMax = nodeLatencies.length ? Math.max(...nodeLatencies) : 1;
+    }
+
+    // A node's connection candidates in nearest-first order: clustered nodes stay in-cluster, singletons reach anywhere.
+    nodeCandidates(i: number) {
+        let clustered = this.clusterSize[this.clusterOf[i]] >= 2;
+        let candidates = clustered ? this.neighbors[i].filter(nb => this.clusterOf[nb.other] === this.clusterOf[i]) : this.neighbors[i].slice();
+        sort(candidates, nb => nb.edge.latency);
+        return candidates;
+    }
+
+    // While hovering, the node reveals up to 2x its connections; the extra tier (ranks N..2N) is drawn faintly.
+    computeHoverExtras() {
+        if (this.hoverNode === undefined) return [];
+        let candidates = this.nodeCandidates(this.hoverNode);
+        let extras: Edge[] = [];
+        for (let j = this.builtConnections; j < Math.min(this.builtConnections * 2, candidates.length); j++) {
+            if (!this.renderEdgeSet.has(candidates[j].edge)) extras.push(candidates[j].edge);
+        }
+        return extras;
+    }
+
+    // Each real cluster links to its N nearest clusters by on-screen distance — but only ones it has clear line of
+    // sight to: if the segment would pass through another cluster's hull, the link is hidden to keep the chart clean.
+    computeRenderInterPairs(centroids: Centroids) {
+        let k = this.clusterCount;
+        let real: number[] = [];
+        for (let c = 0; c < k; c++) {
+            if (this.clusterSize[c] >= 2) real.push(c);
+        }
+        let selected = new Set<ClusterPair>();
+        for (let c of real) {
+            let others = real.filter(o => o !== c && this.hasLineOfSight(centroids, c, o)).map(o => {
+                let dx = centroids.cx[c] - centroids.cx[o];
+                let dy = centroids.cy[c] - centroids.cy[o];
+                return { o, d: dx * dx + dy * dy };
+            });
+            sort(others, entry => entry.d);
+            for (let j = 0; j < Math.min(this.builtConnections, others.length); j++) {
+                let pair = this.interPairMap.get(Math.min(c, others[j].o) * k + Math.max(c, others[j].o));
+                if (pair) selected.add(pair);
+            }
+        }
+        this.renderInterPairs = [...selected];
+    }
+
+    hasLineOfSight(centroids: Centroids, from: number, to: number) {
+        return this.segmentClearOfClusters(centroids.cx[from], centroids.cy[from], centroids.cx[to], centroids.cy[to], centroids, from, to);
+    }
+
+    // True if the segment doesn't pass through any real cluster's hull (except the two clusters it belongs to).
+    segmentClearOfClusters(ax: number, ay: number, bx: number, by: number, centroids: Centroids, exclude0: number, exclude1: number) {
+        let dx = bx - ax;
+        let dy = by - ay;
+        let lengthSq = dx * dx + dy * dy || 1;
+        for (let m = 0; m < this.clusterCount; m++) {
+            if (centroids.count[m] < 2 || m === exclude0 || m === exclude1) continue;
+            // Closest point on segment [a,b] to cluster m's center, then distance to it.
+            let t = Math.max(0, Math.min(1, ((centroids.cx[m] - ax) * dx + (centroids.cy[m] - ay) * dy) / lengthSq));
+            let px = ax + t * dx - centroids.cx[m];
+            let py = ay + t * dy - centroids.cy[m];
+            if (px * px + py * py < centroids.radius[m] * centroids.radius[m]) return false;
+        }
+        return true;
+    }
+
+    restPx(latency: number) {
+        let l = Number.isFinite(latency) ? Math.max(0, latency) : 0;
+        let px = LAYOUT_MIN_PX + LAYOUT_SCALE_PX * Math.pow(l / LAYOUT_REF_MS, interExponentParam.value);
+        return Number.isFinite(px) ? px : LAYOUT_MIN_PX;
+    }
+
+    opacityFor(latency: number, min: number, max: number) {
+        let norm = (latency - min) / (max - min || 1);
+        return Math.max(MIN_OPACITY, 1 - norm);
+    }
+
+    applyLayout() {
+        this.builtGeo = geoParam.value;
+        if (geoParam.value) {
+            this.geoLayout();
+            this.scheduleFrame();
+            return;
+        }
+        this.hierarchicalInit();
+        this.temperature = 1;
+        this.iteration = 0;
+        this.settled = false;
+        this.scheduleFrame();
+    }
+
+    geoLayout() {
+        for (let [i, node] of this.nodes.entries()) {
+            this.positionsX[i] = node.longitude !== undefined ? node.longitude * GEO_SCALE : 0;
+            this.positionsY[i] = node.latitude !== undefined ? -node.latitude * GEO_SCALE : 0;
+        }
+        this.temperature = 0;
+        this.iteration = 0;
+        this.settled = true;
+    }
+
+    // Cluster centers placed by inter-cluster MDS; each cluster's members placed by their own local MDS.
+    hierarchicalInit() {
+        let n = this.nodes.length;
+        let k = this.clusterCount;
+        let centers = this.mds(k, (p, q) => {
+            let d = this.restPx(this.clusterDist[p * k + q]);
+            return d * d;
+        });
+        this.clusterCenterX = centers.x;
+        this.clusterCenterY = centers.y;
+
+        for (let c = 0; c < k; c++) {
+            let members: number[] = [];
+            for (let i = 0; i < n; i++) {
+                if (this.clusterOf[i] === c) members.push(i);
+            }
+            let local = this.mds(members.length, (a, b) => {
+                let d = this.restPx(this.latencyMatrix[members[a] * n + members[b]]);
+                return d * d;
+            });
+            for (let [mi, node] of members.entries()) {
+                this.localX[node] = local.x[mi];
+                this.localY[node] = local.y[mi];
+            }
+        }
+        this.composePositions();
+    }
+
+    composePositions() {
+        for (let i = 0; i < this.nodes.length; i++) {
+            let c = this.clusterOf[i];
+            this.positionsX[i] = this.clusterCenterX[c] + this.localX[i];
+            this.positionsY[i] = this.clusterCenterY[c] + this.localY[i];
+        }
+    }
+
+    // Classical MDS on an m-point set given a squared-target-distance function; top-2 eigenvectors.
+    mds(m: number, getSqDist: (a: number, b: number) => number) {
+        let x = new Float64Array(m);
+        let y = new Float64Array(m);
+        if (m < 2) return { x, y };
+        let sq = new Float64Array(m * m);
+        for (let i = 0; i < m; i++) {
+            for (let j = i + 1; j < m; j++) {
+                let v = getSqDist(i, j);
+                sq[i * m + j] = v;
+                sq[j * m + i] = v;
+            }
+        }
+        let rowMean = new Float64Array(m);
+        let grand = 0;
+        for (let i = 0; i < m; i++) {
+            let s = 0;
+            for (let j = 0; j < m; j++) {
+                s += sq[i * m + j];
+            }
+            rowMean[i] = s / m;
+            grand += s;
+        }
+        grand /= m * m;
+        let b = new Float64Array(m * m);
+        for (let i = 0; i < m; i++) {
+            for (let j = 0; j < m; j++) {
+                b[i * m + j] = -0.5 * (sq[i * m + j] - rowMean[i] - rowMean[j] + grand);
+            }
+        }
+        let shift = 0;
+        for (let i = 0; i < m; i++) {
+            let s = 0;
+            for (let j = 0; j < m; j++) {
+                s += Math.abs(b[i * m + j]);
+            }
+            shift = Math.max(shift, s);
+        }
+        let matBase = (v: Float64Array, out: Float64Array) => {
+            for (let i = 0; i < m; i++) {
+                let s = 0;
+                for (let j = 0; j < m; j++) {
+                    s += b[i * m + j] * v[j];
+                }
+                out[i] = s + shift * v[i];
+            }
+        };
+        let e1 = this.powerIteration(matBase, m);
+        let matDeflate = (v: Float64Array, out: Float64Array) => {
+            matBase(v, out);
+            let d = 0;
+            for (let i = 0; i < m; i++) {
+                d += e1.vec[i] * v[i];
+            }
+            for (let i = 0; i < m; i++) {
+                out[i] -= e1.val * d * e1.vec[i];
+            }
+        };
+        let e2 = this.powerIteration(matDeflate, m);
+        let s1 = Math.sqrt(Math.max(e1.val - shift, 0));
+        let s2 = Math.sqrt(Math.max(e2.val - shift, 0));
+        for (let i = 0; i < m; i++) {
+            x[i] = e1.vec[i] * s1;
+            y[i] = e2.vec[i] * s2;
+        }
+        return { x, y };
+    }
+
+    powerIteration(matvec: (v: Float64Array, out: Float64Array) => void, n: number) {
+        let v = new Float64Array(n);
+        let mag = 0;
+        for (let i = 0; i < n; i++) {
+            v[i] = Math.sin(i * 0.1 + 1);
+            mag += v[i] * v[i];
+        }
+        mag = Math.sqrt(mag);
+        for (let i = 0; i < n; i++) {
+            v[i] /= mag;
+        }
+        let out = new Float64Array(n);
+        let val = 0;
+        for (let iter = 0; iter < MAX_POWER_ITERS; iter++) {
+            matvec(v, out);
+            let norm = 0;
+            for (let i = 0; i < n; i++) {
+                norm += out[i] * out[i];
+            }
+            norm = Math.sqrt(norm);
+            if (norm < 1e-12) break;
+            let dot = 0;
+            for (let i = 0; i < n; i++) {
+                out[i] /= norm;
+                dot += out[i] * v[i];
+            }
+            for (let i = 0; i < n; i++) {
+                v[i] = out[i];
+            }
+            val = norm;
+            if (Math.abs(dot) > 1 - POWER_EPS) break;
+        }
+        return { vec: v, val };
+    }
+
+    step() {
+        if (this.settled) return;
+        let maxMove = 0;
+        maxMove = Math.max(maxMove, this.majorizeCenters());
+        maxMove = Math.max(maxMove, this.majorizeLocals());
+        this.composePositions();
+        this.temperature *= COOLING;
+        this.iteration++;
+        if (maxMove < CONVERGENCE_EPS || this.iteration >= MAX_ITERATIONS) {
+            this.settled = true;
+        }
+    }
+
+    majorizeCenters() {
+        let k = this.clusterCount;
+        if (k < 2) return 0;
+        let numX = new Float64Array(k);
+        let numY = new Float64Array(k);
+        let denom = new Float64Array(k);
+        for (let pair of this.interPairs) {
+            let ax = this.clusterCenterX[pair.p];
+            let ay = this.clusterCenterY[pair.p];
+            let bx = this.clusterCenterX[pair.q];
+            let by = this.clusterCenterY[pair.q];
+            let dx = bx - ax;
+            let dy = by - ay;
+            let d = Math.sqrt(dx * dx + dy * dy) || 0.0001;
+            let scaled = pair.target / d;
+            let w = pair.weight;
+            numX[pair.p] += w * (bx + scaled * (ax - bx));
+            numY[pair.p] += w * (by + scaled * (ay - by));
+            numX[pair.q] += w * (ax + scaled * (bx - ax));
+            numY[pair.q] += w * (ay + scaled * (by - ay));
+            denom[pair.p] += w;
+            denom[pair.q] += w;
+        }
+        let maxMove = 0;
+        for (let c = 0; c < k; c++) {
+            if (!denom[c]) continue;
+            let moveX = (numX[c] / denom[c] - this.clusterCenterX[c]) * this.temperature;
+            let moveY = (numY[c] / denom[c] - this.clusterCenterY[c]) * this.temperature;
+            this.clusterCenterX[c] += moveX;
+            this.clusterCenterY[c] += moveY;
+            maxMove = Math.max(maxMove, Math.abs(moveX), Math.abs(moveY));
+        }
+        return maxMove;
+    }
+
+    majorizeLocals() {
+        let n = this.nodes.length;
+        let k = this.clusterCount;
+        let numX = new Float64Array(n);
+        let numY = new Float64Array(n);
+        let denom = new Float64Array(n);
+        for (let e of this.intraSolveEdges) {
+            let ax = this.localX[e.a];
+            let ay = this.localY[e.a];
+            let bx = this.localX[e.b];
+            let by = this.localY[e.b];
+            let dx = bx - ax;
+            let dy = by - ay;
+            let d = Math.sqrt(dx * dx + dy * dy) || 0.0001;
+            let scaled = e.target / d;
+            numX[e.a] += e.weight * (bx + scaled * (ax - bx));
+            numY[e.a] += e.weight * (by + scaled * (ay - by));
+            numX[e.b] += e.weight * (ax + scaled * (bx - ax));
+            numY[e.b] += e.weight * (ay + scaled * (by - ay));
+            denom[e.a] += e.weight;
+            denom[e.b] += e.weight;
+        }
+        let maxMove = 0;
+        for (let i = 0; i < n; i++) {
+            if (!denom[i]) continue;
+            let moveX = (numX[i] / denom[i] - this.localX[i]) * this.temperature;
+            let moveY = (numY[i] / denom[i] - this.localY[i]) * this.temperature;
+            this.localX[i] += moveX;
+            this.localY[i] += moveY;
+            maxMove = Math.max(maxMove, Math.abs(moveX), Math.abs(moveY));
+        }
+        // Keep each cluster centered on its own center, so global placement stays the centers' job.
+        let meanX = new Float64Array(k);
+        let meanY = new Float64Array(k);
+        let count = new Int32Array(k);
+        for (let i = 0; i < n; i++) {
+            let c = this.clusterOf[i];
+            meanX[c] += this.localX[i];
+            meanY[c] += this.localY[i];
+            count[c]++;
+        }
+        for (let c = 0; c < k; c++) {
+            if (count[c]) {
+                meanX[c] /= count[c];
+                meanY[c] /= count[c];
+            }
+        }
+        for (let i = 0; i < n; i++) {
+            let c = this.clusterOf[i];
+            this.localX[i] -= meanX[c];
+            this.localY[i] -= meanY[c];
+        }
+        return maxMove;
+    }
+
+    clusterHue(c: number) {
+        return Math.round(c / Math.max(1, this.clusterCount) * 360);
+    }
+
+    // Screen-space radius; grows with the node's traffic weight, normalized to the busiest node.
+    nodeRadius(i: number) {
+        if (this.maxNodeWeight <= 0) return NODE_RADIUS;
+        return NODE_RADIUS * (1 + NODE_WEIGHT_MULT * (this.nodeWeight[i] / this.maxNodeWeight));
+    }
+
+    lineWidthFor(a: number, b: number) {
+        if (this.maxPairWeight <= 0) return LINE_BASE_WIDTH;
+        let w = this.pairWeight.get(Math.min(a, b) * this.nodes.length + Math.max(a, b)) || 0;
+        return LINE_MIN_WIDTH + (w / this.maxPairWeight) * (LINE_MAX_WIDTH - LINE_MIN_WIDTH);
+    }
+
+    nodeShort(node: LatencyGraphNode) {
+        return (node.label || node.id).slice(0, 2);
+    }
+
+    clusterCentroids() {
+        let k = this.clusterCount;
+        let n = this.nodes.length;
+        let cx = new Float64Array(k);
+        let cy = new Float64Array(k);
+        let count = new Int32Array(k);
+        for (let i = 0; i < n; i++) {
+            let c = this.clusterOf[i];
+            cx[c] += this.positionsX[i];
+            cy[c] += this.positionsY[i];
+            count[c]++;
+        }
+        for (let c = 0; c < k; c++) {
+            if (count[c]) {
+                cx[c] /= count[c];
+                cy[c] /= count[c];
+            }
+        }
+        // Hull radius (world units) = farthest member from the centroid, plus padding.
+        let radius = new Float64Array(k);
+        for (let i = 0; i < n; i++) {
+            let c = this.clusterOf[i];
+            let dx = this.positionsX[i] - cx[c];
+            let dy = this.positionsY[i] - cy[c];
+            radius[c] = Math.max(radius[c], Math.sqrt(dx * dx + dy * dy));
+        }
+        for (let c = 0; c < k; c++) {
+            radius[c] += HULL_PADDING;
+        }
+        return { cx, cy, count, radius };
+    }
+
+    draw() {
+        let canvas = this.canvas;
+        if (!canvas) return;
+        let ctx = canvas.getContext("2d");
+        if (!ctx) return;
+
+        let dpr = window.devicePixelRatio || 1;
+        let width = canvas.clientWidth;
+        let height = canvas.clientHeight;
+        if (canvas.width !== width * dpr || canvas.height !== height * dpr) {
+            canvas.width = width * dpr;
+            canvas.height = height * dpr;
+        }
+
+        ctx.setTransform(dpr, 0, 0, dpr, 0, 0);
+        ctx.fillStyle = "hsl(0, 0%, 6%)";
+        ctx.fillRect(0, 0, width, height);
+
+        let n = this.nodes.length;
+        this.viewWidth = width;
+        this.viewHeight = height;
+        if (n === 0) return;
+
+        let centroidX = 0;
+        let centroidY = 0;
+        for (let i = 0; i < n; i++) {
+            centroidX += this.positionsX[i];
+            centroidY += this.positionsY[i];
+        }
+        centroidX /= n;
+        centroidY /= n;
+        this.centroidX = centroidX;
+        this.centroidY = centroidY;
+
+        // Auto-fit: scale/center the content's bounding box into the viewport, until the user manually zooms/pans.
+        if (!this.userAdjustedView) {
+            let minX = Infinity;
+            let maxX = -Infinity;
+            let minY = Infinity;
+            let maxY = -Infinity;
+            for (let i = 0; i < n; i++) {
+                minX = Math.min(minX, this.positionsX[i]);
+                maxX = Math.max(maxX, this.positionsX[i]);
+                minY = Math.min(minY, this.positionsY[i]);
+                maxY = Math.max(maxY, this.positionsY[i]);
+            }
+            let worldW = maxX - minX || 1;
+            let worldH = maxY - minY || 1;
+            let fit = Math.min((width - 2 * FIT_PAD) / worldW, (height - FIT_PAD_TOP - FIT_PAD) / worldH);
+            // Only apply the fit if it's sane — never let a NaN/degenerate value nuke the whole view.
+            if (Number.isFinite(fit) && fit > 0 && Number.isFinite(minX) && Number.isFinite(minY)) {
+                this.viewScale = Math.max(MIN_SCALE, Math.min(MAX_SCALE, fit));
+                this.panX = -((minX + maxX) / 2 - centroidX) * this.viewScale;
+                // Center within the padded band, which sits lower than the middle because of the reserved top margin.
+                let targetCenterY = (FIT_PAD_TOP + (height - FIT_PAD)) / 2;
+                this.panY = targetCenterY - height / 2 - ((minY + maxY) / 2 - centroidY) * this.viewScale;
+            }
+        }
+
+        let scale = this.viewScale;
+        let toScreenX = (wx: number) => width / 2 + (wx - centroidX) * scale + this.panX;
+        let toScreenY = (wy: number) => height / 2 + (wy - centroidY) * scale + this.panY;
+
+        let centroids = this.clusterCentroids();
+        this.computeRenderInterPairs(centroids);
+        this.hoverExtras = this.computeHoverExtras();
+
+        // Inter-cluster lines run centroid-to-centroid, then the opaque hulls paint over the parts inside any
+        // cluster — so a line only shows in the gaps and reads as entering one cluster edge and exiting another.
+        this.drawInterLines(ctx, toScreenX, toScreenY, centroids);
+        this.drawClusterHulls(ctx, toScreenX, toScreenY, centroids);
+        this.drawNodeConnections(ctx, toScreenX, toScreenY, centroids);
+        // Line labels go under the nodes (they're less important); hover labels are drawn last so they still win.
+        if (showLatenciesParam.value) {
+            this.drawLineLatencies(ctx, toScreenX, toScreenY, centroids);
+        }
+        this.drawNodes(ctx, toScreenX, toScreenY);
+        this.drawInterLabels(ctx, toScreenX, toScreenY, centroids);
+        this.drawClusterLabels(ctx, toScreenX, toScreenY, centroids);
+        this.drawHover(ctx, toScreenX, toScreenY, centroids);
+    }
+
+    drawClusterHulls(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        let k = this.clusterCount;
+        for (let c = 0; c < k; c++) {
+            if (centroids.count[c] < 2) continue;
+            let hue = this.clusterHue(c);
+            let x = toScreenX(centroids.cx[c]);
+            let y = toScreenY(centroids.cy[c]);
+            let r = centroids.radius[c] * this.viewScale;
+            // Opaque fill so any inter-cluster line underneath is hidden inside the cluster.
+            ctx.fillStyle = `hsl(${hue}, 35%, 9%)`;
+            ctx.beginPath();
+            ctx.arc(x, y, r, 0, Math.PI * 2);
+            ctx.fill();
+            ctx.lineWidth = 1;
+            ctx.strokeStyle = `hsla(${hue}, 60%, 55%, 0.35)`;
+            ctx.stroke();
+        }
+    }
+
+    drawInterLines(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        ctx.lineWidth = 2;
+        for (let pair of this.renderInterPairs) {
+            ctx.strokeStyle = `hsla(0, 0%, 100%, ${this.opacityFor(pair.median, this.interMin, this.interMax)})`;
+            ctx.beginPath();
+            ctx.moveTo(toScreenX(centroids.cx[pair.p]), toScreenY(centroids.cy[pair.p]));
+            ctx.lineTo(toScreenX(centroids.cx[pair.q]), toScreenY(centroids.cy[pair.q]));
+            ctx.stroke();
+        }
+    }
+
+    drawInterLabels(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        ctx.font = "11px sans-serif";
+        ctx.textAlign = "center";
+        ctx.textBaseline = "middle";
+        for (let pair of this.renderInterPairs) {
+            let midX = (toScreenX(centroids.cx[pair.p]) + toScreenX(centroids.cx[pair.q])) / 2;
+            let midY = (toScreenY(centroids.cy[pair.p]) + toScreenY(centroids.cy[pair.q])) / 2;
+            let label = `${formatTime(pair.min)} · ${formatTime(pair.median)} · ${formatTime(pair.max)}`;
+            let textWidth = ctx.measureText(label).width;
+            ctx.fillStyle = "hsla(0, 0%, 0%, 0.6)";
+            ctx.fillRect(midX - textWidth / 2 - 3, midY - 8, textWidth + 6, 16);
+            ctx.fillStyle = "hsl(0, 0%, 82%)";
+            ctx.fillText(label, midX, midY);
+        }
+    }
+
+    drawNodeConnections(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        ctx.lineWidth = 1.5;
+        for (let edge of this.renderEdges) {
+            this.strokeNodeConnection(ctx, toScreenX, toScreenY, centroids, edge, 1);
+        }
+        for (let edge of this.hoverExtras) {
+            this.strokeNodeConnection(ctx, toScreenX, toScreenY, centroids, edge, HOVER_EXTRA_OPACITY);
+        }
+    }
+
+    strokeNodeConnection(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids, edge: Edge, opacityScale: number) {
+        // Hide links that tunnel through an unrelated cluster (mainly singleton connections crossing hulls).
+        if (!this.segmentClearOfClusters(this.positionsX[edge.a], this.positionsY[edge.a], this.positionsX[edge.b], this.positionsY[edge.b], centroids, this.clusterOf[edge.a], this.clusterOf[edge.b])) return;
+        ctx.lineWidth = this.lineWidthFor(edge.a, edge.b);
+        let hue = this.clusterHue(this.clusterOf[edge.a]);
+        ctx.strokeStyle = `hsla(${hue}, 70%, 62%, ${this.opacityFor(edge.latency, this.renderMin, this.renderMax) * opacityScale})`;
+        ctx.beginPath();
+        ctx.moveTo(toScreenX(this.positionsX[edge.a]), toScreenY(this.positionsY[edge.a]));
+        ctx.lineTo(toScreenX(this.positionsX[edge.b]), toScreenY(this.positionsY[edge.b]));
+        ctx.stroke();
+    }
+
+    // Always-on latency labels on the drawn node connections (toggleable), with the connection's traffic below.
+    // Skipped for lines masked by a cluster hull.
+    drawLineLatencies(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        ctx.textAlign = "center";
+        ctx.textBaseline = "middle";
+        for (let edge of this.renderEdges) {
+            if (!this.segmentClearOfClusters(this.positionsX[edge.a], this.positionsY[edge.a], this.positionsX[edge.b], this.positionsY[edge.b], centroids, this.clusterOf[edge.a], this.clusterOf[edge.b])) continue;
+            let midX = (toScreenX(this.positionsX[edge.a]) + toScreenX(this.positionsX[edge.b])) / 2;
+            let midY = (toScreenY(this.positionsY[edge.a]) + toScreenY(this.positionsY[edge.b])) / 2;
+
+            let traffic = this.pairWeight.get(Math.min(edge.a, edge.b) * this.nodes.length + Math.max(edge.a, edge.b)) || 0;
+            let trafficLabel = this.formatWeight && traffic > 0 ? this.formatWeight(traffic) : undefined;
+            let latencyY = trafficLabel ? midY - 7 : midY;
+
+            ctx.font = "10px sans-serif";
+            let latencyLabel = formatTime(edge.latency);
+            let latencyWidth = ctx.measureText(latencyLabel).width;
+            ctx.fillStyle = "hsla(0, 0%, 0%, 0.5)";
+            ctx.fillRect(midX - latencyWidth / 2 - 2, latencyY - 7, latencyWidth + 4, 14);
+            ctx.fillStyle = "hsl(0, 0%, 72%)";
+            ctx.fillText(latencyLabel, midX, latencyY);
+
+            if (trafficLabel) {
+                ctx.font = "9px sans-serif";
+                let trafficWidth = ctx.measureText(trafficLabel).width;
+                ctx.fillStyle = "hsla(0, 0%, 0%, 0.5)";
+                ctx.fillRect(midX - trafficWidth / 2 - 2, midY + 7 - 6, trafficWidth + 4, 12);
+                ctx.fillStyle = "hsl(0, 0%, 58%)";
+                ctx.fillText(trafficLabel, midX, midY + 7);
+            }
+        }
+    }
+
+    drawNodes(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number) {
+        ctx.textBaseline = "middle";
+        ctx.textAlign = "center";
+        for (let i = 0; i < this.nodes.length; i++) {
+            let x = toScreenX(this.positionsX[i]);
+            let y = toScreenY(this.positionsY[i]);
+            let radius = this.nodeRadius(i);
+            ctx.fillStyle = i === this.hoverNode ? "hsl(40, 90%, 60%)" : `hsl(${this.clusterHue(this.clusterOf[i])}, 65%, 55%)`;
+            ctx.beginPath();
+            ctx.arc(x, y, radius, 0, Math.PI * 2);
+            ctx.fill();
+
+            let lines = this.nodes[i].labelLines;
+            if (lines && lines.length) {
+                // Stack the lines above the node: the first line highest, the last just above the dot.
+                let baseY = y - radius - 8;
+                for (let [li, line] of lines.entries()) {
+                    let ly = baseY - (lines.length - 1 - li) * 13;
+                    ctx.font = li === 0 ? "bold 11px sans-serif" : "10px sans-serif";
+                    ctx.lineWidth = 3;
+                    ctx.strokeStyle = "hsl(0, 0%, 6%)";
+                    ctx.strokeText(line.text, x, ly);
+                    ctx.fillStyle = line.color || (li === 0 ? "hsl(0, 0%, 92%)" : "hsl(0, 0%, 62%)");
+                    ctx.fillText(line.text, x, ly);
+                }
+                continue;
+            }
+            let short = this.nodeShort(this.nodes[i]);
+            ctx.font = "bold 11px sans-serif";
+            ctx.lineWidth = 3;
+            ctx.strokeStyle = "hsl(0, 0%, 6%)";
+            ctx.strokeText(short, x, y - radius - 8);
+            ctx.fillStyle = "hsl(0, 0%, 92%)";
+            ctx.fillText(short, x, y - radius - 8);
+        }
+    }
+
+    drawClusterLabels(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        let k = this.clusterCount;
+        let rep = new Int32Array(k).fill(-1);
+        let repDist = new Float64Array(k).fill(Infinity);
+        for (let i = 0; i < this.nodes.length; i++) {
+            let c = this.clusterOf[i];
+            let dx = this.positionsX[i] - centroids.cx[c];
+            let dy = this.positionsY[i] - centroids.cy[c];
+            let d = dx * dx + dy * dy;
+            if (d < repDist[c]) {
+                repDist[c] = d;
+                rep[c] = i;
+            }
+        }
+        ctx.textAlign = "center";
+        ctx.textBaseline = "middle";
+        for (let c = 0; c < k; c++) {
+            if (rep[c] < 0) continue;
+            let node = this.nodes[rep[c]];
+            let name = node.label || node.id;
+            let label = `${name} (${centroids.count[c]})`;
+            let x = toScreenX(centroids.cx[c]);
+            let hullTop = toScreenY(centroids.cy[c]) - centroids.radius[c] * this.viewScale;
+            let hasStats = centroids.count[c] >= 2;
+            let nameY = hullTop - (hasStats ? 20 : 5);
+            ctx.font = "bold 12px sans-serif";
+            ctx.lineWidth = 3;
+            ctx.strokeStyle = "hsl(0, 0%, 6%)";
+            ctx.strokeText(label, x, nameY);
+            ctx.fillStyle = `hsl(${this.clusterHue(c)}, 70%, 70%)`;
+            ctx.fillText(label, x, nameY);
+
+            if (!hasStats) continue;
+            let stats = `${formatTime(this.clusterIntraMin[c])} · ${formatTime(this.clusterIntraMedian[c])} · ${formatTime(this.clusterIntraMax[c])}`;
+            ctx.font = "11px sans-serif";
+            let statsWidth = ctx.measureText(stats).width;
+            let statsY = hullTop - 5;
+            ctx.fillStyle = "hsla(0, 0%, 0%, 0.6)";
+            ctx.fillRect(x - statsWidth / 2 - 3, statsY - 8, statsWidth + 6, 16);
+            ctx.fillStyle = `hsl(${this.clusterHue(c)}, 40%, 78%)`;
+            ctx.fillText(stats, x, statsY);
+        }
+    }
+
+    // Hovering only labels the node's already-drawn connections (its base tier plus the faint extra tier).
+    drawHover(ctx: CanvasRenderingContext2D, toScreenX: (wx: number) => number, toScreenY: (wy: number) => number, centroids: Centroids) {
+        if (this.hoverNode === undefined) return;
+        ctx.font = "12px sans-serif";
+        ctx.textAlign = "center";
+        ctx.textBaseline = "middle";
+        let incident = this.renderEdges.filter(edge => edge.a === this.hoverNode || edge.b === this.hoverNode);
+        for (let edge of [...incident, ...this.hoverExtras]) {
+            if (!this.segmentClearOfClusters(this.positionsX[edge.a], this.positionsY[edge.a], this.positionsX[edge.b], this.positionsY[edge.b], centroids, this.clusterOf[edge.a], this.clusterOf[edge.b])) continue;
+            let midX = (toScreenX(this.positionsX[edge.a]) + toScreenX(this.positionsX[edge.b])) / 2;
+            let midY = (toScreenY(this.positionsY[edge.a]) + toScreenY(this.positionsY[edge.b])) / 2;
+            let label = formatTime(edge.latency);
+            let textWidth = ctx.measureText(label).width;
+            ctx.fillStyle = "hsla(0, 0%, 0%, 0.75)";
+            ctx.fillRect(midX - textWidth / 2 - 3, midY - 8, textWidth + 6, 16);
+            ctx.fillStyle = "hsl(40, 90%, 75%)";
+            ctx.fillText(label, midX, midY);
+        }
+        this.drawHoverCard(ctx);
+    }
+
+    drawHoverCard(ctx: CanvasRenderingContext2D) {
+        if (this.hoverNode === undefined) return;
+        let node = this.nodes[this.hoverNode];
+        let lines = [node.label || node.id];
+        if (node.label) lines.push(node.id);
+        if (node.latitude !== undefined && node.longitude !== undefined) {
+            lines.push(`${node.latitude.toFixed(3)}, ${node.longitude.toFixed(3)}`);
+        }
+        lines = lines.filter(Boolean);
+        ctx.font = "12px sans-serif";
+        ctx.textAlign = "left";
+        ctx.textBaseline = "middle";
+        let width = Math.max(...lines.map(l => ctx.measureText(l).width)) + 16;
+        let lineHeight = 16;
+        let height = lines.length * lineHeight + 8;
+        let x = this.mouseX + 14;
+        let y = this.mouseY + 14;
+        if (x + width > this.viewWidth) x = this.mouseX - 14 - width;
+        if (y + height > this.viewHeight) y = this.mouseY - 14 - height;
+        ctx.fillStyle = "hsla(0, 0%, 4%, 0.92)";
+        ctx.fillRect(x, y, width, height);
+        ctx.strokeStyle = "hsl(200, 60%, 45%)";
+        ctx.lineWidth = 1;
+        ctx.strokeRect(x, y, width, height);
+        for (let [i, line] of lines.entries()) {
+            ctx.fillStyle = i === 0 ? "hsl(40, 90%, 75%)" : "hsl(0, 0%, 82%)";
+            ctx.fillText(line, x + 8, y + 8 + i * lineHeight + lineHeight / 2);
+        }
+    }
+
+    // Draw only when something can change: while the layout is still settling, or after an interaction. Once
+    // settled and idle, no frames are scheduled at all, so the tab uses no CPU.
+    scheduleFrame() {
+        if (this.frameScheduled || !this.canvas) return;
+        this.frameScheduled = true;
+        this.rafId = requestAnimationFrame(this.frame);
+    }
+
+    frame = () => {
+        this.frameScheduled = false;
+        this.rafId = 0;
+        this.step();
+        this.draw();
+        if (!this.settled) this.scheduleFrame();
+    };
+
+    onWheel = (e: WheelEvent) => {
+        e.preventDefault();
+        let worldX = this.centroidX + (e.offsetX - this.viewWidth / 2 - this.panX) / this.viewScale;
+        let worldY = this.centroidY + (e.offsetY - this.viewHeight / 2 - this.panY) / this.viewScale;
+        let factor = e.deltaY < 0 ? ZOOM_STEP : 1 / ZOOM_STEP;
+        let newScale = Math.max(MIN_SCALE, Math.min(MAX_SCALE, this.viewScale * factor));
+        this.viewScale = newScale;
+        this.panX = e.offsetX - this.viewWidth / 2 - (worldX - this.centroidX) * newScale;
+        this.panY = e.offsetY - this.viewHeight / 2 - (worldY - this.centroidY) * newScale;
+        this.userAdjustedView = true;
+        this.scheduleFrame();
+    };
+
+    onMouseDown = (e: MouseEvent) => {
+        if (e.button !== 1) return;
+        e.preventDefault();
+        this.isPanning = true;
+        this.lastPointerX = e.clientX;
+        this.lastPointerY = e.clientY;
+    };
+
+    onMouseMove = (e: MouseEvent) => {
+        if (this.isPanning) {
+            this.panX += e.clientX - this.lastPointerX;
+            this.panY += e.clientY - this.lastPointerY;
+            this.lastPointerX = e.clientX;
+            this.lastPointerY = e.clientY;
+            this.userAdjustedView = true;
+            this.scheduleFrame();
+            return;
+        }
+        let canvas = this.canvas;
+        if (!canvas) return;
+        let rect = canvas.getBoundingClientRect();
+        let mx = e.clientX - rect.left;
+        let my = e.clientY - rect.top;
+        this.mouseX = mx;
+        this.mouseY = my;
+        let scale = this.viewScale;
+        let bestDist = Infinity;
+        let best: number | undefined = undefined;
+        for (let i = 0; i < this.nodes.length; i++) {
+            let sx = this.viewWidth / 2 + (this.positionsX[i] - this.centroidX) * scale + this.panX;
+            let sy = this.viewHeight / 2 + (this.positionsY[i] - this.centroidY) * scale + this.panY;
+            let dist = (sx - mx) ** 2 + (sy - my) ** 2;
+            let hitDist = (this.nodeRadius(i) + HOVER_PAD) ** 2;
+            if (dist <= hitDist && dist < bestDist) {
+                bestDist = dist;
+                best = i;
+            }
+        }
+        let prev = this.hoverNode;
+        this.hoverNode = best;
+        // Redraw while a node is hovered (the info card tracks the cursor) or when the hovered node changes.
+        if (best !== undefined || prev !== undefined) this.scheduleFrame();
+    };
+
+    onMouseLeave = () => {
+        this.hoverNode = undefined;
+        this.scheduleFrame();
+    };
+
+    onMouseUp = (e: MouseEvent) => {
+        if (e.button !== 1) return;
+        this.isPanning = false;
+    };
+
+    componentWillUnmount() {
+        this.mountCanvas(undefined);
+    }
+
+    mountCanvas(elem: HTMLCanvasElement | undefined) {
+        if (this.rafId) {
+            cancelAnimationFrame(this.rafId);
+            this.rafId = 0;
+        }
+        this.frameScheduled = false;
+        if (this.canvas) {
+            this.canvas.removeEventListener("wheel", this.onWheel);
+            this.canvas.removeEventListener("mousedown", this.onMouseDown);
+            this.canvas.removeEventListener("mouseleave", this.onMouseLeave);
+            window.removeEventListener("mousemove", this.onMouseMove);
+            window.removeEventListener("mouseup", this.onMouseUp);
+        }
+        this.canvas = elem;
+        if (elem) {
+            elem.addEventListener("wheel", this.onWheel, { passive: false });
+            elem.addEventListener("mousedown", this.onMouseDown);
+            elem.addEventListener("mouseleave", this.onMouseLeave);
+            window.addEventListener("mousemove", this.onMouseMove);
+            window.addEventListener("mouseup", this.onMouseUp);
+            this.scheduleFrame();
+        }
+    }
+
+    render() {
+        this.formatWeight = this.props.formatWeight;
+        // Rebuild from scratch whenever the data set changes (e.g. a new node's latencies arrive progressively).
+        let sig = `${this.props.nodes.length}:${this.props.links.length}`;
+        let weightSig = 0;
+        for (let node of this.props.nodes) {
+            weightSig += node.weight || 0;
+        }
+        for (let link of this.props.links) {
+            weightSig += link.weight || 0;
+        }
+        if (sig !== this.builtSig || geoParam.value !== this.builtGeo) {
+            // Switching layout mode (geographic vs solved) changes the whole coordinate space, so re-fit the view.
+            if (geoParam.value !== this.builtGeo) this.userAdjustedView = false;
+            this.builtSig = sig;
+            this.builtWeightSig = weightSig;
+            this.build();
+        } else if (weightSig !== this.builtWeightSig) {
+            // Traffic weights changed but the node/link set didn't — just refresh sizing, no re-layout.
+            this.builtWeightSig = weightSig;
+            this.computeWeights();
+        } else if (Math.max(1, Math.floor(minClusterSizeParam.value)) !== this.builtMinClusterSize || Math.max(1, clusterFactorParam.value) !== this.builtClusterFactor || interExponentParam.value !== this.builtInterExponent) {
+            this.clusterNodes();
+            this.applyLayout();
+        } else if (Math.max(1, Math.floor(connectionsParam.value)) !== this.builtConnections) {
+            this.computeRenderEdges();
+        }
+        this.scheduleFrame();
+
+        return <div className={css.relative.fillBoth.overflowHidden}>
+            <canvas
+                ref={elem => this.mountCanvas(elem ?? undefined)}
+                className={css.absolute.pos(0, 0).fillBoth}
+            />
+            <div className={css.vbox(10).pad2(12).absolute.pos(0, 0).width(260).zIndex(2).hsla(0, 0, 8, 0.9).colorhsl(0, 0, 85)}>
+                <InputLabelURL label="Connections" url={connectionsParam} integer />
+                <InputLabelURL label="Cluster factor" url={clusterFactorParam} number />
+                <InputLabelURL label="Cluster distance exponent" url={interExponentParam} number />
+                <InputLabelURL label="Min cluster size" url={minClusterSizeParam} integer />
+                <InputLabelURL label="Show line latencies" url={showLatenciesParam} checkbox />
+                <InputLabelURL label="Geographic (lat/lon)" url={geoParam} checkbox />
+                <div className={css.colorhsl(0, 0, 60)}>
+                    {this.nodes.length} nodes · {this.clusterCount} clusters · {this.renderEdges.length} lines
+                </div>
+                <Button onClick={() => { this.userAdjustedView = false; this.applyLayout(); }}>
+                    Reheat Layout
+                </Button>
+                <Button onClick={() => console.log("LatencyGraph data:\n" + JSON.stringify({ nodes: this.props.nodes, links: this.props.links }, undefined, 2))}>
+                    Log graph data
+                </Button>
+            </div>
+        </div>;
+    }
+}