@scriptc/compiler 0.0.0 → 0.0.2

package/dist/frontend/lowering/lower-generators.d.ts

@@ -0,0 +1,50 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import { IrExpr, IrStmt, IrType } from "../../ir/nodes.js";
+type GenType = IrType & {
+    kind: "generator";
+};
+/** `yield e` / `yield;` — only inside a generator body the signature
+ * collection accepted (L.ctx.generator carries the channels). `yield*`
+ * lowers in STATEMENT position only (lowerYieldStarStatement — the value
+ * of a delegation needs the whole forwarding loop in expression position,
+ * which has no lowering yet). */
+export declare function lowerYield(L: Lowerer, expr: ts.YieldExpression): IrExpr;
+/** `g.next(v)` / `g.return(v)` / `g.throw(e)` on a generator-typed
+ * receiver → genResume. Null when this is not that call (the dispatch
+ * chain moves on). */
+export declare function lowerGenMethodCall(L: Lowerer, call: ts.CallExpression, access: ts.PropertyAccessExpression): IrExpr | null;
+/** `for (const x of gen)` — the desugared drive:
+ *
+ *   { const %gof = <iterable>; let %gdone = false;
+ *     while (true) {
+ *       const %gr = %gof.next();            // genResume
+ *       if (%gr.done) { %gdone = true; break; }
+ *       const x = <extract %gr.value>;
+ *       <body>
+ *     }
+ *     if (!%gdone) %gof.return();           // IteratorClose
+ *   }
+ *
+ * `break` exits the while and lands on the close check (probed: break
+ * closes the generator — finallys run, the return value is discarded);
+ * `continue` stays in the loop; exhaustion skips the close. A consumer
+ * `return`/`throw` abandoning the loop does NOT close (numbered
+ * divergence — the desugar cannot ride a finally, whose regions reject
+ * the loop's own break). */
+export declare function lowerForOfGenerator(L: Lowerer, stmt: ts.ForOfStatement, iterable: IrExpr & {
+    type: GenType;
+}, labels?: string[]): IrStmt;
+/** Statement-position `yield* e;` — the forwarding loop:
+ *
+ *   { const %dele = <e>; let %dr = %dele.next();
+ *     while (!%dr.done) { %dr = %dele.next(<yield %dr.value>); } }
+ *
+ * The inner yield value re-yields out of the OUTER generator (coerced
+ * across the channels); the consumer's `.next(v)` argument forwards into
+ * the delegate; the delegate's return value is this statement's dropped
+ * result. Consumer `.return()`/`.throw()` while suspended here unwinds
+ * the OUTER generator without forwarding to the delegate (numbered
+ * divergence). Null when this is not a yield* statement. */
+export declare function lowerYieldStarStatement(L: Lowerer, expr: ts.Expression): IrStmt | null;
+export {};

package/dist/frontend/lowering/lower-generators.js

