@scriptc/compiler 0.4.3 → 0.4.5

package/dist/frontend/shape-inference/constant-graphs.js

@@ -0,0 +1,357 @@
+/* Static-object specialization, stage 1 (DESIGN-constant-objects.md):
+ * constant object graphs.
+ *
+ * An object literal is a SINGLETON when the code that creates it runs at
+ * most once: at module top level, or in a function every call path to which
+ * starts at module evaluation through exactly one call site outside loops
+ * (IIFEs, revealing modules, init helpers). A singleton's field is CONSTANT
+ * when every store to it runs in such once-only code, no reflective or
+ * computed write reaches the object, and the object never escapes to code
+ * the analysis cannot see. A constant object has only constant fields and a
+ * fixed key set; constant objects whose constant fields point at each other
+ * form a constant graph (`ns`, `ns.util`, `ns.util.trim`).
+ *
+ * This stage computes the graphs and reports them, with the rule that
+ * demoted every near miss, and the reads and calls a later stage could fold.
+ * Nothing reaches code generation. */
+import * as ts from "../ts7/adapter.js";
+import { npmStaticPackageOfPath } from "../npm-static.js";
+function isLoop(n) {
+    return (ts.isForStatement(n) ||
+        ts.isForInStatement(n) ||
+        ts.isForOfStatement(n) ||
+        ts.isWhileStatement(n) ||
+        ts.isDoStatement(n));
+}
+/** The function (or source file) whose body contains `n`. */
+function ownerFunction(n) {
+    for (let p = n.parent; p !== undefined; p = p.parent) {
+        if (ts.isSourceFile(p))
+            return p;
+        if (ts.isFunctionLike(p) && p.body !== undefined)
+            return p;
+    }
+    return n.getSourceFile();
+}
+/** Whether `n` sits in a loop of its own function's body. */
+function inLoop(n, owner) {
+    for (let p = n.parent; p !== undefined && p !== owner; p = p.parent)
+        if (isLoop(p))
+            return true;
+    return false;
+}
+function loc(n) {
+    const sf = n.getSourceFile();
+    const file = sf.fileName.split("/node_modules/").pop() ?? sf.fileName;
+    return `${file.split("/").slice(-2).join("/")}:${sf.getLineAndCharacterOfPosition(ts.tokenStartOfNode(n)).line + 1}`;
+}
+/** `x.k || (x.k = v)`, `x.k ??= v`, `x.k ||= v`, `if (!x.k) x.k = v`. */
+function isCacheStore(write) {
+    let assign = write.parent;
+    while (assign !== undefined && ts.isParenthesizedExpression(assign))
+        assign = assign.parent;
+    if (assign === undefined || !ts.isBinaryExpression(assign))
+        return false;
+    const op = assign.operatorToken.kind;
+    if (op === ts.SyntaxKind.BarBarEqualsToken || op === ts.SyntaxKind.QuestionQuestionEqualsToken)
+        return true;
+    if (op !== ts.SyntaxKind.EqualsToken)
+        return false;
+    const text = write.getText();
+    let up = assign.parent;
+    while (up !== undefined && ts.isParenthesizedExpression(up))
+        up = up.parent;
+    if (up !== undefined &&
+        ts.isBinaryExpression(up) &&
+        (up.operatorToken.kind === ts.SyntaxKind.BarBarToken ||
+            up.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken) &&
+        up.left.getText() === text)
+        return true;
+    for (let p = assign.parent; p !== undefined; p = p.parent) {
+        if (ts.isIfStatement(p)) {
+            const cond = p.expression.getText().replace(/\s+/g, "");
+            return cond === `!${text}` || cond === `${text}===undefined` || cond === `${text}==null`;
+        }
+        if (ts.isFunctionLike(p) || ts.isSourceFile(p))
+            break;
+    }
+    return false;
+}
+const OBJECT_DEMOTING = new Set([
+    "computedWrite",
+    "delete",
+    "defineProperty",
+    "setPrototypeOf",
+    "assign",
+    "proxy",
+]);
+export function computeConstantGraphs(analysis) {
+    const infosByNode = new Map();
+    for (const info of analysis.functions.values()) {
+        let l = infosByNode.get(info.node);
+        if (l === undefined)
+            infosByNode.set(info.node, (l = []));
+        l.push(info);
+    }
+    const edgesTo = new Map();
+    for (const e of analysis.calls) {
+        let l = edgesTo.get(e.callee.node);
+        if (l === undefined)
+            edgesTo.set(e.callee.node, (l = []));
+        l.push(e);
+    }
+    const escapedNodes = new Set([...analysis.escapedFunctions].map((f) => f.node));
+    const onceMemo = new Map();
+    const once = (fn) => {
+        if (ts.isSourceFile(fn))
+            return true;
+        const known = onceMemo.get(fn);
+        if (known !== undefined)
+            return known;
+        onceMemo.set(fn, false); // a cycle is not once-only
+        let result = false;
+        const edges = edgesTo.get(fn) ?? [];
+        if (infosByNode.has(fn) &&
+            !escapedNodes.has(fn) &&
+            edges.length > 0 &&
+            new Set(edges.map((e) => e.site)).size === 1) {
+            result = edges.every((e) => !e.inLoop && e.caller !== null && !inLoop(e.site, e.caller.node) && once(e.caller.node));
+        }
+        onceMemo.set(fn, result);
+        return result;
+    };
+    // Whether every call of a function comes from once-only code outside
+    // loops, through any number of call sites: an init factory, whose
+    // allocations are one object per call site (schema builders called at
+    // module initialization).
+    const initOnlyMemo = new Map();
+    const initOnly = (fn) => {
+        if (ts.isSourceFile(fn))
+            return true;
+        const known = initOnlyMemo.get(fn);
+        if (known !== undefined)
+            return known;
+        initOnlyMemo.set(fn, false);
+        const edges = edgesTo.get(fn) ?? [];
+        const result = infosByNode.has(fn) &&
+            !escapedNodes.has(fn) &&
+            edges.length > 0 &&
+            edges.every((e) => !e.inLoop &&
+                e.caller !== null &&
+                !inLoop(e.site, e.caller.node) &&
+                (once(e.caller.node) || initOnly(e.caller.node)));
+        initOnlyMemo.set(fn, result);
+        return result;
+    };
+    const opsByAtom = new Map();
+    for (const op of analysis.ops) {
+        for (const a of analysis.nodes[op.recv].atoms) {
+            let l = opsByAtom.get(a);
+            if (l === undefined)
+                opsByAtom.set(a, (l = []));
+            l.push(op);
+        }
+    }
+    const objects = [];
+    const nearMisses = [];
+    const constantKeys = new Map();
+    const candidates = [];
+    for (const site of analysis.sites) {
+        if (site.kind !== "object")
+            continue;
+        candidates.push({
+            atom: site.atom,
+            node: site.node,
+            kind: "literal",
+            keys: site.keys ?? [],
+            plain: !(site.hasAccessor ||
+                site.hasComputedKey ||
+                site.spreads.length > 0 ||
+                site.keys === null),
+            inPackage: site.inPackage,
+        });
+    }
+    const inPackage = (n) => npmStaticPackageOfPath(n.getSourceFile().fileName) !== null;
+    for (const atom of analysis.atoms.atoms) {
+        if (atom.kind !== "function" || atom.node === undefined)
+            continue;
+        const hasFields = (analysis.fields.get(atom)?.size ?? 0) > 0;
+        const proto = analysis.protoOf.get(atom);
+        if (!hasFields && proto === undefined)
+            continue;
+        candidates.push({
+            atom,
+            node: atom.node,
+            kind: "function",
+            keys: [],
+            plain: true,
+            inPackage: inPackage(atom.node),
+        });
+        if (proto !== undefined)
+            candidates.push({
+                atom: proto,
+                node: atom.node,
+                kind: "prototype",
+                keys: ["constructor"],
+                plain: true,
+                inPackage: inPackage(atom.node),
+            });
+    }
+    for (const site of candidates) {
+        // A function object is created where its expression or declaration
+        // runs; its prototype with it.
+        const owner = ownerFunction(site.node);
+        if (!once(owner) || inLoop(site.node, owner)) {
+            const factory = !inLoop(site.node, owner) && initOnly(owner);
+            if (site.inPackage || factory)
+                nearMisses.push({
+                    site,
+                    key: null,
+                    rule: factory ? "init-factory" : "allocated-repeatedly",
+                    detail: factory
+                        ? `one object per call of ${loc(owner)} (${new Set((edgesTo.get(owner) ?? []).map((e) => e.site)).size} call sites)`
+                        : `created in ${owner.kind === ts.SyntaxKind.SourceFile ? "a module loop" : loc(owner)}`,
+                });
+            continue;
+        }
+        const escaped = analysis.escaped.get(site.atom);
+        if (escaped !== undefined) {
+            nearMisses.push({ site, key: null, rule: "escapes", detail: escaped });
+            continue;
+        }
+        if (!site.plain) {
+            nearMisses.push({
+                site,
+                key: null,
+                rule: "literal-form",
+                detail: "accessor, computed key or spread in the literal",
+            });
+            continue;
+        }
+        const ops = opsByAtom.get(site.atom) ?? [];
+        const demoting = ops.find((op) => OBJECT_DEMOTING.has(op.kind));
+        if (demoting !== undefined) {
+            nearMisses.push({
+                site,
+                key: null,
+                rule: demoting.kind === "computedWrite" ? "computed-write" : "reflective-write",
+                detail: `${demoting.kind} at ${loc(demoting.node)}`,
+            });
+            continue;
+        }
+        const frozen = ops.some((op) => op.kind === "freeze");
+        const stores = new Map();
+        for (const k of site.keys)
+            stores.set(k, 1);
+        // A function's own data fields come only from stores.
+        const demotedKeys = new Map();
+        for (const op of ops) {
+            // A `length` store on an object (not an array) is an ordinary write.
+            if ((op.kind !== "write" && op.kind !== "lengthWrite") || op.name === null)
+                continue;
+            stores.set(op.name, (stores.get(op.name) ?? 0) + 1);
+            const fn = ownerFunction(op.node);
+            if (once(fn) && !inLoop(op.node, fn))
+                continue;
+            if (demotedKeys.has(op.name))
+                continue;
+            demotedKeys.set(op.name, {
+                site,
+                key: op.name,
+                rule: isCacheStore(op.node) ? "lazy-cache" : "written-after-init",
+                detail: loc(op.node),
+            });
+        }
+        for (const miss of demotedKeys.values())
+            nearMisses.push(miss);
+        const fieldMap = analysis.fields.get(site.atom) ?? new Map();
+        const fields = [];
+        const keys = new Set();
+        for (const [key, count] of stores) {
+            if (demotedKeys.has(key))
+                continue;
+            const id = fieldMap.get(key);
+            const values = id === undefined ? [] : [...analysis.nodes[id].atoms];
+            fields.push({ key, values, stores: count });
+            keys.add(key);
+        }
+        constantKeys.set(site.atom, keys);
+        if (demotedKeys.size === 0)
+            objects.push({ site, fields, frozen });
+    }
+    let foldableReads = 0, foldableCalls = 0, mixedReads = 0;
+    for (const op of analysis.ops) {
+        if (op.kind !== "read" || op.name === null)
+            continue;
+        const atoms = analysis.nodes[op.recv].atoms;
+        const constant = [...atoms].filter((a) => constantKeys.get(a)?.has(op.name) === true);
+        if (constant.length === 0)
+            continue;
+        if (atoms.size === 1) {
+            foldableReads++;
+            const p = op.node.parent;
+            if (p !== undefined && ts.isCallExpression(p) && p.expression === op.node)
+                foldableCalls++;
+        }
+        else
+            mixedReads++;
+    }
+    return { objects, nearMisses, foldableReads, foldableCalls, mixedReads, once };
+}
+/** Report lines (SCRIPTC_DEBUG_SHAPES=const): per package, the constant
+ * graphs with their roots, the near misses by rule, and the foldable reads. */
+export function constantGraphReport(analysis, graphs) {
+    const lines = [];
+    const pkgOf = (site) => npmStaticPackageOfPath(site.node.getSourceFile().fileName) ?? "<user>";
+    const byPkg = new Map();
+    const entry = (pkg) => {
+        let e = byPkg.get(pkg);
+        if (e === undefined)
+            byPkg.set(pkg, (e = { objects: [], misses: [] }));
+        return e;
+    };
+    for (const o of graphs.objects)
+        entry(pkgOf(o.site)).objects.push(o);
+    for (const m of graphs.nearMisses)
+        entry(pkgOf(m.site)).misses.push(m);
+    const constantAtoms = new Set(graphs.objects.map((o) => o.site.atom));
+    const referenced = new Set();
+    for (const o of graphs.objects)
+        for (const f of o.fields)
+            if (f.values.length === 1 && constantAtoms.has(f.values[0]))
+                referenced.add(f.values[0]);
+    const describe = (o, depth, seen) => {
+        const parts = o.fields.map((f) => {
+            if (f.values.length !== 1)
+                return `${f.key}: ${f.values.length === 0 ? "?" : f.values.map((a) => a.label).join("|")}`;
+            const v = f.values[0];
+            const child = graphs.objects.find((x) => x.site.atom === v);
+            if (child !== undefined && depth < 3 && !seen.has(v)) {
+                seen.add(v);
+                return `${f.key}: ${describe(child, depth + 1, seen)}`;
+            }
+            return `${f.key}: ${v.kind === "function" && child === undefined ? "fn" : v.label}`;
+        });
+        const shown = parts.length > 8 ? [...parts.slice(0, 8), `… ${parts.length - 8} more`] : parts;
+        return `{${shown.join(", ")}}${o.frozen ? " (frozen)" : ""}`;
+    };
+    lines.push(`analysis ${analysis.steps} steps${analysis.budgetExceeded ? " (BUDGET EXCEEDED: facts incomplete)" : ""}, ${analysis.files.length} files`);
+    lines.push(`constant objects ${graphs.objects.length}, near misses ${graphs.nearMisses.length}; foldable reads ${graphs.foldableReads} (calls ${graphs.foldableCalls}), mixed-receiver reads ${graphs.mixedReads}`);
+    for (const [pkg, e] of [...byPkg].sort((a, b) => a[0].localeCompare(b[0]))) {
+        const fields = e.objects.reduce((n, o) => n + o.fields.length, 0);
+        const rules = new Map();
+        for (const m of e.misses)
+            rules.set(m.rule, (rules.get(m.rule) ?? 0) + 1);
+        lines.push(`${pkg}: ${e.objects.length} constant objects (${fields} fields); near misses ${[...rules].map(([r, n]) => `${r} ${n}`).join(", ") || "none"}`);
+        for (const o of e.objects) {
+            if (referenced.has(o.site.atom))
+                continue;
+            lines.push(`  graph ${loc(o.site.node)} ${describe(o, 0, new Set([o.site.atom]))}`);
+        }
+        for (const m of e.misses.filter((x) => x.rule !== "allocated-repeatedly").slice(0, 40)) {
+            lines.push(`  near miss ${loc(m.site.node)}${m.key === null ? "" : ` .${m.key}`}: ${m.rule} (${m.detail})`);
+        }
+    }
+    return lines;
+}
+//# sourceMappingURL=constant-graphs.js.map

