@scriptc/compiler 0.3.6 → 0.4.1

package/dist/backend/stack-observations.js

@@ -0,0 +1,382 @@
+/* Whole-program stack-trace gate (see observesStacks). Pure function of the
+ * IR module; the emitter keeps a source frame in every function only when
+ * it answers true. */
+import { exprFunctionReference, moduleFunctionReferences } from "../ir/function-references.js";
+import { MAY_THROW_LIB_FNS } from "../ir/builtin-effects.js";
+import { MAY_THROW_ARR_METHODS } from "../ir/ir.js";
+import { everyExprChild, everyStmtChild, everyStmtList } from "../ir/traverse.js";
+import { unreachableStatements } from "./may-throw.js";
+import { writesPublished } from "./publication.js";
+/** Lib calls that read a captured stack trace. */
+const STACK_READS = new Set(["error.stack"]);
+/** Key types whose property names are never `stack`: a number, bigint or
+ * boolean key names its decimal or `true`/`false` property. */
+const NON_STACK_KEY_TYPES = new Set(["f64", "bigint", "bool"]);
+/** Whether a computed key can be the string "stack", the question a read
+ * on a checked-dynamic value asks before it counts as a stack read.
+ * - A string literal answers by its value; a key of a number, bigint or
+ *   boolean type, or one converted from such a value, cannot be "stack".
+ * - An immutable local answers with its one initializer, and a parameter of
+ *   a function the program only calls by name answers with the arguments
+ *   its call sites pass.
+ * - Any other key can be "stack" when the program spells the literal
+ *   "stack" somewhere, since the literal can reach the key through fields,
+ *   containers or calls; a key the program assembles from other strings or
+ *   from data it reads keeps the static answer. */
+class StackKeys {
+    spelled;
+    calls = new Map();
+    named;
+    inits = new Map();
+    /** Settled answers by function and local: true where a search reached a
+     * key that can be "stack", false where a search that found none passed. */
+    answers = new Map();
+    constructor(mod) {
+        this.spelled = spellsStack(mod);
+        this.named = new Set(moduleFunctionReferences(mod));
+        // Class methods, accessors and constructors are called through dispatch.
+        const classNames = new Set((mod.classes ?? []).map((cls) => cls.name));
+        for (const fn of mod.functions) {
+            if (isClassMember(fn.name, classNames))
+                this.named.add(fn.name);
+            everyStmtList(fn.body, {
+                stmt: () => true,
+                expr: (expr) => {
+                    if (expr.kind === "call") {
+                        const sites = this.calls.get(expr.callee) ?? [];
+                        sites.push({ caller: fn, args: expr.args });
+                        this.calls.set(expr.callee, sites);
+                    }
+                    const referenced = exprFunctionReference(expr);
+                    if (referenced !== undefined)
+                        this.named.add(referenced);
+                    return true;
+                },
+            });
+        }
+    }
+    mayBeStack(fn, key) {
+        const visited = new Set();
+        const answer = this.keyMayBeStack(fn, key, visited);
+        // A search that found no way to "stack" explored everything it visited
+        // to the end, so none of it can be "stack" either.
+        if (!answer)
+            for (const visit of visited)
+                this.answers.set(visit, false);
+        return answer;
+    }
+    keyMayBeStack(fn, key, visited) {
+        if (key.kind === "strLit")
+            return key.value === "stack";
+        if (!this.spelled)
+            return false;
+        if (NON_STACK_KEY_TYPES.has(key.type.kind))
+            return false;
+        if (key.kind === "toString" && NON_STACK_KEY_TYPES.has(key.operand.type.kind))
+            return false;
+        if (key.kind === "dynFrom" && NON_STACK_KEY_TYPES.has(key.value.type.kind))
+            return false;
+        if (key.kind !== "varRef")
+            return true;
+        const visit = `${fn.name}\0${key.localId}`;
+        const known = this.answers.get(visit);
+        if (known !== undefined)
+            return known;
+        // Each local is searched once per question: a cycle, or a second path
+        // to a local already searched, adds no value of its own.
+        if (visited.has(visit))
+            return false;
+        visited.add(visit);
+        const answer = this.localMayBeStack(fn, key.localId, visited);
+        if (answer)
+            this.answers.set(visit, true);
+        return answer;
+    }
+    localMayBeStack(fn, localId, visited) {
+        const local = fn.locals.find((candidate) => candidate.id === localId);
+        if (local === undefined || local.mutable)
+            return true;
+        const index = fn.params.findIndex((param) => param.localId === localId);
+        if (index !== -1) {
+            const sites = this.calls.get(fn.name);
+            if (this.named.has(fn.name) || sites === undefined)
+                return true;
+            return sites.some((site) => site.args.length !== fn.params.length ||
+                this.keyMayBeStack(site.caller, site.args[index], visited));
+        }
+        const init = this.initializerOf(fn, localId);
+        return init === null || this.keyMayBeStack(fn, init, visited);
+    }
+    /** The one initializer of an immutable local, or null when it has none
+     * or more than one declaration. */
+    initializerOf(fn, localId) {
+        let inits = this.inits.get(fn);
+        if (inits === undefined) {
+            inits = new Map();
+            everyStmtList(fn.body, {
+                stmt: (stmt) => {
+                    if (stmt.kind === "varDecl")
+                        inits.set(stmt.localId, inits.has(stmt.localId) ? null : (stmt.init ?? null));
+                    return true;
+                },
+                expr: () => true,
+            });
+            this.inits.set(fn, inits);
+        }
+        return inits.get(localId) ?? null;
+    }
+}
+/** Whether `name` follows the `%<class>.<member>` convention of class
+ * methods, accessors and constructors for one of `classNames`. */
+function isClassMember(name, classNames) {
+    if (!name.startsWith("%"))
+        return false;
+    for (let dot = name.indexOf("."); dot !== -1; dot = name.indexOf(".", dot + 1)) {
+        if (classNames.has(name.slice(1, dot)))
+            return true;
+    }
+    return false;
+}
+/** A typed `error.stack` read, or a read on a checked-dynamic value that
+ * can reach an error's own `stack` accessor: one whose key can be "stack"
+ * (StackKeys). */
+function readsStack(fn, expr, keys) {
+    if (expr.kind === "libCall")
+        return STACK_READS.has(expr.fn);
+    if (expr.kind !== "dynKeyGet")
+        return false;
+    return keys.mayBeStack(fn, expr.key);
+}
+/** Whether the module contains the string literal "stack". */
+function spellsStack(mod) {
+    return mod.functions.some((fn) => !everyStmtList(fn.body, {
+        stmt: () => true,
+        expr: (expr) => !(expr.kind === "strLit" && expr.value === "stack"),
+    }));
+}
+function containsStackRead(fn, keys) {
+    return !everyStmtList(fn.body, {
+        stmt: () => true,
+        expr: (expr) => !readsStack(fn, expr, keys),
+    });
+}
+/** Visit every expression of `body` that execution can reach: statements
+ * after one that cannot complete normally in the same list are skipped. */
+function visitLiveExprs(body, visit) {
+    const dead = unreachableStatements(body);
+    const expr = (node) => {
+        visit(node);
+        return everyExprChild(node, expr, stmt);
+    };
+    const stmt = (node) => dead.has(node) || everyStmtChild(node, expr, stmt);
+    body.every(stmt);
+}
+/** Whether the program can read a captured stack trace, which is what makes
+ * every function keep a source frame. A read counts when it can execute:
+ * it sits in live code of a function reachable from the module's roots (its
+ * entry, library exports, class prototype helpers and every class's
+ * methods) through live code. Code after a statement that cannot complete
+ * normally is not live: production builds of libraries such as React's
+ * Flight server keep development-only stack parsing behind `throw` stubs,
+ * and those reads must not cost every call of the program a frame.
+ * Programs without any stack read answer false without the walk. */
+export function observesStacks(mod) {
+    const keys = new StackKeys(mod);
+    if (!mod.functions.some((fn) => containsStackRead(fn, keys)))
+        return false;
+    const byName = new Map(mod.functions.map((fn) => [fn.name, fn]));
+    const classNames = new Set((mod.classes ?? []).map((cls) => cls.name));
+    const pending = [...moduleFunctionReferences(mod)];
+    // Class methods, accessors and constructors are reachable through
+    // dispatch the IR does not name per site: all of them are roots.
+    for (const fn of mod.functions)
+        if (isClassMember(fn.name, classNames))
+            pending.push(fn.name);
+    const reached = new Set();
+    let observed = false;
+    while (pending.length > 0 && !observed) {
+        const name = pending.pop();
+        if (reached.has(name))
+            continue;
+        reached.add(name);
+        const fn = byName.get(name);
+        if (fn === undefined)
+            continue;
+        visitLiveExprs(fn.body, (expr) => {
+            if (readsStack(fn, expr, keys))
+                observed = true;
+            if (expr.kind === "call" && !reached.has(expr.callee))
+                pending.push(expr.callee);
+            const referenced = exprFunctionReference(expr);
+            if (referenced !== undefined && !reached.has(referenced))
+                pending.push(referenced);
+        });
+    }
+    return observed;
+}
+/** Expressions that neither create an Error nor throw one by themselves.
+ * Calls, `new` and virtual calls are capture-free when their callees are. */
+const CAPTURE_FREE_EXPRS = new Set([
+    "numLit",
+    "boolLit",
+    "strLit",
+    "unitLit",
+    "varRef",
+    "incDec",
+    "assignExpr",
+    "bin",
+    "unary",
+    "logical",
+    "ternary",
+    "nullish",
+    "toBool",
+    "fieldGet",
+    "recordGet",
+    "arrayGet",
+    "arrayHas",
+    "arrayState",
+    "strCmp",
+    "strEq",
+    "strConcat",
+    "upcast",
+    "unionDisc",
+    "unionIsTag",
+    "unionEq",
+    "instanceOf",
+    "recordLit",
+    "arrayLit",
+    "unionWrap",
+    "unionNarrow",
+    "libCall",
+    "arrIntrinsic",
+    "call",
+    "new",
+    "virtualCall",
+]);
+/** Statements that neither create an Error nor throw one by themselves. */
+const CAPTURE_FREE_STMTS = new Set([
+    "varDecl",
+    "assign",
+    "exprStmt",
+    "if",
+    "while",
+    "doWhile",
+    "for",
+    "switch",
+    "block",
+    "return",
+    "break",
+    "continue",
+    "fieldSet",
+    "recordSet",
+    "arraySet",
+]);
+/** Functions whose frame no stack capture can ever include: a capture runs
+ * where an Error is created (by the program or by a throwing runtime
+ * operation), and these functions only perform operations from a fixed
+ * list that never create one and only call functions of the same kind.
+ * Their frames are therefore never observable and the emitter omits them,
+ * which keeps small leaf methods and helpers free of the per-call frame
+ * push in programs that read stacks. Recursive functions (the stack guard
+ * throws RangeError), async and generator bodies, and every function of a
+ * worker program keep their frames. */
+export function captureFreeFunctions(mod, stackChecks, published) {
+    const free = new Set();
+    if (mod.workers === true)
+        return free;
+    const methodImpls = new Map();
+    for (const cls of mod.classes ?? []) {
+        for (const m of cls.methods ?? []) {
+            let list = methodImpls.get(m);
+            if (!list)
+                methodImpls.set(m, (list = []));
+            list.push(`%${cls.name}.${m}`);
+        }
+    }
+    const tdzGlobals = new Set((mod.globals ?? []).filter((g) => g.tdz).map((g) => g.id));
+    const callees = new Map();
+    for (const fn of mod.functions) {
+        if (fn.async === true || fn.generator !== undefined || stackChecks?.has(fn.name))
+            continue;
+        const tdz = new Set([...tdzGlobals, ...fn.locals.filter((l) => l.tdz).map((l) => l.id)]);
+        const calls = [];
+        const bigint = (e) => e.type.kind === "bigint";
+        const expr = (e) => {
+            if (!CAPTURE_FREE_EXPRS.has(e.kind))
+                return false;
+            switch (e.kind) {
+                case "varRef":
+                case "incDec":
+                case "assignExpr":
+                    if (tdz.has(e.localId))
+                        return false;
+                    break;
+                case "bin":
+                    // BigInt division and remainder by zero throw RangeError.
+                    if (bigint(e) || bigint(e.left) || bigint(e.right))
+                        return false;
+                    break;
+                case "unary":
+                    if (bigint(e) || bigint(e.operand))
+                        return false;
+                    break;
+                case "libCall":
+                    // Math functions only: they neither throw nor call back.
+                    if (!e.fn.startsWith("math.") || MAY_THROW_LIB_FNS.has(e.fn))
+                        return false;
+                    break;
+                case "arrIntrinsic": {
+                    // Methods that cannot throw, over numbers, booleans or strings
+                    // (no element conversion can run program code) and without a
+                    // callback argument.
+                    const elem = e.receiver.type.kind === "array" ? e.receiver.type.elem.kind : null;
+                    if (MAY_THROW_ARR_METHODS.has(e.method) ||
+                        (elem !== "f64" && elem !== "bool" && elem !== "string") ||
+                        e.args.some((arg) => arg.type.kind === "func"))
+                        return false;
+                    break;
+                }
+                case "call":
+                    calls.push(e.callee);
+                    break;
+                case "new":
+                    calls.push(`%${e.className}.constructor`);
+                    break;
+                case "virtualCall": {
+                    const impls = methodImpls.get(e.method);
+                    if (impls === undefined)
+                        return false;
+                    calls.push(...impls);
+                    break;
+                }
+            }
+            return everyExprChild(e, expr, stmt);
+        };
+        const stmt = (s) => {
+            if (!CAPTURE_FREE_STMTS.has(s.kind))
+                return false;
+            if (s.kind === "assign" && tdz.has(s.localId))
+                return false;
+            if (published !== null && writesPublished(published, s))
+                return false;
+            return everyStmtChild(s, expr, stmt);
+        };
+        if (fn.body.every(stmt))
+            callees.set(fn.name, calls);
+    }
+    // Drop candidates that call a function outside the set until none do.
+    for (const name of callees.keys())
+        free.add(name);
+    let changed = true;
+    while (changed) {
+        changed = false;
+        for (const [name, calls] of callees) {
+            if (free.has(name) && !calls.every((callee) => free.has(callee))) {
+                free.delete(name);
+                changed = true;
+            }
+        }
+    }
+    return free;
+}
+//# sourceMappingURL=stack-observations.js.map