@@ -0,0 +1,421 @@
+/* Generator lowering: yield / yield* expressions, the consumer surface
+ * (.next/.return/.throw → genResume), and the for-of-over-generator
+ * desugar. The design: a generator body is an ordinary
+ * compiled function on a fiber created suspended; the consumer resumes it
+ * synchronously and every resume answers the interned IteratorResult
+ * record genResultRecord builds — one shape per channel pair, shared with
+ * mapType's IteratorResult alias mapping so unannotated `const r =
+ * g.next()` binds and reads flow. */
+import * as ts from "../ts7/adapter.js";
+import { BOOL, DYN, UNDEFINED_T, VOID, isUnitType, typeEquals } from "../../ir/nodes.js";
+import { locOf } from "../program.js";
+import { genResultRecord } from "../types.js";
+import { forOfVarTarget } from "./lower-stmts.js";
+/** The interned IteratorResult record of a generator type (never null for
+ * a MAPPED generator — mapType required it to intern). */
+function resultRecordOf(L, genT) {
+    const rec = genResultRecord(genT.yieldT, genT.retT, L.shapes, L.unions);
+    if (!rec)
+        throw new Error("lowerer bug: mapped generator without a result record");
+    return rec;
+}
+/** The undefined value coerced into a yield/return channel — `yield;`,
+ * `.return()`'s absent argument evaluated as a value. Null when the
+ * channel cannot hold undefined. */
+function channelUndefined(L, channel, loc) {
+    if (channel.kind === "dyn") {
+        return {
+            kind: "dynFrom",
+            value: { kind: "unitLit", unit: "undefined", type: UNDEFINED_T, loc },
+            type: DYN,
+            loc,
+        };
+    }
+    if (channel.kind === "union")
+        return L.wrappedUndefined(channel, loc);
+    return null;
+}
+/** `yield e` / `yield;` — only inside a generator body the signature
+ * collection accepted (L.ctx.generator carries the channels). `yield*`
+ * lowers in STATEMENT position only (lowerYieldStarStatement — the value
+ * of a delegation needs the whole forwarding loop in expression position,
+ * which has no lowering yet). */
+export function lowerYield(L, expr) {
+    const loc = locOf(expr);
+    const gen = L.ctx.generator;
+    if (!gen) {
+        // A yield in a body this compiler did not lower as a generator (an
+        // async generator's, a comptime callback's) — the blanket fence.
+        L.unsupported("SC1071", expr);
+    }
+    if (expr.asteriskToken) {
+        L.unsupported("SC1071", expr, "the value of 'yield*' (statement-position delegation compiles: 'yield* inner();' — bind the delegate's return value through its .next() protocol instead)");
+    }
+    let value;
+    if (expr.expression) {
+        value = L.lowerExprExpecting(expr.expression, gen.yieldT);
+    }
+    else {
+        const u = channelUndefined(L, gen.yieldT, loc);
+        if (!u) {
+            L.unsupported("SC1071", expr, `a bare 'yield;' on a '${L.fmt(gen.yieldT)}' yield channel (it would yield undefined — yield a value)`);
+        }
+        value = u;
+    }
+    // An undefined next-channel means the resumed value is always undefined:
+    // the expression is void (statement position; the checker types reads of
+    // it undefined, whose uses fence downstream).
+    const type = gen.nextT.kind === "undefinedT" ? VOID : gen.nextT;
+    return { kind: "yieldExpr", value, type, loc };
+}
+/** `g.next(v)` / `g.return(v)` / `g.throw(e)` on a generator-typed
+ * receiver → genResume. Null when this is not that call (the dispatch
+ * chain moves on). */
+export function lowerGenMethodCall(L, call, access) {
+    if (L.chainBlocked(access, call))
+        return null;
+    const name = access.name.text;
+    if (name !== "next" && name !== "return" && name !== "throw")
+        return null;
+    if (L.mapTypeOf(L.typeOf(access.expression))?.kind !== "generator")
+        return null;
+    if (call.arguments.some(ts.isSpreadElement)) {
+        L.unsupported("SC1090", call, "spread arguments");
+    }
+    const loc = locOf(call);
+    const gen = L.lowerExpr(access.expression);
+    if (gen.type.kind !== "generator")
+        return null;
+    const genT = gen.type;
+    const recT = resultRecordOf(L, genT);
+    const argNode = call.arguments[0];
+    let arg = null;
+    if (name === "next") {
+        if (argNode === undefined) {
+            if (genT.nextT.kind !== "undefinedT" && genT.nextT.kind !== "dyn") {
+                L.unsupported("SC1071", call, `a valueless .next() on a '${L.fmt(genT.nextT)}' next channel (it would deliver undefined into a typed yield — pass .next(value))`);
+            }
+            arg = null; // the runtime sends undefined
+        }
+        else if (genT.nextT.kind === "undefinedT") {
+            // `.next(undefined)` on a valueless channel: the literal is a no-op;
+            // anything effectful has no evaluate-then-drop slot here.
+            const lowered = L.lowerExpr(argNode);
+            if (lowered.kind !== "unitLit") {
+                L.unsupported("SC1071", call, ".next(value) on a generator that never reads resumed values (call .next() with no argument)");
+            }
+            arg = null;
+        }
+        else {
+            arg = L.lowerExprExpecting(argNode, genT.nextT);
+        }
+    }
+    else if (name === "return") {
+        if (argNode === undefined) {
+            arg = null; // undefined done-value
+        }
+        else if (genT.retT.kind === "void") {
+            L.unsupported("SC1071", call, ".return(value) on a generator whose return type carries no value (call .return() with no argument)");
+        }
+        else {
+            arg = L.lowerExprExpecting(argNode, genT.retT);
+        }
+    }
+    else {
+        if (argNode === undefined) {
+            L.unsupported("SC1071", call, ".throw() with no argument (Node would throw undefined into the generator — pass the error)");
+        }
+        arg = L.lowerExpr(argNode);
+        if (arg.type.kind === "void" || arg.type.kind === "dyn" || arg.type.kind === "caught" || isUnitType(arg.type)) {
+            L.unsupported("SC1090", argNode, `.throw() of a '${L.fmt(arg.type)}' value (throw numbers, strings, booleans, or Error instances)`);
+        }
+    }
+    return { kind: "genResume", mode: name, gen, arg, type: recT, loc };
+}
+/** Extraction of a suspended resume's yield value out of the result
+ * record's V slot, typed back to the yield channel: V IS the channel for
+ * dyn (and for a union channel already equal to V); a non-union channel
+ * narrows to its arm (sound by construction — done was just tested
+ * false, so the slot holds a yield-channel value); a union channel
+ * re-tags through the retag helper with the non-channel arms marked
+ * trappable (the same proved-away contract, proved here by the desugar's
+ * own done test). Null when no extraction exists. */
+function extractYieldValue(L, genT, valueT, read, loc) {
+    const yt = genT.yieldT;
+    if (valueT.kind === "dyn")
+        return read; // the dyn channel: V IS the value
+    if (valueT.kind !== "union")
+        return null;
+    if (typeEquals(valueT, yt))
+        return read;
+    if (yt.kind !== "union") {
+        const tag = L.armTag(valueT.unionId, yt);
+        if (tag < 0)
+            return null;
+        return { kind: "unionNarrow", unionId: valueT.unionId, tag, value: read, type: yt, loc };
+    }
+    const vDef = L.unions.get(valueT.unionId);
+    if (!vDef)
+        return null;
+    const trappable = new Set();
+    vDef.arms.forEach((arm, i) => {
+        if (L.armTag(yt.unionId, arm) < 0)
+            trappable.add(i);
+    });
+    const helper = L.unionRetagHelper(valueT.unionId, yt.unionId, loc, trappable);
+    if (!helper)
+        return null;
+    return { kind: "call", callee: helper, args: [read], type: yt, loc };
+}
+/** `for (const x of gen)` — the desugared drive:
+ *
+ *   { const %gof = <iterable>; let %gdone = false;
+ *     while (true) {
+ *       const %gr = %gof.next();            // genResume
+ *       if (%gr.done) { %gdone = true; break; }
+ *       const x = <extract %gr.value>;
+ *       <body>
+ *     }
+ *     if (!%gdone) %gof.return();           // IteratorClose
+ *   }
+ *
+ * `break` exits the while and lands on the close check (probed: break
+ * closes the generator — finallys run, the return value is discarded);
+ * `continue` stays in the loop; exhaustion skips the close. A consumer
+ * `return`/`throw` abandoning the loop does NOT close (numbered
+ * divergence — the desugar cannot ride a finally, whose regions reject
+ * the loop's own break). */
+export function lowerForOfGenerator(L, stmt, iterable, labels) {
+    if (!ts.isVariableDeclarationList(stmt.initializer)) {
+        L.unsupported("SC1090", stmt.initializer, "for-of over a pre-declared variable (declare the loop variable in the loop: for (const x of ...))");
+    }
+    const list = stmt.initializer;
+    if ((list.flags & ts.NodeFlags.Using) !== 0) {
+        L.unsupported("SC1090", list, "'using' declarations (dispose-at-scope-exit semantics)");
+    }
+    const isLet = (list.flags & ts.NodeFlags.Let) !== 0;
+    const decl = list.declarations[0];
+    if (!ts.isIdentifier(decl.name))
+        L.unsupported("SC1031", decl.name);
+    const genT = iterable.type;
+    if (genT.yieldT.kind === "void") {
+        L.unsupported("SC1090", stmt.expression, "for-of over a generator that never yields (its element type is never)");
+    }
+    if (genT.nextT.kind !== "undefinedT" && genT.nextT.kind !== "dyn") {
+        L.unsupported("SC1090", stmt.expression, `for-of over a generator whose yields expect .next(value) ('${L.fmt(genT.nextT)}' — drive it with .next() calls instead)`);
+    }
+    const loc = locOf(stmt);
+    const recT = resultRecordOf(L, genT);
+    const shape = L.shapes.get(recT.shapeId);
+    const valueT = shape.fields.find((f) => f.name === "value").type;
+    L.scopes.push(new Map());
+    try {
+        const g = L.declareHiddenLocal("%gof", genT);
+        const done = L.declareHiddenLocal("%gdone", BOOL);
+        done.mutable = true;
+        const r = L.declareHiddenLocal("%gres", recT);
+        const gRef = () => ({ kind: "varRef", localId: g.id, type: genT, loc });
+        const rRef = () => ({ kind: "varRef", localId: r.id, type: recT, loc });
+        const valueRead = { kind: "recordGet", obj: rRef(), shapeId: recT.shapeId, field: "value", type: valueT, loc };
+        const extracted = extractYieldValue(L, genT, valueT, valueRead, loc);
+        if (!extracted) {
+            L.unsupported("SC1090", stmt.expression, `for-of over a generator yielding '${L.fmt(genT.yieldT)}' (no per-element extraction exists — drive it with .next() and narrow r.value)`);
+        }
+        // `for (var x of gen)`: the mechanics stay on a hidden per-iteration
+        // local; the body opens by assigning into the hoisted var binding.
+        const varTarget = forOfVarTarget(L, decl);
+        const x = varTarget
+            ? L.declareHiddenLocal("%vof", genT.yieldT)
+            : L.declareLocal(decl.name, decl.name.text, genT.yieldT, isLet);
+        const xRef = { kind: "varRef", localId: x.id, type: genT.yieldT, loc };
+        const head = [
+            {
+                kind: "varDecl",
+                localId: r.id,
+                init: { kind: "genResume", mode: "next", gen: gRef(), arg: null, type: recT, loc },
+                loc,
+            },
+            {
+                kind: "if",
+                cond: {
+                    kind: "recordGet",
+                    obj: rRef(),
+                    shapeId: recT.shapeId,
+                    field: "done",
+                    type: BOOL,
+                    loc,
+                },
+                then: [
+                    { kind: "assign", localId: done.id, value: { kind: "boolLit", value: true, type: BOOL, loc }, loc },
+                    { kind: "break", loc },
+                ],
+                else_: null,
+                loc,
+            },
+            { kind: "varDecl", localId: x.id, init: extracted, loc },
+            ...(varTarget
+                ? [{ kind: "assign", localId: varTarget.id, value: L.coerceInto(decl.name, xRef, varTarget.type), loc }]
+                : []),
+        ];
+        const body = L.inCtl("loop", () => L.lowerScopedBlock(stmt.statement), labels);
+        return {
+            kind: "block",
+            body: [
+                { kind: "varDecl", localId: g.id, init: iterable, loc },
+                { kind: "varDecl", localId: done.id, init: { kind: "boolLit", value: false, type: BOOL, loc }, loc },
+                {
+                    kind: "while",
+                    cond: { kind: "boolLit", value: true, type: BOOL, loc },
+                    body: [...head, ...body],
+                    ...(labels && { labels }),
+                    loc,
+                },
+                // IteratorClose: an early exit (break) closes the generator —
+                // finallys run; the .return() result record is dropped.
+                {
+                    kind: "if",
+                    cond: {
+                        kind: "unary",
+                        op: "!",
+                        operand: { kind: "varRef", localId: done.id, type: BOOL, loc },
+                        type: BOOL,
+                        loc,
+                    },
+                    then: [
+                        {
+                            kind: "exprStmt",
+                            expr: { kind: "genResume", mode: "return", gen: gRef(), arg: null, type: recT, loc },
+                            loc,
+                        },
+                    ],
+                    else_: null,
+                    loc,
+                },
+            ],
+            loc,
+        };
+    }
+    finally {
+        L.scopes.pop();
+    }
+}
+/** Statement-position `yield* e;` — the forwarding loop:
+ *
+ *   { const %dele = <e>; let %dr = %dele.next();
+ *     while (!%dr.done) { %dr = %dele.next(<yield %dr.value>); } }
+ *
+ * The inner yield value re-yields out of the OUTER generator (coerced
+ * across the channels); the consumer's `.next(v)` argument forwards into
+ * the delegate; the delegate's return value is this statement's dropped
+ * result. Consumer `.return()`/`.throw()` while suspended here unwinds
+ * the OUTER generator without forwarding to the delegate (numbered
+ * divergence). Null when this is not a yield* statement. */
+export function lowerYieldStarStatement(L, expr) {
+    if (!ts.isYieldExpression(expr) || expr.asteriskToken === undefined)
+        return null;
+    const gen = L.ctx.generator;
+    if (!gen)
+        L.unsupported("SC1071", expr);
+    if (!expr.expression)
+        L.unsupported("SC1071", expr, "'yield*' with no operand");
+    const loc = locOf(expr);
+    const delegate = L.lowerExpr(expr.expression);
+    if (delegate.type.kind !== "generator") {
+        L.unsupported("SC1071", expr, `'yield*' over '${L.fmt(delegate.type)}' (only generator delegates have a lowering — spell out the loop for other iterables)`);
+    }
+    const dT = delegate.type;
+    if (dT.nextT.kind !== "undefinedT" && dT.nextT.kind !== "dyn" && !typeEquals(dT.nextT, gen.nextT)) {
+        L.unsupported("SC1071", expr, `'yield*' into a '${L.fmt(dT.nextT)}' next channel from a '${gen.nextT.kind === "undefinedT" ? "undefined" : L.fmt(gen.nextT)}' one (the consumer's .next(v) cannot forward across these channels)`);
+    }
+    const recT = resultRecordOf(L, dT);
+    const shape = L.shapes.get(recT.shapeId);
+    const valueT = shape.fields.find((f) => f.name === "value").type;
+    L.scopes.push(new Map());
+    try {
+        const d = L.declareHiddenLocal("%dele", dT);
+        const r = L.declareHiddenLocal("%dres", recT);
+        r.mutable = true;
+        const dRef = () => ({ kind: "varRef", localId: d.id, type: dT, loc });
+        const rRef = () => ({ kind: "varRef", localId: r.id, type: recT, loc });
+        const valueRead = { kind: "recordGet", obj: rRef(), shapeId: recT.shapeId, field: "value", type: valueT, loc };
+        const inner = extractYieldValue(L, dT, valueT, valueRead, loc);
+        if (!inner) {
+            L.unsupported("SC1071", expr, `'yield*' over a generator yielding '${L.fmt(dT.yieldT)}' (no per-element extraction exists)`);
+        }
+        // The re-yield: the delegate's value coerced into the outer yield
+        // channel; the resumed value (outer nextT) forwards into the
+        // delegate's next slot (or drops on an undefined channel).
+        const reYield = {
+            kind: "yieldExpr",
+            value: typeEquals(dT.yieldT, gen.yieldT) && typeEquals(inner.type, gen.yieldT)
+                ? inner
+                : L.coerceInto(expr.expression, inner, gen.yieldT),
+            type: gen.nextT.kind === "undefinedT" ? VOID : gen.nextT,
+            loc,
+        };
+        let forwarded;
+        if (dT.nextT.kind === "undefinedT") {
+            forwarded = null; // reYield still evaluates as the arg? no — see below
+        }
+        else if (reYield.type.kind === "void") {
+            forwarded = null;
+        }
+        else if (dT.nextT.kind === "dyn" && reYield.type.kind !== "dyn") {
+            forwarded = { kind: "dynFrom", value: reYield, type: DYN, loc };
+        }
+        else {
+            forwarded = reYield;
+        }
+        const resumeArg = forwarded;
+        // When the yield's value cannot ride the resume argument (undefined
+        // channels), it must still EXECUTE before the delegate resumes: the
+        // loop body becomes [exprStmt(yield), assign(next)].
+        const loopBody = resumeArg === null
+            ? [
+                { kind: "exprStmt", expr: reYield, loc },
+                {
+                    kind: "assign",
+                    localId: r.id,
+                    value: { kind: "genResume", mode: "next", gen: dRef(), arg: null, type: recT, loc },
+                    loc,
+                },
+            ]
+            : [
+                {
+                    kind: "assign",
+                    localId: r.id,
+                    value: { kind: "genResume", mode: "next", gen: dRef(), arg: resumeArg, type: recT, loc },
+                    loc,
+                },
+            ];
+        return {
+            kind: "block",
+            body: [
+                { kind: "varDecl", localId: d.id, init: delegate, loc },
+                {
+                    kind: "varDecl",
+                    localId: r.id,
+                    init: { kind: "genResume", mode: "next", gen: dRef(), arg: null, type: recT, loc },
+                    loc,
+                },
+                {
+                    kind: "while",
+                    cond: {
+                        kind: "unary",
+                        op: "!",
+                        operand: { kind: "recordGet", obj: rRef(), shapeId: recT.shapeId, field: "done", type: BOOL, loc },
+                        type: BOOL,
+                        loc,
+                    },
+                    body: loopBody,
+                    loc,
+                },
+            ],
+            loc,
+        };
+    }
+    finally {
+        L.scopes.pop();
+    }
+}
+//# sourceMappingURL=lower-generators.js.map

