@scriptc/compiler 0.2.3 → 0.2.5

package/dist/ir/integer-ranges.test.js

@@ -1,12 +1,28 @@
 import { expect, test } from "vitest";
 import { analyzeIntegerRanges } from "./integer-ranges.js";
-import { F64 } from "./ir.js";
+import { BOOL, F64 } from "./ir.js";
 const loc = { file: "test.ts", start: 0, end: 0 };
 const num = (value) => ({ loc, kind: "numLit", value, type: F64 });
 const ref = (localId = "x") => ({ loc, kind: "varRef", localId, type: F64 });
-const bin = (op, left, right) => ({ loc, kind: "bin", op, left, right, type: F64 });
+const bin = (op, left, right) => ({
+    loc,
+    kind: "bin",
+    op,
+    left,
+    right,
+    type: F64,
+});
 const assign = (value) => ({ loc, kind: "assign", localId: "x", value });
-const fn = (body, boxed = false) => ({ loc, name: "f", params: [], returnType: F64, locals: [{ id: "x", name: "x", type: F64, mutable: true, ...(boxed ? { boxed: true } : {}) }], body });
+const fn = (body, boxed = false) => ({
+    loc,
+    name: "f",
+    params: [],
+    returnType: F64,
+    locals: [
+        { id: "x", name: "x", type: F64, mutable: true, ...(boxed ? { boxed: true } : {}) },
+    ],
+    body,
+});
 test("tracks exact additions and bitwise conversions through assignments", () => {
     const sum = bin("+", ref(), bin("<<", ref(), num(3)));
     const unsigned = bin(">>>", ref(), num(0));
@@ -25,17 +41,21 @@ test("rejects negative zero, fractions, nonfinite values and imprecise sums", ()
     expect(ranges.get(exact)).toEqual({ min: 9007199254740990, max: 9007199254740990 });
     expect(ranges.get(rounded)).toBeNull();
 });
-test("forgets facts across opaque expressions, control flow and boxed locals", () => {
+test("preserves uncaptured slots across calls and invalidates writes and boxed locals", () => {
     const sum = () => bin("+", ref(), num(1));
     const call = { loc, kind: "call", callee: "unknown", args: [], type: F64 };
     const afterCall = sum();
     const afterBlock = sum();
     const boxed = sum();
     const ranges = analyzeIntegerRanges(fn([
-        assign(num(1)), { loc, kind: "exprStmt", expr: call }, assign(afterCall),
-        assign(num(1)), { loc, kind: "block", body: [assign(num(Infinity))] }, { loc, kind: "return", value: afterBlock },
+        assign(num(1)),
+        { loc, kind: "exprStmt", expr: call },
+        assign(afterCall),
+        assign(num(1)),
+        { loc, kind: "block", body: [assign(num(Infinity))] },
+        { loc, kind: "return", value: afterBlock },
     ]));
-    expect(ranges.get(afterCall)).toBeNull();
+    expect(ranges.get(afterCall)).toEqual({ min: 2, max: 2 });
     expect(ranges.get(afterBlock)).toBeNull();
     expect(analyzeIntegerRanges(fn([assign(num(1)), { loc, kind: "return", value: boxed }], true)).get(boxed)).toBeNull();
 });
@@ -45,7 +65,9 @@ test("analyzes nested bodies independently and snapshots operands before writes"
     const after = ref();
     const nested = bin("+", ref(), num(1));
     const ranges = analyzeIntegerRanges(fn([
-        assign(num(1)), { loc, kind: "exprStmt", expr: bin("|", before, write) }, { loc, kind: "exprStmt", expr: after },
+        assign(num(1)),
+        { loc, kind: "exprStmt", expr: bin("|", before, write) },
+        { loc, kind: "exprStmt", expr: after },
         { loc, kind: "block", body: [assign(num(2)), { loc, kind: "return", value: nested }] },
     ]));
     expect(ranges.get(before)).toEqual({ min: 1, max: 1 });
@@ -55,9 +77,216 @@ test("analyzes nested bodies independently and snapshots operands before writes"
 test("shared expression objects never inherit a proof from another occurrence", () => {
     const shared = ref();
     const ranges = analyzeIntegerRanges(fn([
-        assign(num(1)), { loc, kind: "exprStmt", expr: shared }, assign(num(Infinity)),
-        { loc, kind: "return", value: { loc, kind: "call", callee: "unknown", args: [shared], type: F64 } },
+        assign(num(1)),
+        { loc, kind: "exprStmt", expr: shared },
+        assign(num(Infinity)),
+        {
+            loc,
+            kind: "return",
+            value: { loc, kind: "call", callee: "unknown", args: [shared], type: F64 },
+        },
     ]));
     expect(ranges.get(shared)).toBeNull();
 });
+const condition = (op, left, right) => ({ loc, kind: "bin", op, left, right, type: BOOL });
+const observe = (value) => ({ loc, kind: "exprStmt", expr: value });
+test("joins branch assignments and refines signed masks on guarded paths", () => {
+    const inside = ref(), joined = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(bin("|", ref("unknown"), num(0))),
+        {
+            loc,
+            kind: "if",
+            cond: condition(">=", ref(), num(0)),
+            then: [observe(inside), assign(bin("&", ref(), num(255)))],
+            else_: [assign(num(7))],
+        },
+        observe(joined),
+    ]));
+    expect(ranges.get(inside)).toEqual({ min: 0, max: 2147483647 });
+    expect(ranges.get(joined)).toEqual({ min: 0, max: 255 });
+});
+test("assignment snapshots and lazy joins do not overwrite earlier operands", () => {
+    const before = ref(), after = ref(), last = ref();
+    const write = { loc, kind: "assignExpr", localId: "x", value: num(3), type: F64 };
+    const ternary = {
+        loc,
+        kind: "ternary",
+        cond: condition("===", ref("flag"), num(0)),
+        then: write,
+        else_: num(5),
+        type: F64,
+    };
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(1)),
+        observe(bin("+", before, ternary)),
+        observe(after),
+        observe({
+            loc,
+            kind: "logical",
+            op: "&&",
+            left: ref("flag"),
+            right: { ...write, value: num(9) },
+            type: F64,
+        }),
+        observe(last),
+    ]));
+    expect(ranges.get(before)).toEqual({ min: 1, max: 1 });
+    expect(ranges.get(after)).toEqual({ min: 1, max: 3 });
+    expect(ranges.get(last)).toEqual({ min: 1, max: 9 });
+});
+test("guards that mutate a compared binding cannot refine its later value", () => {
+    const current = ref();
+    const writes = {
+        loc,
+        kind: "seqExpr",
+        stmts: [assign(bin(">>>", ref("unknown"), num(0)))],
+        result: num(100),
+        type: F64,
+    };
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(1)),
+        {
+            loc,
+            kind: "if",
+            cond: condition("<", ref(), writes),
+            then: [observe(current)],
+            else_: null,
+        },
+    ]));
+    expect(ranges.get(current)).toEqual({ min: 0, max: 4294967295 });
+});
+test("labeled exits and do-while conditions cannot lend facts to skipped paths", () => {
+    const afterBlock = ref(), firstBody = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(100)),
+        {
+            loc,
+            kind: "block",
+            labels: ["done"],
+            body: [
+                {
+                    loc,
+                    kind: "if",
+                    cond: condition("===", ref("flag"), num(0)),
+                    then: [{ loc, kind: "break", label: "done" }],
+                    else_: null,
+                },
+                assign(num(1)),
+            ],
+        },
+        observe(afterBlock),
+        {
+            loc,
+            kind: "doWhile",
+            cond: condition("<", { loc, kind: "assignExpr", localId: "x", value: num(0), type: F64 }, num(-1)),
+            body: [observe(firstBody)],
+        },
+    ]));
+    expect(ranges.get(afterBlock)).toBeNull();
+    expect(ranges.get(firstBody)).toBeNull();
+});
+test("unit induction is exact but loop-carried assignments remain unknown", () => {
+    const counter = ref(), carried = ref("state"), after = ref();
+    const f = fn([
+        {
+            loc,
+            kind: "for",
+            init: { loc, kind: "varDecl", localId: "x", init: num(0) },
+            cond: condition("<", ref(), num(10)),
+            update: assign(bin("+", ref(), num(1))),
+            body: [
+                observe(counter),
+                observe(carried),
+                { loc, kind: "assign", localId: "state", value: num(3) },
+            ],
+        },
+        observe(after),
+    ]);
+    f.locals.push({ id: "state", name: "state", type: F64, mutable: true });
+    const ranges = analyzeIntegerRanges(f);
+    expect(ranges.get(counter)).toEqual({ min: 0, max: 9 });
+    expect(ranges.get(carried)).toBeNull();
+    expect(ranges.get(after)).toBeNull();
+});
+test("filtered strided loops retain decoded values and bound secondary cursors", () => {
+    const cursor = ref("position"), decoded = ref("decoded"), conditionRead = ref("x");
+    const loop = {
+        loc,
+        kind: "for",
+        init: { loc, kind: "varDecl", localId: "x", init: num(0) },
+        cond: condition("<", conditionRead, num(100)),
+        update: assign(bin("+", ref(), num(24))),
+        body: [
+            { loc, kind: "varDecl", localId: "decoded", init: bin(">>>", ref("input"), num(0)) },
+            {
+                loc,
+                kind: "if",
+                cond: condition("===", ref("flag"), num(0)),
+                then: [{ loc, kind: "continue" }],
+                else_: null,
+            },
+            observe(decoded),
+            observe(cursor),
+            { loc, kind: "assign", localId: "position", value: bin("+", ref("position"), num(16)) },
+        ],
+    };
+    const f = fn([{ loc, kind: "varDecl", localId: "position", init: num(0) }, loop]);
+    f.locals.push(...["position", "decoded"].map((id) => ({ id, name: id, type: F64, mutable: true })));
+    const ranges = analyzeIntegerRanges(f);
+    expect(ranges.get(cursor)).toEqual({ min: 0, max: 80 });
+    expect(ranges.get(decoded)).toEqual({ min: 0, max: 4294967295 });
+    expect(ranges.get(conditionRead)).toEqual({ min: 0, max: 124 });
+    for (const mutation of ["fraction", "repeat", "overflow", "counter"]) {
+        const changed = structuredClone(f);
+        const body = changed.body[1].body;
+        const update = body[4];
+        if (mutation === "fraction")
+            update.value = bin("+", ref("position"), num(0.5));
+        if (mutation === "repeat")
+            body[4] = {
+                loc,
+                kind: "while",
+                cond: condition("<", ref("unknown"), num(1)),
+                body: [update],
+            };
+        if (mutation === "overflow")
+            changed.body[0].init = num(Number.MAX_SAFE_INTEGER);
+        if (mutation === "counter")
+            body.push(assign(num(0)));
+        const observation = body[3];
+        expect(analyzeIntegerRanges(changed).get(observation.expr), mutation).toBeNull();
+    }
+});
+test("an exit branch does not discard the surviving facts or escape its own label", () => {
+    const afterReturn = ref(), afterLabel = ref();
+    const ranges = analyzeIntegerRanges(fn([
+        assign(num(3)),
+        {
+            loc,
+            kind: "if",
+            cond: condition("===", ref("flag"), num(0)),
+            then: [{ loc, kind: "return", value: num(1) }],
+            else_: null,
+        },
+        observe(afterReturn),
+        {
+            loc,
+            kind: "if",
+            cond: condition("===", ref("flag"), num(1)),
+            then: [
+                {
+                    loc,
+                    kind: "block",
+                    labels: ["done"],
+                    body: [assign(num(0.5)), { loc, kind: "break", label: "done" }],
+                },
+            ],
+            else_: null,
+        },
+        observe(afterLabel),
+    ]));
+    expect(ranges.get(afterReturn)).toEqual({ min: 3, max: 3 });
+    expect(ranges.get(afterLabel)).toBeNull();
+});
 //# sourceMappingURL=integer-ranges.test.js.map

