@scriptc/compiler 0.2.7 → 0.2.8

package/dist/frontend/lowering/string-index-bounds.test.js

@@ -0,0 +1,223 @@
+import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { expect, test } from "vitest";
+import { compile, deserializeModule, validateModule } from "../../index.js";
+async function lower(source) {
+    const dir = await mkdtemp(join(tmpdir(), "scriptc-string-index-bounds-"));
+    try {
+        const entry = join(dir, "main.ts"), output = join(dir, "main.ir.json");
+        await writeFile(entry, source);
+        const result = await compile(entry, {
+            outDir: dir,
+            outPath: output,
+            outputKind: "ir",
+        });
+        if (!result.ok)
+            throw new Error(result.diagnostics.map((item) => `${item.code}: ${item.message}`).join("\n"));
+        const module = deserializeModule(await readFile(output, "utf8"));
+        expect(validateModule(module)).toEqual([]);
+        return module;
+    }
+    finally {
+        await rm(dir, { recursive: true, force: true });
+    }
+}
+/** Functions whose string element reads keep the optional (checked) form. */
+function optionalReads(module) {
+    return new Set(module.functions
+        .filter((fn) => fn.locals.some((local) => local.name === "%indexedString"))
+        .map((fn) => fn.name));
+}
+const PROVEN = `
+function upward(s: string): string {
+  let out = "";
+  for (let i = 0; i < s.length; i++) out += s[i];
+  return out;
+}
+function downward(s: string): string {
+  let out = "";
+  for (let i = s.length - 1; i >= 0; i--) out += s[i];
+  return out;
+}
+function stepped(s: string): string {
+  let out = "";
+  for (let i = 1; i < s.length; i += 2) out += s[i];
+  return out;
+}
+function scanned(s: string): number {
+  let words = 0;
+  let i = 0;
+  while (i < s.length) {
+    const ch = s[i];
+    if (ch === " ") { i++; continue; }
+    while (i < s.length && s[i] !== " ") i++;
+    words++;
+  }
+  return words;
+}
+function exitFirst(s: string): string {
+  let i = 0;
+  while (true) {
+    if (i >= s.length) return "";
+    if (s[i] !== " ") return s[i];
+    i++;
+  }
+}
+function aliased(s: string): number {
+  const n = s.length;
+  let count = 0;
+  for (let i = 0; i < n; i++) if (s[i] === "a") count++;
+  return count;
+}
+function inclusive(s: string): number {
+  let count = 0;
+  for (let i = 0; i <= s.length - 1; i++) if (s[i] === "b") count++;
+  return count;
+}
+function choice(s: string): string {
+  const i = 2;
+  return i < s.length ? s[i] : "-";
+}
+function negated(s: string): string {
+  let i = 0;
+  if (!(i < s.length)) return "-";
+  return s[i];
+}
+function trimmed(s: string): number {
+  let end = s.length - 1;
+  while (end >= 0 && s[end] === " ") end--;
+  return end + 1;
+}
+function nested(text: string): number {
+  const count = (): number => {
+    let k = 0;
+    for (let i = 0; i < text.length; i++) if (text[i] === "x") k++;
+    return k;
+  };
+  return count() + count();
+}
+console.log(upward("ab"), downward("ab"), stepped("abcd"), scanned("a b"), exitFirst(" q"));
+console.log(aliased("aa"), inclusive("bb"), choice("abc"), negated("z"), trimmed("a "), nested("x"));
+`;
+const UNPROVEN = `
+function bumped(s: string): string | undefined {
+  let i = 0;
+  if (i < s.length) { i++; return s[i]; }
+  return "";
+}
+function innerLoop(s: string): string {
+  let out = "";
+  let i = 0;
+  if (i < s.length) for (let k = 0; k < 3; k++) { out += String(s[i]); i++; }
+  return out;
+}
+function replaced(s: string): string | undefined {
+  let t = s;
+  const i = 1;
+  if (i < t.length) { t = ""; return t[i]; }
+  return "";
+}
+function capturedText(s: string): string {
+  let t = s;
+  const clear = (): void => { t = ""; };
+  let out = "";
+  for (let i = 0; i < t.length; i++) { clear(); out += String(t[i]); }
+  return out;
+}
+function capturedIndex(s: string): string {
+  let i = 0;
+  const skip = (): void => { i += 5; };
+  let out = "";
+  while (i < s.length) { skip(); out += String(s[i]); }
+  return out;
+}
+function fractional(s: string): string | undefined {
+  const i = 0.5;
+  return i < s.length ? s[i] : "";
+}
+function negative(s: string): string | undefined {
+  const i = -1;
+  return i < s.length ? s[i] : "";
+}
+function pastEnd(s: string): string {
+  let out = "";
+  for (let i = 0; i <= s.length; i++) out += String(s[i]);
+  return out;
+}
+function otherText(s: string, t: string): string {
+  let out = "";
+  for (let i = 0; i < s.length; i++) out += String(t[i]);
+  return out;
+}
+function parameterIndex(s: string, i: number): string | undefined {
+  return i < s.length ? s[i] : "";
+}
+function afterLoop(s: string): string | undefined {
+  let i = 0;
+  do { i++; } while (i < s.length);
+  return s[i];
+}
+function unguarded(s: string): string | undefined {
+  const i = 0;
+  return s[i];
+}
+console.log(bumped("a"), innerLoop("ab"), replaced("ab"), capturedText("ab"), capturedIndex("ab"));
+console.log(fractional("a"), negative("a"), pastEnd("a"), otherText("abc", "a"), parameterIndex("a", 0.5));
+console.log(afterLoop("ab"), unguarded(""));
+`;
+test("proven in-bounds string element reads lower to plain strings", async () => {
+    const module = await lower(PROVEN);
+    const names = [
+        "upward",
+        "downward",
+        "stepped",
+        "scanned",
+        "exitFirst",
+        "aliased",
+        "inclusive",
+        "choice",
+        "negated",
+        "trimmed",
+        "nested",
+    ];
+    for (const name of names)
+        expect(module.functions.some((fn) => fn.name === name), name).toBe(true);
+    expect([...optionalReads(module)]).toEqual([]);
+});
+test("reads without a bounds proof keep the optional result", async () => {
+    const module = await lower(UNPROVEN);
+    const optional = optionalReads(module);
+    for (const name of [
+        "bumped",
+        "innerLoop",
+        "replaced",
+        "capturedText",
+        "capturedIndex",
+        "fractional",
+        "negative",
+        "pastEnd",
+        "otherText",
+        "parameterIndex",
+        "afterLoop",
+        "unguarded",
+    ])
+        expect(optional.has(name), name).toBe(true);
+});
+test("a callee keeps a plain string parameter when every caller is proven", async () => {
+    const module = await lower(`
+function isDigit(ch: string): boolean { return ch >= "0" && ch <= "9"; }
+function isUpper(ch: string): boolean { return ch >= "A" && ch <= "Z"; }
+function count(text: string): number {
+  let n = 0;
+  for (let i = 0; i < text.length; i++) if (isDigit(text[i])) n++;
+  return n;
+}
+function peekUpper(text: string, at: number): boolean { return isUpper(text[at]); }
+console.log(count("a1b2"), peekUpper("Ab", 0), peekUpper("Ab", 9));
+`);
+    const param = (name) => module.functions.find((fn) => fn.name === name).params[0].type;
+    expect(param("isDigit")).toEqual({ kind: "string" });
+    expect(param("isUpper").kind).toBe("union");
+});
+//# sourceMappingURL=string-index-bounds.test.js.map

