@scriptc/compiler 0.1.6 → 0.2.0

package/dist/backend/cycle-analysis.test.js

@@ -0,0 +1,124 @@
+import { expect, test } from "vitest";
+import { DYN, F64, STRING, VOID, RUNTIME_EMITTER_CLASS, arrayOf, funcOf, mapOf, setOf } from "../ir/ir.js";
+import { computeTraced } from "./cycle-analysis.js";
+import { computeTraced as llvmTraced } from "./llvm/shapes.js";
+const loc = { file: "cycles.ts", start: 0, end: 1 };
+function module() {
+    return { irVersion: 13, sourceFile: loc.file, entry: "main", functions: [{ name: "main", locals: [], params: [], returnType: VOID, body: [], loc }] };
+}
+const ref = (shapeId) => ({ kind: "record", shapeId });
+const shape = (id, types) => ({ id, fields: types.map((type, i) => ({ name: `field${i}`, type })) });
+function check(mod, shapes, unions = []) {
+    const before = structuredClone(mod);
+    const actual = computeTraced(mod);
+    expect([...actual.shapes].sort()).toEqual(shapes.sort());
+    expect([...actual.unions].sort()).toEqual(unions.sort());
+    expect(llvmTraced(mod)).toEqual(actual);
+    expect(mod).toEqual(before);
+}
+test("removes an entire acyclic dependency chain to a fixed point", () => {
+    const mod = module();
+    mod.records = [shape("a", [ref("b")]), shape("b", [ref("c")]), shape("c", [STRING, F64])];
+    mod.unions = [{ id: "tail", arms: [ref("a"), { kind: "undefinedT" }] }];
+    check(mod, []);
+    mod.records.reverse();
+    check(mod, []);
+});
+test("retains mutual cycles and every shape that can contain them", () => {
+    const mod = module();
+    mod.records = [shape("outer", [ref("a")]), shape("a", [ref("b")]), shape("b", [ref("a")]), shape("leaf", [F64])];
+    check(mod, ["record:outer", "record:a", "record:b"]);
+});
+test("tracks cycles through unions, array elements and map values", () => {
+    const mod = module();
+    mod.records = [shape("node", [arrayOf(mapOf(STRING, { kind: "union", unionId: "link" }))]), shape("leaf", [STRING])];
+    mod.unions = [
+        { id: "link", arms: [ref("node"), { kind: "nullT" }] },
+        { id: "leaf", arms: [ref("leaf"), F64] },
+    ];
+    check(mod, ["record:node"], ["link"]);
+});
+test("index-signature overflow participates in the same cycle graph", () => {
+    const mod = module();
+    mod.records = [
+        { ...shape("recursive", []), indexValue: arrayOf(ref("recursive")) },
+        { ...shape("scalar", []), indexValue: mapOf(STRING, F64) },
+        { ...shape("promises", []), indexValue: { kind: "promise", inner: F64 } },
+    ];
+    check(mod, ["record:recursive", "record:promises"]);
+});
+test("closures and promises seed tracing even with scalar signatures", () => {
+    const mod = module();
+    mod.records = [shape("closure", [funcOf([], F64)]), shape("promise", [{ kind: "promise", inner: F64 }]), shape("bytes", [{ kind: "bytes", elem: "u8" }])];
+    check(mod, ["record:closure", "record:promise"]);
+});
+test("a derived field requires a uniform header for the entire hierarchy", () => {
+    const mod = module();
+    mod.classes = [
+        { name: "Derived", loc, base: "Base", fields: [{ name: "callback", type: funcOf([], VOID) }] },
+        { name: "Sibling", loc, base: "Base", fields: [] },
+        { name: "Base", loc, fields: [] },
+        { name: "Independent", loc, fields: [{ name: "data", type: STRING }] },
+    ];
+    check(mod, ["object:Base", "object:Derived", "object:Sibling"]);
+});
+test("an acyclic hierarchy is removed as one unit", () => {
+    const mod = module();
+    mod.records = [shape("data", [F64])];
+    mod.classes = [
+        { name: "Derived", loc, base: "Base", fields: [{ name: "data", type: ref("data") }] },
+        { name: "Base", loc, fields: [] },
+    ];
+    check(mod, []);
+});
+test("the runtime emitter and its descendants retain listener tracing", () => {
+    const mod = module();
+    mod.classes = [{ name: "Events", loc, base: RUNTIME_EMITTER_CLASS, fields: [] }, { name: RUNTIME_EMITTER_CLASS, loc, fields: [] }];
+    check(mod, ["object:Events", `object:${RUNTIME_EMITTER_CLASS}`]);
+});
+test("separate calls do not share mutable fixed-point state", () => {
+    const mod = module();
+    mod.records = [shape("same", [ref("same")])];
+    const previous = computeTraced(mod);
+    mod.records = [shape("same", [STRING])];
+    check(mod, []);
+    expect([...previous.shapes]).toEqual(["record:same"]);
+});
+test("map keys and set elements can close cycles without reference values", () => {
+    const mod = module();
+    mod.records = [
+        shape("key", [mapOf(ref("key"), F64)]),
+        shape("member", [setOf(ref("member"))]),
+        shape("outer", [mapOf(ref("key"), STRING)]),
+        shape("leaf", [F64]),
+        shape("acyclic", [mapOf(ref("leaf"), STRING), setOf(ref("leaf"))]),
+    ];
+    check(mod, ["record:key", "record:member", "record:outer"]);
+});
+test("boxed keys and nested array elements retain cycle capability", () => {
+    const mod = module();
+    const key = { kind: "union", unionId: "key" };
+    mod.records = [
+        shape("node", [mapOf(key, F64)]),
+        shape("list", [setOf(arrayOf(ref("list")))]),
+        shape("leaf", [F64]),
+    ];
+    mod.unions = [{ id: "key", arms: [ref("node"), ref("leaf")] }];
+    check(mod, ["record:node", "record:list"], ["key"]);
+});
+test("a map-key cycle in one subclass headers the whole hierarchy", () => {
+    const mod = module();
+    const base = { kind: "object", className: "Base" };
+    mod.classes = [
+        { name: "Base", fields: [], loc },
+        { name: "Child", base: "Base", fields: [{ name: "owners", type: mapOf(base, F64) }], loc },
+        { name: "Sibling", base: "Base", fields: [], loc },
+    ];
+    check(mod, ["object:Base", "object:Child", "object:Sibling"]);
+});
+test("checked values seed tracing through records and collections", () => {
+    const mod = module();
+    mod.records = [shape("value", [DYN]), shape("list", [arrayOf(DYN)]), shape("set", [setOf(DYN)]), shape("map", [mapOf(DYN, F64)])];
+    check(mod, ["record:value", "record:list", "record:set", "record:map"]);
+});
+//# sourceMappingURL=cycle-analysis.test.js.map