package/dist/frontend/shape-inference/constant-graphs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constant-graphs.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/constant-graphs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;sCAesC;AACtC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AA8D1D,SAAS,MAAM,CAAC,CAAO;IACrB,OAAO,CACL,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;QACpB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtB,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CACpB,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,aAAa,CAAC,CAAO;IAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACrD,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAK,CAAqB,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;AAC3B,CAAC;AAED,6DAA6D;AAC7D,SAAS,MAAM,CAAC,CAAO,EAAE,KAAW;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM;QAAE,IAAI,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,GAAG,CAAC,CAAO;IAClB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC;IACtE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,yEAAyE;AACzE,SAAS,YAAY,CAAC,KAAW;IAC/B,IAAI,MAAM,GAAqB,KAAK,CAAC,MAAM,CAAC;IAC5C,OAAO,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5F,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC;IACrC,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,2BAA2B;QAC5F,OAAO,IAAI,CAAC;IACd,IAAI,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;IAC7B,IAAI,EAAE,GAAqB,MAAM,CAAC,MAAM,CAAC;IACzC,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IAC5E,IACE,EAAE,KAAK,SAAS;QAChB,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC;QACzB,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,EAAE,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAChE,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,IAAI;QAE1B,OAAO,IAAI,CAAC;IACd,KAAK,IAAI,CAAC,GAAqB,MAAM,CAAC,MAAM,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACxD,OAAO,IAAI,KAAK,IAAI,IAAI,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,cAAc,IAAI,IAAI,KAAK,GAAG,IAAI,QAAQ,CAAC;QAC3F,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAAE,MAAM;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,eAAe,GAA4B,IAAI,GAAG,CAAC;IACvD,eAAe;IACf,QAAQ;IACR,gBAAgB;IAChB,gBAAgB;IAChB,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,QAAuB;IAC3D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAwB,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA2C,CAAC;IACnE,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAO,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,EAAQ,EAAW,EAAE;QACjC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,2BAA2B;QACpD,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,IACE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,EAC5C,CAAC;YACD,MAAM,GAAG,KAAK,CAAC,KAAK,CAClB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAC1F,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,0BAA0B;IAC1B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAiB,CAAC;IAC9C,MAAM,QAAQ,GAAG,CAAC,EAAQ,EAAW,EAAE;QACrC,IAAI,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACrC,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,MAAM,MAAM,GACV,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,MAAM,GAAG,CAAC;YAChB,KAAK,CAAC,KAAK,CACT,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM;gBACT,CAAC,CAAC,MAAM,KAAK,IAAI;gBACjB,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC9B,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CACnD,CAAC;QACJ,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAc,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,EAAE,CAAC;YAC/C,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAChD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAqB,EAAE,CAAC;IACrC,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;YACrB,KAAK,EAAE,CAAC,CACN,IAAI,CAAC,WAAW;gBAChB,IAAI,CAAC,cAAc;gBACnB,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBACvB,IAAI,CAAC,IAAI,KAAK,IAAI,CACnB;YACD,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAO,EAAW,EAAE,CACrC,sBAAsB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;IAC9D,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QAClE,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAChD,UAAU,CAAC,IAAI,CAAC;YACd,IAAI;YACJ,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,IAAI;YACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;SAChC,CAAC,CAAC;QACH,IAAI,KAAK,KAAK,SAAS;YACrB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,CAAC,aAAa,CAAC;gBACrB,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;aAChC,CAAC,CAAC;IACP,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,mEAAmE;QACnE,+BAA+B;QAC/B,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,SAAS,IAAI,OAAO;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,IAAI;oBACJ,GAAG,EAAE,IAAI;oBACT,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,sBAAsB;oBACvD,MAAM,EAAE,OAAO;wBACb,CAAC,CAAC,0BAA0B,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,cAAc;wBACpH,CAAC,CAAC,cAAc,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;iBAC3F,CAAC,CAAC;YACL,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,iDAAiD;aAC1D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI;gBACJ,GAAG,EAAE,IAAI;gBACT,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB;gBAC/E,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE;aACpD,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,sDAAsD;QACtD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;QAChD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,qEAAqE;YACrE,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;gBAAE,SAAS;YACrF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,MAAM,EAAE,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;gBAAE,SAAS;YAC/C,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;gBACvB,IAAI;gBACJ,GAAG,EAAE,EAAE,CAAC,IAAI;gBACZ,IAAI,EAAE,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,oBAAoB;gBACjE,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;aACrB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,EAAE;YAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;QAC7E,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YAClC,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YACnC,MAAM,EAAE,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAE,CAAC,KAAK,CAAC,CAAC;YACtE,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,WAAW,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,IAAI,aAAa,GAAG,CAAC,EACnB,aAAa,GAAG,CAAC,EACjB,UAAU,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;YAAE,SAAS;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC;QAC7C,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,IAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QACvF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrB,aAAa,EAAE,CAAC;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC;YACzB,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,IAAI;gBAAE,aAAa,EAAE,CAAC;QAC7F,CAAC;;YAAM,UAAU,EAAE,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACjF,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,mBAAmB,CAAC,QAAuB,EAAE,MAAsB;IACjF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,IAAe,EAAU,EAAE,CACxC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6D,CAAC;IACnF,MAAM,KAAK,GAAG,CAAC,GAAW,EAAE,EAAE;QAC5B,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK,SAAS;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACvE,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAQ,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YACtB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC;IAC/F,MAAM,QAAQ,GAAG,CAAC,CAAiB,EAAE,KAAa,EAAE,IAAe,EAAU,EAAE;QAC7E,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBACvB,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;YAC5D,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACzD,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QACtF,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9F,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAC/D,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CACR,YAAY,QAAQ,CAAC,KAAK,SAAS,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAC3I,CAAC;IACF,KAAK,CAAC,IAAI,CACR,oBAAoB,MAAM,CAAC,OAAO,CAAC,MAAM,iBAAiB,MAAM,CAAC,UAAU,CAAC,MAAM,oBAAoB,MAAM,CAAC,aAAa,WAAW,MAAM,CAAC,aAAa,2BAA2B,MAAM,CAAC,UAAU,EAAE,CACxM,CAAC;IACF,KAAK,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,KAAK,CAAC,IAAI,CACR,GAAG,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,sBAAsB,MAAM,yBAAyB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAC/I,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1C,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YACvF,KAAK,CAAC,IAAI,CACR,eAAe,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,GAAG,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/frontend/shape-inference/domain.d.ts