package/dist/frontend/lowering/string-index-bounds.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-index-bounds.test.js","sourceRoot":"","sources":["../../../src/frontend/lowering/string-index-bounds.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAG5E,KAAK,UAAU,KAAK,CAAC,MAAc;IACjC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,8BAA8B,CAAC,CAAC,CAAC;IAC1E,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,EAChC,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QACrC,MAAM,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE;YAClC,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,EAAE;YACZ,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChG,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACjE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,MAAgB;IACrC,OAAO,IAAI,GAAG,CACZ,MAAM,CAAC,SAAS;SACb,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC;SAC1E,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CACxB,CAAC;AACJ,CAAC;AAED,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsEd,CAAC;AAEF,MAAM,QAAQ,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiEhB,CAAC;AAEF,IAAI,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;IAC9E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG;QACZ,QAAQ;QACR,UAAU;QACV,SAAS;QACT,SAAS;QACT,WAAW;QACX,SAAS;QACT,WAAW;QACX,QAAQ;QACR,SAAS;QACT,SAAS;QACT,QAAQ;KACT,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK;QACtB,MAAM,CACJ,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,EAC/C,IAAI,CACL,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;IACvE,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI;QACjB,QAAQ;QACR,WAAW;QACX,UAAU;QACV,cAAc;QACd,eAAe;QACf,YAAY;QACZ,UAAU;QACV,SAAS;QACT,WAAW;QACX,gBAAgB;QAChB,WAAW;QACX,WAAW;KACZ;QACC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;IACrF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC;;;;;;;;;;CAU5B,CAAC,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAE,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;IACjG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACrD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC9C,CAAC,CAAC,CAAC"}

