semantifold 0.1.1 → 0.3.0

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

@@ -0,0 +1,151 @@
+// @ts-check
+/** Canonical C17 support header; native ownership never enters semantic IR. */
+export const cRuntimeHeader = `#ifndef SEMANTIFOLD_RUNTIME_H
+#define SEMANTIFOLD_RUNTIME_H
+
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
+#include <limits.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+
+_Static_assert(CHAR_BIT == 8, "Semantifold requires eight-bit bytes");
+_Static_assert(sizeof(int64_t) == 8, "Semantifold requires exact int64_t");
+_Static_assert(sizeof(size_t) == 8 && PTRDIFF_MAX == INT64_MAX, "Semantifold requires the qualified 64-bit ABI");
+
+typedef struct {
+    const unsigned char *data;
+    size_t length;
+} SemantifoldString;
+
+#define SEMANTIFOLD_STRING(literal) ((SemantifoldString){(const unsigned char *)(literal), sizeof(literal) - 1})
+
+typedef struct SemantifoldAllocation {
+    struct SemantifoldAllocation *next;
+    unsigned char data[];
+} SemantifoldAllocation;
+
+_Static_assert(sizeof(SemantifoldAllocation) == 8, "Semantifold requires the qualified arena metadata size");
+
+static SemantifoldAllocation *semantifold_arena = NULL;
+static size_t semantifold_arena_bytes = 0;
+
+static inline void semantifold_cleanup(void) {
+    while (semantifold_arena != NULL) {
+        SemantifoldAllocation *allocation = semantifold_arena;
+        semantifold_arena = allocation->next;
+        free(allocation);
+    }
+    semantifold_arena_bytes = 0;
+}
+
+_Noreturn static inline void semantifold_fatal(const char *message, size_t length) {
+    semantifold_cleanup();
+    (void)fwrite(message, 1, length, stderr);
+    exit(70);
+}
+
+static inline int64_t semantifold_integer_add(int64_t left, int64_t right) {
+    int64_t result;
+    if (__builtin_add_overflow(left, right, &result)) {
+        semantifold_fatal("semantifold: integer overflow\\n", sizeof("semantifold: integer overflow\\n") - 1);
+    }
+    return result;
+}
+
+static inline int64_t semantifold_integer_subtract(int64_t left, int64_t right) {
+    int64_t result;
+    if (__builtin_sub_overflow(left, right, &result)) {
+        semantifold_fatal("semantifold: integer overflow\\n", sizeof("semantifold: integer overflow\\n") - 1);
+    }
+    return result;
+}
+
+static inline int64_t semantifold_integer_multiply(int64_t left, int64_t right) {
+    int64_t result;
+    if (__builtin_mul_overflow(left, right, &result)) {
+        semantifold_fatal("semantifold: integer overflow\\n", sizeof("semantifold: integer overflow\\n") - 1);
+    }
+    return result;
+}
+
+static inline int64_t semantifold_integer_negate(int64_t value) {
+    return semantifold_integer_subtract(INT64_C(0), value);
+}
+
+static inline size_t semantifold_allocation_size(size_t left, size_t right) {
+    const size_t maximum = (size_t)PTRDIFF_MAX;
+    if (left > maximum || right > maximum - left ||
+        left + right > maximum - sizeof(SemantifoldAllocation)) {
+        semantifold_fatal("semantifold: allocation size\\n", sizeof("semantifold: allocation size\\n") - 1);
+    }
+    const size_t size = sizeof(SemantifoldAllocation) + left + right;
+    if (semantifold_arena_bytes > maximum - size) {
+        semantifold_fatal("semantifold: allocation size\\n", sizeof("semantifold: allocation size\\n") - 1);
+    }
+    return size;
+}
+
+static inline SemantifoldString semantifold_string_concat(SemantifoldString left, SemantifoldString right) {
+    const size_t size = semantifold_allocation_size(left.length, right.length);
+    SemantifoldAllocation *allocation = malloc(size);
+    if (allocation == NULL) {
+        semantifold_fatal("semantifold: allocation failure\\n", sizeof("semantifold: allocation failure\\n") - 1);
+    }
+    allocation->next = semantifold_arena;
+    semantifold_arena = allocation;
+    semantifold_arena_bytes += size;
+    if (left.length != 0) (void)memcpy(allocation->data, left.data, left.length);
+    if (right.length != 0) (void)memcpy(allocation->data + left.length, right.data, right.length);
+    return (SemantifoldString){allocation->data, left.length + right.length};
+}
+
+static inline bool semantifold_string_equal(SemantifoldString left, SemantifoldString right) {
+    return left.length == right.length && (left.length == 0 || memcmp(left.data, right.data, left.length) == 0);
+}
+
+static inline bool semantifold_string_not_equal(SemantifoldString left, SemantifoldString right) {
+    return !semantifold_string_equal(left, right);
+}
+
+static inline void semantifold_write(const unsigned char *data, size_t length) {
+    if (length != 0 && fwrite(data, 1, length, stdout) != length) {
+        semantifold_fatal("semantifold: output failure\\n", sizeof("semantifold: output failure\\n") - 1);
+    }
+}
+
+static inline void semantifold_newline(void) {
+    semantifold_write((const unsigned char *)"\\n", 1);
+    if (fflush(stdout) != 0) semantifold_fatal("semantifold: output failure\\n", sizeof("semantifold: output failure\\n") - 1);
+}
+
+static inline void semantifold_print_string(SemantifoldString value) {
+    semantifold_write(value.data, value.length);
+    semantifold_newline();
+}
+
+static inline void semantifold_print_boolean(bool value) {
+    if (value) semantifold_write((const unsigned char *)"true", 4);
+    else semantifold_write((const unsigned char *)"false", 5);
+    semantifold_newline();
+}
+
+static inline void semantifold_print_integer(int64_t value) {
+    unsigned char digits[20];
+    size_t position = sizeof(digits);
+    uint64_t magnitude = (uint64_t)value;
+    if (value < 0) magnitude = UINT64_C(0) - magnitude;
+    do {
+        digits[--position] = (unsigned char)(UINT64_C(48) + magnitude % UINT64_C(10));
+        magnitude /= UINT64_C(10);
+    } while (magnitude != 0);
+    if (value < 0) digits[--position] = (unsigned char)45;
+    semantifold_write(digits + position, sizeof(digits) - position);
+    semantifold_newline();
+}
+
+#endif
+`;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYy1ydW50aW1lLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2JhY2tlbmRzL2MtcnVudGltZS5qcyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxZQUFZO0FBRVosK0VBQStFO0FBQy9FLE1BQU0sQ0FBQyxNQUFNLGNBQWMsR0FBRzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBbUo3QixDQUFBIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbi8qKiBDYW5vbmljYWwgQzE3IHN1cHBvcnQgaGVhZGVyOyBuYXRpdmUgb3duZXJzaGlwIG5ldmVyIGVudGVycyBzZW1hbnRpYyBJUi4gKi9cbmV4cG9ydCBjb25zdCBjUnVudGltZUhlYWRlciA9IGAjaWZuZGVmIFNFTUFOVElGT0xEX1JVTlRJTUVfSFxuI2RlZmluZSBTRU1BTlRJRk9MRF9SVU5USU1FX0hcblxuI2luY2x1ZGUgPHN0ZGJvb2wuaD5cbiNpbmNsdWRlIDxzdGRkZWYuaD5cbiNpbmNsdWRlIDxzdGRpbnQuaD5cbiNpbmNsdWRlIDxsaW1pdHMuaD5cbiNpbmNsdWRlIDxzdGRpby5oPlxuI2luY2x1ZGUgPHN0ZGxpYi5oPlxuI2luY2x1ZGUgPHN0cmluZy5oPlxuXG5fU3RhdGljX2Fzc2VydChDSEFSX0JJVCA9PSA4LCBcIlNlbWFudGlmb2xkIHJlcXVpcmVzIGVpZ2h0LWJpdCBieXRlc1wiKTtcbl9TdGF0aWNfYXNzZXJ0KHNpemVvZihpbnQ2NF90KSA9PSA4LCBcIlNlbWFudGlmb2xkIHJlcXVpcmVzIGV4YWN0IGludDY0X3RcIik7XG5fU3RhdGljX2Fzc2VydChzaXplb2Yoc2l6ZV90KSA9PSA4ICYmIFBUUkRJRkZfTUFYID09IElOVDY0X01BWCwgXCJTZW1hbnRpZm9sZCByZXF1aXJlcyB0aGUgcXVhbGlmaWVkIDY0LWJpdCBBQklcIik7XG5cbnR5cGVkZWYgc3RydWN0IHtcbiAgICBjb25zdCB1bnNpZ25lZCBjaGFyICpkYXRhO1xuICAgIHNpemVfdCBsZW5ndGg7XG59IFNlbWFudGlmb2xkU3RyaW5nO1xuXG4jZGVmaW5lIFNFTUFOVElGT0xEX1NUUklORyhsaXRlcmFsKSAoKFNlbWFudGlmb2xkU3RyaW5nKXsoY29uc3QgdW5zaWduZWQgY2hhciAqKShsaXRlcmFsKSwgc2l6ZW9mKGxpdGVyYWwpIC0gMX0pXG5cbnR5cGVkZWYgc3RydWN0IFNlbWFudGlmb2xkQWxsb2NhdGlvbiB7XG4gICAgc3RydWN0IFNlbWFudGlmb2xkQWxsb2NhdGlvbiAqbmV4dDtcbiAgICB1bnNpZ25lZCBjaGFyIGRhdGFbXTtcbn0gU2VtYW50aWZvbGRBbGxvY2F0aW9uO1xuXG5fU3RhdGljX2Fzc2VydChzaXplb2YoU2VtYW50aWZvbGRBbGxvY2F0aW9uKSA9PSA4LCBcIlNlbWFudGlmb2xkIHJlcXVpcmVzIHRoZSBxdWFsaWZpZWQgYXJlbmEgbWV0YWRhdGEgc2l6ZVwiKTtcblxuc3RhdGljIFNlbWFudGlmb2xkQWxsb2NhdGlvbiAqc2VtYW50aWZvbGRfYXJlbmEgPSBOVUxMO1xuc3RhdGljIHNpemVfdCBzZW1hbnRpZm9sZF9hcmVuYV9ieXRlcyA9IDA7XG5cbnN0YXRpYyBpbmxpbmUgdm9pZCBzZW1hbnRpZm9sZF9jbGVhbnVwKHZvaWQpIHtcbiAgICB3aGlsZSAoc2VtYW50aWZvbGRfYXJlbmEgIT0gTlVMTCkge1xuICAgICAgICBTZW1hbnRpZm9sZEFsbG9jYXRpb24gKmFsbG9jYXRpb24gPSBzZW1hbnRpZm9sZF9hcmVuYTtcbiAgICAgICAgc2VtYW50aWZvbGRfYXJlbmEgPSBhbGxvY2F0aW9uLT5uZXh0O1xuICAgICAgICBmcmVlKGFsbG9jYXRpb24pO1xuICAgIH1cbiAgICBzZW1hbnRpZm9sZF9hcmVuYV9ieXRlcyA9IDA7XG59XG5cbl9Ob3JldHVybiBzdGF0aWMgaW5saW5lIHZvaWQgc2VtYW50aWZvbGRfZmF0YWwoY29uc3QgY2hhciAqbWVzc2FnZSwgc2l6ZV90IGxlbmd0aCkge1xuICAgIHNlbWFudGlmb2xkX2NsZWFudXAoKTtcbiAgICAodm9pZClmd3JpdGUobWVzc2FnZSwgMSwgbGVuZ3RoLCBzdGRlcnIpO1xuICAgIGV4aXQoNzApO1xufVxuXG5zdGF0aWMgaW5saW5lIGludDY0X3Qgc2VtYW50aWZvbGRfaW50ZWdlcl9hZGQoaW50NjRfdCBsZWZ0LCBpbnQ2NF90IHJpZ2h0KSB7XG4gICAgaW50NjRfdCByZXN1bHQ7XG4gICAgaWYgKF9fYnVpbHRpbl9hZGRfb3ZlcmZsb3cobGVmdCwgcmlnaHQsICZyZXN1bHQpKSB7XG4gICAgICAgIHNlbWFudGlmb2xkX2ZhdGFsKFwic2VtYW50aWZvbGQ6IGludGVnZXIgb3ZlcmZsb3dcXFxcblwiLCBzaXplb2YoXCJzZW1hbnRpZm9sZDogaW50ZWdlciBvdmVyZmxvd1xcXFxuXCIpIC0gMSk7XG4gICAgfVxuICAgIHJldHVybiByZXN1bHQ7XG59XG5cbnN0YXRpYyBpbmxpbmUgaW50NjRfdCBzZW1hbnRpZm9sZF9pbnRlZ2VyX3N1YnRyYWN0KGludDY0X3QgbGVmdCwgaW50NjRfdCByaWdodCkge1xuICAgIGludDY0X3QgcmVzdWx0O1xuICAgIGlmIChfX2J1aWx0aW5fc3ViX292ZXJmbG93KGxlZnQsIHJpZ2h0LCAmcmVzdWx0KSkge1xuICAgICAgICBzZW1hbnRpZm9sZF9mYXRhbChcInNlbWFudGlmb2xkOiBpbnRlZ2VyIG92ZXJmbG93XFxcXG5cIiwgc2l6ZW9mKFwic2VtYW50aWZvbGQ6IGludGVnZXIgb3ZlcmZsb3dcXFxcblwiKSAtIDEpO1xuICAgIH1cbiAgICByZXR1cm4gcmVzdWx0O1xufVxuXG5zdGF0aWMgaW5saW5lIGludDY0X3Qgc2VtYW50aWZvbGRfaW50ZWdlcl9tdWx0aXBseShpbnQ2NF90IGxlZnQsIGludDY0X3QgcmlnaHQpIHtcbiAgICBpbnQ2NF90IHJlc3VsdDtcbiAgICBpZiAoX19idWlsdGluX211bF9vdmVyZmxvdyhsZWZ0LCByaWdodCwgJnJlc3VsdCkpIHtcbiAgICAgICAgc2VtYW50aWZvbGRfZmF0YWwoXCJzZW1hbnRpZm9sZDogaW50ZWdlciBvdmVyZmxvd1xcXFxuXCIsIHNpemVvZihcInNlbWFudGlmb2xkOiBpbnRlZ2VyIG92ZXJmbG93XFxcXG5cIikgLSAxKTtcbiAgICB9XG4gICAgcmV0dXJuIHJlc3VsdDtcbn1cblxuc3RhdGljIGlubGluZSBpbnQ2NF90IHNlbWFudGlmb2xkX2ludGVnZXJfbmVnYXRlKGludDY0X3QgdmFsdWUpIHtcbiAgICByZXR1cm4gc2VtYW50aWZvbGRfaW50ZWdlcl9zdWJ0cmFjdChJTlQ2NF9DKDApLCB2YWx1ZSk7XG59XG5cbnN0YXRpYyBpbmxpbmUgc2l6ZV90IHNlbWFudGlmb2xkX2FsbG9jYXRpb25fc2l6ZShzaXplX3QgbGVmdCwgc2l6ZV90IHJpZ2h0KSB7XG4gICAgY29uc3Qgc2l6ZV90IG1heGltdW0gPSAoc2l6ZV90KVBUUkRJRkZfTUFYO1xuICAgIGlmIChsZWZ0ID4gbWF4aW11bSB8fCByaWdodCA+IG1heGltdW0gLSBsZWZ0IHx8XG4gICAgICAgIGxlZnQgKyByaWdodCA+IG1heGltdW0gLSBzaXplb2YoU2VtYW50aWZvbGRBbGxvY2F0aW9uKSkge1xuICAgICAgICBzZW1hbnRpZm9sZF9mYXRhbChcInNlbWFudGlmb2xkOiBhbGxvY2F0aW9uIHNpemVcXFxcblwiLCBzaXplb2YoXCJzZW1hbnRpZm9sZDogYWxsb2NhdGlvbiBzaXplXFxcXG5cIikgLSAxKTtcbiAgICB9XG4gICAgY29uc3Qgc2l6ZV90IHNpemUgPSBzaXplb2YoU2VtYW50aWZvbGRBbGxvY2F0aW9uKSArIGxlZnQgKyByaWdodDtcbiAgICBpZiAoc2VtYW50aWZvbGRfYXJlbmFfYnl0ZXMgPiBtYXhpbXVtIC0gc2l6ZSkge1xuICAgICAgICBzZW1hbnRpZm9sZF9mYXRhbChcInNlbWFudGlmb2xkOiBhbGxvY2F0aW9uIHNpemVcXFxcblwiLCBzaXplb2YoXCJzZW1hbnRpZm9sZDogYWxsb2NhdGlvbiBzaXplXFxcXG5cIikgLSAxKTtcbiAgICB9XG4gICAgcmV0dXJuIHNpemU7XG59XG5cbnN0YXRpYyBpbmxpbmUgU2VtYW50aWZvbGRTdHJpbmcgc2VtYW50aWZvbGRfc3RyaW5nX2NvbmNhdChTZW1hbnRpZm9sZFN0cmluZyBsZWZ0LCBTZW1hbnRpZm9sZFN0cmluZyByaWdodCkge1xuICAgIGNvbnN0IHNpemVfdCBzaXplID0gc2VtYW50aWZvbGRfYWxsb2NhdGlvbl9zaXplKGxlZnQubGVuZ3RoLCByaWdodC5sZW5ndGgpO1xuICAgIFNlbWFudGlmb2xkQWxsb2NhdGlvbiAqYWxsb2NhdGlvbiA9IG1hbGxvYyhzaXplKTtcbiAgICBpZiAoYWxsb2NhdGlvbiA9PSBOVUxMKSB7XG4gICAgICAgIHNlbWFudGlmb2xkX2ZhdGFsKFwic2VtYW50aWZvbGQ6IGFsbG9jYXRpb24gZmFpbHVyZVxcXFxuXCIsIHNpemVvZihcInNlbWFudGlmb2xkOiBhbGxvY2F0aW9uIGZhaWx1cmVcXFxcblwiKSAtIDEpO1xuICAgIH1cbiAgICBhbGxvY2F0aW9uLT5uZXh0ID0gc2VtYW50aWZvbGRfYXJlbmE7XG4gICAgc2VtYW50aWZvbGRfYXJlbmEgPSBhbGxvY2F0aW9uO1xuICAgIHNlbWFudGlmb2xkX2FyZW5hX2J5dGVzICs9IHNpemU7XG4gICAgaWYgKGxlZnQubGVuZ3RoICE9IDApICh2b2lkKW1lbWNweShhbGxvY2F0aW9uLT5kYXRhLCBsZWZ0LmRhdGEsIGxlZnQubGVuZ3RoKTtcbiAgICBpZiAocmlnaHQubGVuZ3RoICE9IDApICh2b2lkKW1lbWNweShhbGxvY2F0aW9uLT5kYXRhICsgbGVmdC5sZW5ndGgsIHJpZ2h0LmRhdGEsIHJpZ2h0Lmxlbmd0aCk7XG4gICAgcmV0dXJuIChTZW1hbnRpZm9sZFN0cmluZyl7YWxsb2NhdGlvbi0+ZGF0YSwgbGVmdC5sZW5ndGggKyByaWdodC5sZW5ndGh9O1xufVxuXG5zdGF0aWMgaW5saW5lIGJvb2wgc2VtYW50aWZvbGRfc3RyaW5nX2VxdWFsKFNlbWFudGlmb2xkU3RyaW5nIGxlZnQsIFNlbWFudGlmb2xkU3RyaW5nIHJpZ2h0KSB7XG4gICAgcmV0dXJuIGxlZnQubGVuZ3RoID09IHJpZ2h0Lmxlbmd0aCAmJiAobGVmdC5sZW5ndGggPT0gMCB8fCBtZW1jbXAobGVmdC5kYXRhLCByaWdodC5kYXRhLCBsZWZ0Lmxlbmd0aCkgPT0gMCk7XG59XG5cbnN0YXRpYyBpbmxpbmUgYm9vbCBzZW1hbnRpZm9sZF9zdHJpbmdfbm90X2VxdWFsKFNlbWFudGlmb2xkU3RyaW5nIGxlZnQsIFNlbWFudGlmb2xkU3RyaW5nIHJpZ2h0KSB7XG4gICAgcmV0dXJuICFzZW1hbnRpZm9sZF9zdHJpbmdfZXF1YWwobGVmdCwgcmlnaHQpO1xufVxuXG5zdGF0aWMgaW5saW5lIHZvaWQgc2VtYW50aWZvbGRfd3JpdGUoY29uc3QgdW5zaWduZWQgY2hhciAqZGF0YSwgc2l6ZV90IGxlbmd0aCkge1xuICAgIGlmIChsZW5ndGggIT0gMCAmJiBmd3JpdGUoZGF0YSwgMSwgbGVuZ3RoLCBzdGRvdXQpICE9IGxlbmd0aCkge1xuICAgICAgICBzZW1hbnRpZm9sZF9mYXRhbChcInNlbWFudGlmb2xkOiBvdXRwdXQgZmFpbHVyZVxcXFxuXCIsIHNpemVvZihcInNlbWFudGlmb2xkOiBvdXRwdXQgZmFpbHVyZVxcXFxuXCIpIC0gMSk7XG4gICAgfVxufVxuXG5zdGF0aWMgaW5saW5lIHZvaWQgc2VtYW50aWZvbGRfbmV3bGluZSh2b2lkKSB7XG4gICAgc2VtYW50aWZvbGRfd3JpdGUoKGNvbnN0IHVuc2lnbmVkIGNoYXIgKilcIlxcXFxuXCIsIDEpO1xuICAgIGlmIChmZmx1c2goc3Rkb3V0KSAhPSAwKSBzZW1hbnRpZm9sZF9mYXRhbChcInNlbWFudGlmb2xkOiBvdXRwdXQgZmFpbHVyZVxcXFxuXCIsIHNpemVvZihcInNlbWFudGlmb2xkOiBvdXRwdXQgZmFpbHVyZVxcXFxuXCIpIC0gMSk7XG59XG5cbnN0YXRpYyBpbmxpbmUgdm9pZCBzZW1hbnRpZm9sZF9wcmludF9zdHJpbmcoU2VtYW50aWZvbGRTdHJpbmcgdmFsdWUpIHtcbiAgICBzZW1hbnRpZm9sZF93cml0ZSh2YWx1ZS5kYXRhLCB2YWx1ZS5sZW5ndGgpO1xuICAgIHNlbWFudGlmb2xkX25ld2xpbmUoKTtcbn1cblxuc3RhdGljIGlubGluZSB2b2lkIHNlbWFudGlmb2xkX3ByaW50X2Jvb2xlYW4oYm9vbCB2YWx1ZSkge1xuICAgIGlmICh2YWx1ZSkgc2VtYW50aWZvbGRfd3JpdGUoKGNvbnN0IHVuc2lnbmVkIGNoYXIgKilcInRydWVcIiwgNCk7XG4gICAgZWxzZSBzZW1hbnRpZm9sZF93cml0ZSgoY29uc3QgdW5zaWduZWQgY2hhciAqKVwiZmFsc2VcIiwgNSk7XG4gICAgc2VtYW50aWZvbGRfbmV3bGluZSgpO1xufVxuXG5zdGF0aWMgaW5saW5lIHZvaWQgc2VtYW50aWZvbGRfcHJpbnRfaW50ZWdlcihpbnQ2NF90IHZhbHVlKSB7XG4gICAgdW5zaWduZWQgY2hhciBkaWdpdHNbMjBdO1xuICAgIHNpemVfdCBwb3NpdGlvbiA9IHNpemVvZihkaWdpdHMpO1xuICAgIHVpbnQ2NF90IG1hZ25pdHVkZSA9ICh1aW50NjRfdCl2YWx1ZTtcbiAgICBpZiAodmFsdWUgPCAwKSBtYWduaXR1ZGUgPSBVSU5UNjRfQygwKSAtIG1hZ25pdHVkZTtcbiAgICBkbyB7XG4gICAgICAgIGRpZ2l0c1stLXBvc2l0aW9uXSA9ICh1bnNpZ25lZCBjaGFyKShVSU5UNjRfQyg0OCkgKyBtYWduaXR1ZGUgJSBVSU5UNjRfQygxMCkpO1xuICAgICAgICBtYWduaXR1ZGUgLz0gVUlOVDY0X0MoMTApO1xuICAgIH0gd2hpbGUgKG1hZ25pdHVkZSAhPSAwKTtcbiAgICBpZiAodmFsdWUgPCAwKSBkaWdpdHNbLS1wb3NpdGlvbl0gPSAodW5zaWduZWQgY2hhcik0NTtcbiAgICBzZW1hbnRpZm9sZF93cml0ZShkaWdpdHMgKyBwb3NpdGlvbiwgc2l6ZW9mKGRpZ2l0cykgLSBwb3NpdGlvbik7XG4gICAgc2VtYW50aWZvbGRfbmV3bGluZSgpO1xufVxuXG4jZW5kaWZcbmBcbiJdfQ==

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

