@scriptc/compiler 0.2.4 → 0.2.5

package/dist/frontend/lowering/coercions/island.js

@@ -0,0 +1,350 @@
+import { buildArrayConversion } from "./builders.js";
+import { InternalCompilerError } from "../../../errors.js";
+import { arrayOf, BOOL, F64, canMarshalTypedFuncIntoIsland, isUnitType, JSVAL, STRING, VOID, } from "../../../ir/ir.js";
+import { typeKey } from "../../type-mapper.js";
+import { numLit, varRef } from "../../../ir/build.js";
+/** Whether a static value can become one island value. JSON-safe values
+ * use deep marshaling; composites containing island handles are constructed
+ * field by field. Recursive shapes outside the JSON-safe path are refused. */
+export function jsvalLiftable(lowerer, t, visiting = new Set()) {
+    if (t.kind === "jsval")
+        return true;
+    if (lowerer.boundarySafe(t))
+        return true;
+    // Typed arrays and URLs marshal IN without joining the round-trip
+    // (JSON) set: an engine typed-array copy / an engine URL from href.
+    if (t.kind === "bytes" || t.kind === "url")
+        return true;
+    // Checked-dynamic values deep-copy in (scr_jsval_from_dyn — data
+    // kinds; a boxed function/handle/promise throws at runtime).
+    if (t.kind === "dyn")
+        return true;
+    // Marshalable CLOSURES cross as host functions — a record carrying
+    // methods (the service-registry entry: `{ label, load: () =>
+    // Promise<any>, defaultFallback: (cfg) => any }`) lifts field by
+    // field like any other.
+    if (t.kind === "func") {
+        return canMarshalTypedFuncIntoIsland(t, (id) => lowerer.shapes.get(id), (id) => lowerer.unions.get(id));
+    }
+    if (t.kind === "record") {
+        const shape = lowerer.shapes.get(t.shapeId);
+        if (!shape || shape.tuple)
+            return false;
+        // Recursive shapes reaching here answer FALSE: this branch is the
+        // per-field island lift (jsval/bytes-bearing composites — the
+        // JSON-safe ones already answered true through boundarySafe, where
+        // a cyclic value throws the circular TypeError at the marshal), and
+        // the lift helpers walk values with no circular guard — fencing the
+        // TYPE is the honest answer.
+        if (visiting.has(t.shapeId))
+            return false;
+        visiting.add(t.shapeId);
+        // An INDEX-SIGNATURE record lifts when its value slot does (dyn
+        // included): declared fields write first, then the overflow keys.
+        if (shape.indexValue && !lowerer.jsvalLiftable(shape.indexValue, visiting))
+            return false;
+        return shape.fields.every((f) => !f.name.startsWith("%") && lowerer.jsvalLiftable(f.type, visiting));
+    }
+    if (t.kind === "array")
+        return lowerer.jsvalLiftable(t.elem, visiting);
+    // A union crossing IN lifts arm by arm (a runtime tag switch — see
+    // unionToJsvalHelper) when every arm does: unit arms become the
+    // engine's own undefined/null (which is why bare undefined-armed
+    // unions lift here despite being JSON-unsafe), the rest lift as
+    // themselves. Arms never nest unions, so this terminates (recursive
+    // knots pass through records, guarded above).
+    if (t.kind === "union") {
+        const def = lowerer.unions.get(t.unionId);
+        return !!def && def.arms.every((a) => isUnitType(a) || lowerer.jsvalLiftable(a, visiting));
+    }
+    return false;
+}
+/** A jsval-typed expression carrying `e`'s value into the island —
+ * jsvalLiftable's constructive side. Primitives and JSON-safe composites
+ * keep the jsMarshal deep copy; jsval-bearing records and arrays go
+ * through interned per-type builder helpers (%jsin.*), so the operand is
+ * always evaluated exactly once (as the helper's argument). */
+export function jsvalLiftExpr(lowerer, e, loc) {
+    if (e.type.kind === "jsval")
+        return e;
+    if (lowerer.boundarySafe(e.type)) {
+        return { kind: "jsMarshal", value: e, type: JSVAL, loc };
+    }
+    if (e.type.kind === "bytes" || e.type.kind === "url") {
+        return { kind: "jsMarshal", value: e, type: JSVAL, loc };
+    }
+    if (e.type.kind === "record") {
+        const helper = lowerer.recordToJsvalHelper(e.type.shapeId, loc);
+        return { kind: "call", callee: helper, args: [e], type: JSVAL, loc };
+    }
+    if (e.type.kind === "array") {
+        const helper = lowerer.arrayToJsvalHelper(e.type.elem, loc);
+        return { kind: "call", callee: helper, args: [e], type: JSVAL, loc };
+    }
+    if (e.type.kind === "union") {
+        const helper = lowerer.unionToJsvalHelper(e.type.unionId, loc);
+        return { kind: "call", callee: helper, args: [e], type: JSVAL, loc };
+    }
+    // Checked-dynamic values and marshalable closures ride jsMarshal
+    // directly (the checked-dynamic tree deep copy / the host-function wrap).
+    if (e.type.kind === "dyn" || e.type.kind === "func") {
+        return { kind: "jsMarshal", value: e, type: JSVAL, loc };
+    }
+    throw new InternalCompilerError(`lowerer bug: jsvalLiftExpr of unliftable ${e.type.kind}`);
+}
+/** Interned `%jsin.union.<n>(u)` — the runtime tag switch marshaling a
+ * union value INTO the island: unit arms become the engine's own
+ * undefined/null (JS-exact — `{ instructions: undefined }` crossing in
+ * has the property present and undefined, exactly what the source
+ * spells), every other arm narrows and lifts as itself (strings by
+ * value, JSON-safe composites as deep copies, typed arrays as engine
+ * typed-array copies, URLs as engine URL instances). Caller must have
+ * checked jsvalLiftable. */
+export function unionToJsvalHelper(lowerer, unionId, loc) {
+    const key = `union:${unionId}`;
+    const existing = lowerer.coercions.islandInputs.get(key);
+    if (existing)
+        return existing;
+    const def = lowerer.unions.get(unionId);
+    if (!def)
+        throw new InternalCompilerError(`lowerer bug: jsval lift of unknown union ${unionId}`);
+    const name = `%jsin.union.${lowerer.coercions.islandInputs.size}`;
+    lowerer.coercions.islandInputs.set(key, name);
+    const fromT = { kind: "union", unionId };
+    const u = { kind: "varRef", localId: "u.0", type: fromT, loc };
+    const body = [];
+    def.arms.forEach((arm, i) => {
+        const cond = {
+            kind: "unionIsTag",
+            unionId,
+            tag: i,
+            negated: false,
+            value: u,
+            type: BOOL,
+            loc,
+        };
+        const value = isUnitType(arm)
+            ? {
+                kind: "jsOp",
+                op: arm.kind === "undefinedT" ? "undefLit" : "nullLit",
+                args: [],
+                type: JSVAL,
+                loc,
+            }
+            : lowerer.jsvalLiftExpr({ kind: "unionNarrow", unionId, tag: i, value: u, type: arm, loc }, loc);
+        body.push({ kind: "if", cond, then: [{ kind: "return", value, loc }], else_: null, loc });
+    });
+    // Unreachable when tags are exhaustive (they are, by construction);
+    // satisfies the all-paths-return rule and keeps a corrupted tag loud.
+    body.push({
+        kind: "throw",
+        value: {
+            kind: "strLit",
+            value: "scriptc: internal error: invalid union tag",
+            type: STRING,
+            loc,
+        },
+        loc,
+    });
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "u.0", name: "u", type: fromT }],
+        returnType: JSVAL,
+        locals: [{ id: "u.0", name: "u", type: fromT, mutable: true }],
+        body,
+        loc,
+    });
+    return name;
+}
+/** Interned `%jsin.rec.<n>(r)` — builds an island OBJECT from a
+ * jsval-bearing record: marshaled key strings, each field lifted through
+ * jsvalLiftExpr (jsval fields pass as handles, JSON-safe fields deep-copy,
+ * nested composites recurse through their own helpers). Caller must have
+ * checked jsvalLiftable. */
+export function recordToJsvalHelper(lowerer, shapeId, loc) {
+    const key = `rec:${shapeId}`;
+    const existing = lowerer.coercions.islandInputs.get(key);
+    if (existing)
+        return existing;
+    const shape = lowerer.shapes.get(shapeId);
+    if (!shape)
+        throw new InternalCompilerError(`lowerer bug: jsval lift of unknown shape ${shapeId}`);
+    const name = `%jsin.rec.${lowerer.coercions.islandInputs.size}`;
+    lowerer.coercions.islandInputs.set(key, name);
+    const recT = { kind: "record", shapeId };
+    const r = { kind: "varRef", localId: "r.0", type: recT, loc };
+    const args = [];
+    for (const f of shape.fields) {
+        args.push({
+            kind: "jsMarshal",
+            value: { kind: "strLit", value: f.name, type: STRING, loc },
+            type: JSVAL,
+            loc,
+        });
+        args.push(lowerer.jsvalLiftExpr({ kind: "recordGet", obj: r, shapeId, field: f.name, type: f.type, loc }, loc));
+    }
+    const lit = { kind: "jsOp", op: "objLit", args, type: JSVAL, loc };
+    if (!shape.indexValue) {
+        lowerer.liftedFns.push({
+            name,
+            params: [{ localId: "r.0", name: "r", type: recT }],
+            returnType: JSVAL,
+            locals: [{ id: "r.0", name: "r", type: recT, mutable: true }],
+            body: [{ kind: "return", value: lit, loc }],
+            loc,
+        });
+        return name;
+    }
+    // An INDEX-SIGNATURE shape: the declared pairs build the object, then
+    // the overflow map's live keys append in JS own-key order (setIdx —
+    // runtime keys have no property-name literal).
+    const iv = shape.indexValue;
+    const f64 = { kind: "f64" };
+    const ksT = arrayOf(STRING);
+    const kRef = varRef("k.0", STRING, loc);
+    lowerer.liftedFns.push({
+        name,
+        params: [{ localId: "r.0", name: "r", type: recT }],
+        returnType: JSVAL,
+        locals: [
+            { id: "r.0", name: "r", type: recT, mutable: true },
+            { id: "out.0", name: "out", type: JSVAL, mutable: false },
+            { id: "ks.0", name: "ks", type: ksT, mutable: false },
+            { id: "i.0", name: "i", type: f64, mutable: true },
+            { id: "k.0", name: "k", type: STRING, mutable: false },
+        ],
+        body: [
+            { kind: "varDecl", localId: "out.0", init: lit, loc },
+            {
+                kind: "varDecl",
+                localId: "ks.0",
+                init: { kind: "recordOvfKeys", obj: r, shapeId, type: ksT, loc },
+                loc,
+            },
+            {
+                kind: "for",
+                init: { kind: "varDecl", localId: "i.0", init: numLit(0, loc), loc },
+                cond: {
+                    kind: "bin",
+                    op: "<",
+                    left: varRef("i.0", f64, loc),
+                    right: {
+                        kind: "arrIntrinsic",
+                        method: "length",
+                        receiver: varRef("ks.0", ksT, loc),
+                        args: [],
+                        type: f64,
+                        loc,
+                    },
+                    type: BOOL,
+                    loc,
+                },
+                update: {
+                    kind: "assign",
+                    localId: "i.0",
+                    value: {
+                        kind: "bin",
+                        op: "+",
+                        left: varRef("i.0", f64, loc),
+                        right: numLit(1, loc),
+                        type: f64,
+                        loc,
+                    },
+                    loc,
+                },
+                body: [
+                    {
+                        kind: "varDecl",
+                        localId: "k.0",
+                        init: {
+                            kind: "arrayGet",
+                            arr: varRef("ks.0", ksT, loc),
+                            index: varRef("i.0", f64, loc),
+                            type: STRING,
+                            loc,
+                        },
+                        loc,
+                    },
+                    {
+                        kind: "exprStmt",
+                        expr: {
+                            kind: "jsOp",
+                            op: "setIdx",
+                            args: [
+                                varRef("out.0", JSVAL, loc),
+                                { kind: "jsMarshal", value: kRef, type: JSVAL, loc },
+                                lowerer.jsvalLiftExpr({
+                                    kind: "recordKeyGet",
+                                    obj: r,
+                                    shapeId,
+                                    key: kRef,
+                                    overflowOnly: true,
+                                    type: iv,
+                                    loc,
+                                }, loc),
+                            ],
+                            type: VOID,
+                            loc,
+                        },
+                        loc,
+                    },
+                ],
+                loc,
+            },
+            { kind: "return", value: varRef("out.0", JSVAL, loc), loc },
+        ],
+        loc,
+    });
+    return name;
+}
+/** Interned `%jsin.arr.<n>(a)` — builds ONE island ARRAY from a native
+ * array whose elements lift: out = []; for (...) out[i] = lift(a[i]);
+ * return out. The index marshals by value like any number. Caller must
+ * have checked jsvalLiftable of the element. */
+export function arrayToJsvalHelper(lowerer, elem, loc) {
+    const key = `arr:${typeKey(elem)}`;
+    const existing = lowerer.coercions.islandInputs.get(key);
+    if (existing)
+        return existing;
+    const name = `%jsin.arr.${lowerer.coercions.islandInputs.size}`;
+    lowerer.coercions.islandInputs.set(key, name);
+    const arrT = { kind: "array", elem };
+    lowerer.liftedFns.push(buildArrayConversion(name, arrT, { kind: "jsOp", op: "arrLit", args: [], type: JSVAL, loc }, (element, index, result) => ({
+        kind: "jsOp",
+        op: "setIdx",
+        args: [
+            result,
+            { kind: "jsMarshal", value: index, type: JSVAL, loc },
+            lowerer.jsvalLiftExpr(element, loc),
+        ],
+        type: VOID,
+        loc,
+    }), loc));
+    return name;
+}
+/** Interned `%jsin.elems.<n>(a)` — a NATIVE array of island handles from
+ * a native array whose elements lift: the `any[]`-slot coercion (each
+ * element becomes one island value; the array stays static). Null when
+ * the element doesn't lift. */
+export function arrayToJsvalArrayHelper(lowerer, fromElem, loc) {
+    if (fromElem.kind === "jsval" || !lowerer.jsvalLiftable(fromElem))
+        return null;
+    const key = `elems:${typeKey(fromElem)}`;
+    const existing = lowerer.coercions.islandInputs.get(key);
+    if (existing)
+        return existing;
+    const name = `%jsin.elems.${lowerer.coercions.islandInputs.size}`;
+    lowerer.coercions.islandInputs.set(key, name);
+    const arrT = { kind: "array", elem: fromElem };
+    const outT = { kind: "array", elem: JSVAL };
+    lowerer.liftedFns.push(buildArrayConversion(name, arrT, { kind: "arrayLit", elems: [], type: outT, loc }, (element, _index, result) => ({
+        kind: "arrIntrinsic",
+        method: "push",
+        receiver: result,
+        args: [lowerer.jsvalLiftExpr(element, loc)],
+        type: F64,
+        loc,
+    }), loc));
+    return name;
+}
+//# sourceMappingURL=island.js.map