@@ -0,0 +1,32 @@
+import type * as ts from "../ts7/adapter.js";
+export type AtomKind = "prim" | "top" | "object" | "array" | "instance" | "class" | "function" | "builtin" | "promise" | "collection" | "dictionary";
+export interface Atom {
+    readonly id: number;
+    readonly kind: AtomKind;
+    /** Short display name, e.g. `string`, `ZodString`, `{status,value}@types.js:804`. */
+    readonly label: string;
+    /** The syntax that creates the atom: the literal, class or function
+     * declaration, or the builtin call. Undefined for prims, ⊤ and builtins. */
+    readonly node?: ts.Node | undefined;
+    /** builtin atoms: the dotted path (`Object.keys`, `array.push`). */
+    readonly path?: string | undefined;
+    /** method atoms of builtin receivers: the receiver atom. */
+    readonly receiver?: Atom | undefined;
+    /** function atoms: the analysis context of the function's clone (a
+     * method's receiver class), "" for the context-insensitive default. */
+    readonly ctx?: string | undefined;
+}
+export declare class AtomTable {
+    readonly atoms: Atom[];
+    private readonly byKey;
+    intern(key: string, make: (id: number) => Omit<Atom, "id">): Atom;
+}
+/** Object.prototype members: a read of one of these names on a plain
+ * object resolves on the prototype, never to an absent own key. */
+export declare const OBJECT_PROTOTYPE_MEMBERS: ReadonlySet<string>;
+/** Global names the analysis models as builtin objects. Any other global is ⊤. */
+export declare const MODELED_GLOBALS: ReadonlySet<string>;
+/** Results of string (and number) methods, by name. Anything else is ⊤. */
+type MethodResult = "string" | "number" | "boolean" | "array";
+export declare const STRING_METHOD_RESULTS: ReadonlyMap<string, MethodResult>;
+export {};

