@memlab/mcp-server 2.18.1 → 2.86.0

package/dist/tools/leak-report.js

@@ -0,0 +1,398 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @format
+ * @oncall memory_lab
+ */
+import { z } from 'zod';
+import memlabHeapAnalysis from '@memlab/heap-analysis';
+const { getFullHeapFromFile } = memlabHeapAnalysis;
+import { errorResult, formatBytes, formatNumber, markdownTable, pathsHeader, toolResult, } from '../utils.js';
+import { artifactLabel } from '../artifact-classes.js';
+import { computeSequenceTrends, normalizeClassName, } from './sequence-analysis.js';
+import { collectDevRoots, computeReachableWithoutDevRoots, } from './dev-artifacts.js';
+import { getFirstNonFrameworkRetainer } from './detached-dom.js';
+import { makeProgressReporter } from '../progress.js';
+// Nodes kept per candidate class for the retainer sample. Small on purpose: the
+// question is "what shape of thing holds these", and a handful of instances
+// answers it — walking thousands would cost more than the trend pass itself.
+const MAX_SAMPLES_PER_CLASS = 8;
+const RETAINER_SAMPLES = 3;
+// A class whose instances are overwhelmingly dev-root-retained is a measurement
+// artifact in production terms, whatever its growth curve looks like. Matches
+// the majority-not-any threshold intern_opportunities uses, for the same reason:
+// a class can legitimately mix a few console-held instances with real data.
+const DEV_ONLY_SHARE = 0.8;
+// Deliberately NOT a sum of retainedSize across the class: retained sizes
+// overlap wherever instances nest, so summing them reports figures larger than
+// the heap (measured: 5.9 GB of `Object` in a 200 MB heap). Net self-size delta
+// across the ladder is additive and is the growth the report is about anyway.
+function displayName(row) {
+    return row.name.length > 0 ? row.name : `(unnamed ${row.type})`;
+}
+/**
+ * `displayName` for PROSE, where a class name is interpolated into a sentence.
+ *
+ * The table truncates its own cells; the suggestion trailers did not, and for a
+ * string-typed row the "class name" IS the string's content. A single measured
+ * `**Next:**` line carried a whole multi-line `Error: [ProxyState] …` value
+ * including three full bundle URLs with query strings — several hundred tokens
+ * of payload inside a line whose only job is to name the next tool to run. The
+ * newline collapse matters as much as the length cap: an embedded newline also
+ * breaks out of the markdown bullet it was sitting in.
+ */
+const PROSE_NAME_MAX = 80;
+function proseName(row) {
+    const flat = displayName(row).replace(/\s+/g, ' ').trim();
+    return flat.length > PROSE_NAME_MAX
+        ? `${flat.slice(0, PROSE_NAME_MAX - 1)}…`
+        : flat;
+}
+function modalRetainer(nodes) {
+    const counts = new Map();
+    let considered = 0;
+    for (const node of nodes.slice(0, RETAINER_SAMPLES)) {
+        considered++;
+        const label = getFirstNonFrameworkRetainer(node);
+        counts.set(label, (counts.get(label) ?? 0) + 1);
+    }
+    let best = '(unknown)';
+    let bestCount = 0;
+    for (const [label, c] of counts) {
+        if (c > bestCount) {
+            best = label;
+            bestCount = c;
+        }
+    }
+    return { label: best, votes: bestCount, of: considered };
+}
+/**
+ * The retainer to report for a GROWING class.
+ *
+ * This used to vote over instances sampled from the class's whole final
+ * population, which answers the wrong question: it reports whoever holds the
+ * MOST instances, not whoever holds the NEW ones. Those differ exactly when a
+ * large static collection coexists with a small accumulating one — which is the
+ * common case, and the case the report exists to diagnose.
+ *
+ * Measured failure this fixes: across three separate rounds the `Set` class was
+ * growing by ~2,000 instances and the column named `CometStyleXSheet
+ * .externalRules`, a collection that a per-rung trend pass shows is FLAT at
+ * 9,356 entries at every rung. It contributed none of the growth; it was simply
+ * the largest static Set population in the heap, so it won every vote. A reader
+ * who trusts the column chases a collection that is not moving.
+ *
+ * The growth cohort is approximated by node id: V8 assigns heap-snapshot ids
+ * monotonically as objects are allocated, so the highest-id instances of a class
+ * are its newest. That is a heuristic — ids are not a timestamp and a class can
+ * churn — so when the two cohorts disagree the report says so rather than
+ * silently preferring one.
+ */
+function growthRetainer(ev) {
+    const growth = modalRetainer(ev.newest);
+    const population = modalRetainer(ev.samples);
+    return {
+        ...growth,
+        populationLabel: growth.label !== population.label && population.label !== '(unknown)'
+            ? population.label
+            : null,
+    };
+}
+/**
+ * Ratios that land on a whole number, and what they mean.
+ *
+ * Turning a delta into a mechanism is usually one division. The breakthrough on
+ * one investigation was noticing that a population grew by 19 rows per cycle on
+ * an account with exactly 19 chats: the leaked unit was one whole chat list, so
+ * the cost scaled with the USER'S data rather than with elapsed time — a
+ * different severity and a different fix from "grows over time". That division
+ * was done by eye, and only because someone happened to know the chat count.
+ *
+ * `tolerance` is an ABSOLUTE distance from the nearest integer, and has to be:
+ * scaling it by the ratio makes every large ratio trivially "integer", which is
+ * the difference between a signal and noise dressed as one. Measured against a
+ * real 3-rung ladder with a 2%-of-ratio tolerance, EVERY candidate row reported
+ * a clean whole number — `16,825 / 50 = 336.5` was announced as "337 per cycle"
+ * because 0.5 is comfortably inside 2% of 337. With an absolute 0.02 the same
+ * row is correctly rejected and only a ratio that really does land on an
+ * integer survives.
+ */
+export function integerRatios(netCount, content, tolerance = 0.02) {
+    const out = [];
+    for (const [key, count] of Object.entries(content)) {
+        if (!Number.isFinite(count) || count <= 0)
+            continue;
+        const ratio = netCount / count;
+        if (ratio < 1)
+            continue;
+        const nearest = Math.round(ratio);
+        if (nearest >= 1 && Math.abs(ratio - nearest) <= tolerance) {
+            out.push({ key, per: nearest });
+        }
+    }
+    return out;
+}
+export function registerLeakReport(server) {
+    server.tool('memlab_leak_report', 'One-call leak triage across an ORDERED ladder of >=2 heap snapshots: runs the growth-trend pass, then gathers per-class EVIDENCE from the final snapshot and returns a single table — class, per-rung counts, Δ and Δ/cycle, how much of it is dev/automation-retained, the dominant retainer, and a verdict hint. ' +
+        'Exists because the trend pass alone cannot tell a leak from an artifact: every hunt then ran memlab_dev_artifacts and a retainer trace by hand on each grower and joined the three outputs mentally, which is the step that gets skipped right before something is reported as a production leak. Composes memlab_sequence_analysis with memlab_dev_artifacts and a retainer sample; costs one extra snapshot load (the last rung) on top of the ladder pass. ' +
+        'The verdict column is a HINT, not a conclusion — confirm a candidate with memlab_retainer_trace on the example node before calling it a leak. ' +
+        "The retainer column votes over the class's NEWEST instances (highest node ids = the growth cohort), NOT over its whole population: voting over the population names whoever holds the most instances, which is a large STATIC collection whenever one exists and is not what grew. Rows where the two disagree are listed under the table. Paths may be local, manifold:// URLs, or bare filenames.", {
+        paths: z
+            .array(z.string())
+            .min(1)
+            .describe('Ordered list of >=2 snapshot paths (oldest first): local absolute paths, manifold:// URLs, or bare snapshot filenames. A single ["ladder:<name>"] entry expands to a ladder saved with memlab_ladder.'),
+        cycles: z
+            .number()
+            .optional()
+            .describe('Number of interaction cycles driven between the FIRST and LAST snapshot. When provided, a "Δ/cycle" column is reported — a per-cycle rate is what says whether growth scales with interaction, which a total cannot.'),
+        content: z
+            .record(z.number())
+            .optional()
+            .describe('Counts of the CONTENT the driven surface contains — e.g. {"chats": 19, "messages": 40}. When given, each grower\'s net delta is also divided by these, and any ratio landing on a whole number is called out. This is what turns a number into a mechanism: a class growing by exactly one unit per chat is leaking a whole chat list per cycle, and scales with the user\'s data rather than with time.'),
+        limit: z
+            .number()
+            .optional()
+            .default(10)
+            .describe('Maximum number of growing classes to gather evidence for (default 10).'),
+        min_growth_count: z
+            .number()
+            .optional()
+            .default(50)
+            .describe('Only consider classes whose net instance-count growth is at least this (default 50).'),
+        monotonic_only: z
+            .boolean()
+            .optional()
+            .default(false)
+            .describe('Only consider classes that grew at EVERY step (default false: grew-net classes are included and flagged as noisy).'),
+        include_artifacts: z
+            .boolean()
+            .optional()
+            .default(false)
+            .describe('Include classes that are known measurement artifacts (CDP inspector retention, V8 JIT warmup, Blink a11y caches, captured Error stacks). Default false: they are counted in a one-line summary instead of consuming evidence slots, since none of them is an app leak.'),
+        max_file_size_mb: z
+            .number()
+            .optional()
+            .describe('Per-file size ceiling in MB, matching memlab_load_snapshot / memlab_sequence_analysis defaults. Snapshots are loaded one at a time and dropped before the next.'),
+    }, async ({ paths, cycles, content, limit, min_growth_count, monotonic_only, include_artifacts, max_file_size_mb, }, extra) => {
+        try {
+            const { steps, rows } = await computeSequenceTrends(paths, {
+                minGrowthCount: min_growth_count,
+                monotonicOnly: monotonic_only,
+                maxFileSizeMB: max_file_size_mb,
+                toolName: 'memlab_leak_report',
+                progress: makeProgressReporter(extra, 'leak_report'),
+            });
+            const n = steps.length;
+            const artifactRows = rows.filter(r => r.artifact != null);
+            const candidates = (include_artifacts ? rows : rows.filter(r => r.artifact == null)).slice(0, limit);
+            const heapNet = steps[n - 1].totalSize - steps[0].totalSize;
+            const lines = [
+                `## Leak report (${n} snapshots)`,
+                '',
+                `Heap self-size ${heapNet >= 0 ? 'grew' : 'shrank'} by ${formatBytes(Math.abs(heapNet))} across the ladder (${formatNumber(steps[0].nodeCount)} → ${formatNumber(steps[n - 1].nodeCount)} nodes).`,
+                '',
+            ];
+            if (n === 2) {
+                lines.push('> ⚠️ **Only 2 snapshots: "↑ every step" is monotonic by construction** and cannot separate a real trend from a single GC-band sample. Capture at least a third rung before treating anything here as a leak.', '');
+            }
+            if (candidates.length === 0) {
+                lines.push(`No non-artifact class grew by >= ${formatNumber(min_growth_count)} instances across the ladder — no unbounded-growth signal to report.`);
+                if (artifactRows.length > 0) {
+                    lines.push('', `> 🧹 ${formatNumber(artifactRows.length)} growing class(es) were known measurement artifacts (pass \`include_artifacts: true\` to see them).`);
+                }
+                return toolResult(lines.join('\n'), pathsHeader(steps.map(s => s.label)));
+            }
+            // Evidence pass. The trend loop drops each graph before loading the
+            // next, so the final rung is re-opened here — one extra load, and the
+            // only way to ask retention questions about the classes the trend pass
+            // just identified.
+            const snapshot = await getFullHeapFromFile(steps[n - 1].localPath);
+            const devRoots = collectDevRoots(snapshot);
+            const reached = devRoots.byId.size > 0
+                ? computeReachableWithoutDevRoots(snapshot, devRoots)
+                : null;
+            const evidence = new Map();
+            for (const c of candidates) {
+                evidence.set(c.key, {
+                    total: 0,
+                    devOnly: 0,
+                    samples: [],
+                    newest: [],
+                    example: null,
+                    exampleRetained: -1,
+                    anyExample: null,
+                });
+            }
+            snapshot.nodes.forEach(node => {
+                if (node.id <= 3)
+                    return;
+                // Must key exactly as buildHistogram does, normalization included, or
+                // per-instance Context/scope classes never match their trend row.
+                const ev = evidence.get(`${node.type}::${normalizeClassName(node.name)}`);
+                if (!ev)
+                    return;
+                ev.total++;
+                if (reached != null && reached[node.nodeIndex] === 0)
+                    ev.devOnly++;
+                if (ev.anyExample == null)
+                    ev.anyExample = node;
+                if (!node.hasPathEdge)
+                    return;
+                if (ev.samples.length < MAX_SAMPLES_PER_CLASS)
+                    ev.samples.push(node);
+                // Keep the highest-id traceable instances — the class's newest, i.e.
+                // the cohort the ladder's growth is made of. Insertion into a window
+                // this small (8) is cheaper than sorting the class at the end.
+                if (ev.newest.length < MAX_SAMPLES_PER_CLASS ||
+                    node.id > ev.newest[ev.newest.length - 1].id) {
+                    let i = ev.newest.length;
+                    while (i > 0 && ev.newest[i - 1].id < node.id)
+                        i--;
+                    ev.newest.splice(i, 0, node);
+                    if (ev.newest.length > MAX_SAMPLES_PER_CLASS)
+                        ev.newest.pop();
+                }
+                if (node.retainedSize > ev.exampleRetained) {
+                    ev.exampleRetained = node.retainedSize;
+                    ev.example = node;
+                }
+            });
+            // The biggest traceable instance is the most informative one to walk, so
+            // put it at the head of every retainer sample.
+            for (const ev of evidence.values()) {
+                if (ev.example != null) {
+                    ev.samples = [
+                        ev.example,
+                        ...ev.samples.filter(s => s.id !== ev.example.id),
+                    ];
+                }
+            }
+            const perCycle = cycles != null && cycles > 0;
+            const showDevOnly = reached != null;
+            const headers = [
+                'Class',
+                'Type',
+                ...steps.map((_, i) => `#${i + 1}`),
+                'Δ count',
+                ...(perCycle ? ['Δ/cycle'] : []),
+                'Δ size',
+                ...(showDevOnly ? ['Dev-only'] : []),
+                'Top retainer (newest instances)',
+                'Verdict hint',
+            ];
+            const rightCols = new Set();
+            for (let i = 2; i < headers.length - 2; i++)
+                rightCols.add(i);
+            let leakCandidates = 0;
+            let devOnlyClasses = 0;
+            // Rows where the newest instances and the population at large are held
+            // by different things. That disagreement is the signal a static
+            // collection is masking the accumulating one, so it is reported rather
+            // than resolved silently.
+            const retainerSplits = [];
+            const tableRows = candidates.map(r => {
+                const ev = evidence.get(r.key);
+                const devShare = ev.total > 0 ? ev.devOnly / ev.total : 0;
+                const isDevOnly = showDevOnly && devShare >= DEV_ONLY_SHARE;
+                if (isDevOnly)
+                    devOnlyClasses++;
+                let verdict;
+                if (r.artifact != null) {
+                    verdict = artifactLabel(r.artifact);
+                }
+                else if (isDevOnly) {
+                    verdict = '🛠 dev/automation-retained (not production)';
+                }
+                else if (r.trend === 'monotonic-up') {
+                    verdict = '↑ every step — LEAK candidate';
+                    leakCandidates++;
+                }
+                else {
+                    verdict = 'grew net (noisy)';
+                }
+                const label = displayName(r);
+                return [
+                    label.length > 34 ? label.slice(0, 31) + '…' : label,
+                    r.type,
+                    ...r.counts.map(c => formatNumber(c)),
+                    `+${formatNumber(r.netCount)}`,
+                    ...(perCycle ? [(r.netCount / cycles).toFixed(2)] : []),
+                    `${r.netSize >= 0 ? '+' : ''}${formatBytes(r.netSize)}`,
+                    ...(showDevOnly
+                        ? [
+                            ev.total === 0
+                                ? '—'
+                                : ev.devOnly === 0
+                                    ? '—'
+                                    : `${(devShare * 100).toFixed(0)}%`,
+                        ]
+                        : []),
+                    (() => {
+                        const g = growthRetainer(ev);
+                        if (g.populationLabel != null) {
+                            retainerSplits.push(`\`${label}\`: newest → \`${g.label}\`, population at large → \`${g.populationLabel}\``);
+                        }
+                        const shown = g.of > 1 ? `${g.label} (${g.votes}/${g.of})` : g.label;
+                        return shown.length > 44 ? shown.slice(0, 41) + '…' : shown;
+                    })(),
+                    verdict,
+                ];
+            });
+            lines.push(markdownTable(headers, tableRows, rightCols));
+            if (content != null && Object.keys(content).length > 0) {
+                const hits = [];
+                for (const r of candidates) {
+                    if (r.artifact != null)
+                        continue;
+                    for (const { key, per } of integerRatios(r.netCount, content)) {
+                        hits.push(`- \`${proseName(r)}\` grew by **${formatNumber(per)} per ${key}** ` +
+                            `(${formatNumber(r.netCount)} / ${formatNumber(content[key])}).`);
+                    }
+                }
+                if (hits.length > 0) {
+                    lines.push('', '### Growth that lands on a whole number per unit of content', '', ...hits, '', '_A clean integer ratio names the leaked UNIT, which a total cannot. It also changes the severity: ' +
+                        'a population that scales with the content the user already has grows with their data, not merely ' +
+                        'with how long they keep the tab open. Confirm by re-driving against an account with a different ' +
+                        'content count — the ratio should hold and the absolute number should not._');
+                }
+            }
+            lines.push('', '_"Top retainer" votes over the class\'s NEWEST instances (highest node ids — V8 allocates ids monotonically, so those are the growth cohort), not over its whole population. ' +
+                'Voting over the population reports whoever holds the MOST instances, which is a large static collection whenever one exists, and is not what grew. ' +
+                'It is a small sample of a heuristic cohort — confirm with `memlab_collection_trend` on the named collection before acting, since a retainer that is itself flat across the ladder contributed none of the growth._');
+            if (retainerSplits.length > 0) {
+                lines.push('', `⚠ **${retainerSplits.length} class(es) where the newest instances and the bulk population have DIFFERENT retainers.** ` +
+                    'That is the signature of a static collection sitting alongside an accumulating one; the newest-instance retainer is the one that grew:', ...retainerSplits.map(s => `- ${s}`));
+            }
+            lines.push('', `**${formatNumber(leakCandidates)} leak candidate(s)** of ${formatNumber(candidates.length)} growing class(es) examined` +
+                (devOnlyClasses > 0
+                    ? `; ${formatNumber(devOnlyClasses)} ruled out as dev/automation-retained`
+                    : '') +
+                (artifactRows.length > 0 && !include_artifacts
+                    ? `; ${formatNumber(artifactRows.length)} known measurement artifact(s) not shown (\`include_artifacts: true\`)`
+                    : '') +
+                '.');
+            if (!showDevOnly) {
+                lines.push('', '_No dev/automation roots were found in the final snapshot, so the dev-only column is omitted — nothing here is being attributed to the inspector._');
+            }
+            // Point at the single next call for the strongest candidate rather than
+            // a menu: the failure mode this tool exists to fix is a plausible
+            // grower being reported without anyone tracing it.
+            const strongest = candidates.find(r => r.artifact == null &&
+                r.trend === 'monotonic-up' &&
+                evidence.get(r.key)?.example != null);
+            if (strongest) {
+                const ev = evidence.get(strongest.key);
+                const example = ev.example;
+                lines.push('', `**Next:** confirm the top candidate before reporting it — \`memlab_retainer_trace({node_id: ${example.id}})\` on the largest traceable \`${proseName(strongest)}\` instance in the final rung, then \`memlab_dominator_chain\` on whatever owns it. Counts alone cannot distinguish a leak from a cache that grew and will be evicted.`);
+            }
+            return toolResult(lines.join('\n'), pathsHeader(steps.map(s => s.label)));
+        }
+        catch (err) {
+            return errorResult(err);
+        }
+    });
+}
+//# sourceMappingURL=leak-report.js.map

