semantifold 0.5.0 → 0.6.0

package/build/src/backends/zig-runtime.d.ts

@@ -0,0 +1,5 @@
+/** Exact Zig 0.15.2 standard-library-only support; the frontend checks every token before collapse. */
+export declare const zigRuntime = "const std = @import(\"std\");\n\nvar semantifold_arena = std.heap.ArenaAllocator.init(std.heap.page_allocator);\n\nfn semantifold_fail(message: []const u8) noreturn {\n    std.fs.File.stderr().writeAll(message) catch {};\n    std.process.exit(70);\n}\n\nfn semantifold_integer_add(left: i64, right: i64) i64 {\n    const result = @addWithOverflow(left, right);\n    if (result[1] != 0) semantifold_fail(\"semantifold: integer overflow\\n\");\n    return result[0];\n}\n\nfn semantifold_integer_subtract(left: i64, right: i64) i64 {\n    const result = @subWithOverflow(left, right);\n    if (result[1] != 0) semantifold_fail(\"semantifold: integer overflow\\n\");\n    return result[0];\n}\n\nfn semantifold_integer_multiply(left: i64, right: i64) i64 {\n    const result = @mulWithOverflow(left, right);\n    if (result[1] != 0) semantifold_fail(\"semantifold: integer overflow\\n\");\n    return result[0];\n}\n\nfn semantifold_integer_negate(value: i64) i64 {\n    return semantifold_integer_subtract(0, value);\n}\n\nfn semantifold_string_concat(left: []const u8, right: []const u8) []const u8 {\n    const size = @addWithOverflow(left.len, right.len);\n    if (size[1] != 0) semantifold_fail(\"semantifold: allocation failure\\n\");\n    const bytes = semantifold_arena.allocator().alloc(u8, size[0]) catch semantifold_fail(\"semantifold: allocation failure\\n\");\n    @memcpy(bytes[0..left.len], left);\n    @memcpy(bytes[left.len..], right);\n    return bytes;\n}\n\nfn semantifold_string_equal(left: []const u8, right: []const u8) bool {\n    return std.mem.eql(u8, left, right);\n}\n\nfn semantifold_string_not_equal(left: []const u8, right: []const u8) bool {\n    return !std.mem.eql(u8, left, right);\n}\n\nfn semantifold_write(value: []const u8) void {\n    const stdout = std.fs.File.stdout();\n    stdout.writeAll(value) catch semantifold_fail(\"semantifold: output failure\\n\");\n    stdout.writeAll(\"\\n\") catch semantifold_fail(\"semantifold: output failure\\n\");\n}\n\nfn semantifold_print_integer(value: i64) void {\n    var buffer: [20]u8 = undefined;\n    const bytes = std.fmt.bufPrint(&buffer, \"{d}\", .{value}) catch semantifold_fail(\"semantifold: output failure\\n\");\n    semantifold_write(bytes);\n}\n\nfn semantifold_print_boolean(value: bool) void {\n    semantifold_write(if (value) \"true\" else \"false\");\n}\n\nfn semantifold_print_string(value: []const u8) void {\n    semantifold_write(value);\n}\n";
+/** Fixed native-host Zig build with only the selected optimization option and no package resolution. */
+export declare const zigBuild = "const std = @import(\"std\");\n\npub fn build(b: *std.Build) void {\n    const optimize = b.standardOptimizeOption(.{});\n    const executable = b.addExecutable(.{\n        .name = \"semantifold-generated\",\n        .root_module = b.createModule(.{\n            .root_source_file = b.path(\"src/main.zig\"),\n            .target = b.graph.host,\n            .optimize = optimize,\n        }),\n    });\n    b.installArtifact(executable);\n\n    const tests = b.addTest(.{ .root_module = executable.root_module });\n    const run_tests = b.addRunArtifact(tests);\n    const test_step = b.step(\"test\", \"Compile and run tests\");\n    test_step.dependOn(&run_tests.step);\n}\n";
+//# sourceMappingURL=zig-runtime.d.ts.map

package/build/src/backends/zig-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zig-runtime.d.ts","sourceRoot":"","sources":["../../../src/backends/zig-runtime.js"],"names":[],"mappings":"AAEA,uGAAuG;AACvG,eAAO,MAAM,UAAU,g5EAmEtB,CAAA;AAED,wGAAwG;AACxG,eAAO,MAAM,QAAQ,0qBAmBpB,CAAA"}

package/build/src/backends/zig-runtime.js