package/dist/frontend/lowering/union-narrow.d.ts

@@ -1,4 +1,6 @@
 import type { IrExpr, IrFunction, IrType, IrUnionDef, SrcLoc } from "../../ir/ir.js";
+/** The TypeError message for a checked extraction that finds `arm`. */
+export declare function unionNarrowFailureMessage(arm: IrType, formatType: (type: IrType) => string): string;
 /** Build checked extraction from a union's actual storage. Successful reads
  * retain reference payloads through unionNarrow; every other valid tag
  * throws before the payload can be interpreted as the target type.

package/dist/frontend/lowering/union-narrow.js

@@ -1,4 +1,13 @@
 import { BOOL, STRING, isUnitType, typeEquals } from "../../ir/ir.js";
+/** The TypeError message for a checked extraction that finds `arm`. */
+export function unionNarrowFailureMessage(arm, formatType) {
+    const what = isUnitType(arm)
+        ? arm.kind === "undefinedT"
+            ? "undefined"
+            : "null"
+        : `a '${formatType(arm)}' value`;
+    return `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`;
+}
 /** Build checked extraction from a union's actual storage. Successful reads
  * retain reference payloads through unionNarrow; every other valid tag
  * throws before the payload can be interpreted as the target type.
@@ -38,11 +47,6 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
             branch = [{ kind: "return", value: undefinedDefault, loc }];
         }
         else {
-            const what = isUnitType(arm)
-                ? arm.kind === "undefinedT"
-                    ? "undefined"
-                    : "null"
-                : `a '${formatType(arm)}' value`;
             branch = [
                 {
                     kind: "throw",
@@ -52,7 +56,7 @@ export function buildUnionNarrow(name, from, target, loc, formatType, undefinedD
                         args: [
                             {
                                 kind: "strLit",
-                                value: `${what} is not representable in the target union (a value narrowed or asserted past it still held it)`,
+                                value: unionNarrowFailureMessage(arm, formatType),
                                 type: STRING,
                                 loc,
                             },

package/dist/frontend/lowering/union-narrow.js.map

@@ -1 +1 @@
-{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE;;;;;;kEAMkE;AAClE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI;IAEtC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;gBAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,MAAM;gBACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;YACnC,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,GAAG,IAAI,gGAAgG;gCAC9G,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}
+{"version":3,"file":"union-narrow.js","sourceRoot":"","sources":["../../../src/frontend/lowering/union-narrow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGtE,uEAAuE;AACvE,MAAM,UAAU,yBAAyB,CACvC,GAAW,EACX,UAAoC;IAEpC,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YACzB,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM;QACV,CAAC,CAAC,MAAM,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;IACnC,OAAO,GAAG,IAAI,gGAAgG,CAAC;AACjH,CAAC;AAED;;;;;;kEAMkE;AAClE,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,IAAgB,EAChB,MAAc,EACd,GAAW,EACX,UAAoC,EACpC,gBAAgB,GAAkB,IAAI;IAEtC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACxE,IAAI,SAAS,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACjE,IACE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC;YAC1C,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC;YAEnD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IAC9D,MAAM,KAAK,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC/E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,GAAG,GAAG,CAAC,EAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAE,CAAC;QAC5B,IAAI,MAAgB,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;oBACtF,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAClE,MAAM,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACN,MAAM,GAAG;gBACP;oBACE,IAAI,EAAE,OAAO;oBACb,KAAK,EAAE;wBACL,IAAI,EAAE,SAAS;wBACf,EAAE,EAAE,WAAW;wBACf,IAAI,EAAE;4BACJ;gCACE,IAAI,EAAE,QAAQ;gCACd,KAAK,EAAE,yBAAyB,CAAC,GAAG,EAAE,UAAU,CAAC;gCACjD,IAAI,EAAE,MAAM;gCACZ,GAAG;6BACJ;yBACF;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE;wBACjD,GAAG;qBACJ;oBACD,GAAG;iBACJ;aACF,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,IAAI;YACV,IAAI,EAAE;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,IAAI,CAAC,EAAE;gBAChB,GAAG;gBACH,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI;gBACV,GAAG;aACJ;YACD,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,IAAI;YACX,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC;QACR,IAAI,EAAE,OAAO;QACb,KAAK,EAAE;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,4CAA4C;YACnD,IAAI,EAAE,MAAM;YACZ,GAAG;SACJ;QACD,GAAG;KACJ,CAAC,CAAC;IACH,OAAO;QACL,IAAI;QACJ,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QACxD,UAAU,EAAE,MAAM;QAClB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnE,IAAI;QACJ,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/frontend/program-analysis.d.ts

@@ -1,5 +1,11 @@
 import type { ExportDeclaration, SourceFile, VariableDeclaration } from "./ts7/ast-types.js";
 import type { ModuleSourceCandidates } from "./module-source-candidates.js";
+import type { CycleEarlyBinding } from "./program.js";
+/** Early bindings computed for one module order of a program. */
+export interface EarlyBindingsMemo {
+    key: string;
+    bindings: CycleEarlyBinding[];
+}
 /** Facts owned by one program snapshot. Strong collections are bounded by
  * the program lifecycle, so neither GC finalizers nor native weak handles
  * are needed, and newer snapshots cannot inherit stale package decisions. */