package/dist/frontend/lowering/coercions/island.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"island.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/island.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EACL,OAAO,EACP,IAAI,EACJ,GAAG,EACH,6BAA6B,EAC7B,UAAU,EACV,KAAK,EACL,MAAM,EACN,IAAI,GACL,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAGtD;;8EAE8E;AAC9E,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,CAAS,EACT,QAAQ,GAAgB,IAAI,GAAG,EAAE;IAEjC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,kEAAkE;IAClE,oEAAoE;IACpE,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACxD,iEAAiE;IACjE,6DAA6D;IAC7D,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAClC,mEAAmE;IACnE,6DAA6D;IAC7D,iEAAiE;IACjE,wBAAwB;IACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACtB,OAAO,6BAA6B,CAClC,CAAC,EACD,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAC/B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK;YAAE,OAAO,KAAK,CAAC;QACxC,kEAAkE;QAClE,8DAA8D;QAC9D,mEAAmE;QACnE,oEAAoE;QACpE,oEAAoE;QACpE,6BAA6B;QAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC1C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACxB,gEAAgE;QAChE,kEAAkE;QAClE,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;QACzF,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvE,mEAAmE;IACnE,gEAAgE;IAChE,iEAAiE;IACjE,gEAAgE;IAChE,oEAAoE;IACpE,8CAA8C;IAC9C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;+DAI+D;AAC/D,MAAM,UAAU,aAAa,CAAC,OAAgB,EAAE,CAAS,EAAE,GAAW;IACpE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACrD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAChE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,CAAC;IACD,iEAAiE;IACjE,0EAA0E;IAC1E,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC3D,CAAC;IACD,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED;;;;;;;4BAO4B;AAC5B,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAC/E,MAAM,GAAG,GAAG,SAAS,OAAO,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,OAAO,EAAE,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,eAAe,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAClE,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACjD,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IACvE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,YAAY;YAClB,OAAO;YACP,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,KAAK;YACd,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,IAAI;YACV,GAAG;SACJ,CAAC;QACF,MAAM,KAAK,GAAW,UAAU,CAAC,GAAG,CAAC;YACnC,CAAC,CAAC;gBACE,IAAI,EAAE,MAAM;gBACZ,EAAE,EAAE,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS;gBACtD,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,KAAK;gBACX,GAAG;aACJ;YACH,CAAC,CAAC,OAAO,CAAC,aAAa,CACnB,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAClE,GAAG,CACJ,CAAC;QACN,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IACH,oEAAoE;IACpE,sEAAsE;IACtE,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QACpD,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC9D,IAAI;QACJ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;4BAI4B;AAC5B,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,OAAe,EAAE,GAAW;IAChF,MAAM,GAAG,GAAG,OAAO,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QACR,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,OAAO,EAAE,CAAC,CAAC;IACzF,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAChE,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACjD,MAAM,CAAC,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACtE,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAC3D,IAAI,EAAE,KAAK;YACX,GAAG;SACJ,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,CACP,OAAO,CAAC,aAAa,CACnB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EACxE,GAAG,CACJ,CACF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC3E,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACtB,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;YACrB,IAAI;YACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACnD,UAAU,EAAE,KAAK;YACjB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;YAC7D,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;YAC3C,GAAG;SACJ,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IACD,sEAAsE;IACtE,oEAAoE;IACpE,+CAA+C;IAC/C,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC;IAC5B,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAE5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACxC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACnD,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE;YACN,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YACnD,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE;YACzD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE;YACrD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;YAClD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;SACvD;QACD,IAAI,EAAE;YACJ,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACrD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;gBAChE,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;gBACpE,IAAI,EAAE;oBACJ,IAAI,EAAE,KAAK;oBACX,EAAE,EAAE,GAAG;oBACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;oBAC7B,KAAK,EAAE;wBACL,IAAI,EAAE,cAAc;wBACpB,MAAM,EAAE,QAAQ;wBAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC;wBAClC,IAAI,EAAE,EAAE;wBACR,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE;wBACL,IAAI,EAAE,KAAK;wBACX,EAAE,EAAE,GAAG;wBACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;wBAC7B,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC;wBACrB,IAAI,EAAE,GAAG;wBACT,GAAG;qBACJ;oBACD,GAAG;iBACJ;gBACD,IAAI,EAAE;oBACJ;wBACE,IAAI,EAAE,SAAS;wBACf,OAAO,EAAE,KAAK;wBACd,IAAI,EAAE;4BACJ,IAAI,EAAE,UAAU;4BAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC;4BAC7B,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;4BAC9B,IAAI,EAAE,MAAM;4BACZ,GAAG;yBACJ;wBACD,GAAG;qBACJ;oBACD;wBACE,IAAI,EAAE,UAAU;wBAChB,IAAI,EAAE;4BACJ,IAAI,EAAE,MAAM;4BACZ,EAAE,EAAE,QAAQ;4BACZ,IAAI,EAAE;gCACJ,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC;gCAC3B,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;gCACpD,OAAO,CAAC,aAAa,CACnB;oCACE,IAAI,EAAE,cAAc;oCACpB,GAAG,EAAE,CAAC;oCACN,OAAO;oCACP,GAAG,EAAE,IAAI;oCACT,YAAY,EAAE,IAAI;oCAClB,IAAI,EAAE,EAAE;oCACR,GAAG;iCACJ,EACD,GAAG,CACJ;6BACF;4BACD,IAAI,EAAE,IAAI;4BACV,GAAG;yBACJ;wBACD,GAAG;qBACJ;iBACF;gBACD,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;SAC5D;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;gDAGgD;AAChD,MAAM,UAAU,kBAAkB,CAAC,OAAgB,EAAE,IAAY,EAAE,GAAW;IAC5E,MAAM,GAAG,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAChE,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAE7C,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAClB,IAAI,EACJ,IAAI,EACJ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAC1D,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAI,EAAE,MAAM;QACZ,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE;YACJ,MAAM;YACN,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE;YACrD,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC;SACpC;QACD,IAAI,EAAE,IAAI;QACV,GAAG;KACJ,CAAC,EACF,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;+BAG+B;AAC/B,MAAM,UAAU,uBAAuB,CACrC,OAAgB,EAChB,QAAgB,EAChB,GAAW;IAEX,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,MAAM,GAAG,GAAG,SAAS,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IACzC,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACzD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,eAAe,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAClE,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACvD,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAEpD,OAAO,CAAC,SAAS,CAAC,IAAI,CACpB,oBAAoB,CAClB,IAAI,EACJ,IAAI,EACJ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,EAChD,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5B,IAAI,EAAE,cAAc;QACpB,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM;QAChB,IAAI,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC3C,IAAI,EAAE,GAAG;QACT,GAAG;KACJ,CAAC,EACF,GAAG,CACJ,CACF,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/coercions/state.d.ts

