xbintsc 0.3.81 → 0.3.87

package/dist/tests/e2e/string-concat.test.js

@@ -0,0 +1,102 @@
+/**
+ * End-to-end tests for the lazy (rope/cons) string model.
+ *
+ * Concatenation above the eager-copy threshold produces an immutable cons node
+ * whose bytes are materialised on first observation. These tests exercise every
+ * kind of observation (length, slicing, searching, case changes, JSON, property
+ * keys) and keep chains reachable across a garbage collection.
+ */
+import { expect, it } from "vitest";
+import { describeE2E } from "./harness.js";
+describeE2E("lazy string concatenation", (harness) => {
+    const { runProgram, runProgramFull } = harness;
+    it("matches Node for append and prepend chains", () => {
+        const source = `
+function build(n: number): string {
+  let text = "";
+  for (let i = 0; i < n; i++) text = text + "abcdefghijklmnopqrstuvwxyz".charAt(i % 26);
+  return text;
+}
+const text = build(2000);
+console.log(text.length);
+console.log(text.slice(0, 26));
+console.log(text.slice(-26));
+console.log(text.indexOf("xyz"));
+console.log(text.lastIndexOf("abc"));
+console.log(text.includes("mnop"));
+console.log(text.split("def").length);
+console.log(text.toUpperCase().slice(0, 26));
+console.log(text.replace("abc", "ABC").slice(0, 26));
+console.log(text.replaceAll("a", "!").slice(0, 26));
+console.log(text === build(2000));
+console.log(text.startsWith("abc"), text.endsWith("xyz"));
+console.log(JSON.stringify(text.slice(0, 10)));
+console.log(text.charCodeAt(5), text.at(-1));
+
+let prepended = "";
+for (let i = 0; i < 2000; i++) prepended = "x" + prepended;
+console.log(prepended.length, prepended.slice(0, 3), prepended.slice(-3));
+
+let mixed = "";
+for (let i = 0; i < 200; i++) mixed += i;
+console.log(mixed.length, mixed.slice(0, 12));
+
+let templated = "";
+for (let i = 0; i < 2000; i++) templated = \`\${templated}\${i % 10}\`;
+console.log(templated.length, templated.slice(0, 12));
+
+let key = "";
+for (let i = 0; i < 40; i++) key += "k";
+const holder: any = {};
+holder[key] = "v";
+console.log(holder[key], Object.keys(holder)[0].length);
+console.log([text, prepended].join("|").length);
+`;
+        harness.expectSameOutputAsNode(source, { name: "string_concat_chains" });
+    });
+    it("keeps cons nodes reachable across collections", () => {
+        const source = `
+let text = "";
+for (let i = 0; i < 2000; i++) text += "z";
+const holder: any = { text: text };
+const list: any[] = [text];
+text = "";
+
+/* Allocate and drop many objects to force collections while the rope is
+   reachable only through the object property and the array element. */
+let junk: any = {};
+for (let i = 0; i < 40000; i++) junk = { value: i };
+junk = {};
+const trigger = "x" + "y";
+
+/* Reuse the freed memory before the rope is ever flattened. */
+const reuse: any[] = [];
+for (let i = 0; i < 5000; i++) reuse.push("a" + "b");
+
+console.log(holder.text.length, holder.text === "z".repeat(2000));
+console.log(list[0].length, list[0] === holder.text, reuse.length, trigger);
+console.log(holder.text.slice(0, 2), holder.text.slice(-2), holder.text.toUpperCase().slice(0, 3));
+`;
+        const result = runProgramFull(source, {
+            name: "string_concat_gc",
+            env: { XT_GC_THRESHOLD: "1048576" },
+            timeout: 60000,
+        });
+        expect(result.status).toBe(0);
+        expect(result.stdout.trim()).toBe("2000 true\n2000 true 5000 xy\nzz zz ZZZ");
+    });
+    it("flattens reused chains without mutating earlier results", () => {
+        const source = `
+let prefix = "start-";
+for (let i = 0; i < 200; i++) prefix += "p";
+const first = prefix + "-first";
+const second = prefix + "-second";
+const prefixCopy = prefix.slice(0);
+console.log(first.slice(-6), second.slice(-7));
+console.log(prefix.length, first.length, second.length);
+console.log(prefix === prefixCopy, prefix === first.slice(0, prefix.length));
+`;
+        expect(runProgram(source)).toBe("-first -second\n206 212 213\ntrue true");
+    });
+});
+//# sourceMappingURL=string-concat.test.js.map

package/dist/tests/e2e/string-concat.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string-concat.test.js","sourceRoot":"","sources":["../../../tests/e2e/string-concat.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,WAAW,CAAC,2BAA2B,EAAE,CAAC,OAAO,EAAE,EAAE;IACnD,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC;IAE/C,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwClB,CAAC;QACE,OAAO,CAAC,sBAAsB,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;CAqBlB,CAAC;QACE,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,EAAE;YACpC,IAAI,EAAE,kBAAkB;YACxB,GAAG,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE;YACnC,OAAO,EAAE,KAAK;SACf,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG;;;;;;;;;CASlB,CAAC;QACE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/helpers.d.ts