package/dist/frontend/lowering/lower-generators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lower-generators.js","sourceRoot":"","sources":["../../../src/frontend/lowering/lower-generators.ts"],"names":[],"mappings":"AAAA;;;;;;;qCAOqC;AACrC,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAkC,WAAW,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACzH,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIlD;0DAC0D;AAC1D,SAAS,cAAc,CAAC,CAAU,EAAE,IAAa;IAC/C,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IACnF,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;oCAEoC;AACpC,SAAS,gBAAgB,CAAC,CAAU,EAAE,OAAe,EAAE,GAAW;IAChE,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YACrE,IAAI,EAAE,GAAG;YACT,GAAG;SACJ,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;iCAIiC;AACjC,MAAM,UAAU,UAAU,CAAC,CAAU,EAAE,IAAwB;IAC7D,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;IAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,mEAAmE;QACnE,iEAAiE;QACjE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,2JAA2J,CAC5J,CAAC;IACJ,CAAC;IACD,IAAI,KAAa,CAAC;IAClB,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACpB,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC;SAAM,CAAC;QACN,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,yBAAyB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,4DAA4D,CACvG,CAAC;QACJ,CAAC;QACD,KAAK,GAAG,CAAC,CAAC;IACZ,CAAC;IACD,yEAAyE;IACzE,yEAAyE;IACzE,8CAA8C;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;IAChE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACjD,CAAC;AAED;;sBAEsB;AACtB,MAAM,UAAU,kBAAkB,CAChC,CAAU,EACV,IAAuB,EACvB,MAAmC;IAEnC,IAAI,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC1E,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAChF,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3C,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;IACtB,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,GAAG,GAAkB,IAAI,CAAC;IAC9B,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAClE,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,6BAA6B,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,oFAAoF,CACnI,CAAC;YACJ,CAAC;YACD,GAAG,GAAG,IAAI,CAAC,CAAC,8BAA8B;QAC5C,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5C,qEAAqE;YACrE,0DAA0D;YAC1D,MAAM,OAAO,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,6FAA6F,CAC9F,CAAC;YACJ,CAAC;YACD,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;SAAM,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,GAAG,GAAG,IAAI,CAAC,CAAC,uBAAuB;QACrC,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrC,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,oGAAoG,CACrG,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,4FAA4F,CAC7F,CAAC;QACJ,CAAC;QACD,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9G,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,OAAO,EACP,kBAAkB,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,gEAAgE,CAClG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACtE,CAAC;AAED;;;;;;;qDAOqD;AACrD,SAAS,iBAAiB,CACxB,CAAU,EACV,IAAa,EACb,MAAc,EACd,IAAY,EACZ,GAAW;IAEX,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,CAAC,kCAAkC;IAC1E,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACzC,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC3B,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;IAC9E,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AACvE,CAAC;AAED;;;;;;;;;;;;;;;;;4BAiB4B;AAC5B,MAAM,UAAU,mBAAmB,CACjC,CAAU,EACV,IAAuB,EACvB,QAAoC,EACpC,MAAiB;IAEjB,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACpD,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,CAAC,WAAW,EAChB,mGAAmG,CACpG,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;IAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5C,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,wDAAwD,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAE,CAAC;IACnC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,CAAC,UAAU,EACf,uEAAuE,CACxE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAClE,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,CAAC,UAAU,EACf,8DAA8D,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,0CAA0C,CAC1H,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAE,CAAC,IAAI,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAChF,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAChF,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACvH,MAAM,SAAS,GAAG,iBAAiB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QACrE,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,CAAC,UAAU,EACf,qCAAqC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,iFAAiF,CACzI,CAAC;QACJ,CAAC;QACD,qEAAqE;QACrE,mEAAmE;QACnE,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,SAAS;YACjB,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;YAC3C,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC;QAC/E,MAAM,IAAI,GAAa;YACrB;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,CAAC,CAAC,EAAE;gBACb,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;gBAClF,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE;oBACJ,IAAI,EAAE,WAAW;oBACjB,GAAG,EAAE,IAAI,EAAE;oBACX,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,KAAK,EAAE,MAAM;oBACb,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;oBACnG,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;iBACvB;gBACD,KAAK,EAAE,IAAI;gBACX,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE;YACxD,GAAG,CAAC,SAAS;gBACX,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAmB,CAAC;gBACzH,CAAC,CAAC,EAAE,CAAC;SACR,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/E,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;gBACvD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;gBACpG;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACvD,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;oBACxB,GAAG,CAAC,MAAM,IAAI,EAAE,MAAM,EAAE,CAAC;oBACzB,GAAG;iBACJ;gBACD,8DAA8D;gBAC9D,wDAAwD;gBACxD;oBACE,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,EAAE,EAAE,GAAG;wBACP,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAC9D,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE;wBACJ;4BACE,IAAI,EAAE,UAAU;4BAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;4BACpF,GAAG;yBACJ;qBACF;oBACD,KAAK,EAAE,IAAI;oBACX,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;;;4DAU4D;AAC5D,MAAM,UAAU,uBAAuB,CAAC,CAAU,EAAE,IAAmB;IACrE,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACjF,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC;IAC5B,IAAI,CAAC,GAAG;QAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,EAAE,0BAA0B,CAAC,CAAC;IAChF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,QAAQ,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACvC,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,kBAAkB,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,uFAAuF,CAC9H,CAAC;IACJ,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC;IACzB,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAClG,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,oBAAoB,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,0BAA0B,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,sEAAsE,CACpM,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAE,CAAC,IAAI,CAAC;IAClE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC;QACjB,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,GAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAChF,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACvH,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,CAAC,CAAC,WAAW,CACX,QAAQ,EACR,IAAI,EACJ,uCAAuC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,sCAAsC,CAC9F,CAAC;QACJ,CAAC;QACD,kEAAkE;QAClE,6DAA6D;QAC7D,2DAA2D;QAC3D,MAAM,OAAO,GAAW;YACtB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC;gBAC5E,CAAC,CAAC,KAAK;gBACP,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAW,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC;YACrD,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK;YACxD,GAAG;SACJ,CAAC;QACF,IAAI,SAAwB,CAAC;QAC7B,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACnC,SAAS,GAAG,IAAI,CAAC,CAAC,qDAAqD;QACzE,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxC,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAClE,SAAS,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,OAAO,CAAC;QACtB,CAAC;QACD,MAAM,SAAS,GAAkB,SAAS,CAAC;QAC3C,oEAAoE;QACpE,oEAAoE;QACpE,qDAAqD;QACrD,MAAM,QAAQ,GACZ,SAAS,KAAK,IAAI;YAChB,CAAC,CAAC;gBACE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAmB;gBACzD;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC,CAAC,EAAE;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACnF,GAAG;iBACJ;aACF;YACH,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,CAAC,CAAC,EAAE;oBACb,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBACxF,GAAG;iBACJ;aACF,CAAC;QACR,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE;gBACvD;oBACE,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,CAAC,CAAC,EAAE;oBACb,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAClF,GAAG;iBACJ;gBACD;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE;wBACJ,IAAI,EAAE,OAAO;wBACb,EAAE,EAAE,GAAG;wBACP,OAAO,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;wBAClG,IAAI,EAAE,IAAI;wBACV,GAAG;qBACJ;oBACD,IAAI,EAAE,QAAQ;oBACd,GAAG;iBACJ;aACF;YACD,GAAG;SACJ,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IACjB,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/lower-inspect.d.ts

