edict-lang 1.2.0 → 1.6.0

package/dist/builtins/domains/random.js

@@ -0,0 +1,50 @@
+// =============================================================================
+// Random domain — randomInt, randomFloat, randomUuid
+// =============================================================================
+import { INT_TYPE, FLOAT_TYPE, STRING_TYPE } from "../../ast/type-constants.js";
+import { writeStringResult } from "../host-helpers.js";
+export const RANDOM_BUILTINS = [
+    {
+        name: "randomInt",
+        type: { kind: "fn_type", params: [INT_TYPE, INT_TYPE], effects: ["reads"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: () => (min, max) => {
+                // Inclusive range [min, max] with rejection sampling to avoid modulo bias
+                const range = max - min + 1;
+                const limit = 0x100000000 - (0x100000000 % range); // largest multiple of range ≤ 2^32
+                const array = new Uint32Array(1);
+                let val;
+                do {
+                    crypto.getRandomValues(array);
+                    val = array[0];
+                } while (val >= limit);
+                return min + (val % range);
+            },
+        },
+    },
+    {
+        name: "randomFloat",
+        type: { kind: "fn_type", params: [], effects: ["reads"], returnType: FLOAT_TYPE },
+        impl: {
+            kind: "host",
+            factory: () => () => {
+                const array = new Uint32Array(1);
+                crypto.getRandomValues(array);
+                return array[0] / 0x100000000; // [0, 1) — divide by 2^32
+            },
+        },
+    },
+    {
+        name: "randomUuid",
+        type: { kind: "fn_type", params: [], effects: ["reads"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => () => {
+                const uuid = crypto.randomUUID();
+                return writeStringResult(ctx.state, uuid, ctx.encoder);
+            },
+        },
+    },
+];
+//# sourceMappingURL=random.js.map

package/dist/builtins/domains/random.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"random.js","sourceRoot":"","sources":["../../../src/builtins/domains/random.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAGhF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AAEzE,MAAM,CAAC,MAAM,eAAe,GAAiB;IACzC;QACI,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACjG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE;gBAChD,0EAA0E;gBAC1E,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC;gBAC5B,MAAM,KAAK,GAAG,WAAW,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,mCAAmC;gBACtF,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,GAAW,CAAC;gBAChB,GAAG,CAAC;oBACA,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;oBAC9B,GAAG,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;gBACpB,CAAC,QAAQ,GAAG,IAAI,KAAK,EAAE;gBACvB,OAAO,GAAG,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC;YAC/B,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE;QACjF,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,GAAG,EAAE,CAAC,GAAW,EAAE;gBACxB,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC;gBACjC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;gBAC9B,OAAO,KAAK,CAAC,CAAC,CAAE,GAAG,WAAW,CAAC,CAAC,0BAA0B;YAC9D,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAClF,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,GAAW,EAAE;gBACxC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;gBACjC,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3D,CAAC;SACJ;KACJ;CACJ,CAAC"}

package/dist/builtins/domains/regex.d.ts

@@ -0,0 +1,3 @@
+import type { BuiltinDef } from "../builtin-types.js";
+export declare const REGEX_BUILTINS: BuiltinDef[];
+//# sourceMappingURL=regex.d.ts.map

package/dist/builtins/domains/regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex.d.ts","sourceRoot":"","sources":["../../../src/builtins/domains/regex.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAItD,eAAO,MAAM,cAAc,EAAE,UAAU,EA+DtC,CAAC"}

package/dist/builtins/domains/regex.js

@@ -0,0 +1,69 @@
+// =============================================================================
+// Regex domain — regexTest, regexMatch, regexReplace
+// =============================================================================
+import { STRING_TYPE, BOOL_TYPE } from "../../ast/type-constants.js";
+import { getMemoryBuffer, writeStringResult } from "../host-helpers.js";
+export const REGEX_BUILTINS = [
+    {
+        name: "regexTest",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (patPtr, patLen, inputPtr, inputLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const pattern = ctx.decoder.decode(new Uint8Array(buf, patPtr, patLen));
+                const input = ctx.decoder.decode(new Uint8Array(buf, inputPtr, inputLen));
+                try {
+                    return new RegExp(pattern).test(input) ? 1 : 0;
+                }
+                catch {
+                    return 0; // invalid regex → false
+                }
+            },
+        },
+    },
+    {
+        name: "regexMatch",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (patPtr, patLen, inputPtr, inputLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const pattern = ctx.decoder.decode(new Uint8Array(buf, patPtr, patLen));
+                const input = ctx.decoder.decode(new Uint8Array(buf, inputPtr, inputLen));
+                try {
+                    const m = input.match(new RegExp(pattern));
+                    return writeStringResult(ctx.state, m ? m[0] : "", ctx.encoder);
+                }
+                catch {
+                    return writeStringResult(ctx.state, "", ctx.encoder); // invalid regex → empty string
+                }
+            },
+        },
+    },
+    {
+        name: "regexReplace",
+        type: {
+            kind: "fn_type",
+            params: [STRING_TYPE, STRING_TYPE, STRING_TYPE],
+            effects: ["pure"],
+            returnType: STRING_TYPE,
+        },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (inputPtr, inputLen, patPtr, patLen, replPtr, replLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const input = ctx.decoder.decode(new Uint8Array(buf, inputPtr, inputLen));
+                const pattern = ctx.decoder.decode(new Uint8Array(buf, patPtr, patLen));
+                const replacement = ctx.decoder.decode(new Uint8Array(buf, replPtr, replLen));
+                try {
+                    return writeStringResult(ctx.state, input.replace(new RegExp(pattern, "g"), replacement), ctx.encoder);
+                }
+                catch {
+                    return writeStringResult(ctx.state, input, ctx.encoder); // invalid regex → unchanged
+                }
+            },
+        },
+    },
+];
+//# sourceMappingURL=regex.js.map

