memorydetective 1.12.0 → 1.14.0

package/dist/tools/summarizeTrace.js

@@ -0,0 +1,424 @@
+/**
+ * `summarizeTrace`: the trace-to-summary-card-in-one-call feature.
+ *
+ * Today an agent handed a `.trace` chains inspectTrace + up to 5
+ * analyzers + reasons over tens of KB of JSON. That's 6 round-trips
+ * and ~$0.10-0.20 in tokens, most of which get thrown away after the
+ * agent identifies the one user-visible finding.
+ *
+ * summarizeTrace does it all in one call:
+ *
+ *  1. Inspects the TOC via inspectTrace (reuses the v1.11 path).
+ *  2. For each populated known schema, runs the matching analyzer in
+ *     parallel with smart defaults tuned for "what would a user care
+ *     about?" (Apple's 100ms hitch threshold, top-10 hangs, top-15
+ *     time-profile symbols, etc).
+ *  3. Cross-correlates findings (v1.13 Phase 2): hangs overlapping
+ *     with hitches, allocation spikes preceding hangs, etc.
+ *  4. Produces a structured result PLUS a pre-rendered compact
+ *     markdown card (< 10 KB target) suitable for direct presentation
+ *     to the user without further reasoning.
+ *
+ * Strategic positioning: this is memorydetective's "synthesis over
+ * raw-query" play vs trace-MCPs that go deep on single-schema access.
+ * See `~/Desktop/internal/v1.9-notelet-retro-market.md` §4.5 for the
+ * full framing.
+ */
+import { z } from "zod";
+import { existsSync } from "node:fs";
+import { resolve as resolvePath, basename } from "node:path";
+import { inspectTrace } from "./inspectTrace.js";
+import { analyzeHangs, } from "./analyzeHangs.js";
+import { analyzeAnimationHitches, } from "./analyzeAnimationHitches.js";
+import { analyzeTimeProfile, } from "./analyzeTimeProfile.js";
+import { analyzeAllocations, } from "./analyzeAllocations.js";
+import { analyzeAppLaunch, } from "./analyzeAppLaunch.js";
+export const summarizeTraceSchema = z.object({
+    tracePath: z
+        .string()
+        .min(1)
+        .describe("Absolute path to a `.trace` bundle (output of `xcrun xctrace record` or Instruments)."),
+    focus: z
+        .enum(["hangs", "hitches", "allocations", "launch", "all"])
+        .default("all")
+        .describe("When set to a specific area, the summary card emphasizes that area and downplays others. Useful for piping into more focused agent loops. Default `all`."),
+    verbose: z
+        .boolean()
+        .default(false)
+        .describe("When true, the markdown card includes the full top-N per area (15+ rows per section) instead of the default 5. Trade-off: card grows from <10 KB to potentially 30+ KB."),
+});
+const DEFAULT_HITCH_THRESHOLD_MS = 100; // Apple's user-perceptible threshold.
+const DEFAULT_HANG_MIN_MS = 100;
+const DEFAULT_TOP_N_HANGS = 10;
+const DEFAULT_TOP_N_HITCHES = 10;
+const DEFAULT_TOP_N_TIME_PROFILE = 15;
+const DEFAULT_TOP_N_ALLOCATIONS = 10;
+/**
+ * Build a per-area summary by running an analyzer with smart defaults
+ * and wrapping the outcome (success / schema-absent / failed) into a
+ * status-tagged struct. The schema-absent branch reads the inspectTrace
+ * `rowCounts` so we don't spawn xctrace for empty schemas.
+ */
+async function buildAreaSummary(schemaName, inspection, runner, schemaAbsentDiagnosis) {
+    const rowCount = inspection.rowCounts[schemaName] ?? 0;
+    if (rowCount === 0) {
+        return {
+            status: "schema-absent",
+            diagnosis: schemaAbsentDiagnosis,
+        };
+    }
+    try {
+        const result = await runner();
+        return {
+            status: "ok",
+            diagnosis: `${rowCount.toLocaleString()} rows analyzed.`,
+            result,
+        };
+    }
+    catch (err) {
+        return {
+            status: "failed",
+            diagnosis: `Analyzer failed: ${err instanceof Error ? err.message : String(err)}`,
+        };
+    }
+}
+/**
+ * Pure: detect hangs whose window overlaps with animation hitches.
+ * When a user sees a hang AND a hitch in the same time window,
+ * they almost certainly perceived the impact (the main-thread block
+ * delayed render commits, dropping frames).
+ *
+ * The overlap check is symmetric: a hitch can fall within a hang's
+ * window OR a hang can fall within a hitch's window. Both directions
+ * are treated equally.
+ *
+ * Confidence:
+ *
+ * - `high`: both events >= 250ms AND the overlap span >= 100ms.
+ * - `medium`: at least one event >= 250ms.
+ * - `low`: neither event >= 250ms but the windows touch.
+ *
+ * Results are sorted by `atSec` ascending so the markdown card lists
+ * correlations in trace order.
+ */
+export function correlateHangsAndHitches(hangs, hitches) {
+    const results = [];
+    for (const hang of hangs) {
+        const hangEnd = hang.startNs + hang.durationNs;
+        for (const hitch of hitches) {
+            const hitchEnd = hitch.startNs + hitch.durationNs;
+            // Half-open interval overlap: max(starts) < min(ends).
+            const overlapStart = Math.max(hang.startNs, hitch.startNs);
+            const overlapEnd = Math.min(hangEnd, hitchEnd);
+            if (overlapEnd <= overlapStart)
+                continue;
+            const overlapMs = (overlapEnd - overlapStart) / 1e6;
+            const atSec = Math.min(hang.startNs, hitch.startNs) / 1e9;
+            let confidence;
+            if (hang.durationMs >= 250 &&
+                hitch.durationMs >= 250 &&
+                overlapMs >= 100) {
+                confidence = "high";
+            }
+            else if (hang.durationMs >= 250 || hitch.durationMs >= 250) {
+                confidence = "medium";
+            }
+            else {
+                confidence = "low";
+            }
+            const hitchKind = hitch.hitchType ? `${hitch.hitchType} ` : "";
+            const narrative = `Hang at t=${(hang.startNs / 1e9).toFixed(2)}s (${hang.durationMs.toFixed(0)}ms) overlaps with ${hitchKind}hitch at t=${(hitch.startNs / 1e9).toFixed(2)}s (${hitch.durationMs.toFixed(0)}ms). Main-thread block likely caused the dropped frames.`;
+            results.push({ kind: "hangs+hitches", confidence, narrative, atSec });
+        }
+    }
+    results.sort((a, b) => a.atSec - b.atSec);
+    return results;
+}
+/**
+ * Pure: build all cross-area correlations from per-area summaries.
+ * Currently only `hangs+hitches` produces entries; allocation-based
+ * correlations need per-timestamp allocation data the existing
+ * analyzeAllocations doesn't expose (v1.14+ candidate).
+ */
+export function buildCorrelations(areas) {
+    const hangs = areas.hangs.result?.top ?? [];
+    const hitches = areas.hitches.result?.top ?? [];
+    if (hangs.length === 0 || hitches.length === 0)
+        return [];
+    return correlateHangsAndHitches(hangs, hitches);
+}
+/**
+ * Pure: produce the one-or-two-sentence headline that goes at the top
+ * of the markdown card. Picks the most user-visible finding across
+ * all areas. Order of priority: longest hang above 250ms > worst
+ * launch phase > worst hitch > largest allocation spike.
+ */
+export function buildHeadline(areas) {
+    const hang = areas.hangs.result?.top?.[0];
+    if (hang && hang.durationMs >= 250) {
+        const violation = hang.mainThreadViolations?.[0];
+        const causedBy = violation
+            ? ` (caused by \`${violation.topFrame}\` -> ${violation.kind})`
+            : "";
+        return `${hang.durationMs.toFixed(0)}ms hang at t=${(hang.startNs / 1e9).toFixed(2)}s${causedBy}. Likely user-visible freeze.`;
+    }
+    const launch = areas.appLaunch.result;
+    if (launch && launch.totalLaunchMs > 1000) {
+        return `Launch took ${launch.totalLaunchMs.toFixed(0)}ms (${launch.launchType} launch). Above the 1s user-visible threshold.`;
+    }
+    const hitchesPerceptible = areas.hitches.result?.totals?.perceptible ?? 0;
+    if (hitchesPerceptible > 0) {
+        return `${hitchesPerceptible} animation hitch${hitchesPerceptible === 1 ? "" : "es"} above the 100ms user-perceptible threshold. Investigate render-server commits and main-thread work during scroll.`;
+    }
+    if (hang) {
+        return `${hang.durationMs.toFixed(0)}ms hang at t=${(hang.startNs / 1e9).toFixed(2)}s. Below the 250ms user-visible threshold but still worth investigating.`;
+    }
+    return "No user-perceptible perf events detected in the analyzed schemas.";
+}
+/**
+ * Pure: assemble the compact markdown summary card. Designed to be
+ * <10 KB at default settings. The structured `areas` field carries
+ * the full data for callers who need it; this is the human view.
+ */
+export function buildMarkdownCard(result, verbose) {
+    const sections = [];
+    const inspection = result.inspection;
+    const traceName = basename(result.tracePath);
+    sections.push(`# Trace summary: ${traceName}`);
+    sections.push("");
+    const meta = [];
+    if (inspection.deviceModel)
+        meta.push(inspection.deviceModel);
+    if (inspection.osVersion)
+        meta.push(inspection.osVersion);
+    if (inspection.templateName)
+        meta.push(`Template: \`${inspection.templateName}\``);
+    if (meta.length > 0)
+        sections.push(`**${meta.join("  ·  ")}**`);
+    sections.push("");
+    sections.push(`> **Headline:** ${result.headline}`);
+    sections.push("");
+    const topNHangs = verbose ? DEFAULT_TOP_N_HANGS : 5;
+    const topNHitches = verbose ? DEFAULT_TOP_N_HITCHES : 5;
+    const topNAllocations = verbose ? DEFAULT_TOP_N_ALLOCATIONS : 5;
+    const topNTimeProfile = verbose ? DEFAULT_TOP_N_TIME_PROFILE : 5;
+    // Hangs section.
+    if (result.areas.hangs.status === "ok" && result.areas.hangs.result) {
+        const h = result.areas.hangs.result;
+        const totalHangs = h.totals?.hangs ?? 0;
+        const totalMicrohangs = h.totals?.microhangs ?? 0;
+        const userVisible = (h.top ?? []).filter((e) => e.durationMs >= 250).length;
+        sections.push(`## Hangs (${totalHangs}, ${userVisible} user-visible, ${totalMicrohangs} microhang${totalMicrohangs === 1 ? "" : "s"})`);
+        sections.push("");
+        if ((h.top ?? []).length > 0) {
+            for (const entry of (h.top ?? []).slice(0, topNHangs)) {
+                const at = (entry.startNs / 1e9).toFixed(2);
+                const violation = entry.mainThreadViolations?.[0];
+                const classification = violation
+                    ? ` → ${violation.kind} (\`${violation.topFrame}\`)`
+                    : "";
+                sections.push(`- ${entry.durationMs.toFixed(0)}ms at t=${at}s${classification}`);
+            }
+        }
+        else {
+            sections.push("_No hang events above the minimum threshold._");
+        }
+        sections.push("");
+    }
+    else if (result.areas.hangs.status === "schema-absent") {
+        // Suppressed when no hangs data; reduces card clutter.
+    }
+    else {
+        sections.push(`## Hangs`);
+        sections.push("");
+        sections.push(`_${result.areas.hangs.diagnosis}_`);
+        sections.push("");
+    }
+    // Animation hitches section.
+    if (result.areas.hitches.status === "ok" && result.areas.hitches.result) {
+        const h = result.areas.hitches.result;
+        const totalHitches = h.totals?.rows ?? 0;
+        const perceptible = h.totals?.perceptible ?? 0;
+        sections.push(`## Animation hitches (${totalHitches}, ${perceptible} above 100ms)`);
+        sections.push("");
+        if ((h.top ?? []).length > 0) {
+            sections.push("| At | Duration | Type |");
+            sections.push("|---|---:|---|");
+            for (const entry of (h.top ?? []).slice(0, topNHitches)) {
+                const at = `t=${(entry.startNs / 1e9).toFixed(2)}s`;
+                sections.push(`| ${at} | ${entry.durationMs.toFixed(0)}ms | ${entry.hitchType || "—"} |`);
+            }
+        }
+        sections.push("");
+    }
+    else if (result.areas.hitches.status === "failed") {
+        sections.push(`## Animation hitches`);
+        sections.push("");
+        sections.push(`_${result.areas.hitches.diagnosis}_`);
+        sections.push("");
+    }
+    // Time profile section. analyzeTimeProfile may surface a workaround
+    // notice (xctrace SIGSEGV) via `notice`; we surface it inline so the
+    // summary card flags the partial-data situation.
+    if (result.areas.timeProfile.status === "ok" &&
+        result.areas.timeProfile.result) {
+        const tp = result.areas.timeProfile.result;
+        sections.push(`## Time profile (${tp.totalSamples.toLocaleString()} samples, top ${topNTimeProfile} symbols)`);
+        sections.push("");
+        if (tp.notice) {
+            sections.push(`> _${tp.notice}_`);
+            sections.push("");
+        }
+        const symbols = tp.topSymbols ?? [];
+        if (symbols.length > 0) {
+            for (const s of symbols.slice(0, topNTimeProfile)) {
+                const pct = tp.totalSamples > 0
+                    ? `${((s.samples / tp.totalSamples) * 100).toFixed(1)}%`
+                    : `${s.samples} samples`;
+                sections.push(`- ${pct} \`${s.symbol || "???"}\``);
+            }
+        }
+        else {
+            sections.push("_No symbols above the noise threshold._");
+        }
+        sections.push("");
+    }
+    else if (result.areas.timeProfile.status === "failed") {
+        sections.push(`## Time profile`);
+        sections.push("");
+        sections.push(`_${result.areas.timeProfile.diagnosis}_`);
+        sections.push("");
+    }
+    // Allocations section.
+    if (result.areas.allocations.status === "ok" &&
+        result.areas.allocations.result) {
+        const a = result.areas.allocations.result;
+        const cumulativeBytes = a.totals.cumulativeBytes;
+        const persistentBytes = a.totals.persistentBytes;
+        sections.push(`## Allocations (${(cumulativeBytes / 1024 / 1024).toFixed(1)} MB cumulative, ${(persistentBytes / 1024 / 1024).toFixed(1)} MB persistent)`);
+        sections.push("");
+        const top = a.topByBytes ?? [];
+        if (top.length > 0) {
+            sections.push("| Category | Lifecycle | Bytes (cumulative) | Count |");
+            sections.push("|---|---|---:|---:|");
+            for (const entry of top.slice(0, topNAllocations)) {
+                const mb = (entry.cumulativeBytes / 1024 / 1024).toFixed(2);
+                sections.push(`| \`${entry.category}\` | ${entry.lifecycle} | ${mb} MB | ${entry.cumulativeCount.toLocaleString()} |`);
+            }
+        }
+        sections.push("");
+    }
+    // App launch section.
+    if (result.areas.appLaunch.status === "ok" &&
+        result.areas.appLaunch.result) {
+        const al = result.areas.appLaunch.result;
+        sections.push(`## App launch (${al.launchType}, ${al.totalLaunchMs.toFixed(0)}ms total)`);
+        sections.push("");
+        if ((al.phases ?? []).length > 0) {
+            sections.push("| Phase | Duration | % of total |");
+            sections.push("|---|---:|---:|");
+            for (const p of al.phases ?? []) {
+                sections.push(`| ${p.label || p.phase} | ${p.durationMs.toFixed(0)}ms | ${p.percentOfTotal.toFixed(1)}% |`);
+            }
+        }
+        sections.push("");
+    }
+    // Cross-correlations (v1.13 Phase 2). High and medium go straight
+    // into the card; low-confidence entries collapsed into a single
+    // "plus N more" line to keep the card compact.
+    const correlations = result.correlations ?? [];
+    if (correlations.length > 0) {
+        const highMedium = correlations.filter((c) => c.confidence === "high" || c.confidence === "medium");
+        const low = correlations.filter((c) => c.confidence === "low");
+        if (highMedium.length > 0 || verbose) {
+            sections.push("## Cross-correlations");
+            sections.push("");
+            const visible = verbose ? correlations : highMedium;
+            for (const c of visible) {
+                const confidenceBadge = c.confidence === "high"
+                    ? "**HIGH**"
+                    : c.confidence === "medium"
+                        ? "MEDIUM"
+                        : "low";
+                sections.push(`- (${confidenceBadge}) ${c.narrative}`);
+            }
+            if (!verbose && low.length > 0) {
+                sections.push(`- _${low.length} low-confidence overlap${low.length === 1 ? "" : "s"} omitted; pass \`verbose: true\` to see them._`);
+            }
+            sections.push("");
+        }
+    }
+    // Suggested next calls from inspectTrace (carries them already).
+    if (inspection.suggestedNextCalls.length > 0) {
+        sections.push("## Suggested next calls");
+        sections.push("");
+        for (const call of inspection.suggestedNextCalls.slice(0, 5)) {
+            sections.push(`- \`${call.tool}\` — ${call.why}`);
+        }
+        sections.push("");
+    }
+    return sections.join("\n").trim();
+}
+export async function summarizeTrace(input) {
+    const tracePath = resolvePath(input.tracePath);
+    if (!existsSync(tracePath)) {
+        throw new Error(`Trace bundle not found: ${tracePath}`);
+    }
+    const verbose = input.verbose ?? false;
+    // Step 1: TOC.
+    const inspection = await inspectTrace({ tracePath });
+    // Step 2: chain analyzers in parallel. Each branch is fault-tolerant
+    // via buildAreaSummary so one failure doesn't tank the whole summary.
+    const [hangs, hitches, timeProfile, allocations, appLaunch] = await Promise.all([
+        buildAreaSummary("potential-hangs", inspection, () => analyzeHangs({
+            tracePath,
+            topN: DEFAULT_TOP_N_HANGS,
+            minDurationMs: DEFAULT_HANG_MIN_MS,
+            includeStackClassification: true,
+        }), "potential-hangs schema absent from this trace."),
+        buildAreaSummary("animation-hitches", inspection, () => analyzeAnimationHitches({
+            tracePath,
+            topN: DEFAULT_TOP_N_HITCHES,
+            minDurationMs: DEFAULT_HITCH_THRESHOLD_MS,
+        }), "animation-hitches schema absent from this trace."),
+        buildAreaSummary("time-profile", inspection, () => analyzeTimeProfile({
+            tracePath,
+            topN: DEFAULT_TOP_N_TIME_PROFILE,
+        }), "time-profile schema absent from this trace."),
+        buildAreaSummary("allocations", inspection, () => analyzeAllocations({
+            tracePath,
+            topN: DEFAULT_TOP_N_ALLOCATIONS,
+            minBytes: 0,
+        }), "allocations schema absent from this trace."),
+        buildAreaSummary("app-launch", inspection, () => analyzeAppLaunch({ tracePath }), "app-launch schema absent from this trace."),
+    ]);
+    const areas = {
+        hangs,
+        hitches,
+        timeProfile,
+        allocations,
+        appLaunch,
+    };
+    const correlations = buildCorrelations(areas);
+    const headline = buildHeadline(areas);
+    const base = {
+        ok: true,
+        tracePath,
+        inspection,
+        areas,
+        correlations,
+        headline,
+    };
+    const markdown = buildMarkdownCard(base, verbose);
+    return { ...base, markdown };
+}
+// Helper for tests: ensure the keys in `areas` stay aligned with the
+// implementation. Imported by the test file.
+export const SUMMARIZE_AREA_KEYS = [
+    "hangs",
+    "hitches",
+    "timeProfile",
+    "allocations",
+    "appLaunch",
+];
+//# sourceMappingURL=summarizeTrace.js.map