package/dist/ir/integer-ranges.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"integer-ranges.test.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,GAAG,EAA6C,MAAM,SAAS,CAAC;AAEzE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAO,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrF,MAAM,GAAG,GAAG,CAAC,EAA0C,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACpJ,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AACzF,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,KAAK,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAE1N,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IACnI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC1E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACpF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,CAAC,SAAS,CAAC;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE;KAClH,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjG,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;QAChH,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE;KACvF,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9E,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;KACpG,CAAC,CAAC,CAAC;IACJ,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"integer-ranges.test.js","sourceRoot":"","sources":["../../src/ir/integer-ranges.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,IAAI,EAAE,GAAG,EAA6C,MAAM,SAAS,CAAC;AAE/E,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAClD,MAAM,GAAG,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,OAAO,GAAG,GAAG,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AACrF,MAAM,GAAG,GAAG,CAAC,EAA0C,EAAE,IAAY,EAAE,KAAa,EAAU,EAAE,CAAC,CAAC;IAChG,GAAG;IACH,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,KAAK;IACL,IAAI,EAAE,GAAG;CACV,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AACzF,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,KAAK,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC;IACzD,GAAG;IACH,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,EAAE;IACV,UAAU,EAAE,GAAG;IACf,MAAM,EAAE;QACN,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAC7F;IACD,IAAI;CACL,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAC9F,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,CAAC;QAC1E,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAClG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACpF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACzC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;IAC3F,MAAM,GAAG,GAAG,GAAW,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,MAAM,IAAI,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACnF,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC;IACxB,MAAM,UAAU,GAAG,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE;QACrC,MAAM,CAAC,SAAS,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;QACrD,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE;KAC3C,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,CACJ,oBAAoB,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CACzF,KAAK,CACN,CACF,CAAC,QAAQ,EAAE,CAAC;AACf,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;IACrF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjG,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE;QACxD,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE;KACvF,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACzD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QACvC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACrB;YACE,GAAG;YACH,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE;SAC3E;KACF,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAChB,EAA0C,EAC1C,IAAY,EACZ,KAAa,EACL,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpF,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,MAAM,GAAG,GAAG,EAAE,EAClB,MAAM,GAAG,GAAG,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC;YACE,GAAG;YACH,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1D,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;SACxB;QACD,OAAO,CAAC,MAAM,CAAC;KAChB,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,MAAM,GAAG,GAAG,EAAE,EAClB,KAAK,GAAG,GAAG,EAAE,EACb,IAAI,GAAG,GAAG,EAAE,CAAC;IACf,MAAM,KAAK,GAAW,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IAC1F,MAAM,OAAO,GAAW;QACtB,GAAG;QACH,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,EAAE,KAAK;QACX,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACb,IAAI,EAAE,GAAG;KACV,CAAC;IACF,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,OAAO,CAAC,KAAK,CAAC;QACd,OAAO,CAAC;YACN,GAAG;YACH,IAAI,EAAE,SAAS;YACf,EAAE,EAAE,IAAI;YACR,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;YAClC,IAAI,EAAE,GAAG;SACV,CAAC;QACF,OAAO,CAAC,IAAI,CAAC;KACd,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACtD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC;IACtB,MAAM,MAAM,GAAW;QACrB,GAAG;QACH,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC;QAChB,IAAI,EAAE,GAAG;KACV,CAAC;IACF,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd;YACE,GAAG;YACH,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,CAAC;YACnC,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACxB,KAAK,EAAE,IAAI;SACZ;KACF,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,UAAU,GAAG,GAAG,EAAE,EACtB,SAAS,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB;YACE,GAAG;YACH,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,CAAC,MAAM,CAAC;YAChB,IAAI,EAAE;gBACJ;oBACE,GAAG;oBACH,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBAC3C,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oBAC7C,KAAK,EAAE,IAAI;iBACZ;gBACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aACf;SACF;QACD,OAAO,CAAC,UAAU,CAAC;QACnB;YACE,GAAG;YACH,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,SAAS,CACb,GAAG,EACH,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EACnE,GAAG,CAAC,CAAC,CAAC,CAAC,CACR;YACD,IAAI,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SAC3B;KACF,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,OAAO,GAAG,GAAG,EAAE,EACnB,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,EACtB,KAAK,GAAG,GAAG,EAAE,CAAC;IAChB,MAAM,CAAC,GAAG,EAAE,CAAC;QACX;YACE,GAAG;YACH,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;YAC1D,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACpC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,EAAE;gBACJ,OAAO,CAAC,OAAO,CAAC;gBAChB,OAAO,CAAC,OAAO,CAAC;gBAChB,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;aACzD;SACF;QACD,OAAO,CAAC,KAAK,CAAC;KACf,CAAC,CAAC;IACH,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AACvC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,EAC5B,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,EACxB,aAAa,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,MAAM,IAAI,GAA6B;QACrC,GAAG;QACH,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE;QAC1D,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,IAAI,EAAE;YACJ,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;YACpF;gBACE,GAAG;gBACH,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;gBACjC,KAAK,EAAE,IAAI;aACZ;YACD,OAAO,CAAC,OAAO,CAAC;YAChB,OAAO,CAAC,MAAM,CAAC;YACf,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;SACxF;KACF,CAAC;IACF,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CACrF,CAAC;IACF,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACxD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAChE,KAAK,MAAM,QAAQ,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAU,EAAE,CAAC;QAC9E,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAA8B,CAAC,IAAI,CAAC;QAChE,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAgC,CAAC;QACtD,IAAI,QAAQ,KAAK,UAAU;YAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAChF,IAAI,QAAQ,KAAK,QAAQ;YACvB,IAAI,CAAC,CAAC,CAAC,GAAG;gBACR,GAAG;gBACH,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;gBAC5C,IAAI,EAAE,CAAC,MAAM,CAAC;aACf,CAAC;QACJ,IAAI,QAAQ,KAAK,UAAU;YACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAkC,CAAC,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACxF,IAAI,QAAQ,KAAK,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAkC,CAAC;QAC7D,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnF,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,MAAM,WAAW,GAAG,GAAG,EAAE,EACvB,UAAU,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,MAAM,GAAG,oBAAoB,CACjC,EAAE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACd;YACE,GAAG;YACH,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,KAAK,EAAE,IAAI;SACZ;QACD,OAAO,CAAC,WAAW,CAAC;QACpB;YACE,GAAG;YACH,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,EAAE;gBACJ;oBACE,GAAG;oBACH,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,CAAC,MAAM,CAAC;oBAChB,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;iBAChE;aACF;YACD,KAAK,EAAE,IAAI;SACZ;QACD,OAAO,CAAC,UAAU,CAAC;KACpB,CAAC,CACH,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC5C,CAAC,CAAC,CAAC"}