package/dist/builtins/domains/regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex.js","sourceRoot":"","sources":["../../../src/builtins/domains/regex.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,qDAAqD;AACrD,gFAAgF;AAGhF,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AAE1F,MAAM,CAAC,MAAM,cAAc,GAAiB;IACxC;QACI,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,QAAgB,EAAE,QAAgB,EAAU,EAAE;gBAC1G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACxE,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC1E,IAAI,CAAC;oBACD,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC;gBAAC,MAAM,CAAC;oBACL,OAAO,CAAC,CAAC,CAAC,wBAAwB;gBACtC,CAAC;YACL,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QACzG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,QAAgB,EAAE,QAAgB,EAAU,EAAE;gBAC1G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACxE,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC1E,IAAI,CAAC;oBACD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;oBAC3C,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBACrE,CAAC;gBAAC,MAAM,CAAC;oBACL,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,+BAA+B;gBACzF,CAAC;YACL,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE;YACF,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;YAC/C,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,UAAU,EAAE,WAAW;SAC1B;QACD,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAC3B,QAAgB,EAAE,QAAgB,EAClC,MAAc,EAAE,MAAc,EAC9B,OAAe,EAAE,OAAe,EAC1B,EAAE;gBACR,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC1E,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACxE,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC9E,IAAI,CAAC;oBACD,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC3G,CAAC;gBAAC,MAAM,CAAC;oBACL,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,4BAA4B;gBACzF,CAAC;YACL,CAAC;SACJ;KACJ;CACJ,CAAC"}

package/dist/builtins/domains/result.d.ts

@@ -0,0 +1,3 @@
+import type { BuiltinDef } from "../builtin-types.js";
+export declare const RESULT_BUILTINS: BuiltinDef[];
+//# sourceMappingURL=result.d.ts.map

package/dist/builtins/domains/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../../src/builtins/domains/result.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAItD,eAAO,MAAM,eAAe,EAAE,UAAU,EAyEvC,CAAC"}

package/dist/builtins/domains/result.js