package/dist/frontend/shape-inference/domain.js

@@ -0,0 +1,104 @@
+export class AtomTable {
+    atoms = [];
+    byKey = new Map();
+    intern(key, make) {
+        let atom = this.byKey.get(key);
+        if (atom === undefined) {
+            const id = this.atoms.length;
+            atom = { id, ...make(id) };
+            this.atoms.push(atom);
+            this.byKey.set(key, atom);
+        }
+        return atom;
+    }
+}
+/** Object.prototype members: a read of one of these names on a plain
+ * object resolves on the prototype, never to an absent own key. */
+export const OBJECT_PROTOTYPE_MEMBERS = new Set([
+    "constructor",
+    "hasOwnProperty",
+    "isPrototypeOf",
+    "propertyIsEnumerable",
+    "toLocaleString",
+    "toString",
+    "valueOf",
+    "__defineGetter__",
+    "__defineSetter__",
+    "__lookupGetter__",
+    "__lookupSetter__",
+    "__proto__",
+]);
+/** Global names the analysis models as builtin objects. Any other global is ⊤. */
+export const MODELED_GLOBALS = new Set([
+    "Object",
+    "Array",
+    "JSON",
+    "Math",
+    "Number",
+    "String",
+    "Boolean",
+    "Symbol",
+    "Promise",
+    "Map",
+    "Set",
+    "WeakMap",
+    "WeakSet",
+    "Error",
+    "TypeError",
+    "RangeError",
+    "SyntaxError",
+    "Date",
+    "RegExp",
+    "console",
+    "Reflect",
+    "parseInt",
+    "parseFloat",
+    "isNaN",
+    "isFinite",
+    "encodeURIComponent",
+    "decodeURIComponent",
+    "encodeURI",
+    "decodeURI",
+    "BigInt",
+    "Proxy",
+]);
+export const STRING_METHOD_RESULTS = new Map([
+    ["at", "string"],
+    ["charAt", "string"],
+    ["charCodeAt", "number"],
+    ["codePointAt", "number"],
+    ["concat", "string"],
+    ["endsWith", "boolean"],
+    ["includes", "boolean"],
+    ["indexOf", "number"],
+    ["lastIndexOf", "number"],
+    ["localeCompare", "number"],
+    ["match", "array"],
+    ["matchAll", "array"],
+    ["normalize", "string"],
+    ["padEnd", "string"],
+    ["padStart", "string"],
+    ["repeat", "string"],
+    ["replace", "string"],
+    ["replaceAll", "string"],
+    ["search", "number"],
+    ["slice", "string"],
+    ["split", "array"],
+    ["startsWith", "boolean"],
+    ["substring", "string"],
+    ["substr", "string"],
+    ["toLowerCase", "string"],
+    ["toUpperCase", "string"],
+    ["toLocaleLowerCase", "string"],
+    ["toLocaleUpperCase", "string"],
+    ["toString", "string"],
+    ["trim", "string"],
+    ["trimEnd", "string"],
+    ["trimStart", "string"],
+    ["valueOf", "string"],
+    ["test", "boolean"],
+    ["toFixed", "string"],
+    ["toPrecision", "string"],
+    ["toExponential", "string"],
+]);
+//# sourceMappingURL=domain.js.map