@@ -0,0 +1,12 @@
+export type SemanticModule = import("../semantic/types.js").SemanticModule;
+export type Expression = import("../semantic/types.js").Expression;
+export type SourceLocation = import("../semantic/types.js").SourceLocation;
+/** Maximum UTF-16 input accepted by the unchanged qualified legacy parser. */
+export declare const maximumCSourceLength = 32767;
+/**
+ * Rejects compile-time-known object and arena sizes; unknown runtime lengths remain checked in C.
+ * @param {SemanticModule} module - Shape/type-validated module.
+ * @returns {void}
+ */
+export declare function validateCMemory(module: SemanticModule): void;
+//# sourceMappingURL=c-validation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"c-validation.d.ts","sourceRoot":"","sources":["../../../src/backends/c-validation.js"],"names":[],"mappings":"AAII,YAAyD,cAAc,GAA7D,OAAO,sBAAsB,EAAE,cAAc,CAAgB;AACvE,YAAqD,UAAU,GAArD,OAAO,sBAAsB,EAAE,UAAU,CAAY;AAC/D,YAAyD,cAAc,GAA7D,OAAO,sBAAsB,EAAE,cAAc,CAAgB;AAG3E,8EAA8E;AAC9E,eAAO,MAAM,oBAAoB,QAAQ,CAAA;AAEzC;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAH3B,cAG2B,GAFzB,IAAI,CAmEhB"}

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