@@ -18,9 +18,18 @@ export declare function bindSource(text: string): {
 export declare function compileToIr(text: string, extensions?: ExtensionRegistry, target?: {
     platform: string;
     arch: string;
+}, options?: {
+    readonly debug?: boolean;
 }): {
     ir: string;
     binding: BindResult;
     diagnostics: readonly Diagnostic[];
 };
+/**
+ * True when a *supported* clang is available. The end-to-end suites really
+ * compile and link native binaries, and the emitted IR needs clang >= 16, so a
+ * missing or too-old toolchain skips them instead of failing every case with an
+ * opaque-pointer error. `resolveToolchain` applies the same selection (and
+ * version gate) the driver uses, so the tests and the compiler agree.
+ */
 export declare function hasClang(): boolean;

package/dist/tests/helpers.js

@@ -7,7 +7,8 @@ import { Parser } from "../src/parser/parser.js";
 import { bind } from "../src/binder/binder.js";
 import { generate } from "../src/codegen/llvm.js";
 import { createDefaultRegistry } from "../src/extensions/registry.js";
-import { realRunner } from "../src/driver/toolchain.js";
+import { MINIMUM_CLANG_MAJOR } from "../src/driver/toolchain.js";
+import { resolveToolchain } from "../src/driver/toolchain-provider.js";
 export function lex(text) {
     const source = new SourceFile("test.ts", sourceTextBytes(text));
     const diagnostics = new DiagnosticBag();
@@ -28,7 +29,7 @@ export function bindSource(text) {
     const result = bind(file);
     return { result, diagnostics: bag.diagnostics };
 }
-export function compileToIr(text, extensions, target) {
+export function compileToIr(text, extensions, target, options = {}) {
     const { file, diagnostics: parseDiagnostics } = parse(text);
     const diagnostics = new DiagnosticBag();
     diagnostics.addAll(parseDiagnostics);
@@ -37,10 +38,32 @@ export function compileToIr(text, extensions, target) {
         builtins: registry.builtins(),
         modules: registry.modules(),
         ...(target ? { target } : {}),
+        debug: options.debug === true,
     });
     return { ir, binding, diagnostics: diagnostics.diagnostics };
 }
+let cachedClangSupport;
+/**
+ * True when a *supported* clang is available. The end-to-end suites really
+ * compile and link native binaries, and the emitted IR needs clang >= 16, so a
+ * missing or too-old toolchain skips them instead of failing every case with an
+ * opaque-pointer error. `resolveToolchain` applies the same selection (and
+ * version gate) the driver uses, so the tests and the compiler agree.
+ */
 export function hasClang() {
-    return realRunner.run(process.env.xbintsc_CLANG ?? "clang", ["--version"]).status === 0;
+    if (cachedClangSupport === undefined) {
+        try {
+            const version = resolveToolchain().version;
+            cachedClangSupport = version === undefined || version.major >= MINIMUM_CLANG_MAJOR;
+        }
+        catch {
+            cachedClangSupport = false;
+        }
+        if (!cachedClangSupport) {
+            console.warn(`xbintsc: skipping end-to-end tests — clang ${MINIMUM_CLANG_MAJOR}+ was not found ` +
+                "(see doc/requirements.md, or set xbintsc_CLANG)");
+        }
+    }
+    return cachedClangSupport;
 }
 //# sourceMappingURL=helpers.js.map

package/dist/tests/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../tests/helpers.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,aAAa,EAAmB,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAmB,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAA0B,MAAM,+BAA+B,CAAC;AAC9F,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAGxD,MAAM,UAAU,GAAG,CAAC,IAAY;IAC9B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACjD,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAY;IAChC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,UAA8B,EAC9B,MAA2C;IAE3C,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,WAAW,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,UAAU,IAAI,qBAAqB,EAAE,CAAC;IACvD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE;QAClD,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC7B,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;QAC3B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9B,CAAC,CAAC;IACH,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,QAAQ;IACtB,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAC1F,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../tests/helpers.ts"],"names":[],"mappings":"AAAA,qDAAqD;AAErD,OAAO,EAAE,aAAa,EAAmB,MAAM,kCAAkC,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,OAAO,EAAE,MAAM,yBAAyB,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,IAAI,EAAmB,MAAM,yBAAyB,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAA0B,MAAM,+BAA+B,CAAC;AAC9F,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAGvE,MAAM,UAAU,GAAG,CAAC,IAAY;IAC9B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACjD,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,IAAY;IAChC,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;IACtC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,aAAa,EAAE,CAAC;IAChC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,EAAE,CAAC;AAClD,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAY,EACZ,UAA8B,EAC9B,MAA2C,EAC3C,UAAwC,EAAE;IAE1C,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,aAAa,EAAE,CAAC;IACxC,WAAW,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,UAAU,IAAI,qBAAqB,EAAE,CAAC;IACvD,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE;QAClD,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC7B,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;QAC3B,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,KAAK,EAAE,OAAO,CAAC,KAAK,KAAK,IAAI;KAC9B,CAAC,CAAC;IACH,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,CAAC;AAC/D,CAAC;AAED,IAAI,kBAAuC,CAAC;AAE5C;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ;IACtB,IAAI,kBAAkB,KAAK,SAAS,EAAE,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,gBAAgB,EAAE,CAAC,OAAO,CAAC;YAC3C,kBAAkB,GAAG,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,IAAI,mBAAmB,CAAC;QACrF,CAAC;QAAC,MAAM,CAAC;YACP,kBAAkB,GAAG,KAAK,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CACV,8CAA8C,mBAAmB,kBAAkB;gBACjF,iDAAiD,CACpD,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,kBAAkB,CAAC;AAC5B,CAAC"}

package/dist/tests/parser/expressions.test.js

@@ -44,4 +44,11 @@ describe("assignment validation", () => {
         expect(diagnostics.some((d) => d.code === DiagnosticCode.InvalidAssignmentTarget)).toBe(true);
     });
 });