package/dist/frontend/shape-inference/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/domain.ts"],"names":[],"mappings":"AA0CA,MAAM,OAAO,SAAS;IACX,KAAK,GAAW,EAAE,CAAC;IACX,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEjD,MAAM,CAAC,GAAW,EAAE,IAAsC;QACxD,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7B,IAAI,GAAG,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED;mEACmE;AACnE,MAAM,CAAC,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IACnE,aAAa;IACb,gBAAgB;IAChB,eAAe;IACf,sBAAsB;IACtB,gBAAgB;IAChB,UAAU;IACV,SAAS;IACT,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;IAClB,WAAW;CACZ,CAAC,CAAC;AAEH,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IAC1D,QAAQ;IACR,OAAO;IACP,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,KAAK;IACL,KAAK;IACL,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,YAAY;IACZ,aAAa;IACb,MAAM;IACN,QAAQ;IACR,SAAS;IACT,SAAS;IACT,UAAU;IACV,YAAY;IACZ,OAAO;IACP,UAAU;IACV,oBAAoB;IACpB,oBAAoB;IACpB,WAAW;IACX,WAAW;IACX,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,qBAAqB,GAAsC,IAAI,GAAG,CAG7E;IACA,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;IAC3B,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,UAAU,EAAE,OAAO,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,YAAY,EAAE,QAAQ,CAAC;IACxB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,OAAO,EAAE,QAAQ,CAAC;IACnB,CAAC,OAAO,EAAE,OAAO,CAAC;IAClB,CAAC,YAAY,EAAE,SAAS,CAAC;IACzB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACpB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,mBAAmB,EAAE,QAAQ,CAAC;IAC/B,CAAC,UAAU,EAAE,QAAQ,CAAC;IACtB,CAAC,MAAM,EAAE,QAAQ,CAAC;IAClB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,WAAW,EAAE,QAAQ,CAAC;IACvB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,SAAS,EAAE,QAAQ,CAAC;IACrB,CAAC,aAAa,EAAE,QAAQ,CAAC;IACzB,CAAC,eAAe,EAAE,QAAQ,CAAC;CAC5B,CAAC,CAAC"}

