@scriptc/compiler 0.1.4 → 0.1.6

package/dist/frontend/lowering/optional-arguments.d.ts

@@ -1,9 +1,17 @@
 import * as ts from "../ts7/adapter.js";
-import type { IrExpr, IrType } from "../../ir/ir.js";
+import type { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 /** Lower an expression whose checker type is statically `undefined`/`void`. */
 export declare function lowerStaticallyUndefinedArgument(lowerer: Lowerer, node: ts.Expression): IrExpr | null;
 /** Preserve an explicitly undefined argument's effects, then use its default. */
 export declare function defaultAfterUndefined(value: IrExpr, defaultValue: IrExpr): IrExpr;
+/** Convert an omitted or supplied string-search value after preserving its effects. */
+export declare function lowerStringSearchArgument(lowerer: Lowerer, node: ts.Expression | undefined, loc: SrcLoc): IrExpr;
+/** Convert a lowered string-search value while preserving unit-value effects. */
+export declare function coerceStringSearchValue(lowerer: Lowerer, value: IrExpr, node: ts.Expression, loc: SrcLoc): IrExpr;
 /** Lower an optional argument, applying its default only to the undefined arm. */
 export declare function lowerOptionalArgument(lowerer: Lowerer, node: ts.Expression, expected: IrType, defaultValue: IrExpr): IrExpr;
+/** Complete an omitted or statically undefined position without dropping argument effects. */
+export declare function lowerPositionArgument(lowerer: Lowerer, node: ts.Expression | undefined, defaultValue: IrExpr): IrExpr;
+/** Convert a stabilized position after the method has evaluated its arguments. */
+export declare function positionNumber(lowerer: Lowerer, value: IrExpr, defaultValue: IrExpr, node: ts.Expression, subject: string): IrExpr;

package/dist/frontend/lowering/optional-arguments.js

@@ -1,5 +1,6 @@
 import * as ts from "../ts7/adapter.js";
-import { typeEquals } from "../../ir/ir.js";
+import { BOOL, F64, isUnitType, typeEquals } from "../../ir/ir.js";
+import { numLit, strLit } from "../../ir/build.js";
 import { isSafeToDiscard } from "./expressions/evaluation-safety.js";
 /** Lower an expression whose checker type is statically `undefined`/`void`. */
 export function lowerStaticallyUndefinedArgument(lowerer, node) {
@@ -38,6 +39,23 @@ export function defaultAfterUndefined(value, defaultValue) {
         loc: value.loc,
     };
 }
+/** Convert an omitted or supplied string-search value after preserving its effects. */
+export function lowerStringSearchArgument(lowerer, node, loc) {
+    const absent = strLit("undefined", loc);
+    if (!node)
+        return absent;
+    const undefinedArg = lowerStaticallyUndefinedArgument(lowerer, node);
+    if (undefinedArg)
+        return defaultAfterUndefined(undefinedArg, absent);
+    return coerceStringSearchValue(lowerer, lowerer.lowerExpr(node), node, loc);
+}
+/** Convert a lowered string-search value while preserving unit-value effects. */
+export function coerceStringSearchValue(lowerer, value, node, loc) {
+    if (isUnitType(value.type)) {
+        return defaultAfterUndefined(value, strLit(value.type.kind === "nullT" ? "null" : "undefined", loc));
+    }
+    return lowerer.ensureString(value, node);
+}
 /** Lower an optional argument, applying its default only to the undefined arm. */
 export function lowerOptionalArgument(lowerer, node, expected, defaultValue) {
     const undefinedArg = lowerStaticallyUndefinedArgument(lowerer, node);
@@ -54,4 +72,52 @@ export function lowerOptionalArgument(lowerer, node, expected, defaultValue) {
     }
     return lowerer.coerceInto(node, value, expected);
 }
+/** Complete an omitted or statically undefined position without dropping argument effects. */
+export function lowerPositionArgument(lowerer, node, defaultValue) {
+    if (!node)
+        return defaultValue;
+    const undefinedArg = lowerStaticallyUndefinedArgument(lowerer, node);
+    if (undefinedArg)
+        return defaultAfterUndefined(undefinedArg, defaultValue);
+    const value = lowerer.lowerExpr(node);
+    if (isUnitType(value.type) || value.type.kind === "void") {
+        return defaultAfterUndefined(value, value.type.kind === "nullT" ? numLit(0, value.loc) : defaultValue);
+    }
+    return value;
+}
+/** Convert a stabilized position after the method has evaluated its arguments. */
+export function positionNumber(lowerer, value, defaultValue, node, subject) {
+    const loc = value.loc;
+    switch (value.type.kind) {
+        case "f64": return value;
+        case "string": return { kind: "libCall", fn: "num.fromString", args: [value], type: F64, loc };
+        case "bool": return { kind: "ternary", cond: value, then: numLit(1, loc), else_: numLit(0, loc), type: F64, loc };
+        case "nullT": return numLit(0, loc);
+        case "undefinedT": return defaultValue;
+        case "jsval": return { kind: "jsExit", value, type: F64, loc };
+        case "union": {
+            const unionId = value.type.unionId;
+            const arms = lowerer.unions.get(unionId).arms;
+            let result = defaultValue;
+            for (let tag = arms.length - 1; tag >= 0; tag--) {
+                const narrowed = { kind: "unionNarrow", unionId, tag, value, type: arms[tag], loc };
+                const converted = positionNumber(lowerer, narrowed, defaultValue, node, subject);
+                result = tag === arms.length - 1 ? converted : {
+                    kind: "ternary",
+                    cond: { kind: "unionIsTag", unionId, tag, value, negated: false, type: BOOL, loc },
+                    then: converted, else_: result, type: F64, loc,
+                };
+            }
+            return result;
+        }
+        case "dyn": return {
+            kind: "ternary",
+            cond: { kind: "dynTest", test: "undefined", value, type: BOOL, loc },
+            then: defaultValue,
+            else_: { kind: "libCall", fn: "dyn.toNumberCoerce", args: [value], type: F64, loc },
+            type: F64, loc,
+        };
+        default: return lowerer.noLowering(`${subject} of '${lowerer.fmt(value.type)}' values`, node);
+    }
+}
 //# sourceMappingURL=optional-arguments.js.map

package/dist/frontend/lowering/optional-arguments.js.map

@@ -1 +1 @@
-{"version":3,"file":"optional-arguments.js","sourceRoot":"","sources":["../../../src/frontend/lowering/optional-arguments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAE5C,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE,+EAA+E;AAC/E,MAAM,UAAU,gCAAgC,CAAC,OAAgB,EAAE,IAAmB;IACpF,MAAM,oBAAoB,GAAG,CAAC,KAAoB,EAAiB,EAAE;QACnE,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,OACE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnG,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,IAAI,CAAC;QACf,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,YAAoB;IACvE,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC1D,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,YAAoB;IAEpB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,IACE,GAAG,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EACjD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC"}
+{"version":3,"file":"optional-arguments.js","sourceRoot":"","sources":["../../../src/frontend/lowering/optional-arguments.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE,+EAA+E;AAC/E,MAAM,UAAU,gCAAgC,CAAC,OAAgB,EAAE,IAAmB;IACpF,MAAM,oBAAoB,GAAG,CAAC,KAAoB,EAAiB,EAAE;QACnE,IAAI,IAAI,GAAG,KAAK,CAAC;QACjB,OACE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,OAAO,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC;IAClE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnG,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,IAAI,CAAC;QACf,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AACrE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CAAC,KAAa,EAAE,YAAoB;IACvE,IAAI,eAAe,CAAC,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAChD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC1D,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,YAAY,CAAC,IAAI;QACvB,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,yBAAyB,CAAC,OAAgB,EAAE,IAA+B,EAAE,GAAW;IACtG,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,MAAM,CAAC;IACzB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACrE,OAAO,uBAAuB,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,uBAAuB,CAAC,OAAgB,EAAE,KAAa,EAAE,IAAmB,EAAE,GAAW;IACvG,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC;IACvG,CAAC;IACD,OAAO,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,qBAAqB,CACnC,OAAgB,EAChB,IAAmB,EACnB,QAAgB,EAChB,YAAoB;IAEpB,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,IACE,GAAG,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC;YACtB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,EACjD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnD,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,IAA+B,EAAE,YAAoB;IAC3G,IAAI,CAAC,IAAI;QAAE,OAAO,YAAY,CAAC;IAC/B,MAAM,YAAY,GAAG,gCAAgC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACrE,IAAI,YAAY;QAAE,OAAO,qBAAqB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzD,OAAO,qBAAqB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,KAAa,EACb,YAAoB,EACpB,IAAmB,EACnB,OAAe;IAEf,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;IACtB,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,KAAK,EAAE,OAAO,KAAK,CAAC;QACzB,KAAK,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/F,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAClH,KAAK,OAAO,EAAE,OAAO,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,KAAK,YAAY,EAAE,OAAO,YAAY,CAAC;QACvC,KAAK,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QAC/D,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;YACnC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,IAAI,CAAC;YAC/C,IAAI,MAAM,GAAW,YAAY,CAAC;YAClC,KAAK,IAAI,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;gBAChD,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAE,EAAE,GAAG,EAAE,CAAC;gBAC7F,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBACjF,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;oBAC7C,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;oBAClF,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG;iBAC/C,CAAC;YACJ,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,KAAK,EAAE,OAAO;YACjB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACpE,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;YACnF,IAAI,EAAE,GAAG,EAAE,GAAG;SACf,CAAC;QACF,SAAS,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,OAAO,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAChG,CAAC;AACH,CAAC"}

package/dist/frontend/lowering/pairs-snapshot.d.ts

@@ -1,11 +1,13 @@
 import { type IrExpr, type IrLibFn, type IrParam, type IrType, type SrcLoc } from "../../ir/ir.js";
 import type { Lowerer } from "./lowerer.js";
 /** Intern a helper that materializes a pure string-index record from a flat
- * `[key, value, ...]` array returned by a runtime call. */
+ * `[key, value, ...]` array. Distinct HTTP records use the pair keys and
+ * look up each key's full string[] value. */
 export declare function pairsSnapshotHelper(lowerer: Lowerer, shapeId: string, loc: SrcLoc, options: {
     keyPrefix: string;
     libCall: IrLibFn;
     params?: IrParam[];
     callArgs?: IrExpr[];
     indexValueOk?: (indexValue: IrType) => boolean;
+    lookupValue?: "http.reqHeaderValues" | "http.reqTrailerValues";
 }): string | null;

package/dist/frontend/lowering/pairs-snapshot.js

@@ -1,7 +1,8 @@
 import { arrayOf, BOOL, F64, STRING } from "../../ir/ir.js";
 import { numLit, varRef } from "../../ir/build.js";
 /** Intern a helper that materializes a pure string-index record from a flat
- * `[key, value, ...]` array returned by a runtime call. */
+ * `[key, value, ...]` array. Distinct HTTP records use the pair keys and
+ * look up each key's full string[] value. */
 export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
     const shape = lowerer.shapes.get(shapeId);
     if (!shape || shape.tuple || shape.fields.length > 0 || !shape.indexValue)
@@ -11,8 +12,13 @@ export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
         return null;
     if (indexValue.kind !== "union")
         return null;
-    const stringTag = lowerer.armTag(indexValue.unionId, STRING);
-    if (stringTag < 0)
+    const stringTag = options.lookupValue ? -1 : lowerer.armTag(indexValue.unionId, STRING);
+    if (options.lookupValue) {
+        const arrayValue = lowerer.withUndefinedArm(arrayOf(STRING));
+        if (arrayValue.kind !== "union" || indexValue.unionId !== arrayValue.unionId)
+            return null;
+    }
+    else if (stringTag < 0)
         return null;
     const key = `${options.keyPrefix}.snapshot:${shapeId}`;
     const existing = lowerer.widthHelpers.get(key);
@@ -71,7 +77,9 @@ export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
                         obj: varRef("out.0", recordType, loc),
                         shapeId,
                         key: pairAt(0),
-                        value: { kind: "unionWrap", unionId: indexValue.unionId, tag: stringTag, value: pairAt(1), type: indexValue, loc },
+                        value: options.lookupValue
+                            ? { kind: "libCall", fn: options.lookupValue, args: [...(options.callArgs ?? []), pairAt(0)], type: indexValue, loc }
+                            : { kind: "unionWrap", unionId: indexValue.unionId, tag: stringTag, value: pairAt(1), type: indexValue, loc },
                         loc,
                     }],
                 loc,

package/dist/frontend/lowering/pairs-snapshot.js.map

@@ -1 +1 @@
-{"version":3,"file":"pairs-snapshot.js","sourceRoot":"","sources":["../../../src/frontend/lowering/pairs-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAwD,MAAM,EAAe,MAAM,gBAAgB,CAAC;AAC/H,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;2DAC2D;AAC3D,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,OAAe,EACf,GAAW,EACX,OAMC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,IAAI,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,aAAa,OAAO,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC3E,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC;QACnC,KAAK,EACH,MAAM,KAAK,CAAC;YACV,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzG,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;QAC5B,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE;YACN,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACrH,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACnD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE;gBAClG,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;YAC1G;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,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrH,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrG,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC;wBACL,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC;wBACrC,OAAO;wBACP,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;wBACd,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;wBAClH,GAAG;qBACJ,CAAC;gBACF,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;SACjE;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"pairs-snapshot.js","sourceRoot":"","sources":["../../../src/frontend/lowering/pairs-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAwD,MAAM,EAAe,MAAM,gBAAgB,CAAC;AAC/H,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;;6CAE6C;AAC7C,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,OAAe,EACf,GAAW,EACX,OAOC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,IAAI,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,OAAO,KAAK,UAAU,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;IAC5F,CAAC;SAAM,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,aAAa,OAAO,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,OAAO,CAAC,SAAS,aAAa,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;IAC3E,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,UAAU,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAU,EAAE,CAAC,CAAC;QAC1C,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC;QACnC,KAAK,EACH,MAAM,KAAK,CAAC;YACV,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;YACzB,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QACzG,IAAI,EAAE,MAAM;QACZ,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE;QAC5B,UAAU,EAAE,UAAU;QACtB,MAAM,EAAE;YACN,GAAG,CAAC,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACrH,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;YAC3D,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE;YAC9D,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;SACnD;QACD,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,MAAM;gBACf,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE;gBAClG,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE;YAC1G;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,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrH,IAAI,EAAE,IAAI;oBACV,GAAG;iBACJ;gBACD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,KAAK;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;oBACrG,GAAG;iBACJ;gBACD,IAAI,EAAE,CAAC;wBACL,IAAI,EAAE,cAAc;wBACpB,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC;wBACrC,OAAO;wBACP,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;wBACd,KAAK,EAAE,OAAO,CAAC,WAAW;4BACxB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;4BACrH,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;wBAC/G,GAAG;qBACJ,CAAC;gBACF,GAAG;aACJ;YACD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE;SACjE;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/frontend/lowering/surfaces.d.ts

@@ -103,6 +103,8 @@ export declare const STR_METHODS: Record<string, {
     minArgs: number;
     maxArgs: number;
 }>;
+/** String index reads return an undefined arm and compose the existing UTF-16 intrinsics. */
+export declare const STRING_INDEX_METHODS: Set<string>;
 /** One member of the island-backed ambient surface: declared argument
  * types (tsc enforces them at call sites; the arity double-checks the
  * table against the ambient file) and the validated island-exit target the
@@ -114,8 +116,8 @@ export interface IslandFnEntry {
 export declare const boundaryIntoIslandMsg: (typeName: string) => string;
 export declare const boundaryOutOfIslandMsg: (typeName: string) => string;
 /** The island-backed surface — standard-library APIs with no static
- * runtime implementation (Math methods/properties beyond the compile-time
- * constants, number/string methods beyond the
+ * runtime implementation (Math methods outside STATIC_MATH_FNS,
+ * number/string methods beyond the
  * intrinsic set, parseFloat, ...). ONE table drives both sides of the
  * gate: under --dynamic each entry lowers to marshal → engine execution →
  * validated exit to the declared return type; without the flag each use
@@ -132,8 +134,8 @@ export declare const ISLAND_SURFACE: {
     /** `Math.<fn>(...)` lowers to callMethod(globalGet("Math"), fn, args);
      * Math.PI and Math.E are compile-time numeric literals in STATIC_MATH_PROPS;
      * remaining Math properties retain island/fence behavior.
-     * min/max/atan2/hypot/pow are declared with exactly two parameters
-     * (rest/optional parameters aren't representable). */
+     * The entries here handle untabled scalar call shapes where --dynamic is
+     * available; STATIC_MATH_FNS handles the ordinary typed calls first. */
     math: {
         fns: Record<string, IslandFnEntry | undefined>;
         props: Record<string, IrType | undefined>;
@@ -164,16 +166,10 @@ export declare const ISLAND_SURFACE: {
  * their island/fence behavior through ISLAND_SURFACE.math.props and the
  * generic standard-library member fence. */
 export declare const STATIC_MATH_PROPS: Record<string, number | undefined>;
-/** Math members with a STATIC lowering — each is one C call that IS the
- * JS operation, at the tabled arity (floor: libm's floor; min/max: the
- * NaN-poisoning ±0-ordered scalar folds; random: arc4random-backed
- * uniform [0,1) — SEMANTICS.md 62). Checked BEFORE the island table
- * (lowerIslandMethodCall), so the tabled arities compile statically and
- * other arities keep the island/fence story — except min/max, whose
- * variadic spelling lowers at ANY plain arity (the n-ary left fold of
- * the scalar compare; zero arguments answer the fold's ∓Infinity seed);
- * unioned with the island table for the methods-as-values fence
- * (lowerMathProperty). */
+/** Math members with a STATIC lowering. Most use the tabled arity; min/max
+ * accept any plain arity, and hypot accepts any arity including number[]
+ * spreads. Checked before the island table by lowerIslandMethodCall and
+ * included in the methods-as-values fence by lowerMathProperty. */
 export declare const STATIC_MATH_FNS: Record<string, {
     fn: IrLibFn;
     arity: number;

package/dist/frontend/lowering/surfaces.js

@@ -261,6 +261,8 @@ export const ARRAY_METHODS = new Set([
     "unshift",
     "pop",
     "reverse",
+    "fill",
+    "copyWithin",
     "concat",
     "map",
     "filter",
@@ -273,9 +275,11 @@ export const ARRAY_METHODS = new Set([
     "every",
     "at",
     "flatMap",
+    "flat",
     "reduce",
     "reduceRight",
     "indexOf",
+    "lastIndexOf",
     "includes",
     "join",
     "slice",
@@ -330,19 +334,19 @@ export const COMPOUND_ASSIGN_OPS = {
  * parameters) that typecheck but have no lowering — those forms are fenced
  * per site instead of silently dropping arguments. */
 export const STR_METHODS = {
-    charCodeAt: { method: "charCodeAt", result: F64, minArgs: 1, maxArgs: 1 },
-    charAt: { method: "charAt", result: STRING, minArgs: 1, maxArgs: 1 },
-    indexOf: { method: "indexOf", result: F64, minArgs: 1, maxArgs: 2 },
+    charCodeAt: { method: "charCodeAt", result: F64, minArgs: 0, maxArgs: 1 },
+    charAt: { method: "charAt", result: STRING, minArgs: 0, maxArgs: 1 },
+    indexOf: { method: "indexOf", result: F64, minArgs: 0, maxArgs: 2 },
     // includes with a position argument is indexOf's clamp exactly (the
     // spec routes both through StringIndexOf) — the emitter composes
     // scr_str_index_of(...) != -1 for the two-argument form.
-    includes: { method: "includes", result: BOOL, minArgs: 1, maxArgs: 2 },
-    startsWith: { method: "startsWith", result: BOOL, minArgs: 1, maxArgs: 1 },
-    endsWith: { method: "endsWith", result: BOOL, minArgs: 1, maxArgs: 1 },
+    includes: { method: "includes", result: BOOL, minArgs: 0, maxArgs: 2 },
+    startsWith: { method: "startsWith", result: BOOL, minArgs: 0, maxArgs: 2 },
+    endsWith: { method: "endsWith", result: BOOL, minArgs: 0, maxArgs: 2 },
     slice: { method: "slice", result: STRING, minArgs: 0, maxArgs: 2 },
     // substring: slice's clamp-and-swap sibling (negatives clamp to 0
     // instead of counting from the end; start > end swaps).
-    substring: { method: "substring", result: STRING, minArgs: 1, maxArgs: 2 },
+    substring: { method: "substring", result: STRING, minArgs: 0, maxArgs: 2 },
     repeat: { method: "repeat", result: STRING, minArgs: 1, maxArgs: 1 },
     trim: { method: "trim", result: STRING, minArgs: 0, maxArgs: 0 },
     trimStart: { method: "trimStart", result: STRING, minArgs: 0, maxArgs: 0 },
@@ -357,11 +361,10 @@ export const STR_METHODS = {
     // Empty separator splits per UTF-16 code unit —
     // astral halves become U+FFFD (SEMANTICS.md divergence 2, the same
     // substitution the island's boundary marshal applied).
-    split: { method: "split", result: arrayOf(STRING), minArgs: 1, maxArgs: 2 },
-    // padStart/padEnd with the fill omitted: Node pads with " " — the
-    // lowering completes the default (lowerStringMethodCall).
-    padStart: { method: "padStart", result: STRING, minArgs: 1, maxArgs: 2 },
-    padEnd: { method: "padEnd", result: STRING, minArgs: 1, maxArgs: 2 },
+    split: { method: "split", result: arrayOf(STRING), minArgs: 0, maxArgs: 2 },
+    // Padding completes omitted lengths and fill strings in its lowering.
+    padStart: { method: "padStart", result: STRING, minArgs: 0, maxArgs: 2 },
+    padEnd: { method: "padEnd", result: STRING, minArgs: 0, maxArgs: 2 },
     // The lre-backed pair (ECMA Default Case Conversion, final sigma
     // included — scr_regex.c): static now, no island needed; their presence
     // flips the regex LINK switch (moduleUsesRegex).
@@ -374,6 +377,8 @@ export const STR_METHODS = {
     isWellFormed: { method: "isWellFormed", result: BOOL, minArgs: 0, maxArgs: 0 },
     toWellFormed: { method: "toWellFormed", result: STRING, minArgs: 0, maxArgs: 0 },
 };
+/** String index reads return an undefined arm and compose the existing UTF-16 intrinsics. */
+export const STRING_INDEX_METHODS = new Set(["at", "codePointAt"]);
 const ISL_N1 = { args: [F64], ret: F64 };
 const ISL_N2 = { args: [F64, F64], ret: F64 };
 export const boundaryIntoIslandMsg = (typeName) => `passing a value of type '${typeName}' into dynamically-executed ('any'-typed) code ` +
@@ -383,8 +388,8 @@ export const boundaryOutOfIslandMsg = (typeName) => `using an 'any' value where
     `(an 'any' value can only exit to numbers, strings, booleans, JSON-safe records/arrays/unions, ` +
     `and 'T | undefined' over those)`;
 /** The island-backed surface — standard-library APIs with no static
- * runtime implementation (Math methods/properties beyond the compile-time
- * constants, number/string methods beyond the
+ * runtime implementation (Math methods outside STATIC_MATH_FNS,
+ * number/string methods beyond the
  * intrinsic set, parseFloat, ...). ONE table drives both sides of the
  * gate: under --dynamic each entry lowers to marshal → engine execution →
  * validated exit to the declared return type; without the flag each use
@@ -401,11 +406,10 @@ export const ISLAND_SURFACE = {
     /** `Math.<fn>(...)` lowers to callMethod(globalGet("Math"), fn, args);
      * Math.PI and Math.E are compile-time numeric literals in STATIC_MATH_PROPS;
      * remaining Math properties retain island/fence behavior.
-     * min/max/atan2/hypot/pow are declared with exactly two parameters
-     * (rest/optional parameters aren't representable). */
+     * The entries here handle untabled scalar call shapes where --dynamic is
+     * available; STATIC_MATH_FNS handles the ordinary typed calls first. */
     math: {
-        // floor, min/max (two-arg), and random are STATIC now
-        // (STATIC_MATH_FNS below).
+        // The static table below handles these methods at its admitted arities.
         fns: {
             abs: ISL_N1, acos: ISL_N1, asin: ISL_N1, atan: ISL_N1, atan2: ISL_N2,
             cbrt: ISL_N1, ceil: ISL_N1, cos: ISL_N1, exp: ISL_N1,
@@ -456,16 +460,10 @@ export const STATIC_MATH_PROPS = {
     PI: 3.141592653589793,
     E: 2.718281828459045,
 };
-/** Math members with a STATIC lowering — each is one C call that IS the
- * JS operation, at the tabled arity (floor: libm's floor; min/max: the
- * NaN-poisoning ±0-ordered scalar folds; random: arc4random-backed
- * uniform [0,1) — SEMANTICS.md 62). Checked BEFORE the island table
- * (lowerIslandMethodCall), so the tabled arities compile statically and
- * other arities keep the island/fence story — except min/max, whose
- * variadic spelling lowers at ANY plain arity (the n-ary left fold of
- * the scalar compare; zero arguments answer the fold's ∓Infinity seed);
- * unioned with the island table for the methods-as-values fence
- * (lowerMathProperty). */
+/** Math members with a STATIC lowering. Most use the tabled arity; min/max
+ * accept any plain arity, and hypot accepts any arity including number[]
+ * spreads. Checked before the island table by lowerIslandMethodCall and
+ * included in the methods-as-values fence by lowerMathProperty. */
 export const STATIC_MATH_FNS = {
     floor: { fn: "math.floor", arity: 1 },
     abs: { fn: "math.abs", arity: 1 },
@@ -478,6 +476,22 @@ export const STATIC_MATH_FNS = {
     min: { fn: "math.min", arity: 2 },
     max: { fn: "math.max", arity: 2 },
     random: { fn: "math.random", arity: 0 },
+    sin: { fn: "math.sin", arity: 1 },
+    cos: { fn: "math.cos", arity: 1 },
+    tan: { fn: "math.tan", arity: 1 },
+    asin: { fn: "math.asin", arity: 1 },
+    acos: { fn: "math.acos", arity: 1 },
+    atan: { fn: "math.atan", arity: 1 },
+    cbrt: { fn: "math.cbrt", arity: 1 },
+    sign: { fn: "math.sign", arity: 1 },
+    exp: { fn: "math.exp", arity: 1 },
+    sqrt: { fn: "math.sqrt", arity: 1 },
+    log: { fn: "math.log", arity: 1 },
+    log2: { fn: "math.log2", arity: 1 },
+    log10: { fn: "math.log10", arity: 1 },
+    atan2: { fn: "math.atan2", arity: 2 },
+    pow: { fn: "math.pow", arity: 2 },
+    hypot: { fn: "math.hypotArr", arity: 2 },
 };
 /** Number prototype methods with dedicated STATIC lowering paths. The
  * libCall spellings are also the compiled-graph witnesses used by library
@@ -828,6 +842,7 @@ export const BUILTIN_MODULE_FNS = {
  * thread machinery) and never runs as a cluster worker (cluster forks the
  * node binary itself) — Node's own answers for a directly-run script. */
 export const BUILTIN_MODULE_CONSTS = {
+    http: { maxHeaderSize: 16384 },
     path: { sep: "/", delimiter: ":" },
     "path/posix": { sep: "/", delimiter: ":" },
     "path/win32": { sep: "\\", delimiter: ";" },
@@ -1035,6 +1050,13 @@ export const AMBIENT_SURFACE_FNS = [
         fns: ["process.columns"],
         note: "the columns read on the process stdio streams (terminal geometry)",
     },
+    {
+        id: "node-builtin.process.rows",
+        kind: "node-builtin",
+        name: "process.rows",
+        fns: ["process.rows"],
+        note: "the rows read on process.stdout/stderr (terminal geometry)",
+    },
     {
         id: "node-builtin.process.kill",
         kind: "node-builtin",