@@ -0,0 +1,92 @@
+// @ts-check
+/** Exact Zig 0.15.2 standard-library-only support; the frontend checks every token before collapse. */
+export const zigRuntime = `const std = @import("std");
+
+var semantifold_arena = std.heap.ArenaAllocator.init(std.heap.page_allocator);
+
+fn semantifold_fail(message: []const u8) noreturn {
+    std.fs.File.stderr().writeAll(message) catch {};
+    std.process.exit(70);
+}
+
+fn semantifold_integer_add(left: i64, right: i64) i64 {
+    const result = @addWithOverflow(left, right);
+    if (result[1] != 0) semantifold_fail("semantifold: integer overflow\\n");
+    return result[0];
+}
+
+fn semantifold_integer_subtract(left: i64, right: i64) i64 {
+    const result = @subWithOverflow(left, right);
+    if (result[1] != 0) semantifold_fail("semantifold: integer overflow\\n");
+    return result[0];
+}
+
+fn semantifold_integer_multiply(left: i64, right: i64) i64 {
+    const result = @mulWithOverflow(left, right);
+    if (result[1] != 0) semantifold_fail("semantifold: integer overflow\\n");
+    return result[0];
+}
+
+fn semantifold_integer_negate(value: i64) i64 {
+    return semantifold_integer_subtract(0, value);
+}
+
+fn semantifold_string_concat(left: []const u8, right: []const u8) []const u8 {
+    const size = @addWithOverflow(left.len, right.len);
+    if (size[1] != 0) semantifold_fail("semantifold: allocation failure\\n");
+    const bytes = semantifold_arena.allocator().alloc(u8, size[0]) catch semantifold_fail("semantifold: allocation failure\\n");
+    @memcpy(bytes[0..left.len], left);
+    @memcpy(bytes[left.len..], right);
+    return bytes;
+}
+
+fn semantifold_string_equal(left: []const u8, right: []const u8) bool {
+    return std.mem.eql(u8, left, right);
+}
+
+fn semantifold_string_not_equal(left: []const u8, right: []const u8) bool {
+    return !std.mem.eql(u8, left, right);
+}
+
+fn semantifold_write(value: []const u8) void {
+    const stdout = std.fs.File.stdout();
+    stdout.writeAll(value) catch semantifold_fail("semantifold: output failure\\n");
+    stdout.writeAll("\\n") catch semantifold_fail("semantifold: output failure\\n");
+}
+
+fn semantifold_print_integer(value: i64) void {
+    var buffer: [20]u8 = undefined;
+    const bytes = std.fmt.bufPrint(&buffer, "{d}", .{value}) catch semantifold_fail("semantifold: output failure\\n");
+    semantifold_write(bytes);
+}
+
+fn semantifold_print_boolean(value: bool) void {
+    semantifold_write(if (value) "true" else "false");
+}
+
+fn semantifold_print_string(value: []const u8) void {
+    semantifold_write(value);
+}
+`;
+/** Fixed native-host Zig build with only the selected optimization option and no package resolution. */
+export const zigBuild = `const std = @import("std");
+
+pub fn build(b: *std.Build) void {
+    const optimize = b.standardOptimizeOption(.{});
+    const executable = b.addExecutable(.{
+        .name = "semantifold-generated",
+        .root_module = b.createModule(.{
+            .root_source_file = b.path("src/main.zig"),
+            .target = b.graph.host,
+            .optimize = optimize,
+        }),
+    });
+    b.installArtifact(executable);
+
+    const tests = b.addTest(.{ .root_module = executable.root_module });
+    const run_tests = b.addRunArtifact(tests);
+    const test_step = b.step("test", "Compile and run tests");
+    test_step.dependOn(&run_tests.step);
+}
+`;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiemlnLXJ1bnRpbWUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmFja2VuZHMvemlnLXJ1bnRpbWUuanMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsWUFBWTtBQUVaLHVHQUF1RztBQUN2RyxNQUFNLENBQUMsTUFBTSxVQUFVLEdBQUc7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Q0FtRXpCLENBQUE7QUFFRCx3R0FBd0c7QUFDeEcsTUFBTSxDQUFDLE1BQU0sUUFBUSxHQUFHOzs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBbUJ2QixDQUFBIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbi8qKiBFeGFjdCBaaWcgMC4xNS4yIHN0YW5kYXJkLWxpYnJhcnktb25seSBzdXBwb3J0OyB0aGUgZnJvbnRlbmQgY2hlY2tzIGV2ZXJ5IHRva2VuIGJlZm9yZSBjb2xsYXBzZS4gKi9cbmV4cG9ydCBjb25zdCB6aWdSdW50aW1lID0gYGNvbnN0IHN0ZCA9IEBpbXBvcnQoXCJzdGRcIik7XG5cbnZhciBzZW1hbnRpZm9sZF9hcmVuYSA9IHN0ZC5oZWFwLkFyZW5hQWxsb2NhdG9yLmluaXQoc3RkLmhlYXAucGFnZV9hbGxvY2F0b3IpO1xuXG5mbiBzZW1hbnRpZm9sZF9mYWlsKG1lc3NhZ2U6IFtdY29uc3QgdTgpIG5vcmV0dXJuIHtcbiAgICBzdGQuZnMuRmlsZS5zdGRlcnIoKS53cml0ZUFsbChtZXNzYWdlKSBjYXRjaCB7fTtcbiAgICBzdGQucHJvY2Vzcy5leGl0KDcwKTtcbn1cblxuZm4gc2VtYW50aWZvbGRfaW50ZWdlcl9hZGQobGVmdDogaTY0LCByaWdodDogaTY0KSBpNjQge1xuICAgIGNvbnN0IHJlc3VsdCA9IEBhZGRXaXRoT3ZlcmZsb3cobGVmdCwgcmlnaHQpO1xuICAgIGlmIChyZXN1bHRbMV0gIT0gMCkgc2VtYW50aWZvbGRfZmFpbChcInNlbWFudGlmb2xkOiBpbnRlZ2VyIG92ZXJmbG93XFxcXG5cIik7XG4gICAgcmV0dXJuIHJlc3VsdFswXTtcbn1cblxuZm4gc2VtYW50aWZvbGRfaW50ZWdlcl9zdWJ0cmFjdChsZWZ0OiBpNjQsIHJpZ2h0OiBpNjQpIGk2NCB7XG4gICAgY29uc3QgcmVzdWx0ID0gQHN1YldpdGhPdmVyZmxvdyhsZWZ0LCByaWdodCk7XG4gICAgaWYgKHJlc3VsdFsxXSAhPSAwKSBzZW1hbnRpZm9sZF9mYWlsKFwic2VtYW50aWZvbGQ6IGludGVnZXIgb3ZlcmZsb3dcXFxcblwiKTtcbiAgICByZXR1cm4gcmVzdWx0WzBdO1xufVxuXG5mbiBzZW1hbnRpZm9sZF9pbnRlZ2VyX211bHRpcGx5KGxlZnQ6IGk2NCwgcmlnaHQ6IGk2NCkgaTY0IHtcbiAgICBjb25zdCByZXN1bHQgPSBAbXVsV2l0aE92ZXJmbG93KGxlZnQsIHJpZ2h0KTtcbiAgICBpZiAocmVzdWx0WzFdICE9IDApIHNlbWFudGlmb2xkX2ZhaWwoXCJzZW1hbnRpZm9sZDogaW50ZWdlciBvdmVyZmxvd1xcXFxuXCIpO1xuICAgIHJldHVybiByZXN1bHRbMF07XG59XG5cbmZuIHNlbWFudGlmb2xkX2ludGVnZXJfbmVnYXRlKHZhbHVlOiBpNjQpIGk2NCB7XG4gICAgcmV0dXJuIHNlbWFudGlmb2xkX2ludGVnZXJfc3VidHJhY3QoMCwgdmFsdWUpO1xufVxuXG5mbiBzZW1hbnRpZm9sZF9zdHJpbmdfY29uY2F0KGxlZnQ6IFtdY29uc3QgdTgsIHJpZ2h0OiBbXWNvbnN0IHU4KSBbXWNvbnN0IHU4IHtcbiAgICBjb25zdCBzaXplID0gQGFkZFdpdGhPdmVyZmxvdyhsZWZ0LmxlbiwgcmlnaHQubGVuKTtcbiAgICBpZiAoc2l6ZVsxXSAhPSAwKSBzZW1hbnRpZm9sZF9mYWlsKFwic2VtYW50aWZvbGQ6IGFsbG9jYXRpb24gZmFpbHVyZVxcXFxuXCIpO1xuICAgIGNvbnN0IGJ5dGVzID0gc2VtYW50aWZvbGRfYXJlbmEuYWxsb2NhdG9yKCkuYWxsb2ModTgsIHNpemVbMF0pIGNhdGNoIHNlbWFudGlmb2xkX2ZhaWwoXCJzZW1hbnRpZm9sZDogYWxsb2NhdGlvbiBmYWlsdXJlXFxcXG5cIik7XG4gICAgQG1lbWNweShieXRlc1swLi5sZWZ0Lmxlbl0sIGxlZnQpO1xuICAgIEBtZW1jcHkoYnl0ZXNbbGVmdC5sZW4uLl0sIHJpZ2h0KTtcbiAgICByZXR1cm4gYnl0ZXM7XG59XG5cbmZuIHNlbWFudGlmb2xkX3N0cmluZ19lcXVhbChsZWZ0OiBbXWNvbnN0IHU4LCByaWdodDogW11jb25zdCB1OCkgYm9vbCB7XG4gICAgcmV0dXJuIHN0ZC5tZW0uZXFsKHU4LCBsZWZ0LCByaWdodCk7XG59XG5cbmZuIHNlbWFudGlmb2xkX3N0cmluZ19ub3RfZXF1YWwobGVmdDogW11jb25zdCB1OCwgcmlnaHQ6IFtdY29uc3QgdTgpIGJvb2wge1xuICAgIHJldHVybiAhc3RkLm1lbS5lcWwodTgsIGxlZnQsIHJpZ2h0KTtcbn1cblxuZm4gc2VtYW50aWZvbGRfd3JpdGUodmFsdWU6IFtdY29uc3QgdTgpIHZvaWQge1xuICAgIGNvbnN0IHN0ZG91dCA9IHN0ZC5mcy5GaWxlLnN0ZG91dCgpO1xuICAgIHN0ZG91dC53cml0ZUFsbCh2YWx1ZSkgY2F0Y2ggc2VtYW50aWZvbGRfZmFpbChcInNlbWFudGlmb2xkOiBvdXRwdXQgZmFpbHVyZVxcXFxuXCIpO1xuICAgIHN0ZG91dC53cml0ZUFsbChcIlxcXFxuXCIpIGNhdGNoIHNlbWFudGlmb2xkX2ZhaWwoXCJzZW1hbnRpZm9sZDogb3V0cHV0IGZhaWx1cmVcXFxcblwiKTtcbn1cblxuZm4gc2VtYW50aWZvbGRfcHJpbnRfaW50ZWdlcih2YWx1ZTogaTY0KSB2b2lkIHtcbiAgICB2YXIgYnVmZmVyOiBbMjBddTggPSB1bmRlZmluZWQ7XG4gICAgY29uc3QgYnl0ZXMgPSBzdGQuZm10LmJ1ZlByaW50KCZidWZmZXIsIFwie2R9XCIsIC57dmFsdWV9KSBjYXRjaCBzZW1hbnRpZm9sZF9mYWlsKFwic2VtYW50aWZvbGQ6IG91dHB1dCBmYWlsdXJlXFxcXG5cIik7XG4gICAgc2VtYW50aWZvbGRfd3JpdGUoYnl0ZXMpO1xufVxuXG5mbiBzZW1hbnRpZm9sZF9wcmludF9ib29sZWFuKHZhbHVlOiBib29sKSB2b2lkIHtcbiAgICBzZW1hbnRpZm9sZF93cml0ZShpZiAodmFsdWUpIFwidHJ1ZVwiIGVsc2UgXCJmYWxzZVwiKTtcbn1cblxuZm4gc2VtYW50aWZvbGRfcHJpbnRfc3RyaW5nKHZhbHVlOiBbXWNvbnN0IHU4KSB2b2lkIHtcbiAgICBzZW1hbnRpZm9sZF93cml0ZSh2YWx1ZSk7XG59XG5gXG5cbi8qKiBGaXhlZCBuYXRpdmUtaG9zdCBaaWcgYnVpbGQgd2l0aCBvbmx5IHRoZSBzZWxlY3RlZCBvcHRpbWl6YXRpb24gb3B0aW9uIGFuZCBubyBwYWNrYWdlIHJlc29sdXRpb24uICovXG5leHBvcnQgY29uc3QgemlnQnVpbGQgPSBgY29uc3Qgc3RkID0gQGltcG9ydChcInN0ZFwiKTtcblxucHViIGZuIGJ1aWxkKGI6ICpzdGQuQnVpbGQpIHZvaWQge1xuICAgIGNvbnN0IG9wdGltaXplID0gYi5zdGFuZGFyZE9wdGltaXplT3B0aW9uKC57fSk7XG4gICAgY29uc3QgZXhlY3V0YWJsZSA9IGIuYWRkRXhlY3V0YWJsZSgue1xuICAgICAgICAubmFtZSA9IFwic2VtYW50aWZvbGQtZ2VuZXJhdGVkXCIsXG4gICAgICAgIC5yb290X21vZHVsZSA9IGIuY3JlYXRlTW9kdWxlKC57XG4gICAgICAgICAgICAucm9vdF9zb3VyY2VfZmlsZSA9IGIucGF0aChcInNyYy9tYWluLnppZ1wiKSxcbiAgICAgICAgICAgIC50YXJnZXQgPSBiLmdyYXBoLmhvc3QsXG4gICAgICAgICAgICAub3B0aW1pemUgPSBvcHRpbWl6ZSxcbiAgICAgICAgfSksXG4gICAgfSk7XG4gICAgYi5pbnN0YWxsQXJ0aWZhY3QoZXhlY3V0YWJsZSk7XG5cbiAgICBjb25zdCB0ZXN0cyA9IGIuYWRkVGVzdCgueyAucm9vdF9tb2R1bGUgPSBleGVjdXRhYmxlLnJvb3RfbW9kdWxlIH0pO1xuICAgIGNvbnN0IHJ1bl90ZXN0cyA9IGIuYWRkUnVuQXJ0aWZhY3QodGVzdHMpO1xuICAgIGNvbnN0IHRlc3Rfc3RlcCA9IGIuc3RlcChcInRlc3RcIiwgXCJDb21waWxlIGFuZCBydW4gdGVzdHNcIik7XG4gICAgdGVzdF9zdGVwLmRlcGVuZE9uKCZydW5fdGVzdHMuc3RlcCk7XG59XG5gXG4iXX0=