@@ -8,5 +14,9 @@ export declare class ProgramAnalysis {
     readonly nodeEsmFiles: Map<SourceFile, boolean>;
     readonly prunedNpmReexports: Set<ExportDeclaration>;
     readonly moduleSourceCandidates: Map<SourceFile, ModuleSourceCandidates>;
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    readonly exactCycleMembers: Set<SourceFile>;
+    cycleEarlyBindings: EarlyBindingsMemo | null;
+    moduleEarlyBindings: EarlyBindingsMemo | null;
     clear(): void;
 }

package/dist/frontend/program-analysis.js

@@ -6,11 +6,18 @@ export class ProgramAnalysis {
     nodeEsmFiles = new Map();
     prunedNpmReexports = new Set();
     moduleSourceCandidates = new Map();
+    /** The modules of every import cycle the exact initialization rule admitted. */
+    exactCycleMembers = new Set();
+    cycleEarlyBindings = null;
+    moduleEarlyBindings = null;
     clear() {
         this.createRequireReasons.clear();
         this.nodeEsmFiles.clear();
         this.prunedNpmReexports.clear();
         this.moduleSourceCandidates.clear();
+        this.exactCycleMembers.clear();
+        this.cycleEarlyBindings = null;
+        this.moduleEarlyBindings = null;
     }
 }
 //# sourceMappingURL=program-analysis.js.map