@@ -0,0 +1,85 @@
+// @ts-check
+import { unsupportedCapability } from "../diagnostic.js";
+/** @typedef {import("../semantic/types.js").SemanticModule} SemanticModule */
+/** @typedef {import("../semantic/types.js").Expression} Expression */
+/** @typedef {import("../semantic/types.js").SourceLocation} SourceLocation */
+const maximumObjectBytes = 9223372036854775807n;
+/** Maximum UTF-16 input accepted by the unchanged qualified legacy parser. */
+export const maximumCSourceLength = 32767;
+const allocationMetadataBytes = 8n;
+/**
+ * Rejects compile-time-known object and arena sizes; unknown runtime lengths remain checked in C.
+ * @param {SemanticModule} module - Shape/type-validated module.
+ * @returns {void}
+ */
+export function validateCMemory(module) {
+    /**
+     * Checks one expression and its known byte lengths without folding the IR.
+     * @param {Expression} expression - Semantic expression.
+     * @param {Map<string, bigint | undefined>} lengths - Visible immutable or assigned lengths.
+     * @param {{bytes: bigint}} arena - Known minimum allocations in this lexical path.
+     * @returns {bigint | undefined} Known UTF-8 byte length.
+     */
+    function size(expression, lengths, arena) {
+        if (expression.kind == "StringLiteral") {
+            const bytes = BigInt(Buffer.byteLength(expression.value, "utf8"));
+            if (bytes > 4095n)
+                unsupportedCapability("c", "UTF-8 literal exceeds the strict C17 4095-byte translation limit", expression.location);
+            return bytes;
+        }
+        if (expression.kind == "IdentifierExpression")
+            return lengths.get(expression.name);
+        if (expression.kind == "CallExpression") {
+            for (const argument of expression.arguments)
+                size(argument, lengths, arena);
+        }
+        else if (expression.kind == "UnaryExpression")
+            size(expression.operand, lengths, arena);
+        else if (expression.kind == "BinaryExpression") {
+            const left = size(expression.left, lengths, arena);
+            const right = size(expression.right, lengths, arena);
+            if (expression.operation == "StringConcat") {
+                const minimum = (left ?? 0n) + (right ?? 0n);
+                arena.bytes += allocationMetadataBytes + minimum;
+                if (minimum > maximumObjectBytes - allocationMetadataBytes || arena.bytes > maximumObjectBytes) {
+                    unsupportedCapability("c", "known immutable slice or module arena size exceeds PTRDIFF_MAX", expression.location);
+                }
+                return left === undefined || right === undefined ? undefined : left + right;
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Propagates known local descriptor sizes through straight-line code and both branch paths.
+     * @param {import("../semantic/types.js").Block} block - Semantic block.
+     * @param {Map<string, bigint | undefined>} inherited - Visible known lengths.
+     * @param {{bytes: bigint}} arena - Known path allocation size.
+     * @returns {Map<string, bigint | undefined>} Outgoing known lengths.
+     */
+    function visit(block, inherited, arena) {
+        const lengths = new Map(inherited);
+        for (const statement of block.statements) {
+            if (statement.kind == "LocalDeclaration")
+                lengths.set(statement.name, size(statement.initializer, lengths, arena));
+            else if (statement.kind == "AssignmentStatement")
+                lengths.set(statement.target.name, size(statement.expression, lengths, arena));
+            else if (statement.kind == "IfStatement") {
+                size(statement.condition, lengths, arena);
+                const leftArena = { bytes: arena.bytes };
+                const rightArena = { bytes: arena.bytes };
+                const left = visit(statement.consequent, lengths, leftArena);
+                const right = statement.alternate ? visit(statement.alternate, lengths, rightArena) : lengths;
+                for (const name of lengths.keys())
+                    lengths.set(name, left.get(name) === right.get(name) ? left.get(name) : undefined);
+                arena.bytes = leftArena.bytes < rightArena.bytes ? leftArena.bytes : rightArena.bytes;
+            }
+            else
+                size(statement.expression, lengths, arena);
+        }
+        return lengths;
+    }
+    for (const declaration of module.functions)
+        visit(declaration.body, new Map(), { bytes: 0n });
+    visit(module.entryPoint.body, new Map(), { bytes: 0n });
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYy12YWxpZGF0aW9uLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2JhY2tlbmRzL2MtdmFsaWRhdGlvbi5qcyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxZQUFZO0FBRVosT0FBTyxFQUFDLHFCQUFxQixFQUFDLE1BQU0sa0JBQWtCLENBQUE7QUFFdEQsOEVBQThFO0FBQzlFLHNFQUFzRTtBQUN0RSw4RUFBOEU7QUFFOUUsTUFBTSxrQkFBa0IsR0FBRyxvQkFBb0IsQ0FBQTtBQUMvQyw4RUFBOEU7QUFDOUUsTUFBTSxDQUFDLE1BQU0sb0JBQW9CLEdBQUcsS0FBSyxDQUFBO0FBQ3pDLE1BQU0sdUJBQXVCLEdBQUcsRUFBRSxDQUFBO0FBQ2xDOzs7O0dBSUc7QUFDSCxNQUFNLFVBQVUsZUFBZSxDQUFDLE1BQU07SUFDcEM7Ozs7OztPQU1HO0lBQ0gsU0FBUyxJQUFJLENBQUMsVUFBVSxFQUFFLE9BQU8sRUFBRSxLQUFLO1FBQ3RDLElBQUksVUFBVSxDQUFDLElBQUksSUFBSSxlQUFlLEVBQUUsQ0FBQztZQUN2QyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLFVBQVUsQ0FBQyxVQUFVLENBQUMsS0FBSyxFQUFFLE1BQU0sQ0FBQyxDQUFDLENBQUE7WUFFakUsSUFBSSxLQUFLLEdBQUcsS0FBSztnQkFBRSxxQkFBcUIsQ0FBQyxHQUFHLEVBQUUsa0VBQWtFLEVBQUUsVUFBVSxDQUFDLFFBQVEsQ0FBQyxDQUFBO1lBQ3RJLE9BQU8sS0FBSyxDQUFBO1FBQ2QsQ0FBQztRQUNELElBQUksVUFBVSxDQUFDLElBQUksSUFBSSxzQkFBc0I7WUFBRSxPQUFPLE9BQU8sQ0FBQyxHQUFHLENBQUMsVUFBVSxDQUFDLElBQUksQ0FBQyxDQUFBO1FBQ2xGLElBQUksVUFBVSxDQUFDLElBQUksSUFBSSxnQkFBZ0IsRUFBRSxDQUFDO1lBQ3hDLEtBQUssTUFBTSxRQUFRLElBQUksVUFBVSxDQUFDLFNBQVM7Z0JBQUUsSUFBSSxDQUFDLFFBQVEsRUFBRSxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUE7UUFDN0UsQ0FBQzthQUFNLElBQUksVUFBVSxDQUFDLElBQUksSUFBSSxpQkFBaUI7WUFBRSxJQUFJLENBQUMsVUFBVSxDQUFDLE9BQU8sRUFBRSxPQUFPLEVBQUUsS0FBSyxDQUFDLENBQUE7YUFDcEYsSUFBSSxVQUFVLENBQUMsSUFBSSxJQUFJLGtCQUFrQixFQUFFLENBQUM7WUFDL0MsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLFVBQVUsQ0FBQyxJQUFJLEVBQUUsT0FBTyxFQUFFLEtBQUssQ0FBQyxDQUFBO1lBQ2xELE1BQU0sS0FBSyxHQUFHLElBQUksQ0FBQyxVQUFVLENBQUMsS0FBSyxFQUFFLE9BQU8sRUFBRSxLQUFLLENBQUMsQ0FBQTtZQUVwRCxJQUFJLFVBQVUsQ0FBQyxTQUFTLElBQUksY0FBYyxFQUFFLENBQUM7Z0JBQzNDLE1BQU0sT0FBTyxHQUFHLENBQUMsSUFBSSxJQUFJLEVBQUUsQ0FBQyxHQUFHLENBQUMsS0FBSyxJQUFJLEVBQUUsQ0FBQyxDQUFBO2dCQUU1QyxLQUFLLENBQUMsS0FBSyxJQUFJLHVCQUF1QixHQUFHLE9BQU8sQ0FBQTtnQkFDaEQsSUFBSSxPQUFPLEdBQUcsa0JBQWtCLEdBQUcsdUJBQXVCLElBQUksS0FBSyxDQUFDLEtBQUssR0FBRyxrQkFBa0IsRUFBRSxDQUFDO29CQUMvRixxQkFBcUIsQ0FBQyxHQUFHLEVBQUUsZ0VBQWdFLEVBQUUsVUFBVSxDQUFDLFFBQVEsQ0FBQyxDQUFBO2dCQUNuSCxDQUFDO2dCQUNELE9BQU8sSUFBSSxLQUFLLFNBQVMsSUFBSSxLQUFLLEtBQUssU0FBUyxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQUMsQ0FBQyxDQUFDLElBQUksR0FBRyxLQUFLLENBQUE7WUFDN0UsQ0FBQztRQUNILENBQUM7UUFDRCxPQUFPLFNBQVMsQ0FBQTtJQUNsQixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsU0FBUyxLQUFLLENBQUMsS0FBSyxFQUFFLFNBQVMsRUFBRSxLQUFLO1FBQ3BDLE1BQU0sT0FBTyxHQUFHLElBQUksR0FBRyxDQUFDLFNBQVMsQ0FBQyxDQUFBO1FBRWxDLEtBQUssTUFBTSxTQUFTLElBQUksS0FBSyxDQUFDLFVBQVUsRUFBRSxDQUFDO1lBQ3pDLElBQUksU0FBUyxDQUFDLElBQUksSUFBSSxrQkFBa0I7Z0JBQUUsT0FBTyxDQUFDLEdBQUcsQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxTQUFTLENBQUMsV0FBVyxFQUFFLE9BQU8sRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFBO2lCQUM3RyxJQUFJLFNBQVMsQ0FBQyxJQUFJLElBQUkscUJBQXFCO2dCQUFFLE9BQU8sQ0FBQyxHQUFHLENBQUMsU0FBUyxDQUFDLE1BQU0sQ0FBQyxJQUFJLEVBQUUsSUFBSSxDQUFDLFNBQVMsQ0FBQyxVQUFVLEVBQUUsT0FBTyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUE7aUJBQzNILElBQUksU0FBUyxDQUFDLElBQUksSUFBSSxhQUFhLEVBQUUsQ0FBQztnQkFDekMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxTQUFTLEVBQUUsT0FBTyxFQUFFLEtBQUssQ0FBQyxDQUFBO2dCQUN6QyxNQUFNLFNBQVMsR0FBRyxFQUFDLEtBQUssRUFBRSxLQUFLLENBQUMsS0FBSyxFQUFDLENBQUE7Z0JBQ3RDLE1BQU0sVUFBVSxHQUFHLEVBQUMsS0FBSyxFQUFFLEtBQUssQ0FBQyxLQUFLLEVBQUMsQ0FBQTtnQkFDdkMsTUFBTSxJQUFJLEdBQUcsS0FBSyxDQUFDLFNBQVMsQ0FBQyxVQUFVLEVBQUUsT0FBTyxFQUFFLFNBQVMsQ0FBQyxDQUFBO2dCQUM1RCxNQUFNLEtBQUssR0FBRyxTQUFTLENBQUMsU0FBUyxDQUFDLENBQUMsQ0FBQyxLQUFLLENBQUMsU0FBUyxDQUFDLFNBQVMsRUFBRSxPQUFPLEVBQUUsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDLE9BQU8sQ0FBQTtnQkFFN0YsS0FBSyxNQUFNLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxFQUFFO29CQUFFLE9BQU8sQ0FBQyxHQUFHLENBQUMsSUFBSSxFQUFFLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLEtBQUssS0FBSyxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsU0FBUyxDQUFDLENBQUE7Z0JBQ3JILEtBQUssQ0FBQyxLQUFLLEdBQUcsU0FBUyxDQUFDLEtBQUssR0FBRyxVQUFVLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxTQUFTLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUFBO1lBQ3ZGLENBQUM7O2dCQUFNLElBQUksQ0FBQyxTQUFTLENBQUMsVUFBVSxFQUFFLE9BQU8sRUFBRSxLQUFLLENBQUMsQ0FBQTtRQUNuRCxDQUFDO1FBQ0QsT0FBTyxPQUFPLENBQUE7SUFDaEIsQ0FBQztJQUVELEtBQUssTUFBTSxXQUFXLElBQUksTUFBTSxDQUFDLFNBQVM7UUFBRSxLQUFLLENBQUMsV0FBVyxDQUFDLElBQUksRUFBRSxJQUFJLEdBQUcsRUFBRSxFQUFFLEVBQUMsS0FBSyxFQUFFLEVBQUUsRUFBQyxDQUFDLENBQUE7SUFDM0YsS0FBSyxDQUFDLE1BQU0sQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLElBQUksR0FBRyxFQUFFLEVBQUUsRUFBQyxLQUFLLEVBQUUsRUFBRSxFQUFDLENBQUMsQ0FBQTtBQUN2RCxDQUFDIiwic291cmNlc0NvbnRlbnQiOlsiLy8gQHRzLWNoZWNrXG5cbmltcG9ydCB7dW5zdXBwb3J0ZWRDYXBhYmlsaXR5fSBmcm9tIFwiLi4vZGlhZ25vc3RpYy5qc1wiXG5cbi8qKiBAdHlwZWRlZiB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU2VtYW50aWNNb2R1bGV9IFNlbWFudGljTW9kdWxlICovXG4vKiogQHR5cGVkZWYge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLkV4cHJlc3Npb259IEV4cHJlc3Npb24gKi9cbi8qKiBAdHlwZWRlZiB7aW1wb3J0KFwiLi4vc2VtYW50aWMvdHlwZXMuanNcIikuU291cmNlTG9jYXRpb259IFNvdXJjZUxvY2F0aW9uICovXG5cbmNvbnN0IG1heGltdW1PYmplY3RCeXRlcyA9IDkyMjMzNzIwMzY4NTQ3NzU4MDduXG4vKiogTWF4aW11bSBVVEYtMTYgaW5wdXQgYWNjZXB0ZWQgYnkgdGhlIHVuY2hhbmdlZCBxdWFsaWZpZWQgbGVnYWN5IHBhcnNlci4gKi9cbmV4cG9ydCBjb25zdCBtYXhpbXVtQ1NvdXJjZUxlbmd0aCA9IDMyNzY3XG5jb25zdCBhbGxvY2F0aW9uTWV0YWRhdGFCeXRlcyA9IDhuXG4vKipcbiAqIFJlamVjdHMgY29tcGlsZS10aW1lLWtub3duIG9iamVjdCBhbmQgYXJlbmEgc2l6ZXM7IHVua25vd24gcnVudGltZSBsZW5ndGhzIHJlbWFpbiBjaGVja2VkIGluIEMuXG4gKiBAcGFyYW0ge1NlbWFudGljTW9kdWxlfSBtb2R1bGUgLSBTaGFwZS90eXBlLXZhbGlkYXRlZCBtb2R1bGUuXG4gKiBAcmV0dXJucyB7dm9pZH1cbiAqL1xuZXhwb3J0IGZ1bmN0aW9uIHZhbGlkYXRlQ01lbW9yeShtb2R1bGUpIHtcbiAgLyoqXG4gICAqIENoZWNrcyBvbmUgZXhwcmVzc2lvbiBhbmQgaXRzIGtub3duIGJ5dGUgbGVuZ3RocyB3aXRob3V0IGZvbGRpbmcgdGhlIElSLlxuICAgKiBAcGFyYW0ge0V4cHJlc3Npb259IGV4cHJlc3Npb24gLSBTZW1hbnRpYyBleHByZXNzaW9uLlxuICAgKiBAcGFyYW0ge01hcDxzdHJpbmcsIGJpZ2ludCB8IHVuZGVmaW5lZD59IGxlbmd0aHMgLSBWaXNpYmxlIGltbXV0YWJsZSBvciBhc3NpZ25lZCBsZW5ndGhzLlxuICAgKiBAcGFyYW0ge3tieXRlczogYmlnaW50fX0gYXJlbmEgLSBLbm93biBtaW5pbXVtIGFsbG9jYXRpb25zIGluIHRoaXMgbGV4aWNhbCBwYXRoLlxuICAgKiBAcmV0dXJucyB7YmlnaW50IHwgdW5kZWZpbmVkfSBLbm93biBVVEYtOCBieXRlIGxlbmd0aC5cbiAgICovXG4gIGZ1bmN0aW9uIHNpemUoZXhwcmVzc2lvbiwgbGVuZ3RocywgYXJlbmEpIHtcbiAgICBpZiAoZXhwcmVzc2lvbi5raW5kID09IFwiU3RyaW5nTGl0ZXJhbFwiKSB7XG4gICAgICBjb25zdCBieXRlcyA9IEJpZ0ludChCdWZmZXIuYnl0ZUxlbmd0aChleHByZXNzaW9uLnZhbHVlLCBcInV0ZjhcIikpXG5cbiAgICAgIGlmIChieXRlcyA+IDQwOTVuKSB1bnN1cHBvcnRlZENhcGFiaWxpdHkoXCJjXCIsIFwiVVRGLTggbGl0ZXJhbCBleGNlZWRzIHRoZSBzdHJpY3QgQzE3IDQwOTUtYnl0ZSB0cmFuc2xhdGlvbiBsaW1pdFwiLCBleHByZXNzaW9uLmxvY2F0aW9uKVxuICAgICAgcmV0dXJuIGJ5dGVzXG4gICAgfVxuICAgIGlmIChleHByZXNzaW9uLmtpbmQgPT0gXCJJZGVudGlmaWVyRXhwcmVzc2lvblwiKSByZXR1cm4gbGVuZ3Rocy5nZXQoZXhwcmVzc2lvbi5uYW1lKVxuICAgIGlmIChleHByZXNzaW9uLmtpbmQgPT0gXCJDYWxsRXhwcmVzc2lvblwiKSB7XG4gICAgICBmb3IgKGNvbnN0IGFyZ3VtZW50IG9mIGV4cHJlc3Npb24uYXJndW1lbnRzKSBzaXplKGFyZ3VtZW50LCBsZW5ndGhzLCBhcmVuYSlcbiAgICB9IGVsc2UgaWYgKGV4cHJlc3Npb24ua2luZCA9PSBcIlVuYXJ5RXhwcmVzc2lvblwiKSBzaXplKGV4cHJlc3Npb24ub3BlcmFuZCwgbGVuZ3RocywgYXJlbmEpXG4gICAgZWxzZSBpZiAoZXhwcmVzc2lvbi5raW5kID09IFwiQmluYXJ5RXhwcmVzc2lvblwiKSB7XG4gICAgICBjb25zdCBsZWZ0ID0gc2l6ZShleHByZXNzaW9uLmxlZnQsIGxlbmd0aHMsIGFyZW5hKVxuICAgICAgY29uc3QgcmlnaHQgPSBzaXplKGV4cHJlc3Npb24ucmlnaHQsIGxlbmd0aHMsIGFyZW5hKVxuXG4gICAgICBpZiAoZXhwcmVzc2lvbi5vcGVyYXRpb24gPT0gXCJTdHJpbmdDb25jYXRcIikge1xuICAgICAgICBjb25zdCBtaW5pbXVtID0gKGxlZnQgPz8gMG4pICsgKHJpZ2h0ID8/IDBuKVxuXG4gICAgICAgIGFyZW5hLmJ5dGVzICs9IGFsbG9jYXRpb25NZXRhZGF0YUJ5dGVzICsgbWluaW11bVxuICAgICAgICBpZiAobWluaW11bSA+IG1heGltdW1PYmplY3RCeXRlcyAtIGFsbG9jYXRpb25NZXRhZGF0YUJ5dGVzIHx8IGFyZW5hLmJ5dGVzID4gbWF4aW11bU9iamVjdEJ5dGVzKSB7XG4gICAgICAgICAgdW5zdXBwb3J0ZWRDYXBhYmlsaXR5KFwiY1wiLCBcImtub3duIGltbXV0YWJsZSBzbGljZSBvciBtb2R1bGUgYXJlbmEgc2l6ZSBleGNlZWRzIFBUUkRJRkZfTUFYXCIsIGV4cHJlc3Npb24ubG9jYXRpb24pXG4gICAgICAgIH1cbiAgICAgICAgcmV0dXJuIGxlZnQgPT09IHVuZGVmaW5lZCB8fCByaWdodCA9PT0gdW5kZWZpbmVkID8gdW5kZWZpbmVkIDogbGVmdCArIHJpZ2h0XG4gICAgICB9XG4gICAgfVxuICAgIHJldHVybiB1bmRlZmluZWRcbiAgfVxuXG4gIC8qKlxuICAgKiBQcm9wYWdhdGVzIGtub3duIGxvY2FsIGRlc2NyaXB0b3Igc2l6ZXMgdGhyb3VnaCBzdHJhaWdodC1saW5lIGNvZGUgYW5kIGJvdGggYnJhbmNoIHBhdGhzLlxuICAgKiBAcGFyYW0ge2ltcG9ydChcIi4uL3NlbWFudGljL3R5cGVzLmpzXCIpLkJsb2NrfSBibG9jayAtIFNlbWFudGljIGJsb2NrLlxuICAgKiBAcGFyYW0ge01hcDxzdHJpbmcsIGJpZ2ludCB8IHVuZGVmaW5lZD59IGluaGVyaXRlZCAtIFZpc2libGUga25vd24gbGVuZ3Rocy5cbiAgICogQHBhcmFtIHt7Ynl0ZXM6IGJpZ2ludH19IGFyZW5hIC0gS25vd24gcGF0aCBhbGxvY2F0aW9uIHNpemUuXG4gICAqIEByZXR1cm5zIHtNYXA8c3RyaW5nLCBiaWdpbnQgfCB1bmRlZmluZWQ+fSBPdXRnb2luZyBrbm93biBsZW5ndGhzLlxuICAgKi9cbiAgZnVuY3Rpb24gdmlzaXQoYmxvY2ssIGluaGVyaXRlZCwgYXJlbmEpIHtcbiAgICBjb25zdCBsZW5ndGhzID0gbmV3IE1hcChpbmhlcml0ZWQpXG5cbiAgICBmb3IgKGNvbnN0IHN0YXRlbWVudCBvZiBibG9jay5zdGF0ZW1lbnRzKSB7XG4gICAgICBpZiAoc3RhdGVtZW50LmtpbmQgPT0gXCJMb2NhbERlY2xhcmF0aW9uXCIpIGxlbmd0aHMuc2V0KHN0YXRlbWVudC5uYW1lLCBzaXplKHN0YXRlbWVudC5pbml0aWFsaXplciwgbGVuZ3RocywgYXJlbmEpKVxuICAgICAgZWxzZSBpZiAoc3RhdGVtZW50LmtpbmQgPT0gXCJBc3NpZ25tZW50U3RhdGVtZW50XCIpIGxlbmd0aHMuc2V0KHN0YXRlbWVudC50YXJnZXQubmFtZSwgc2l6ZShzdGF0ZW1lbnQuZXhwcmVzc2lvbiwgbGVuZ3RocywgYXJlbmEpKVxuICAgICAgZWxzZSBpZiAoc3RhdGVtZW50LmtpbmQgPT0gXCJJZlN0YXRlbWVudFwiKSB7XG4gICAgICAgIHNpemUoc3RhdGVtZW50LmNvbmRpdGlvbiwgbGVuZ3RocywgYXJlbmEpXG4gICAgICAgIGNvbnN0IGxlZnRBcmVuYSA9IHtieXRlczogYXJlbmEuYnl0ZXN9XG4gICAgICAgIGNvbnN0IHJpZ2h0QXJlbmEgPSB7Ynl0ZXM6IGFyZW5hLmJ5dGVzfVxuICAgICAgICBjb25zdCBsZWZ0ID0gdmlzaXQoc3RhdGVtZW50LmNvbnNlcXVlbnQsIGxlbmd0aHMsIGxlZnRBcmVuYSlcbiAgICAgICAgY29uc3QgcmlnaHQgPSBzdGF0ZW1lbnQuYWx0ZXJuYXRlID8gdmlzaXQoc3RhdGVtZW50LmFsdGVybmF0ZSwgbGVuZ3RocywgcmlnaHRBcmVuYSkgOiBsZW5ndGhzXG5cbiAgICAgICAgZm9yIChjb25zdCBuYW1lIG9mIGxlbmd0aHMua2V5cygpKSBsZW5ndGhzLnNldChuYW1lLCBsZWZ0LmdldChuYW1lKSA9PT0gcmlnaHQuZ2V0KG5hbWUpID8gbGVmdC5nZXQobmFtZSkgOiB1bmRlZmluZWQpXG4gICAgICAgIGFyZW5hLmJ5dGVzID0gbGVmdEFyZW5hLmJ5dGVzIDwgcmlnaHRBcmVuYS5ieXRlcyA/IGxlZnRBcmVuYS5ieXRlcyA6IHJpZ2h0QXJlbmEuYnl0ZXNcbiAgICAgIH0gZWxzZSBzaXplKHN0YXRlbWVudC5leHByZXNzaW9uLCBsZW5ndGhzLCBhcmVuYSlcbiAgICB9XG4gICAgcmV0dXJuIGxlbmd0aHNcbiAgfVxuXG4gIGZvciAoY29uc3QgZGVjbGFyYXRpb24gb2YgbW9kdWxlLmZ1bmN0aW9ucykgdmlzaXQoZGVjbGFyYXRpb24uYm9keSwgbmV3IE1hcCgpLCB7Ynl0ZXM6IDBufSlcbiAgdmlzaXQobW9kdWxlLmVudHJ5UG9pbnQuYm9keSwgbmV3IE1hcCgpLCB7Ynl0ZXM6IDBufSlcbn1cbiJdfQ==

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

@@ -0,0 +1,31 @@
+export type SemanticModule = import("../semantic/types.js").SemanticModule;
+export type SemanticNode = import("../semantic/types.js").SemanticNode;
+export type Statement = import("../semantic/types.js").Statement;
+export type Block = import("../semantic/types.js").Block;
+export type PlannedValue = import("./ordered-expressions.js").PlannedValue;
+export type PlannedStep = import("./ordered-expressions.js").PlannedStep;
+export type StatementPlan = {
+    id: string;
+    steps: PlannedStep[];
+    value: PlannedValue;
+};
+/**
+ * Produces a fully validated, deterministic C17 translation unit and owned support header.
+ * @param {{filename?: string, mapDirective?: unknown, module: SemanticModule, sourceMapFilename?: unknown, sources?: {filename: string, content: string, language?: import("../semantic/types.js").SemanticLanguage}[]}} input - Backend request.
+ * @returns {{artifacts: import("../semantic/types.js").GeneratedSetArtifact[], target: string}} Complete candidate.
+ */
+export declare function generateCProgram({ 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=c.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"c.d.ts","sourceRoot":"","sources":["../../../src/backends/c.js"],"names":[],"mappings":"AAYI,YAAyD,cAAc,GAA7D,OAAO,sBAAsB,EAAE,cAAc,CAAgB;AACvE,YAAuD,YAAY,GAAzD,OAAO,sBAAsB,EAAE,YAAY,CAAc;AACnE,YAAoD,SAAS,GAAnD,OAAO,sBAAsB,EAAE,SAAS,CAAW;AAC7D,YAAgD,KAAK,GAA3C,OAAO,sBAAsB,EAAE,KAAK,CAAO;AACrD,YAA2D,YAAY,GAA7D,OAAO,0BAA0B,EAAE,YAAY,CAAc;AACvE,YAA0D,WAAW,GAA3D,OAAO,0BAA0B,EAAE,WAAW,CAAa;AACrE,YAAmE,aAAa,GAAtE;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,WAAW,EAAE,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAC,CAAe;AAWpF;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,EAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,iBAAiB,EAAE,OAAO,EAAC,EAHlF;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;CAG1H,GAFhF;IAAC,SAAS,EAAE,OAAO,sBAAsB,EAAE,oBAAoB,EAAE,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAC,CA+B9F"}