package/dist/backend/stack-observations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack-observations.js","sourceRoot":"","sources":["../../src/backend/stack-observations.ts"],"names":[],"mappings":"AAAA;;sBAEsB;AACtB,OAAO,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AAC/F,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAEvD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,kDAAkD;AAClD,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AAElE;+DAC+D;AAC/D,MAAM,mBAAmB,GAAgC,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AAE5F;;;;;;;;;;mDAUmD;AACnD,MAAM,SAAS;IACI,OAAO,CAAU;IACjB,KAAK,GAAG,IAAI,GAAG,EAAoD,CAAC;IACpE,KAAK,CAAc;IACnB,KAAK,GAAG,IAAI,GAAG,EAA0C,CAAC;IAC3E;+EAC2E;IAC1D,OAAO,GAAG,IAAI,GAAG,EAAmB,CAAC;IAEtD,YAAY,GAAa;QACvB,IAAI,CAAC,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,yEAAyE;QACzE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAChE,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACzB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;wBAChD,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;wBAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;oBACrC,CAAC;oBACD,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;oBAC/C,IAAI,UAAU,KAAK,SAAS;wBAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;oBACzD,OAAO,IAAI,CAAC;gBACd,CAAC;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,UAAU,CAAC,EAAc,EAAE,GAAW;QACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACpD,uEAAuE;QACvE,mDAAmD;QACnD,IAAI,CAAC,MAAM;YAAE,KAAK,MAAM,KAAK,IAAI,OAAO;gBAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,aAAa,CAAC,EAAc,EAAE,GAAW,EAAE,OAAoB;QACrE,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,CAAC,KAAK,KAAK,OAAO,CAAC;QACxD,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5F,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QACzF,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,sEAAsE;QACtE,yDAAyD;QACzD,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,MAAM;YAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAEO,eAAe,CAAC,EAAc,EAAE,OAAe,EAAE,OAAoB;QAC3E,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC;QACtE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QACtD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACxE,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;YAChE,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,CAAC,MAAM;gBACrC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAE,EAAE,OAAO,CAAC,CAC9D,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC7C,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChE,CAAC;IAED;uCACmC;IAC3B,aAAa,CAAC,EAAc,EAAE,OAAe;QACnD,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;YAClB,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;gBACrB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;oBACb,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;wBACzB,KAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,KAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;oBAClF,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;aACjB,CAAC,CAAC;YACH,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC;IACpC,CAAC;CACF;AAED;kEACkE;AAClE,SAAS,aAAa,CAAC,IAAY,EAAE,UAA+B;IAClE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QAC/E,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;kBAEkB;AAClB,SAAS,UAAU,CAAC,EAAc,EAAE,IAAY,EAAE,IAAe;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;AACvC,CAAC;AAED,8DAA8D;AAC9D,SAAS,WAAW,CAAC,GAAa;IAChC,OAAO,GAAG,CAAC,SAAS,CAAC,IAAI,CACvB,CAAC,EAAE,EAAE,EAAE,CACL,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACtB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC;KACpE,CAAC,CACL,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAc,EAAE,IAAe;IACxD,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QAC7B,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC;KAC5C,CAAC,CAAC;AACL,CAAC;AAED;2EAC2E;AAC3E,SAAS,cAAc,CAAC,IAAc,EAAE,KAA6B;IACnE,MAAM,IAAI,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE;QACrC,KAAK,CAAC,IAAI,CAAC,CAAC;QACZ,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC3F,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACnB,CAAC;AAED;;;;;;;;oEAQoE;AACpE,MAAM,UAAU,cAAc,CAAC,GAAa;IAC1C,MAAM,IAAI,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAa,CAAC,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,kEAAkE;IAClE,iEAAiE;IACjE,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS;QAAE,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,UAAU,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAG,CAAC;QAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,SAAS;YAAE,SAAS;QAC/B,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC/B,IAAI,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC;gBAAE,QAAQ,GAAG,IAAI,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjF,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;YAC/C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;6EAC6E;AAC7E,MAAM,kBAAkB,GAAgC,IAAI,GAAG,CAAC;IAC9D,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,YAAY;IACZ,KAAK;IACL,OAAO;IACP,SAAS;IACT,SAAS;IACT,SAAS;IACT,QAAQ;IACR,UAAU;IACV,WAAW;IACX,UAAU;IACV,UAAU;IACV,YAAY;IACZ,QAAQ;IACR,OAAO;IACP,WAAW;IACX,QAAQ;IACR,WAAW;IACX,YAAY;IACZ,SAAS;IACT,YAAY;IACZ,WAAW;IACX,UAAU;IACV,WAAW;IACX,aAAa;IACb,SAAS;IACT,cAAc;IACd,MAAM;IACN,KAAK;IACL,aAAa;CACd,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,kBAAkB,GAAgC,IAAI,GAAG,CAAC;IAC9D,SAAS;IACT,QAAQ;IACR,UAAU;IACV,IAAI;IACJ,OAAO;IACP,SAAS;IACT,KAAK;IACL,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,OAAO;IACP,UAAU;IACV,UAAU;IACV,WAAW;IACX,UAAU;CACX,CAAC,CAAC;AAEH;;;;;;;;uCAQuC;AACvC,MAAM,UAAU,oBAAoB,CAClC,GAAa,EACb,WAAuC,EACvC,SAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,GAAG,CAAC,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;YAClC,IAAI,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,IAAI;gBAAE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;YAAE,SAAS;QAC3F,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,YAAY;oBACf,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;wBAAE,OAAO,KAAK,CAAC;oBACrC,MAAM;gBACR,KAAK,KAAK;oBACR,0DAA0D;oBAC1D,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;wBAAE,OAAO,KAAK,CAAC;oBACjE,MAAM;gBACR,KAAK,OAAO;oBACV,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;wBAAE,OAAO,KAAK,CAAC;oBACjD,MAAM;gBACR,KAAK,SAAS;oBACZ,yDAAyD;oBACzD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;wBAAE,OAAO,KAAK,CAAC;oBAC3E,MAAM;gBACR,KAAK,cAAc,EAAE,CAAC;oBACpB,+DAA+D;oBAC/D,6DAA6D;oBAC7D,qBAAqB;oBACrB,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;oBACjF,IACE,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;wBACnC,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,CAAC;wBACxD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;wBAE9C,OAAO,KAAK,CAAC;oBACf,MAAM;gBACR,CAAC;gBACD,KAAK,MAAM;oBACT,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACrB,MAAM;gBACR,KAAK,KAAK;oBACR,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC;oBAC1C,MAAM;gBACR,KAAK,aAAa,EAAE,CAAC;oBACnB,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,KAAK,KAAK,SAAS;wBAAE,OAAO,KAAK,CAAC;oBACtC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;oBACrB,MAAM;gBACR,CAAC;YACH,CAAC;YACD,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE;YAClC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAClD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC5D,IAAI,SAAS,KAAK,IAAI,IAAI,eAAe,CAAC,SAAS,EAAE,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACtE,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,sEAAsE;IACtE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClB,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/backend/stack-observations.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/backend/stack-observations.test.js

