@scriptc/compiler 0.2.9 → 0.3.0

package/ambient/scriptc-node-fallback.d.ts

@@ -15,7 +15,7 @@
  * ambient OR @types/node — see isStdlibFile/isNodeTypesPath), and
  * everything else @types/node declares hits the SC2020-family fence at
  * its use site. scriptc.d.ts holds the always-shipped core (divergence
- * overrides, comptime, __island_eval, setTimeout — which MERGES with
+ * overrides, comptime, setTimeout — which MERGES with
  * @types/node's as an overload instead of colliding). */
 
 /* NodeJS.ErrnoException — the Error shape @types/node attaches to fs and
@@ -608,12 +608,6 @@ declare var TextDecoder: {
   new (label?: string, options?: { fatal?: boolean; ignoreBOM?: boolean }): TextDecoder;
 };
 
-/* The WHATWG event surface (Node globals since v15): declared so the
- * suite's event-plumbing tests typecheck and fence per SITE with the
- * member's own name. The dynamic island's web prelude implements
- * Event/CustomEvent/EventTarget/DOMException/AbortController for real;
- * the static tier has no lowering yet — construction and members fence
- * honestly (SC2020). */
 interface Event {
   readonly type: string;
   readonly bubbles: boolean;
@@ -691,11 +685,6 @@ declare var EventTarget: {
   readonly prototype: EventTarget;
 };
 
-/* MessagePort/MessageChannel — the worker_threads pair Node exposes as
- * globals (v15+). The island's worker_threads shim implements the
- * same-thread subset (postMessage delivers structured-clone copies on a
- * microtask); the web prelude exposes the classes as engine globals.
- * Statically declared-not-lowered: per-site fences. */
 interface MessagePort extends EventTarget {
   postMessage(value: unknown, transferOrOptions?: unknown): void;
   start(): void;
@@ -718,9 +707,6 @@ declare var MessageChannel: {
   readonly prototype: MessageChannel;
 };
 
-/* AbortSignal, the native fetch-cancellation slice. The three statics,
- * state/reason reads, throwIfAborted, and abort listeners all lower in
- * static builds; dynamic builds use the island's Web implementation. */
 interface AbortSignal extends EventTarget {
   readonly aborted: boolean;
   readonly reason: unknown;
@@ -820,7 +806,7 @@ interface Response {
   json(): Promise<unknown>;
   text(): Promise<string>;
   /* The whole body as bytes: bytes() answers a Uint8Array in both tiers.
-   * arrayBuffer() remains dynamic-only because static programs have no
+   * arrayBuffer() remains unsupported because static programs have no
    * free-standing ArrayBuffer representation; the compiler diagnoses its
    * direct use and points at bytes(). */
   arrayBuffer(): Promise<ArrayBuffer>;
@@ -1053,26 +1039,6 @@ declare module "perf_hooks" {
  * performance.now() either way. */
 declare var performance: import("node:perf_hooks").Performance;
 
-/* node:module. createRequire's lowered shape is the version/config-
- * reading pattern real CLIs ship: a const binding over
- * createRequire(import.meta.url) (or __filename) whose require calls
- * take STATIC string literals — the indirection erases at compile time.
- * A builtin spec makes the binding a namespace import in const clothing;
- * relative and package-import program modules use the compiled module
- * graph; a relative .json document bakes and parses (JSON.parse's
- * `unknown` stance — validate with a checked cast); an installed npm
- * package loads through the island's require-condition entry under
- * --dynamic, or through the compiled graph under --npm-static; a bare name
- * nothing installed resolves compiles to Node's catchable MODULE_NOT_FOUND
- * throw (the optional-dependency try/require pattern).
- * Dynamic specifiers fence: a compiled binary's module graph is fixed at
- * build time. builtinModules is the baked Node v24 list (a fresh
- * mutable array per read where Node ships one frozen singleton);
- * isBuiltin checks runtime strings against that pinned list, and
- * syncBuiltinESMExports is a no-op because the static builtin surface is
- * immutable. Both spellings
- * name the builtin, like in Node (the builtin wins over the npm package
- * named "module" for the bare specifier there too). */
 declare module "node:module" {
   export function createRequire(filename: string | URL): ScriptcRequire;
   export const builtinModules: string[];

package/ambient/scriptc-overrides.d.ts

@@ -10,42 +10,18 @@
  * rejected over an override-manufactured error; the affected sites meet the
  * lowerer's honest fences instead (SC1100's checked-cast family for
  * JSON.parse results, the executor fences for Promise shapes). The
- * primitives every world needs (comptime, setTimeout, __island_eval) live
+ * primitives every world needs (comptime, setTimeout) live
  * in scriptc.d.ts, which ships to BOTH programs. */
 
-/* `at(): string`, not the lib's `string | undefined`: undefined is
- * unrepresentable, so an out-of-range at() THROWS a catchable TypeError at
- * the validated island exit instead of returning undefined (documented
- * divergence, SEMANTICS.md). */
 interface String {
   at(index: number): string;
 }
 
-/* Object.values/entries with the actual field-value union, not the lib's
- * `any` (the lib's precise overloads only cover index-signature and
- * ArrayLike sources). A PRECISION override, not a divergence: the lowering
- * emits the field list statically and the values are exactly T[keyof T] —
- * without this the result would be `any`-typed and drag every downstream
- * use into the island. An opaque object has no statically known keys;
- * its actual values remain unknown instead of becoming an impossible
- * never payload. */
 interface ObjectConstructor {
   values<T extends object>(o: T): Array<keyof T extends never ? unknown : T[keyof T]>;
   entries<T extends object>(o: T): Array<[string, keyof T extends never ? unknown : T[keyof T]]>;
 }
 
-/* `parse` returns `unknown`, not the lib's `any` — the dynamic boundary. A
- * checked cast (`JSON.parse(s) as Config`) validates the value against the
- * target type at runtime and THROWS on mismatch — the mechanism that makes
- * trusting TS types sound at data boundaries. Reviver results use the same
- * checked boundary. A function replacer can omit the root, so that form
- * returns string | undefined even though the stock lib promises string.
- *
- * `stringify` takes `unknown`, not the lib's `any`: the same honest
- * surface, but the parameter must not CONTEXTUALLY TYPE literal arguments
- * as `any` (an any-typed slot is the island boundary; `JSON.stringify([1,
- * 2])` must keep building a static array and serializing it
- * type-directedly). */
 interface JSON {
   parse(text: string): unknown;
   parse(text: string, reviver: (this: unknown, key: string, value: unknown) => unknown): unknown;

package/ambient/scriptc.d.ts

@@ -5,7 +5,7 @@
  * without a lowering is a SC2020 diagnostic at its use site. This file
  * declares only what that ES-only library does not:
  *
- * 1. scriptc's own primitives (comptime, __island_eval).
+ * 1. scriptc's own primitives (comptime).
  * 2. The RequestInfo type alias, supplied by the default DOM lib in ordinary
  *    TypeScript projects but absent from @types/node's globals.
  * 3. setTimeout/clearTimeout and the Timeout handle (Node/dyn territory the
@@ -108,11 +108,3 @@ declare function clearTimeout(handle?: Timeout | number | null | undefined): voi
  * baked result is exactly what Node would compute at runtime (the
  * differential harness verifies this with a `comptime = (f) => f()` shim). */
 declare function comptime<T>(compute: () => T): T;
-
-/* INTERNAL TESTING HOOK — not part of the supported surface, deliberately
- * undocumented. Evaluates `code` in the embedded dynamic-island engine and
- * returns String(result); island exceptions arrive as catchable errors.
- * Requires --dynamic (a clean diagnostic otherwise). This exists to prove
- * the engine embed end-to-end in tests; user-facing constructs will lower
- * to the island through their own paths, not through this. */
-declare function __island_eval(code: string): string;

package/dist/backend/cycle-analysis.d.ts

@@ -25,3 +25,59 @@ export declare function computeTraced(mod: IrModule): {
     shapes: Set<string>;
     unions: Set<string>;
 };
+/** Values that can reference any object. */
+export type IntrinsicKind = "func" | "dyn" | "classval" | "promise" | "caught";
+/** Why an edge of the cycle graph exists (explanations only). */
+export type CycleEdgeLabel = 
+/** A field (or union arm) of the owning shape. `mutable` edges can be
+ * stored after the owner's construction; `via` names the container
+ * (`array`, `map`, `set`) the reference sits in, whose contents change. */
+{
+    kind: "field";
+    field: string;
+    mutable: boolean;
+    via?: "array" | "map" | "set";
+}
+/** A union arm. */
+ | {
+    kind: "arm";
+}
+/** A slot of a class type can hold the class itself or a subclass. */
+ | {
+    kind: "subclass";
+    className: string;
+};
+/** One step of a cycle explanation: from a unit (`object:<class>`,
+ * `record:<id>`, `union:<id>`, or `subtree:<class>` for a slot that can
+ * hold any class in a subtree) through an edge. */
+export interface CycleStep {
+    from: string;
+    label: CycleEdgeLabel;
+}
+export type CycleExplanation = 
+/** A cycle through at least one mutable edge: the steps lead from the
+ * explained unit back to it. */
+{
+    kind: "cycle";
+    steps: CycleStep[];
+}
+/** The unit reaches a field that holds a value able to reference any
+ * object (a function, a dynamic or caught value, a class value, a
+ * promise), so it can lie on a cycle through that value. */
+ | {
+    kind: "intrinsic";
+    steps: CycleStep[];
+    owner: string;
+    field: string;
+    holds: IntrinsicKind;
+}
+/** Headers are uniform per class hierarchy: the explained class is
+ * traced because another member of its hierarchy is. */
+ | {
+    kind: "hierarchy";
+    member: string;
+    because: CycleExplanation;
+};
+/** Why computeTraced traces a shape (`object:<class>` or `record:<id>`) or
+ * union (`union:<id>`); null when it is untraced or unknown. */
+export declare function explainCycle(mod: IrModule, key: string): CycleExplanation | null;

package/dist/backend/cycle-analysis.js

@@ -23,6 +23,15 @@ import { computeCycleMutability, fieldKey } from "./cycle-mutability.js";
  * uniform across an extends tree): a unit is cycle-capable iff ANY member
  * is — every backend uses the same grouping. */
 export function computeTraced(mod) {
+    const { shapes, unions } = analyzeCycles(mod, false);
+    return { shapes, unions };
+}
+/** Why computeTraced traces a shape (`object:<class>` or `record:<id>`) or
+ * union (`union:<id>`); null when it is untraced or unknown. */
+export function explainCycle(mod, key) {
+    return analyzeCycles(mod, true).explain(key);
+}
+function analyzeCycles(mod, labels) {
     const classes = mod.classes ?? [];
     // Hierarchy units: root lookup over the base links (classes with a base
     // or a subclass — and the runtime emitter class — form units under their
@@ -45,6 +54,12 @@ export function computeTraced(mod) {
         return cur;
     };
     const unitOfClass = (name) => `object:${rootOf(name)}`;
+    // ProgramLifetime hierarchies (contract types) are never freed: the
+    // collector never walks them, and a garbage cycle cannot
+    // pass through an object that is never freed. They are leaves: no edges
+    // into them, none out of them.
+    const lifetimeRoots = new Set(mod.contracts?.programLifetime ?? []);
+    const programLifetime = (className) => lifetimeRoots.size > 0 && lifetimeRoots.has(rootOf(className));
     const mutability = computeCycleMutability(mod, unitOfClass);
     const shapeDefs = [
         ...classes.map((c) => ({
@@ -68,8 +83,11 @@ export function computeTraced(mod) {
                 : r.fields,
         })),
     ];
-    const node = () => ({
+    const node = (name) => ({
+        name,
         intrinsic: false,
+        labels: labels ? new Map() : null,
+        intrinsicField: null,
         edges: new Map(),
         index: -1,
         low: 0,
@@ -83,9 +101,9 @@ export function computeTraced(mod) {
     // in C's subtree, and of nothing else. Reachability is computed per
     // class; tracing is then decided per hierarchy unit below.
     const shapes = new Map();
-    const unions = new Map((mod.unions ?? []).map((u) => [u.id, node()]));
+    const unions = new Map((mod.unions ?? []).map((u) => [u.id, node(`union:${u.id}`)]));
     for (const s of shapeDefs)
-        shapes.set(s.key, node());
+        shapes.set(s.key, node(s.key));
     const children = new Map();
     for (const c of classes)
         if (c.base !== undefined && shapes.has(`object:${c.base}`)) {
@@ -96,15 +114,18 @@ export function computeTraced(mod) {
         }
     // Created up front and linked without recursion (hierarchies can be
     // thousands deep).
-    const subtrees = new Map([...children.keys()].map((name) => [name, node()]));
+    const subtrees = new Map([...children.keys()].map((name) => [name, node(`subtree:${name}`)]));
     const subtreeOf = (className) => subtrees.get(className) ?? shapes.get(`object:${className}`);
     for (const [name, sub] of subtrees) {
         sub.edges.set(shapes.get(`object:${name}`), false);
-        for (const kid of children.get(name))
+        sub.labels?.set(shapes.get(`object:${name}`), { kind: "subclass", className: name });
+        for (const kid of children.get(name)) {
             sub.edges.set(subtreeOf(kid), false);
+            sub.labels?.set(subtreeOf(kid), { kind: "subclass", className: kid });
+        }
     }
     // Each field/arm is an OR of intrinsic capability and referenced nodes.
-    const addType = (from, t, mutable) => {
+    const addType = (from, t, mutable, label = null) => {
         if (from.intrinsic)
             return;
         switch (t.kind) {
@@ -115,40 +136,58 @@ export function computeTraced(mod) {
             case "caught":
                 from.intrinsic = true;
                 from.edges.clear();
+                if (from.labels !== null) {
+                    from.labels.clear();
+                    from.intrinsicField = {
+                        field: label?.kind === "field" ? label.field : "",
+                        holds: t.kind,
+                    };
+                }
                 break;
             case "object":
             case "record":
             case "union": {
+                if (t.kind === "object" && programLifetime(t.className))
+                    break;
                 const dependency = t.kind === "union"
                     ? unions.get(t.unionId)
                     : t.kind === "object"
                         ? subtreeOf(t.className)
                         : shapes.get(`record:${t.shapeId}`);
-                if (dependency)
-                    from.edges.set(dependency, (from.edges.get(dependency) ?? false) || mutable);
+                if (dependency) {
+                    const before = from.edges.get(dependency);
+                    from.edges.set(dependency, (before ?? false) || mutable);
+                    if (from.labels !== null &&
+                        label !== null &&
+                        (before === undefined || (!before && mutable)))
+                        from.labels.set(dependency, label.kind === "field" ? { ...label, mutable: label.mutable || mutable } : label);
+                }
                 break;
             }
             case "map":
-                addType(from, t.key, true);
-                addType(from, t.value, true);
+                addType(from, t.key, true, label?.kind === "field" ? { ...label, via: "map" } : label);
+                addType(from, t.value, true, label?.kind === "field" ? { ...label, via: "map" } : label);
                 break;
             case "set":
             case "array":
-                addType(from, t.elem, true);
+                addType(from, t.elem, true, label?.kind === "field" ? { ...label, via: t.kind } : label);
                 break;
         }
     };
     for (const s of shapeDefs) {
+        if (s.key.startsWith("object:") && programLifetime(s.key.slice("object:".length)))
+            continue;
         const unitMutable = mutability.all || mutability.units.has(s.unit);
         for (const field of s.fields) {
             if (mutability.emptyPropertyBags && field.name === DYN_CLASS_PROPERTIES)
                 continue;
-            addType(shapes.get(s.key), field.type, unitMutable || mutability.fields.has(fieldKey(s.unit, field.name)));
+            const mutable = unitMutable || mutability.fields.has(fieldKey(s.unit, field.name));
+            addType(shapes.get(s.key), field.type, mutable, labels ? { kind: "field", field: field.name, mutable } : null);
         }
     }
     for (const u of mod.unions ?? [])
         for (const arm of u.arms)
-            addType(unions.get(u.id), arm, mutability.all);
+            addType(unions.get(u.id), arm, mutability.all, labels ? { kind: "arm" } : null);
     // Tarjan's strongly connected components, iteratively (shape chains can
     // be thousands deep).
     const all = [...shapes.values(), ...subtrees.values(), ...unions.values()];
@@ -233,6 +272,128 @@ export function computeTraced(mod) {
             tracedUnits.add(s.unit);
     const tracedShapes = new Set(shapeDefs.filter((s) => tracedUnits.has(s.unit)).map((s) => s.key));
     const tracedUnions = new Set([...unions].filter(([, n]) => n.traced).map(([id]) => id));
-    return { shapes: tracedShapes, unions: tracedUnions };
+    /** Shortest path from `start` to a node satisfying `goal`, following
+     * only edges `allow` admits. The steps exclude the goal itself. */
+    const path = (start, goal, allow) => {
+        const previous = new Map([[start, null]]);
+        const queue = [start];
+        for (let i = 0; i < queue.length; i++) {
+            const n = queue[i];
+            if (goal(n)) {
+                const steps = [];
+                for (let at = n, from = previous.get(n); from !== null; at = from, from = previous.get(from))
+                    steps.unshift({ from: from.name, label: from.labels?.get(at) ?? { kind: "arm" } });
+                return { steps, end: n };
+            }
+            for (const next of n.edges.keys())
+                if (!previous.has(next) && allow(n, next)) {
+                    previous.set(next, n);
+                    queue.push(next);
+                }
+        }
+        return null;
+    };
+    /** BFS distances from `start` over `next` within one component; `via`
+     * is the neighbor one step closer to `start`. */
+    const distances = (start, next, component) => {
+        const seen = new Map([
+            [start, { distance: 0, via: null }],
+        ]);
+        const queue = [start];
+        for (let i = 0; i < queue.length; i++) {
+            const at = queue[i];
+            const distance = seen.get(at).distance + 1;
+            for (const m of next(at))
+                if (m.component === component && !seen.has(m)) {
+                    seen.set(m, { distance, via: at });
+                    queue.push(m);
+                }
+        }
+        return seen;
+    };
+    const explainNode = (n) => {
+        if (!n.traced)
+            return null;
+        const component = n.component;
+        const inside = (_from, to) => to.component === component;
+        const intrinsic = (target, steps) => ({
+            kind: "intrinsic",
+            steps,
+            owner: target.name,
+            field: target.intrinsicField?.field ?? "",
+            holds: target.intrinsicField?.holds ?? "dyn",
+        });
+        if (componentCapable[component]) {
+            const members = all.filter((m) => m.component === component);
+            const lead = members.find((m) => m.intrinsic);
+            if (lead !== undefined) {
+                const found = path(n, (m) => m === lead, inside);
+                if (found)
+                    return intrinsic(lead, found.steps);
+            }
+            // The shortest cycle through `n` and a mutable internal edge: BFS
+            // distances from `n` forward and to `n` backward, within the component.
+            const forward = distances(n, (m) => [...m.edges.keys()], component);
+            const backward = distances(n, (m) => m.reverse, component);
+            let best = null;
+            for (const from of members) {
+                const there = forward.get(from);
+                if (there === undefined)
+                    continue;
+                for (const [to, mutable] of from.edges) {
+                    const back = backward.get(to);
+                    if (!mutable || back === undefined)
+                        continue;
+                    const length = there.distance + 1 + back.distance;
+                    if (best === null || length < best.length)
+                        best = { from, to, length };
+                }
+            }
+            if (best !== null) {
+                const steps = [];
+                for (let at = best.from; at !== n;) {
+                    const previous = forward.get(at).via;
+                    steps.unshift({
+                        from: previous.name,
+                        label: previous.labels?.get(at) ?? { kind: "arm" },
+                    });
+                    at = previous;
+                }
+                steps.push({
+                    from: best.from.name,
+                    label: best.from.labels?.get(best.to) ?? { kind: "arm" },
+                });
+                for (let at = best.to; at !== n;) {
+                    const next = backward.get(at).via;
+                    steps.push({ from: at.name, label: at.labels?.get(next) ?? { kind: "arm" } });
+                    at = next;
+                }
+                return { kind: "cycle", steps };
+            }
+        }
+        const found = path(n, (m) => m.intrinsic, () => true);
+        return found ? intrinsic(found.end, found.steps) : null;
+    };
+    const explain = (key) => {
+        const unionId = key.startsWith("union:") ? key.slice("union:".length) : null;
+        const n = unionId !== null ? unions.get(unionId) : shapes.get(key);
+        if (n === undefined)
+            return null;
+        const own = explainNode(n);
+        if (own !== null || unionId !== null)
+            return own;
+        const def = shapeDefs.find((d) => d.key === key);
+        if (def === undefined || !tracedUnits.has(def.unit))
+            return null;
+        for (const other of shapeDefs) {
+            if (other.unit !== def.unit || other.key === key)
+                continue;
+            const because = explainNode(shapes.get(other.key));
+            if (because !== null)
+                return { kind: "hierarchy", member: other.key, because };
+        }
+        return null;
+    };
+    return { shapes: tracedShapes, unions: tracedUnions, explain };
 }
 //# sourceMappingURL=cycle-analysis.js.map

package/dist/backend/cycle-analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"cycle-analysis.js","sourceRoot":"","sources":["../../src/backend/cycle-analysis.ts"],"names":[],"mappings":"AACA,OAAO,EACL,oBAAoB,EACpB,MAAM,EACN,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,IAAI,GACL,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;gDAqBgD;AAChD,MAAM,UAAU,aAAa,CAAC,GAAa;IACzC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;IAClC,wEAAwE;IACxE,yEAAyE;IACzE,8DAA8D;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAU,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;QACtC,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM;YAC/C,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACvE,MAAM,UAAU,GAAG,sBAAsB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG;QAChB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrB,GAAG,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE;YACvB,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YACzB,MAAM,EAAE;gBACN,GAAG,CAAC,CAAC,MAAM;gBACX,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB;oBAClC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;oBACnD,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS;oBAC/B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC/E,CAAC,CAAC,EAAE,CAAC;aACR;SACF,CAAC,CAAC;QACH,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE;YACrB,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,CAAC,CAAC,UAAU;gBAClB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1E,CAAC,CAAC,CAAC,CAAC,MAAM;SACb,CAAC,CAAC;KACJ,CAAC;IAYF,MAAM,IAAI,GAAG,GAAS,EAAE,CAAC,CAAC;QACxB,SAAS,EAAE,KAAK;QAChB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC;QACT,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,CAAC;QACb,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,oEAAoE;IACpE,wEAAwE;IACxE,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACtE,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3D,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,oEAAoE;IACpE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAU,CAAC,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG,CAAC,SAAiB,EAAoB,EAAE,CACxD,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QACnC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAE,EAAE,KAAK,CAAC,CAAC;QACpD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE;YAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAE,EAAE,KAAK,CAAC,CAAC;IAC/E,CAAC;IACD,wEAAwE;IACxE,MAAM,OAAO,GAAG,CAAC,IAAU,EAAE,CAAS,EAAE,OAAgB,EAAQ,EAAE;QAChE,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO;QAC3B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC;YACZ,KAAK,KAAK,CAAC;YACX,KAAK,UAAU,CAAC;YAChB,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBACnB,MAAM;YACR,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,EAAE,CAAC;gBACb,MAAM,UAAU,GACd,CAAC,CAAC,IAAI,KAAK,OAAO;oBAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBACvB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;wBACnB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;wBACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC1C,IAAI,UAAU;oBACZ,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;gBAC/E,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAC3B,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;gBAC7B,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,OAAO;gBACV,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC5B,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,UAAU,CAAC,iBAAiB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB;gBAAE,SAAS;YAClF,OAAO,CACL,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,EAClB,KAAK,CAAC,IAAI,EACV,WAAW,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CACnE,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;QAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;YAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IAE5E,wEAAwE;IACxE,sBAAsB;IACtB,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,gBAAgB,GAAc,EAAE,CAAC;IACvC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,IAAI,GAA2C,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAQ,EAAE;YAC9B,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,SAAS,EAAE,CAAC;YAC9B,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC;QACF,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACrC,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAE,CAAC;gBACjC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;qBACrB,IAAI,CAAC,CAAC,OAAO;oBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjE,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;YAClB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK;gBAAE,SAAS;YAChC,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC;YACnC,MAAM,OAAO,GAAW,EAAE,CAAC;YAC3B,IAAI,MAAY,CAAC;YACjB,GAAG,CAAC;gBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACtB,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;gBACvB,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC,QAAQ,MAAM,KAAK,CAAC,EAAE;YACvB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,SAAS;oBAAE,OAAO,GAAG,IAAI,CAAC;gBAChC,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK;oBACzC,IAAI,OAAO,IAAI,UAAU,CAAC,SAAS,KAAK,EAAE;wBAAE,OAAO,GAAG,IAAI,CAAC;YAC/D,CAAC;YACD,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,yEAAyE;IACzE,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,oEAAoE;IACpE,2DAA2D;IAC3D,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;YAC5C,IAAI,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC9C,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,CAAC,CAAC,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAE,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1F,0EAA0E;IAC1E,mBAAmB;IACnB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC,MAAM;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxF,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;AACxD,CAAC"}
+{"version":3,"file":"cycle-analysis.js","sourceRoot":"","sources":["../../src/backend/cycle-analysis.ts"],"names":[],"mappings":"AACA,OAAO,EACL,oBAAoB,EACpB,MAAM,EACN,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,IAAI,GACL,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEzE;;;;;;;;;;;;;;;;;;;;;gDAqBgD;AAChD,MAAM,UAAU,aAAa,CAAC,GAAa;IACzC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;AAC5B,CAAC;AA0CD;gEACgE;AAChE,MAAM,UAAU,YAAY,CAAC,GAAa,EAAE,GAAW;IACrD,OAAO,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,aAAa,CACpB,GAAa,EACb,MAAe;IAMf,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;IAClC,wEAAwE;IACxE,yEAAyE;IACzE,8DAA8D;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAU,CAAC,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;QACtC,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACf,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM;YAC/C,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC;QAC5B,KAAK,MAAM,MAAM,IAAI,IAAI;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAClD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,UAAU,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;IACvE,oEAAoE;IACpE,yDAAyD;IACzD,wEAAwE;IACxE,+BAA+B;IAC/B,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,CAAC,SAAiB,EAAW,EAAE,CACrD,aAAa,CAAC,IAAI,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,sBAAsB,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG;QAChB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrB,GAAG,EAAE,UAAU,CAAC,CAAC,IAAI,EAAE;YACvB,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YACzB,MAAM,EAAE;gBACN,GAAG,CAAC,CAAC,MAAM;gBACX,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,qBAAqB;oBAClC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC;oBACnD,CAAC,CAAC,EAAE,CAAC;gBACP,GAAG,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS;oBAC/B,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBAC/E,CAAC,CAAC,EAAE,CAAC;aACR;SACF,CAAC,CAAC;QACH,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE;YACrB,IAAI,EAAE,UAAU,CAAC,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,CAAC,CAAC,UAAU;gBAClB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC1E,CAAC,CAAC,CAAC,CAAC,MAAM;SACb,CAAC,CAAC;KACJ,CAAC;IAkBF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE,CAAC,CAAC;QACpC,IAAI;QACJ,SAAS,EAAE,KAAK;QAChB,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI;QACjC,cAAc,EAAE,IAAI;QACpB,KAAK,EAAE,IAAI,GAAG,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC;QACT,GAAG,EAAE,CAAC;QACN,OAAO,EAAE,KAAK;QACd,SAAS,EAAE,CAAC,CAAC;QACb,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,KAAK;KACd,CAAC,CAAC;IACH,oEAAoE;IACpE,wEAAwE;IACxE,oEAAoE;IACpE,2DAA2D;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,OAAO;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC3D,IAAI,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;IACH,oEAAoE;IACpE,mBAAmB;IACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAU,CAAC,CAC7E,CAAC;IACF,MAAM,SAAS,GAAG,CAAC,SAAiB,EAAoB,EAAE,CACxD,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,UAAU,SAAS,EAAE,CAAC,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QACnC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAE,EAAE,KAAK,CAAC,CAAC;QACpD,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YACtC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAE,EAAE,KAAK,CAAC,CAAC;YACtC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,wEAAwE;IACxE,MAAM,OAAO,GAAG,CACd,IAAU,EACV,CAAS,EACT,OAAgB,EAChB,KAAK,GAA0B,IAAI,EAC7B,EAAE;QACR,IAAI,IAAI,CAAC,SAAS;YAAE,OAAO;QAC3B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC;YACZ,KAAK,KAAK,CAAC;YACX,KAAK,UAAU,CAAC;YAChB,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ;gBACX,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBACnB,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;oBACzB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;oBACpB,IAAI,CAAC,cAAc,GAAG;wBACpB,KAAK,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE;wBACjD,KAAK,EAAE,CAAC,CAAC,IAAI;qBACd,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,OAAO,EAAE,CAAC;gBACb,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;oBAAE,MAAM;gBAC/D,MAAM,UAAU,GACd,CAAC,CAAC,IAAI,KAAK,OAAO;oBAChB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;oBACvB,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ;wBACnB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;wBACxB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC1C,IAAI,UAAU,EAAE,CAAC;oBACf,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBAC1C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;oBACzD,IACE,IAAI,CAAC,MAAM,KAAK,IAAI;wBACpB,KAAK,KAAK,IAAI;wBACd,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;wBAE9C,IAAI,CAAC,MAAM,CAAC,GAAG,CACb,UAAU,EACV,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC,KAAK,CACjF,CAAC;gBACN,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACvF,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACzF,MAAM;YACR,KAAK,KAAK,CAAC;YACX,KAAK,OAAO;gBACV,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACzF,MAAM;QACV,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAAE,SAAS;QAC5F,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,UAAU,CAAC,iBAAiB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB;gBAAE,SAAS;YAClF,MAAM,OAAO,GAAG,WAAW,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACnF,OAAO,CACL,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,EAClB,KAAK,CAAC,IAAI,EACV,OAAO,EACP,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAC9D,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE;QAC9B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI;YACtB,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAErF,wEAAwE;IACxE,sBAAsB;IACtB,MAAM,GAAG,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,gBAAgB,GAAc,EAAE,CAAC;IACvC,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,IAAI,GAA2C,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,CAAO,EAAQ,EAAE;YAC9B,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,GAAG,SAAS,EAAE,CAAC;YAC9B,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC,CAAC;QACF,KAAK,CAAC,KAAK,CAAC,CAAC;QACb,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC;YACrC,IAAI,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAE,CAAC;gBACjC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;oBAAE,KAAK,CAAC,CAAC,CAAC,CAAC;qBACrB,IAAI,CAAC,CAAC,OAAO;oBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;gBACjE,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACX,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;YAClB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,CAAC,CAAC;gBACxC,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YAC3C,CAAC;YACD,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK;gBAAE,SAAS;YAChC,MAAM,EAAE,GAAG,gBAAgB,CAAC,MAAM,CAAC;YACnC,MAAM,OAAO,GAAW,EAAE,CAAC;YAC3B,IAAI,MAAY,CAAC;YACjB,GAAG,CAAC;gBACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;gBACtB,MAAM,CAAC,OAAO,GAAG,KAAK,CAAC;gBACvB,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvB,CAAC,QAAQ,MAAM,KAAK,CAAC,EAAE;YACvB,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,IAAI,CAAC,CAAC,SAAS;oBAAE,OAAO,GAAG,IAAI,CAAC;gBAChC,KAAK,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK;oBACzC,IAAI,OAAO,IAAI,UAAU,CAAC,SAAS,KAAK,EAAE;wBAAE,OAAO,GAAG,IAAI,CAAC;YAC/D,CAAC;YACD,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,yEAAyE;IACzE,wEAAwE;IACxE,uEAAuE;IACvE,0EAA0E;IAC1E,oEAAoE;IACpE,2DAA2D;IAC3D,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,KAAK,MAAM,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;YAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,CAAC,GAAG,gBAAgB,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC;YAC5C,IAAI,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YAC9C,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG;QAAE,CAAC,CAAC,MAAM,GAAG,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAE,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1F,0EAA0E;IAC1E,mBAAmB;IACnB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC,MAAM;YAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAClF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAExF;uEACmE;IACnE,MAAM,IAAI,GAAG,CACX,KAAW,EACX,IAA0B,EAC1B,KAAwC,EACE,EAAE;QAC5C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAoB,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAgB,EAAE,CAAC;gBAC9B,KACE,IAAI,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAE,EACnC,IAAI,KAAK,IAAI,EACb,EAAE,GAAG,IAAI,EAAE,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAE;oBAErC,KAAK,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBACrF,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAC3B,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;gBAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;oBAC1C,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF;qDACiD;IACjD,MAAM,SAAS,GAAG,CAChB,KAAW,EACX,IAAkC,EAClC,SAAiB,EACkC,EAAE;QACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAA+C;YACjE,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;SACpC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,QAAQ,GAAG,CAAC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;gBACtB,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9C,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;oBACnC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAO,EAA2B,EAAE;QACvD,IAAI,CAAC,CAAC,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC3B,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;QAC9B,MAAM,MAAM,GAAG,CAAC,KAAW,EAAE,EAAQ,EAAW,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC;QAC9E,MAAM,SAAS,GAAG,CAAC,MAAY,EAAE,KAAkB,EAAoB,EAAE,CAAC,CAAC;YACzE,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,KAAK,EAAE,MAAM,CAAC,IAAI;YAClB,KAAK,EAAE,MAAM,CAAC,cAAc,EAAE,KAAK,IAAI,EAAE;YACzC,KAAK,EAAE,MAAM,CAAC,cAAc,EAAE,KAAK,IAAI,KAAK;SAC7C,CAAC,CAAC;QACH,IAAI,gBAAgB,CAAC,SAAS,CAAE,EAAE,CAAC;YACjC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;YAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAC9C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,MAAM,CAAC,CAAC;gBACjD,IAAI,KAAK;oBAAE,OAAO,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACjD,CAAC;YACD,kEAAkE;YAClE,wEAAwE;YACxE,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;YACpE,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAC3D,IAAI,IAAI,GAAoD,IAAI,CAAC;YACjE,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAChC,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS;gBAClC,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC9B,IAAI,CAAC,OAAO,IAAI,IAAI,KAAK,SAAS;wBAAE,SAAS;oBAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;oBAClD,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM;wBAAE,IAAI,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;gBACzE,CAAC;YACH,CAAC;YACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,MAAM,KAAK,GAAgB,EAAE,CAAC;gBAC9B,KAAK,IAAI,EAAE,GAAS,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC;oBACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,GAAI,CAAC;oBACvC,KAAK,CAAC,OAAO,CAAC;wBACZ,IAAI,EAAE,QAAQ,CAAC,IAAI;wBACnB,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;qBACnD,CAAC,CAAC;oBACH,EAAE,GAAG,QAAQ,CAAC;gBAChB,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC;oBACT,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACpB,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;iBACzD,CAAC,CAAC;gBACH,KAAK,IAAI,EAAE,GAAS,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC;oBACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,GAAI,CAAC;oBACpC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;oBAC9E,EAAE,GAAG,IAAI,CAAC;gBACZ,CAAC;gBACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAChB,CAAC,EACD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAClB,GAAG,EAAE,CAAC,IAAI,CACX,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1D,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,GAAW,EAA2B,EAAE;QACvD,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7E,MAAM,CAAC,GAAG,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnE,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACjC,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,GAAG,CAAC;QACjD,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;QACjD,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACjE,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG;gBAAE,SAAS;YAC3D,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAE,CAAC,CAAC;YACpD,IAAI,OAAO,KAAK,IAAI;gBAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC;QACjF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC;AACjE,CAAC"}

package/dist/backend/cycle-analysis.test.js

@@ -1,11 +1,11 @@
 import { expect, test } from "vitest";
 import { DYN, F64, STRING, VOID, RUNTIME_EMITTER_CLASS, arrayOf, funcOf, mapOf, setOf, } from "../ir/ir.js";
-import { computeTraced } from "./cycle-analysis.js";
+import { computeTraced, explainCycle } from "./cycle-analysis.js";
 import { computeTraced as llvmTraced } from "./llvm/shapes.js";
 const loc = { file: "cycles.ts", start: 0, end: 1 };
 function module() {
     return {
-        irVersion: 15,
+        irVersion: 16,
         sourceFile: loc.file,
         entry: "main",
         functions: [{ name: "main", locals: [], params: [], returnType: VOID, body: [], loc }],
@@ -615,4 +615,97 @@ test("library builds keep the mutable-graph analysis", () => {
     mod.lib = {};
     checkExact(mod, ["object:Tree"], ["link"]);
 });
+test("ProgramLifetime hierarchies are leaves: never traced and never closing a cycle", () => {
+    const mod = module();
+    const node = { kind: "object", className: "Node" };
+    const sym = { kind: "object", className: "Sym" };
+    const scope = { kind: "object", className: "Scope" };
+    mod.classes = [
+        {
+            name: "Node",
+            loc,
+            fields: [
+                { name: "parent", type: node },
+                { name: "symbol", type: sym },
+                { name: "visit", type: funcOf([], VOID) },
+            ],
+        },
+        { name: "Name", loc, base: "Node", fields: [{ name: "text", type: STRING }] },
+        { name: "Sym", loc, fields: [{ name: "declarations", type: arrayOf(node) }] },
+        {
+            name: "Scope",
+            loc,
+            fields: [
+                { name: "parent", type: scope },
+                { name: "symbols", type: mapOf(STRING, sym) },
+            ],
+        },
+    ];
+    mod.records = [shape("holder", [arrayOf(node), mapOf(STRING, sym)])];
+    // Without the contract the intrinsic callback field makes everything that
+    // reaches Node traced.
+    check(mod, ["object:Node", "object:Name", "object:Sym", "object:Scope", "record:holder"]);
+    // With it, Node and Sym are never freed: edges into them cannot close a
+    // garbage cycle, and the collector never walks their fields. Only the
+    // mortal Scope cycle remains.
+    mod.contracts = { programLifetime: ["Node", "Sym"] };
+    check(mod, ["object:Scope"]);
+});
+test("explanations name a cycle through a mutable edge, or the intrinsic field reached", () => {
+    const mod = module();
+    mod.records = [
+        shape("outer", [ref("a")]),
+        shape("a", [ref("b"), F64]),
+        shape("b", [ref("a")]),
+        shape("holder", [ref("callback")]),
+        shape("callback", [funcOf([], F64)]),
+        shape("items", [arrayOf(ref("items"))]),
+    ];
+    const mutated = withWrites(mod);
+    expect(explainCycle(mutated, "record:outer")).toBeNull();
+    expect(explainCycle(mutated, "record:a")).toEqual({
+        kind: "cycle",
+        steps: [
+            { from: "record:a", label: { kind: "field", field: "field0", mutable: true } },
+            { from: "record:b", label: { kind: "field", field: "field0", mutable: true } },
+        ],
+    });
+    expect(explainCycle(mutated, "record:holder")).toEqual({
+        kind: "intrinsic",
+        steps: [{ from: "record:holder", label: { kind: "field", field: "field0", mutable: true } }],
+        owner: "record:callback",
+        field: "field0",
+        holds: "func",
+    });
+    // Without writes, only the array keeps its cycle: containers are mutable.
+    expect(explainCycle(mod, "record:a")).toBeNull();
+    expect(explainCycle(mod, "record:items")).toEqual({
+        kind: "cycle",
+        steps: [
+            {
+                from: "record:items",
+                label: { kind: "field", field: "field0", mutable: true, via: "array" },
+            },
+        ],
+    });
+    expect(explainCycle(mod, "record:missing")).toBeNull();
+});
+test("a hierarchy member's explanation names the member that needs the header", () => {
+    const mod = module();
+    mod.classes = [
+        { name: "Derived", loc, base: "Base", fields: [{ name: "callback", type: funcOf([], VOID) }] },
+        { name: "Base", loc, fields: [] },
+    ];
+    expect(explainCycle(mod, "object:Base")).toEqual({
+        kind: "hierarchy",
+        member: "object:Derived",
+        because: {
+            kind: "intrinsic",
+            steps: [],
+            owner: "object:Derived",
+            field: "callback",
+            holds: "func",
+        },
+    });
+});
 //# sourceMappingURL=cycle-analysis.test.js.map