package/dist/tools/summarizeTrace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"summarizeTrace.js","sourceRoot":"","sources":["../../src/tools/summarizeTrace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,YAAY,EAA2B,MAAM,mBAAmB,CAAC;AAC1E,OAAO,EACL,YAAY,GAEb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,uBAAuB,GAExB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,gBAAgB,GAEjB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,SAAS,EAAE,CAAC;SACT,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,QAAQ,CACP,uFAAuF,CACxF;IACH,KAAK,EAAE,CAAC;SACL,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;SAC1D,OAAO,CAAC,KAAK,CAAC;SACd,QAAQ,CACP,0JAA0J,CAC3J;IACH,OAAO,EAAE,CAAC;SACP,OAAO,EAAE;SACT,OAAO,CAAC,KAAK,CAAC;SACd,QAAQ,CACP,yKAAyK,CAC1K;CACJ,CAAC,CAAC;AAwDH,MAAM,0BAA0B,GAAG,GAAG,CAAC,CAAC,sCAAsC;AAC9E,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAChC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAC/B,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACjC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AACtC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAErC;;;;;GAKG;AACH,KAAK,UAAU,gBAAgB,CAC7B,UAAkB,EAClB,UAA8B,EAC9B,MAA8B,EAC9B,qBAA6B;IAE7B,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,eAAe;YACvB,SAAS,EAAE,qBAAqB;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,IAAI;YACZ,SAAS,EAAE,GAAG,QAAQ,CAAC,cAAc,EAAE,iBAAiB;YACxD,MAAM;SACP,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,oBAAoB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;SAClF,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAyE,EACzE,OAA+F;IAE/F,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC;QAC/C,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC;YAClD,uDAAuD;YACvD,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3D,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;YAC/C,IAAI,UAAU,IAAI,YAAY;gBAAE,SAAS;YACzC,MAAM,SAAS,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC,GAAG,GAAG,CAAC;YACpD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC;YAC1D,IAAI,UAAqC,CAAC;YAC1C,IACE,IAAI,CAAC,UAAU,IAAI,GAAG;gBACtB,KAAK,CAAC,UAAU,IAAI,GAAG;gBACvB,SAAS,IAAI,GAAG,EAChB,CAAC;gBACD,UAAU,GAAG,MAAM,CAAC;YACtB,CAAC;iBAAM,IAAI,IAAI,CAAC,UAAU,IAAI,GAAG,IAAI,KAAK,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;gBAC7D,UAAU,GAAG,QAAQ,CAAC;YACxB,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG,KAAK,CAAC;YACrB,CAAC;YACD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,SAAS,cAAc,CAAC,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,0DAA0D,CAAC;YACtQ,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAoC;IAEpC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC1D,OAAO,wBAAwB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAoC;IAEpC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,GAAG,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,SAAS;YACxB,CAAC,CAAC,iBAAiB,SAAS,CAAC,QAAQ,SAAS,SAAS,CAAC,IAAI,GAAG;YAC/D,CAAC,CAAC,EAAE,CAAC;QACP,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,QAAQ,+BAA+B,CAAC;IACjI,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;IACtC,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,GAAG,IAAI,EAAE,CAAC;QAC1C,OAAO,eAAe,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,UAAU,gDAAgD,CAAC;IAChI,CAAC;IACD,MAAM,kBAAkB,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,IAAI,CAAC,CAAC;IAC1E,IAAI,kBAAkB,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,kBAAkB,mBAAmB,kBAAkB,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,oHAAoH,CAAC;IAC1M,CAAC;IACD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,0EAA0E,CAAC;IAChK,CAAC;IACD,OAAO,mEAAmE,CAAC;AAC7E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAA8C,EAC9C,OAAgB;IAEhB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,IAAI,CAAC,oBAAoB,SAAS,EAAE,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,UAAU,CAAC,WAAW;QAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC9D,IAAI,UAAU,CAAC,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC1D,IAAI,UAAU,CAAC,YAAY;QAAE,IAAI,CAAC,IAAI,CAAC,eAAe,UAAU,CAAC,YAAY,IAAI,CAAC,CAAC;IACnF,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAElB,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,eAAe,GAAG,OAAO,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjE,iBAAiB;IACjB,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QACpC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC;QACxC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,UAAU,IAAI,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC;QAC5E,QAAQ,CAAC,IAAI,CACX,aAAa,UAAU,KAAK,WAAW,kBAAkB,eAAe,aAAa,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CACzH,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBACtD,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,oBAAoB,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM,cAAc,GAAG,SAAS;oBAC9B,CAAC,CAAC,MAAM,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,QAAQ,KAAK;oBACpD,CAAC,CAAC,EAAE,CAAC;gBACP,QAAQ,CAAC,IAAI,CACX,KAAK,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,cAAc,EAAE,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACjE,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QACzD,uDAAuD;IACzD,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,6BAA6B;IAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACxE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QACtC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,WAAW,IAAI,CAAC,CAAC;QAC/C,QAAQ,CAAC,IAAI,CACX,yBAAyB,YAAY,KAAK,WAAW,eAAe,CACrE,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAChC,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;gBACxD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;gBACpD,QAAQ,CAAC,IAAI,CACX,KAAK,EAAE,MAAM,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,SAAS,IAAI,GAAG,IAAI,CAC3E,CAAC;YACJ,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,oEAAoE;IACpE,qEAAqE;IACrE,iDAAiD;IACjD,IACE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI;QACxC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAC/B,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;QAC3C,QAAQ,CAAC,IAAI,CACX,oBAAoB,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,iBAAiB,eAAe,WAAW,CAChG,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;QACD,MAAM,OAAO,GAAG,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,EAAE,CAAC;gBAClD,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,GAAG,CAAC;oBAC7B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;oBACxD,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,UAAU,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,MAAM,IAAI,KAAK,IAAI,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;QAC3D,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;SAAM,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,SAAS,GAAG,CAAC,CAAC;QACzD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,uBAAuB;IACvB,IACE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,IAAI;QACxC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAC/B,CAAC;QACD,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;QAC1C,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QACjD,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QACjD,QAAQ,CAAC,IAAI,CACX,mBAAmB,CAAC,eAAe,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,CAAC,eAAe,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAC5I,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;YACrC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,EAAE,CAAC;gBAClD,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,eAAe,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC5D,QAAQ,CAAC,IAAI,CACX,OAAO,KAAK,CAAC,QAAQ,QAAQ,KAAK,CAAC,SAAS,MAAM,EAAE,SAAS,KAAK,CAAC,eAAe,CAAC,cAAc,EAAE,IAAI,CACxG,CAAC;YACJ,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,sBAAsB;IACtB,IACE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,IAAI;QACtC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAC7B,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QACzC,QAAQ,CAAC,IAAI,CACX,kBAAkB,EAAE,CAAC,UAAU,KAAK,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAC3E,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;YACnD,QAAQ,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACjC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;gBAChC,QAAQ,CAAC,IAAI,CACX,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAC7F,CAAC;YACJ,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,kEAAkE;IAClE,gEAAgE;IAChE,+CAA+C;IAC/C,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IAC/C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,QAAQ,CAC5D,CAAC;QACF,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,KAAK,CAAC,CAAC;QAC/D,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;YACrC,QAAQ,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,eAAe,GACnB,CAAC,CAAC,UAAU,KAAK,MAAM;oBACrB,CAAC,CAAC,UAAU;oBACZ,CAAC,CAAC,CAAC,CAAC,UAAU,KAAK,QAAQ;wBACzB,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,KAAK,CAAC;gBACd,QAAQ,CAAC,IAAI,CAAC,MAAM,eAAe,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CACX,MAAM,GAAG,CAAC,MAAM,0BAA0B,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,gDAAgD,CACtH,CAAC;YACJ,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,IAAI,UAAU,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC7D,QAAQ,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAED,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAA0B;IAE1B,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,2BAA2B,SAAS,EAAE,CAAC,CAAC;IAC1D,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC;IAEvC,eAAe;IACf,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;IAErD,qEAAqE;IACrE,sEAAsE;IACtE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,SAAS,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC9E,gBAAgB,CACd,iBAAiB,EACjB,UAAU,EACV,GAAG,EAAE,CACH,YAAY,CAAC;YACX,SAAS;YACT,IAAI,EAAE,mBAAmB;YACzB,aAAa,EAAE,mBAAmB;YAClC,0BAA0B,EAAE,IAAI;SACjC,CAAC,EACJ,gDAAgD,CACjD;QACD,gBAAgB,CACd,mBAAmB,EACnB,UAAU,EACV,GAAG,EAAE,CACH,uBAAuB,CAAC;YACtB,SAAS;YACT,IAAI,EAAE,qBAAqB;YAC3B,aAAa,EAAE,0BAA0B;SAC1C,CAAC,EACJ,kDAAkD,CACnD;QACD,gBAAgB,CACd,cAAc,EACd,UAAU,EACV,GAAG,EAAE,CACH,kBAAkB,CAAC;YACjB,SAAS;YACT,IAAI,EAAE,0BAA0B;SACjC,CAAC,EACJ,6CAA6C,CAC9C;QACD,gBAAgB,CACd,aAAa,EACb,UAAU,EACV,GAAG,EAAE,CACH,kBAAkB,CAAC;YACjB,SAAS;YACT,IAAI,EAAE,yBAAyB;YAC/B,QAAQ,EAAE,CAAC;SACZ,CAAC,EACJ,4CAA4C,CAC7C;QACD,gBAAgB,CACd,YAAY,EACZ,UAAU,EACV,GAAG,EAAE,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,CAAC,EACrC,2CAA2C,CAC5C;KACF,CAAC,CAAC;IAEH,MAAM,KAAK,GAAkC;QAC3C,KAAK;QACL,OAAO;QACP,WAAW;QACX,WAAW;QACX,SAAS;KACV,CAAC;IACF,MAAM,YAAY,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAEtC,MAAM,IAAI,GAA2C;QACnD,EAAE,EAAE,IAAI;QACR,SAAS;QACT,UAAU;QACV,KAAK;QACL,YAAY;QACZ,QAAQ;KACT,CAAC;IACF,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAElD,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAED,qEAAqE;AACrE,6CAA6C;AAC7C,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,OAAO;IACP,SAAS;IACT,aAAa;IACb,aAAa;IACb,WAAW;CACH,CAAC"}