package/dist/ir/intrinsic-signatures.d.ts

@@ -0,0 +1,20 @@
+import type { IrRegexIntrinsicMethod, IrStrIntrinsicMethod, IrType } from "./ir.js";
+/** Per-method signature for strIntrinsic: `argTypes` lists every argument
+ * position (optional ones included); `minArgs` is the minimum number of required arguments
+ * before optional trailing positions (backends fill the documented defaults). Shared with the
+ * frontend's lib-boundary pass (lib-boundary.ts), which coerces or fences
+ * checked-dynamic arguments against the same table the validator enforces. */
+export declare const STR_INTRINSIC_SIGS: Record<IrStrIntrinsicMethod, {
+    argTypes: IrType[];
+    minArgs: number;
+    result: IrType;
+}>;
+/** Per-method signature for regexIntrinsic. test/source/flags take the
+ * regex as receiver; replace/replaceAll/split take the STRING as receiver
+ * with the regex as args[0] (mirroring the source syntax). All positions
+ * are required — the surface has no optionals. */
+export declare const REGEX_INTRINSIC_SIGS: Record<IrRegexIntrinsicMethod, {
+    receiver: IrType;
+    argTypes: IrType[];
+    result: IrType;
+}>;

package/dist/ir/intrinsic-signatures.js