package/dist/tools/leak-report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"leak-report.js","sourceRoot":"","sources":["../../src/tools/leak-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,OAAO,EAAC,CAAC,EAAC,MAAM,KAAK,CAAC;AACtB,OAAO,kBAAkB,MAAM,uBAAuB,CAAC;AACvD,MAAM,EAAC,mBAAmB,EAAC,GAAG,kBAAkB,CAAC;AACjD,OAAO,EACL,WAAW,EACX,WAAW,EACX,YAAY,EACZ,aAAa,EACb,WAAW,EACX,UAAU,GACX,MAAM,aAAa,CAAC;AACrB,OAAO,EAAC,aAAa,EAAC,MAAM,wBAAwB,CAAC;AACrD,OAAO,EACL,qBAAqB,EACrB,kBAAkB,GAEnB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,eAAe,EACf,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAC,4BAA4B,EAAC,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAC,oBAAoB,EAAC,MAAM,gBAAgB,CAAC;AAEpD,gFAAgF;AAChF,4EAA4E;AAC5E,6EAA6E;AAC7E,MAAM,qBAAqB,GAAG,CAAC,CAAC;AAChC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAE3B,gFAAgF;AAChF,8EAA8E;AAC9E,iFAAiF;AACjF,4EAA4E;AAC5E,MAAM,cAAc,GAAG,GAAG,CAAC;AAuB3B,0EAA0E;AAC1E,+EAA+E;AAC/E,gFAAgF;AAChF,8EAA8E;AAC9E,SAAS,WAAW,CAAC,GAAiC;IACpD,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,IAAI,GAAG,CAAC;AAClE,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,SAAS,SAAS,CAAC,GAAiC;IAClD,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC1D,OAAO,IAAI,CAAC,MAAM,GAAG,cAAc;QACjC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,GAAG;QACzC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,KAA2B;IAKhD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACpD,UAAU,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,IAAI,GAAG,WAAW,CAAC;IACvB,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,MAAM,EAAE,CAAC;QAChC,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC;YAClB,IAAI,GAAG,KAAK,CAAC;YACb,SAAS,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,EAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAS,cAAc,CAAC,EAAY;IAMlC,MAAM,MAAM,GAAG,aAAa,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,aAAa,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO;QACL,GAAG,MAAM;QACT,eAAe,EACb,MAAM,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW;YACnE,CAAC,CAAC,UAAU,CAAC,KAAK;YAClB,CAAC,CAAC,IAAI;KACX,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAgB,EAChB,OAA+B,EAC/B,SAAS,GAAG,IAAI;IAEhB,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;YAAE,SAAS;QACpD,MAAM,KAAK,GAAG,QAAQ,GAAG,KAAK,CAAC;QAC/B,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACxB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,SAAS,EAAE,CAAC;YAC3D,GAAG,CAAC,IAAI,CAAC,EAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAClD,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,qTAAqT;QACnT,gcAAgc;QAChc,gJAAgJ;QAChJ,qYAAqY,EACvY;QACE,KAAK,EAAE,CAAC;aACL,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aACjB,GAAG,CAAC,CAAC,CAAC;aACN,QAAQ,CACP,uMAAuM,CACxM;QACH,MAAM,EAAE,CAAC;aACN,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,QAAQ,CACP,sNAAsN,CACvN;QACH,OAAO,EAAE,CAAC;aACP,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;aAClB,QAAQ,EAAE;aACV,QAAQ,CACP,0YAA0Y,CAC3Y;QACH,KAAK,EAAE,CAAC;aACL,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,EAAE,CAAC;aACX,QAAQ,CACP,wEAAwE,CACzE;QACH,gBAAgB,EAAE,CAAC;aAChB,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,EAAE,CAAC;aACX,QAAQ,CACP,sFAAsF,CACvF;QACH,cAAc,EAAE,CAAC;aACd,OAAO,EAAE;aACT,QAAQ,EAAE;aACV,OAAO,CAAC,KAAK,CAAC;aACd,QAAQ,CACP,oHAAoH,CACrH;QACH,iBAAiB,EAAE,CAAC;aACjB,OAAO,EAAE;aACT,QAAQ,EAAE;aACV,OAAO,CAAC,KAAK,CAAC;aACd,QAAQ,CACP,wQAAwQ,CACzQ;QACH,gBAAgB,EAAE,CAAC;aAChB,MAAM,EAAE;aACR,QAAQ,EAAE;aACV,QAAQ,CACP,iKAAiK,CAClK;KACJ,EACD,KAAK,EACH,EACE,KAAK,EACL,MAAM,EACN,OAAO,EACP,KAAK,EACL,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,gBAAgB,GACjB,EACD,KAAK,EACL,EAAE;QACF,IAAI,CAAC;YACH,MAAM,EAAC,KAAK,EAAE,IAAI,EAAC,GAAG,MAAM,qBAAqB,CAAC,KAAK,EAAE;gBACvD,cAAc,EAAE,gBAAgB;gBAChC,aAAa,EAAE,cAAc;gBAC7B,aAAa,EAAE,gBAAgB;gBAC/B,QAAQ,EAAE,oBAAoB;gBAC9B,QAAQ,EAAE,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC;aACrD,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;YACvB,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;YAC1D,MAAM,UAAU,GAAkB,CAChC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,CAChE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAElB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,MAAM,KAAK,GAAa;gBACtB,mBAAmB,CAAC,aAAa;gBACjC,EAAE;gBACF,kBAAkB,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,uBAAuB,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,YAAY,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU;gBAClM,EAAE;aACH,CAAC;YACF,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,KAAK,CAAC,IAAI,CACR,8MAA8M,EAC9M,EAAE,CACH,CAAC;YACJ,CAAC;YAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,KAAK,CAAC,IAAI,CACR,oCAAoC,YAAY,CAAC,gBAAgB,CAAC,sEAAsE,CACzI,CAAC;gBACF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC5B,KAAK,CAAC,IAAI,CACR,EAAE,EACF,QAAQ,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC,qGAAqG,CAC/I,CAAC;gBACJ,CAAC;gBACD,OAAO,UAAU,CACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAChB,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACrC,CAAC;YACJ,CAAC;YAED,oEAAoE;YACpE,sEAAsE;YACtE,uEAAuE;YACvE,mBAAmB;YACnB,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACnE,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,OAAO,GACX,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC;gBACpB,CAAC,CAAC,+BAA+B,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBACrD,CAAC,CAAC,IAAI,CAAC;YAEX,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE;oBAClB,KAAK,EAAE,CAAC;oBACR,OAAO,EAAE,CAAC;oBACV,OAAO,EAAE,EAAE;oBACX,MAAM,EAAE,EAAE;oBACV,OAAO,EAAE,IAAI;oBACb,eAAe,EAAE,CAAC,CAAC;oBACnB,UAAU,EAAE,IAAI;iBACjB,CAAC,CAAC;YACL,CAAC;YACD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;gBAC5B,IAAI,IAAI,CAAC,EAAE,IAAI,CAAC;oBAAE,OAAO;gBACzB,sEAAsE;gBACtE,kEAAkE;gBAClE,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CACrB,GAAG,IAAI,CAAC,IAAI,KAAK,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjD,CAAC;gBACF,IAAI,CAAC,EAAE;oBAAE,OAAO;gBAChB,EAAE,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;oBAAE,EAAE,CAAC,OAAO,EAAE,CAAC;gBACnE,IAAI,EAAE,CAAC,UAAU,IAAI,IAAI;oBAAE,EAAE,CAAC,UAAU,GAAG,IAAI,CAAC;gBAChD,IAAI,CAAC,IAAI,CAAC,WAAW;oBAAE,OAAO;gBAC9B,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,GAAG,qBAAqB;oBAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrE,qEAAqE;gBACrE,qEAAqE;gBACrE,+DAA+D;gBAC/D,IACE,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,qBAAqB;oBACxC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAC5C,CAAC;oBACD,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE;wBAAE,CAAC,EAAE,CAAC;oBACnD,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC7B,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,qBAAqB;wBAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;gBAChE,CAAC;gBACD,IAAI,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,eAAe,EAAE,CAAC;oBAC3C,EAAE,CAAC,eAAe,GAAG,IAAI,CAAC,YAAY,CAAC;oBACvC,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC;gBACpB,CAAC;YACH,CAAC,CAAC,CAAC;YACH,yEAAyE;YACzE,+CAA+C;YAC/C,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;gBACnC,IAAI,EAAE,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC;oBACvB,EAAE,CAAC,OAAO,GAAG;wBACX,EAAE,CAAC,OAAO;wBACV,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAM,EAAE,CAAC,OAAqB,CAAC,EAAE,CAAC;qBACjE,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,MAAM,QAAQ,GAAG,MAAM,IAAI,IAAI,IAAI,MAAM,GAAG,CAAC,CAAC;YAC9C,MAAM,WAAW,GAAG,OAAO,IAAI,IAAI,CAAC;YACpC,MAAM,OAAO,GAAG;gBACd,OAAO;gBACP,MAAM;gBACN,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,SAAS;gBACT,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChC,QAAQ;gBACR,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpC,iCAAiC;gBACjC,cAAc;aACf,CAAC;YACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAE9D,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,IAAI,cAAc,GAAG,CAAC,CAAC;YACvB,uEAAuE;YACvE,gEAAgE;YAChE,uEAAuE;YACvE,0BAA0B;YAC1B,MAAM,cAAc,GAAa,EAAE,CAAC;YACpC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAa,CAAC;gBAC3C,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1D,MAAM,SAAS,GAAG,WAAW,IAAI,QAAQ,IAAI,cAAc,CAAC;gBAC5D,IAAI,SAAS;oBAAE,cAAc,EAAE,CAAC;gBAEhC,IAAI,OAAe,CAAC;gBACpB,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;oBACvB,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACtC,CAAC;qBAAM,IAAI,SAAS,EAAE,CAAC;oBACrB,OAAO,GAAG,6CAA6C,CAAC;gBAC1D,CAAC;qBAAM,IAAI,CAAC,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;oBACtC,OAAO,GAAG,+BAA+B,CAAC;oBAC1C,cAAc,EAAE,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACN,OAAO,GAAG,kBAAkB,CAAC;gBAC/B,CAAC;gBAED,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAC7B,OAAO;oBACL,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK;oBACpD,CAAC,CAAC,IAAI;oBACN,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBACrC,IAAI,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE;oBAC9B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAI,MAAiB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnE,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE;oBACvD,GAAG,CAAC,WAAW;wBACb,CAAC,CAAC;4BACE,EAAE,CAAC,KAAK,KAAK,CAAC;gCACZ,CAAC,CAAC,GAAG;gCACL,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,CAAC;oCAChB,CAAC,CAAC,GAAG;oCACL,CAAC,CAAC,GAAG,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;yBACxC;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,CAAC,GAAG,EAAE;wBACJ,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;wBAC7B,IAAI,CAAC,CAAC,eAAe,IAAI,IAAI,EAAE,CAAC;4BAC9B,cAAc,CAAC,IAAI,CACjB,KAAK,KAAK,kBAAkB,CAAC,CAAC,KAAK,+BAA+B,CAAC,CAAC,eAAe,IAAI,CACxF,CAAC;wBACJ,CAAC;wBACD,MAAM,KAAK,GACT,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;wBACzD,OAAO,KAAK,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC9D,CAAC,CAAC,EAAE;oBACJ,OAAO;iBACR,CAAC;YACJ,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YAEzD,IAAI,OAAO,IAAI,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAa,EAAE,CAAC;gBAC1B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI;wBAAE,SAAS;oBACjC,KAAK,MAAM,EAAC,GAAG,EAAE,GAAG,EAAC,IAAI,aAAa,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;wBAC5D,IAAI,CAAC,IAAI,CACP,OAAO,SAAS,CAAC,CAAC,CAAC,gBAAgB,YAAY,CAAC,GAAG,CAAC,QAAQ,GAAG,KAAK;4BAClE,IAAI,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CACnE,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CACR,EAAE,EACF,6DAA6D,EAC7D,EAAE,EACF,GAAG,IAAI,EACP,EAAE,EACF,oGAAoG;wBAClG,mGAAmG;wBACnG,kGAAkG;wBAClG,4EAA4E,CAC/E,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,KAAK,CAAC,IAAI,CACR,EAAE,EACF,+KAA+K;gBAC7K,qJAAqJ;gBACrJ,oNAAoN,CACvN,CAAC;YACF,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CACR,EAAE,EACF,OAAO,cAAc,CAAC,MAAM,4FAA4F;oBACtH,wIAAwI,EAC1I,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CACrC,CAAC;YACJ,CAAC;YAED,KAAK,CAAC,IAAI,CACR,EAAE,EACF,KAAK,YAAY,CAAC,cAAc,CAAC,2BAA2B,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,6BAA6B;gBACtH,CAAC,cAAc,GAAG,CAAC;oBACjB,CAAC,CAAC,KAAK,YAAY,CAAC,cAAc,CAAC,uCAAuC;oBAC1E,CAAC,CAAC,EAAE,CAAC;gBACP,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,iBAAiB;oBAC5C,CAAC,CAAC,KAAK,YAAY,CAAC,YAAY,CAAC,MAAM,CAAC,wEAAwE;oBAChH,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CACN,CAAC;YAEF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CACR,EAAE,EACF,oJAAoJ,CACrJ,CAAC;YACJ,CAAC;YAED,wEAAwE;YACxE,kEAAkE;YAClE,mDAAmD;YACnD,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,CACF,CAAC,CAAC,QAAQ,IAAI,IAAI;gBAClB,CAAC,CAAC,KAAK,KAAK,cAAc;gBAC1B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,IAAI,IAAI,CACvC,CAAC;YACF,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAa,CAAC;gBACnD,MAAM,OAAO,GAAG,EAAE,CAAC,OAAoB,CAAC;gBACxC,KAAK,CAAC,IAAI,CACR,EAAE,EACF,+FAA+F,OAAO,CAAC,EAAE,mCAAmC,SAAS,CAAC,SAAS,CAAC,wKAAwK,CACzU,CAAC;YACJ,CAAC;YAED,OAAO,UAAU,CACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAChB,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACrC,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/tools/load-snapshot.d.ts

@@ -16,6 +16,24 @@ export declare const DEFAULT_MAX_EDGES = 24000000;
 export declare const WARN_NODE_COUNT = 2000000;
 export declare const NODES_PER_HEAP_MB = 1700;
 export declare const EDGES_PER_HEAP_MB = 6800;
+export declare const LOAD_BYTES_PER_NODE = 200;
+export declare const LOAD_BYTES_PER_EDGE = 40;
+export declare const HEADROOM_SAFETY_FRACTION = 0.8;
+/**
+ * Projected additional heap (MB) a full load of this graph will occupy.
+ * Light loads skip the dominator/retained-size arrays; the parsed graph still
+ * dominates, so the discount is modest and intentionally conservative.
+ */
+export declare function estimateLoadHeapMB(counts: {
+    nodeCount: number;
+    edgeCount: number;
+}, light: boolean): number;
+/**
+ * Old-space headroom (MB) left for a new load: the configured limit minus what
+ * is already committed. Returns null when the limit can't be read, in which case
+ * the caller skips the guard rather than guessing.
+ */
+export declare function getHeapHeadroomMB(): number | null;
 /**
  * Configured V8 old-space limit in MB (reflects --max-old-space-size). Returns 0
  * when it can't be read, so callers fall back to the fixed floors.
@@ -66,7 +84,18 @@ export declare function estimateMaxLoadableMB(counts: {
  * Resolve the effective max-file-size limit (MB). An explicit caller value always
  * wins; otherwise default by source — Manifold-fetched server snapshots get the
  * higher ceiling, local files keep the tighter guard.
+ *
+ * Both defaults are floors, not constants. They were sized for a 2 GB default
+ * old-space; on a server started with more heap they refuse files it could
+ * comfortably parse, and the refusal reads like a property of the snapshot
+ * rather than of the server's configuration. A 1.13 GB local browser capture
+ * on an 8 GB server is the case that matters: the guard fired, and the
+ * remedy — repeat the call with an explicit max_file_size_mb — has to be
+ * rediscovered every time, on every subsequent load call in the session.
+ * The cap therefore scales with the configured old-space limit and never
+ * drops below the historical fixed value.
  */
+export declare const FILE_MB_PER_HEAP_MB = 0.25;
 export declare function resolveMaxFileSizeMB(explicit: number | undefined, fetchedFromManifold: boolean): number;
 /**
  * Resolve a `file_path` that may be a local path, a `manifold://bucket/key`

package/dist/tools/load-snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"load-snapshot.d.ts","sourceRoot":"","sources":["../../src/tools/load-snapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,yCAAyC,CAAC;AA4BvE,eAAO,MAAM,uBAAuB,sCAAsC,CAAC;AAU3E,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAC5C,eAAO,MAAM,4BAA4B,OAAO,CAAC;AAmBjD,eAAO,MAAM,iBAAiB,WAAa,CAAC;AAC5C,eAAO,MAAM,iBAAiB,WAAa,CAAC;AAC5C,eAAO,MAAM,eAAe,UAAY,CAAC;AAazC,eAAO,MAAM,iBAAiB,OAAO,CAAC;AACtC,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAEtC;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,MAAM,CAM3C;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,IAAI;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB,CAoBA;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,GAChB;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAgB/C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,EAC9C,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAC,GAC7C,MAAM,GAAG,IAAI,CASf;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,mBAAmB,EAAE,OAAO,GAC3B,MAAM,CAKR;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAsEA;AAmCD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWhE;AAsGD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CAuV5D"}
+{"version":3,"file":"load-snapshot.d.ts","sourceRoot":"","sources":["../../src/tools/load-snapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAC,SAAS,EAAC,MAAM,yCAAyC,CAAC;AAwCvE,eAAO,MAAM,uBAAuB,sCAAsC,CAAC;AAU3E,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAC5C,eAAO,MAAM,4BAA4B,OAAO,CAAC;AAmBjD,eAAO,MAAM,iBAAiB,WAAa,CAAC;AAC5C,eAAO,MAAM,iBAAiB,WAAa,CAAC;AAC5C,eAAO,MAAM,eAAe,UAAY,CAAC;AAazC,eAAO,MAAM,iBAAiB,OAAO,CAAC;AACtC,eAAO,MAAM,iBAAiB,OAAO,CAAC;AAStC,eAAO,MAAM,mBAAmB,MAAM,CAAC;AACvC,eAAO,MAAM,mBAAmB,KAAK,CAAC;AAMtC,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAE5C;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,EAC9C,KAAK,EAAE,OAAO,GACb,MAAM,CAKR;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,IAAI,MAAM,GAAG,IAAI,CAUjD;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,IAAI,MAAM,CAM3C;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,IAAI;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;CACrB,CAoBA;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,GAChB;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAgB/C;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAC,EAC9C,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAC,GAC7C,MAAM,GAAG,IAAI,CASf;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,mBAAmB,OAAO,CAAC;AAExC,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,mBAAmB,EAAE,OAAO,GAC3B,MAAM,CAQR;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG;IACrD,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAsEA;AAmCD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWhE;AAmJD,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,IAAI,CA2iB5D"}