@scriptc/compiler 0.1.5 → 0.1.7

package/dist/ir/validate.test.js

@@ -20,6 +20,23 @@ test("numeric array-read intrinsic validates and round-trips", () => {
     expect(validateModule(mod)).toEqual([]);
     expect(deserializeModule(serializeModule(mod))).toEqual(mod);
 });
+test("indexed equality validates primitive kinds, arguments, and result", () => {
+    const args = [
+        { kind: "numLit", value: 0, type: F64, loc },
+        { kind: "arrayLit", elems: [], type: arrayOf(F64), loc },
+        { kind: "numLit", value: 1, type: F64, loc },
+    ];
+    const mod = numericReadModule({ method: "indexEq", args, type: BOOL });
+    expect(validateModule(mod)).toEqual([]);
+    expect(deserializeModule(serializeModule(mod))).toEqual(mod);
+    for (const override of [
+        { args: [] }, { type: F64 },
+        { args: [args[0], { kind: "arrayLit", elems: [], type: arrayOf(STRING), loc }, args[2]] },
+        { receiver: { kind: "arrayLit", elems: [], type: arrayOf(arrayOf(F64)), loc } },
+    ]) {
+        expect(validateModule(numericReadModule({ method: "indexEq", args, type: BOOL, ...override }))).not.toEqual([]);
+    }
+});
 test.each([
     [{ receiver: { kind: "arrayLit", elems: [], type: arrayOf(STRING), loc } }, "requires f64 elements"],
     [{ args: [] }, "0 args, expected 1"],

package/dist/ir/validate.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAA8B,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC"}
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../src/ir/validate.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAA8B,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AAE1D,SAAS,iBAAiB,CAAC,SAAS,GAA+C,EAAE;IACnF,MAAM,IAAI,GAAW;QACnB,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,WAAW;QACzC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QAClE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;QACpD,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,SAAS;KAC7B,CAAC;IACF,OAAO;QACL,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM;QAClD,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;KAC5H,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,GAAG,GAAG,iBAAiB,EAAE,CAAC;IAChC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,mEAAmE,EAAE,GAAG,EAAE;IAC7E,MAAM,IAAI,GAAa;QACrB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;QAC5C,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE;QACxD,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC7C,CAAC;IACF,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7D,KAAK,MAAM,QAAQ,IAAI;QACrB,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE;QAC3B,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,EAAE;QAC3F,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;KACzB,EAAE,CAAC;QACzD,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClH,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,IAAI,CAAC;IACR,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,uBAAuB,CAAC;IACpG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,oBAAoB,CAAC;IACpC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,qBAAqB,CAAC;IACtF,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,aAAa,CAAC;CACiC,CAAC,CAAC,sDAAsD,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE;IACjJ,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnH,CAAC,CAAC,CAAC"}

package/dist/library/compiler-self-identity.d.ts

@@ -19,5 +19,5 @@ export declare function compilerImplementationRoot(): string;
  * produced an early frontend artifact. Full compiles hash every byte before
  * publication; the CLI fast path validates the captured inode/time/size
  * metadata and loads the large compiler graph only when anything changed. */
-export declare function compilerImplementationIdentity(captureDependencies?: boolean): Promise<CompilerImplementationIdentity>;
+export declare function compilerImplementationIdentity(captureDependencies?: boolean, implementationRoot?: string): Promise<CompilerImplementationIdentity>;
 export declare function compilerImplementationDependenciesStillMatch(dependencies: readonly CompilerImplementationDependency[]): Promise<boolean>;

package/dist/library/compiler-self-identity.js

@@ -27,35 +27,51 @@ function dependency(path, info) {
  * produced an early frontend artifact. Full compiles hash every byte before
  * publication; the CLI fast path validates the captured inode/time/size
  * metadata and loads the large compiler graph only when anything changed. */
-export async function compilerImplementationIdentity(captureDependencies = true) {
-    const implementationRoot = compilerImplementationRoot();
-    const files = [];
+export async function compilerImplementationIdentity(captureDependencies = true, implementationRoot = compilerImplementationRoot()) {
+    const entries = [];
     const dependencies = [];
     const walk = async (directory) => {
-        const directoryInfo = dependency(directory, await lstat(directory));
-        if (captureDependencies && directoryInfo !== null)
-            dependencies.push(directoryInfo);
-        const entries = await readdir(directory, { withFileTypes: true });
-        entries.sort((a, b) => a.name.localeCompare(b.name));
-        for (const entry of entries) {
+        // Capture directories BEFORE enumeration: a new child arriving during
+        // the scan must invalidate this proof, even if readdir did not see it.
+        entries.push({
+            path: directory,
+            directory: captureDependencies ? dependency(directory, await lstat(directory)) : null,
+        });
+        const children = await readdir(directory, { withFileTypes: true });
+        children.sort((a, b) => a.name.localeCompare(b.name));
+        for (const entry of children) {
             const path = join(directory, entry.name);
             if (entry.isDirectory()) {
                 await walk(path);
             }
             else if (entry.isFile()) {
-                files.push(path);
-                const fileInfo = dependency(path, await lstat(path));
-                if (captureDependencies && fileInfo !== null)
-                    dependencies.push(fileInfo);
+                entries.push({ path });
             }
         }
     };
     await walk(implementationRoot);
     // Keep the v1 digest byte-identical: dependency metadata augments replay
     // validation without invalidating every existing library/executable entry.
+    // Read bounded batches concurrently, then hash in the original sorted DFS
+    // order. Serial reads spend hundreds of milliseconds in filesystem round
+    // trips on every application edit; reading the entire package at once
+    // would retain all its bytes and open an unbounded number of files.
     const hash = createHash("sha256").update("scriptc-frontend-implementation-v1\0");
-    for (const file of files) {
-        hash.update(relative(implementationRoot, file)).update("\0").update(await readFile(file)).update("\0");
+    const batchSize = 16;
+    for (let start = 0; start < entries.length; start += batchSize) {
+        const batch = await Promise.all(entries.slice(start, start + batchSize).map(async (entry) => {
+            if (entry.directory !== undefined)
+                return { ...entry, info: entry.directory, bytes: null };
+            const info = captureDependencies ? dependency(entry.path, await lstat(entry.path)) : null;
+            return { ...entry, info, bytes: await readFile(entry.path) };
+        }));
+        for (const entry of batch) {
+            if (entry.info !== null)
+                dependencies.push(entry.info);
+            if (entry.bytes !== null) {
+                hash.update(relative(implementationRoot, entry.path)).update("\0").update(entry.bytes).update("\0");
+            }
+        }
     }
     return { digest: hash.digest("hex"), dependencies };
 }

package/dist/library/compiler-self-identity.js.map

@@ -1 +1 @@
-{"version":3,"file":"compiler-self-identity.js","sourceRoot":"","sources":["../../src/library/compiler-self-identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAiBzC;;6EAE6E;AAC7E,MAAM,UAAU,0BAA0B;IACxC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,IAAuC;IAEvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,IAAI,KAAK,IAAI;QAClB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI;YACJ,IAAI;YACJ,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACvB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;YAC7B,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;SAC9B,CAAC;AACR,CAAC;AAED;;;6EAG6E;AAC7E,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,mBAAmB,GAAG,IAAI;IAE1B,MAAM,kBAAkB,GAAG,0BAA0B,EAAE,CAAC;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,YAAY,GAAuC,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,KAAK,EAAE,SAAiB,EAAiB,EAAE;QACtD,MAAM,aAAa,GAAG,UAAU,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACpE,IAAI,mBAAmB,IAAI,aAAa,KAAK,IAAI;YAAE,YAAY,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACpF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;gBACrD,IAAI,mBAAmB,IAAI,QAAQ,KAAK,IAAI;oBAAE,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,yEAAyE;IACzE,2EAA2E;IAC3E,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sCAAsC,CAAC,CAAC;IACjF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzG,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,KAAkD,CAAC;IAChE,OAAO,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;QACnD,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;QAC5D,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QACjE,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC;AACrC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAChE,YAAyD;IAEzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,eAAe,CAAC;QAAE,OAAO,KAAK,CAAC;IACvF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;QACpE,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,OAAO,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC"}
+{"version":3,"file":"compiler-self-identity.js","sourceRoot":"","sources":["../../src/library/compiler-self-identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAiBzC;;6EAE6E;AAC7E,MAAM,UAAU,0BAA0B;IACxC,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,IAAuC;IAEvC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9E,OAAO,IAAI,KAAK,IAAI;QAClB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC;YACE,IAAI;YACJ,IAAI;YACJ,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YACvB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;YAC7B,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;SAC9B,CAAC;AACR,CAAC;AAED;;;6EAG6E;AAC7E,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,mBAAmB,GAAG,IAAI,EAC1B,kBAAkB,GAAG,0BAA0B,EAAE;IAEjD,MAAM,OAAO,GAA4E,EAAE,CAAC;IAC5F,MAAM,YAAY,GAAuC,EAAE,CAAC;IAC5D,MAAM,IAAI,GAAG,KAAK,EAAE,SAAiB,EAAiB,EAAE;QACtD,sEAAsE;QACtE,uEAAuE;QACvE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;SACtF,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sCAAsC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,SAAS,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAC1F,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;gBAAE,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;YAC3F,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1F,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,CAAC,CAAC,CAAC,CAAC;QACJ,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;gBAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACtG,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,IAAI,GAAG,KAAkD,CAAC;IAChE,OAAO,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,CAAC;QACnD,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ;QAC5D,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ;QACjE,OAAO,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC;AACrC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAChE,YAAyD;IAEzD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,eAAe,CAAC;QAAE,OAAO,KAAK,CAAC;IACvF,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;QACpE,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAChC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACjD,OAAO,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC"}

package/dist/library/compiler-self-identity.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/library/compiler-self-identity.test.js

@@ -0,0 +1,93 @@
+import { createHash } from "node:crypto";
+import { mkdir, mkdtemp, rename, rm, symlink, utimes, writeFile } from "node:fs/promises";
+import { tmpdir } from "node:os";
+import { join, relative } from "node:path";
+import { afterEach, expect, test } from "vitest";
+import { compilerImplementationDependenciesStillMatch, compilerImplementationIdentity } from "./compiler-self-identity.js";
+const scratch = [];
+afterEach(async () => {
+    await Promise.all(scratch.splice(0).map((path) => rm(path, { recursive: true, force: true })));
+});
+async function fixture() {
+    const root = await mkdtemp(join(process.platform === "win32" ? tmpdir() : "/tmp", "scriptc-self-identity-"));
+    scratch.push(root);
+    return root;
+}
+test("parallel fingerprinting preserves the v1 byte stream and dependency order across batches", async () => {
+    const root = await fixture();
+    await mkdir(join(root, "a"));
+    await mkdir(join(root, "z"));
+    // Sorted depth-first order is deliberately DIFFERENT from sorting the
+    // complete paths (a.ts would precede a/index.ts). More than one batch,
+    // empty files, and differently sized reads exercise ordered hashing.
+    const files = [
+        [join("a", "index.ts"), "export const value = 42;\n"],
+        ["a.ts", ""],
+        ...Array.from({ length: 40 }, (_, i) => [
+            join("z", `file${String(i).padStart(2, "0")}.js`),
+            `// ${i}\n${"\u03bb".repeat(i * 1000)}`,
+        ]),
+    ];
+    await Promise.all([...files].reverse().map(([path, text]) => writeFile(join(root, path), text)));
+    const expected = createHash("sha256").update("scriptc-frontend-implementation-v1\0");
+    for (const [path, text] of files)
+        expected.update(path).update("\0").update(text).update("\0");
+    const first = await compilerImplementationIdentity(true, root);
+    expect(first.digest).toBe(expected.digest("hex"));
+    expect(first.dependencies.map((item) => relative(root, item.path))).toEqual([
+        "", "a", join("a", "index.ts"), "a.ts", "z", ...files.slice(2).map(([path]) => path),
+    ]);
+    expect(await compilerImplementationDependenciesStillMatch(first.dependencies)).toBe(true);
+    const withoutProof = await compilerImplementationIdentity(false, root);
+    expect(withoutProof).toEqual({ digest: first.digest, dependencies: [] });
+});
+test("content edits, including same-size writes, change the fingerprint and invalidate its proof", async () => {
+    const root = await fixture();
+    const source = join(root, "compiler.js");
+    await writeFile(source, "one");
+    const before = await compilerImplementationIdentity(true, root);
+    await writeFile(source, "two");
+    // Avoid depending on a filesystem's timestamp resolution for this test.
+    await utimes(source, new Date(1_000), new Date(1_000));
+    expect(await compilerImplementationDependenciesStillMatch(before.dependencies)).toBe(false);
+    const after = await compilerImplementationIdentity(true, root);
+    expect(after.digest).not.toBe(before.digest);
+    expect(await compilerImplementationDependenciesStillMatch(after.dependencies)).toBe(true);
+});
+test("added, renamed, and removed compiler files invalidate the captured directory proof", async () => {
+    const root = await fixture();
+    const directory = join(root, "nested");
+    await mkdir(directory);
+    await writeFile(join(directory, "first.js"), "unchanged");
+    const original = await compilerImplementationIdentity(true, root);
+    await writeFile(join(directory, "second.js"), "new");
+    await utimes(directory, new Date(1_000), new Date(1_000));
+    expect(await compilerImplementationDependenciesStillMatch(original.dependencies)).toBe(false);
+    const added = await compilerImplementationIdentity(true, root);
+    expect(added.digest).not.toBe(original.digest);
+    await rename(join(directory, "second.js"), join(directory, "renamed.js"));
+    expect(await compilerImplementationDependenciesStillMatch(added.dependencies)).toBe(false);
+    const renamed = await compilerImplementationIdentity(true, root);
+    expect(renamed.digest).not.toBe(added.digest);
+    await rm(join(directory, "renamed.js"));
+    expect(await compilerImplementationDependenciesStillMatch(renamed.dependencies)).toBe(false);
+    expect((await compilerImplementationIdentity(true, root)).digest).toBe(original.digest);
+});
+test.skipIf(process.platform === "win32")("symlinked dependencies remain outside the compiler package fingerprint", async () => {
+    const root = await fixture();
+    const external = await fixture();
+    await writeFile(join(root, "index.js"), "compiler");
+    await writeFile(join(external, "index.js"), "dependency");
+    await symlink(external, join(root, "dependency"));
+    await symlink(root, join(root, "cycle"));
+    const before = await compilerImplementationIdentity(true, root);
+    expect(before.dependencies.map((item) => relative(root, item.path))).toEqual(["", "index.js"]);
+    await writeFile(join(external, "index.js"), "changed dependency");
+    expect((await compilerImplementationIdentity(true, root)).digest).toBe(before.digest);
+    expect(await compilerImplementationDependenciesStillMatch(before.dependencies)).toBe(true);
+});
+test("missing compiler roots fail instead of producing a usable identity", async () => {
+    const root = await fixture();
+    await expect(compilerImplementationIdentity(true, join(root, "missing"))).rejects.toMatchObject({ code: "ENOENT" });
+});
+//# sourceMappingURL=compiler-self-identity.test.js.map

package/dist/library/compiler-self-identity.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler-self-identity.test.js","sourceRoot":"","sources":["../../src/library/compiler-self-identity.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1F,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,EAAE,4CAA4C,EAAE,8BAA8B,EAAE,MAAM,6BAA6B,CAAC;AAE3H,MAAM,OAAO,GAAa,EAAE,CAAC;AAE7B,SAAS,CAAC,KAAK,IAAI,EAAE;IACnB,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACjG,CAAC,CAAC,CAAC;AAEH,KAAK,UAAU,OAAO;IACpB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAC7G,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,IAAI,CAAC,0FAA0F,EAAE,KAAK,IAAI,EAAE;IAC1G,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC;IAC7B,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7B,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7B,sEAAsE;IACtE,uEAAuE;IACvE,qEAAqE;IACrE,MAAM,KAAK,GAAuB;QAChC,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,4BAA4B,CAAC;QACrD,CAAC,MAAM,EAAE,EAAE,CAAC;QACZ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAoB,EAAE,CAAC;YACxD,IAAI,CAAC,GAAG,EAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC;YACjD,MAAM,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE;SACxC,CAAC;KACH,CAAC;IACF,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,sCAAsC,CAAC,CAAC;IACrF,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK;QAAE,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IAClD,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QAC1E,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC;KACrF,CAAC,CAAC;IACH,MAAM,CAAC,MAAM,4CAA4C,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,MAAM,YAAY,GAAG,MAAM,8BAA8B,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvE,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;IAC5G,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACzC,MAAM,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/B,wEAAwE;IACxE,MAAM,MAAM,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,MAAM,CAAC,MAAM,4CAA4C,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,CAAC,MAAM,4CAA4C,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oFAAoF,EAAE,KAAK,IAAI,EAAE;IACpG,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvC,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC;IACvB,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,MAAM,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1D,MAAM,CAAC,MAAM,4CAA4C,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9F,MAAM,KAAK,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC/D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,4CAA4C,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3F,MAAM,OAAO,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,MAAM,4CAA4C,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7F,MAAM,CAAC,CAAC,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC1F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;IAC7H,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,MAAM,OAAO,EAAE,CAAC;IACjC,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;IAC1D,MAAM,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC;IAClD,MAAM,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IAC/F,MAAM,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,oBAAoB,CAAC,CAAC;IAClE,MAAM,CAAC,CAAC,MAAM,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtF,MAAM,CAAC,MAAM,4CAA4C,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC7F,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;IACpF,MAAM,IAAI,GAAG,MAAM,OAAO,EAAE,CAAC;IAC7B,MAAM,MAAM,CAAC,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AACtH,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@scriptc/compiler",
-  "version": "0.1.5",
+  "version": "0.1.7",
   "description": "The scriptc compiler — TypeScript/JavaScript frontend, typed IR, LLVM and C backends",
   "license": "Apache-2.0",
   "homepage": "https://scriptc.dev",
@@ -31,24 +31,24 @@
   "dependencies": {
     "typescript": "7.0.2",
     "typescript5": "npm:typescript@5.9.3",
-    "@scriptc/runtime": "0.1.5"
+    "@scriptc/runtime": "0.1.7"
   },
   "optionalDependencies": {
-    "@scriptc/llvm-darwin-x64": "0.1.5",
-    "@scriptc/llvm-darwin-arm64": "0.1.5",
-    "@scriptc/llvm-linux-x64-gnu": "0.1.5",
-    "@scriptc/llvm-win32-x64-msvc": "0.1.5",
-    "@scriptc/runtime-linux-x64-gnu": "0.1.5",
-    "@scriptc/llvm-linux-arm64-gnu": "0.1.5",
-    "@scriptc/runtime-darwin-x64": "0.1.5",
-    "@scriptc/llvm-linux-x64-musl": "0.1.5",
-    "@scriptc/runtime-win32-x64-msvc": "0.1.5",
-    "@scriptc/runtime-linux-arm64-gnu": "0.1.5",
-    "@scriptc/runtime-wasm32-wasi": "0.1.5",
-    "@scriptc/llvm-linux-arm64-musl": "0.1.5",
-    "@scriptc/runtime-linux-x64-musl": "0.1.5",
-    "@scriptc/runtime-linux-arm64-musl": "0.1.5",
-    "@scriptc/runtime-darwin-arm64": "0.1.5"
+    "@scriptc/llvm-linux-x64-gnu": "0.1.7",
+    "@scriptc/llvm-darwin-x64": "0.1.7",
+    "@scriptc/llvm-darwin-arm64": "0.1.7",
+    "@scriptc/llvm-linux-arm64-musl": "0.1.7",
+    "@scriptc/llvm-linux-x64-musl": "0.1.7",
+    "@scriptc/llvm-win32-x64-msvc": "0.1.7",
+    "@scriptc/llvm-linux-arm64-gnu": "0.1.7",
+    "@scriptc/runtime-linux-x64-gnu": "0.1.7",
+    "@scriptc/runtime-linux-x64-musl": "0.1.7",
+    "@scriptc/runtime-darwin-x64": "0.1.7",
+    "@scriptc/runtime-linux-arm64-musl": "0.1.7",
+    "@scriptc/runtime-win32-x64-msvc": "0.1.7",
+    "@scriptc/runtime-wasm32-wasi": "0.1.7",
+    "@scriptc/runtime-darwin-arm64": "0.1.7",
+    "@scriptc/runtime-linux-arm64-gnu": "0.1.7"
   },
   "scripts": {
     "build": "node node_modules/typescript/bin/tsc -p tsconfig.json"

package/surface-manifest.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": 1,
-  "compilerVersion": "0.1.5",
+  "compilerVersion": "0.1.7",
   "coverage": [
     "Entries are projected mechanically from the compiler's own decision tables: the diagnostics registry, the unsupported-syntax dispatch tables, the stdlib and node-builtin lowering tables, and the supported-builtin-module list. Nothing is hand-maintained; the manifest regenerates byte-identically from the source tree at this version.",
     "Absence from this manifest means 'not projected', never 'unsupported'. Surfaces lowered through dedicated code paths rather than tables are not yet projected: console, JSON, Promise/async and the timer surface, the net/http/tls/https/dgram/dns/assert/test/stream/readline module member surfaces, template literals, the regex slice, global functions (parseInt, parseFloat, isNaN, isFinite), and the process surface outside its ambient slice.",
@@ -1621,6 +1621,13 @@
       "status": "static",
       "note": "getrusage's 16 fields — every field read samples live machine state"
     },
+    {
+      "id": "node-builtin.process.rows",
+      "kind": "node-builtin",
+      "name": "process.rows",
+      "status": "static",
+      "note": "the rows read on process.stdout/stderr (terminal geometry)"
+    },
     {
       "id": "node-builtin.process.threadCpuUsage",
       "kind": "node-builtin",
@@ -2116,12 +2123,24 @@
       "name": "Array.prototype.concat",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.copyWithin",
+      "kind": "stdlib",
+      "name": "Array.prototype.copyWithin",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.every",
       "kind": "stdlib",
       "name": "Array.prototype.every",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.fill",
+      "kind": "stdlib",
+      "name": "Array.prototype.fill",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.filter",
       "kind": "stdlib",
@@ -2152,6 +2171,12 @@
       "name": "Array.prototype.findLastIndex",
       "status": "static"
     },
+    {
+      "id": "stdlib.array.flat",
+      "kind": "stdlib",
+      "name": "Array.prototype.flat",
+      "status": "static"
+    },
     {
       "id": "stdlib.array.flatMap",
       "kind": "stdlib",
@@ -2678,6 +2703,34 @@
       "status": "static",
       "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
     },
+    {
+      "id": "stdlib.math.LN10",
+      "kind": "stdlib",
+      "name": "Math.LN10",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
+    {
+      "id": "stdlib.math.LN2",
+      "kind": "stdlib",
+      "name": "Math.LN2",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
+    {
+      "id": "stdlib.math.LOG10E",
+      "kind": "stdlib",
+      "name": "Math.LOG10E",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
+    {
+      "id": "stdlib.math.LOG2E",
+      "kind": "stdlib",
+      "name": "Math.LOG2E",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
     {
       "id": "stdlib.math.PI",
       "kind": "stdlib",
@@ -2685,6 +2738,20 @@
       "status": "static",
       "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
     },
+    {
+      "id": "stdlib.math.SQRT1_2",
+      "kind": "stdlib",
+      "name": "Math.SQRT1_2",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
+    {
+      "id": "stdlib.math.SQRT2",
+      "kind": "stdlib",
+      "name": "Math.SQRT2",
+      "status": "static",
+      "note": "the constant read compiles to a numeric literal; no runtime Math read is performed"
+    },
     {
       "id": "stdlib.math.abs",
       "kind": "stdlib",
@@ -2699,6 +2766,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.acosh",
+      "kind": "stdlib",
+      "name": "Math.acosh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.asin",
       "kind": "stdlib",
@@ -2706,6 +2780,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.asinh",
+      "kind": "stdlib",
+      "name": "Math.asinh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.atan",
       "kind": "stdlib",
@@ -2720,6 +2801,13 @@
       "status": "static",
       "note": "compiles statically at arity 2; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.atanh",
+      "kind": "stdlib",
+      "name": "Math.atanh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.cbrt",
       "kind": "stdlib",
@@ -2734,6 +2822,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.clz32",
+      "kind": "stdlib",
+      "name": "Math.clz32",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.cos",
       "kind": "stdlib",
@@ -2741,6 +2836,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.cosh",
+      "kind": "stdlib",
+      "name": "Math.cosh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.exp",
       "kind": "stdlib",
@@ -2748,6 +2850,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.expm1",
+      "kind": "stdlib",
+      "name": "Math.expm1",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.floor",
       "kind": "stdlib",
@@ -2755,6 +2864,13 @@
       "status": "static",
       "note": "compiles statically at arity 1"
     },
+    {
+      "id": "stdlib.math.fround",
+      "kind": "stdlib",
+      "name": "Math.fround",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.hypot",
       "kind": "stdlib",
@@ -2762,6 +2878,13 @@
       "status": "static",
       "note": "compiles statically at any arity, including number[] spreads"
     },
+    {
+      "id": "stdlib.math.imul",
+      "kind": "stdlib",
+      "name": "Math.imul",
+      "status": "static",
+      "note": "compiles statically at arity 2; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.log",
       "kind": "stdlib",
@@ -2776,6 +2899,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.log1p",
+      "kind": "stdlib",
+      "name": "Math.log1p",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.log2",
       "kind": "stdlib",
@@ -2832,6 +2962,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.sinh",
+      "kind": "stdlib",
+      "name": "Math.sinh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.sqrt",
       "kind": "stdlib",
@@ -2846,6 +2983,13 @@
       "status": "static",
       "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
     },
+    {
+      "id": "stdlib.math.tanh",
+      "kind": "stdlib",
+      "name": "Math.tanh",
+      "status": "static",
+      "note": "compiles statically at arity 1; other declared call shapes run only in the embedded dynamic engine (SC2012 without --dynamic)"
+    },
     {
       "id": "stdlib.math.trunc",
       "kind": "stdlib",
@@ -3489,8 +3633,8 @@
       "id": "stdlib.string.at",
       "kind": "stdlib",
       "name": "string.prototype.at",
-      "status": "dynamic-only",
-      "code": "SC2012"
+      "status": "static",
+      "note": "the lowered call form takes 0 to 1 arguments"
     },
     {
       "id": "stdlib.string.charAt",
@@ -3506,6 +3650,13 @@
       "status": "static",
       "note": "the lowered call form takes 0 to 1 arguments"
     },
+    {
+      "id": "stdlib.string.codePointAt",
+      "kind": "stdlib",
+      "name": "string.prototype.codePointAt",
+      "status": "static",
+      "note": "the lowered call form takes 0 to 1 arguments"
+    },
     {
       "id": "stdlib.string.endsWith",
       "kind": "stdlib",
@@ -3581,7 +3732,7 @@
       "kind": "stdlib",
       "name": "string.prototype.split",
       "status": "static",
-      "note": "the lowered call form takes 1 to 2 arguments"
+      "note": "the lowered call form takes 0 to 2 arguments"
     },
     {
       "id": "stdlib.string.startsWith",