@@ -0,0 +1,57 @@
+import { arrayOf, BOOL, F64, REGEX, STRING, VOID } from "./ir.js";
+/** Per-method signature for strIntrinsic: `argTypes` lists every argument
+ * position (optional ones included); `minArgs` is the minimum number of required arguments
+ * before optional trailing positions (backends fill the documented defaults). Shared with the
+ * frontend's lib-boundary pass (lib-boundary.ts), which coerces or fences
+ * checked-dynamic arguments against the same table the validator enforces. */
+export const STR_INTRINSIC_SIGS = {
+    length: { argTypes: [], minArgs: 0, result: F64 },
+    charCodeAt: { argTypes: [F64], minArgs: 1, result: F64 },
+    charAt: { argTypes: [F64], minArgs: 1, result: STRING },
+    indexOf: { argTypes: [STRING, F64], minArgs: 1, result: F64 },
+    includes: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
+    startsWith: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
+    endsWith: { argTypes: [STRING, F64], minArgs: 1, result: BOOL },
+    slice: { argTypes: [F64, F64], minArgs: 0, result: STRING },
+    substring: { argTypes: [F64, F64], minArgs: 1, result: STRING },
+    repeat: { argTypes: [F64], minArgs: 1, result: STRING },
+    trim: { argTypes: [], minArgs: 0, result: STRING },
+    trimStart: { argTypes: [], minArgs: 0, result: STRING },
+    trimEnd: { argTypes: [], minArgs: 0, result: STRING },
+    split: { argTypes: [STRING, F64], minArgs: 2, result: arrayOf(STRING) },
+    padStart: { argTypes: [F64, STRING], minArgs: 2, result: STRING },
+    padEnd: { argTypes: [F64, STRING], minArgs: 2, result: STRING },
+    toLowerCase: { argTypes: [], minArgs: 0, result: STRING },
+    toUpperCase: { argTypes: [], minArgs: 0, result: STRING },
+    normalize: { argTypes: [STRING], minArgs: 1, result: STRING },
+    isWellFormed: { argTypes: [], minArgs: 0, result: BOOL },
+    toWellFormed: { argTypes: [], minArgs: 0, result: STRING },
+    cpAt: { argTypes: [F64], minArgs: 1, result: STRING },
+};
+/** Per-method signature for regexIntrinsic. test/source/flags take the
+ * regex as receiver; replace/replaceAll/split take the STRING as receiver
+ * with the regex as args[0] (mirroring the source syntax). All positions
+ * are required — the surface has no optionals. */
+export const REGEX_INTRINSIC_SIGS = {
+    test: { receiver: REGEX, argTypes: [STRING], result: BOOL },
+    // match's result is the program-dependent `string[] | null` union —
+    // VOID here is the process.envGet sentinel; the regexIntrinsic case
+    // checks the union's arms.
+    match: { receiver: STRING, argTypes: [REGEX], result: VOID },
+    exec: { receiver: STRING, argTypes: [REGEX], result: VOID },
+    lastIndex: { receiver: REGEX, argTypes: [], result: F64 },
+    matchAll: { receiver: STRING, argTypes: [REGEX], result: arrayOf(arrayOf(STRING)) },
+    matchAllInto: {
+        receiver: STRING,
+        argTypes: [REGEX, arrayOf(F64)],
+        result: arrayOf(arrayOf(STRING)),
+    },
+    search: { receiver: STRING, argTypes: [REGEX], result: F64 },
+    source: { receiver: REGEX, argTypes: [], result: STRING },
+    flags: { receiver: REGEX, argTypes: [], result: STRING },
+    toString: { receiver: REGEX, argTypes: [], result: STRING },
+    replace: { receiver: STRING, argTypes: [REGEX, STRING], result: STRING },
+    replaceAll: { receiver: STRING, argTypes: [REGEX, STRING], result: STRING },
+    split: { receiver: STRING, argTypes: [REGEX, F64], result: arrayOf(STRING) },
+};
+//# sourceMappingURL=intrinsic-signatures.js.map

package/dist/ir/intrinsic-signatures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"intrinsic-signatures.js","sourceRoot":"","sources":["../../src/ir/intrinsic-signatures.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAElE;;;;8EAI8E;AAC9E,MAAM,CAAC,MAAM,kBAAkB,GAG3B;IACF,MAAM,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE;IACjD,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE;IACxD,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACvD,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE;IAC7D,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC/D,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACjE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC/D,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC3D,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC/D,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACvD,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAClD,SAAS,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACvD,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACrD,KAAK,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE;IACvE,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACjE,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC/D,WAAW,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACzD,WAAW,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACzD,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC7D,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IACxD,YAAY,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC1D,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;CACtD,CAAC;AAEF;;;kDAGkD;AAClD,MAAM,CAAC,MAAM,oBAAoB,GAG7B;IACF,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC3D,oEAAoE;IACpE,oEAAoE;IACpE,2BAA2B;IAC3B,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC5D,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE;IAC3D,SAAS,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;IACzD,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE;IACnF,YAAY,EAAE;QACZ,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;KACjC;IACD,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE;IAC5D,MAAM,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACzD,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IACxD,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IAC3D,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IACxE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE;IAC3E,KAAK,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE;CAC7E,CAAC"}