@scriptc/compiler 0.4.3 → 0.4.5

package/dist/frontend/ts7/semantic-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-types.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-types.ts"],"names":[],"mappings":"AAgCA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"semantic-types.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-types.ts"],"names":[],"mappings":"AAgCA,OAAO,EAAE,iBAAiB,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/frontend/ts7/source-parser.js

@@ -31,7 +31,9 @@ export class Ts7SourceParser {
         this.api = this.connect();
     }
     connect() {
-        return this.createApi({
+        // Called as a plain function: the instance is not its receiver.
+        const createApi = this.createApi;
+        return createApi({
             cwd: this.cwd,
             fs: {
                 readFile: (path) => this.files.get(tsgoPath(path)) ?? null,

package/dist/frontend/ts7/source-parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"source-parser.js","sourceRoot":"","sources":["../../../src/frontend/ts7/source-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAK7C;;;;gBAIgB;AAChB,MAAM,oBAAoB,GAAG,GAAG,GAAG,IAAI,CAAC;AAExC;;;mEAGmE;AACnE,MAAM,OAAO,eAAe;IAeP,YAAY;IAdvB,GAAG,CAAS;IACH,SAAS,CAAsB;IACxC,YAAY,GAAG,CAAC,CAAC;IACR,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClC,UAAU,CAAS;IAC5B,YAAY,CAAqB;IACjC,YAAY,CAAqB;IACjC,YAAY,CAAyB;IACrC,MAAM,GAAG,KAAK,CAAC;IACN,GAAG,CAAS;IAE7B,YACE,SAA8B,EAC9B,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,EACF,YAAY,GAAG,oBAAoB;4BAAnC,YAAY;QAE7B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5B,CAAC;IAEO,OAAO;QACb,OAAO,IAAI,CAAC,SAAS,CAAC;YACpB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,EAAE,EAAE;gBACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI;gBAC1D,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpD,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE;oBACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;wBACrC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;4BAAE,OAAO,IAAI,CAAC;oBAC1F,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACxB,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;aAC7D;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAgB,EAAE,MAAc,EAAE,IAAmB;QACzD,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvE,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,gBAAgB,GACpB,IAAI,KAAK,IAAI;YACX,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;YACjC,CAAC,CAAC,IAAI,KAAK,IAAI;gBACb,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;QAC9F,IAAI,IAAI,KAAK,IAAI,CAAC,UAAU;YAC1B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,IACE,IAAI,KAAK,IAAI,CAAC,YAAY;YAC1B,MAAM,KAAK,IAAI,CAAC,YAAY;YAC5B,IAAI,CAAC,YAAY,KAAK,SAAS;YAE/B,OAAO,IAAI,CAAC,YAAY,CAAC;QAC3B,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACrC,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;YACtB,YAAY,GAAG,SAAS,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CACZ,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,SAAS,CAAC;YACb,eAAe,EAAE;gBACf,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,QAAQ;gBAChB,GAAG,EAAE,UAAU;gBACf,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,IAAI;aACb;YACD,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,OAAO,EAAE,EAAE;SACZ,CAAC,CACH,CAAC;QACF,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;YACvC,YAAY,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/B,WAAW,EAAE;gBACX,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,OAAO,EAAE,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;aACnF;SACF,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,QAAQ,EAAE,CAAC,CAAC;YACnF,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC;YAC3B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;CACF"}
+{"version":3,"file":"source-parser.js","sourceRoot":"","sources":["../../../src/frontend/ts7/source-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAK7C;;;;gBAIgB;AAChB,MAAM,oBAAoB,GAAG,GAAG,GAAG,IAAI,CAAC;AAExC;;;mEAGmE;AACnE,MAAM,OAAO,eAAe;IAeP,YAAY;IAdvB,GAAG,CAAS;IACH,SAAS,CAAsB;IACxC,YAAY,GAAG,CAAC,CAAC;IACR,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClC,UAAU,CAAS;IAC5B,YAAY,CAAqB;IACjC,YAAY,CAAqB;IACjC,YAAY,CAAyB;IACrC,MAAM,GAAG,KAAK,CAAC;IACN,GAAG,CAAS;IAE7B,YACE,SAA8B,EAC9B,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,EACF,YAAY,GAAG,oBAAoB;4BAAnC,YAAY;QAE7B,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;IAC5B,CAAC;IAEO,OAAO;QACb,gEAAgE;QAChE,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACjC,OAAO,SAAS,CAAC;YACf,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,EAAE,EAAE;gBACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI;gBAC1D,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpD,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE;oBACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;wBACrC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;4BAAE,OAAO,IAAI,CAAC;oBAC1F,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACxB,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;aAC7D;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAgB,EAAE,MAAc,EAAE,IAAmB;QACzD,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvE,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,gBAAgB,GACpB,IAAI,KAAK,IAAI;YACX,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;YACjC,CAAC,CAAC,IAAI,KAAK,IAAI;gBACb,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;QAC9F,IAAI,IAAI,KAAK,IAAI,CAAC,UAAU;YAC1B,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACzE,IACE,IAAI,KAAK,IAAI,CAAC,YAAY;YAC1B,MAAM,KAAK,IAAI,CAAC,YAAY;YAC5B,IAAI,CAAC,YAAY,KAAK,SAAS;YAE/B,OAAO,IAAI,CAAC,YAAY,CAAC;QAC3B,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACrC,IAAI,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1B,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;YACtB,YAAY,GAAG,SAAS,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CACZ,IAAI,CAAC,UAAU,EACf,IAAI,CAAC,SAAS,CAAC;YACb,eAAe,EAAE;gBACf,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,QAAQ;gBAChB,GAAG,EAAE,UAAU;gBACf,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,KAAK,EAAE,IAAI;gBACX,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,IAAI;aACb;YACD,KAAK,EAAE,CAAC,IAAI,CAAC;YACb,OAAO,EAAE,EAAE;SACZ,CAAC,CACH,CAAC;QACF,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;YACvC,YAAY,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/B,WAAW,EAAE;gBACX,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,OAAO,EAAE,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;aACnF;SACF,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,QAAQ,EAAE,CAAC,CAAC;YACnF,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC;YAC3B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;CACF"}

package/dist/frontend/tsc-codes.js

@@ -127,10 +127,20 @@ export const JS_RELAXED_TSC_CODES = new Set([
     // JavaScript subclasses may widen fields or add method parameters.
     // Class lowering checks native storage and override ABIs at each use.
     2415,
+    // a private or protected constructor (`new readline.Interface(...)`,
+    // whose declaration is protected): JavaScript has no constructor
+    // accessibility, and Node constructs the class. Each `new` meets the
+    // lowerer's per-site constructor fences.
+    2673,
+    2674,
     // unresolvable modules: Node throws WHEN the require executes — the
     // binding types as any and reached uses fence instead of passing unchecked
     2307,
     2792,
+    // `delete` of a property the inference typed required (2790): JS deletes
+    // any configurable property, and the lowering checks each delete's
+    // receiver itself
+    2790,
     // useUnknownInCatchVariables' annotation demand ("'e' is of type
     // 'unknown'", "Object is of type 'unknown'"): a JS catch clause CANNOT
     // annotate its variable, so the demand is unsatisfiable in source —

package/dist/frontend/tsc-codes.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,uEAAuE;IACvE,+CAA+C;IAC/C,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}
+{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;IAC9B,oEAAoE;IACpE,iEAAiE;IACjE,KAAK;IACL,YAAY;IACZ,oBAAoB;IACpB,iBAAiB;IACjB,gBAAgB;CACR,CAAC;AAEX,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,KAAK;IACL,KAAK;IACL,KAAK;IACL,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,yEAAyE;IAC/E,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI;IACJ,IAAI;IACJ,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,qEAAqE;IACrE,iEAAiE;IACjE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,IAAI;IACJ,oEAAoE;IACpE,2EAA2E;IAC3E,IAAI;IACJ,IAAI;IACJ,yEAAyE;IACzE,mEAAmE;IACnE,kBAAkB;IAClB,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2FAA2F;IAC3F,KAAK;IACL,IAAI;CACL,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,uEAAuE;IACvE,+CAA+C;IAC/C,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC"}

package/dist/frontend/type-mapper.d.ts

@@ -9,9 +9,10 @@ export declare function jsOpenObjectType(decl: ts.Node | undefined, type: IrType
  * global, SubtleCrypto, CryptoKey handles and the algorithm dictionaries
  * (scr_webcrypto.c). */
 export declare const WEBCRYPTO_DYN_TYPES: ReadonlySet<string>;
-/** node:crypto's key and signature option interfaces: the key functions,
- * KeyObject.export and sign/verify take them as checked-dynamic arguments
- * (scr_lib.c, scr_pki.c). */
+/** node:crypto's key, signature and X509Certificate check option
+ * interfaces: the key functions, KeyObject.export, sign/verify and the
+ * X509Certificate checks take them as checked-dynamic arguments
+ * (scr_lib.c, scr_pki.c, scr_x509.c). */
 export declare const CRYPTO_KEY_OPTION_DYN_TYPES: ReadonlySet<string>;
 export declare const FETCH_AMBIENT_TYPES: readonly ["Response", "Request", "ResponseInit", "RequestInit", "Event", "CustomEvent", "MessageEvent", "EventTarget", "AddEventListenerOptions", "EventListenerOptions", "EventInit", "CustomEventInit", "AbortController", "AbortSignal", "Headers", "ReadableStream", "ReadableStreamDefaultReader", "ReadableStreamDefaultController", "ReadableStreamReadResult", "ReadableStreamReadValueResult", "ReadableStreamReadDoneResult", "TransformStream", "WritableStream", "WritableStreamDefaultWriter", "Blob", "File", "BlobPropertyBag", "FilePropertyBag", "BlobOptions", "FileOptions"];
 /** node:crypto's Cipheriv and Decipheriv names in @types/node. */
@@ -422,9 +423,9 @@ export declare function isWorkerHandleType(type: ts.Type, ctx: Pick<TypeMapperCt
  * elsewhere stay unmapped (they can hold any object implementing the
  * protocol). Null when the annotation is not one of them. */
 export declare function mapAsyncGeneratorAnnotation(type: ts.Type, ctx: TypeMapperCtx): IrType | null;
-/** The native fetch handles (Headers, Request, Response), optionally in
- * arrays or with null/undefined: checked-dynamic handles wherever they are
- * stored, like the worker handles above. */
+/** The native fetch handles (Headers, Request, Response, AbortController,
+ * AbortSignal), optionally in arrays or with null/undefined: checked-dynamic
+ * handles wherever they are stored, like the worker handles above. */
 export declare function isFetchHandleType(type: ts.Type, ctx: Pick<TypeMapperCtx, "checker" | "isStdlibFile">): boolean;
 export declare function mapType(type: ts.Type, ctx: TypeMapperCtx): IrType | null;
 /** The element types of a REST parameter's type when it is a fixed tuple:
@@ -502,6 +503,17 @@ export declare function isUnitOnlyTsType(t: ts.Type, resolveTypeParam?: TypePara
  * result is exactly the nullable-callback shape mapType's union branch
  * admits, `(() => void) | undefined`) so the interned union is IDENTICAL
  * to what mapping the checker's own `T | undefined` produces. */
+/** The X509Certificate record's hidden slot for its publicKey KeyObject,
+ * filled on the first read (builtins/x509.ts). */
+export declare const X509_PUBLIC_KEY_FIELD = "%publicKey";
+/** The X509Certificate record's hidden copy of its DER, which its methods
+ * read: a program can write into the Buffer `raw` answers, and in Node
+ * that changes neither the certificate's checks nor its PEM. */
+export declare const X509_DER_FIELD = "%der";
+/** The X509Certificate record's fields in @types/node's declaration order
+ * ("string?" is string | undefined), then the hidden publicKey and DER
+ * slots. */
+export declare const X509_FIELDS: readonly (readonly [string, IrType | "string?"])[];
 export declare function withUndefinedArm(t: IrType, unions: UnionRegistry): IrType | null;
 /** Preserve a nullish runtime value that JavaScript inference omitted. */
 export declare function withUnitArm(t: IrType, kind: "nullT" | "undefinedT", unions: UnionRegistry): IrType | null;

package/dist/frontend/type-mapper.js

@@ -107,9 +107,10 @@ export const WEBCRYPTO_DYN_TYPES = new Set([
     "HkdfParams",
     "AesDerivedKeyParams",
 ]);
-/** node:crypto's key and signature option interfaces: the key functions,
- * KeyObject.export and sign/verify take them as checked-dynamic arguments
- * (scr_lib.c, scr_pki.c). */
+/** node:crypto's key, signature and X509Certificate check option
+ * interfaces: the key functions, KeyObject.export, sign/verify and the
+ * X509Certificate checks take them as checked-dynamic arguments
+ * (scr_lib.c, scr_pki.c, scr_x509.c). */
 export const CRYPTO_KEY_OPTION_DYN_TYPES = new Set([
     "AsymmetricKeyExportOptions",
     "ECKeyPairKeyObjectOptions",
@@ -121,12 +122,14 @@ export const CRYPTO_KEY_OPTION_DYN_TYPES = new Set([
     "PrivateKeyInput",
     "PublicKeyInput",
     "RSAKeyPairKeyObjectOptions",
+    "X25519KeyPairOptions",
     "RSAKeyPairOptions",
     "SignKeyObjectInput",
     "SignPrivateKeyInput",
     "SigningOptions",
     "VerifyKeyObjectInput",
     "VerifyPublicKeyInput",
+    "X509CheckOptions",
 ]);
 export const FETCH_AMBIENT_TYPES = [
     "Response",
@@ -1083,9 +1086,17 @@ function genChannels(yieldTs, retTs, nextTs, ctx) {
             : mapType(nextTs, ctx);
     if (!nextT || nextT.kind === "void" || nextT.kind === "nullT")
         return null;
-    const ownChannel = (t) => t.kind === "f64" || t.kind === "bool" || t.kind === "string" || t.kind === "record";
+    const ownChannel = (t) => t.kind === "f64" || t.kind === "bool" || t.kind === "string";
+    // A record yield channel keeps its type beside a dyn return (an
+    // `IterableIterator<Row>`). A record return channel beside a dyn yield
+    // does not: the value a delegating `yield*` answers (Effect.gen's
+    // generators) is often an object whose methods a record would drop.
     const dynMix = (yieldT.kind === "dyn" && retT.kind !== "dyn" && retT.kind !== "void" && !ownChannel(retT)) ||
-        (retT.kind === "dyn" && yieldT.kind !== "dyn" && yieldT.kind !== "void" && !ownChannel(yieldT));
+        (retT.kind === "dyn" &&
+            yieldT.kind !== "dyn" &&
+            yieldT.kind !== "void" &&
+            !ownChannel(yieldT) &&
+            yieldT.kind !== "record");
     if (dynMix)
         return { yieldT: DYN, retT: DYN, nextT };
     return { yieldT, retT, nextT };
@@ -1111,16 +1122,18 @@ let mapTypeDepth = 0;
  * stay fenced instead of interning a per-context-wrong shape). */
 let contextResolutions = 0;
 /** node:url's legacy record interfaces: url.parse()'s Url instance (and
- * its two query-typed refinements), url.format()'s UrlObject input, and the
- * URL form's URLFormatOptions. The values are checked-dynamic objects —
- * Node's Url instance carries its class name and null fields, and format()
- * reads any object's fields with JS truthiness. */
+ * its two query-typed refinements), url.format()'s UrlObject input, the
+ * URL form's URLFormatOptions, and urlToHttpOptions's result. The values
+ * are checked-dynamic objects — Node's Url instance carries its class name
+ * and null fields, format() reads any object's fields with JS truthiness,
+ * and urlToHttpOptions answers a null-prototype object. */
 const LEGACY_URL_TYPES = new Set([
     "Url",
     "UrlObject",
     "UrlWithParsedQuery",
     "UrlWithStringQuery",
     "URLFormatOptions",
+    "UrlHttpOptions",
 ]);
 export function isLegacyUrlType(type, ctx) {
     const symbol = type.getAliasSymbol() ?? type.getSymbol();
@@ -1385,9 +1398,16 @@ export function mapAsyncGeneratorAnnotation(type, ctx) {
         return null;
     return { kind: "generator", async: true, ...channels };
 }
-/** The native fetch handles (Headers, Request, Response), optionally in
- * arrays or with null/undefined: checked-dynamic handles wherever they are
- * stored, like the worker handles above. */
+const FETCH_HANDLE_NAMES = new Set([
+    "Headers",
+    "Request",
+    "Response",
+    "AbortController",
+    "AbortSignal",
+]);
+/** The native fetch handles (Headers, Request, Response, AbortController,
+ * AbortSignal), optionally in arrays or with null/undefined: checked-dynamic
+ * handles wherever they are stored, like the worker handles above. */
 export function isFetchHandleType(type, ctx) {
     const members = type.isUnionType() ? ts.constituentTypes(type) : [type];
     let handle = false;
@@ -1402,9 +1422,7 @@ export function isFetchHandleType(type, ctx) {
         else {
             const symbol = member.getSymbol();
             if (!symbol ||
-                (ts.symbolName(symbol) !== "Headers" &&
-                    ts.symbolName(symbol) !== "Request" &&
-                    ts.symbolName(symbol) !== "Response") ||
+                !FETCH_HANDLE_NAMES.has(ts.symbolName(symbol)) ||
                 !symbol.declarations.some((d) => (ts.isInterfaceDeclaration(d) || ts.isClassDeclaration(d)) &&
                     ctx.isStdlibFile(ts.getSourceFileOfNode(d))))
                 return false;
@@ -1958,6 +1976,20 @@ function mapTypeInner(type, ctx) {
             elem = unitOnlyUnion(unions);
         if (!elem)
             return null;
+        // `(T | undefined)[]` of a number, string or boolean T stores T
+        // elements: an array slot holds a present undefined by its own state,
+        // so a T[] seen as `(T | undefined)[]` stays the same array.
+        let optionalElements = false;
+        if (elem.kind === "union") {
+            const arms = unions.get(elem.unionId)?.arms;
+            const present = arms?.length === 2 ? arms.find((arm) => arm.kind !== "undefinedT") : undefined;
+            if (present !== undefined &&
+                arms.some((arm) => arm.kind === "undefinedT") &&
+                (present.kind === "f64" || present.kind === "string" || present.kind === "bool")) {
+                elem = present;
+                optionalElements = true;
+            }
+        }
         // A dyn ELEMENT makes the WHOLE array the checked-dynamic value:
         // `unknown[]`, `object[]`, and the collapsed `(string | object)[]`
         // (the plugins-slot shape) — the checked-dynamic tree has real arrays, so length/
@@ -1981,7 +2013,7 @@ function mapTypeInner(type, ctx) {
         // drain of the auxiliary-server registries): handles are ordinary
         // refcounted REF elements (their `_v` adapters, no trace — both drop
         // their closures at their terminal event).
-        return arrayOf(elem);
+        return optionalElements ? { kind: "array", elem, optionalElements: true } : arrayOf(elem);
     }
     // Tuples: `[string, string]` maps to an interned RECORD shape flagged
     // `tuple`, with one field per position named by its index ("0", "1", ...)
@@ -2712,10 +2744,9 @@ function mapTypeInner(type, ctx) {
     const collectionView = mapCollectionView(widened, ctx);
     if (collectionView)
         return collectionView;
-    // Date: a TimeClip'd epoch-millisecond scalar in the static runtime.
-    // This supports stored/passed values and the read-only getter slice;
-    // identity and mutation stay fenced because the scalar deliberately
-    // carries no object identity.
+    // Date: a refcounted object holding its TimeClip'd time value (ScrDate),
+    // shared with the checked-dynamic Date handle, so it keeps its identity
+    // through every slot and through `unknown`. Setters stay fenced.
     if (isStdlibInterface("Date"))
         return DATE_T;
     // RegExp: a reference to the lib RegExp interface — provenance, not the
@@ -3302,10 +3333,11 @@ function mapTypeInner(type, ctx) {
     //                    argument — fenced at the call).
     // Mixed dyn/concrete value channels share checked storage, so either
     // branch of the result record has the same representation. A number,
-    // boolean, string or record channel keeps its own type beside a dyn one
-    // (the `Generator<number>` and `IterableIterator<Row>` defaults): its
-    // values ride OUT typed and box only when the result record is built, so
-    // for-of and spread read them back unchecked.
+    // boolean or string channel keeps its own type beside a dyn one (the
+    // `Generator<number>` default), and so does a record yield channel beside
+    // a dyn return (`IterableIterator<Row>`): its values ride OUT typed and box
+    // only when the result record is built, so for-of and spread read them
+    // back unchecked.
     if (isStdlibInterface("Generator") ||
         isStdlibInterface("AsyncGenerator") ||
         isStdlibInterface("IterableIterator") ||
@@ -3696,25 +3728,36 @@ function mapTypeInner(type, ctx) {
             ], false, undefined, ["publicKey", "privateKey"]),
         };
     }
-    // crypto.X509Certificate — the Dirent-style data record: THREE visible
-    // fields (fingerprint and the validFrom/validTo validity window, all
-    // computed at construction by the new-expression lowering). Module-
-    // checked like SecureContext; @types/node declares the class inside
-    // `declare module "crypto"`, the shipped fallback mirrors it.
-    // JSON.stringify of one shows the three fields where Node's
-    // internal-slot object shows {} — the Dirent %dtype edge's cousin.
+    // X509Certificate.toLegacyObject()'s PeerCertificate (and tls's detailed
+    // form) is a plain checked-dynamic object.
+    if (psym !== undefined &&
+        (ts.symbolName(psym) === "PeerCertificate" ||
+            ts.symbolName(psym) === "DetailedPeerCertificate") &&
+        psym.declarations.some((d) => ts.isInterfaceDeclaration(d) && ctx.isStdlibFile(ts.getSourceFileOfNode(d)))) {
+        return DYN;
+    }
+    // crypto.X509Certificate — the Dirent-style data record: its fields are
+    // the certificate's lowered members, all computed at construction by the
+    // new-expression lowering (raw decodes the input once, and the others
+    // read raw). Module-checked like SecureContext; @types/node declares the
+    // class inside `declare module "crypto"`, the shipped fallback mirrors
+    // it. JSON.stringify of one shows the fields where Node's internal-slot
+    // object shows {} — the Dirent %dtype edge's cousin.
     if (psym !== undefined &&
         ts.symbolName(psym) === "X509Certificate" &&
         psym.declarations.some((d) => (ts.isInterfaceDeclaration(d) || ts.isClassDeclaration(d)) &&
             ctx.isStdlibFile(ts.getSourceFileOfNode(d)) &&
             isDeclaredInAmbientModule(d, "crypto"))) {
+        const optionalString = withUndefinedArm(STRING, ctx.unions);
+        if (!optionalString)
+            return null;
+        const fields = X509_FIELDS.map(([name, type]) => ({
+            name,
+            type: type === "string?" ? optionalString : type,
+        }));
         return {
             kind: "record",
-            shapeId: ctx.shapes.intern([
-                { name: "fingerprint", type: STRING },
-                { name: "validFrom", type: STRING },
-                { name: "validTo", type: STRING },
-            ], false, undefined, ["fingerprint", "validFrom", "validTo"]),
+            shapeId: ctx.shapes.intern([...fields].sort((a, b) => (a.name < b.name ? -1 : 1)), false, undefined, fields.map((f) => f.name)),
         };
     }
     // perf_hooks' PerformanceEntry, PerformanceMark and PerformanceMeasure
@@ -3948,6 +3991,10 @@ function mapTypeInner(type, ctx) {
             return hybrid;
     }
     const callSigs = checker.getCallSignatures(widened);
+    // AsyncLocalStorage.snapshot()'s generic runner is a dyn function value
+    // (als.snapshot), called through the dyn call path.
+    if (callSigs.length === 1 && isAsyncLocalStorageSnapshot(callSigs[0], ctx))
+        return DYN;
     if (callSigs.length === 1)
         return mapCallSignature(callSigs[0], ctx);
     // Records: object types whose members are all data properties (shorthand
@@ -4080,6 +4127,20 @@ function mapTypeInner(type, ctx) {
         if (record)
             return record;
     }
+    // An intersection whose constituents all map to ONE representation is
+    // that representation. An intersection that restates an optional member
+    // as required (`Opts & { files: Array<{ path: string }> }` over
+    // `files?: Array<{ path: string }>`) gives the member the type `A[] & B[]`
+    // with two separately written but structurally equal element literals;
+    // the checker keeps both, while their arrays (tuples, maps, ...) intern
+    // to one IR type. Reached only after every other intersection rule
+    // declined, so intersections that already mapped keep their mapping. A
+    // dynamic result stays unmapped: two opaque types are not one type.
+    if (widened.isIntersectionType()) {
+        const same = mapEqualConstituentsIntersection(widened, ctx);
+        if (same)
+            return same;
+    }
     // Unions. `boolean` is internally `true | false`, and narrowing produces
     // literal unions like `"a" | "b"` — parts that map to the SAME IR type
     // collapse (deduplicated by typeKey), so a single surviving arm is just
@@ -4237,7 +4298,6 @@ function mapTypeInner(type, ctx) {
             }
             if (arms.some((a) => a.kind === "void" ||
                 a.kind === "union" ||
-                a.kind === "date" ||
                 a.kind === "dyn" ||
                 // A generator arm only comes from an Iterable<T> (an optional
                 // one keeps its unit arms beside the iterable union's).
@@ -4271,6 +4331,24 @@ function mapTypeInner(type, ctx) {
 /** One non-overloaded call signature's func type (mapTypeInner's
  * single-signature rule; erasedOverloadMemberType maps each overload of a
  * member through it). */
+/** Whether `sig` is the function type AsyncLocalStorage.snapshot() returns:
+ * declared as that static method's return type in the async_hooks module
+ * of the standard library declarations. */
+function isAsyncLocalStorageSnapshot(sig, ctx) {
+    const decl = sig.declaration;
+    if (decl === undefined || !ts.isFunctionTypeNode(decl))
+        return false;
+    const method = decl.parent;
+    return (method !== undefined &&
+        ts.isMethodDeclaration(method) &&
+        ts.isIdentifier(method.name) &&
+        method.name.text === "snapshot" &&
+        method.parent !== undefined &&
+        ts.isClassDeclaration(method.parent) &&
+        method.parent.name?.text === "AsyncLocalStorage" &&
+        ctx.isStdlibFile(ts.getSourceFileOfNode(decl)) &&
+        isDeclaredInAmbientModule(decl, "async_hooks"));
+}
 function mapCallSignature(sig, ctx) {
     const { checker } = ctx;
     if (sig.getTypeParameters().length && ctx.erasingSignature !== sig)
@@ -5712,7 +5790,7 @@ export function genResultRecord(yieldT, retT, shapes, unions) {
                     byKey.set(typeKey(a), a);
                 return true;
             }
-            if (t.kind === "regex" || t.kind === "date" || t.kind === "generator") {
+            if (t.kind === "regex" || t.kind === "generator") {
                 return false; // no legal union arm exists for these kinds
             }
             byKey.set(typeKey(t), t);
@@ -5777,6 +5855,36 @@ function boundVoidReturnType(p, resolveTypeParam) {
  * result is exactly the nullable-callback shape mapType's union branch
  * admits, `(() => void) | undefined`) so the interned union is IDENTICAL
  * to what mapping the checker's own `T | undefined` produces. */
+/** The X509Certificate record's hidden slot for its publicKey KeyObject,
+ * filled on the first read (builtins/x509.ts). */
+export const X509_PUBLIC_KEY_FIELD = "%publicKey";
+/** The X509Certificate record's hidden copy of its DER, which its methods
+ * read: a program can write into the Buffer `raw` answers, and in Node
+ * that changes neither the certificate's checks nor its PEM. */
+export const X509_DER_FIELD = "%der";
+/** The X509Certificate record's fields in @types/node's declaration order
+ * ("string?" is string | undefined), then the hidden publicKey and DER
+ * slots. */
+export const X509_FIELDS = [
+    ["ca", BOOL],
+    ["fingerprint", STRING],
+    ["fingerprint256", STRING],
+    ["fingerprint512", STRING],
+    ["subject", STRING],
+    ["subjectAltName", "string?"],
+    ["infoAccess", "string?"],
+    ["issuer", STRING],
+    ["raw", { kind: "bytes", elem: "u8" }],
+    ["serialNumber", STRING],
+    ["signatureAlgorithm", "string?"],
+    ["signatureAlgorithmOid", STRING],
+    ["validFrom", STRING],
+    ["validFromDate", DATE_T],
+    ["validTo", STRING],
+    ["validToDate", DATE_T],
+    [X509_PUBLIC_KEY_FIELD, DYN],
+    [X509_DER_FIELD, { kind: "bytes", elem: "u8" }],
+];
 export function withUndefinedArm(t, unions) {
     return withUnitArm(t, "undefinedT", unions);
 }
@@ -5787,16 +5895,16 @@ export function withUnitArm(t, kind, unions) {
         const def = unions.get(t.unionId);
         if (!def)
             return null;
-        if (def.arms.some((a) => a.kind === "date"))
-            return null;
         if (def.arms.some((a) => a.kind === kind))
             return t;
         const arms = [...def.arms, unit];
+        // Date and Promise arms beside other data arms have no union home.
+        if (!unionContainerArmsOk(arms))
+            return null;
         arms.sort((a, b) => (typeKey(a) < typeKey(b) ? -1 : 1));
         return { kind: "union", unionId: unions.transform(def, arms) };
     }
     if (t.kind === "void" ||
-        t.kind === "date" ||
         t.kind === "dyn" ||
         // A bare unit field type cannot occur (units live only inside unions),
         // but guard against constructing a single-arm union from one.
@@ -5817,6 +5925,21 @@ export function withUnitArm(t, kind, unions) {
  * assigned keys, which is also Node's answer for Object.assign(fn, obj)
  * (a function's own length/name are non-enumerable). Null whenever the
  * shape doesn't fit — the caller falls through to the plain-func mapping. */
+/** The IR type every constituent of an intersection maps to, or null when a
+ * constituent is unmappable or dynamic, or two constituents differ. */
+function mapEqualConstituentsIntersection(widened, ctx) {
+    let same = null;
+    for (const part of ts.constituentTypes(widened)) {
+        const mapped = mapType(part, ctx);
+        if (mapped === null || mapped.kind === "dyn")
+            return null;
+        if (same === null)
+            same = mapped;
+        else if (!typeEquals(same, mapped))
+            return null;
+    }
+    return same;
+}
 function mapHybridCallableIntersection(widened, ctx) {
     const { checker, shapes } = ctx;
     if (!widened.isIntersectionType())
@@ -6086,6 +6209,42 @@ function immutableSourceType(type, ctx) {
     }
     return null;
 }
+/** A mapped type reached through a type alias whose arguments mention no
+ * type parameter (`Record<never, number>`, `Catalog<typeof data, "image">`,
+ * a module-level alias without arguments):
+ * the checker computed its members from concrete inputs, so an empty
+ * result really is the empty object type, unlike `Partial<T>` inside a
+ * generic body. */
+function resolvedMappedAlias(t, ctx) {
+    if (!isMappedShape(t) || t.getAliasSymbol() === undefined)
+        return false;
+    const args = t.getAliasTypeArguments();
+    const seen = new Set();
+    const concrete = (part) => {
+        if (part.flags & (ts.TypeFlags.TypeParameter | ts.TypeFlags.Index))
+            return false;
+        if (part.flags & (ts.TypeFlags.IndexedAccess | ts.TypeFlags.Conditional))
+            return false;
+        if (seen.has(part))
+            return true;
+        seen.add(part);
+        if (part.isUnionType() || part.isIntersectionType())
+            return ts.constituentTypes(part).every(concrete);
+        if (!part.getAliasTypeArguments().every(concrete))
+            return false;
+        return ((part.flags & ts.TypeFlags.Object) === 0 ||
+            (part.objectFlags & ts.ObjectFlags.Reference) === 0 ||
+            ctx.checker.getTypeArguments(part).every(concrete));
+    };
+    // An alias without type arguments is concrete when it is declared at
+    // module level (a function body's alias may mention that function's type
+    // parameters).
+    if (args.length === 0)
+        return t
+            .getAliasSymbol()
+            .declarations.every((d) => ts.isTypeAliasDeclaration(d) && (ts.isSourceFile(d.parent) || ts.isModuleBlock(d.parent)));
+    return args.every(concrete);
+}
 /** True for MAPPED-type results — `Partial<Config>`, `Record<"a", n>`,
  * whatever `Pick`/`Omit` reduce to. Their shape is computed by the checker,
  * not declared anywhere: the only declaration behind them is the utility
@@ -6988,8 +7147,11 @@ function mapRecordTypeInner(widened, ctx) {
         // still unknown there) — interning `{}` would give a wrong type. The
         // degenerate empties (`Partial<{}>`, `Omit<C, keyof C>`) go with it.
         // An INDEX-SIGNATURE shape is exempt: `Record<string, T>` legitimately
-        // has zero declared members — the signature is the shape.
-        if (computed && props.length === 0 && !indexValue)
+        // has zero declared members — the signature is the shape. So is a mapped
+        // alias instantiated over concrete arguments (`Record<never, T>`, a
+        // catalog type whose key filter keeps no key): the checker resolved it,
+        // and it is the empty object type below.
+        if (computed && props.length === 0 && !indexValue && !resolvedMappedAlias(widened, ctx))
             return null;
         // An empty object type — `{}` (spelled, the checker's shared
         // intrinsic, or inferred from an empty object literal), `interface
@@ -7312,7 +7474,6 @@ function armHasUnionHome(arm) {
         case "void":
         case "union":
         case "regex":
-        case "date":
         case "generator":
         case "dyn":
             return false;