@scriptc/compiler 0.3.3 → 0.3.5

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

@@ -10,4 +10,10 @@ export declare function pairsSnapshotHelper(lowerer: Lowerer, shapeId: string, l
     callArgs?: IrExpr[];
     indexValueOk?: (indexValue: IrType) => boolean;
     lookupValue?: "http.reqHeaderValues" | "http.reqTrailerValues";
+    /** A key whose value is the string[] arm, read through `libCall`
+     * (set-cookie in `{ ...req.headers }`), when the slot union has one. */
+    listKey?: {
+        name: string;
+        libCall: IrLibFn;
+    };
 }): string | null;

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

@@ -21,6 +21,9 @@ export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
     }
     else if (stringTag < 0)
         return null;
+    const listTag = options.listKey && !options.lookupValue
+        ? lowerer.armTag(indexValue.unionId, arrayOf(STRING))
+        : -1;
     const key = `${options.keyPrefix}.snapshot:${shapeId}`;
     const existing = lowerer.valueHelpers.get(key);
     if (existing)
@@ -111,6 +114,52 @@ export function pairsSnapshotHelper(lowerer, shapeId, loc, options) {
                     loc,
                 },
                 body: [
+                    ...(listTag >= 0
+                        ? [
+                            {
+                                kind: "if",
+                                cond: {
+                                    kind: "strEq",
+                                    negated: false,
+                                    left: pairAt(0),
+                                    right: {
+                                        kind: "strLit",
+                                        value: options.listKey.name,
+                                        type: STRING,
+                                        loc,
+                                    },
+                                    type: BOOL,
+                                    loc,
+                                },
+                                then: [
+                                    {
+                                        kind: "recordKeySet",
+                                        obj: varRef("out.0", recordType, loc),
+                                        shapeId,
+                                        key: pairAt(0),
+                                        value: {
+                                            kind: "unionWrap",
+                                            unionId: indexValue.unionId,
+                                            tag: listTag,
+                                            value: {
+                                                kind: "libCall",
+                                                fn: options.listKey.libCall,
+                                                args: [...(options.callArgs ?? []), pairAt(0)],
+                                                type: arrayOf(STRING),
+                                                loc,
+                                            },
+                                            type: indexValue,
+                                            loc,
+                                        },
+                                        loc,
+                                    },
+                                    { kind: "continue", loc },
+                                ],
+                                else_: null,
+                                loc,
+                            },
+                        ]
+                        : []),
                     {
                         kind: "recordKeySet",
                         obj: varRef("out.0", recordType, 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,EACL,OAAO,EACP,IAAI,EACJ,GAAG,EAKH,MAAM,GAEP,MAAM,gBAAgB,CAAC;AACxB,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,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,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;gBACE,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC1B,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;QACP,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;gBACxC,EAAE,EAAE,KAAK,CAAC,OAAO;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;YACH,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;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO,CAAC,OAAO;oBACnB,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;oBAC5B,IAAI,EAAE,SAAS;oBACf,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;gBAC9D,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,SAAS,EAAE,GAAG,CAAC;wBACxC,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,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;gCACE,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,OAAO,CAAC,WAAW;gCACvB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gCAC9C,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;4BACH,CAAC,CAAC;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,UAAU,CAAC,OAAO;gCAC3B,GAAG,EAAE,SAAS;gCACd,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;gCAChB,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;wBACL,GAAG;qBACJ;iBACF;gBACD,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,EACL,OAAO,EACP,IAAI,EACJ,GAAG,EAKH,MAAM,GAEP,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnD;;6CAE6C;AAC7C,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,OAAe,EACf,GAAW,EACX,OAUC;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,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,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,OAAO,GACX,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,WAAW;QACrC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC,CAAC,CAAC;IACT,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;gBACE,IAAI,EAAE,KAAK;gBACX,EAAE,EAAE,GAAG;gBACP,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,EAAE,GAAG,CAAC;gBAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;gBAC1B,IAAI,EAAE,GAAG;gBACT,GAAG;aACJ;QACP,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;gBACxC,EAAE,EAAE,KAAK,CAAC,OAAO;gBACjB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,KAAK;aACf,CAAC,CAAC;YACH,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;oBACJ,IAAI,EAAE,SAAS;oBACf,EAAE,EAAE,OAAO,CAAC,OAAO;oBACnB,IAAI,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;oBAC5B,IAAI,EAAE,SAAS;oBACf,GAAG;iBACJ;gBACD,GAAG;aACJ;YACD;gBACE,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,OAAO;gBAChB,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE;gBAC9D,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,SAAS,EAAE,GAAG,CAAC;wBACxC,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,GAAG,CAAC,OAAO,IAAI,CAAC;wBACd,CAAC,CAAC;4BACE;gCACE,IAAI,EAAE,IAAa;gCACnB,IAAI,EAAE;oCACJ,IAAI,EAAE,OAAgB;oCACtB,OAAO,EAAE,KAAK;oCACd,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;oCACf,KAAK,EAAE;wCACL,IAAI,EAAE,QAAiB;wCACvB,KAAK,EAAE,OAAO,CAAC,OAAQ,CAAC,IAAI;wCAC5B,IAAI,EAAE,MAAM;wCACZ,GAAG;qCACJ;oCACD,IAAI,EAAE,IAAI;oCACV,GAAG;iCACJ;gCACD,IAAI,EAAE;oCACJ;wCACE,IAAI,EAAE,cAAuB;wCAC7B,GAAG,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC;wCACrC,OAAO;wCACP,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;wCACd,KAAK,EAAE;4CACL,IAAI,EAAE,WAAoB;4CAC1B,OAAO,EAAE,UAAU,CAAC,OAAO;4CAC3B,GAAG,EAAE,OAAO;4CACZ,KAAK,EAAE;gDACL,IAAI,EAAE,SAAkB;gDACxB,EAAE,EAAE,OAAO,CAAC,OAAQ,CAAC,OAAO;gDAC5B,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gDAC9C,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;gDACrB,GAAG;6CACJ;4CACD,IAAI,EAAE,UAAU;4CAChB,GAAG;yCACJ;wCACD,GAAG;qCACJ;oCACD,EAAE,IAAI,EAAE,UAAmB,EAAE,GAAG,EAAE;iCACnC;gCACD,KAAK,EAAE,IAAI;gCACX,GAAG;6BACJ;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP;wBACE,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;gCACE,IAAI,EAAE,SAAS;gCACf,EAAE,EAAE,OAAO,CAAC,WAAW;gCACvB,IAAI,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gCAC9C,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;4BACH,CAAC,CAAC;gCACE,IAAI,EAAE,WAAW;gCACjB,OAAO,EAAE,UAAU,CAAC,OAAO;gCAC3B,GAAG,EAAE,SAAS;gCACd,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;gCAChB,IAAI,EAAE,UAAU;gCAChB,GAAG;6BACJ;wBACL,GAAG;qBACJ;iBACF;gBACD,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/record-sources.d.ts

@@ -0,0 +1,15 @@
+import type { IrExpr, IrType, SrcLoc } from "../../ir/ir.js";
+import type { Lowerer } from "./lowerer.js";
+/** Closed declared-field layouts with an ordinary data surface: the targets
+ * the checked record builder notes sources for. */
+export declare function recordMayKeepSource(lowerer: Lowerer, t: IrType & {
+    kind: "record";
+}): boolean;
+/** `record.sourceHas(value)`: whether this record kept undeclared source
+ * properties. */
+export declare function recordSourceTest(value: IrExpr, loc: SrcLoc): IrExpr;
+/** A reflective answer over a record value that branches on its kept
+ * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
+ * from the live checked view (typed `type`, the static answer's type). The
+ * receiver evaluates once. */
+export declare function throughRecordSource(lowerer: Lowerer, receiver: IrExpr, loc: SrcLoc, staticAnswer: (record: IrExpr) => IrExpr, viewAnswer: (view: IrExpr, type: IrType) => IrExpr): IrExpr;

package/dist/frontend/lowering/record-sources.js

@@ -0,0 +1,46 @@
+import { BOOL, DYN, recordTextCodecClass, shapeHasAccessorSlots } from "../../ir/ir.js";
+import { varRef } from "../../ir/build.js";
+import { isPerfEntryType } from "./builtins/performance.js";
+/** Closed declared-field layouts with an ordinary data surface: the targets
+ * the checked record builder notes sources for. */
+export function recordMayKeepSource(lowerer, t) {
+    const shape = lowerer.shapes.get(t.shapeId);
+    return (shape !== undefined &&
+        !shape.tuple &&
+        shape.indexValue === undefined &&
+        shape.fields.length > 0 &&
+        !shapeHasAccessorSlots(shape) &&
+        recordTextCodecClass(shape) === null &&
+        !isPerfEntryType(lowerer, t) &&
+        lowerer.dynConvertible(t));
+}
+/** `record.sourceHas(value)`: whether this record kept undeclared source
+ * properties. */
+export function recordSourceTest(value, loc) {
+    return { kind: "libCall", fn: "record.sourceHas", args: [value], type: BOOL, loc };
+}
+/** A reflective answer over a record value that branches on its kept
+ * source: `staticAnswer` walks the declared fields, `viewAnswer` answers
+ * from the live checked view (typed `type`, the static answer's type). The
+ * receiver evaluates once. */
+export function throughRecordSource(lowerer, receiver, loc, staticAnswer, viewAnswer) {
+    const local = lowerer.declareHiddenLocal("%sourcedRecord", receiver.type);
+    const record = () => varRef(local.id, receiver.type, loc);
+    const plain = staticAnswer(record());
+    const view = { kind: "dynFrom", value: record(), liveRef: true, type: DYN, loc };
+    return {
+        kind: "seqExpr",
+        stmts: [{ kind: "varDecl", localId: local.id, init: receiver, loc }],
+        result: {
+            kind: "ternary",
+            cond: recordSourceTest(record(), loc),
+            then: viewAnswer(view, plain.type),
+            else_: plain,
+            type: plain.type,
+            loc,
+        },
+        type: plain.type,
+        loc,
+    };
+}
+//# sourceMappingURL=record-sources.js.map

package/dist/frontend/lowering/record-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-sources.js","sourceRoot":"","sources":["../../../src/frontend/lowering/record-sources.ts"],"names":[],"mappings":"AAYA,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAE5D;mDACmD;AACnD,MAAM,UAAU,mBAAmB,CAAC,OAAgB,EAAE,CAA8B;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC5C,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,CAAC,KAAK,CAAC,KAAK;QACZ,KAAK,CAAC,UAAU,KAAK,SAAS;QAC9B,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACvB,CAAC,qBAAqB,CAAC,KAAK,CAAC;QAC7B,oBAAoB,CAAC,KAAK,CAAC,KAAK,IAAI;QACpC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5B,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAC1B,CAAC;AACJ,CAAC;AAED;iBACiB;AACjB,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,GAAW;IACzD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACrF,CAAC;AAED;;;8BAG8B;AAC9B,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,QAAgB,EAChB,GAAW,EACX,YAAwC,EACxC,UAAkD;IAElD,MAAM,KAAK,GAAG,OAAO,CAAC,kBAAkB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACzF,OAAO;QACL,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;QACpE,MAAM,EAAE;YACN,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC;YACrC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YAClC,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,GAAG;SACJ;QACD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG;KACJ,CAAC;AACJ,CAAC"}

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

@@ -44,6 +44,10 @@ export declare const HTTP_SERVER_DOCUMENTED_OPTIONS: ReadonlySet<string>;
  * maxFreeSockets/timeout/port (+ scheduling, dropped: no free pool
  * exists); the rest fence by name and unknown keys drop like Node. */
 export declare const AGENT_DOCUMENTED_OPTIONS: ReadonlySet<string>;
+/** new https.Agent(options) also takes tls.connect's client-side options,
+ * which Node merges into every request made through the agent. None lower
+ * yet, so each fences by name. */
+export declare const HTTPS_AGENT_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 /** https.request adds tls.connect's client-side TLS knobs. */
 export declare const HTTPS_CLIENT_DOCUMENTED_OPTIONS: ReadonlySet<string>;
 /** tls.createServer / tls.createSecureContext / https.createServer /

package/dist/frontend/lowering/surfaces.js

@@ -2,6 +2,9 @@ import * as ts from "../ts7/adapter.js";
 import { UNSUPPORTED } from "../../diagnostics/diagnostic.js";
 import { BOOL, BYTES_U8, CHILD_T, CRYPTOHASH_T, CRYPTOHMAC_T, DIR_T, DYN, F64, FILEHANDLE_T, SPAWNRES_T, STATS_T, STRING, URL_T, VOID, arrayOf, } from "../../ir/ir.js";
 import { isNodeTypesPath, requireSpecOf } from "../program.js";
+import { ZLIB_CONSTANTS } from "./zlib-constants.js";
+/** zlib stream instances: runtime Transform streams (scr_zlib_stream.c). */
+const ZLIB_STREAM = { kind: "object", className: "%Transform" };
 /** Statement-level constructs rejected wholesale, keyed by syntax kind. */
 export const UNSUPPORTED_STMT = {
     // DoStatement / SwitchStatement are supported; handled in lowerStmt.
@@ -226,6 +229,28 @@ export const AGENT_DOCUMENTED_OPTIONS = new Set([
     "noDelay",
     "path",
 ]);
+/** new https.Agent(options) also takes tls.connect's client-side options,
+ * which Node merges into every request made through the agent. None lower
+ * yet, so each fences by name. */
+export const HTTPS_AGENT_DOCUMENTED_OPTIONS = new Set([
+    ...AGENT_DOCUMENTED_OPTIONS,
+    "ca",
+    "cert",
+    "ciphers",
+    "crl",
+    "ecdhCurve",
+    "key",
+    "maxCachedSessions",
+    "maxVersion",
+    "minVersion",
+    "passphrase",
+    "pfx",
+    "rejectUnauthorized",
+    "secureOptions",
+    "secureProtocol",
+    "servername",
+    "sessionIdContext",
+]);
 /** https.request adds tls.connect's client-side TLS knobs. */
 export const HTTPS_CLIENT_DOCUMENTED_OPTIONS = new Set([
     ...HTTP_CLIENT_DOCUMENTED_OPTIONS,
@@ -1008,6 +1033,18 @@ export const BUILTIN_MODULE_FNS = {
         // opendirSync's options (a literal { bufferSize, encoding: "utf8" })
         // lower in lowerBuiltinModuleCall; the row routes the dispatch.
         opendirSync: { fn: "fs.opendirSync", params: [STRING, F64], result: DIR_T },
+        // createReadStream/createWriteStream lower in lowerBuiltinModuleCall
+        // (path and options cross as dyn values); the rows route the dispatch.
+        createReadStream: {
+            fn: "fs.createReadStream",
+            params: [DYN, DYN],
+            result: { kind: "object", className: "%Readable" },
+        },
+        createWriteStream: {
+            fn: "fs.createWriteStream",
+            params: [DYN, DYN],
+            result: { kind: "object", className: "%Writable" },
+        },
         lstatSync: { fn: "fs.lstatSync", params: [STRING], result: STATS_T },
         fstatSync: {
             fn: "fs.fstatSync",
@@ -1340,6 +1377,10 @@ export const BUILTIN_MODULE_FNS = {
         hkdf: { fn: "crypto.hkdfCb", params: [], result: VOID },
         scryptSync: { fn: "crypto.scrypt", params: [BYTES_U8, BYTES_U8, F64, DYN], result: BYTES_U8 },
         scrypt: { fn: "crypto.scryptCb", params: [], result: VOID },
+        // Checked-dynamic arguments; the result is a native Cipheriv or
+        // Decipheriv handle (lowerCryptoModuleCall).
+        createCipheriv: { fn: "crypto.cipherNew", params: [BOOL, DYN, DYN, DYN, DYN], result: DYN },
+        createDecipheriv: { fn: "crypto.cipherNew", params: [BOOL, DYN, DYN, DYN, DYN], result: DYN },
     },
     zlib: {
         // The default-options convenience family is special-cased in
@@ -1361,6 +1402,15 @@ export const BUILTIN_MODULE_FNS = {
         unzip: { fn: "zlib.unzipCb", params: [], result: VOID },
         unzipSync: { fn: "zlib.unzipSync", params: [BYTES_U8], result: BYTES_U8 },
         crc32: { fn: "zlib.crc32", params: [], result: F64 },
+        // The stream factories (special-cased in lowerZlibModuleCall): each
+        // answers a runtime Transform stream over the zlib engine.
+        createDeflate: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createInflate: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createGzip: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createGunzip: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createDeflateRaw: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createInflateRaw: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
+        createUnzip: { fn: "zlib.streamNew", params: [], result: ZLIB_STREAM },
     },
     url: {
         fileURLToPath: {
@@ -1625,6 +1675,10 @@ export const BUILTIN_MODULE_FNS = {
             params: [F64],
             result: VOID,
         },
+        // Node's IPv4Reg / IPv6Reg tests over String(input).
+        isIP: { fn: "net.isIP", params: [DYN], result: F64 },
+        isIPv4: { fn: "net.isIPv4", params: [DYN], result: BOOL },
+        isIPv6: { fn: "net.isIPv6", params: [DYN], result: BOOL },
     },
     http: {},
     // node:tls and node:https ride the same spoke (tls.createServer's
@@ -1692,12 +1746,18 @@ export const BUILTIN_MODULE_FNS = {
  * lowering. Cluster metadata describes a directly-run native executable. */
 export const BUILTIN_MODULE_CONSTS = {
     http: { maxHeaderSize: 16384 },
+    // Node's default protocol range, the TLS 1.2 to 1.3 range the bundled
+    // mbedTLS negotiates
+    tls: { DEFAULT_MIN_VERSION: "TLSv1.2", DEFAULT_MAX_VERSION: "TLSv1.3" },
     path: { sep: "/", delimiter: ":" },
     "path/posix": { sep: "/", delimiter: ":" },
     "path/win32": { sep: "\\", delimiter: ";" },
     os: { EOL: "\n", devNull: "/dev/null" },
     worker_threads: { isMainThread: true, threadId: 0 },
     cluster: { isPrimary: true, isMaster: true, isWorker: false },
+    // zlib's module-level copies of its constants (every member outside
+    // BROTLI_*, Node's own loop over zlib.constants).
+    zlib: Object.fromEntries(Object.entries(ZLIB_CONSTANTS).filter(([name]) => !name.startsWith("BROTLI"))),
 };
 /** ALTERNATE libCall spellings of tabled builtin members: lowerings the
  * dispatch special-cases around the table row (Buffer/fd/options forms,
@@ -1730,6 +1790,23 @@ export const BUILTIN_MODULE_FN_ALIASES = {
         // The bytes-data form and the { mode } options form.
         writeFileSync: ["fs.writeFileSyncBytes", "fs.writeFileModeSync"],
         appendFileSync: ["fs.appendFileSyncBytes"],
+        // The fs stream members (bytesRead/bytesWritten, pending, path, close).
+        createReadStream: [
+            "fs.fsStreamBytes",
+            "fs.fsStreamPending",
+            "fs.fsStreamPath",
+            "fs.fsStreamPropDyn",
+            "fs.fsStreamClose",
+            "fs.fsStreamCloseCb",
+        ],
+        createWriteStream: [
+            "fs.fsStreamBytes",
+            "fs.fsStreamPending",
+            "fs.fsStreamPath",
+            "fs.fsStreamPropDyn",
+            "fs.fsStreamClose",
+            "fs.fsStreamCloseCb",
+        ],
         // The utf8 string overload; the table row is the Buffer-window form.
         writeSync: ["fs.writeStrSync"],
         // The { recursive, mode } option lowerings.
@@ -2502,21 +2579,17 @@ export function builtinModulesArrayLit(loc) {
 /** Member-specific hints for RECOGNIZED builtin modules whose member has
  * no lowering. The default-options one-shot zlib/deflate-raw/gzip codecs
  * lower for strings and Buffers; the remaining surface points at them. */
-const ZLIB_HINT = "the default-options deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms plus crc32 are the lowered zlib surface";
-/** The legacy deep pair remains fenced. The shallow equal/notEqual pair
- * lowers through the static Abstract Equality kernel in lower-assert. */
-const ASSERT_LOOSE_DEEP_HINT = "legacy deep equality has no lowering yet — deepStrictEqual and " +
-    "notDeepStrictEqual compare structures with Node's modern semantics";
+const ZLIB_HINT = "the default-options deflate/inflate, raw, gzip/gunzip, and unzip sync/callback forms, crc32, " +
+    "and the Deflate/Inflate/Gzip/Gunzip/DeflateRaw/InflateRaw/Unzip streams are the lowered zlib surface";
+/** Brotli has no codec in the static runtime (zlib is the only vendored
+ * compression library). */
+const BROTLI_HINT = "Brotli needs a Brotli codec, which the static runtime does not vendor — " + ZLIB_HINT;
 const ASSERT_MODULE_HINTS = {
-    deepEqual: ASSERT_LOOSE_DEEP_HINT,
-    notDeepEqual: ASSERT_LOOSE_DEEP_HINT,
     ifError: "test explicitly instead: assert.strictEqual(err, null) / " +
         "assert.strictEqual(err, undefined)",
     rejects: "await the promise inside assert.throws's callback story instead: " +
         'try { await p; assert.fail("expected rejection") } catch { ... }',
     doesNotReject: "await the promise directly — an unexpected rejection already fails the test",
-    AssertionError: "the class itself has no lowering — catch and test err.name === " +
-        '"AssertionError" or err.code === "ERR_ASSERTION"',
 };
 export const BUILTIN_MODULE_FENCE_HINTS = {
     assert: ASSERT_MODULE_HINTS,
@@ -2527,10 +2600,9 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
         ifError: ASSERT_MODULE_HINTS["ifError"],
         rejects: ASSERT_MODULE_HINTS["rejects"],
         doesNotReject: ASSERT_MODULE_HINTS["doesNotReject"],
-        AssertionError: ASSERT_MODULE_HINTS["AssertionError"],
     },
     util: {
-        promisify: "the lowered shapes are const bindings over child_process.execFile and fs.readFile; call the bound function directly",
+        promisify: "the lowered shapes are const bindings over child_process.execFile, child_process.exec and the fs callback functions with an fs/promises counterpart; call the bound function directly",
     },
     "stream/consumers": {
         blob: "collecting a stream into a Blob is not supported yet — " +
@@ -2573,10 +2645,10 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
                 "public and private KeyObjects — neither exists in the static runtime, so no faithful lowering " +
                 "can be small; the lowered crypto surface is hashing, randomness, secret KeyObjects, and the introspection statics",
         ])),
-        ...Object.fromEntries(["createCipheriv", "createDecipheriv", "getCipherInfo"].map((m) => [
+        ...Object.fromEntries(["getCipherInfo"].map((m) => [
             m,
-            "symmetric ciphers need a cipher stack the static runtime does not vendor — " +
-                "the lowered crypto surface is hashing, randomness, and the introspection statics",
+            "cipher metadata has no lowering — createCipheriv and createDecipheriv support " +
+                "aes-128/192/256 in cbc, ctr, and gcm modes and chacha20-poly1305",
         ])),
         setFips: "a compiled binary has no FIPS provider to enable, and Node itself throws on setFips(true) " +
             "in a non-FIPS build — getFips() answers 0 here",
@@ -2584,8 +2656,14 @@ export const BUILTIN_MODULE_FENCE_HINTS = {
             "randomBytes, and the createHash chain",
     },
     zlib: {
-        brotliCompressSync: ZLIB_HINT,
-        brotliDecompressSync: ZLIB_HINT,
+        brotliCompressSync: BROTLI_HINT,
+        brotliDecompressSync: BROTLI_HINT,
+        brotliCompress: BROTLI_HINT,
+        brotliDecompress: BROTLI_HINT,
+        createBrotliCompress: BROTLI_HINT,
+        createBrotliDecompress: BROTLI_HINT,
+        BrotliCompress: BROTLI_HINT,
+        BrotliDecompress: BROTLI_HINT,
     },
     http2: {
         connect: "HTTP/2 client sessions have no lowering — the lowered http2 surface is the SERVER side: " +