package/dist/backend/cycle-analysis.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cycle-analysis.test.js","sourceRoot":"","sources":["../../src/backend/cycle-analysis.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAkD,MAAM,aAAa,CAAC;AAC3J,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,aAAa,IAAI,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE/D,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACpD,SAAS,MAAM;IACb,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACxJ,CAAC;AACD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;AACvE,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAe,EAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEtI,SAAS,KAAK,CAAC,GAAa,EAAE,MAAgB,EAAE,MAAM,GAAa,EAAE;IACnE,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9B,CAAC;AAED,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1F,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC;IACxE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACf,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IACtB,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACjB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjH,KAAK,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACrH,GAAG,CAAC,MAAM,GAAG;QACX,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE;QACtD,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE;KACzC,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG;QACZ,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE;QACpE,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE;QAC1D,EAAE,GAAG,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;KAC1E,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;IAC1E,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1J,KAAK,CAAC,GAAG,EAAE,CAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;IAC9E,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG;QACZ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE;QAC9F,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;QAClD,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;QACjC,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE;KACvE,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACvD,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,GAAG,CAAC,OAAO,GAAG;QACZ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;QACrF,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;KAClC,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACjB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;IAC3E,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACnI,KAAK,CAAC,GAAG,EAAE,CAAC,eAAe,EAAE,UAAU,qBAAqB,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;IACpC,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACxC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IACf,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;IAC/E,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG;QACZ,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QAC3C,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KACnE,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,CAAC;AAC9D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;IACxE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,MAAM,GAAG,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACtD,GAAG,CAAC,OAAO,GAAG;QACZ,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChC,KAAK,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;KACrB,CAAC;IACF,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/D,KAAK,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IAC3D,GAAG,CAAC,OAAO,GAAG;QACZ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE;QACjC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE;QAC1F,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE;KACnD,CAAC;IACF,KAAK,CAAC,GAAG,EAAE,CAAC,aAAa,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;IACrB,GAAG,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClI,KAAK,CAAC,GAAG,EAAE,CAAC,cAAc,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC;AAC1E,CAAC,CAAC,CAAC"}

package/dist/backend/debug-symbols.d.ts

@@ -0,0 +1,8 @@
+export declare function needsDarwinDebugSymbols(platform: string, optimization?: string, strip?: boolean): boolean;
+/** Run before deleting link inputs: Mach-O executables retain a debug map,
+ * while the actual line tables live in those temporary object files. */
+export declare function createDarwinDebugSymbols(binary: string): Promise<void>;
+/** Keep the two dSYM payloads together as one integrity-checked cache file.
+ * Names are fixed by the output, never accepted from serialized cache data. */
+export declare function readDarwinDebugSymbols(binary: string): Promise<Buffer>;
+export declare function installDarwinDebugSymbols(bytes: Buffer, binary: string): Promise<void>;

package/dist/backend/debug-symbols.js

@@ -0,0 +1,52 @@
+import { execFile } from "node:child_process";
+import { mkdir, mkdtemp, readFile, rename, rm, writeFile } from "node:fs/promises";
+import { basename, dirname, join } from "node:path";
+import { promisify } from "node:util";
+const exec = promisify(execFile);
+const HEADER = Buffer.from("SCDSYM01");
+export function needsDarwinDebugSymbols(platform, optimization, strip = false) {
+    return platform === "darwin" && optimization === "dev" && !strip;
+}
+/** Run before deleting link inputs: Mach-O executables retain a debug map,
+ * while the actual line tables live in those temporary object files. */
+export async function createDarwinDebugSymbols(binary) {
+    await exec("dsymutil", [binary, "-o", `${binary}.dSYM`]);
+}
+/** Keep the two dSYM payloads together as one integrity-checked cache file.
+ * Names are fixed by the output, never accepted from serialized cache data. */
+export async function readDarwinDebugSymbols(binary) {
+    const contents = join(`${binary}.dSYM`, "Contents");
+    const [plist, dwarf] = await Promise.all([
+        readFile(join(contents, "Info.plist")),
+        readFile(join(contents, "Resources", "DWARF", basename(binary))),
+    ]);
+    const sizes = Buffer.alloc(4);
+    sizes.writeUInt32LE(plist.length);
+    return Buffer.concat([HEADER, sizes, plist, dwarf]);
+}
+export async function installDarwinDebugSymbols(bytes, binary) {
+    if (bytes.length < 12 || !bytes.subarray(0, 8).equals(HEADER))
+        throw new Error("invalid cached dSYM");
+    const plistEnd = 12 + bytes.readUInt32LE(8);
+    if (plistEnd <= 12 || plistEnd >= bytes.length)
+        throw new Error("invalid cached dSYM sizes");
+    const current = await readDarwinDebugSymbols(binary).catch(() => null);
+    if (current?.equals(bytes))
+        return;
+    const stage = await mkdtemp(join(dirname(binary), ".scriptc-dsym-"));
+    try {
+        const contents = join(stage, "Contents");
+        const dwarfDir = join(contents, "Resources", "DWARF");
+        await mkdir(dwarfDir, { recursive: true });
+        await Promise.all([
+            writeFile(join(contents, "Info.plist"), bytes.subarray(12, plistEnd)),
+            writeFile(join(dwarfDir, basename(binary)), bytes.subarray(plistEnd)),
+        ]);
+        await rm(`${binary}.dSYM`, { recursive: true, force: true });
+        await rename(stage, `${binary}.dSYM`);
+    }
+    finally {
+        await rm(stage, { recursive: true, force: true });
+    }
+}
+//# sourceMappingURL=debug-symbols.js.map

