@scriptc/compiler 0.3.2 → 0.3.3

package/dist/frontend/resolve.js

@@ -475,7 +475,7 @@ function nearestPkgDir(dir) {
 }
 /** The nearest package.json FILE, whether or not its JSON parses. Runtime
  * module-format lookup must stop at a malformed nearest scope: Node reports
- * ERR_INVALID_PACKAGE_CONFIG there rather than silently inheriting a parent
+ * ERR_INVALID_PACKAGE_CONFIG there rather than inheriting a parent
  * package's `type`. The resolver's historical nearestPkgDir stays parseable-
  * package-only because its callers need a package OBJECT to inspect. */
 function nearestPackageConfigDir(dir) {

package/dist/frontend/ts7/adapter.js

@@ -31,6 +31,6 @@ export * from "./program-host.js";
 export * from "./semantic-types.js";
 /* No default export, deliberately: ESM cannot hang the TYPE side of the
  * census (ts.Expression, ts.Node, ...) off a default binding, so a default
- * would invite the one import form that silently loses the types. The port
+ * would invite the one import form that loses the types without an error. The port
  * swap is the namespace import above — same one-line change per file. */
 //# sourceMappingURL=adapter.js.map

package/dist/frontend/ts7/ast-bytes.d.ts

@@ -11,7 +11,7 @@ export declare function astI32(bytes: Uint8Array, offset: number): number;
  * UTF-8 decoding deliberately replaces those sequences, so decode them
  * explicitly. Preserve U+FEFF anywhere, including just after a surrogate.
  * Valid UTF-8 segments use the runtime's optimized decoder. A runtime that
- * cannot represent lone surrogates must refuse them here; silently replacing
+ * cannot represent lone surrogates must refuse them here; replacing
  * a code unit would change checker names and compiler input. */
 export declare function decodeAstString(bytes: Uint8Array, offset: number, length: number): string;
 /** The structured-data section uses only arrays, uints, strings and bools.

package/dist/frontend/ts7/ast-bytes.js

@@ -32,7 +32,7 @@ export function astI32(bytes, offset) {
  * UTF-8 decoding deliberately replaces those sequences, so decode them
  * explicitly. Preserve U+FEFF anywhere, including just after a surrogate.
  * Valid UTF-8 segments use the runtime's optimized decoder. A runtime that
- * cannot represent lone surrogates must refuse them here; silently replacing
+ * cannot represent lone surrogates must refuse them here; replacing
  * a code unit would change checker names and compiler input. */
 export function decodeAstString(bytes, offset, length) {
     astBounds(bytes, offset, length);

package/dist/frontend/ts7/semantic-json.d.ts

@@ -1,5 +1,5 @@
 /** Check the only JSON string form the native runtime cannot yet retain.
  * JSON.parse itself validates grammar. A valid surrogate pair is preserved;
- * a lone escape must not silently change a type literal or symbol name. */
+ * a lone escape must not change a type literal or symbol name. */
 export declare function checkSemanticJsonStrings(json: string, preservesSurrogates: boolean): void;
 export declare function parseSemanticJson<T>(json: string): T;

package/dist/frontend/ts7/semantic-json.js

@@ -1,6 +1,6 @@
 /** Check the only JSON string form the native runtime cannot yet retain.
  * JSON.parse itself validates grammar. A valid surrogate pair is preserved;
- * a lone escape must not silently change a type literal or symbol name. */
+ * a lone escape must not change a type literal or symbol name. */
 export function checkSemanticJsonStrings(json, preservesSurrogates) {
     // Most checker responses contain no Unicode escapes. Inspect only escape
     // sequences instead of mapping every native string index to UTF-16. Valid

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

@@ -1 +1 @@
-{"version":3,"file":"semantic-json.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-json.ts"],"names":[],"mappings":"AAAA;;2EAE2E;AAC3E,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,mBAA4B;IACjF,yEAAyE;IACzE,0EAA0E;IAC1E,0EAA0E;IAC1E,IAAI,mBAAmB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IACzD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG;YAAE,SAAS;QAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;YAAE,SAAS;QAC7C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9F,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;gBACrC,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,IAAI,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,KAAK,GACT,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE;YACtB,CAAC,CAAC,IAAI,GAAG,EAAE;YACX,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE;gBACxB,CAAC,CAAC,IAAI,GAAG,EAAE;gBACX,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG;oBACzB,CAAC,CAAC,IAAI,GAAG,EAAE;oBACX,CAAC,CAAC,CAAC,CAAC,CAAC;QACb,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACzB,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,KAAK,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,4EAA4E;AAC5E,MAAM,uBAAuB,GAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;AAE7F,MAAM,UAAU,iBAAiB,CAAI,IAAY;IAC/C,wBAAwB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAM,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"semantic-json.js","sourceRoot":"","sources":["../../../src/frontend/ts7/semantic-json.ts"],"names":[],"mappings":"AAAA;;kEAEkE;AAClE,MAAM,UAAU,wBAAwB,CAAC,IAAY,EAAE,mBAA4B;IACjF,yEAAyE;IACzE,0EAA0E;IAC1E,0EAA0E;IAC1E,IAAI,mBAAmB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO;IACzD,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,KAAK,GAAG;YAAE,SAAS;QAC/C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,CAAC;QACX,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM;YAAE,SAAS;QAC7C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC9F,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC1C,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;gBACrC,KAAK,IAAI,CAAC,CAAC;gBACX,SAAS;YACX,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,MAAc;IAC/C,IAAI,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,KAAK,GAAG,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,KAAK,GACT,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE;YACtB,CAAC,CAAC,IAAI,GAAG,EAAE;YACX,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE;gBACxB,CAAC,CAAC,IAAI,GAAG,EAAE;gBACX,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,GAAG;oBACzB,CAAC,CAAC,IAAI,GAAG,EAAE;oBACX,CAAC,CAAC,CAAC,CAAC,CAAC;QACb,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QACzB,KAAK,GAAG,KAAK,GAAG,EAAE,GAAG,KAAK,CAAC;IAC7B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,4EAA4E;AAC5E,MAAM,uBAAuB,GAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAY,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC;AAE7F,MAAM,UAAU,iBAAiB,CAAI,IAAY;IAC/C,wBAAwB,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACxD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAM,CAAC;AAC/B,CAAC"}

package/dist/frontend/ts7/world-check.js

@@ -3,7 +3,7 @@
  * 7.0.2 world (this adapter, over the real "typescript" dependency) must
  * never exchange AST or checker objects: the enums
  * renumbered between worlds, so a node that crosses carries kinds and flags
- * that MEAN something else on the other side, silently.
+ * that MEAN something else on the other side, without any error.
  *
  * The fence is nominal enum typing: every node interface carries a
  * `kind`/`flags` member typed by its own package's enum declaration, and

package/dist/frontend/tsc-codes.js

@@ -120,7 +120,7 @@ export const JS_RELAXED_TSC_CODES = new Set([
     // Class lowering checks native storage and override ABIs at each use.
     2415,
     // unresolvable modules: Node throws WHEN the require executes — the
-    // binding types as any and reached uses fence (never a silent pass)
+    // binding types as any and reached uses fence instead of passing unchecked
     2307,
     2792,
     // useUnknownInCatchVariables' annotation demand ("'e' is of type
@@ -128,7 +128,7 @@ export const JS_RELAXED_TSC_CODES = new Set([
     // annotate its variable, so the demand is unsatisfiable in source —
     // exactly the implicit-any story above. The values stay 'unknown' and
     // every use meets the lowerer's per-site unknown fences (member reads
-    // ride the checked-dynamic tree; unsupported operations fence loudly).
+    // ride the checked-dynamic tree; unsupported operations report a compile-time diagnostic).
     18046,
     2571,
 ]);

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;CACtB,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;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,oEAAoE;IACpE,IAAI;IACJ,IAAI;IACJ,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,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;CACtB,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;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"}

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

@@ -5,7 +5,7 @@ export { typeKey };
 /** Empty JS object inference describes no fixed layout. Keep these values
  * in checked storage across fields, parameters and function signatures. */
 export declare function jsOpenObjectType(decl: ts.Node | undefined, type: IrType, shapes: ShapeRegistry, unions: UnionRegistry): IrType;
-export declare const FETCH_AMBIENT_TYPES: readonly ["Response", "Request", "ResponseInit", "RequestInit", "Event", "CustomEvent", "EventTarget", "AddEventListenerOptions", "EventListenerOptions", "EventInit", "CustomEventInit", "AbortController", "AbortSignal", "Headers", "ReadableStream", "ReadableStreamDefaultReader", "ReadableStreamDefaultController", "ReadableStreamReadResult", "ReadableStreamReadValueResult", "ReadableStreamReadDoneResult"];
+export declare const FETCH_AMBIENT_TYPES: readonly ["Response", "Request", "ResponseInit", "RequestInit", "Event", "CustomEvent", "EventTarget", "AddEventListenerOptions", "EventListenerOptions", "EventInit", "CustomEventInit", "AbortController", "AbortSignal", "Headers", "ReadableStream", "ReadableStreamDefaultReader", "ReadableStreamDefaultController", "ReadableStreamReadResult", "ReadableStreamReadValueResult", "ReadableStreamReadDoneResult", "Blob", "File", "BlobPropertyBag", "FilePropertyBag", "BlobOptions", "FileOptions"];
 /** True for the parseArgs type family that deliberately rides dyn. Exported
  * for the property-read bridge after TypeScript narrows a token union arm. */
 export declare function isParseArgsDynTypeName(name: string): boolean;
@@ -163,6 +163,17 @@ export declare class UnionRegistry {
  * The same budget covers every sibling, and deep wrapper chains truncate
  * before exhausting the JS stack. Small types retain their full spelling. */
 export declare function formatIrType(t: IrType, shapes: ShapeRegistry, unions: UnionRegistry, seen?: Set<string>): string;
+/** The hidden field that marks the perf_hooks entry record shape. */
+export declare const PERF_ENTRY_MARKER = "%perfEntry";
+/** PerformanceEntry's toJSON fields, in toJSON's order. */
+export declare const PERF_ENTRY_FIELDS: string[];
+/** The record shape behind PerformanceEntry, PerformanceMark and
+ * PerformanceMeasure values (see mapType). The marker is an always-absent
+ * optional, so dyn conversions and key walks never see it. */
+export declare function perfEntryShape(shapes: ShapeRegistry, unions: UnionRegistry): string;
+/** toJSON()'s plain object over an entry: the same fields without the
+ * marker. */
+export declare function perfEntryJsonShape(shapes: ShapeRegistry): string;
 /** True when a type contains a record anywhere (the trigger for the
  * shape-mismatch diagnostic SC2002 — non-record mismatches are tsc's or
  * the validator's business). */
@@ -275,6 +286,10 @@ export interface TypeMapperCtx {
      * is that package's class declaration (lowering/lifetime-regions.ts). */
     lifetimeRegionClass?: (decl: ts.ClassDeclaration) => IrType | null;
 }
+export declare function isLegacyUrlType(type: ts.Type, ctx: Pick<TypeMapperCtx, "checker" | "isStdlibFile">): boolean;
+/** A symbol declared as one of node:url's legacy record interfaces, or as
+ * a member of one. */
+export declare function isLegacyUrlSymbol(symbol: ts.Symbol | null | undefined, ctx: Pick<TypeMapperCtx, "checker" | "isStdlibFile">): boolean;
 /** os.constants and its groups — @types/node's `namespace constants`
  * (errno, dlopen, priority) and SignalConstants, and the fallback's twins:
  * the runtime's checked-dynamic constants object, whose members vary by

package/dist/frontend/type-mapper.js

@@ -87,6 +87,12 @@ export const FETCH_AMBIENT_TYPES = [
     "ReadableStreamReadResult",
     "ReadableStreamReadValueResult",
     "ReadableStreamReadDoneResult",
+    "Blob",
+    "File",
+    "BlobPropertyBag",
+    "FilePropertyBag",
+    "BlobOptions",
+    "FileOptions",
 ];
 /** node:util.parseArgs's public and @types/node helper type names, plus
  * util.debuglog's DebugLogger (a native function value with an `enabled`
@@ -646,6 +652,8 @@ export function formatIrType(t, shapes, unions, seen = new Set()) {
                 return append("Stats");
             case "fileHandle":
                 return append("FileHandle");
+            case "dir":
+                return append("Dir");
             case "spawnRes":
                 return append("SpawnSyncReturns");
             case "child":
@@ -721,6 +729,34 @@ function esOwnKeyOrder(names) {
     const indices = names.filter(isArrayIndex).sort((a, b) => Number(a) - Number(b));
     return indices.length === 0 ? names : [...indices, ...names.filter((n) => !isArrayIndex(n))];
 }
+/** The hidden field that marks the perf_hooks entry record shape. */
+export const PERF_ENTRY_MARKER = "%perfEntry";
+/** PerformanceEntry's toJSON fields, in toJSON's order. */
+export const PERF_ENTRY_FIELDS = ["name", "entryType", "startTime", "duration", "detail"];
+/** The record shape behind PerformanceEntry, PerformanceMark and
+ * PerformanceMeasure values (see mapType). The marker is an always-absent
+ * optional, so dyn conversions and key walks never see it. */
+export function perfEntryShape(shapes, unions) {
+    return shapes.intern([
+        { name: PERF_ENTRY_MARKER, type: withUndefinedArm(F64, unions) },
+        { name: "detail", type: DYN },
+        { name: "duration", type: F64 },
+        { name: "entryType", type: STRING },
+        { name: "name", type: STRING },
+        { name: "startTime", type: F64 },
+    ], false, undefined, PERF_ENTRY_FIELDS);
+}
+/** toJSON()'s plain object over an entry: the same fields without the
+ * marker. */
+export function perfEntryJsonShape(shapes) {
+    return shapes.intern([
+        { name: "detail", type: DYN },
+        { name: "duration", type: F64 },
+        { name: "entryType", type: STRING },
+        { name: "name", type: STRING },
+        { name: "startTime", type: F64 },
+    ], false, undefined, PERF_ENTRY_FIELDS);
+}
 function isDeclaredInAmbientModule(d, name) {
     let node = d.parent;
     while (node) {
@@ -849,6 +885,43 @@ let mapTypeDepth = 0;
  * a bump between entry and exit stays fenced (recursive generic-open types
  * 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. */
+const LEGACY_URL_TYPES = new Set([
+    "Url",
+    "UrlObject",
+    "UrlWithParsedQuery",
+    "UrlWithStringQuery",
+    "URLFormatOptions",
+]);
+export function isLegacyUrlType(type, ctx) {
+    const symbol = type.getAliasSymbol() ?? type.getSymbol();
+    return isLegacyUrlSymbol(symbol, ctx);
+}
+/** A symbol declared as one of node:url's legacy record interfaces, or as
+ * a member of one. */
+export function isLegacyUrlSymbol(symbol, ctx) {
+    if (!symbol)
+        return false;
+    for (const d of ctx.checker.declarationsOf(symbol)) {
+        if (!ctx.isStdlibFile(d.getSourceFile()))
+            continue;
+        let family = false;
+        for (let n = d; n; n = n.parent) {
+            if (ts.isInterfaceDeclaration(n) && LEGACY_URL_TYPES.has(n.name.text))
+                family = true;
+            if (ts.isModuleDeclaration(n) && ts.isStringLiteral(n.name)) {
+                if (family && (n.name.text === "url" || n.name.text === "node:url"))
+                    return true;
+                break;
+            }
+        }
+    }
+    return false;
+}
 /** os.constants and its groups — @types/node's `namespace constants`
  * (errno, dlopen, priority) and SignalConstants, and the fallback's twins:
  * the runtime's checked-dynamic constants object, whose members vary by
@@ -984,7 +1057,7 @@ function mapTypeInner(type, ctx) {
         checker.declarationsOf(directAlias).some((decl) => ctx.isStdlibFile(decl.getSourceFile()))) {
         return { kind: "object", className: "%Error" };
     }
-    if (isOsConstantsType(type, ctx))
+    if (isOsConstantsType(type, ctx) || isLegacyUrlType(type, ctx))
         return DYN;
     // Immutable<T> (@scriptc/types) is a deep-readonly view: the value is
     // still the T it maps.
@@ -1287,8 +1360,12 @@ function mapTypeInner(type, ctx) {
         // changing this public representation. This is dynFallbackType's JS stance promoted into
         // the mapping itself; construction sites build dynArrLit (the checked-dynamic tree
         // array literal) and typed sources convert per element at the slot.
+        // Arrays of class-backed protocol values are the exception: each
+        // element is one checked-dynamic value (a class capsule or an object),
+        // so a native array of them keeps every element's identity and passes
+        // method calls a receiver they can dispatch.
         if (elem.kind === "dyn")
-            return DYN;
+            return ctx.classImplementedProtocol?.(elemTs) ? arrayOf(DYN) : DYN;
         // The shared predicate is the runtime/backend storage contract. In
         // particular, valid standalone values such as Date and opaque
         // handles do not automatically have an array element representation.
@@ -1567,7 +1644,7 @@ function mapTypeInner(type, ctx) {
     // it lowers like `unknown` (the dyn) — the same rule as `object` and
     // the empty object type, provenance-checked so a user's own `interface
     // Object` still maps as a record. Its Object.prototype member surface
-    // (`x.toString()`) fences at each use site, never silently.
+    // (`x.toString()`) fences at each use site with an explicit error.
     if (isStdlibInterface("Object"))
         return DYN;
     // NodeJS.Module / the shipped fallback's ScriptcModule: a process-lifetime
@@ -1601,17 +1678,17 @@ function mapTypeInner(type, ctx) {
             (isDeclaredInAmbientModule(d, "events") || isDeclaredInAmbientNamespace(d, "NodeJS")))) {
         return { kind: "object", className: RUNTIME_EMITTER_CLASS };
     }
-    // readline.Interface: the interface value is an f64 handle into the
-    // runtime's registry (the Timeout-id precedent). The NAME is generic,
-    // so the provenance check adds the enclosing ambient module, like
-    // net.Server (@types/node also declares Interface in
-    // readline/promises — that one stays unmapped and fences).
+    // readline.Interface and readline/promises.Interface: the interface
+    // value is an f64 handle into the runtime's registry (the Timeout-id
+    // precedent). The NAME is generic, so the provenance check adds the
+    // enclosing ambient module, like net.Server.
     if (psym?.name === "Interface" &&
         checker
             .declarationsOf(psym)
             .some((d) => (ts.isInterfaceDeclaration(d) || ts.isClassDeclaration(d)) &&
             ctx.isStdlibFile(d.getSourceFile()) &&
-            isDeclaredInAmbientModule(d, "readline"))) {
+            (isDeclaredInAmbientModule(d, "readline") ||
+                isDeclaredInAmbientModule(d, "readline/promises")))) {
         return F64;
     }
     // diagnostics_channel.Channel: the channel value is an f64 handle into
@@ -1804,6 +1881,16 @@ function mapTypeInner(type, ctx) {
             return null;
         return genResultRecord(elem, VOID, ctx.shapes, ctx.unions);
     }
+    // node:crypto's KeyObject: secret keys are native handles (scr_lib.c)
+    // whose getters and methods dispatch through the handle. The JsonWebKey
+    // that export() returns is a plain checked-dynamic object.
+    if ((psym?.name === "KeyObject" || psym?.name === "JsonWebKey") &&
+        checker
+            .declarationsOf(psym)
+            .some((d) => (ts.isClassDeclaration(d) || ts.isInterfaceDeclaration(d)) &&
+            ctx.isStdlibFile(d.getSourceFile()))) {
+        return DYN;
+    }
     if (psym &&
         FETCH_AMBIENT_TYPES.includes(psym.name) &&
         !(psym.name === "ReadableStream" &&
@@ -1922,7 +2009,8 @@ function mapTypeInner(type, ctx) {
     if (isStdlibInterface("ArrayBuffer") ||
         isStdlibInterface("SharedArrayBuffer") ||
         isStdlibInterface("PropertyDescriptor") ||
-        isStdlibInterface("ProcessVersions"))
+        isStdlibInterface("ProcessVersions") ||
+        isStdlibInterface("ProcessRelease"))
         return DYN;
     if (Object.values(BYTES_ELEMENT_NAME).some((name) => isStdlibInterface(`${name}Constructor`)))
         return DYN;
@@ -2020,6 +2108,16 @@ function mapTypeInner(type, ctx) {
             isDeclaredInAmbientModule(d, "fs/promises"))) {
         return { kind: "fileHandle" };
     }
+    // fs.Dir: an open directory stream, declared in "fs" by both the
+    // fallback and @types/node.
+    if (psym?.name === "Dir" &&
+        checker
+            .declarationsOf(psym)
+            .some((d) => (ts.isInterfaceDeclaration(d) || ts.isClassDeclaration(d)) &&
+            ctx.isStdlibFile(d.getSourceFile()) &&
+            isDeclaredInAmbientModule(d, "fs"))) {
+        return { kind: "dir" };
+    }
     // child_process.SpawnSyncReturns: @types/node's generic interface (the
     // Buffer/string split is re-checked at the stdout/stderr READ — status
     // reads work either way) or the fallback declarations' plain interface.
@@ -2446,7 +2544,8 @@ function mapTypeInner(type, ctx) {
     // is string[]; unsupported runtime modes throw at the call), and the
     // accepted-but-inert maxBuffer/windowsHide. Members outside this set
     // (env, killSignal, shell, uid, ...) keep the shape unmatched — their
-    // literals fence at the shape check instead of silently dropping.
+    // literals fence at the shape check instead of being dropped without a
+    // diagnostic.
     if (isStdlibInterface("ExecFileSyncOptionsWithStringEncoding")) {
         const optStr = withUndefinedArm(STRING, ctx.unions);
         const optNum = withUndefinedArm(F64, ctx.unions);
@@ -2556,10 +2655,11 @@ function mapTypeInner(type, ctx) {
     // hidden %dtype field carries the entry kind (libuv's UV_DIRENT
     // encoding) that the isFile/isDirectory/isSymbolicLink call lowerings
     // read (lowerDirentMethodCall — the StringDecoder pattern, so the
-    // %-field never surfaces through the lowered Dirent surface itself;
-    // JSON.stringify of a Dirent would show it — the documented
-    // internal-shape edge). @types/node declares Dirent<Name> generic over
-    // the name's encoding — only the string instantiation maps (the
+    // %-field never surfaces through the lowered Dirent surface itself).
+    // A row converted to dyn takes Node's Dirent prototype and Symbol(type)
+    // key, with %dtype non-enumerable (scr_dyn_dirent_finish), and inspect
+    // renders rows through that view. @types/node declares Dirent<Name>
+    // generic over the name's encoding — only the string instantiation maps (the
     // encoding:'buffer' readdir form has no lowering); the shipped fallback
     // declares it concrete (an interface; @types/node uses a class — both
     // provenance-checked, the Buffer/URL pattern).
@@ -2679,6 +2779,31 @@ function mapTypeInner(type, ctx) {
             ], false, undefined, ["fingerprint", "validFrom", "validTo"]),
         };
     }
+    // perf_hooks' PerformanceEntry, PerformanceMark and PerformanceMeasure
+    // (performance.mark/measure and the getEntries family): ONE record shape
+    // for the three classes, so marks and measures share PerformanceEntry[]
+    // arrays. The visible fields are toJSON's, in its order; the hidden
+    // marker field keeps the shape distinct from a structurally equal user
+    // record (util.inspect names the class from entryType, like Node).
+    // @types/node declares the classes in perf_hooks and global interfaces
+    // over them; the shipped fallback declares the classes.
+    if ((psym?.name === "PerformanceEntry" ||
+        psym?.name === "PerformanceMark" ||
+        psym?.name === "PerformanceMeasure") &&
+        checker
+            .declarationsOf(psym)
+            .some((d) => (ts.isInterfaceDeclaration(d) || ts.isClassDeclaration(d)) &&
+            ctx.isStdlibFile(d.getSourceFile()))) {
+        return { kind: "record", shapeId: perfEntryShape(ctx.shapes, ctx.unions) };
+    }
+    // process.memoryUsage()'s record, in Node's key order.
+    if (isStdlibInterface("MemoryUsage")) {
+        const names = ["rss", "heapTotal", "heapUsed", "external", "arrayBuffers"];
+        return {
+            kind: "record",
+            shapeId: ctx.shapes.intern([...names].sort().map((name) => ({ name, type: F64 })), false, undefined, names),
+        };
+    }
     // process.cpuUsage()/threadCpuUsage()'s {user, system} microsecond
     // record and resourceUsage()'s getrusage record — stdlib data
     // interfaces interned explicitly (the RemoteInfo pattern; declared
@@ -4436,7 +4561,7 @@ function mapRecordTypeInner(widened, ctx) {
             return DYN;
         // A computed shape with NO members is not a real empty record: inside a
         // generic body `Partial<T>` resolves to no members at all (keyof T is
-        // still unknown there) — interning `{}` would be silently wrong. The
+        // 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.
@@ -4476,8 +4601,8 @@ function mapRecordTypeInner(widened, ctx) {
                 // accessor MEMBERS map the same way so accessor records cross
                 // annotated boundaries (`function f(p: { get x(): number })`) —
                 // tsc lets a plain DATA property satisfy such a member, but the
-                // exact-shape stance turns that into a loud shape-mismatch fence
-                // at the literal, never a silent split. JS-file literals keep
+                // exact-shape stance turns that into a shape-mismatch diagnostic
+                // at the literal instead of an undiagnosed split. JS-file literals keep
                 // their existing paths (the CJS export-table narrowing and the
                 // checked-dynamic fallback), and .d.ts declarations stay out with
                 // the rest of the lib's type worlds.