package/build/src/backends/zig-validation.d.ts

@@ -0,0 +1,9 @@
+/** Repository-owned bound for frozen CST traversal and deterministic project generation. */
+export declare const maximumZigSourceLength = 1000000;
+/**
+ * Rejects statically impossible UTF-8 arena sizes without changing the semantic graph.
+ * @param {import("../semantic/types.js").SemanticModule} module - Fully validated module.
+ * @returns {void}
+ */
+export declare function validateZigValues(module: import("../semantic/types.js").SemanticModule): void;
+//# sourceMappingURL=zig-validation.d.ts.map

package/build/src/backends/zig-validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zig-validation.d.ts","sourceRoot":"","sources":["../../../src/backends/zig-validation.js"],"names":[],"mappings":"AAIA,4FAA4F;AAC5F,eAAO,MAAM,sBAAsB,UAAY,CAAA;AAE/C;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAH7B,OAAO,sBAAsB,EAAE,cAGF,GAF3B,IAAI,CAyDhB"}

package/build/src/backends/zig-validation.js

@@ -0,0 +1,73 @@
+// @ts-check
+import { unsupportedCapability } from "../diagnostic.js";
+/** Repository-owned bound for frozen CST traversal and deterministic project generation. */
+export const maximumZigSourceLength = 1_000_000;
+/**
+ * Rejects statically impossible UTF-8 arena sizes without changing the semantic graph.
+ * @param {import("../semantic/types.js").SemanticModule} module - Fully validated module.
+ * @returns {void}
+ */
+export function validateZigValues(module) {
+    /**
+     * Infers a known UTF-8 byte size while validating literal shape.
+     * @param {import("../semantic/types.js").Expression} expression - Expression to inspect.
+     * @param {Map<string, bigint | undefined>} sizes - Known binding sizes.
+     * @returns {bigint | undefined} Known byte size when statically available.
+     */
+    const size = (expression, sizes) => {
+        if (expression.kind == "IntegerLiteral" && (!Number.isSafeInteger(expression.value) || expression.value < 0 || Object.is(expression.value, -0))) {
+            unsupportedCapability("zig", "non-safe or noncanonical i64 literal", expression.location);
+        }
+        if (expression.kind == "StringLiteral")
+            return BigInt(Buffer.byteLength(expression.value, "utf8"));
+        if (expression.kind == "IdentifierExpression")
+            return sizes.get(expression.name);
+        if (expression.kind == "CallExpression")
+            expression.arguments.forEach(argument => size(argument, sizes));
+        else if (expression.kind == "UnaryExpression")
+            size(expression.operand, sizes);
+        else if (expression.kind == "BinaryExpression") {
+            const left = size(expression.left, sizes);
+            const right = size(expression.right, sizes);
+            if (expression.operation == "StringConcat") {
+                if ((left ?? 0n) + (right ?? 0n) > 9223372036854775807n) {
+                    unsupportedCapability("zig", "known immutable UTF-8 slice exceeds the qualified native allocation limit", expression.location);
+                }
+                if (left !== undefined && right !== undefined)
+                    return left + right;
+            }
+        }
+        return undefined;
+    };
+    /**
+     * Propagates conservative known string sizes through one block.
+     * @param {import("../semantic/types.js").Block} block - Block to inspect.
+     * @param {Map<string, bigint | undefined>} inherited - Sizes visible on entry.
+     * @returns {Map<string, bigint | undefined>} Sizes known after the block.
+     */
+    const visit = (block, inherited) => {
+        const sizes = new Map(inherited);
+        for (const statement of block.statements) {
+            if (statement.kind == "LocalDeclaration")
+                sizes.set(statement.name, size(statement.initializer, sizes));
+            else if (statement.kind == "AssignmentStatement")
+                sizes.set(statement.target.name, size(statement.expression, sizes));
+            else if (statement.kind == "IfStatement") {
+                size(statement.condition, sizes);
+                const left = visit(statement.consequent, sizes);
+                const right = statement.alternate ? visit(statement.alternate, sizes) : sizes;
+                for (const name of sizes.keys())
+                    sizes.set(name, left.get(name) === right.get(name) ? left.get(name) : undefined);
+            }
+            else if (statement.kind == "ExpressionStatement" || statement.kind == "PrintStatement" || statement.kind == "ReturnStatement") {
+                if (statement.expression)
+                    size(statement.expression, sizes);
+            }
+        }
+        return sizes;
+    };
+    for (const declaration of module.functions)
+        visit(declaration.body, new Map());
+    visit(module.entryPoint.body, new Map());
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiemlnLXZhbGlkYXRpb24uanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvYmFja2VuZHMvemlnLXZhbGlkYXRpb24uanMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsWUFBWTtBQUVaLE9BQU8sRUFBQyxxQkFBcUIsRUFBQyxNQUFNLGtCQUFrQixDQUFBO0FBRXRELDRGQUE0RjtBQUM1RixNQUFNLENBQUMsTUFBTSxzQkFBc0IsR0FBRyxTQUFTLENBQUE7QUFFL0M7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSxpQkFBaUIsQ0FBQyxNQUFNO0lBQ3RDOzs7OztPQUtHO0lBQ0gsTUFBTSxJQUFJLEdBQUcsQ0FBQyxVQUFVLEVBQUUsS0FBSyxFQUFFLEVBQUU7UUFDakMsSUFBSSxVQUFVLENBQUMsSUFBSSxJQUFJLGdCQUFnQixJQUFJLENBQUMsQ0FBQyxNQUFNLENBQUMsYUFBYSxDQUFDLFVBQVUsQ0FBQyxLQUFLLENBQUMsSUFBSSxVQUFVLENBQUMsS0FBSyxHQUFHLENBQUMsSUFBSSxNQUFNLENBQUMsRUFBRSxDQUFDLFVBQVUsQ0FBQyxLQUFLLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUM7WUFDaEoscUJBQXFCLENBQUMsS0FBSyxFQUFFLHNDQUFzQyxFQUFFLFVBQVUsQ0FBQyxRQUFRLENBQUMsQ0FBQTtRQUMzRixDQUFDO1FBQ0QsSUFBSSxVQUFVLENBQUMsSUFBSSxJQUFJLGVBQWU7WUFBRSxPQUFPLE1BQU0sQ0FBQyxNQUFNLENBQUMsVUFBVSxDQUFDLFVBQVUsQ0FBQyxLQUFLLEVBQUUsTUFBTSxDQUFDLENBQUMsQ0FBQTtRQUNsRyxJQUFJLFVBQVUsQ0FBQyxJQUFJLElBQUksc0JBQXNCO1lBQUUsT0FBTyxLQUFLLENBQUMsR0FBRyxDQUFDLFVBQVUsQ0FBQyxJQUFJLENBQUMsQ0FBQTtRQUNoRixJQUFJLFVBQVUsQ0FBQyxJQUFJLElBQUksZ0JBQWdCO1lBQUUsVUFBVSxDQUFDLFNBQVMsQ0FBQyxPQUFPLENBQUMsUUFBUSxDQUFDLEVBQUUsQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7YUFDbkcsSUFBSSxVQUFVLENBQUMsSUFBSSxJQUFJLGlCQUFpQjtZQUFFLElBQUksQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLEtBQUssQ0FBQyxDQUFBO2FBQ3pFLElBQUksVUFBVSxDQUFDLElBQUksSUFBSSxrQkFBa0IsRUFBRSxDQUFDO1lBQy9DLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQ3pDLE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxVQUFVLENBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBRTNDLElBQUksVUFBVSxDQUFDLFNBQVMsSUFBSSxjQUFjLEVBQUUsQ0FBQztnQkFDM0MsSUFBSSxDQUFDLElBQUksSUFBSSxFQUFFLENBQUMsR0FBRyxDQUFDLEtBQUssSUFBSSxFQUFFLENBQUMsR0FBRyxvQkFBb0IsRUFBRSxDQUFDO29CQUN4RCxxQkFBcUIsQ0FBQyxLQUFLLEVBQUUsMkVBQTJFLEVBQUUsVUFBVSxDQUFDLFFBQVEsQ0FBQyxDQUFBO2dCQUNoSSxDQUFDO2dCQUNELElBQUksSUFBSSxLQUFLLFNBQVMsSUFBSSxLQUFLLEtBQUssU0FBUztvQkFBRSxPQUFPLElBQUksR0FBRyxLQUFLLENBQUE7WUFDcEUsQ0FBQztRQUNILENBQUM7UUFDRCxPQUFPLFNBQVMsQ0FBQTtJQUNsQixDQUFDLENBQUE7SUFDRDs7Ozs7T0FLRztJQUNILE1BQU0sS0FBSyxHQUFHLENBQUMsS0FBSyxFQUFFLFNBQVMsRUFBRSxFQUFFO1FBQ2pDLE1BQU0sS0FBSyxHQUFHLElBQUksR0FBRyxDQUFDLFNBQVMsQ0FBQyxDQUFBO1FBRWhDLEtBQUssTUFBTSxTQUFTLElBQUksS0FBSyxDQUFDLFVBQVUsRUFBRSxDQUFDO1lBQ3pDLElBQUksU0FBUyxDQUFDLElBQUksSUFBSSxrQkFBa0I7Z0JBQUUsS0FBSyxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUMsV0FBVyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7aUJBQ2xHLElBQUksU0FBUyxDQUFDLElBQUksSUFBSSxxQkFBcUI7Z0JBQUUsS0FBSyxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsTUFBTSxDQUFDLElBQUksRUFBRSxJQUFJLENBQUMsU0FBUyxDQUFDLFVBQVUsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO2lCQUNoSCxJQUFJLFNBQVMsQ0FBQyxJQUFJLElBQUksYUFBYSxFQUFFLENBQUM7Z0JBQ3pDLElBQUksQ0FBQyxTQUFTLENBQUMsU0FBUyxFQUFFLEtBQUssQ0FBQyxDQUFBO2dCQUNoQyxNQUFNLElBQUksR0FBRyxLQUFLLENBQUMsU0FBUyxDQUFDLFVBQVUsRUFBRSxLQUFLLENBQUMsQ0FBQTtnQkFDL0MsTUFBTSxLQUFLLEdBQUcsU0FBUyxDQUFDLFNBQVMsQ0FBQyxDQUFDLENBQUMsS0FBSyxDQUFDLFNBQVMsQ0FBQyxTQUFTLEVBQUUsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQTtnQkFFN0UsS0FBSyxNQUFNLElBQUksSUFBSSxLQUFLLENBQUMsSUFBSSxFQUFFO29CQUFFLEtBQUssQ0FBQyxHQUFHLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLEtBQUssS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUE7WUFDbkgsQ0FBQztpQkFBTSxJQUFJLFNBQVMsQ0FBQyxJQUFJLElBQUkscUJBQXFCLElBQUksU0FBUyxDQUFDLElBQUksSUFBSSxnQkFBZ0IsSUFBSSxTQUFTLENBQUMsSUFBSSxJQUFJLGlCQUFpQixFQUFFLENBQUM7Z0JBQ2hJLElBQUksU0FBUyxDQUFDLFVBQVU7b0JBQUUsSUFBSSxDQUFDLFNBQVMsQ0FBQyxVQUFVLEVBQUUsS0FBSyxDQUFDLENBQUE7WUFDN0QsQ0FBQztRQUNILENBQUM7UUFDRCxPQUFPLEtBQUssQ0FBQTtJQUNkLENBQUMsQ0FBQTtJQUVELEtBQUssTUFBTSxXQUFXLElBQUksTUFBTSxDQUFDLFNBQVM7UUFBRSxLQUFLLENBQUMsV0FBVyxDQUFDLElBQUksRUFBRSxJQUFJLEdBQUcsRUFBRSxDQUFDLENBQUE7SUFDOUUsS0FBSyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLElBQUksR0FBRyxFQUFFLENBQUMsQ0FBQTtBQUMxQyxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbmltcG9ydCB7dW5zdXBwb3J0ZWRDYXBhYmlsaXR5fSBmcm9tIFwiLi4vZGlhZ25vc3RpYy5qc1wiXG5cbi8qKiBSZXBvc2l0b3J5LW93bmVkIGJvdW5kIGZvciBmcm96ZW4gQ1NUIHRyYXZlcnNhbCBhbmQgZGV0ZXJtaW5pc3RpYyBwcm9qZWN0IGdlbmVyYXRpb24uICovXG5leHBvcnQgY29uc3QgbWF4aW11bVppZ1NvdXJjZUxlbmd0aCA9IDFfMDAwXzAwMFxuXG4vKipcbiAqIFJlamVjdHMgc3RhdGljYWxseSBpbXBvc3NpYmxlIFVURi04IGFyZW5hIHNpemVzIHdpdGhvdXQgY2hhbmdpbmcgdGhlIHNlbWFudGljIGdyYXBoLlxuICogQHBhcmFtIHtpbXBvcnQoXCIuLi9zZW1hbnRpYy90eXBlcy5qc1wiKS5TZW1hbnRpY01vZHVsZX0gbW9kdWxlIC0gRnVsbHkgdmFsaWRhdGVkIG1vZHVsZS5cbiAqIEByZXR1cm5zIHt2b2lkfVxuICovXG5leHBvcnQgZnVuY3Rpb24gdmFsaWRhdGVaaWdWYWx1ZXMobW9kdWxlKSB7XG4gIC8qKlxuICAgKiBJbmZlcnMgYSBrbm93biBVVEYtOCBieXRlIHNpemUgd2hpbGUgdmFsaWRhdGluZyBsaXRlcmFsIHNoYXBlLlxuICAgKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLkV4cHJlc3Npb259IGV4cHJlc3Npb24gLSBFeHByZXNzaW9uIHRvIGluc3BlY3QuXG4gICAqIEBwYXJhbSB7TWFwPHN0cmluZywgYmlnaW50IHwgdW5kZWZpbmVkPn0gc2l6ZXMgLSBLbm93biBiaW5kaW5nIHNpemVzLlxuICAgKiBAcmV0dXJucyB7YmlnaW50IHwgdW5kZWZpbmVkfSBLbm93biBieXRlIHNpemUgd2hlbiBzdGF0aWNhbGx5IGF2YWlsYWJsZS5cbiAgICovXG4gIGNvbnN0IHNpemUgPSAoZXhwcmVzc2lvbiwgc2l6ZXMpID0+IHtcbiAgICBpZiAoZXhwcmVzc2lvbi5raW5kID09IFwiSW50ZWdlckxpdGVyYWxcIiAmJiAoIU51bWJlci5pc1NhZmVJbnRlZ2VyKGV4cHJlc3Npb24udmFsdWUpIHx8IGV4cHJlc3Npb24udmFsdWUgPCAwIHx8IE9iamVjdC5pcyhleHByZXNzaW9uLnZhbHVlLCAtMCkpKSB7XG4gICAgICB1bnN1cHBvcnRlZENhcGFiaWxpdHkoXCJ6aWdcIiwgXCJub24tc2FmZSBvciBub25jYW5vbmljYWwgaTY0IGxpdGVyYWxcIiwgZXhwcmVzc2lvbi5sb2NhdGlvbilcbiAgICB9XG4gICAgaWYgKGV4cHJlc3Npb24ua2luZCA9PSBcIlN0cmluZ0xpdGVyYWxcIikgcmV0dXJuIEJpZ0ludChCdWZmZXIuYnl0ZUxlbmd0aChleHByZXNzaW9uLnZhbHVlLCBcInV0ZjhcIikpXG4gICAgaWYgKGV4cHJlc3Npb24ua2luZCA9PSBcIklkZW50aWZpZXJFeHByZXNzaW9uXCIpIHJldHVybiBzaXplcy5nZXQoZXhwcmVzc2lvbi5uYW1lKVxuICAgIGlmIChleHByZXNzaW9uLmtpbmQgPT0gXCJDYWxsRXhwcmVzc2lvblwiKSBleHByZXNzaW9uLmFyZ3VtZW50cy5mb3JFYWNoKGFyZ3VtZW50ID0+IHNpemUoYXJndW1lbnQsIHNpemVzKSlcbiAgICBlbHNlIGlmIChleHByZXNzaW9uLmtpbmQgPT0gXCJVbmFyeUV4cHJlc3Npb25cIikgc2l6ZShleHByZXNzaW9uLm9wZXJhbmQsIHNpemVzKVxuICAgIGVsc2UgaWYgKGV4cHJlc3Npb24ua2luZCA9PSBcIkJpbmFyeUV4cHJlc3Npb25cIikge1xuICAgICAgY29uc3QgbGVmdCA9IHNpemUoZXhwcmVzc2lvbi5sZWZ0LCBzaXplcylcbiAgICAgIGNvbnN0IHJpZ2h0ID0gc2l6ZShleHByZXNzaW9uLnJpZ2h0LCBzaXplcylcblxuICAgICAgaWYgKGV4cHJlc3Npb24ub3BlcmF0aW9uID09IFwiU3RyaW5nQ29uY2F0XCIpIHtcbiAgICAgICAgaWYgKChsZWZ0ID8/IDBuKSArIChyaWdodCA/PyAwbikgPiA5MjIzMzcyMDM2ODU0Nzc1ODA3bikge1xuICAgICAgICAgIHVuc3VwcG9ydGVkQ2FwYWJpbGl0eShcInppZ1wiLCBcImtub3duIGltbXV0YWJsZSBVVEYtOCBzbGljZSBleGNlZWRzIHRoZSBxdWFsaWZpZWQgbmF0aXZlIGFsbG9jYXRpb24gbGltaXRcIiwgZXhwcmVzc2lvbi5sb2NhdGlvbilcbiAgICAgICAgfVxuICAgICAgICBpZiAobGVmdCAhPT0gdW5kZWZpbmVkICYmIHJpZ2h0ICE9PSB1bmRlZmluZWQpIHJldHVybiBsZWZ0ICsgcmlnaHRcbiAgICAgIH1cbiAgICB9XG4gICAgcmV0dXJuIHVuZGVmaW5lZFxuICB9XG4gIC8qKlxuICAgKiBQcm9wYWdhdGVzIGNvbnNlcnZhdGl2ZSBrbm93biBzdHJpbmcgc2l6ZXMgdGhyb3VnaCBvbmUgYmxvY2suXG4gICAqIEBwYXJhbSB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuQmxvY2t9IGJsb2NrIC0gQmxvY2sgdG8gaW5zcGVjdC5cbiAgICogQHBhcmFtIHtNYXA8c3RyaW5nLCBiaWdpbnQgfCB1bmRlZmluZWQ+fSBpbmhlcml0ZWQgLSBTaXplcyB2aXNpYmxlIG9uIGVudHJ5LlxuICAgKiBAcmV0dXJucyB7TWFwPHN0cmluZywgYmlnaW50IHwgdW5kZWZpbmVkPn0gU2l6ZXMga25vd24gYWZ0ZXIgdGhlIGJsb2NrLlxuICAgKi9cbiAgY29uc3QgdmlzaXQgPSAoYmxvY2ssIGluaGVyaXRlZCkgPT4ge1xuICAgIGNvbnN0IHNpemVzID0gbmV3IE1hcChpbmhlcml0ZWQpXG5cbiAgICBmb3IgKGNvbnN0IHN0YXRlbWVudCBvZiBibG9jay5zdGF0ZW1lbnRzKSB7XG4gICAgICBpZiAoc3RhdGVtZW50LmtpbmQgPT0gXCJMb2NhbERlY2xhcmF0aW9uXCIpIHNpemVzLnNldChzdGF0ZW1lbnQubmFtZSwgc2l6ZShzdGF0ZW1lbnQuaW5pdGlhbGl6ZXIsIHNpemVzKSlcbiAgICAgIGVsc2UgaWYgKHN0YXRlbWVudC5raW5kID09IFwiQXNzaWdubWVudFN0YXRlbWVudFwiKSBzaXplcy5zZXQoc3RhdGVtZW50LnRhcmdldC5uYW1lLCBzaXplKHN0YXRlbWVudC5leHByZXNzaW9uLCBzaXplcykpXG4gICAgICBlbHNlIGlmIChzdGF0ZW1lbnQua2luZCA9PSBcIklmU3RhdGVtZW50XCIpIHtcbiAgICAgICAgc2l6ZShzdGF0ZW1lbnQuY29uZGl0aW9uLCBzaXplcylcbiAgICAgICAgY29uc3QgbGVmdCA9IHZpc2l0KHN0YXRlbWVudC5jb25zZXF1ZW50LCBzaXplcylcbiAgICAgICAgY29uc3QgcmlnaHQgPSBzdGF0ZW1lbnQuYWx0ZXJuYXRlID8gdmlzaXQoc3RhdGVtZW50LmFsdGVybmF0ZSwgc2l6ZXMpIDogc2l6ZXNcblxuICAgICAgICBmb3IgKGNvbnN0IG5hbWUgb2Ygc2l6ZXMua2V5cygpKSBzaXplcy5zZXQobmFtZSwgbGVmdC5nZXQobmFtZSkgPT09IHJpZ2h0LmdldChuYW1lKSA/IGxlZnQuZ2V0KG5hbWUpIDogdW5kZWZpbmVkKVxuICAgICAgfSBlbHNlIGlmIChzdGF0ZW1lbnQua2luZCA9PSBcIkV4cHJlc3Npb25TdGF0ZW1lbnRcIiB8fCBzdGF0ZW1lbnQua2luZCA9PSBcIlByaW50U3RhdGVtZW50XCIgfHwgc3RhdGVtZW50LmtpbmQgPT0gXCJSZXR1cm5TdGF0ZW1lbnRcIikge1xuICAgICAgICBpZiAoc3RhdGVtZW50LmV4cHJlc3Npb24pIHNpemUoc3RhdGVtZW50LmV4cHJlc3Npb24sIHNpemVzKVxuICAgICAgfVxuICAgIH1cbiAgICByZXR1cm4gc2l6ZXNcbiAgfVxuXG4gIGZvciAoY29uc3QgZGVjbGFyYXRpb24gb2YgbW9kdWxlLmZ1bmN0aW9ucykgdmlzaXQoZGVjbGFyYXRpb24uYm9keSwgbmV3IE1hcCgpKVxuICB2aXNpdChtb2R1bGUuZW50cnlQb2ludC5ib2R5LCBuZXcgTWFwKCkpXG59XG4iXX0=

package/build/src/backends/zig.d.ts

@@ -0,0 +1,42 @@
+export type SemanticModule = import("../semantic/types.js").SemanticModule;
+export type SemanticNode = import("../semantic/types.js").SemanticNode;
+export type Expression = import("../semantic/types.js").Expression;
+export type Statement = import("../semantic/types.js").Statement;
+export type Scalar = import("../semantic/types.js").FunctionReturnTypeName;
+export type ZigPlannedValue = {
+    expression: Expression;
+    path: string;
+    type: Scalar;
+    name?: string;
+};
+export type ZigPlannedStep = {
+    result: ZigPlannedValue;
+    operands: ZigPlannedValue[];
+    rightSteps?: ZigPlannedStep[];
+};
+export type ZigStatementPlan = {
+    id: string;
+    steps: ZigPlannedStep[];
+    terminal?: ZigPlannedStep;
+    value?: ZigPlannedValue;
+};
+/**
+ * Produces a deterministic dependency-free Zig 0.15.2 native project after complete preflight.
+ * @param {{filename?: string, mapDirective?: unknown, module: SemanticModule, sourceMapFilename?: unknown, sources?: {filename: string, content: string, language?: import("../semantic/types.js").SemanticLanguage}[]}} input - Artifact request.
+ * @returns {{artifacts: import("../semantic/types.js").GeneratedSetArtifact[], target: string}} Candidate project.
+ */
+export declare function generateZigProject({ filename, mapDirective, module, sourceMapFilename, sources }: {
+    filename?: string;
+    mapDirective?: unknown;
+    module: SemanticModule;
+    sourceMapFilename?: unknown;
+    sources?: {
+        filename: string;
+        content: string;
+        language?: import("../semantic/types.js").SemanticLanguage;
+    }[];
+}): {
+    artifacts: import("../semantic/types.js").GeneratedSetArtifact[];
+    target: string;
+};
+//# sourceMappingURL=zig.d.ts.map

package/build/src/backends/zig.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zig.d.ts","sourceRoot":"","sources":["../../../src/backends/zig.js"],"names":[],"mappings":"AAcI,YAAyD,cAAc,GAA7D,OAAO,sBAAsB,EAAE,cAAc,CAAgB;AACvE,YAAuD,YAAY,GAAzD,OAAO,sBAAsB,EAAE,YAAY,CAAc;AACnE,YAAqD,UAAU,GAArD,OAAO,sBAAsB,EAAE,UAAU,CAAY;AAC/D,YAAoD,SAAS,GAAnD,OAAO,sBAAsB,EAAE,SAAS,CAAW;AAC7D,YAAiE,MAAM,GAA7D,OAAO,sBAAsB,EAAE,sBAAsB,CAAQ;AACvE,YAA+E,eAAe,GAApF;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAC,CAAiB;AAC9F,YAAiG,cAAc,GAArG;IAAC,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAAC,UAAU,CAAC,EAAE,cAAc,EAAE,CAAA;CAAC,CAAgB;AAC/G,YAAqG,gBAAgB,GAA3G;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,cAAc,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;IAAC,KAAK,CAAC,EAAE,eAAe,CAAA;CAAC,CAAkB;AA6LzH;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,EAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAC,EAHpF;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,cAAc,CAAC;IAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAAC,OAAO,CAAC,EAAE;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAA;KAAC,EAAE,CAAA;CAGxH,GAFlF;IAAC,SAAS,EAAE,OAAO,sBAAsB,EAAE,oBAAoB,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,CA4B9F"}