package/dist/backend/debug-symbols.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"debug-symbols.js","sourceRoot":"","sources":["../../src/backend/debug-symbols.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACpD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AACjC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;AAEvC,MAAM,UAAU,uBAAuB,CAAC,QAAgB,EAAE,YAAqB,EAAE,KAAK,GAAG,KAAK;IAC5F,OAAO,QAAQ,KAAK,QAAQ,IAAI,YAAY,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC;AACnE,CAAC;AAED;wEACwE;AACxE,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,MAAc;IAC3D,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;+EAC+E;AAC/E,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,MAAc;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,MAAM,OAAO,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACtC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;KACjE,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9B,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,KAAa,EAAE,MAAc;IAC3E,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACtG,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,QAAQ,IAAI,EAAE,IAAI,QAAQ,IAAI,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC7F,MAAM,OAAO,GAAG,MAAM,sBAAsB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO;IACnC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACrE,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,MAAM,OAAO,CAAC,GAAG,CAAC;YAChB,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;YACrE,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;SACtE,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,GAAG,MAAM,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,OAAO,CAAC,CAAC;IACxC,CAAC;YAAS,CAAC;QACT,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}

package/dist/backend/executable-features.d.ts

@@ -0,0 +1,4 @@
+/** Runtime requirements derived from the lowered program, shared by compiler hosts. */
+import { type IrModule } from "../ir/ir.js";
+import type { NativeLinkFeatures } from "./native-link-info.js";
+export declare function executableLinkFeatures(mod: IrModule, dynamic: boolean): NativeLinkFeatures;

package/dist/backend/executable-features.js

@@ -0,0 +1,42 @@
+/** Runtime requirements derived from the lowered program, shared by compiler hosts. */
+import { moduleEmbedsBuiltin, moduleEmbedsCompressedNpm, moduleRuntimeFeatures } from "../ir/ir.js";
+import { hasForeignFfiCallback } from "./ffi-callbacks.js";
+export function executableLinkFeatures(mod, dynamic) {
+    const features = moduleRuntimeFeatures(mod);
+    return {
+        dynamic,
+        regex: features.regex,
+        copying: features.copying,
+        textDecoderLegacy: features.legacyTextDecoder,
+        fileHandle: features.fileHandle,
+        fetch: features.fetch,
+        netIsland: moduleEmbedsBuiltin(mod, "node:http") ||
+            moduleEmbedsBuiltin(mod, "node:https") ||
+            moduleEmbedsBuiltin(mod, "node:net") ||
+            moduleEmbedsBuiltin(mod, "node:tls"),
+        zlib: features.zlib || moduleEmbedsCompressedNpm(mod),
+        assert: features.assert,
+        inspect: features.inspect,
+        dynInvoke: features.dynInvoke,
+        dc: features.dc,
+        dynAsync: features.dynAsync,
+        events: features.processEvents,
+        emitter: features.emitter,
+        symbol: features.symbol,
+        bigint: features.bigint,
+        searchParams: features.searchParams,
+        qs: features.qs,
+        parseArgs: features.parseArgs,
+        stream: features.stream,
+        net: features.net,
+        http: features.http,
+        http2: features.http2,
+        dgram: features.dgram,
+        watch: features.fsWatch,
+        foreignFfi: hasForeignFfiCallback(mod.ffiImports ?? []),
+        nodeTest: features.nodeTest,
+        tls: features.tls,
+        tlsCa: features.tlsCa,
+    };
+}
+//# sourceMappingURL=executable-features.js.map

package/dist/backend/executable-features.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executable-features.js","sourceRoot":"","sources":["../../src/backend/executable-features.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,OAAO,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,qBAAqB,EAAiB,MAAM,aAAa,CAAC;AACnH,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAG3D,MAAM,UAAU,sBAAsB,CAAC,GAAa,EAAE,OAAgB;IACpE,MAAM,QAAQ,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;IAC5C,OAAO;QACL,OAAO;QACP,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;QAC7C,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,SAAS,EACP,mBAAmB,CAAC,GAAG,EAAE,WAAW,CAAC;YACrC,mBAAmB,CAAC,GAAG,EAAE,YAAY,CAAC;YACtC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;YACpC,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;QACtC,IAAI,EAAE,QAAQ,CAAC,IAAI,IAAI,yBAAyB,CAAC,GAAG,CAAC;QACrD,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,aAAa;QAC9B,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,KAAK,EAAE,QAAQ,CAAC,OAAO;QACvB,UAAU,EAAE,qBAAqB,CAAC,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QACvD,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,EAAE,QAAQ,CAAC,GAAG;QACjB,KAAK,EAAE,QAAQ,CAAC,KAAK;KACtB,CAAC;AACJ,CAAC"}

package/dist/backend/external-c.d.ts

@@ -1,33 +1,11 @@
-/**
- * The explicitly external C toolchain path.
- *
- * This module is deliberately narrow at the executable boundary: normal
- * macOS arm64 LLVM builds emit a program object through the bundled helper
- * and hand it to `linker.ts`.  Generated C, `--from-c`, sanitizer builds,
- * cross targets, and the temporary LLVM fallback continue to use this path.
- * Keeping that distinction here prevents a platform linker driver from
- * accidentally becoming the abstraction that compiles scriptc programs.
- */
+/** External LLVM/C compilation for instrumented runtime development and
+ * caller-supplied native sources. Production program objects use the
+ * bundled LLVM helper and precompiled runtime packs. */
 import { type CcOptions, type LibArchiveOptions } from "./native-toolchain.js";
 export { CcCompileError, compileC, compileLibArchive, compilerDriverSupportsPersistentCache, configuredTargetPlatform, executableNativeEnvironmentFingerprint, isAndroidTarget, isIosTarget, isMobileTarget, mobileLibraryTarget, mobileTargetRefusal, prepareBuildCacheRoot, resolveCc, resolveBuildCacheRoot, runtimeSrcDir, subprocessFailureDetail, toolchainEnvironmentCachePolicy, toolchainEnvironmentFingerprint, targetPlatform, type CcDriver, type CcOptions, type LibArchiveOptions, type NativeCacheWarmProfile, type WarmNativeCachesOptions, type WarmNativeCachesResult, warmNativeCaches, } from "./native-toolchain.js";
 export { ANDROID_MIN_API, IPHONEOS_MIN_VERSION, } from "./native-toolchain.js";
 /** Compile a caller-provided C or LLVM source file through an external C
- * toolchain.  The CLI uses this only for its explicit `--from-c` escape
- * hatch; generated program C uses the same implementation only on the
- * documented legacy/fallback routes. */
+ * toolchain.  Runtime development and native embedding tests also use this utility. */
 export declare function compileExternalC(options: CcOptions): Promise<void>;
-/** Build a library archive through the external C toolchain. Library packs
- * are intentionally out of scope for the first executable-linking split. */
+/** Build an instrumented development library through the external toolchain. */
 export declare function compileExternalCLibrary(options: LibArchiveOptions): Promise<void>;
-/** Internal migration guard used by CI to ensure an LLVM-tier executable did
- * not regress from helper-object linking to compiling its generated .ll.
- * Explicit `--backend=c` and `--from-c` remain deliberate developer paths. */
-export declare function legacyCExecutablePipelineEnabled(env?: NodeJS.ProcessEnv): boolean;
-/** `SCRIPTC_CC` selects the external C compiler route during the migration.
- * An unset value lets every supported LLVM-tier target use its helper plus
- * runtime pack and reserve `SCRIPTC_LINKER` for the platform-linker driver. */
-export declare function legacyCExecutablePathRequested(env?: NodeJS.ProcessEnv): boolean;
-export declare class LegacyCExecutablePipelineDisabledError extends Error {
-    constructor();
-}
-export declare function assertLegacyCExecutablePipelineEnabled(env?: NodeJS.ProcessEnv): void;

package/dist/backend/external-c.js

@@ -1,51 +1,16 @@
-/**
- * The explicitly external C toolchain path.
- *
- * This module is deliberately narrow at the executable boundary: normal
- * macOS arm64 LLVM builds emit a program object through the bundled helper
- * and hand it to `linker.ts`.  Generated C, `--from-c`, sanitizer builds,
- * cross targets, and the temporary LLVM fallback continue to use this path.
- * Keeping that distinction here prevents a platform linker driver from
- * accidentally becoming the abstraction that compiles scriptc programs.
- */
+/** External LLVM/C compilation for instrumented runtime development and
+ * caller-supplied native sources. Production program objects use the
+ * bundled LLVM helper and precompiled runtime packs. */
 import { compileC, compileLibArchive, } from "./native-toolchain.js";
 export { CcCompileError, compileC, compileLibArchive, compilerDriverSupportsPersistentCache, configuredTargetPlatform, executableNativeEnvironmentFingerprint, isAndroidTarget, isIosTarget, isMobileTarget, mobileLibraryTarget, mobileTargetRefusal, prepareBuildCacheRoot, resolveCc, resolveBuildCacheRoot, runtimeSrcDir, subprocessFailureDetail, toolchainEnvironmentCachePolicy, toolchainEnvironmentFingerprint, targetPlatform, warmNativeCaches, } from "./native-toolchain.js";
 export { ANDROID_MIN_API, IPHONEOS_MIN_VERSION, } from "./native-toolchain.js";
 /** Compile a caller-provided C or LLVM source file through an external C
- * toolchain.  The CLI uses this only for its explicit `--from-c` escape
- * hatch; generated program C uses the same implementation only on the
- * documented legacy/fallback routes. */
+ * toolchain.  Runtime development and native embedding tests also use this utility. */
 export async function compileExternalC(options) {
     await compileC(options);
 }
-/** Build a library archive through the external C toolchain. Library packs
- * are intentionally out of scope for the first executable-linking split. */
+/** Build an instrumented development library through the external toolchain. */
 export async function compileExternalCLibrary(options) {
     await compileLibArchive(options);
 }
-/** Internal migration guard used by CI to ensure an LLVM-tier executable did
- * not regress from helper-object linking to compiling its generated .ll.
- * Explicit `--backend=c` and `--from-c` remain deliberate developer paths. */
-export function legacyCExecutablePipelineEnabled(env = process.env) {
-    return env["SCRIPTC_LEGACY_C_PIPELINE"] !== "0";
-}
-/** `SCRIPTC_CC` selects the external C compiler route during the migration.
- * An unset value lets every supported LLVM-tier target use its helper plus
- * runtime pack and reserve `SCRIPTC_LINKER` for the platform-linker driver. */
-export function legacyCExecutablePathRequested(env = process.env) {
-    const configured = env["SCRIPTC_CC"];
-    return configured !== undefined && configured !== "";
-}
-export class LegacyCExecutablePipelineDisabledError extends Error {
-    constructor() {
-        super("the legacy generated-C executable pipeline is disabled (SCRIPTC_LEGACY_C_PIPELINE=0); " +
-            "use the supported LLVM helper/runtime-pack route or remove the internal comparison switch");
-        this.name = "LegacyCExecutablePipelineDisabledError";
-    }
-}
-export function assertLegacyCExecutablePipelineEnabled(env = process.env) {
-    if (!legacyCExecutablePipelineEnabled(env)) {
-        throw new LegacyCExecutablePipelineDisabledError();
-    }
-}
 //# sourceMappingURL=external-c.js.map

package/dist/backend/external-c.js.map

@@ -1 +1 @@
-{"version":3,"file":"external-c.js","sourceRoot":"","sources":["../../src/backend/external-c.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,QAAQ,EACR,iBAAiB,GAGlB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,cAAc,EACd,QAAQ,EACR,iBAAiB,EACjB,qCAAqC,EACrC,wBAAwB,EACxB,sCAAsC,EACtC,eAAe,EACf,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,qBAAqB,EACrB,SAAS,EACT,qBAAqB,EACrB,aAAa,EACb,uBAAuB,EACvB,+BAA+B,EAC/B,+BAA+B,EAC/B,cAAc,EAOd,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,eAAe,EACf,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAE/B;;;wCAGwC;AACxC,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAkB;IACvD,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED;4EAC4E;AAC5E,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,OAA0B;IACtE,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC;AAED;;8EAE8E;AAC9E,MAAM,UAAU,gCAAgC,CAC9C,GAAG,GAAsB,OAAO,CAAC,GAAG;IAEpC,OAAO,GAAG,CAAC,2BAA2B,CAAC,KAAK,GAAG,CAAC;AAClD,CAAC;AAED;;+EAE+E;AAC/E,MAAM,UAAU,8BAA8B,CAC5C,GAAG,GAAsB,OAAO,CAAC,GAAG;IAEpC,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;IACrC,OAAO,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,EAAE,CAAC;AACvD,CAAC;AAED,MAAM,OAAO,sCAAuC,SAAQ,KAAK;IAC/D;QACE,KAAK,CACH,wFAAwF;YACxF,2FAA2F,CAC5F,CAAC;QACF,IAAI,CAAC,IAAI,GAAG,wCAAwC,CAAC;IACvD,CAAC;CACF;AAED,MAAM,UAAU,sCAAsC,CACpD,GAAG,GAAsB,OAAO,CAAC,GAAG;IAEpC,IAAI,CAAC,gCAAgC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,sCAAsC,EAAE,CAAC;IACrD,CAAC;AACH,CAAC"}
+{"version":3,"file":"external-c.js","sourceRoot":"","sources":["../../src/backend/external-c.ts"],"names":[],"mappings":"AAAA;;wDAEwD;AACxD,OAAO,EACL,QAAQ,EACR,iBAAiB,GAGlB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,cAAc,EACd,QAAQ,EACR,iBAAiB,EACjB,qCAAqC,EACrC,wBAAwB,EACxB,sCAAsC,EACtC,eAAe,EACf,WAAW,EACX,cAAc,EACd,mBAAmB,EACnB,mBAAmB,EACnB,qBAAqB,EACrB,SAAS,EACT,qBAAqB,EACrB,aAAa,EACb,uBAAuB,EACvB,+BAA+B,EAC/B,+BAA+B,EAC/B,cAAc,EAOd,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EACL,eAAe,EACf,oBAAoB,GACrB,MAAM,uBAAuB,CAAC;AAE/B;uFACuF;AACvF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAkB;IACvD,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,gFAAgF;AAChF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAAC,OAA0B;IACtE,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAC;AACnC,CAAC"}

package/dist/backend/ffi-callbacks.d.ts

@@ -10,7 +10,7 @@ export interface FfiCallbackAdapter {
     callback: IrFfiCallbackParam["callback"];
 }
 /** Allocate internal callback symbols outside the manifest's external
- * symbol set. C and LLVM share this table so a valid native symbol can
+ * symbol set. The frontend and backend share this table so a valid native symbol can
  * never collide with a generated trampoline or raw-callback TLS slot. */
 export declare function allocateFfiCallbackAdapters(imports: readonly IrFfiImport[]): Map<string, FfiCallbackAdapter>;
 /** The adapter-map key is `<binding>:<callback-id>`; a release descriptor
@@ -40,8 +40,7 @@ export interface FfiRetainedOp<V> {
     foreign: boolean;
 }
 /** Collect a call's retained registrations and releases in manifest order —
- * the lifecycle-policy walk shared by the C and LLVM emitters, so ordering
- * fixes apply to both backends at once. */
+ * the runtime and LLVM adapters follow the same lifecycle ordering. */
 export declare function collectFfiRetainedOps<V>(entry: IrFfiImport, callbackArgs: ReadonlyMap<string, V>, adapterFor: (binding: string, id: string) => FfiCallbackAdapter): {
     registrations: FfiRetainedOp<V>[];
     releases: FfiRetainedOp<V>[];

package/dist/backend/ffi-callbacks.js

@@ -1,7 +1,7 @@
 import { InternalCompilerError } from "../errors.js";
 import { isFfiCallbackParam, isFfiContextParam, isFfiReleaseParam } from "../ir/ir.js";
 /** Allocate internal callback symbols outside the manifest's external
- * symbol set. C and LLVM share this table so a valid native symbol can
+ * symbol set. The frontend and backend share this table so a valid native symbol can
  * never collide with a generated trampoline or raw-callback TLS slot. */
 export function allocateFfiCallbackAdapters(imports) {
     const reserved = new Set(imports.map((entry) => entry.symbol));
@@ -72,8 +72,7 @@ export function hasForeignFfiCallback(imports) {
     return imports.some((entry) => entry.params.some((param) => isFfiCallbackParam(param) && param.callback.invoke === "foreign"));
 }
 /** Collect a call's retained registrations and releases in manifest order —
- * the lifecycle-policy walk shared by the C and LLVM emitters, so ordering
- * fixes apply to both backends at once. */
+ * the runtime and LLVM adapters follow the same lifecycle ordering. */
 export function collectFfiRetainedOps(entry, callbackArgs, adapterFor) {
     const registrations = [];
     const releases = [];

package/dist/backend/ffi-callbacks.js.map

@@ -1 +1 @@
-{"version":3,"file":"ffi-callbacks.js","sourceRoot":"","sources":["../../src/backend/ffi-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAavF;;yEAEyE;AACzE,MAAM,UAAU,2BAA2B,CACzC,OAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAAE,SAAS;YACzC,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACjE,IAAI,MAAc,CAAC;YACnB,IAAI,GAAkB,CAAC;YACvB,IAAI,MAAqB,CAAC;YAC1B,IAAI,KAAoB,CAAC;YACzB,GAAG,CAAC;gBACF,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC;gBACvB,MAAM,GAAG,aAAa,KAAK,EAAE,CAAC;gBAC9B,GAAG,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,MAAM;oBACrD,CAAC,CAAC,iBAAiB,KAAK,EAAE;oBAC1B,CAAC,CAAC,IAAI,CAAC;gBACT,MAAM,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU;oBAC5D,CAAC,CAAC,sBAAsB,KAAK,EAAE;oBAC/B,CAAC,CAAC,IAAI,CAAC;gBACT,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU;oBAC5C,CAAC,CAAC,mBAAmB,KAAK,EAAE;oBAC5B,CAAC,CAAC,IAAI,CAAC;YACX,CAAC,QACC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBACpB,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnC,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzC,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACvC;YACF,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrB,IAAI,GAAG,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE;gBACjD,MAAM;gBACN,GAAG;gBACH,MAAM;gBACN,KAAK;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACnC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED;;;;0CAI0C;AAC1C,MAAM,UAAU,sBAAsB,CAAC,OAA+B;IACpE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,CAC/E,CACF,CAAC;AACJ,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,OAA+B;IACnE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAC5E,CACF,CAAC;AACJ,CAAC;AAYD;;2CAE2C;AAC3C,MAAM,UAAU,qBAAqB,CACnC,KAAkB,EAClB,YAAoC,EACpC,UAA+D;IAE/D,MAAM,aAAa,GAAuB,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC;YAC3G,aAAa,CAAC,IAAI,CAAC;gBACjB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAE;gBAC9C,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;aAC7C,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,CAAC,CAAC;YAC1G,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAE;gBACnD,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;aAC/C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC"}
+{"version":3,"file":"ffi-callbacks.js","sourceRoot":"","sources":["../../src/backend/ffi-callbacks.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAavF;;yEAEyE;AACzE,MAAM,UAAU,2BAA2B,CACzC,OAA+B;IAE/B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA8B,CAAC;IACvD,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAAE,SAAS;YACzC,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YACjE,IAAI,MAAc,CAAC;YACnB,IAAI,GAAkB,CAAC;YACvB,IAAI,MAAqB,CAAC;YAC1B,IAAI,KAAoB,CAAC;YACzB,GAAG,CAAC;gBACF,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC;gBACvB,MAAM,GAAG,aAAa,KAAK,EAAE,CAAC;gBAC9B,GAAG,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,MAAM;oBACrD,CAAC,CAAC,iBAAiB,KAAK,EAAE;oBAC1B,CAAC,CAAC,IAAI,CAAC;gBACT,MAAM,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU;oBAC5D,CAAC,CAAC,sBAAsB,KAAK,EAAE;oBAC/B,CAAC,CAAC,IAAI,CAAC;gBACT,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU;oBAC5C,CAAC,CAAC,mBAAmB,KAAK,EAAE;oBAC5B,CAAC,CAAC,IAAI,CAAC;YACX,CAAC,QACC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;gBACpB,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnC,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACzC,CAAC,KAAK,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EACvC;YACF,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrB,IAAI,GAAG,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC1C,IAAI,KAAK,KAAK,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE;gBACjD,MAAM;gBACN,GAAG;gBACH,MAAM;gBACN,KAAK;gBACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;aACzB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;4DAG4D;AAC5D,MAAM,UAAU,mBAAmB,CAAC,GAAW;IAC7C,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACnC,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;AACpE,CAAC;AAED;;;;0CAI0C;AAC1C,MAAM,UAAU,sBAAsB,CAAC,OAA+B;IACpE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,CAC/E,CACF,CAAC;AACJ,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,qBAAqB,CAAC,OAA+B;IACnE,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5B,KAAK,CAAC,MAAM,CAAC,IAAI,CACf,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAC5E,CACF,CAAC;AACJ,CAAC;AAYD;uEACuE;AACvE,MAAM,UAAU,qBAAqB,CACnC,KAAkB,EAClB,YAAoC,EACpC,UAA+D;IAE/D,MAAM,aAAa,GAAuB,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,kBAAkB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YACxE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC1D,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,CAAC,CAAC;YAC3G,aAAa,CAAC,IAAI,CAAC;gBACjB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAE;gBAC9C,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;aAC7C,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YACpE,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;gBAAE,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,CAAC,CAAC;YAC1G,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAE;gBACnD,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS;aAC/C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC"}

package/dist/backend/library-identity-markers.d.ts

@@ -1,18 +1,13 @@
-export type LibraryEmission = "c" | "llvm";
 export interface LibraryIdentityValues {
     buildIdSymbol: string;
     abiVersionSymbol: string;
     buildId: string;
     abiVersion: number;
 }
-export declare function emitLibraryIdentityLines(emission: LibraryEmission, identity: LibraryIdentityValues, llvmFunctionAttrs?: string): string[];
+export declare function emitLibraryIdentityLines(identity: LibraryIdentityValues, llvmFunctionAttrs?: string): string[];
 /** Refresh only the volatile identity block in a cached public TU. */
-export declare function replaceLibraryIdentity(source: string, emission: LibraryEmission, identity: LibraryIdentityValues): string;
-/** Refresh the source-line annotations retained in a caller-visible C TU. */
-export declare function rebaseLibrarySourceComments(source: string, sourceFile: string, rebaseLine: (line: number) => number): string;
-/** Remove C-only debugging annotations from the private native-cache input. */
-export declare function stripLibrarySourceComments(source: string, sourceFile: string): string;
+export declare function replaceLibraryIdentity(source: string, identity: LibraryIdentityValues): string;
 /** Remove the generated identity region from a complete caller-visible
  * library TU. Archive assembly compiles this stable projection beside the
- * small volatile identity C object, while the public TU remains complete. */
-export declare function stripLibraryIdentity(source: string, emission: LibraryEmission): string;
+ * small volatile identity object, while the public TU remains complete. */
+export declare function stripLibraryIdentity(source: string): string;

package/dist/backend/library-identity-markers.js

@@ -1,31 +1,13 @@
 import { InternalCompilerError } from "../errors.js";
-const C_LIBRARY_IDENTITY_BEGIN = "/* scriptc-library-identity: begin */";
-const C_LIBRARY_IDENTITY_END = "/* scriptc-library-identity: end */";
 const LLVM_LIBRARY_IDENTITY_BEGIN = "; scriptc-library-identity: begin";
 const LLVM_LIBRARY_IDENTITY_END = "; scriptc-library-identity: end";
-function identityMarkers(emission) {
-    return emission === "c"
-        ? { begin: C_LIBRARY_IDENTITY_BEGIN, end: C_LIBRARY_IDENTITY_END }
-        : { begin: LLVM_LIBRARY_IDENTITY_BEGIN, end: LLVM_LIBRARY_IDENTITY_END };
+function identityMarkers() {
+    return { begin: LLVM_LIBRARY_IDENTITY_BEGIN, end: LLVM_LIBRARY_IDENTITY_END };
 }
-export function emitLibraryIdentityLines(emission, identity, llvmFunctionAttrs = "#0") {
+export function emitLibraryIdentityLines(identity, llvmFunctionAttrs = "#0") {
     if (!/^[0-9a-f]{16}$/.test(identity.buildId)) {
         throw new InternalCompilerError("library build id must be exactly 16 lowercase hex digits");
     }
-    if (emission === "c") {
-        return [
-            C_LIBRARY_IDENTITY_BEGIN,
-            `uint64_t ${identity.buildIdSymbol}(void) {`,
-            `  return UINT64_C(0x${identity.buildId});`,
-            `}`,
-            ``,
-            `uint32_t ${identity.abiVersionSymbol}(void) {`,
-            `  return ${identity.abiVersion}u;`,
-            `}`,
-            ``,
-            C_LIBRARY_IDENTITY_END,
-        ];
-    }
     const signedBuildId = BigInt.asIntN(64, BigInt(`0x${identity.buildId}`)).toString();
     return [
         LLVM_LIBRARY_IDENTITY_BEGIN,
@@ -42,8 +24,8 @@ export function emitLibraryIdentityLines(emission, identity, llvmFunctionAttrs =
         LLVM_LIBRARY_IDENTITY_END,
     ];
 }
-function identityOffsets(source, emission) {
-    const { begin, end } = identityMarkers(emission);
+function identityOffsets(source) {
+    const { begin, end } = identityMarkers();
     const start = source.indexOf(`${begin}\n`);
     if (start < 0)
         return null;
@@ -56,38 +38,18 @@ function identityOffsets(source, emission) {
     return { start, end: endStart + end.length };
 }
 /** Refresh only the volatile identity block in a cached public TU. */
-export function replaceLibraryIdentity(source, emission, identity) {
-    const offsets = identityOffsets(source, emission);
+export function replaceLibraryIdentity(source, identity) {
+    const offsets = identityOffsets(source);
     if (offsets === null)
         throw new InternalCompilerError("generated public library TU has no identity region");
-    const replacement = emitLibraryIdentityLines(emission, identity).join("\n");
+    const replacement = emitLibraryIdentityLines(identity).join("\n");
     return source.slice(0, offsets.start) + replacement + source.slice(offsets.end);
 }
-function escapedRegExp(text) {
-    return text.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-}
-function sourceCommentPattern(sourceFile) {
-    // Emission appends these comments at physical line ends. Requiring that
-    // boundary prevents source-looking text inside a generated C string from
-    // being mistaken for an annotation and changing program semantics. An
-    // uninitialized reference declaration appends its own `/* let ... */`
-    // explanation after the location, so admit that one generated suffix too.
-    return new RegExp(` /\\* ${escapedRegExp(sourceFile)}:(\\d+) \\*/` +
-        `(?= /\\* let [^\\r\\n]*; \\*/(?=\\r?\\n|$)|\\r?\\n|$)`, "g");
-}
-/** Refresh the source-line annotations retained in a caller-visible C TU. */
-export function rebaseLibrarySourceComments(source, sourceFile, rebaseLine) {
-    return source.replace(sourceCommentPattern(sourceFile), (_match, line) => ` /* ${sourceFile}:${rebaseLine(Number(line))} */`);
-}
-/** Remove C-only debugging annotations from the private native-cache input. */
-export function stripLibrarySourceComments(source, sourceFile) {
-    return source.replace(sourceCommentPattern(sourceFile), "");
-}
 /** Remove the generated identity region from a complete caller-visible
  * library TU. Archive assembly compiles this stable projection beside the
- * small volatile identity C object, while the public TU remains complete. */
-export function stripLibraryIdentity(source, emission) {
-    const offsets = identityOffsets(source, emission);
+ * small volatile identity object, while the public TU remains complete. */
+export function stripLibraryIdentity(source) {
+    const offsets = identityOffsets(source);
     if (offsets === null)
         return source;
     const endOffset = offsets.end;

package/dist/backend/library-identity-markers.js.map

@@ -1 +1 @@
-{"version":3,"file":"library-identity-markers.js","sourceRoot":"","sources":["../../src/backend/library-identity-markers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAGrD,MAAM,wBAAwB,GAAG,uCAAuC,CAAC;AACzE,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AACrE,MAAM,2BAA2B,GAAG,mCAAmC,CAAC;AACxE,MAAM,yBAAyB,GAAG,iCAAiC,CAAC;AASpE,SAAS,eAAe,CAAC,QAAyB;IAChD,OAAO,QAAQ,KAAK,GAAG;QACrB,CAAC,CAAC,EAAE,KAAK,EAAE,wBAAwB,EAAE,GAAG,EAAE,sBAAsB,EAAE;QAClE,CAAC,CAAC,EAAE,KAAK,EAAE,2BAA2B,EAAE,GAAG,EAAE,yBAAyB,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAAyB,EACzB,QAA+B,EAC/B,iBAAiB,GAAG,IAAI;IAExB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,qBAAqB,CAAC,0DAA0D,CAAC,CAAC;IAC9F,CAAC;IACD,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACrB,OAAO;YACL,wBAAwB;YACxB,YAAY,QAAQ,CAAC,aAAa,UAAU;YAC5C,uBAAuB,QAAQ,CAAC,OAAO,IAAI;YAC3C,GAAG;YACH,EAAE;YACF,YAAY,QAAQ,CAAC,gBAAgB,UAAU;YAC/C,YAAY,QAAQ,CAAC,UAAU,IAAI;YACnC,GAAG;YACH,EAAE;YACF,sBAAsB;SACvB,CAAC;IACJ,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpF,OAAO;QACL,2BAA2B;QAC3B,eAAe,QAAQ,CAAC,aAAa,MAAM,iBAAiB,mCAAmC,QAAQ,CAAC,OAAO,EAAE;QACjH,QAAQ;QACR,aAAa,aAAa,EAAE;QAC5B,GAAG;QACH,EAAE;QACF,eAAe,QAAQ,CAAC,gBAAgB,MAAM,iBAAiB,kCAAkC;QACjG,QAAQ;QACR,aAAa,QAAQ,CAAC,UAAU,EAAE;QAClC,GAAG;QACH,EAAE;QACF,yBAAyB;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,MAAc,EACd,QAAyB;IAEzB,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,qBAAqB,CAAC,yDAAyD,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,QAAQ,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,0DAA0D,CAAC,CAAC;IAC9G,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,QAAyB,EACzB,QAA+B;IAE/B,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,qBAAqB,CAAC,oDAAoD,CAAC,CAAC;IAC5G,MAAM,WAAW,GAAG,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,oBAAoB,CAAC,UAAkB;IAC9C,wEAAwE;IACxE,yEAAyE;IACzE,sEAAsE;IACtE,sEAAsE;IACtE,0EAA0E;IAC1E,OAAO,IAAI,MAAM,CACf,SAAS,aAAa,CAAC,UAAU,CAAC,cAAc;QAC9C,uDAAuD,EACzD,GAAG,CACJ,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,2BAA2B,CACzC,MAAc,EACd,UAAkB,EAClB,UAAoC;IAEpC,OAAO,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,IAAY,EAAE,EAAE,CAC/E,OAAO,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;AACxD,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,0BAA0B,CAAC,MAAc,EAAE,UAAkB;IAC3E,OAAO,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED;;6EAE6E;AAC7E,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,QAAyB;IAEzB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC"}
+{"version":3,"file":"library-identity-markers.js","sourceRoot":"","sources":["../../src/backend/library-identity-markers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAErD,MAAM,2BAA2B,GAAG,mCAAmC,CAAC;AACxE,MAAM,yBAAyB,GAAG,iCAAiC,CAAC;AASpE,SAAS,eAAe;IACtB,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE,GAAG,EAAE,yBAAyB,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAA+B,EAC/B,iBAAiB,GAAG,IAAI;IAExB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC7C,MAAM,IAAI,qBAAqB,CAAC,0DAA0D,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpF,OAAO;QACL,2BAA2B;QAC3B,eAAe,QAAQ,CAAC,aAAa,MAAM,iBAAiB,mCAAmC,QAAQ,CAAC,OAAO,EAAE;QACjH,QAAQ;QACR,aAAa,aAAa,EAAE;QAC5B,GAAG;QACH,EAAE;QACF,eAAe,QAAQ,CAAC,gBAAgB,MAAM,iBAAiB,kCAAkC;QACjG,QAAQ;QACR,aAAa,QAAQ,CAAC,UAAU,EAAE;QAClC,GAAG;QACH,EAAE;QACF,yBAAyB;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,MAAc;IAEd,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,eAAe,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,qBAAqB,CAAC,yDAAyD,CAAC,CAAC;IAC7F,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3D,IAAI,QAAQ,GAAG,CAAC;QAAE,MAAM,IAAI,qBAAqB,CAAC,0DAA0D,CAAC,CAAC;IAC9G,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC;AAC/C,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,sBAAsB,CACpC,MAAc,EACd,QAA+B;IAE/B,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,OAAO,KAAK,IAAI;QAAE,MAAM,IAAI,qBAAqB,CAAC,oDAAoD,CAAC,CAAC;IAC5G,MAAM,WAAW,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AAClF,CAAC;AAED;;2EAE2E;AAC3E,MAAM,UAAU,oBAAoB,CAClC,MAAc;IAEd,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC5C,2EAA2E;IAC3E,yEAAyE;IACzE,2EAA2E;IAC3E,IAAI,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC"}

package/dist/backend/library-pack.d.ts

@@ -0,0 +1,5 @@
+import { type LibArchiveOptions } from "./native-toolchain.js";
+import { type NativeTargetSpec } from "./targets.js";
+/** Assemble a library from LLVM program objects and verified runtime objects.
+ * The runtime's library and per-thread modes are compiled when packaging. */
+export declare function compilePackedLibrary(options: LibArchiveOptions, target: NativeTargetSpec, wasmExports?: readonly string[]): Promise<void>;