package/dist/frontend/shape-inference/index.d.ts

@@ -0,0 +1,7 @@
+import type * as ts from "../ts7/adapter.js";
+export { analyzeShapes } from "./analyze.js";
+export { buildShapeReport } from "./report.js";
+/** SCRIPTC_DEBUG_SHAPES: `1` reports package code in hot functions,
+ * `verbose` every package site, `all` user files too, any other value only
+ * files whose path contains it. Writes to stderr; changes nothing else. */
+export declare function reportShapes(program: ts.Program, filter: string): void;

package/dist/frontend/shape-inference/index.js

@@ -0,0 +1,19 @@
+import { analyzeShapes } from "./analyze.js";
+import { buildShapeReport } from "./report.js";
+import { computeConstantGraphs, constantGraphReport } from "./constant-graphs.js";
+export { analyzeShapes } from "./analyze.js";
+export { buildShapeReport } from "./report.js";
+/** SCRIPTC_DEBUG_SHAPES: `1` reports package code in hot functions,
+ * `verbose` every package site, `all` user files too, any other value only
+ * files whose path contains it. Writes to stderr; changes nothing else. */
+export function reportShapes(program, filter) {
+    const start = performance.now();
+    const analysis = analyzeShapes(program, program.getTypeChecker());
+    // `const`: the constant object graphs (DESIGN-constant-objects.md, stage 1).
+    const lines = filter === "const"
+        ? constantGraphReport(analysis, computeConstantGraphs(analysis))
+        : buildShapeReport(analysis, filter).lines;
+    const ms = (performance.now() - start).toFixed(0);
+    process.stderr.write(`[shapes] ${ms} ms\n${lines.map((l) => `[shapes] ${l}`).join("\n")}\n`);
+}
+//# sourceMappingURL=index.js.map