@@ -0,0 +1,14 @@
+/** Per-compilation conversion state. Recursive plans are scoped to the
+ * active planning stack; only fully validated copy routes are memoized. */
+export declare class CoercionState {
+    readonly planning: Set<string>;
+    readonly copyRetags: Map<string, {
+        name: string;
+        shapes: number;
+        unions: number;
+    }>;
+    readonly checkedNarrows: Set<string>;
+    readonly retags: Map<string, string>;
+    readonly narrows: Map<string, string>;
+    readonly islandInputs: Map<string, string>;
+}

package/dist/frontend/lowering/coercions/state.js

@@ -0,0 +1,16 @@
+/** Per-compilation conversion state. Recursive plans are scoped to the
+ * active planning stack; only fully validated copy routes are memoized. */
+export class CoercionState {
+    // Re-entering a recursive pair assumes it is coercible while the outer
+    // plan checks its other fields. Remove every assumption on unwind;
+    // generated helpers must intern their names before building their bodies.
+    planning = new Set();
+    // Registry revisions invalidate only fully validated copy-only routes.
+    copyRetags = new Map();
+    // Provenance for checked extraction; consumers must not infer it from names.
+    checkedNarrows = new Set();
+    retags = new Map();
+    narrows = new Map();
+    islandInputs = new Map();
+}
+//# sourceMappingURL=state.js.map