@@ -0,0 +1,20 @@
+import * as ts from "../ts7/adapter.js";
+import type { Lowerer } from "./lowerer.js";
+import { IrExpr, SrcLoc } from "../../ir/nodes.js";
+/** strEscape's quote ladder over a COMPILE-TIME string (record field
+ * names, format-string chunks never pass through here — only keys).
+ * Mirrors scr_inspect.c's insp_quote_into byte-for-byte. */
+export declare function inspectQuote(s: string): string;
+/** util.format(...) / util.formatWithOptions({}, ...): the compile-time
+ * %-substitution over a literal format string (formatWithOptionsInternal
+ * ported exactly — the arg cursor, the args-exhausted guard, %c's
+ * consume-and-drop), with per-static-type conversions. Non-literal
+ * format strings lower only in the substitution-free shapes. */
+export declare function lowerFormatCall(L: Lowerer, expr: ts.CallExpression, loc: SrcLoc, withOptions: boolean): IrExpr;
+/** The spoke's entry, called from both the named-import and namespace/
+ * default-import call paths. Null for other modules and members (the
+ * module tables' fence takes over). */
+export declare function lowerUtilModuleCall(L: Lowerer, expr: ts.CallExpression, bi: {
+    module: string;
+    member: string;
+}, loc: SrcLoc): IrExpr | null;