@@ -0,0 +1,233 @@
+import { expect, test } from "vitest";
+import { DYN, F64, STRING, VOID, } from "../ir/ir.js";
+import { captureFreeFunctions, observesStacks } from "./stack-observations.js";
+const loc = { file: "stack-observations.ts", start: 0, end: 0 };
+const ERROR = { kind: "object", className: "%Error" };
+const err = { loc, kind: "varRef", localId: "e", type: ERROR };
+const stackRead = {
+    loc,
+    kind: "exprStmt",
+    expr: { loc, kind: "libCall", fn: "error.stack", args: [err], type: STRING },
+};
+const call = (callee) => ({
+    loc,
+    kind: "exprStmt",
+    expr: { loc, kind: "call", callee, args: [], type: VOID },
+});
+const throwStmt = { loc, kind: "throw", value: err };
+const ret = { loc, kind: "return", value: null };
+const fn = (name, body) => ({
+    loc,
+    name,
+    params: [],
+    locals: [],
+    returnType: VOID,
+    body,
+});
+const mod = (functions, extra = {}) => ({
+    irVersion: 17,
+    sourceFile: "stack-observations.ts",
+    entry: "%main",
+    functions,
+    classes: [],
+    records: [],
+    unions: [],
+    globals: [],
+    ...extra,
+});
+test("a reachable stack read is observed", () => {
+    expect(observesStacks(mod([fn("%main", [call("parse")]), fn("parse", [stackRead])]))).toBe(true);
+});
+test("a stack read on a checked-dynamic value is observed", () => {
+    const value = { loc, kind: "varRef", localId: "d", type: DYN };
+    const read = (key) => ({
+        loc,
+        kind: "exprStmt",
+        expr: {
+            loc,
+            kind: "dynKeyGet",
+            value,
+            key: { loc, kind: "strLit", value: key, type: STRING },
+            type: DYN,
+        },
+    });
+    expect(observesStacks(mod([fn("%main", [read("stack")])]))).toBe(true);
+    expect(observesStacks(mod([fn("%main", [read("message")])]))).toBe(false);
+});
+test("a computed key reads the stack when the program spells it", () => {
+    const value = { loc, kind: "varRef", localId: "d", type: DYN };
+    const key = { loc, kind: "varRef", localId: "k", type: STRING };
+    const computed = {
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "dynKeyGet", value, key, type: DYN },
+    };
+    const spelled = {
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "strLit", value: "stack", type: STRING },
+    };
+    expect(observesStacks(mod([fn("%main", [computed, spelled])]))).toBe(true);
+    expect(observesStacks(mod([fn("%main", [computed])]))).toBe(false);
+});
+test('a computed key that cannot be "stack" reads no stack', () => {
+    const value = { loc, kind: "varRef", localId: "d", type: DYN };
+    const spelled = {
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "strLit", value: "stack", type: STRING },
+    };
+    const read = (key) => ({
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "dynKeyGet", value, key, type: DYN },
+    });
+    const index = { loc, kind: "varRef", localId: "i", type: F64 };
+    const indexText = { loc, kind: "toString", operand: index, type: STRING };
+    // A number key, and a key converted from one.
+    expect(observesStacks(mod([fn("%main", [read(index), spelled])]))).toBe(false);
+    expect(observesStacks(mod([fn("%main", [read(indexText), spelled])]))).toBe(false);
+    // An immutable local answers with its initializer (the shape of the
+    // dispatch helpers' formatted index keys).
+    const key = { loc, kind: "varRef", localId: "key", type: STRING };
+    const local = (init, mutable = false) => ({
+        ...fn("%main", [{ loc, kind: "varDecl", localId: "key", init }, read(key), spelled]),
+        locals: [{ id: "key", name: "key", type: STRING, mutable }],
+    });
+    expect(observesStacks(mod([local(indexText)]))).toBe(false);
+    expect(observesStacks(mod([local(indexText, true)]))).toBe(true);
+    // A parameter of a function called by name answers with its arguments.
+    const helper = {
+        ...fn("readKey", [read(key)]),
+        params: [{ localId: "key", name: "key", type: STRING }],
+        locals: [{ id: "key", name: "key", type: STRING, mutable: false }],
+    };
+    const callWith = (arg) => ({
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "call", callee: "readKey", args: [arg], type: DYN },
+    });
+    const numbers = mod([fn("%main", [callWith(indexText), spelled]), helper]);
+    expect(observesStacks(numbers)).toBe(false);
+    const stack = mod([
+        fn("%main", [
+            callWith(indexText),
+            callWith({ loc, kind: "strLit", value: "stack", type: STRING }),
+        ]),
+        helper,
+    ]);
+    expect(observesStacks(stack)).toBe(true);
+});
+test("a key forwarded through functions with several call sites is searched once", () => {
+    // f0 calls f1 twice, f1 calls f2 twice, and so on, each passing its
+    // parameter on: 2^40 call paths reach the read in f40.
+    const depth = 40;
+    const value = { loc, kind: "varRef", localId: "d", type: DYN };
+    const key = { loc, kind: "varRef", localId: "key", type: STRING };
+    const forward = (callee) => ({
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "call", callee, args: [key], type: VOID },
+    });
+    const chain = (root) => {
+        const functions = [];
+        for (let i = 0; i <= depth; i++) {
+            const body = i < depth
+                ? [forward(`f${i + 1}`), forward(`f${i + 1}`)]
+                : [{ loc, kind: "exprStmt", expr: { loc, kind: "dynKeyGet", value, key, type: DYN } }];
+            functions.push({
+                ...fn(`f${i}`, body),
+                params: [{ localId: "key", name: "key", type: STRING }],
+                locals: [{ id: "key", name: "key", type: STRING, mutable: false }],
+            });
+        }
+        const spelled = {
+            loc,
+            kind: "exprStmt",
+            expr: { loc, kind: "strLit", value: "stack", type: STRING },
+        };
+        const start = {
+            loc,
+            kind: "exprStmt",
+            expr: { loc, kind: "call", callee: "f0", args: [root], type: VOID },
+        };
+        return mod([fn("%main", [start, spelled]), ...functions]);
+    };
+    expect(observesStacks(chain({ loc, kind: "strLit", value: "message", type: STRING }))).toBe(false);
+    expect(observesStacks(chain({ loc, kind: "strLit", value: "stack", type: STRING }))).toBe(true);
+});
+test("programs without stack reads are not", () => {
+    expect(observesStacks(mod([fn("%main", [call("helper")]), fn("helper", [ret])]))).toBe(false);
+});
+test("reads after an unconditional throw or return never run", () => {
+    expect(observesStacks(mod([fn("%main", [throwStmt, stackRead])]))).toBe(false);
+    expect(observesStacks(mod([fn("%main", [ret, call("parse")]), fn("parse", [stackRead])]))).toBe(false);
+    // A terminator ends only its own list: the outer list continues.
+    const cond = { loc, kind: "numLit", value: 1, type: F64 };
+    expect(observesStacks(mod([fn("%main", [{ kind: "if", cond, then: [ret], else_: null, loc }, stackRead])]))).toBe(true);
+});
+test("functions referenced only from dead code are unreached", () => {
+    // The production React shape: a DEV-only body behind a throw stub calls
+    // the stack parser, and a closure created after the stub reaches it too.
+    const closure = {
+        loc,
+        kind: "assign",
+        localId: "replacer",
+        value: {
+            loc,
+            kind: "closure",
+            fnName: "replacer",
+            captures: [],
+            type: { kind: "func", params: [], ret: VOID },
+        },
+    };
+    const program = mod([
+        fn("%main", [call("outline")]),
+        fn("outline", [throwStmt, closure, call("parse")]),
+        fn("replacer", [call("parse")]),
+        fn("parse", [stackRead]),
+    ]);
+    expect(observesStacks(program)).toBe(false);
+    // The same closure created before the stub keeps the read reachable.
+    const live = mod([
+        fn("%main", [call("outline")]),
+        fn("outline", [closure, throwStmt]),
+        fn("replacer", [call("parse")]),
+        fn("parse", [stackRead]),
+    ]);
+    expect(observesStacks(live)).toBe(true);
+});
+test("class methods are roots", () => {
+    const program = mod([fn("%main", [ret]), fn("%Parser.read", [stackRead])], {
+        classes: [
+            { name: "Parser", fields: [], methods: ["read"] },
+        ],
+    });
+    expect(observesStacks(program)).toBe(true);
+});
+test("leaf functions that cannot create an Error need no frame", () => {
+    const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
+    const add = {
+        loc,
+        kind: "return",
+        value: { loc, kind: "bin", op: "+", left: num(1), right: num(2), type: F64 },
+    };
+    const construct = {
+        loc,
+        kind: "exprStmt",
+        expr: { loc, kind: "libCall", fn: "error.new", args: [], type: ERROR },
+    };
+    const program = mod([
+        fn("%main", [call("leaf"), call("caller"), call("creates"), call("viaCreates")]),
+        fn("leaf", [add]),
+        fn("caller", [call("leaf"), add]),
+        fn("creates", [construct]),
+        fn("viaCreates", [call("creates")]),
+        fn("recursive", [call("recursive")]),
+    ]);
+    const free = captureFreeFunctions(program, new Set(["recursive"]), null);
+    expect([...free].sort()).toEqual(["caller", "leaf"]);
+    // A worker program keeps every frame.
+    expect(captureFreeFunctions({ ...program, workers: true }, null, null).size).toBe(0);
+});
+//# sourceMappingURL=stack-observations.test.js.map