package/dist/frontend/lowering/coercions/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/frontend/lowering/coercions/state.ts"],"names":[],"mappings":"AAAA;2EAC2E;AAC3E,MAAM,OAAO,aAAa;IACxB,uEAAuE;IACvE,mEAAmE;IACnE,0EAA0E;IACjE,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,uEAAuE;IAC9D,UAAU,GAAG,IAAI,GAAG,EAA4D,CAAC;IAC1F,6EAA6E;IACpE,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnC,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;CACnD"}

package/dist/frontend/lowering/coercions/structural-plans.d.ts

@@ -0,0 +1,40 @@
+import type { WidthLift } from "../width-lift.js";
+import type { IrType } from "../../../ir/ir.js";
+import type { Lowerer } from "../lowerer.js";
+export type FieldLift = {
+    src: IrType;
+    lift: WidthLift;
+} | {
+    absent: true;
+    utag: number;
+} | {
+    absentDyn: true;
+};
+/** Plan one recursive structural conversion without interning helpers.
+ * Validate the entire plan before building it; ambiguous union destinations
+ * and conversions that can only throw are not structural conversions. */
+export declare function widthLiftPlan(lowerer: Lowerer, src: IrType, dst: IrType): WidthLift | null;
+/** True for the unit-only element types (`(null | undefined)[]`, the
+ * `readonly []` mapping): a union whose every arm is a unit. */
+export declare function unitOnlyElem(lowerer: Lowerer, t: IrType): boolean;
+/** Plan each destination field before interning a record projection.
+ * Missing optional fields complete to undefined; tuples require equal arity.
+ * Index-signature destinations use the separate overflow-capture path. */
+export declare function recordWidthPlan(lowerer: Lowerer, fromId: string, toId: string): Map<string, FieldLift> | null;
+/** Explain the first blocked field conversion after SC2002 rejects a pair.
+ * This describes the planning rules without changing which pairs convert. */
+export declare function describeRecordWidthBlocker(lowerer: Lowerer, fromId: string, toId: string): string | null;
+/** Plan a record projection from plain class fields, including inherited
+ * fields and absent optional fields. Methods, accessors, reserved slots and
+ * builtin runtime layouts cannot be read as ordinary emitted storage. */
+export declare function objToRecordPlan(lowerer: Lowerer, className: string, toId: string): Map<string, FieldLift> | null;
+/** Plan construction of a data class from record fields. The class must
+ * have only parameter properties and a trivial constructor, with no methods,
+ * accessors, decorations or runtime layout. Entries follow parameter order. */
+export declare function recordToClassPlan(lowerer: Lowerer, fromId: string, className: string): ({
+    field: string;
+    src: IrType;
+    lift: WidthLift;
+} | {
+    absent: true;
+})[] | null;