@@ -0,0 +1,84 @@
+// =============================================================================
+// Result domain — isOk, isErr, unwrapOk, unwrapErr, unwrapOkOr, unwrapErrOr
+// =============================================================================
+import { INT_TYPE, BOOL_TYPE, RESULT_INT_TYPE } from "../../ast/type-constants.js";
+import { getMemoryBuffer } from "../host-helpers.js";
+export const RESULT_BUILTINS = [
+    {
+        name: "isOk",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr) => {
+                return new DataView(getMemoryBuffer(ctx.state)).getInt32(ptr, true) === 0 ? 1 : 0;
+            },
+        },
+    },
+    {
+        name: "isErr",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr) => {
+                return new DataView(getMemoryBuffer(ctx.state)).getInt32(ptr, true) === 1 ? 1 : 0;
+            },
+        },
+    },
+    {
+        name: "unwrapOk",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["fails"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr) => {
+                const view = new DataView(getMemoryBuffer(ctx.state));
+                const tag = view.getInt32(ptr, true);
+                if (tag === 0)
+                    return view.getInt32(ptr + 8, true);
+                throw new Error("unwrapOk called on Err");
+            },
+        },
+    },
+    {
+        name: "unwrapErr",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE], effects: ["fails"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr) => {
+                const view = new DataView(getMemoryBuffer(ctx.state));
+                const tag = view.getInt32(ptr, true);
+                if (tag === 1)
+                    return view.getInt32(ptr + 8, true);
+                throw new Error("unwrapErr called on Ok");
+            },
+        },
+    },
+    {
+        name: "unwrapOkOr",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, defaultVal) => {
+                const view = new DataView(getMemoryBuffer(ctx.state));
+                const tag = view.getInt32(ptr, true);
+                if (tag === 0)
+                    return view.getInt32(ptr + 8, true);
+                return defaultVal;
+            },
+        },
+    },
+    {
+        name: "unwrapErrOr",
+        type: { kind: "fn_type", params: [RESULT_INT_TYPE, INT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, defaultVal) => {
+                const view = new DataView(getMemoryBuffer(ctx.state));
+                const tag = view.getInt32(ptr, true);
+                if (tag === 1)
+                    return view.getInt32(ptr + 8, true);
+                return defaultVal;
+            },
+        },
+    },
+];
+//# sourceMappingURL=result.js.map

package/dist/builtins/domains/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../../src/builtins/domains/result.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,4EAA4E;AAC5E,gFAAgF;AAGhF,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAE,eAAe,EAAoB,MAAM,oBAAoB,CAAC;AAEvE,MAAM,CAAC,MAAM,eAAe,GAAiB;IACzC;QACI,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QAC9F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAU,EAAE;gBACnD,OAAO,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QAC9F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAU,EAAE;gBACnD,OAAO,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QAC9F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAU,EAAE;gBACnD,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,GAAG,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;gBACnD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAC9C,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QAC9F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAU,EAAE;gBACnD,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,GAAG,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;gBACnD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAC9C,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,UAAkB,EAAU,EAAE;gBACvE,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,GAAG,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;gBACnD,OAAO,UAAU,CAAC;YACtB,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,UAAkB,EAAU,EAAE;gBACvE,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBACrC,IAAI,GAAG,KAAK,CAAC;oBAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;gBACnD,OAAO,UAAU,CAAC;YACtB,CAAC;SACJ;KACJ;CACJ,CAAC"}

package/dist/builtins/domains/string.d.ts

@@ -0,0 +1,3 @@
+import type { BuiltinDef } from "../builtin-types.js";
+export declare const STRING_BUILTINS: BuiltinDef[];
+//# sourceMappingURL=string.d.ts.map

package/dist/builtins/domains/string.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.d.ts","sourceRoot":"","sources":["../../../src/builtins/domains/string.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAItD,eAAO,MAAM,eAAe,EAAE,UAAU,EAoIvC,CAAC"}

package/dist/builtins/domains/string.js

