@scriptc/compiler 0.1.7 → 0.2.1

package/dist/ir/scalar-records.js

@@ -1,31 +1,15 @@
 import { F64, isRefCounted } from "./ir.js";
+import { everyExpr, everyExprChild, everyStmtChild, everyStmtList, transformStmtList } from "./traverse.js";
 const MAX_FIELDS = 4;
 const MAX_CALLEE_NODES = 256;
 const MAX_INLINE_NODES = 1024;
-/** IR is a plain tree. Types and source locations are metadata, not uses. */
-function everyNode(value, visit) {
-    if (Array.isArray(value))
-        return value.every((v) => everyNode(v, visit));
-    if (value === null || typeof value !== "object")
-        return true;
-    const node = value;
-    return visit(node) && Object.entries(node).every(([key, child]) => key === "type" || key === "loc" || everyNode(child, visit));
-}
-function mapTree(value, visit) {
-    if (Array.isArray(value))
-        return value.map((v) => mapTree(v, visit));
-    if (value === null || typeof value !== "object")
-        return value;
-    const node = visit(value);
-    return Object.fromEntries(Object.entries(node).map(([key, child]) => [key, key === "type" || key === "loc" ? child : mapTree(child, visit)]));
-}
 /** Splitting an expression frame must not shorten a reference temporary's
  * lifetime across later arguments, fields, or the original call itself. */
 function scalarTemporaries(value) {
-    return everyNode(value, (node) => !node["type"] || !isRefCounted(node["type"]));
+    return everyExpr(value, { expr: (expr) => !isRefCounted(expr.type), stmt: () => true });
 }
 function producer(fn, shapes) {
-    if (fn.async || fn.generator || fn.captures?.length || fn.returnType.kind !== "record")
+    if (fn.async || fn.generator || fn.captures?.length || fn.classCaptures?.length || fn.returnType.kind !== "record")
         return null;
     const shape = shapes.get(fn.returnType.shapeId);
     if (!shape || shape.tuple || shape.indexValue || shape.fields.length === 0 || shape.fields.length > MAX_FIELDS ||
@@ -38,27 +22,29 @@ function producer(fn, shapes) {
         return null;
     let size = 0;
     let returns = 0;
-    const eligible = everyNode(fn.body, (node) => {
-        if (typeof node["kind"] !== "string")
-            return true;
-        if (++size > MAX_CALLEE_NODES)
-            return false;
-        switch (node["kind"]) {
-            case "closure":
-            case "selfRef":
-            case "tryCatch":
-            case "awaitExpr":
-            case "awaitUnionExpr":
-            case "yieldExpr":
+    const eligible = everyStmtList(fn.body, {
+        expr: (expr) => {
+            if (++size > MAX_CALLEE_NODES)
                 return false;
-            case "return": {
-                returns++;
-                const value = node.value;
-                return value?.kind === "recordLit" && value.type.kind === "record" && value.type.shapeId === shape.id &&
-                    value.fields.length === shape.fields.length && value.fields.every((f) => !f.drop && !f.overflow && f.value.type.kind === "f64" && scalarTemporaries(f.value) && shape.fields.some((sf) => sf.name === f.name));
+            switch (expr.kind) {
+                case "closure":
+                case "selfRef":
+                case "awaitExpr":
+                case "awaitUnionExpr":
+                case "yieldExpr": return false;
+                default: return true;
             }
-            default: return true;
-        }
+        },
+        stmt: (stmt) => {
+            if (++size > MAX_CALLEE_NODES || stmt.kind === "tryCatch")
+                return false;
+            if (stmt.kind !== "return")
+                return true;
+            returns++;
+            const value = stmt.value;
+            return value?.kind === "recordLit" && value.type.kind === "record" && value.type.shapeId === shape.id &&
+                value.fields.length === shape.fields.length && value.fields.every((f) => !f.drop && !f.overflow && f.value.type.kind === "f64" && scalarTemporaries(f.value) && shape.fields.some((sf) => sf.name === f.name));
+        },
     });
     return eligible && returns > 0 ? { fn, shape, size } : null;
 }
@@ -67,25 +53,61 @@ function producer(fn, shapes) {
  * keeps the original object. Count declarations too: no reinitialization. */
 function fieldOnlyUses(fn, localId, shape) {
     let declarations = 0;
-    function visit(value) {
-        if (Array.isArray(value))
-            return value.every(visit);
-        if (value === null || typeof value !== "object")
-            return true;
-        const node = value;
-        if (node["kind"] === "recordGet") {
-            const read = node;
-            if (read.obj.kind === "varRef" && read.obj.localId === localId) {
-                return read.shapeId === shape.id && read.type.kind === "f64" && shape.fields.some((f) => f.name === read.field);
-            }
+    function expr(node) {
+        if (node.kind === "recordGet" && node.obj.kind === "varRef" && node.obj.localId === localId) {
+            return node.shapeId === shape.id && node.type.kind === "f64" && shape.fields.some((f) => f.name === node.field);
         }
-        if (node["localId"] === localId) {
-            if (node["kind"] !== "varDecl" || ++declarations !== 1)
-                return false;
+        switch (node.kind) {
+            case "varRef":
+            case "incDec":
+            case "assignExpr":
+                if (node.localId === localId)
+                    return false;
+                break;
+            case "closure":
+            case "classRef":
+                if (node.captures?.includes(localId))
+                    return false;
+                break;
         }
-        return Object.entries(node).every(([key, child]) => key === "type" || key === "loc" || visit(child));
+        return everyExprChild(node, expr, stmt);
     }
-    return visit(fn.body) && declarations === 1;
+    function stmt(node) {
+        switch (node.kind) {
+            case "varDecl":
+                if (node.localId === localId && ++declarations !== 1)
+                    return false;
+                break;
+            case "assign":
+            case "forOf":
+            case "rethrow":
+                if (node.localId === localId)
+                    return false;
+                break;
+        }
+        return everyStmtChild(node, expr, stmt);
+    }
+    return fn.body.every(stmt) && declarations === 1;
+}
+/** Label ids participate in the same fresh-name namespace as local ids. */
+function collectLabels(body, used) {
+    everyStmtList(body, {
+        expr: () => true,
+        stmt: (node) => {
+            switch (node.kind) {
+                case "while":
+                case "doWhile":
+                case "for":
+                case "forOf":
+                case "switch":
+                case "block":
+                    for (const label of node.labels ?? [])
+                        used.add(label);
+                    break;
+            }
+            return true;
+        },
+    });
 }
 /** Eliminate small fresh numeric result records at direct, field-only call
  * sites. This is a bounded shared backend pass, not a change to record ABI:
@@ -109,19 +131,19 @@ export function scalarizeNumericRecords(mod) {
             return fn;
         const locals = new Map(fn.locals.map((l) => [l.id, l]));
         const used = new Set([...locals.keys(), ...(mod.globals ?? []).map((g) => g.id)]);
+        collectLabels(fn.body, used);
+        // A header accepts one statement, not an inlined block. Local ids are
+        // unique within a function and fieldOnlyUses proves one declaration.
         const loopHeaders = new Set();
-        everyNode(fn.body, (node) => {
-            if (Array.isArray(node["labels"]))
-                for (const label of node["labels"])
-                    used.add(String(label));
-            // A for header accepts one declaration/assignment, not the statement
-            // block this pass produces. Leave those declarations on the heap path.
-            if (node["kind"] === "for") {
-                loopHeaders.add(node["init"]);
-                loopHeaders.add(node["update"]);
-            }
-            return true;
-        });
+        everyStmtList(fn.body, { expr: () => true, stmt: (node) => {
+                if (node.kind === "for") {
+                    if (node.init?.kind === "varDecl")
+                        loopHeaders.add(node.init.localId);
+                    if (node.update?.kind === "varDecl")
+                        loopHeaders.add(node.update.localId);
+                }
+                return true;
+            } });
         let next = 0;
         const fresh = () => {
             let id;
@@ -134,80 +156,89 @@ export function scalarizeNumericRecords(mod) {
         const added = [];
         const replacements = new Map();
         let budget = MAX_INLINE_NODES;
-        everyNode(fn.body, (node) => {
-            if (node["kind"] !== "varDecl" || loopHeaders.has(node))
-                return true;
-            const decl = node;
-            const local = locals.get(decl.localId);
-            const call = decl.init;
-            if (!local || local.mutable || local.boxed || local.tdz || local.type.kind !== "record" || call?.kind !== "call")
+        everyStmtList(fn.body, { expr: () => true, stmt: (decl) => {
+                if (decl.kind !== "varDecl" || loopHeaders.has(decl.localId))
+                    return true;
+                const local = locals.get(decl.localId);
+                const call = decl.init;
+                if (!local || local.mutable || local.boxed || local.tdz || local.type.kind !== "record" || call?.kind !== "call")
+                    return true;
+                const p = producers.get(call.callee);
+                if (!p || p.fn.name === fn.name || p.size > budget || p.shape.id !== local.type.shapeId ||
+                    call.args.length !== p.fn.params.length || !call.args.every(scalarTemporaries) || !fieldOnlyUses(fn, local.id, p.shape))
+                    return true;
+                budget -= p.size;
+                for (const l of p.fn.locals)
+                    used.add(l.id);
+                collectLabels(p.fn.body, used);
+                const fields = new Map(p.shape.fields.map((f) => [f.name, fresh()]));
+                const renamed = new Map(p.fn.locals.map((l) => [l.id, fresh()]));
+                const labels = new Map();
+                const exit = fresh();
+                const label = (name) => {
+                    if (!labels.has(name))
+                        labels.set(name, fresh());
+                    return labels.get(name);
+                };
+                for (const f of p.shape.fields)
+                    added.push({ id: fields.get(f.name), name: `${local.name}.${f.name}`, type: F64, mutable: true });
+                for (const l of p.fn.locals)
+                    added.push({ ...l, id: renamed.get(l.id) });
+                const body = transformStmtList(p.fn.body, {
+                    expr: (expr) => {
+                        switch (expr.kind) {
+                            case "varRef": return { ...expr, localId: renamed.get(expr.localId) ?? expr.localId };
+                            case "incDec": return { ...expr, localId: renamed.get(expr.localId) ?? expr.localId };
+                            case "assignExpr": return { ...expr, localId: renamed.get(expr.localId) ?? expr.localId };
+                            default: return expr;
+                        }
+                    },
+                    stmt: (stmt) => {
+                        switch (stmt.kind) {
+                            case "return": {
+                                const literal = stmt.value;
+                                if (literal?.kind !== "recordLit")
+                                    return stmt; // producer proved this shape
+                                const assignments = literal.fields.map((f) => ({ kind: "assign", localId: fields.get(f.name), value: f.value, loc: stmt.loc }));
+                                return { kind: "block", body: [...assignments, { kind: "break", label: exit, loc: stmt.loc }], loc: stmt.loc };
+                            }
+                            case "varDecl": return { ...stmt, localId: renamed.get(stmt.localId) ?? stmt.localId };
+                            case "assign": return { ...stmt, localId: renamed.get(stmt.localId) ?? stmt.localId };
+                            case "forOf": return stmt.labels
+                                ? { ...stmt, localId: renamed.get(stmt.localId) ?? stmt.localId, labels: stmt.labels.map(label) }
+                                : { ...stmt, localId: renamed.get(stmt.localId) ?? stmt.localId };
+                            case "break": return stmt.label && stmt.label !== exit ? { ...stmt, label: label(stmt.label) } : stmt;
+                            case "continue": return stmt.label ? { ...stmt, label: label(stmt.label) } : stmt;
+                            case "while": return stmt.labels ? { ...stmt, labels: stmt.labels.map(label) } : stmt;
+                            case "doWhile": return stmt.labels ? { ...stmt, labels: stmt.labels.map(label) } : stmt;
+                            case "for": return stmt.labels ? { ...stmt, labels: stmt.labels.map(label) } : stmt;
+                            case "switch": return stmt.labels ? { ...stmt, labels: stmt.labels.map(label) } : stmt;
+                            case "block": return stmt.labels ? { ...stmt, labels: stmt.labels.map(label) } : stmt;
+                            default: return stmt;
+                        }
+                    },
+                });
+                const parameters = p.fn.params.map((param, i) => ({ kind: "varDecl", localId: renamed.get(param.localId), init: call.args[i], loc: decl.loc }));
+                const declarations = [...fields.values()].map((id) => ({ kind: "varDecl", localId: id, init: null, loc: decl.loc }));
+                replacements.set(local.id, { fields, body: [...declarations, { kind: "block", labels: [exit], body: [...parameters, ...body], loc: decl.loc }] });
                 return true;
-            const p = producers.get(call.callee);
-            if (!p || p.fn.name === fn.name || p.size > budget || p.shape.id !== local.type.shapeId ||
-                call.args.length !== p.fn.params.length || !scalarTemporaries(call.args) || !fieldOnlyUses(fn, local.id, p.shape))
-                return true;
-            budget -= p.size;
-            for (const l of p.fn.locals)
-                used.add(l.id);
-            everyNode(p.fn.body, (n) => {
-                if (Array.isArray(n["labels"]))
-                    for (const l of n["labels"])
-                        used.add(String(l));
-                return true;
-            });
-            const fields = new Map(p.shape.fields.map((f) => [f.name, fresh()]));
-            const renamed = new Map(p.fn.locals.map((l) => [l.id, fresh()]));
-            const labels = new Map();
-            const exit = fresh();
-            const label = (name) => {
-                if (!labels.has(name))
-                    labels.set(name, fresh());
-                return labels.get(name);
-            };
-            for (const f of p.shape.fields)
-                added.push({ id: fields.get(f.name), name: `${local.name}.${f.name}`, type: F64, mutable: true });
-            for (const l of p.fn.locals)
-                added.push({ ...l, id: renamed.get(l.id) });
-            const body = mapTree(p.fn.body, (n) => {
-                if (n["kind"] === "return") {
-                    const ret = n;
-                    const literal = ret.value;
-                    const assignments = literal.fields.map((f) => ({ kind: "assign", localId: fields.get(f.name), value: f.value, loc: ret.loc }));
-                    return { kind: "block", body: [...assignments, { kind: "break", label: exit, loc: ret.loc }], loc: ret.loc };
-                }
-                const out = { ...n };
-                if (typeof out["localId"] === "string" && renamed.has(out["localId"]))
-                    out["localId"] = renamed.get(out["localId"]);
-                if (typeof out["label"] === "string" && out["label"] !== exit)
-                    out["label"] = label(out["label"]);
-                if (Array.isArray(out["labels"]))
-                    out["labels"] = out["labels"].map((l) => label(String(l)));
-                return out;
-            });
-            const parameters = p.fn.params.map((param, i) => ({ kind: "varDecl", localId: renamed.get(param.localId), init: call.args[i], loc: decl.loc }));
-            const declarations = [...fields.values()].map((id) => ({ kind: "varDecl", localId: id, init: null, loc: decl.loc }));
-            replacements.set(local.id, { fields, body: [...declarations, { kind: "block", labels: [exit], body: [...parameters, ...body], loc: decl.loc }] });
-            return true;
-        });
+            } });
         if (replacements.size === 0)
             return fn;
         changed = true;
-        const body = mapTree(fn.body, (node) => {
-            if (node["kind"] === "varDecl") {
-                const decl = node;
-                const replacement = replacements.get(decl.localId);
-                if (replacement)
-                    return { kind: "block", body: replacement.body, loc: decl.loc };
-            }
-            if (node["kind"] === "recordGet") {
-                const read = node;
-                if (read.obj.kind === "varRef") {
-                    const id = replacements.get(read.obj.localId)?.fields.get(read.field);
+        const body = transformStmtList(fn.body, {
+            stmt: (stmt) => {
+                const replacement = stmt.kind === "varDecl" ? replacements.get(stmt.localId) : undefined;
+                return replacement ? { kind: "block", body: replacement.body, loc: stmt.loc } : stmt;
+            },
+            expr: (expr) => {
+                if (expr.kind === "recordGet" && expr.obj.kind === "varRef") {
+                    const id = replacements.get(expr.obj.localId)?.fields.get(expr.field);
                     if (id)
-                        return { kind: "varRef", localId: id, type: F64, loc: read.loc };
+                        return { kind: "varRef", localId: id, type: F64, loc: expr.loc };
                 }
-            }
-            return node;
+                return expr;
+            },
         });
         return { ...fn, locals: [...fn.locals.filter((l) => !replacements.has(l.id)), ...added], body };
     });

package/dist/ir/scalar-records.js.map

@@ -1 +1 @@
-{"version":3,"file":"scalar-records.js","sourceRoot":"","sources":["../../src/ir/scalar-records.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,YAAY,EAA2G,MAAM,SAAS,CAAC;AAGrJ,MAAM,UAAU,GAAG,CAAC,CAAC;AACrB,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B,6EAA6E;AAC7E,SAAS,SAAS,CAAC,KAAc,EAAE,KAA8B;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC7D,MAAM,IAAI,GAAG,KAAa,CAAC;IAC3B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAChE,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,OAAO,CAAI,KAAQ,EAAE,KAA2B;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAM,CAAC;IAC1E,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAa,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAClE,CAAC,GAAG,EAAE,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAM,CAAC;AAClF,CAAC;AAID;2EAC2E;AAC3E,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAW,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,QAAQ,CAAC,EAAc,EAAE,MAA0C;IAC1E,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACpG,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU;QAC1G,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,wEAAwE;IACxE,4EAA4E;IAC5E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC5F,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3C,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAClD,IAAI,EAAE,IAAI,GAAG,gBAAgB;YAAE,OAAO,KAAK,CAAC;QAC5C,QAAQ,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,KAAK,SAAS,CAAC;YAAC,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU,CAAC;YAChD,KAAK,WAAW,CAAC;YAAC,KAAK,gBAAgB,CAAC;YAAC,KAAK,WAAW;gBACvD,OAAO,KAAK,CAAC;YACf,KAAK,QAAQ,EAAE,CAAC;gBACd,OAAO,EAAE,CAAC;gBACV,MAAM,KAAK,GAAI,IAA4C,CAAC,KAAK,CAAC;gBAClE,OAAO,KAAK,EAAE,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;oBACnG,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CACtE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5I,CAAC;YACD,SAAS,OAAO,IAAI,CAAC;QACvB,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;;6EAE6E;AAC7E,SAAS,aAAa,CAAC,EAAc,EAAE,OAAe,EAAE,KAAoB;IAC1E,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,SAAS,KAAK,CAAC,KAAc;QAC3B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC7D,MAAM,IAAI,GAAG,KAAa,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,WAAW,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAA8C,CAAC;YAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC/D,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC;YAClH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,OAAO,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,EAAE,YAAY,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;QACvE,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC;AAC9C,CAAC;AAOD;;;;;2EAK2E;AAC3E,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAc,EAAE;QACrD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAW,CAAC;QACvC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAAE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/F,qEAAqE;YACrE,uEAAuE;YACvE,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,EAAE,CAAC;gBAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;gBAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAC,CAAC;YAC/F,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,GAAW,EAAE;YACzB,IAAI,EAAU,CAAC;YACf,GAAG,CAAC;gBAAC,EAAE,GAAG,WAAW,IAAI,EAAE,EAAE,CAAC;YAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YACtD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;QACpD,IAAI,MAAM,GAAG,gBAAgB,CAAC;QAC9B,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YAC1B,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACrE,MAAM,IAAI,GAAG,IAA4C,CAAC;YAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;YAC9H,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO;gBACnF,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YACnI,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC;YACjB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5C,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE;gBACzB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;oBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACjF,OAAO,IAAI,CAAC;YACd,CAAC,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACjE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE;gBACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YAC3B,CAAC,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACnI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC;YAC1E,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAQ,EAAE;gBAC1C,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAC3B,MAAM,GAAG,GAAG,CAAwC,CAAC;oBACrD,MAAM,OAAO,GAAG,GAAG,CAAC,KAA+C,CAAC;oBACpE,MAAM,WAAW,GAAa,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;oBAC1I,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;gBAC/G,CAAC;gBACD,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBACrB,IAAI,OAAO,GAAG,CAAC,SAAS,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAAE,GAAG,CAAC,SAAS,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;gBACpH,IAAI,OAAO,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI;oBAAE,GAAG,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;gBAClG,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7F,OAAO,GAAG,CAAC;YACb,CAAC,CAAC,CAAC;YACH,MAAM,UAAU,GAAa,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5J,MAAM,YAAY,GAAa,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC/H,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAClJ,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACvC,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,EAAQ,EAAE;YAC3C,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAA4C,CAAC;gBAC1D,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACnD,IAAI,WAAW;oBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;YACnF,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,WAAW,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,IAA8C,CAAC;gBAC5D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC/B,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACtE,IAAI,EAAE;wBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC3E,CAAC;YACH,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC"}
+{"version":3,"file":"scalar-records.js","sourceRoot":"","sources":["../../src/ir/scalar-records.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,YAAY,EAA8F,MAAM,SAAS,CAAC;AACxI,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAE5G,MAAM,UAAU,GAAG,CAAC,CAAC;AACrB,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAI9B;2EAC2E;AAC3E,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,QAAQ,CAAC,EAAc,EAAE,MAA0C;IAC1E,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC,aAAa,EAAE,MAAM,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAChI,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,UAAU;QAC1G,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACjE,wEAAwE;IACxE,4EAA4E;IAC5E,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC5F,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE;QACtC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,EAAE,IAAI,GAAG,gBAAgB;gBAAE,OAAO,KAAK,CAAC;YAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,SAAS,CAAC;gBAAC,KAAK,SAAS,CAAC;gBAAC,KAAK,WAAW,CAAC;gBAAC,KAAK,gBAAgB,CAAC;gBAAC,KAAK,WAAW,EAAE,OAAO,KAAK,CAAC;gBACxG,SAAS,OAAO,IAAI,CAAC;YACvB,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,IAAI,EAAE,IAAI,GAAG,gBAAgB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;gBAAE,OAAO,KAAK,CAAC;YACxE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC;YACxC,OAAO,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,OAAO,KAAK,EAAE,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE;gBACnG,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CACtE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5I,CAAC;KACF,CAAC,CAAC;IACH,OAAO,QAAQ,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC;AAED;;6EAE6E;AAC7E,SAAS,aAAa,CAAC,EAAc,EAAE,OAAe,EAAE,KAAoB;IAC1E,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,SAAS,IAAI,CAAC,IAAY;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC5F,OAAO,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC;QAClH,CAAC;QACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC;YAAC,KAAK,QAAQ,CAAC;YAAC,KAAK,YAAY;gBAC7C,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,KAAK,CAAC;gBAC3C,MAAM;YACR,KAAK,SAAS,CAAC;YAAC,KAAK,UAAU;gBAC7B,IAAI,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACnD,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,SAAS,IAAI,CAAC,IAAY;QACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,EAAE,YAAY,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACnE,MAAM;YACR,KAAK,QAAQ,CAAC;YAAC,KAAK,OAAO,CAAC;YAAC,KAAK,SAAS;gBACzC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO;oBAAE,OAAO,KAAK,CAAC;gBAC3C,MAAM;QACV,CAAC;QACD,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC;AACnD,CAAC;AAED,2EAA2E;AAC3E,SAAS,aAAa,CAAC,IAAc,EAAE,IAAiB;IACtD,aAAa,CAAC,IAAI,EAAE;QAClB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI;QAChB,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;YACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,OAAO,CAAC;gBAAC,KAAK,SAAS,CAAC;gBAAC,KAAK,KAAK,CAAC;gBAAC,KAAK,OAAO,CAAC;gBAAC,KAAK,QAAQ,CAAC;gBAAC,KAAK,OAAO;oBACjF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE;wBAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACvD,MAAM;YACV,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAOD;;;;;2EAK2E;AAC3E,MAAM,UAAU,uBAAuB,CAAC,GAAa;IACnD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC/B,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAc,EAAE;QACrD,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClF,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC7B,sEAAsE;QACtE,qEAAqE;QACrE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACxD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBACxB,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS;wBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;oBACtE,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS;wBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC5E,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC,EAAE,CAAC,CAAC;QACL,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,MAAM,KAAK,GAAG,GAAW,EAAE;YACzB,IAAI,EAAU,CAAC;YACf,GAAG,CAAC;gBAAC,EAAE,GAAG,WAAW,IAAI,EAAE,EAAE,CAAC;YAAC,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YACtD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,OAAO,EAAE,CAAC;QACZ,CAAC,CAAC;QACF,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;QACpD,IAAI,MAAM,GAAG,gBAAgB,CAAC;QAC9B,aAAa,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACxD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;oBAAE,OAAO,IAAI,CAAC;gBAC1E,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;gBACvB,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,MAAM;oBAAE,OAAO,IAAI,CAAC;gBAC9H,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACrC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,OAAO;oBACnF,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACzI,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC;gBACjB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5C,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC/B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBACrE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;gBACjE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;gBACzC,MAAM,IAAI,GAAG,KAAK,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE;oBACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;oBACjD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;gBAC3B,CAAC,CAAC;gBACF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;gBACnI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,CAAE,EAAE,EAAE,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC;gBAC3E,MAAM,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE;oBACxC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;wBACb,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;4BAClB,KAAK,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACtF,KAAK,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACtF,KAAK,YAAY,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BAC1F,SAAS,OAAO,IAAI,CAAC;wBACvB,CAAC;oBACH,CAAC;oBACD,IAAI,EAAE,CAAC,IAAI,EAAU,EAAE;wBACrB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;4BAClB,KAAK,QAAQ,EAAE,CAAC;gCACd,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;gCAC3B,IAAI,OAAO,EAAE,IAAI,KAAK,WAAW;oCAAE,OAAO,IAAI,CAAC,CAAC,6BAA6B;gCAC7E,MAAM,WAAW,GAAa,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAE,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gCACnJ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;4BACjH,CAAC;4BACD,KAAK,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACvF,KAAK,QAAQ,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACtF,KAAK,OAAO,EAAE,OAAO,IAAI,CAAC,MAAM;gCAC9B,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;gCACjG,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;4BACpE,KAAK,OAAO,EAAE,OAAO,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACtG,KAAK,UAAU,EAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BAClF,KAAK,OAAO,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACtF,KAAK,SAAS,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACxF,KAAK,KAAK,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACpF,KAAK,QAAQ,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACvF,KAAK,OAAO,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;4BACtF,SAAS,OAAO,IAAI,CAAC;wBACvB,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;gBACH,MAAM,UAAU,GAAa,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACpK,MAAM,YAAY,GAAa,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACxI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,UAAU,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClJ,OAAO,IAAI,CAAC;YACd,CAAC,EAAE,CAAC,CAAC;QACL,IAAI,YAAY,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACvC,OAAO,GAAG,IAAI,CAAC;QACf,MAAM,IAAI,GAAG,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE;YACtC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACzF,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACvF,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;gBACb,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC5D,MAAM,EAAE,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACtE,IAAI,EAAE;wBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;gBAC3E,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;SACF,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,EAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACnG,CAAC,CAAC,CAAC;IACH,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC"}

package/dist/ir/scalar-records.test.js

@@ -10,7 +10,7 @@ const call = (callee, args = [], type = F64) => ({ kind: "call", callee, args, t
 const read = (localId, field = "a") => ({ kind: "recordGet", obj: ref(localId, record), shapeId: "r0", field, type: F64, loc });
 function fixture() {
     return {
-        irVersion: 11, sourceFile: loc.file, entry: "main",
+        irVersion: 13, sourceFile: loc.file, entry: "main",
         records: [{ id: "r0", fields: [{ name: "a", type: F64 }, { name: "b", type: F64 }] }],
         functions: [
             {

package/dist/ir/serialize.d.ts

@@ -1,4 +1,6 @@
 import type { IrModule } from "./ir.js";
-export declare const IR_VERSION: 11;
-export declare function serializeModule(mod: IrModule): string;
+export declare const IR_VERSION: 13;
+/** Compiler artifacts use compact JSON to keep large graphs below the host's
+ * string size limit. API consumers can retain the readable default. */
+export declare function serializeModule(mod: IrModule, compact?: boolean): string;
 export declare function deserializeModule(json: string): IrModule;

package/dist/ir/serialize.js

@@ -1,29 +1,48 @@
-import { InternalCompilerError } from "../errors.js";
-export const IR_VERSION = 11;
-export function serializeModule(mod) {
-    return JSON.stringify(mod, (_key, value) => {
-        if (typeof value === "number" && !Number.isFinite(value)) {
-            // ±Infinity numLits are real (the global `Infinity`); JSON cannot
-            // spell them, so they ride a sentinel object no other IR value can
-            // be (numbers never serialize as objects). NaN stays a bug.
-            if (Number.isNaN(value))
-                throw new InternalCompilerError("IR contains NaN; refusing to serialize");
-            return { $nonfinite: value > 0 ? "inf" : "-inf" };
+// Version 13 adds the NaN sentinel. Older readers interpret unknown tags
+// as negative infinity, so accepting a newer document would miscompile it.
+export const IR_VERSION = 13;
+/** Compiler artifacts use compact JSON to keep large graphs below the host's
+ * string size limit. API consumers can retain the readable default. */
+export function serializeModule(mod, compact = false) {
+    const replacer = (_key, value) => {
+        if (typeof value !== "number")
+            return value;
+        if (!Number.isFinite(value)) {
+            return { $nonfinite: Number.isNaN(value) ? "nan" : value > 0 ? "inf" : "-inf" };
         }
         // JSON.stringify(-0) prints "0", silently losing the sign a numLit's
         // f64 semantics depend on (String(-0) is "0" but 1/-0 is -Infinity) —
         // the same sentinel mechanism carries it.
-        if (typeof value === "number" && Object.is(value, -0)) {
+        if (Object.is(value, -0)) {
             return { $nonfinite: "-0" };
         }
         return value;
-    }, 2);
+    };
+    if (!compact)
+        return JSON.stringify(mod, replacer, 2);
+    // A replacer reads through live native views. Serializing the complete
+    // function array through one view refreshes every function capsule for
+    // each element, making large compiler artifacts quadratic. The sentinel
+    // replacer is key-independent, so encode each function as its own root.
+    const header = JSON.stringify({ ...mod, functions: [] }, replacer);
+    const slot = '"functions":[]';
+    const offset = header.indexOf(slot);
+    const functions = mod.functions.map((fn) => JSON.stringify(fn, replacer) ?? "null").join(",");
+    return header.slice(0, offset) + '"functions":[' + functions + "]" + header.slice(offset + slot.length);
 }
 export function deserializeModule(json) {
     const mod = JSON.parse(json, (_key, value) => {
         if (typeof value === "object" && value !== null && "$nonfinite" in value) {
             const tag = value.$nonfinite;
-            return tag === "inf" ? Infinity : tag === "-0" ? -0 : -Infinity;
+            if (tag === "inf")
+                return Infinity;
+            if (tag === "-inf")
+                return -Infinity;
+            if (tag === "-0")
+                return -0;
+            if (tag === "nan")
+                return NaN;
+            throw new Error(`Invalid IR number sentinel: ${String(tag)}`);
         }
         return value;
     });

package/dist/ir/serialize.js.map

@@ -1 +1 @@
-{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/ir/serialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAQrD,MAAM,CAAC,MAAM,UAAU,GAAG,EAAW,CAAC;AAEtC,MAAM,UAAU,eAAe,CAAC,GAAa;IAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACzD,kEAAkE;YAClE,mEAAmE;YACnE,4DAA4D;YAC5D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,CAAC,CAAC;YACnG,OAAO,EAAE,UAAU,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QACpD,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,0CAA0C;QAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,EAAE,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE;QACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;YACzE,MAAM,GAAG,GAAI,KAAgC,CAAC,UAAU,CAAC;YACzD,OAAO,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAClE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAa,CAAC;IACf,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"serialize.js","sourceRoot":"","sources":["../../src/ir/serialize.ts"],"names":[],"mappings":"AAIA,yEAAyE;AACzE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,UAAU,GAAG,EAAW,CAAC;AAEtC;uEACuE;AACvE,MAAM,UAAU,eAAe,CAAC,GAAa,EAAE,OAAO,GAAG,KAAK;IAC5D,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAc,EAAW,EAAE;QACzD,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAClF,CAAC;QACD,qEAAqE;QACrE,sEAAsE;QACtE,0CAA0C;QAC1C,IAAI,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;QAC9B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACtD,uEAAuE;IACvE,uEAAuE;IACvE,wEAAwE;IACxE,wEAAwE;IACxE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,gBAAgB,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9F,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,eAAe,GAAG,SAAS,GAAG,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAC1G,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,KAAc,EAAE,EAAE;QACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,YAAY,IAAI,KAAK,EAAE,CAAC;YACzE,MAAM,GAAG,GAAI,KAAgC,CAAC,UAAU,CAAC;YACzD,IAAI,GAAG,KAAK,KAAK;gBAAE,OAAO,QAAQ,CAAC;YACnC,IAAI,GAAG,KAAK,MAAM;gBAAE,OAAO,CAAC,QAAQ,CAAC;YACrC,IAAI,GAAG,KAAK,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,KAAK;gBAAE,OAAO,GAAG,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAa,CAAC;IACf,IAAI,GAAG,CAAC,SAAS,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACb,iCAAiC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,sBAAsB,UAAU,EAAE,CACzF,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/ir/serialize.test.d.ts

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

package/dist/ir/serialize.test.js

@@ -0,0 +1,57 @@
+import { expect, test } from "vitest";
+import { F64, VOID } from "./ir.js";
+import { IR_VERSION, deserializeModule, serializeModule } from "./serialize.js";
+function numbers(values) {
+    const loc = { file: "numbers.ts", start: 0, end: 0 };
+    return {
+        irVersion: IR_VERSION, sourceFile: loc.file, entry: "main",
+        functions: [{
+                name: "main", params: [], locals: [], returnType: VOID, loc,
+                body: values.map((value) => ({ kind: "exprStmt", expr: { kind: "numLit", value, type: F64, loc }, loc })),
+            }],
+    };
+}
+test("IR numbers survive multiple serialized generations without losing their value", () => {
+    const values = [NaN, Infinity, -Infinity, -0, 0, Number.MIN_VALUE, Number.MAX_VALUE, -Number.MIN_VALUE, 0.1 + 0.2];
+    let mod = numbers(values);
+    const first = serializeModule(mod);
+    expect(first).toContain('"$nonfinite": "nan"');
+    expect(first).toContain('"$nonfinite": "-0"');
+    for (let generation = 0; generation < 3; generation++) {
+        mod = deserializeModule(serializeModule(mod));
+        const actual = mod.functions[0].body.map((stmt) => {
+            if (stmt.kind !== "exprStmt" || stmt.expr.kind !== "numLit")
+                throw new Error("lost numeric literal");
+            return stmt.expr.value;
+        });
+        expect(actual.every((value, index) => Object.is(value, values[index]))).toBe(true);
+        expect(serializeModule(mod)).toBe(first);
+    }
+});
+test.each(["", "NaN", "infinity", "future-format"])("unknown number sentinel %j is refused", (tag) => {
+    const json = serializeModule(numbers([NaN])).replace('"nan"', JSON.stringify(tag));
+    expect(() => deserializeModule(json)).toThrow("Invalid IR number sentinel");
+});
+test("ordinary strings resembling number sentinels remain strings", () => {
+    const mod = numbers([0]);
+    mod.sourceFile = '{"$nonfinite":"nan"}';
+    expect(deserializeModule(serializeModule(mod)).sourceFile).toBe(mod.sourceFile);
+});
+test("compact artifacts preserve the full module and special numeric values", () => {
+    const mod = numbers([NaN, Infinity, -Infinity, -0, 0, Number.MIN_VALUE, Number.MAX_VALUE]);
+    mod.sourceFile = 'escaped\nsource\t😀"functions":[]$&.ts';
+    mod.functions.push({ ...mod.functions[0], name: "other" });
+    const compact = serializeModule(mod, true);
+    expect(compact).not.toContain("\n");
+    expect(compact.length).toBeLessThan(serializeModule(mod).length);
+    expect(deserializeModule(compact)).toEqual(mod);
+    expect(deserializeModule(compact)).toEqual(deserializeModule(serializeModule(mod)));
+    expect(JSON.parse(compact)).toEqual(JSON.parse(serializeModule(mod)));
+    mod.functions = [];
+    expect(deserializeModule(serializeModule(mod, true))).toEqual(mod);
+});
+test("the new number format rejects documents bearing an older version", () => {
+    const json = serializeModule(numbers([NaN])).replace(`"irVersion": ${IR_VERSION}`, `"irVersion": ${IR_VERSION - 1}`);
+    expect(() => deserializeModule(json)).toThrow("IR version mismatch");
+});
+//# sourceMappingURL=serialize.test.js.map

package/dist/ir/serialize.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serialize.test.js","sourceRoot":"","sources":["../../src/ir/serialize.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAiB,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEhF,SAAS,OAAO,CAAC,MAAgB;IAC/B,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACrD,OAAO;QACL,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAC1D,SAAS,EAAE,CAAC;gBACV,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG;gBAC3D,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;aAC1G,CAAC;KACH,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;IACnH,IAAI,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC9C,KAAK,IAAI,UAAU,GAAG,CAAC,EAAE,UAAU,GAAG,CAAC,EAAE,UAAU,EAAE,EAAE,CAAC;QACtD,GAAG,GAAG,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACrG,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnF,MAAM,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,uCAAuC,EAAE,CAAC,GAAG,EAAE,EAAE;IACnG,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACnF,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;AAC9E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,GAAG,CAAC,UAAU,GAAG,sBAAsB,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAClF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3F,GAAG,CAAC,UAAU,GAAG,wCAAwC,CAAC;IAC1D,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChD,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtE,GAAG,CAAC,SAAS,GAAG,EAAE,CAAC;IACnB,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,kEAAkE,EAAE,GAAG,EAAE;IAC5E,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,UAAU,EAAE,EAAE,gBAAgB,UAAU,GAAG,CAAC,EAAE,CAAC,CAAC;IACrH,MAAM,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC"}

package/dist/ir/traverse.d.ts

@@ -0,0 +1,41 @@
+import type { IrExpr, IrModule, IrStmt, IrType, SrcLoc } from "./ir.js";
+/** The type tree contains structural children; named shapes are references.
+ * Module traversal visits each shape definition separately. */
+export declare function everyTypeChild(node: IrType, visit: (node: IrType) => boolean): boolean;
+export interface IrModuleVisitor extends IrVisitor {
+    type: (type: IrType, loc: SrcLoc) => boolean;
+}
+/** Inspect executable nodes and every typed slot without reflecting over
+ * source text, locations, labels, or other metadata. A false predicate stops
+ * the whole walk. Results are never retained across mutable compiler passes. */
+export declare function everyModuleNode(mod: IrModule, visitor: IrModuleVisitor): boolean;
+/** Typed structural traversal of executable IR. Types, source locations,
+ * captures, labels and other metadata are deliberately not child nodes.
+ * Child order follows the IR schema; this visits all branches, including
+ * dormant callbacks and lazy operands, rather than simulating execution.
+ * Predicates can stop traversal without allocating a dynamic snapshot. */
+export interface IrVisitor {
+    expr: (expr: IrExpr) => boolean;
+    stmt: (stmt: IrStmt) => boolean;
+}
+export interface IrTransform {
+    expr: (expr: IrExpr) => IrExpr;
+    stmt: (stmt: IrStmt) => IrStmt;
+}
+/** Visit immediate children, stopping on the first false result. */
+export declare function everyExprChild(node: IrExpr, expr: (expr: IrExpr) => boolean, stmt: (stmt: IrStmt) => boolean): boolean;
+/** Visit immediate children, stopping on the first false result. */
+export declare function everyStmtChild(node: IrStmt, expr: (expr: IrExpr) => boolean, stmt: (stmt: IrStmt) => boolean): boolean;
+/** Copy a node with transformed immediate children; preserve all metadata. */
+export declare function mapExprChildren(node: IrExpr, expr: (expr: IrExpr) => IrExpr, stmt: (stmt: IrStmt) => IrStmt): IrExpr;
+/** Copy a node with transformed immediate children; preserve all metadata. */
+export declare function mapStmtChildren(node: IrStmt, expr: (expr: IrExpr) => IrExpr, stmt: (stmt: IrStmt) => IrStmt): IrStmt;
+/** Preorder traversal. A false predicate stops the complete walk. */
+export declare function everyExpr(node: IrExpr, visitor: IrVisitor): boolean;
+export declare function everyStmt(node: IrStmt, visitor: IrVisitor): boolean;
+export declare function everyStmtList(body: IrStmt[], visitor: IrVisitor): boolean;
+/** Preorder rewrite: traverse the replacement's children, never mutate
+ * the input tree, and leave type/loc/label metadata to the caller. */
+export declare function transformExpr(node: IrExpr, transform: IrTransform): IrExpr;
+export declare function transformStmt(node: IrStmt, transform: IrTransform): IrStmt;
+export declare function transformStmtList(body: IrStmt[], transform: IrTransform): IrStmt[];