package/dist/frontend/shape-inference/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/frontend/shape-inference/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAElF,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C;;2EAE2E;AAC3E,MAAM,UAAU,YAAY,CAAC,OAAmB,EAAE,MAAc;IAC9D,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,EAAE,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAClE,6EAA6E;IAC7E,MAAM,KAAK,GACT,MAAM,KAAK,OAAO;QAChB,CAAC,CAAC,mBAAmB,CAAC,QAAQ,EAAE,qBAAqB,CAAC,QAAQ,CAAC,CAAC;QAChE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC;IAC/C,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,QAAQ,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/F,CAAC"}

package/dist/frontend/shape-inference/report.d.ts

@@ -0,0 +1,21 @@
+import { type FunctionInfo, type LiteralSite, type ShapeAnalysis } from "./analyze.js";
+export interface SiteVerdict {
+    readonly site: LiteralSite;
+    readonly label: string;
+    readonly verdict: "P-local" | "P-escaping" | "G";
+    readonly reasons: string[];
+    /** P-escaping: fields untyped code may write (they become dyn slots). */
+    readonly writableByTop: string[];
+    readonly freezable: boolean;
+    readonly brand: boolean;
+}
+export interface ShapeReport {
+    readonly sites: SiteVerdict[];
+    readonly hot: Set<FunctionInfo>;
+    readonly lines: string[];
+}
+export declare function describeValue(analysis: ShapeAnalysis, node: number): string;
+/** Functions reached from call sites in loops (or loop callbacks), and
+ * everything they call: the static hotness heuristic (DESIGN.md §8.1). */
+export declare function hotFunctions(analysis: ShapeAnalysis): Set<FunctionInfo>;
+export declare function buildShapeReport(analysis: ShapeAnalysis, filter: string): ShapeReport;