@@ -0,0 +1,139 @@
+// =============================================================================
+// String domain — string_length, substring, string_concat, etc.
+// =============================================================================
+import { INT_TYPE, STRING_TYPE, BOOL_TYPE } from "../../ast/type-constants.js";
+import { getMemoryBuffer, writeStringResult } from "../host-helpers.js";
+export const STRING_BUILTINS = [
+    {
+        name: "string_length",
+        type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return str.length;
+            },
+        },
+    },
+    {
+        name: "substring",
+        type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len, start, end) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return writeStringResult(ctx.state, str.substring(start, end), ctx.encoder);
+            },
+        },
+    },
+    {
+        name: "string_concat",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (aPtr, aLen, bPtr, bLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const a = ctx.decoder.decode(new Uint8Array(buf, aPtr, aLen));
+                const b = ctx.decoder.decode(new Uint8Array(buf, bPtr, bLen));
+                return writeStringResult(ctx.state, a + b, ctx.encoder);
+            },
+        },
+    },
+    {
+        name: "string_indexOf",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: INT_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (hayPtr, hayLen, needlePtr, needleLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const haystack = ctx.decoder.decode(new Uint8Array(buf, hayPtr, hayLen));
+                const needle = ctx.decoder.decode(new Uint8Array(buf, needlePtr, needleLen));
+                return haystack.indexOf(needle);
+            },
+        },
+    },
+    {
+        name: "toUpperCase",
+        type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return writeStringResult(ctx.state, str.toUpperCase(), ctx.encoder);
+            },
+        },
+    },
+    {
+        name: "toLowerCase",
+        type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return writeStringResult(ctx.state, str.toLowerCase(), ctx.encoder);
+            },
+        },
+    },
+    {
+        name: "string_trim",
+        type: { kind: "fn_type", params: [STRING_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return writeStringResult(ctx.state, str.trim(), ctx.encoder);
+            },
+        },
+    },
+    {
+        name: "string_startsWith",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (strPtr, strLen, prefixPtr, prefixLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const str = ctx.decoder.decode(new Uint8Array(buf, strPtr, strLen));
+                const prefix = ctx.decoder.decode(new Uint8Array(buf, prefixPtr, prefixLen));
+                return str.startsWith(prefix) ? 1 : 0;
+            },
+        },
+    },
+    {
+        name: "string_endsWith",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (strPtr, strLen, suffixPtr, suffixLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const str = ctx.decoder.decode(new Uint8Array(buf, strPtr, strLen));
+                const suffix = ctx.decoder.decode(new Uint8Array(buf, suffixPtr, suffixLen));
+                return str.endsWith(suffix) ? 1 : 0;
+            },
+        },
+    },
+    {
+        name: "string_contains",
+        type: { kind: "fn_type", params: [STRING_TYPE, STRING_TYPE], effects: ["pure"], returnType: BOOL_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (hayPtr, hayLen, needlePtr, needleLen) => {
+                const buf = getMemoryBuffer(ctx.state);
+                const haystack = ctx.decoder.decode(new Uint8Array(buf, hayPtr, hayLen));
+                const needle = ctx.decoder.decode(new Uint8Array(buf, needlePtr, needleLen));
+                return haystack.includes(needle) ? 1 : 0;
+            },
+        },
+    },
+    {
+        name: "string_repeat",
+        type: { kind: "fn_type", params: [STRING_TYPE, INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (ptr, len, count) => {
+                const str = ctx.decoder.decode(new Uint8Array(getMemoryBuffer(ctx.state), ptr, len));
+                return writeStringResult(ctx.state, str.repeat(count), ctx.encoder);
+            },
+        },
+    },
+];
+//# sourceMappingURL=string.js.map

package/dist/builtins/domains/string.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"string.js","sourceRoot":"","sources":["../../../src/builtins/domains/string.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gEAAgE;AAChE,gFAAgF;AAGhF,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AAE1F,MAAM,CAAC,MAAM,eAAe,GAAiB;IACzC;QACI,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACzF,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE;gBAChE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,GAAG,CAAC,MAAM,CAAC;YACtB,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAChH,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAE,KAAa,EAAE,GAAW,EAAU,EAAE;gBAC5F,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAChF,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QACzG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,IAAY,EAAE,IAAY,EAAE,IAAY,EAAE,IAAY,EAAU,EAAE;gBAC9F,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC9D,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC9D,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YAC5D,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,gBAAgB;QACtB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACtG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAU,EAAE;gBAC5G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACzE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC7E,OAAO,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACpC,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAC5F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE;gBAChE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACxE,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAC5F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE;gBAChE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACxE,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAC5F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAU,EAAE;gBAChE,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACjE,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAU,EAAE;gBAC5G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACpE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC7E,OAAO,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAU,EAAE;gBAC5G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACpE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC7E,OAAO,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE;QACvG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,MAAc,EAAE,MAAc,EAAE,SAAiB,EAAE,SAAiB,EAAU,EAAE;gBAC5G,MAAM,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACvC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;gBACzE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC7E,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC;SACJ;KACJ;IACD;QACI,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QACtG,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,GAAW,EAAE,GAAW,EAAE,KAAa,EAAU,EAAE;gBAC/E,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;gBACrF,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;YACxE,CAAC;SACJ;KACJ;CACJ,CAAC"}