+describe("unsupported syntax", () => {
+    it("reports new.target as an unsupported feature, not a syntax error", () => {
+        const { diagnostics } = parse("function F() { return new.target; }");
+        expect(diagnostics.map((d) => d.code)).toContain(DiagnosticCode.UnsupportedFeature);
+        expect(diagnostics.map((d) => d.code)).not.toContain(DiagnosticCode.UnexpectedToken);
+    });
+});
 //# sourceMappingURL=expressions.test.js.map

package/dist/tests/parser/expressions.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"expressions.test.js","sourceRoot":"","sources":["../../../tests/parser/expressions.test.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;IACvC,OAAO,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;AAC1D,CAAC;AAED,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,WAAW,CAAC,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,WAAW,CAAC,+BAA+B,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"expressions.test.js","sourceRoot":"","sources":["../../../tests/parser/expressions.test.ts"],"names":[],"mappings":"AAAA,uDAAuD;AACvD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAErE,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;IACvC,OAAO,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;AAC1D,CAAC;AAED,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,IAAI,GAAG,WAAW,CAAC,uBAAuB,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,WAAW,CAAC,yBAAyB,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,2BAA2B,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,WAAW,CAAC,+BAA+B,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACrE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;QACpF,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/version.test.d.ts

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

package/dist/tests/version.test.js

@@ -0,0 +1,24 @@
+import { readFileSync } from "node:fs";
+import { describe, expect, it } from "vitest";
+import { COMPILER_VERSION } from "../src/driver/compiler.js";
+const packageJson = JSON.parse(readFileSync(new URL("../package.json", import.meta.url), "utf8"));
+describe("compiler version", () => {
+    it("matches package.json", () => {
+        expect(COMPILER_VERSION).toBe(packageJson.version);
+    });
+    it("is part of the incremental cache key", () => {
+        const source = readFileSync(new URL("../src/driver/compiler.ts", import.meta.url), "utf8");
+        expect(source).toMatch(/hashParts\(\[\s*COMPILER_VERSION,/);
+    });
+    it("is printed by `xbintsc version`", async () => {
+        const { run } = await import("../src/cli/main.js");
+        const lines = [];
+        const code = run(["version"], {
+            stdout: (text) => lines.push(text),
+            stderr: (text) => lines.push(text),
+        });
+        expect(code).toBe(0);
+        expect(lines.join("")).toContain(COMPILER_VERSION);
+    });
+});
+//# sourceMappingURL=version.test.js.map

package/dist/tests/version.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.test.js","sourceRoot":"","sources":["../../tests/version.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAC5B,YAAY,CAAC,IAAI,GAAG,CAAC,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAC3C,CAAC;AAEzB,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,GAAG,CAAC,2BAA2B,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC3F,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,MAAM,CAAC,oBAAoB,CAAC,CAAC;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE;YAC5B,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAClC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/doc/DESIGN.md

@@ -41,16 +41,21 @@ xt_value fn(xt_value env, int32_t argc, xt_value *argv);
 
 `env` threads captured variables by reference through boxes, so direct calls and
 closure calls share a single code path. JavaScript semantics that are awkward to
-inline (`+` coercion, relational comparison, property access, inspection) are
-delegated to `@xt_*` runtime calls.
+inline (`+` coercion, property access, inspection) are delegated to `@xt_*`
+runtime calls. Numeric arithmetic and comparison are the exception: codegen emits
+the double fast path inline (`numeric.ts`) and calls the runtime for the coercing
+cases.
 
 ### Runtime
 
-`runtime/xt_runtime.c` implements strings, objects, arrays, closures, arithmetic,
-comparison, exceptions and Node-like `console.log` inspection. It uses a
-non-moving mark-sweep collector behind `xt_alloc` (explicit roots, subsystem
-root providers and a conservative C-stack scan), so the collector's internals
-stay isolated from the compiler.
+`runtime/` implements strings, objects, arrays, closures, arithmetic, comparison,
+exceptions and Node-like `console.log` inspection. It is split by concern into
+translation units (`xt_values.c`, `xt_containers.c`, `xt_stdlib.c`,
+`xt_builtins.c`, `xt_io.c`, `xt_alloc.c`, …), each `#include`-ing its
+implementation fragments (`.inc`) so files stay small without changing the link
+surface. It uses a non-moving mark-sweep collector behind `xt_alloc` (explicit
+roots, subsystem root providers and a conservative C-stack scan), so the
+collector's internals stay isolated from the compiler.
 
 ### Replacing llc
 
@@ -103,15 +108,18 @@ found on `PATH` (the MSVC ABI when LLVM + the Visual Studio C++ build tools are
 installed), and each manifest declares any platform-specific linker flags. See
 `examples/extensions/` and `runtime/xt_ext.h` / `runtime/xt_ext.rs`.
 
-## Self-hosting roadmap
+## Self-hosting
 
-The compiler itself is written in TypeScript and emits IR text, and `runtime` is
-already decoupled from the compiler. Later, the runtime can be rewritten in TS
-and the compiler can compile itself, gradually reaching self-hosting.
+The compiler compiles itself: `xbintsc build src/cli/main.ts --ext node` produces
+a working `xbintsc` binary, and the emitted IR is a fixpoint from the first
+generation onward. CI builds those binaries for every supported platform and
+checks the fixpoint. The runtime stays in C; rewriting it in TypeScript is an
+option for later, not a prerequisite for self-hosting.
 
 ## Tests
 
 Organised by module: `tests/lexer`, `tests/parser`, `tests/binder`,
 `tests/codegen`, `tests/driver`, `tests/extensions`, `tests/cli`, `tests/e2e`.
-When `clang` is present, e2e tests really compile and run binaries; otherwise
+When a supported clang (16+, the same version gate `build` applies) is present,
+e2e tests really compile and run binaries; otherwise
 they are skipped automatically.

package/doc/ai/cli.md

@@ -36,6 +36,8 @@ unknown command prints an error plus the help text and exits 1.
     --app-id <id>     macOS bundle identifier (e.g. com.example.demo)
     --force           Ignore the incremental cache
     --verbose         Print progress information
+    --time            Print per-phase build timings
+    --debug           Emit debug info (DWARF/CodeView) and keep frame pointers
 ```
 
 Parsing details that occasionally surprise:

package/doc/ai/contributing.md

@@ -38,6 +38,7 @@ it. Release tags are created by `release.yml`, never by the hook.
 | `npm run test:watch` | vitest in watch mode |
 | `npm run coverage` | V8 coverage of the TypeScript compiler (`src/`) |
 | `npm run coverage:runtime` | LLVM coverage of the C runtime (`runtime/`) |
+| `npm run bench` | build and time the fixed benchmark suite (optionally vs Node) |
 
 Unit tests live one directory per module under `tests/` (`lexer`, `parser`,
 `binder`, `codegen`, `driver`, `extensions`, `cli`, `e2e`) and mirror the source
@@ -103,7 +104,12 @@ diff scratch/ref.ll scratch/gen2.ll
   in [../../src/codegen/values.ts](../../src/codegen/values.ts) and
   [../../runtime/rt.h](../../runtime/rt.h); change both together or not at all.
 - Awkward JS semantics (`+` coercion, relational comparison, property access,
-  inspection) are delegated to `@xt_*` runtime calls rather than inlined.
+  inspection) are delegated to `@xt_*` runtime calls. Numeric arithmetic and
+  comparison are the exception: codegen inlines the two-double fast path
+  (`src/codegen/generator/numeric.ts`) and calls the runtime for everything else.
+- String literals are interned: each distinct literal is materialised once in
+  `main`, stored in a GC-rooted global, and loaded at each use. Property names
+  therefore never allocate per access.
 - The GC is a non-moving mark-sweep collector: new heap objects go through
   `xt_alloc`, and a value must be reachable from an explicit root slot, a
   registered root provider (the event loop, the microtask queue) or the

package/doc/ai/language-support.md

@@ -45,8 +45,8 @@ Canonical detail (always current, much longer):
 | Destructuring (bindings, parameters, nested) | ✅ | defaults + rest supported |
 | `delete`, `in`, `instanceof`, `typeof` | ✅ | |
 | Comma operator, `void` | ✅ | |
-| `new.target` | 🚫 | not implemented |
-| `import.meta` | 🚫 | parsed but has no value |
+| `new.target` | 🚫 | parsed, then rejected with a clear `UnsupportedFeature` |
+| `import.meta` | ✅ | `url`, `dirname`, `filename` (resolved from the executable path) |
 | `super` | ⚠️ | single-level inheritance correct; depth > 1 may be inaccurate |
 
 ## Functions, classes, objects
@@ -103,7 +103,7 @@ URI functions.
 | Missing or different | Status |
 | --- | --- |
 | `String.prototype.normalize`, `structuredClone` | 🚫 |
-| `Error.stack` capture | 🚫 (not captured) |
+| `Error.stack` capture | ⚠️ function-level frames (name/file/line), no columns; generator bodies are omitted |
 | `Object.getPrototypeOf({})` | ⚠️ returns `undefined`, not `Object.prototype` |
 | Global RegExp `lastIndex` | ⚠️ `test`/`exec` ignore it for `/g` and `/y` |
 | Sparse array holes, array out-of-bounds | ⚠️ holes are not tracked distinctly; out-of-bounds reads give `undefined` |
@@ -122,7 +122,7 @@ See section 3 of [../unimplemented.md](../unimplemented.md) for the full list.
 | `require()` / CommonJS | 🚫 | rejected with a hint to use `import` |
 | Circular dependencies | 🚫 | |
 | Live bindings | ⚠️ | imports and namespace members are snapshots |
-| `import.meta`, `__dirname`, `__filename` | 🚫 | |
+| `__dirname`, `__filename` | 🚫 | use `import.meta.dirname` / `import.meta.filename` |
 
 ## Strings, numbers, memory
 

package/doc/ai/troubleshooting.md

@@ -22,8 +22,12 @@ D:\...\build\app.ll:382:37: error: '@.str.0' defined with type '[6 x i8]*' but e
 
 The compiler emits LLVM IR that relies on opaque pointers; typed pointers were
 removed in LLVM 16 ([LLVM release notes](https://github.com/llvm/llvm-project/blob/release/15.x/llvm/docs/ReleaseNotes.rst#changes-to-the-llvm-ir)).
-Confirm with `clang --version`; if the machine has an old system clang, install a
-newer LLVM and point xbintsc at it:
+`xbintsc build`/`run` check the version up front and stop with "reports clang
+15.0.2, but xbintsc requires clang 16 or newer", and `xbintsc doctor` prints
+`status : ok` or `status : too old` (exiting non-zero in the latter case). The
+search prefers a supported clang — including the LLVM bundled with Visual Studio
+on Windows — so an old `/usr/bin/clang` is skipped when a newer one is installed.
+To choose one explicitly:
 
 ```bash
 export xbintsc_CLANG=/usr/lib/llvm-18/bin/clang     # PowerShell: $env:xbintsc_CLANG = "C:\Program Files\LLVM\bin\clang.exe"
@@ -118,6 +122,39 @@ described in [../gui.md](../gui.md).
 Windows, embedding a PE icon needs `llvm-rc` or `windres`; `doctor` reports which
 one was found, and a missing one is only fatal when an icon was requested.
 
+## Reading a stack trace
+
+`Error.stack` is captured by codegen, not from the C runtime's native frames:
+every non-generator function pushes `{name, file, line}` on entry and pops it
+before returning. Frames look like
+
+```
+Error: boom
+    at inner (app.ts:12)
+    at module (app.ts:3)
+```
+
+Lines are function declaration lines, except that the innermost frame is moved
+to the `new Error(...)` line; there are no column numbers. Generator bodies are
+not tracked because they switch stacks. A fatal native signal prints
+`xbintsc: fatal signal …` followed by the same frames, so a crash without a
+debugger still shows which JavaScript functions were running.
+
+## Debugging with gdb / lldb / WinDbg
+
+`xbintsc build app.ts --debug` emits LLVM debug metadata and passes `-g
+-fno-omit-frame-pointer` to clang, so the object carries DWARF (Linux/macOS) or
+CodeView (Windows) line tables. Function symbols keep their source names
+(`xt_fn_3_add`) and every statement has a line location:
+
+```bash
+xbintsc build app.ts --debug
+gdb ./build/app          # or: lldb ./build/app, or open the .exe in WinDbg
+```
+
+The binary is larger and is cached separately from a normal build (the debug
+flag is part of the cache key). `Error.stack` works without `--debug`.
+
 ## Build behaviour that looks wrong but is not
 
 ### The build printed `(cached)` and did nothing

package/doc/ai/zh-CN/cli.md

@@ -33,6 +33,8 @@
     --app-id <id>     macOS bundle 标识（如 com.example.demo）
     --force           忽略增量缓存
     --verbose         打印进度信息
+    --time            打印各构建阶段耗时
+    --debug           生成调试信息（DWARF/CodeView）并保留帧指针
 ```
 
 少数容易踩的解析细节：

package/doc/ai/zh-CN/contributing.md

@@ -35,6 +35,7 @@ git config core.hooksPath .githooks
 | `npm run test:watch` | vitest 监听模式 |
 | `npm run coverage` | TypeScript 编译器（`src/`）的 V8 覆盖率 |
 | `npm run coverage:runtime` | C 运行时（`runtime/`）的 LLVM 覆盖率 |
+| `npm run bench` | 构建并计时固定基准套件（可与 Node 对比） |
 
 单元测试在 `tests/` 下按模块一个目录（`lexer`、`parser`、`binder`、`codegen`、
 `driver`、`extensions`、`cli`、`e2e`），与源码树镜像对应。边界用例放在它覆盖的模块
@@ -90,8 +91,11 @@ diff scratch/ref.ll scratch/gen2.ll
 - 每个值都是一个 64 位字：double 不装箱，其余都是带标签指针（16 位标签 + 48 位载荷）。
   该表示只定义一次：[../../../src/codegen/values.ts](../../../src/codegen/values.ts) 与
   [../../../runtime/rt.h](../../../runtime/rt.h)；要改就一起改，否则别动。
-- 别扭的 JS 语义（`+` 强转、关系比较、属性访问、打印）委托给 `@xt_*` 运行时调用，而
-  不是内联。
+- 别扭的 JS 语义（`+` 强转、关系比较、属性访问、打印）委托给 `@xt_*` 运行时调用。
+  数值算术与比较是例外：codegen 内联双 double 快路径
+  （`src/codegen/generator/numeric.ts`），其余情况调用运行时。
+- 字符串字面量会被驻留：每个不同字面量只在 `main` 中创建一次，存入 GC 根全局，
+  每次使用只做一次 load；属性名因此不再逐次分配。
 - GC 是非移动标记清扫：新堆对象走 `xt_alloc`；值存活期间必须能从显式根槽、已注册的
   根提供者（事件循环、微任务队列）或 C 栈保守扫描到达。只存在于未被扫描的 C 局部
   变量里的值就是 bug。

package/doc/ai/zh-CN/language-support.md

@@ -42,8 +42,8 @@ xbintsc 编译 TypeScript 的一个**实用子集**。本页用来判断你能
 | 解构（绑定、参数、嵌套） | ✅ | 支持默认值与剩余 |
 | `delete`、`in`、`instanceof`、`typeof` | ✅ | |
 | 逗号运算符、`void` | ✅ | |
-| `new.target` | 🚫 | 未实现 |
-| `import.meta` | 🚫 | 能解析，但没有值 |
+| `new.target` | 🚫 | 能解析，但会给出明确的 `UnsupportedFeature` |
+| `import.meta` | ✅ | `url`、`dirname`、`filename`（由可执行文件路径解析） |
 | `super` | ⚠️ | 单层继承正确；继承深度 > 1 可能不准 |
 
 ## 函数、类与对象
@@ -98,7 +98,7 @@ xbintsc 编译 TypeScript 的一个**实用子集**。本页用来判断你能
 | 缺失或行为不同 | 状态 |
 | --- | --- |
 | `String.prototype.normalize`、`structuredClone` | 🚫 |
-| `Error.stack` 采集 | 🚫（不采集） |
+| `Error.stack` 采集 | ⚠️ 函数级帧（名称/文件/行号），没有列号；生成器函数体不产生帧 |
 | `Object.getPrototypeOf({})` | ⚠️ 返回 `undefined`，而非 `Object.prototype` |
 | 全局 RegExp `lastIndex` | ⚠️ `/g`、`/y` 下 `test`/`exec` 忽略它 |
 | 稀疏数组空洞、数组越界 | ⚠️ 不区分空洞；越界读得 `undefined` |
@@ -117,7 +117,7 @@ xbintsc 编译 TypeScript 的一个**实用子集**。本页用来判断你能
 | `require()` / CommonJS | 🚫 | 被拒绝，并提示改用 `import` |
 | 循环依赖 | 🚫 | |
 | 实时绑定 | ⚠️ | 导入与命名空间成员都是快照 |
-| `import.meta`、`__dirname`、`__filename` | 🚫 | |
+| `__dirname`、`__filename` | 🚫 | 请使用 `import.meta.dirname` / `import.meta.filename` |
 
 ## 字符串、数字与内存
 

package/doc/ai/zh-CN/troubleshooting.md

@@ -21,8 +21,11 @@ D:\...\build\app.ll:382:37: error: '@.str.0' defined with type '[6 x i8]*' but e
 
 编译器生成的 LLVM IR 依赖不透明指针（opaque pointers），而有类型指针在 LLVM 16
 中被移除（[LLVM 发布说明](https://github.com/llvm/llvm-project/blob/release/15.x/llvm/docs/ReleaseNotes.rst#changes-to-the-llvm-ir)）。
-用 `clang --version` 确认；如果机器上的系统 clang 太旧，装一个新版 LLVM 并让 xbintsc
-用它：
+`xbintsc build`/`run` 现在会先检查版本，直接停止并提示 "reports clang 15.0.2,
+but xbintsc requires clang 16 or newer"；`xbintsc doctor` 会打印
+`status : ok` 或 `status : too old`（后者以非零码退出）。搜索工具链时会优先选择受支持
+的 clang——包括 Windows 上 Visual Studio 自带的 LLVM——所以装了新版时旧的
+`/usr/bin/clang` 会被跳过。也可以显式指定：
 
 ```powershell
 $env:xbintsc_CLANG = "C:\Program Files\LLVM\bin\clang.exe"
@@ -110,6 +113,36 @@ clang 自身失败。抛出的消息包含完整的 clang 命令与 stderr——
 `llvm-rc` 或 `windres`；`doctor` 会报告找到了哪个，只有在确实请求了图标时缺失才是
 致命错误。
 
+## 怎么看堆栈
+
+`Error.stack` 由 codegen 采集，而不是依赖 C 运行时的原生帧：每个非生成器函数
+在入口压入 `{名称, 文件, 行号}`，返回前弹出。帧形如
+
+```
+Error: boom
+    at inner (app.ts:12)
+    at module (app.ts:3)
+```
+
+行号取函数声明行；最内层帧会更新为 `new Error(...)` 所在行。没有列号；生成器
+函数体因为会切换栈而不记录。原生致命信号会先打印 `xbintsc: fatal signal …`，
+再打印同一组帧，所以即使没有调试器也能看出崩溃时正在运行哪些 JS 函数。
+
+## 用 gdb / lldb / WinDbg 调试
+
+`xbintsc build app.ts --debug` 会生成 LLVM 调试元数据，并把 `-g
+-fno-omit-frame-pointer` 传给 clang，因此目标文件带有 DWARF（Linux/macOS）或
+CodeView（Windows）行号表。函数符号保留源码名（如 `xt_fn_3_add`），每条语句都有
+对应的行位置：
+
+```bash
+xbintsc build app.ts --debug
+gdb ./build/app          # 或 lldb ./build/app，Windows 用 WinDbg 打开 .exe
+```
+
+调试版二进制更大，并且与普通构建分开缓存（debug 标志参与缓存键）。`Error.stack`
+不需要 `--debug` 也能工作。
+
 ## 看起来不对、其实正常的构建行为
 
 ### 构建打印了 `(cached)` 并什么都没做

package/doc/implemented.md

@@ -241,7 +241,7 @@ Location: `runtime/xt_alloc.c`, `runtime/xt_values.c`, `runtime/xt_containers.c`
 
 - Allocator: non-moving mark-sweep collector behind `xt_alloc` (explicit roots, subsystem root providers and a conservative C-stack scan).
 - Value construction: `xt_undefined/xt_null/xt_bool/xt_number/xt_string_new/xt_string_from_cstr`.
-- Strings: UTF-8 storage, concatenation, equality comparison, formatted number-to-string.
+- Strings: UTF-8 storage, lazy cons-node concatenation (bytes are flattened on first observation, so append loops stay linear), equality comparison, formatted number-to-string.
 - Type conversion: `xt_truthy`, `xt_to_number`, `xt_to_string`, `xt_typeof`.
 - Arithmetic: `add/sub/mul/div/mod/pow/neg/pos`.
 - Bitwise: `and/or/xor/not/shl/shr/ushr` (including `ToInt32` semantics).
@@ -255,7 +255,7 @@ Location: `runtime/xt_alloc.c`, `runtime/xt_values.c`, `runtime/xt_containers.c`
 - Operator helpers: `xt_in` (`in`), `xt_delete` (`delete`), `xt_rest_args` (rest parameters / `arguments`).
 - Box: `box_new/get/set` (for closure-captured variables).
 - Functions and closures: `arg`, `closure_new/call/env/arity`.
-- Exceptions: `xt_try_enter` / `xt_try_exception` / `xt_try_leave` maintain the `_setjmp` frame stack; `xt_throw` long-jumps to the nearest `try` when a frame exists, otherwise prints `Uncaught ...` and exits.
+- Exceptions: `xt_try_enter` / `xt_try_exception` / `xt_try_leave` maintain the `_setjmp` frame stack; `xt_throw` long-jumps to the nearest `try` when a frame exists, otherwise prints `Uncaught ...` and exits. Codegen also maintains a shadow call stack (function name, source file and line): `Error.stack` captures it, and a fatal-signal handler dumps the same frames on a native crash. `--debug` additionally emits `!DICompileUnit` / `!DISubprogram` / `!DILocation` metadata and compiles with `-g -fno-omit-frame-pointer`, so gdb/lldb/WinDbg map instructions back to source lines.
 - Output: `xt_print/xt_println/xt_console_log/info/warn/error` (Node-style inspect: arrays `[ a, b ]`, objects `{ k: v }`; `info`/`log` to stdout, `warn`/`error` to stderr), plus `dir/trace/assert/count/countReset/group/groupEnd/table/time/timeEnd/timeLog`.
 - Objects / functions: `xt_object` with a prototype chain, `xt_function` with a property bag (static members and `prototype`); `xt_new` (instantiation), `xt_instance_of` (prototype chain), `xt_object_freeze/is_frozen/from_entries`.
 - Standard library extensions (`xt_stdlib2.c`): extended array / string / number / object methods; `Object` / `Array` / `Number` / `String` statics; `JSON.parse` / `JSON.stringify`; `Map` / `Set`; `Date` (`gmtime_r`); `RegExp` (POSIX ERE `regcomp`/`regexec` `test`/`exec`).
@@ -346,7 +346,7 @@ const result = build("program.ts", { emit: "exe", outDir: "build" });
 Location: `tests/` (`lexer` / `parser` / `binder` / `codegen` / `driver` / `extensions` / `cli` / `e2e`)
 
 - Per-module unit tests; when `clang` is present, e2e really compiles and runs binaries, otherwise it is skipped automatically.
-- e2e coverage: arithmetic and printing, recursive functions, loops / arrays / string concatenation, closures capturing by reference, JS-style printing of objects / arrays, the Node `fs` extension via `import`, `switch` fall-through, array / string methods, `Math` and global functions and all `console` levels, default / rest parameters and `arguments`, `Object` helpers and spread and `in`/`delete`, `for...in` object key enumeration, `try/catch/finally`, optional chaining, classes and `new`/`this`/`static`/`extends`/`super`/`instanceof`, `async`/`await` and `Promise`, `Map`/`Set`/`JSON` and extended standard library, `for...of` over `Map`/`Set`, array `length` assignment and iterable spread, multi-file `import`/`export` (including `.js` specifiers and plain JavaScript sources), destructuring bindings and assignments, `enum`/`const enum`, regular-expression literals and `new Error(...)`, the `Error` family and `AggregateError`, generators and `Symbol` with custom `Symbol.iterator` iterables, typed arrays (element coercion, `from`/`of`, iteration and the prototype methods), and the global `fetch` (HTTP GET/POST, headers, redirects, JSON/text/binary bodies and `TypeError` rejection).
+- e2e coverage: arithmetic and printing, recursive functions, loops / arrays / string concatenation, closures capturing by reference, JS-style printing of objects / arrays, the Node `fs` extension via `import`, `switch` fall-through, array / string methods, `Math` and global functions and all `console` levels, default / rest parameters and `arguments`, `Object` helpers and spread and `in`/`delete`, `for...in` object key enumeration, `try/catch/finally`, optional chaining, classes and `new`/`this`/`static`/`extends`/`super`/`instanceof`, `async`/`await` and `Promise`, `Map`/`Set`/`JSON` and extended standard library, `for...of` over `Map`/`Set`, array `length` assignment and iterable spread, multi-file `import`/`export` (including `.js` specifiers and plain JavaScript sources), destructuring bindings and assignments (including object rest), built-in `instanceof`, `enum`/`const enum`, regular-expression literals and `new Error(...)`, the `Error` family and `AggregateError`, generators and `Symbol` with custom `Symbol.iterator` iterables, typed arrays (element coercion, `from`/`of`, iteration and the prototype methods), and the global `fetch` (HTTP GET/POST, headers, redirects, JSON/text/binary bodies and `TypeError` rejection).
 
 ---
 

package/doc/requirements.md

@@ -20,10 +20,19 @@ build/app.ll:382:37: error: '@.str.0' defined with type '[6 x i8]*' but expected
 ```
 
 Typed pointers were removed in LLVM 16 ([release notes](https://github.com/llvm/llvm-project/blob/release/15.x/llvm/docs/ReleaseNotes.rst#changes-to-the-llvm-ir)),
-so check `clang --version` before anything else, and point xbintsc at a newer
-build with `xbintsc_CLANG` when the system clang is older. `xbintsc doctor`
-reports the resolved toolchain and its version. Working around the limitation by
-compiling the IR elsewhere is not supported.
+so xbintsc now **checks the version before it compiles anything**:
+
+- `xbintsc build` / `run` stop immediately with an actionable error when the
+  resolved driver is older than 16, instead of emitting IR that cannot compile.
+- `xbintsc doctor` prints `status : ok` or `status : too old` and exits non-zero
+  when the toolchain cannot build binaries, so scripts and CI can preflight it.
+- The search prefers a clang >= 16: on Windows the LLVM bundled with Visual
+  Studio (`<VS install>\VC\Tools\Llvm\x64\bin\clang.exe`) is found even when an
+  older `clang` comes first on `PATH`. Set `xbintsc_CLANG` to override the
+  choice; an explicit older binary is rejected with a "too old" error rather
+  than silently ignored.
+
+Working around the limitation by compiling the IR elsewhere is not supported.
 
 ## Summary