package/dist/tools/verifyFix.d.ts

@@ -14,21 +14,40 @@ import type { LeaksReport, NextCallSuggestion } from "../types.js";
  * Designed for CI gating: a build script can check `overallVerdict` and
  * fail the merge if the pattern resolved by the PR has regressed.
  */
+/**
+ * v1.14 item M. Default list of classes that legitimately stay alive
+ * across before/after snapshots in normal iOS app activity. Sourced from
+ * DebugSwift's `Performance.LeakDetector.swift` `_ignoredViewControllerClassNames`,
+ * `_ignoredViewClassNames`, and `_ignoredWindowClassNames` curated lists
+ * (FLEXTool fork lineage via Janneman84/LeakedViewControllerDetector).
+ *
+ * When these appear in `regressionClasses[]` we surface them under
+ * `expectedAlive[]` for transparency but don't let them flip the verdict
+ * to FAIL. Users can extend via `expectedAliveClasses` input or disable
+ * with `disableDefaultWhitelist: true` for strict matching.
+ */
+export declare const DEFAULT_EXPECTED_ALIVE_CLASSES: readonly string[];
 export declare const verifyFixSchema: z.ZodObject<{
     before: z.ZodString;
     after: z.ZodString;
     expectedPatternId: z.ZodOptional<z.ZodString>;
+    expectedAliveClasses: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    disableDefaultWhitelist: z.ZodDefault<z.ZodBoolean>;
     verbosity: z.ZodDefault<z.ZodEnum<["compact", "normal", "full"]>>;
 }, "strip", z.ZodTypeAny, {
     verbosity: "compact" | "normal" | "full";
     after: string;
     before: string;
+    disableDefaultWhitelist: boolean;
     expectedPatternId?: string | undefined;
+    expectedAliveClasses?: string[] | undefined;
 }, {
     after: string;
     before: string;
     verbosity?: "compact" | "normal" | "full" | undefined;
     expectedPatternId?: string | undefined;
+    expectedAliveClasses?: string[] | undefined;
+    disableDefaultWhitelist?: boolean | undefined;
 }>;
 export type VerifyFixInput = z.infer<typeof verifyFixSchema>;
 export interface PatternResolution {
@@ -93,6 +112,14 @@ export interface VerifyFixResult {
      * entries of `analyzeAbandonedMemory.actionableGrowth[]`.
      */
     regressionClasses?: AbandonedMemoryEntry[];
+    /**
+     * v1.14+. Class names from the effective whitelist
+     * (DEFAULT_EXPECTED_ALIVE_CLASSES + user-supplied) that DID appear in
+     * the raw regression set before filtering. Surfaced for transparency:
+     * the agent can see which "regressions" were intentionally ignored.
+     * Empty array when nothing was filtered. Absent when no fallback ran.
+     */
+    expectedAlive?: string[];
 }
 /** Pure function: compute verifyFix result from two parsed reports. */
 export declare function verifyFromReports(beforeReport: LeaksReport, afterReport: LeaksReport, beforePath: string, afterPath: string, input: VerifyFixInput): VerifyFixResult;

package/dist/tools/verifyFix.js

@@ -17,6 +17,34 @@ import { analyzeAbandonedMemory, } from "./analyzeAbandonedMemory.js";
  * Designed for CI gating: a build script can check `overallVerdict` and
  * fail the merge if the pattern resolved by the PR has regressed.
  */
+/**
+ * v1.14 item M. Default list of classes that legitimately stay alive
+ * across before/after snapshots in normal iOS app activity. Sourced from
+ * DebugSwift's `Performance.LeakDetector.swift` `_ignoredViewControllerClassNames`,
+ * `_ignoredViewClassNames`, and `_ignoredWindowClassNames` curated lists
+ * (FLEXTool fork lineage via Janneman84/LeakedViewControllerDetector).
+ *
+ * When these appear in `regressionClasses[]` we surface them under
+ * `expectedAlive[]` for transparency but don't let them flip the verdict
+ * to FAIL. Users can extend via `expectedAliveClasses` input or disable
+ * with `disableDefaultWhitelist: true` for strict matching.
+ */
+export const DEFAULT_EXPECTED_ALIVE_CLASSES = [
+    // ViewControllers Apple keeps alive for system functions.
+    "UICompatibilityInputViewController",
+    "_SFAppPasswordSavingViewController",
+    "UIKeyboardHiddenViewController_Save",
+    "_UIAlertControllerTextFieldViewController",
+    "UISystemInputAssistantViewController",
+    "UIPredictionViewController",
+    // Internal views with persistent backing.
+    "PLTileContainerView",
+    "CAMPreviewView",
+    "_UIPointerInteractionAssistantEffectContainerView",
+    // Windows the OS retains.
+    "UIRemoteKeyboardWindow",
+    "UITextEffectsWindow",
+];
 export const verifyFixSchema = z.object({
     before: z
         .string()
@@ -30,6 +58,14 @@ export const verifyFixSchema = z.object({
         .string()
         .optional()
         .describe("If provided, the verdict is gated on whether this specific patternId disappeared from `after`. Defaults to checking every classified pattern."),
+    expectedAliveClasses: z
+        .array(z.string().min(1))
+        .optional()
+        .describe("v1.14+. Class names (substrings) that legitimately stay alive across the before/after snapshots. Singletons, framework registrars, persistent caches. When a class in this list appears in regressionClasses[], it is moved to expectedAlive[] and does not flip the verdict to FAIL. Merged with the curated default list (DebugSwift's ignoredViewControllerClassNames + ignoredViewClassNames + ignoredWindowClassNames) unless `disableDefaultWhitelist: true`."),
+    disableDefaultWhitelist: z
+        .boolean()
+        .default(false)
+        .describe("v1.14+. When true, the curated DEFAULT_EXPECTED_ALIVE_CLASSES list is NOT applied. Only the user-supplied expectedAliveClasses (if any) is used. Useful for strict regression mode in tests where every alive class should be evaluated."),
     verbosity: z
         .enum(["compact", "normal", "full"])
         .default("compact"),
@@ -227,7 +263,30 @@ const ABANDONED_MEMORY_TOPN = 100;
  * Returns null when even the abandoned-memory path can't run (paths
  * inaccessible, etc.); the caller falls back to the cycle-pattern result.
  */
-async function buildAbandonedMemoryFallback(beforePath, afterPath) {
+/**
+ * Build the effective expected-alive whitelist by merging the curated
+ * default list (unless disabled) with the user-supplied set. Returns a
+ * lowercase Set for case-insensitive substring matching. v1.14.
+ */
+function buildExpectedAliveSet(userSupplied, disableDefault) {
+    const base = disableDefault ? [] : DEFAULT_EXPECTED_ALIVE_CLASSES;
+    const all = [...base, ...(userSupplied ?? [])];
+    return new Set(all.map((s) => s.toLowerCase()));
+}
+/**
+ * Returns true when the className matches any entry in the whitelist
+ * (substring match, case-insensitive). v1.14.
+ */
+function isExpectedAlive(className, whitelist) {
+    if (whitelist.size === 0)
+        return false;
+    const lc = className.toLowerCase();
+    for (const w of whitelist)
+        if (lc.includes(w))
+            return true;
+    return false;
+}
+async function buildAbandonedMemoryFallback(beforePath, afterPath, expectedAliveWhitelist) {
     let amResult;
     try {
         amResult = await analyzeAbandonedMemory({
@@ -240,7 +299,20 @@ async function buildAbandonedMemoryFallback(beforePath, afterPath) {
         return null;
     }
     const freedClasses = (amResult.actionableShrinkage ?? []).filter((e) => Math.abs(e.delta) >= ACTIONABLE_DELTA_THRESHOLD);
-    const regressionClasses = (amResult.actionableGrowth ?? []).filter((e) => Math.abs(e.delta) >= ACTIONABLE_DELTA_THRESHOLD);
+    // Partition raw regression set into "really regressed" vs "in the
+    // expected-alive whitelist" so the verdict ignores the latter while
+    // surfacing them on the response for transparency.
+    const rawRegressions = (amResult.actionableGrowth ?? []).filter((e) => Math.abs(e.delta) >= ACTIONABLE_DELTA_THRESHOLD);
+    const regressionClasses = [];
+    const expectedAlive = [];
+    for (const entry of rawRegressions) {
+        if (isExpectedAlive(entry.className, expectedAliveWhitelist)) {
+            expectedAlive.push(entry.className);
+        }
+        else {
+            regressionClasses.push(entry);
+        }
+    }
     // Magnitude check: a fix that frees thousands of instances and incidentally
     // grows a hundred Swift Metadata / pthread_mutex_t / ObjC class table
     // entries (these scale with app activity, not user code) should be PASS,
@@ -292,7 +364,7 @@ async function buildAbandonedMemoryFallback(beforePath, afterPath) {
         diagnosis =
             "No actionable class-count changes between snapshots (|delta| < 10). Either both snapshots are clean or the workflow did not exercise the targeted code.";
     }
-    return { verdict, freedClasses, regressionClasses, diagnosis };
+    return { verdict, freedClasses, regressionClasses, expectedAlive, diagnosis };
 }
 export async function verifyFix(input) {
     const [{ report: beforeReport, resolvedPath: bp }, { report: afterReport, resolvedPath: ap },] = await Promise.all([
@@ -306,11 +378,13 @@ export async function verifyFix(input) {
     // cycle-pattern path takes precedence when patterns DO fire, so this
     // is a strict fallback.
     if (result.patternResolution.length === 0) {
-        const fallback = await buildAbandonedMemoryFallback(input.before, input.after);
+        const whitelist = buildExpectedAliveSet(input.expectedAliveClasses, input.disableDefaultWhitelist ?? false);
+        const fallback = await buildAbandonedMemoryFallback(input.before, input.after, whitelist);
         if (fallback) {
             result.verdictSource = "abandoned-memory";
             result.freedClasses = fallback.freedClasses;
             result.regressionClasses = fallback.regressionClasses;
+            result.expectedAlive = fallback.expectedAlive;
             result.overallVerdict = fallback.verdict;
             result.diagnosis = fallback.diagnosis;
         }