package/dist/builtins/domains/type-conversion.d.ts

@@ -0,0 +1,3 @@
+import type { BuiltinDef } from "../builtin-types.js";
+export declare const TYPE_CONVERSION_BUILTINS: BuiltinDef[];
+//# sourceMappingURL=type-conversion.d.ts.map

package/dist/builtins/domains/type-conversion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-conversion.d.ts","sourceRoot":"","sources":["../../../src/builtins/domains/type-conversion.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAItD,eAAO,MAAM,wBAAwB,EAAE,UAAU,EAsChD,CAAC"}

package/dist/builtins/domains/type-conversion.js

@@ -0,0 +1,42 @@
+// =============================================================================
+// Type conversion domain — intToString, floatToString, boolToString, etc.
+// =============================================================================
+import { INT_TYPE, FLOAT_TYPE, STRING_TYPE, BOOL_TYPE } from "../../ast/type-constants.js";
+import { writeStringResult } from "../host-helpers.js";
+export const TYPE_CONVERSION_BUILTINS = [
+    {
+        name: "intToString",
+        type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (value) => writeStringResult(ctx.state, String(value), ctx.encoder),
+        },
+    },
+    {
+        name: "floatToString",
+        type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (value) => writeStringResult(ctx.state, String(value), ctx.encoder),
+        },
+    },
+    {
+        name: "boolToString",
+        type: { kind: "fn_type", params: [BOOL_TYPE], effects: ["pure"], returnType: STRING_TYPE },
+        impl: {
+            kind: "host",
+            factory: (ctx) => (value) => writeStringResult(ctx.state, value ? "true" : "false", ctx.encoder),
+        },
+    },
+    {
+        name: "floatToInt",
+        type: { kind: "fn_type", params: [FLOAT_TYPE], effects: ["pure"], returnType: INT_TYPE },
+        impl: { kind: "host", factory: () => (value) => (Math.trunc(value) | 0) },
+    },
+    {
+        name: "intToFloat",
+        type: { kind: "fn_type", params: [INT_TYPE], effects: ["pure"], returnType: FLOAT_TYPE },
+        impl: { kind: "host", factory: () => (value) => value },
+    },
+];
+//# sourceMappingURL=type-conversion.js.map

package/dist/builtins/domains/type-conversion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-conversion.js","sourceRoot":"","sources":["../../../src/builtins/domains/type-conversion.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,0EAA0E;AAC1E,gFAAgF;AAGhF,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,6BAA6B,CAAC;AAC3F,OAAO,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AAEzE,MAAM,CAAC,MAAM,wBAAwB,GAAiB;IAClD;QACI,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QACzF,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,KAAa,EAAU,EAAE,CACrD,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;SAC/D;KACJ;IACD;QACI,IAAI,EAAE,eAAe;QACrB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAC3F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,KAAa,EAAU,EAAE,CACrD,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC;SAC/D;KACJ;IACD;QACI,IAAI,EAAE,cAAc;QACpB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;QAC1F,IAAI,EAAE;YACF,IAAI,EAAE,MAAM;YACZ,OAAO,EAAE,CAAC,GAAgB,EAAE,EAAE,CAAC,CAAC,KAAa,EAAU,EAAE,CACrD,iBAAiB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC;SAC1E;KACJ;IACD;QACI,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE;QACxF,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,KAAa,EAAU,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE;KAC5F;IACD;QACI,IAAI,EAAE,YAAY;QAClB,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,UAAU,EAAE;QACxF,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,EAAE;KAC1E;CACJ,CAAC"}

package/dist/builtins/host-helpers.d.ts