package/dist/backend/stack-observations.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack-observations.test.js","sourceRoot":"","sources":["../../src/backend/stack-observations.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EACL,GAAG,EACH,GAAG,EACH,MAAM,EACN,IAAI,GAKL,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE/E,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAChE,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAW,CAAC;AAC/D,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACvE,MAAM,SAAS,GAAW;IACxB,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;CAC7E,CAAC;AACF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;IACxC,GAAG;IACH,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;CAC1D,CAAC,CAAC;AACH,MAAM,SAAS,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AAC7D,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzD,MAAM,EAAE,GAAG,CAAC,IAAY,EAAE,IAAc,EAAc,EAAE,CAAC,CAAC;IACxD,GAAG;IACH,IAAI;IACJ,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,IAAI;IAChB,IAAI;CACL,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,SAAuB,EAAE,KAAK,GAAsB,EAAE,EAAY,EAAE,CAAC,CAAC;IACjF,SAAS,EAAE,EAAE;IACb,UAAU,EAAE,uBAAuB;IACnC,KAAK,EAAE,OAAO;IACd,SAAS;IACT,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,EAAE;IACX,MAAM,EAAE,EAAE;IACV,OAAO,EAAE,EAAE;IACX,GAAG,KAAK;CACT,CAAC,CAAC;AAEH,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAC9C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAC/D,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,IAAI,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QACrC,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,GAAG;YACH,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,GAAG,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE;YACtD,IAAI,EAAE,GAAG;SACV;KACF,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxE,MAAM,QAAQ,GAAW;QACvB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;KACxD,CAAC;IACF,MAAM,OAAO,GAAW;QACtB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;KAC5D,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;IAChE,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,OAAO,GAAW;QACtB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;KAC5D,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QACrC,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE;KACxD,CAAC,CAAC;IACH,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,SAAS,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAClF,8CAA8C;IAC9C,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnF,oEAAoE;IACpE,2CAA2C;IAC3C,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,OAAO,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC;QAC5D,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;QACpF,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;KAC5D,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,uEAAuE;IACvE,MAAM,MAAM,GAAe;QACzB,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACvD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;KACnE,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,CAAC;QACzC,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;KACvE,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,GAAG,CAAC;QAChB,EAAE,CAAC,OAAO,EAAE;YACV,QAAQ,CAAC,SAAS,CAAC;YACnB,QAAQ,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;SAChE,CAAC;QACF,MAAM;KACP,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,oEAAoE;IACpE,uDAAuD;IACvD,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,GAAG,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC3C,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE;KAC7D,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,IAAY,EAAY,EAAE;QACvC,MAAM,SAAS,GAAiB,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,IAAI,GACR,CAAC,GAAG,KAAK;gBACP,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC9C,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;YAC3F,SAAS,CAAC,IAAI,CAAC;gBACb,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC;gBACpB,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBACvD,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;aACnE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAW;YACtB,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE;SAC5D,CAAC;QACF,MAAM,KAAK,GAAW;YACpB,GAAG;YACH,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE;SACpE,CAAC;QACF,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACzF,KAAK,CACN,CAAC;IACF,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAClG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;IAChD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChG,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/E,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAC7F,KAAK,CACN,CAAC;IACF,iEAAiE;IACjE,MAAM,IAAI,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAClE,MAAM,CACJ,cAAc,CACZ,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CACrF,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,wEAAwE;IACxE,yEAAyE;IACzE,MAAM,OAAO,GAAW;QACtB,GAAG;QACH,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,UAAU;QACnB,KAAK,EAAE;YACL,GAAG;YACH,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,UAAU;YAClB,QAAQ,EAAE,EAAE;YACZ,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE;SAC9C;KACF,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC;QAClB,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9B,EAAE,CAAC,SAAS,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/B,EAAE,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;KACzB,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,qEAAqE;IACrE,MAAM,IAAI,GAAG,GAAG,CAAC;QACf,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9B,EAAE,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACnC,EAAE,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;QAC/B,EAAE,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;KACzB,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACnC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;QACzE,OAAO,EAAE;YACP,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAEtC;SACV;KACF,CAAC,CAAC;IACH,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACnF,MAAM,GAAG,GAAW;QAClB,GAAG;QACH,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;KAC7E,CAAC;IACF,MAAM,SAAS,GAAW;QACxB,GAAG;QACH,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;KACvE,CAAC;IACF,MAAM,OAAO,GAAG,GAAG,CAAC;QAClB,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAChF,EAAE,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;QACjB,EAAE,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,EAAE,CAAC,SAAS,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1B,EAAE,CAAC,YAAY,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACnC,EAAE,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;KACrC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,sCAAsC;IACtC,MAAM,CAAC,oBAAoB,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACvF,CAAC,CAAC,CAAC"}