package/dist/frontend/program-analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAGA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAEhF,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;IACtC,CAAC;CACF"}
+{"version":3,"file":"program-analysis.js","sourceRoot":"","sources":["../../src/frontend/program-analysis.ts"],"names":[],"mappings":"AAUA;;6EAE6E;AAC7E,MAAM,OAAO,eAAe;IACjB,oBAAoB,GAAG,IAAI,GAAG,EAAsC,CAAC;IACrE,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,kBAAkB,GAAG,IAAI,GAAG,EAAqB,CAAC;IAClD,sBAAsB,GAAG,IAAI,GAAG,EAAsC,CAAC;IAChF,gFAAgF;IACvE,iBAAiB,GAAG,IAAI,GAAG,EAAc,CAAC;IACnD,kBAAkB,GAA6B,IAAI,CAAC;IACpD,mBAAmB,GAA6B,IAAI,CAAC;IAErD,KAAK;QACH,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;QAClC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,kBAAkB,GAAG,IAAI,CAAC;QAC/B,IAAI,CAAC,mBAAmB,GAAG,IAAI,CAAC;IAClC,CAAC;CACF"}

package/dist/frontend/program.d.ts

@@ -1,6 +1,14 @@
 import * as ts from "./ts7/adapter.js";
 import type { ScrDiagnostic } from "../diagnostics/diagnostic.js";
 import type { FrontendServices } from "./services.js";
+export interface TypeWorldDifferences {
+    /** No @types/node: the bundled fallback declarations type Node. */
+    nodeFallback: boolean;
+    /** The project tsconfig's "lib" entries (scriptc checks with its own). */
+    projectLib: readonly string[] | null;
+    /** The project disables strictNullChecks; scriptc forces it on. */
+    forcedStrictNullChecks: boolean;
+}
 export interface LoadResult {
     program: ts.Program;
     entry: ts.SourceFile;
@@ -23,6 +31,9 @@ export interface LoadResult {
      * checkPreflight. */
     startupCrash?: StartupCrash | null;
     configDiags: ScrDiagnostic[];
+    /** How scriptc's type world differs from the project's own tsc setup —
+     * used only to label the TypeScript errors those differences cause. */
+    typeWorld?: TypeWorldDifferences;
     /** Coverage-only external host modules: exact bare specifier → local
      * declaration file. These participate in checker resolution but never
      * become runtime module edges. */
@@ -186,6 +197,20 @@ export interface CycleEarlyBinding {
  * Otherwise every deferred reference and every top-level reference from
  * another member counts. */
 export declare function cycleEarlyBindings(program: ts.Program, entry: ts.SourceFile, order: readonly ts.SourceFile[], singleRoot: boolean): CycleEarlyBinding[];
+/** Top-level let/const bindings, in modules outside the exactly-initialized
+ * cycles, that code running before their declaration completes can read.
+ * Function declarations are callable from the module's start, so a call
+ * made by earlier top-level code (or by the declaration's own initializer)
+ * can observe the temporal dead zone. Reachability is syntactic: a stored
+ * callable (a function or class declaration, or a function, class or
+ * object-literal method stored by a variable initializer) becomes reachable
+ * once reachable code names its binding, and every other function-like in
+ * reachable code counts as reachable because it may be handed to a callee.
+ * A binding is reported only when one of its references in a deferred
+ * position is reachable before the declaration ran, so modules that call
+ * nothing early report nothing. Bindings of exactly-initialized cycles are
+ * covered by cycleEarlyBindings. */
+export declare function moduleEarlyBindings(program: ts.Program, order: readonly ts.SourceFile[]): CycleEarlyBinding[];
 /** Resolves an import specifier from `from` to a source file of the
  * program, or null (unresolvable / outside the program). Exported (as
  * resolveImport) for the lowering: CommonJS require statements lower to