@@ -0,0 +1,66 @@
+import type { EdictHostAdapter } from "../codegen/host-adapter.js";
+/** Mutable runtime state shared by all host functions during one execution. */
+export interface RuntimeState {
+    /** Captured stdout output parts. */
+    outputParts: string[];
+    /** Late-bound WASM instance — set after instantiation. */
+    instance: WasmInstance | null;
+    /** Optional sandbox directory for file IO. If unset, readFile/writeFile return Err. */
+    sandboxDir?: string;
+}
+interface WasmInstance {
+    readonly exports: {
+        [key: string]: unknown;
+        memory?: {
+            readonly buffer: ArrayBuffer;
+        };
+    };
+}
+/** Typed error thrown when a host-side heap allocation exceeds WASM memory bounds. */
+export declare class EdictOomError extends Error {
+    heapUsed: number;
+    heapLimit: number;
+    constructor(heapUsed: number, heapLimit: number);
+}
+/**
+ * Context passed to every host builtin factory function.
+ * Bundles state, adapter, and shared encoder/decoder so each domain
+ * doesn't need to create its own or take a different arg signature.
+ */
+export interface HostContext {
+    state: RuntimeState;
+    adapter: EdictHostAdapter;
+    encoder: TextEncoder;
+    decoder: TextDecoder;
+}
+export declare function getMemoryBuffer(state: RuntimeState): ArrayBuffer;
+/**
+ * Centralized heap allocator with bounds checking.
+ * Allocates `size` bytes (8-byte aligned) from the bump allocator,
+ * throwing EdictOomError if the allocation would exceed WASM memory.
+ */
+export declare function allocateHeap(state: RuntimeState, size: number): number;
+/**
+ * Write a string result into WASM memory at __heap_ptr,
+ * advance __heap_ptr (8-byte aligned), set __str_ret_len, and return ptr.
+ */
+export declare function writeStringResult(state: RuntimeState, str: string, encoder: TextEncoder): number;
+/**
+ * Allocate a new array on the WASM heap: [length: i32][elem0: i32]...
+ * Advances __heap_ptr (8-byte aligned) and returns the new array pointer.
+ */
+export declare function writeArrayResult(state: RuntimeState, elements: number[]): number;
+/**
+ * Allocate a Result value on the WASM heap: [tag: i32][pad(4)][value: i32][pad(4)]
+ * tag=0 means Ok, tag=1 means Err. Total size = 16 bytes (matches enum layout).
+ * Returns the pointer to the Result pair.
+ */
+export declare function writeResultValue(state: RuntimeState, tag: number, value: number): number;
+/**
+ * Format a Date using strftime-style tokens.
+ * Supported: %Y (year), %m (month 01-12), %d (day 01-31),
+ *            %H (hour 00-23), %M (min 00-59), %S (sec 00-59), %% (literal %)
+ */
+export declare function formatDateString(date: Date, fmt: string): string;
+export {};
+//# sourceMappingURL=host-helpers.d.ts.map

package/dist/builtins/host-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-helpers.d.ts","sourceRoot":"","sources":["../../src/builtins/host-helpers.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAMnE,+EAA+E;AAC/E,MAAM,WAAW,YAAY;IACzB,oCAAoC;IACpC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,0DAA0D;IAC1D,QAAQ,EAAE,YAAY,GAAG,IAAI,CAAC;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,UAAU,YAAY;IAClB,QAAQ,CAAC,OAAO,EAAE;QACd,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;QACvB,MAAM,CAAC,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;SAAE,CAAC;KAC7C,CAAC;CACL;AAED,sFAAsF;AACtF,qBAAa,aAAc,SAAQ,KAAK;IACjB,QAAQ,EAAE,MAAM;IAAS,SAAS,EAAE,MAAM;gBAA1C,QAAQ,EAAE,MAAM,EAAS,SAAS,EAAE,MAAM;CAGhE;AAMD;;;;GAIG;AACH,MAAM,WAAW,WAAW;IACxB,KAAK,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,gBAAgB,CAAC;IAC1B,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,EAAE,WAAW,CAAC;CACxB;AAMD,wBAAgB,eAAe,CAAC,KAAK,EAAE,YAAY,GAAG,WAAW,CAEhE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAYtE;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAQhG;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAShF;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAMxF;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAwBhE"}