@kalada/core 0.2.0 → 0.4.0

package/dist/kalada-v1/runtime-values.d.ts

@@ -0,0 +1,35 @@
+import { JsonValue } from './json.js';
+import { KaladaFunctionParameter, KaladaType, KaladaV1Expression, KaladaCoreFunctionName, KaladaFunctionType, NamedFunction } from './types.js';
+import { KaladaValue } from './values.js';
+import './temporal.js';
+
+type RuntimeEnvironment = ReadonlyMap<string, RuntimeValue>;
+type RuntimeValue = KaladaValue | UserClosure<JsonValue> | CoreCallable;
+interface RecursiveEnvironment<R extends JsonValue> {
+    readonly names: readonly string[];
+    readonly closures: readonly UserClosure<R>[];
+}
+interface UserClosure<R extends JsonValue> {
+    readonly callable: "user";
+    readonly name: string | null;
+    readonly path: readonly (string | number)[];
+    readonly parameters: readonly KaladaFunctionParameter[];
+    readonly returns: KaladaType;
+    readonly body: KaladaV1Expression<R>;
+    readonly captures: RuntimeEnvironment;
+    readonly recursive: RecursiveEnvironment<R> | null;
+}
+interface CoreCallable {
+    readonly callable: "core";
+    readonly name: KaladaCoreFunctionName;
+}
+declare function isCallable(value: RuntimeValue): value is UserClosure<JsonValue> | CoreCallable;
+declare function coreCallable(name: KaladaCoreFunctionName): CoreCallable;
+declare function callableType(value: UserClosure<JsonValue> | CoreCallable): KaladaFunctionType;
+declare function matchesType(value: RuntimeValue, expected: KaladaType): boolean;
+declare function closureFromExpression<R extends JsonValue>(node: Extract<KaladaV1Expression<R>, {
+    kind: "function";
+}>, path: readonly (string | number)[], captures: RuntimeEnvironment): UserClosure<R>;
+declare function closureFromMember<R extends JsonValue>(node: NamedFunction<R>, path: readonly (string | number)[], captures: RuntimeEnvironment, recursive: RecursiveEnvironment<R>): UserClosure<R>;
+
+export { type CoreCallable, type RecursiveEnvironment, type RuntimeEnvironment, type RuntimeValue, type UserClosure, callableType, closureFromExpression, closureFromMember, coreCallable, isCallable, matchesType };

package/dist/kalada-v1/runtime-values.js

@@ -0,0 +1,105 @@
+import { isInstant, isDuration } from './temporal.js';
+import { isOption, isResult } from './values.js';
+
+const callables = /* @__PURE__ */ new WeakSet();
+function isCallable(value) {
+  return typeof value === "object" && value !== null && callables.has(value);
+}
+function coreCallable(name) {
+  return branded({ callable: "core", name });
+}
+function callableType(value) {
+  if (value.callable === "user") {
+    return Object.freeze({
+      kind: "function-type",
+      parameters: Object.freeze(value.parameters.map((item) => item.type)),
+      returns: value.returns
+    });
+  }
+  const json = primitive("json");
+  const callback = functionType(
+    [json, primitive("number")],
+    primitive(value.name === "map" ? "json" : "boolean")
+  );
+  const array = Object.freeze({ kind: "array-type", element: json });
+  return functionType(
+    [array, callback],
+    value.name === "some" || value.name === "every" ? primitive("boolean") : array
+  );
+}
+function matchesType(value, expected) {
+  if (expected.kind === "function-type") {
+    return isCallable(value) && equalType(callableType(value), expected);
+  }
+  if (isCallable(value)) return false;
+  if (expected.kind === "primitive-type") return matchesPrimitive(value, expected.name);
+  if (expected.kind === "option-type") {
+    return isOption(value) && (value.variant === "none" || matchesType(value.value, expected.value));
+  }
+  if (expected.kind === "result-type") {
+    return isResult(value) && matchesType(value.value, value.variant === "ok" ? expected.ok : expected.error);
+  }
+  return Array.isArray(value) && value.every((item) => matchesType(item, expected.element));
+}
+function closureFromExpression(node, path, captures) {
+  return branded({
+    callable: "user",
+    name: null,
+    path,
+    parameters: node.parameters,
+    returns: node.returns,
+    body: node.body,
+    captures,
+    recursive: null
+  });
+}
+function closureFromMember(node, path, captures, recursive) {
+  return branded({
+    callable: "user",
+    name: node.name,
+    path,
+    parameters: node.parameters,
+    returns: node.returns,
+    body: node.body,
+    captures,
+    recursive
+  });
+}
+function branded(value) {
+  Object.freeze(value);
+  callables.add(value);
+  return value;
+}
+function matchesPrimitive(value, name) {
+  if (name === "json")
+    return !isOption(value) && !isResult(value) && !isInstant(value) && !isDuration(value);
+  if (name === "Instant") return isInstant(value);
+  if (name === "Duration") return isDuration(value);
+  if (name === "null") return value === null;
+  return typeof value === name;
+}
+function equalType(left, right) {
+  if (left.kind !== right.kind) return false;
+  if (left.kind === "primitive-type" && right.kind === "primitive-type")
+    return left.name === right.name;
+  if (left.kind === "option-type" && right.kind === "option-type")
+    return equalType(left.value, right.value);
+  if (left.kind === "array-type" && right.kind === "array-type")
+    return equalType(left.element, right.element);
+  if (left.kind === "result-type" && right.kind === "result-type")
+    return equalType(left.ok, right.ok) && equalType(left.error, right.error);
+  if (left.kind !== "function-type" || right.kind !== "function-type") return false;
+  return left.parameters.length === right.parameters.length && left.parameters.every(
+    (item, index) => equalType(item, right.parameters[index])
+  ) && equalType(left.returns, right.returns);
+}
+function primitive(name) {
+  return Object.freeze({ kind: "primitive-type", name });
+}
+function functionType(parameters, returns) {
+  return Object.freeze({ kind: "function-type", parameters: Object.freeze(parameters), returns });
+}
+
+export { callableType, closureFromExpression, closureFromMember, coreCallable, isCallable, matchesType };
+//# sourceMappingURL=runtime-values.js.map
+//# sourceMappingURL=runtime-values.js.map

package/dist/kalada-v1/runtime-values.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/runtime-values.ts"],"names":[],"mappings":";;;AAoCA,MAAM,SAAA,uBAAgB,OAAA,EAAgB;AAE/B,SAAS,WAAW,KAAA,EAAqE;AAC9F,EAAA,OAAO,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,SAAA,CAAU,IAAI,KAAK,CAAA;AAC3E;AAEO,SAAS,aAAa,IAAA,EAA4C;AACvE,EAAA,OAAO,OAAA,CAAQ,EAAE,QAAA,EAAU,MAAA,EAAQ,MAAM,CAAA;AAC3C;AAEO,SAAS,aAAa,KAAA,EAAkE;AAC7F,EAAA,IAAI,KAAA,CAAM,aAAa,MAAA,EAAQ;AAC7B,IAAA,OAAO,OAAO,MAAA,CAAO;AAAA,MACnB,IAAA,EAAM,eAAA;AAAA,MACN,UAAA,EAAY,MAAA,CAAO,MAAA,CAAO,KAAA,CAAM,UAAA,CAAW,IAAI,CAAC,IAAA,KAAS,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,MACnE,SAAS,KAAA,CAAM;AAAA,KAChB,CAAA;AAAA,EACH;AACA,EAAA,MAAM,IAAA,GAAO,UAAU,MAAM,CAAA;AAC7B,EAAA,MAAM,QAAA,GAAW,YAAA;AAAA,IACf,CAAC,IAAA,EAAM,SAAA,CAAU,QAAQ,CAAC,CAAA;AAAA,IAC1B,SAAA,CAAU,KAAA,CAAM,IAAA,KAAS,KAAA,GAAQ,SAAS,SAAS;AAAA,GACrD;AACA,EAAA,MAAM,KAAA,GAAQ,OAAO,MAAA,CAAO,EAAE,MAAM,YAAA,EAAc,OAAA,EAAS,MAAM,CAAA;AACjE,EAAA,OAAO,YAAA;AAAA,IACL,CAAC,OAAO,QAAQ,CAAA;AAAA,IAChB,KAAA,CAAM,SAAS,MAAA,IAAU,KAAA,CAAM,SAAS,OAAA,GAAU,SAAA,CAAU,SAAS,CAAA,GAAI;AAAA,GAC3E;AACF;AAEO,SAAS,WAAA,CAAY,OAAqB,QAAA,EAA+B;AAC9E,EAAA,IAAI,QAAA,CAAS,SAAS,eAAA,EAAiB;AACrC,IAAA,OAAO,WAAW,KAAK,CAAA,IAAK,UAAU,YAAA,CAAa,KAAK,GAAG,QAAQ,CAAA;AAAA,EACrE;AACA,EAAA,IAAI,UAAA,CAAW,KAAK,CAAA,EAAG,OAAO,KAAA;AAC9B,EAAA,IAAI,SAAS,IAAA,KAAS,gBAAA,SAAyB,gBAAA,CAAiB,KAAA,EAAO,SAAS,IAAI,CAAA;AACpF,EAAA,IAAI,QAAA,CAAS,SAAS,aAAA,EAAe;AACnC,IAAA,OACE,QAAA,CAAS,KAAK,CAAA,KAAM,KAAA,CAAM,OAAA,KAAY,UAAU,WAAA,CAAY,KAAA,CAAM,KAAA,EAAO,QAAA,CAAS,KAAK,CAAA,CAAA;AAAA,EAE3F;AACA,EAAA,IAAI,QAAA,CAAS,SAAS,aAAA,EAAe;AACnC,IAAA,OACE,QAAA,CAAS,KAAK,CAAA,IACd,WAAA,CAAY,KAAA,CAAM,KAAA,EAAO,KAAA,CAAM,OAAA,KAAY,IAAA,GAAO,QAAA,CAAS,EAAA,GAAK,QAAA,CAAS,KAAK,CAAA;AAAA,EAElF;AACA,EAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,IAAK,KAAA,CAAM,KAAA,CAAM,CAAC,IAAA,KAAS,WAAA,CAAY,IAAA,EAAM,QAAA,CAAS,OAAO,CAAC,CAAA;AAC1F;AAEO,SAAS,qBAAA,CACd,IAAA,EACA,IAAA,EACA,QAAA,EACgB;AAChB,EAAA,OAAO,OAAA,CAAQ;AAAA,IACb,QAAA,EAAU,MAAA;AAAA,IACV,IAAA,EAAM,IAAA;AAAA,IACN,IAAA;AAAA,IACA,YAAY,IAAA,CAAK,UAAA;AAAA,IACjB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,QAAA;AAAA,IACA,SAAA,EAAW;AAAA,GACZ,CAAA;AACH;AAEO,SAAS,iBAAA,CACd,IAAA,EACA,IAAA,EACA,QAAA,EACA,SAAA,EACgB;AAChB,EAAA,OAAO,OAAA,CAAQ;AAAA,IACb,QAAA,EAAU,MAAA;AAAA,IACV,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,IAAA;AAAA,IACA,YAAY,IAAA,CAAK,UAAA;AAAA,IACjB,SAAS,IAAA,CAAK,OAAA;AAAA,IACd,MAAM,IAAA,CAAK,IAAA;AAAA,IACX,QAAA;AAAA,IACA;AAAA,GACD,CAAA;AACH;AAEA,SAAS,QAA0B,KAAA,EAAa;AAC9C,EAAA,MAAA,CAAO,OAAO,KAAK,CAAA;AACnB,EAAA,SAAA,CAAU,IAAI,KAAK,CAAA;AACnB,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,gBAAA,CAAiB,OAAoB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA,KAAS,MAAA;AACX,IAAA,OAAO,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,CAAC,SAAA,CAAU,KAAK,CAAA,IAAK,CAAC,WAAW,KAAK,CAAA;AACvF,EAAA,IAAI,IAAA,KAAS,SAAA,EAAW,OAAO,SAAA,CAAU,KAAK,CAAA;AAC9C,EAAA,IAAI,IAAA,KAAS,UAAA,EAAY,OAAO,UAAA,CAAW,KAAK,CAAA;AAChD,EAAA,IAAI,IAAA,KAAS,MAAA,EAAQ,OAAO,KAAA,KAAU,IAAA;AACtC,EAAA,OAAO,OAAO,KAAA,KAAU,IAAA;AAC1B;AAEA,SAAS,SAAA,CAAU,MAAkB,KAAA,EAA4B;AAC/D,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,KAAA,CAAM,IAAA,EAAM,OAAO,KAAA;AACrC,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,gBAAA,IAAoB,KAAA,CAAM,IAAA,KAAS,gBAAA;AACnD,IAAA,OAAO,IAAA,CAAK,SAAS,KAAA,CAAM,IAAA;AAC7B,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,aAAA,IAAiB,KAAA,CAAM,IAAA,KAAS,aAAA;AAChD,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAC1C,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,YAAA,IAAgB,KAAA,CAAM,IAAA,KAAS,YAAA;AAC/C,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,OAAA,EAAS,KAAA,CAAM,OAAO,CAAA;AAC9C,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,aAAA,IAAiB,KAAA,CAAM,IAAA,KAAS,aAAA;AAChD,IAAA,OAAO,SAAA,CAAU,IAAA,CAAK,EAAA,EAAI,KAAA,CAAM,EAAE,KAAK,SAAA,CAAU,IAAA,CAAK,KAAA,EAAO,KAAA,CAAM,KAAK,CAAA;AAC1E,EAAA,IAAI,KAAK,IAAA,KAAS,eAAA,IAAmB,KAAA,CAAM,IAAA,KAAS,iBAAiB,OAAO,KAAA;AAC5E,EAAA,OACE,KAAK,UAAA,CAAW,MAAA,KAAW,MAAM,UAAA,CAAW,MAAA,IAC5C,KAAK,UAAA,CAAW,KAAA;AAAA,IAAM,CAAC,MAAM,KAAA,KAC3B,SAAA,CAAU,MAAM,KAAA,CAAM,UAAA,CAAW,KAAK,CAAe;AAAA,GACvD,IACA,SAAA,CAAU,IAAA,CAAK,OAAA,EAAS,MAAM,OAAO,CAAA;AAEzC;AAEA,SAAS,UAAU,IAAA,EAAiD;AAClE,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,gBAAA,EAAkB,MAAM,CAAA;AACvD;AAEA,SAAS,YAAA,CAAa,YAAmC,OAAA,EAAyC;AAChG,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,eAAA,EAAiB,UAAA,EAAY,MAAA,CAAO,MAAA,CAAO,UAAU,CAAA,EAAG,OAAA,EAAS,CAAA;AAChG","file":"runtime-values.js","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport { isDuration, isInstant } from \"./temporal.js\";\nimport type {\n  KaladaCoreFunctionName,\n  KaladaFunctionParameter,\n  KaladaFunctionType,\n  KaladaType,\n  KaladaV1Expression,\n  NamedFunction,\n} from \"./types.js\";\nimport { isOption, isResult, type KaladaValue } from \"./values.js\";\n\nexport type RuntimeEnvironment = ReadonlyMap<string, RuntimeValue>;\nexport type RuntimeValue = KaladaValue | UserClosure<JsonValue> | CoreCallable;\n\nexport interface RecursiveEnvironment<R extends JsonValue> {\n  readonly names: readonly string[];\n  readonly closures: readonly UserClosure<R>[];\n}\n\nexport interface UserClosure<R extends JsonValue> {\n  readonly callable: \"user\";\n  readonly name: string | null;\n  readonly path: readonly (string | number)[];\n  readonly parameters: readonly KaladaFunctionParameter[];\n  readonly returns: KaladaType;\n  readonly body: KaladaV1Expression<R>;\n  readonly captures: RuntimeEnvironment;\n  readonly recursive: RecursiveEnvironment<R> | null;\n}\n\nexport interface CoreCallable {\n  readonly callable: \"core\";\n  readonly name: KaladaCoreFunctionName;\n}\n\nconst callables = new WeakSet<object>();\n\nexport function isCallable(value: RuntimeValue): value is UserClosure<JsonValue> | CoreCallable {\n  return typeof value === \"object\" && value !== null && callables.has(value);\n}\n\nexport function coreCallable(name: KaladaCoreFunctionName): CoreCallable {\n  return branded({ callable: \"core\", name });\n}\n\nexport function callableType(value: UserClosure<JsonValue> | CoreCallable): KaladaFunctionType {\n  if (value.callable === \"user\") {\n    return Object.freeze({\n      kind: \"function-type\",\n      parameters: Object.freeze(value.parameters.map((item) => item.type)),\n      returns: value.returns,\n    });\n  }\n  const json = primitive(\"json\");\n  const callback = functionType(\n    [json, primitive(\"number\")],\n    primitive(value.name === \"map\" ? \"json\" : \"boolean\"),\n  );\n  const array = Object.freeze({ kind: \"array-type\", element: json }) as KaladaType;\n  return functionType(\n    [array, callback],\n    value.name === \"some\" || value.name === \"every\" ? primitive(\"boolean\") : array,\n  );\n}\n\nexport function matchesType(value: RuntimeValue, expected: KaladaType): boolean {\n  if (expected.kind === \"function-type\") {\n    return isCallable(value) && equalType(callableType(value), expected);\n  }\n  if (isCallable(value)) return false;\n  if (expected.kind === \"primitive-type\") return matchesPrimitive(value, expected.name);\n  if (expected.kind === \"option-type\") {\n    return (\n      isOption(value) && (value.variant === \"none\" || matchesType(value.value, expected.value))\n    );\n  }\n  if (expected.kind === \"result-type\") {\n    return (\n      isResult(value) &&\n      matchesType(value.value, value.variant === \"ok\" ? expected.ok : expected.error)\n    );\n  }\n  return Array.isArray(value) && value.every((item) => matchesType(item, expected.element));\n}\n\nexport function closureFromExpression<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"function\" }>,\n  path: readonly (string | number)[],\n  captures: RuntimeEnvironment,\n): UserClosure<R> {\n  return branded({\n    callable: \"user\",\n    name: null,\n    path,\n    parameters: node.parameters,\n    returns: node.returns,\n    body: node.body,\n    captures,\n    recursive: null,\n  });\n}\n\nexport function closureFromMember<R extends JsonValue>(\n  node: NamedFunction<R>,\n  path: readonly (string | number)[],\n  captures: RuntimeEnvironment,\n  recursive: RecursiveEnvironment<R>,\n): UserClosure<R> {\n  return branded({\n    callable: \"user\",\n    name: node.name,\n    path,\n    parameters: node.parameters,\n    returns: node.returns,\n    body: node.body,\n    captures,\n    recursive,\n  });\n}\n\nfunction branded<T extends object>(value: T): T {\n  Object.freeze(value);\n  callables.add(value);\n  return value;\n}\n\nfunction matchesPrimitive(value: KaladaValue, name: string): boolean {\n  if (name === \"json\")\n    return !isOption(value) && !isResult(value) && !isInstant(value) && !isDuration(value);\n  if (name === \"Instant\") return isInstant(value);\n  if (name === \"Duration\") return isDuration(value);\n  if (name === \"null\") return value === null;\n  return typeof value === name;\n}\n\nfunction equalType(left: KaladaType, right: KaladaType): boolean {\n  if (left.kind !== right.kind) return false;\n  if (left.kind === \"primitive-type\" && right.kind === \"primitive-type\")\n    return left.name === right.name;\n  if (left.kind === \"option-type\" && right.kind === \"option-type\")\n    return equalType(left.value, right.value);\n  if (left.kind === \"array-type\" && right.kind === \"array-type\")\n    return equalType(left.element, right.element);\n  if (left.kind === \"result-type\" && right.kind === \"result-type\")\n    return equalType(left.ok, right.ok) && equalType(left.error, right.error);\n  if (left.kind !== \"function-type\" || right.kind !== \"function-type\") return false;\n  return (\n    left.parameters.length === right.parameters.length &&\n    left.parameters.every((item, index) =>\n      equalType(item, right.parameters[index] as KaladaType),\n    ) &&\n    equalType(left.returns, right.returns)\n  );\n}\n\nfunction primitive(name: \"number\" | \"boolean\" | \"json\"): KaladaType {\n  return Object.freeze({ kind: \"primitive-type\", name });\n}\n\nfunction functionType(parameters: readonly KaladaType[], returns: KaladaType): KaladaFunctionType {\n  return Object.freeze({ kind: \"function-type\", parameters: Object.freeze(parameters), returns });\n}\n"]}

package/dist/kalada-v1/schemas.cjs

@@ -58,10 +58,89 @@ const expression = {
       "variant",
       "value"
     ]),
+    node("instant", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("duration", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("current-instant", {}, []),
+    temporalNode("temporal-arithmetic", ["add", "subtract"]),
+    temporalNode("temporal-comparison", [
+      "equal",
+      "not-equal",
+      "less-than",
+      "less-than-or-equal",
+      "greater-than",
+      "greater-than-or-equal"
+    ]),
     matchNode("Option", [arm("some", true), arm("none", false)]),
-    matchNode("Result", [arm("ok", true), arm("err", true)])
+    matchNode("Result", [arm("ok", true), arm("err", true)]),
+    node(
+      "function",
+      { parameters: parametersSchema(), returns: typeRef(), body: expressionRef() },
+      ["parameters", "returns", "body"]
+    ),
+    node(
+      "call",
+      {
+        callee: expressionRef(),
+        arguments: {
+          type: "array",
+          maxItems: limits_js.DEFAULT_KALADA_V1_LIMITS.maxAstNodes,
+          items: expressionRef()
+        }
+      },
+      ["callee", "arguments"]
+    ),
+    node(
+      "function-group",
+      {
+        functions: {
+          type: "array",
+          maxItems: limits_js.DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionGroupSize,
+          items: { $ref: "#/$defs/namedFunction" }
+        },
+        body: expressionRef()
+      },
+      ["functions", "body"]
+    ),
+    node("core-function", { name: { enum: ["map", "filter", "some", "every"] } }, ["name"])
   ]
 };
+const KALADA_V1_FUNCTION_PROGRAM_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/program/kalada-v1-functions",
+  $comment: "The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.",
+  type: "object",
+  properties: {
+    format: { const: "kalada-program" },
+    version: { const: 1 },
+    profile: { const: "kalada-v1" },
+    expression: expressionRef()
+  },
+  required: ["format", "version", "profile", "expression"],
+  additionalProperties: false,
+  $defs: {
+    jsonValue,
+    expression,
+    kaladaType: typeSchema(),
+    parameter: {
+      type: "object",
+      properties: { name: bindingName(), type: typeRef() },
+      required: ["name", "type"],
+      additionalProperties: false
+    },
+    namedFunction: {
+      type: "object",
+      properties: {
+        name: bindingName(),
+        parameters: parametersSchema(),
+        returns: typeRef(),
+        body: expressionRef()
+      },
+      required: ["name", "parameters", "returns", "body"],
+      additionalProperties: false
+    }
+  }
+});
+const legacyExpression = { oneOf: expression.oneOf.slice(0, 13) };
 const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
   $schema: "https://json-schema.org/draft/2020-12/schema",
   $id: "https://kalada.dev/schema/program/kalada-v1",
@@ -75,7 +154,7 @@ const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
   },
   required: ["format", "version", "profile", "expression"],
   additionalProperties: false,
-  $defs: { jsonValue, expression }
+  $defs: { jsonValue, expression: legacyExpression }
 });
 const KALADA_VALUE_V1_SCHEMA = deepFreeze({
   $schema: "https://json-schema.org/draft/2020-12/schema",
@@ -89,7 +168,9 @@ const KALADA_VALUE_V1_SCHEMA = deepFreeze({
         valueEnvelope("Option", "none"),
         valueEnvelope("Option", "some", { $ref: "#/$defs/encodedValue" }),
         valueEnvelope("Result", "ok", { $ref: "#/$defs/encodedValue" }),
-        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" })
+        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Instant", "milliseconds", safeInteger()),
+        valueEnvelope("Duration", "milliseconds", safeInteger())
       ]
     }
   }
@@ -102,6 +183,20 @@ function node(kind, properties, required) {
     additionalProperties: false
   };
 }
+function temporalNode(kind, operators) {
+  return node(
+    kind,
+    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },
+    ["operator", "left", "right"]
+  );
+}
+function safeInteger() {
+  return {
+    type: "integer",
+    minimum: Number.MIN_SAFE_INTEGER,
+    maximum: Number.MAX_SAFE_INTEGER
+  };
+}
 function matchNode(type, arms) {
   return node(
     "match",
@@ -142,12 +237,50 @@ function expressionRef() {
 function bindingName() {
   return { type: "string", minLength: 1, maxLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };
 }
+function parametersSchema() {
+  return {
+    type: "array",
+    maxItems: limits_js.DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,
+    items: { $ref: "#/$defs/parameter" }
+  };
+}
+function typeRef() {
+  return { $ref: "#/$defs/kaladaType" };
+}
+function typeSchema() {
+  const primitive = node(
+    "primitive-type",
+    { name: { enum: ["null", "boolean", "number", "string", "json", "Instant", "Duration"] } },
+    ["name"]
+  );
+  return {
+    oneOf: [
+      primitive,
+      node("option-type", { value: typeRef() }, ["value"]),
+      node("result-type", { ok: typeRef(), error: typeRef() }, ["ok", "error"]),
+      node("array-type", { element: typeRef() }, ["element"]),
+      node(
+        "function-type",
+        {
+          parameters: {
+            type: "array",
+            maxItems: limits_js.DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,
+            items: typeRef()
+          },
+          returns: typeRef()
+        },
+        ["parameters", "returns"]
+      )
+    ]
+  };
+}
 function deepFreeze(value) {
   if (typeof value !== "object" || value === null || Object.isFrozen(value)) return value;
   for (const child of Object.values(value)) deepFreeze(child);
   return Object.freeze(value);
 }
 
+exports.KALADA_V1_FUNCTION_PROGRAM_SCHEMA = KALADA_V1_FUNCTION_PROGRAM_SCHEMA;
 exports.KALADA_V1_PROGRAM_SCHEMA = KALADA_V1_PROGRAM_SCHEMA;
 exports.KALADA_VALUE_V1_SCHEMA = KALADA_VALUE_V1_SCHEMA;
 //# sourceMappingURL=schemas.cjs.map

package/dist/kalada-v1/schemas.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/schemas.ts"],"names":["DEFAULT_KALADA_V1_LIMITS"],"mappings":";;;;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqBA,kCAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACAA,mCAAyB,aAAA,GAAgB;AAC3C,CAAA;AAEA,SAAS,eAAA,CAAgB,WAAmB,gBAAA,EAAmD;AAC7F,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,EAAE,MAAM,MAAA,EAAO;AAAA,MACf,EAAE,MAAM,SAAA,EAAU;AAAA,MAClB,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,sBAAA,EAAyB,SAAS,qBAAA,EAAuB;AAAA,MACpF,EAAE,IAAA,EAAM,QAAA,EAAU,SAAA,EAAWA,mCAAyB,eAAA,EAAgB;AAAA,MACtE;AAAA,QACE,IAAA,EAAM,OAAA;AAAA,QACN,QAAA,EAAU,gBAAA;AAAA,QACV,KAAA,EAAO,EAAE,IAAA,EAAM,SAAA;AAAU,OAC3B;AAAA,MACA;AAAA,QACE,IAAA,EAAM,QAAA;AAAA,QACN,aAAA,EAAe,gBAAA;AAAA,QACf,aAAA,EAAe;AAAA,UACb,KAAA,EAAO;AAAA,YACL,EAAE,SAAA,EAAWA,kCAAA,CAAyB,eAAA,EAAgB;AAAA,YACtD,EAAE,KAAK,EAAE,IAAA,EAAM,CAAC,WAAA,EAAa,aAAA,EAAe,WAAW,CAAA,EAAE;AAAE;AAC7D,SACF;AAAA,QACA,oBAAA,EAAsB,EAAE,IAAA,EAAM,SAAA;AAAU;AAC1C;AACF,GACF;AACF;AAEA,MAAM,UAAA,GAAa;AAAA,EACjB,KAAA,EAAO;AAAA,IACL,IAAA,CAAK,SAAA,EAAW,EAAE,KAAA,EAAO,EAAE,IAAA,EAAM,mBAAA,EAAoB,EAAE,EAAG,CAAC,OAAO,CAAC,CAAA;AAAA,IACnE,IAAA;AAAA,MACE,KAAA;AAAA,MACA;AAAA,QACE,GAAA,EAAK;AAAA,UACH,IAAA,EAAM,QAAA;AAAA,UACN,SAAA,EAAW,CAAA;AAAA,UACX,WAAWA,kCAAA,CAAyB;AAAA;AACtC,OACF;AAAA,MACA,CAAC,KAAK;AAAA,KACR;AAAA,IACA,IAAA,CAAK,SAAA,EAAW,EAAE,IAAA,EAAM,WAAA,EAAY,EAAG,KAAA,EAAO,aAAA,EAAc,EAAG,IAAA,EAAM,aAAA,EAAc,EAAE,EAAG;AAAA,MACtF,MAAA;AAAA,MACA,OAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAE,EAAG,CAAC,SAAS,CAAC,CAAA;AAAA,IAC1D,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAG,KAAA,EAAO,eAAc,EAAE,EAAG,CAAC,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,IAC3F,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,KAAK,CAAA,EAAE,EAAG,KAAA,EAAO,aAAA,IAAgB,EAAG;AAAA,MAC3E,SAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,EAAG,GAAA,CAAI,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,IAC3D,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA,EAAG,GAAA,CAAI,KAAA,EAAO,IAAI,CAAC,CAAC;AAAA;AAE3D,CAAA;AAEO,MAAM,2BAA+C,UAAA,CAAW;AAAA,EACrE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,6CAAA;AAAA,EACL,QAAA,EACE,wKAAA;AAAA,EACF,IAAA,EAAM,QAAA;AAAA,EACN,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,KAAA,EAAO,gBAAA,EAAiB;AAAA,IAClC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,WAAA,EAAY;AAAA,IAC9B,YAAY,aAAA;AAAc,GAC5B;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,SAAA,EAAW,WAAW,YAAY,CAAA;AAAA,EACvD,oBAAA,EAAsB,KAAA;AAAA,EACtB,KAAA,EAAO,EAAE,SAAA,EAAW,UAAA;AACtB,CAAC;AAEM,MAAM,yBAA6C,UAAA,CAAW;AAAA,EACnE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,iDAAA;AAAA,EACL,IAAA,EAAM,sBAAA;AAAA,EACN,KAAA,EAAO;AAAA,IACL,gBAAA;AAAA,IACA,YAAA,EAAc;AAAA,MACZ,KAAA,EAAO;AAAA,QACL,cAAc,MAAA,EAAQ,OAAA,EAAS,EAAE,IAAA,EAAM,4BAA4B,CAAA;AAAA,QACnE,aAAA,CAAc,UAAU,MAAM,CAAA;AAAA,QAC9B,cAAc,QAAA,EAAU,MAAA,EAAQ,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAChE,cAAc,QAAA,EAAU,IAAA,EAAM,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC9D,cAAc,QAAA,EAAU,KAAA,EAAO,EAAE,IAAA,EAAM,wBAAwB;AAAA;AACjE;AACF;AAEJ,CAAC;AAED,SAAS,IAAA,CACP,IAAA,EACA,UAAA,EACA,QAAA,EACyB;AACzB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA,EAAY,EAAE,IAAA,EAAM,EAAE,OAAO,IAAA,EAAK,EAAG,GAAG,UAAA,EAAW;AAAA,IACnD,QAAA,EAAU,CAAC,MAAA,EAAQ,GAAG,QAAQ,CAAA;AAAA,IAC9B,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,SAAA,CACP,MACA,IAAA,EACyB;AACzB,EAAA,OAAO,IAAA;AAAA,IACL,OAAA;AAAA,IACA;AAAA,MACE,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,MACpB,OAAO,aAAA,EAAc;AAAA,MACrB,IAAA,EAAM,EAAE,IAAA,EAAM,OAAA,EAAS,aAAa,IAAA,EAAM,QAAA,EAAU,CAAA,EAAG,QAAA,EAAU,CAAA;AAAE,KACrE;AAAA,IACA,CAAC,MAAA,EAAQ,OAAA,EAAS,MAAM;AAAA,GAC1B;AACF;AAEA,SAAS,GAAA,CAAI,SAAiB,OAAA,EAA2C;AACvE,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA,EAAQ;AAAA,IAC1B,MAAM,aAAA;AAAc,GACtB;AACA,EAAA,IAAI,OAAA,EAAS,UAAA,CAAW,OAAA,GAAU,WAAA,EAAY;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAY,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA,EAAG,oBAAA,EAAsB,KAAA,EAAM;AAClG;AAEA,SAAS,aAAA,CACP,IAAA,EACA,OAAA,EACA,KAAA,EACyB;AACzB,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,MAAA,EAAQ,EAAE,KAAA,EAAO,cAAA,EAAe;AAAA,IAChC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA;AAAQ,GAC5B;AACA,EAAA,IAAI,KAAA,aAAkB,KAAA,GAAQ,KAAA;AAC9B,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA;AAAA,IACA,QAAA,EAAU,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AAAA,IAChC,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,aAAA,GAAwC;AAC/C,EAAA,OAAO,EAAE,MAAM,oBAAA,EAAqB;AACtC;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,WAAW,CAAA,EAAG,SAAA,EAAWA,mCAAyB,kBAAA,EAAmB;AAChG;AAEA,SAAS,WAAc,KAAA,EAAa;AAClC,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,KAAA;AAClF,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,CAAO,KAAK,CAAA,aAAc,KAAK,CAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,OAAO,KAAK,CAAA;AAC5B","file":"schemas.cjs","sourcesContent":["import { DEFAULT_KALADA_V1_LIMITS } from \"./limits.js\";\n\nexport type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;\n\nconst jsonValue = jsonValueSchema(\"#/$defs/jsonValue\", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);\nconst encodedJsonValue = jsonValueSchema(\n  \"#/$defs/encodedJsonValue\",\n  DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2,\n);\n\nfunction jsonValueSchema(reference: string, maxContainerSize: number): Record<string, unknown> {\n  return {\n    anyOf: [\n      { type: \"null\" },\n      { type: \"boolean\" },\n      { type: \"number\", minimum: -1.7976931348623157e308, maximum: 1.7976931348623157e308 },\n      { type: \"string\", maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n      {\n        type: \"array\",\n        maxItems: maxContainerSize,\n        items: { $ref: reference },\n      },\n      {\n        type: \"object\",\n        maxProperties: maxContainerSize,\n        propertyNames: {\n          allOf: [\n            { maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n            { not: { enum: [\"__proto__\", \"constructor\", \"prototype\"] } },\n          ],\n        },\n        additionalProperties: { $ref: reference },\n      },\n    ],\n  };\n}\n\nconst expression = {\n  oneOf: [\n    node(\"literal\", { value: { $ref: \"#/$defs/jsonValue\" } }, [\"value\"]),\n    node(\n      \"ref\",\n      {\n        ref: {\n          type: \"string\",\n          minLength: 1,\n          maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength,\n        },\n      },\n      [\"ref\"],\n    ),\n    node(\"binding\", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [\n      \"name\",\n      \"value\",\n      \"body\",\n    ]),\n    node(\"option\", { variant: { const: \"none\" } }, [\"variant\"]),\n    node(\"option\", { variant: { const: \"some\" }, value: expressionRef() }, [\"variant\", \"value\"]),\n    node(\"result\", { variant: { enum: [\"ok\", \"err\"] }, value: expressionRef() }, [\n      \"variant\",\n      \"value\",\n    ]),\n    matchNode(\"Option\", [arm(\"some\", true), arm(\"none\", false)]),\n    matchNode(\"Result\", [arm(\"ok\", true), arm(\"err\", true)]),\n  ],\n};\n\nexport const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/program/kalada-v1\",\n  $comment:\n    \"The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.\",\n  type: \"object\",\n  properties: {\n    format: { const: \"kalada-program\" },\n    version: { const: 1 },\n    profile: { const: \"kalada-v1\" },\n    expression: expressionRef(),\n  },\n  required: [\"format\", \"version\", \"profile\", \"expression\"],\n  additionalProperties: false,\n  $defs: { jsonValue, expression },\n});\n\nexport const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/value/kalada-value-v1\",\n  $ref: \"#/$defs/encodedValue\",\n  $defs: {\n    encodedJsonValue,\n    encodedValue: {\n      oneOf: [\n        valueEnvelope(\"Json\", \"value\", { $ref: \"#/$defs/encodedJsonValue\" }),\n        valueEnvelope(\"Option\", \"none\"),\n        valueEnvelope(\"Option\", \"some\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"ok\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"err\", { $ref: \"#/$defs/encodedValue\" }),\n      ],\n    },\n  },\n});\n\nfunction node(\n  kind: string,\n  properties: Record<string, unknown>,\n  required: string[],\n): Record<string, unknown> {\n  return {\n    type: \"object\",\n    properties: { kind: { const: kind }, ...properties },\n    required: [\"kind\", ...required],\n    additionalProperties: false,\n  };\n}\n\nfunction matchNode(\n  type: \"Option\" | \"Result\",\n  arms: readonly Record<string, unknown>[],\n): Record<string, unknown> {\n  return node(\n    \"match\",\n    {\n      type: { const: type },\n      value: expressionRef(),\n      arms: { type: \"array\", prefixItems: arms, minItems: 2, maxItems: 2 },\n    },\n    [\"type\", \"value\", \"arms\"],\n  );\n}\n\nfunction arm(variant: string, payload: boolean): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    variant: { const: variant },\n    body: expressionRef(),\n  };\n  if (payload) properties.binding = bindingName();\n  return { type: \"object\", properties, required: [\"variant\", \"body\"], additionalProperties: false };\n}\n\nfunction valueEnvelope(\n  type: string,\n  variant: string,\n  value?: Record<string, unknown>,\n): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    format: { const: \"kalada-value\" },\n    version: { const: 1 },\n    type: { const: type },\n    variant: { const: variant },\n  };\n  if (value) properties.value = value;\n  return {\n    type: \"object\",\n    properties,\n    required: Object.keys(properties),\n    additionalProperties: false,\n  };\n}\n\nfunction expressionRef(): Record<string, string> {\n  return { $ref: \"#/$defs/expression\" };\n}\n\nfunction bindingName(): Record<string, unknown> {\n  return { type: \"string\", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };\n}\n\nfunction deepFreeze<T>(value: T): T {\n  if (typeof value !== \"object\" || value === null || Object.isFrozen(value)) return value;\n  for (const child of Object.values(value)) deepFreeze(child);\n  return Object.freeze(value);\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/schemas.ts"],"names":["DEFAULT_KALADA_V1_LIMITS","DEFAULT_KALADA_V1_FUNCTION_LIMITS"],"mappings":";;;;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqBA,kCAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACAA,mCAAyB,aAAA,GAAgB;AAC3C,CAAA;AAEA,SAAS,eAAA,CAAgB,WAAmB,gBAAA,EAAmD;AAC7F,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,EAAE,MAAM,MAAA,EAAO;AAAA,MACf,EAAE,MAAM,SAAA,EAAU;AAAA,MAClB,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,sBAAA,EAAyB,SAAS,qBAAA,EAAuB;AAAA,MACpF,EAAE,IAAA,EAAM,QAAA,EAAU,SAAA,EAAWA,mCAAyB,eAAA,EAAgB;AAAA,MACtE;AAAA,QACE,IAAA,EAAM,OAAA;AAAA,QACN,QAAA,EAAU,gBAAA;AAAA,QACV,KAAA,EAAO,EAAE,IAAA,EAAM,SAAA;AAAU,OAC3B;AAAA,MACA;AAAA,QACE,IAAA,EAAM,QAAA;AAAA,QACN,aAAA,EAAe,gBAAA;AAAA,QACf,aAAA,EAAe;AAAA,UACb,KAAA,EAAO;AAAA,YACL,EAAE,SAAA,EAAWA,kCAAA,CAAyB,eAAA,EAAgB;AAAA,YACtD,EAAE,KAAK,EAAE,IAAA,EAAM,CAAC,WAAA,EAAa,aAAA,EAAe,WAAW,CAAA,EAAE;AAAE;AAC7D,SACF;AAAA,QACA,oBAAA,EAAsB,EAAE,IAAA,EAAM,SAAA;AAAU;AAC1C;AACF,GACF;AACF;AAEA,MAAM,UAAA,GAAa;AAAA,EACjB,KAAA,EAAO;AAAA,IACL,IAAA,CAAK,SAAA,EAAW,EAAE,KAAA,EAAO,EAAE,IAAA,EAAM,mBAAA,EAAoB,EAAE,EAAG,CAAC,OAAO,CAAC,CAAA;AAAA,IACnE,IAAA;AAAA,MACE,KAAA;AAAA,MACA;AAAA,QACE,GAAA,EAAK;AAAA,UACH,IAAA,EAAM,QAAA;AAAA,UACN,SAAA,EAAW,CAAA;AAAA,UACX,WAAWA,kCAAA,CAAyB;AAAA;AACtC,OACF;AAAA,MACA,CAAC,KAAK;AAAA,KACR;AAAA,IACA,IAAA,CAAK,SAAA,EAAW,EAAE,IAAA,EAAM,WAAA,EAAY,EAAG,KAAA,EAAO,aAAA,EAAc,EAAG,IAAA,EAAM,aAAA,EAAc,EAAE,EAAG;AAAA,MACtF,MAAA;AAAA,MACA,OAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAE,EAAG,CAAC,SAAS,CAAC,CAAA;AAAA,IAC1D,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAG,KAAA,EAAO,eAAc,EAAE,EAAG,CAAC,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,IAC3F,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,KAAK,CAAA,EAAE,EAAG,KAAA,EAAO,aAAA,IAAgB,EAAG;AAAA,MAC3E,SAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,WAAW,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IACjE,IAAA,CAAK,YAAY,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IAClE,IAAA,CAAK,iBAAA,EAAmB,EAAC,EAAG,EAAE,CAAA;AAAA,IAC9B,YAAA,CAAa,qBAAA,EAAuB,CAAC,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,IACvD,aAAa,qBAAA,EAAuB;AAAA,MAClC,OAAA;AAAA,MACA,WAAA;AAAA,MACA,WAAA;AAAA,MACA,oBAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,EAAG,GAAA,CAAI,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,IAC3D,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA,EAAG,GAAA,CAAI,KAAA,EAAO,IAAI,CAAC,CAAC,CAAA;AAAA,IACvD,IAAA;AAAA,MACE,UAAA;AAAA,MACA,EAAE,YAAY,gBAAA,EAAiB,EAAG,SAAS,OAAA,EAAQ,EAAG,IAAA,EAAM,aAAA,EAAc,EAAE;AAAA,MAC5E,CAAC,YAAA,EAAc,SAAA,EAAW,MAAM;AAAA,KAClC;AAAA,IACA,IAAA;AAAA,MACE,MAAA;AAAA,MACA;AAAA,QACE,QAAQ,aAAA,EAAc;AAAA,QACtB,SAAA,EAAW;AAAA,UACT,IAAA,EAAM,OAAA;AAAA,UACN,UAAUA,kCAAA,CAAyB,WAAA;AAAA,UACnC,OAAO,aAAA;AAAc;AACvB,OACF;AAAA,MACA,CAAC,UAAU,WAAW;AAAA,KACxB;AAAA,IACA,IAAA;AAAA,MACE,gBAAA;AAAA,MACA;AAAA,QACE,SAAA,EAAW;AAAA,UACT,IAAA,EAAM,OAAA;AAAA,UACN,UAAUC,2CAAA,CAAkC,oBAAA;AAAA,UAC5C,KAAA,EAAO,EAAE,IAAA,EAAM,uBAAA;AAAwB,SACzC;AAAA,QACA,MAAM,aAAA;AAAc,OACtB;AAAA,MACA,CAAC,aAAa,MAAM;AAAA,KACtB;AAAA,IACA,KAAK,eAAA,EAAiB,EAAE,IAAA,EAAM,EAAE,MAAM,CAAC,KAAA,EAAO,QAAA,EAAU,MAAA,EAAQ,OAAO,CAAA,EAAE,EAAE,EAAG,CAAC,MAAM,CAAC;AAAA;AAE1F,CAAA;AAEO,MAAM,oCAAwD,UAAA,CAAW;AAAA,EAC9E,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,uDAAA;AAAA,EACL,QAAA,EACE,wKAAA;AAAA,EACF,IAAA,EAAM,QAAA;AAAA,EACN,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,KAAA,EAAO,gBAAA,EAAiB;AAAA,IAClC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,WAAA,EAAY;AAAA,IAC9B,YAAY,aAAA;AAAc,GAC5B;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,SAAA,EAAW,WAAW,YAAY,CAAA;AAAA,EACvD,oBAAA,EAAsB,KAAA;AAAA,EACtB,KAAA,EAAO;AAAA,IACL,SAAA;AAAA,IACA,UAAA;AAAA,IACA,YAAY,UAAA,EAAW;AAAA,IACvB,SAAA,EAAW;AAAA,MACT,IAAA,EAAM,QAAA;AAAA,MACN,YAAY,EAAE,IAAA,EAAM,aAAY,EAAG,IAAA,EAAM,SAAQ,EAAE;AAAA,MACnD,QAAA,EAAU,CAAC,MAAA,EAAQ,MAAM,CAAA;AAAA,MACzB,oBAAA,EAAsB;AAAA,KACxB;AAAA,IACA,aAAA,EAAe;AAAA,MACb,IAAA,EAAM,QAAA;AAAA,MACN,UAAA,EAAY;AAAA,QACV,MAAM,WAAA,EAAY;AAAA,QAClB,YAAY,gBAAA,EAAiB;AAAA,QAC7B,SAAS,OAAA,EAAQ;AAAA,QACjB,MAAM,aAAA;AAAc,OACtB;AAAA,MACA,QAAA,EAAU,CAAC,MAAA,EAAQ,YAAA,EAAc,WAAW,MAAM,CAAA;AAAA,MAClD,oBAAA,EAAsB;AAAA;AACxB;AAEJ,CAAC;AAED,MAAM,gBAAA,GAAmB,EAAE,KAAA,EAAO,UAAA,CAAW,MAAM,KAAA,CAAM,CAAA,EAAG,EAAE,CAAA,EAAE;AAEzD,MAAM,2BAA+C,UAAA,CAAW;AAAA,EACrE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,6CAAA;AAAA,EACL,QAAA,EACE,wKAAA;AAAA,EACF,IAAA,EAAM,QAAA;AAAA,EACN,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,KAAA,EAAO,gBAAA,EAAiB;AAAA,IAClC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,WAAA,EAAY;AAAA,IAC9B,YAAY,aAAA;AAAc,GAC5B;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,SAAA,EAAW,WAAW,YAAY,CAAA;AAAA,EACvD,oBAAA,EAAsB,KAAA;AAAA,EACtB,KAAA,EAAO,EAAE,SAAA,EAAW,UAAA,EAAY,gBAAA;AAClC,CAAC;AAEM,MAAM,yBAA6C,UAAA,CAAW;AAAA,EACnE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,iDAAA;AAAA,EACL,IAAA,EAAM,sBAAA;AAAA,EACN,KAAA,EAAO;AAAA,IACL,gBAAA;AAAA,IACA,YAAA,EAAc;AAAA,MACZ,KAAA,EAAO;AAAA,QACL,cAAc,MAAA,EAAQ,OAAA,EAAS,EAAE,IAAA,EAAM,4BAA4B,CAAA;AAAA,QACnE,aAAA,CAAc,UAAU,MAAM,CAAA;AAAA,QAC9B,cAAc,QAAA,EAAU,MAAA,EAAQ,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAChE,cAAc,QAAA,EAAU,IAAA,EAAM,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC9D,cAAc,QAAA,EAAU,KAAA,EAAO,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC/D,aAAA,CAAc,SAAA,EAAW,cAAA,EAAgB,WAAA,EAAa,CAAA;AAAA,QACtD,aAAA,CAAc,UAAA,EAAY,cAAA,EAAgB,WAAA,EAAa;AAAA;AACzD;AACF;AAEJ,CAAC;AAED,SAAS,IAAA,CACP,IAAA,EACA,UAAA,EACA,QAAA,EACyB;AACzB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA,EAAY,EAAE,IAAA,EAAM,EAAE,OAAO,IAAA,EAAK,EAAG,GAAG,UAAA,EAAW;AAAA,IACnD,QAAA,EAAU,CAAC,MAAA,EAAQ,GAAG,QAAQ,CAAA;AAAA,IAC9B,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,YAAA,CAAa,MAAc,SAAA,EAAuD;AACzF,EAAA,OAAO,IAAA;AAAA,IACL,IAAA;AAAA,IACA,EAAE,QAAA,EAAU,EAAE,IAAA,EAAM,SAAA,EAAU,EAAG,IAAA,EAAM,aAAA,EAAc,EAAG,KAAA,EAAO,aAAA,EAAc,EAAE;AAAA,IAC/E,CAAC,UAAA,EAAY,MAAA,EAAQ,OAAO;AAAA,GAC9B;AACF;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,SAAA;AAAA,IACN,SAAS,MAAA,CAAO,gBAAA;AAAA,IAChB,SAAS,MAAA,CAAO;AAAA,GAClB;AACF;AAEA,SAAS,SAAA,CACP,MACA,IAAA,EACyB;AACzB,EAAA,OAAO,IAAA;AAAA,IACL,OAAA;AAAA,IACA;AAAA,MACE,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,MACpB,OAAO,aAAA,EAAc;AAAA,MACrB,IAAA,EAAM,EAAE,IAAA,EAAM,OAAA,EAAS,aAAa,IAAA,EAAM,QAAA,EAAU,CAAA,EAAG,QAAA,EAAU,CAAA;AAAE,KACrE;AAAA,IACA,CAAC,MAAA,EAAQ,OAAA,EAAS,MAAM;AAAA,GAC1B;AACF;AAEA,SAAS,GAAA,CAAI,SAAiB,OAAA,EAA2C;AACvE,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA,EAAQ;AAAA,IAC1B,MAAM,aAAA;AAAc,GACtB;AACA,EAAA,IAAI,OAAA,EAAS,UAAA,CAAW,OAAA,GAAU,WAAA,EAAY;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAY,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA,EAAG,oBAAA,EAAsB,KAAA,EAAM;AAClG;AAEA,SAAS,aAAA,CACP,IAAA,EACA,OAAA,EACA,KAAA,EACyB;AACzB,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,MAAA,EAAQ,EAAE,KAAA,EAAO,cAAA,EAAe;AAAA,IAChC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA;AAAQ,GAC5B;AACA,EAAA,IAAI,KAAA,aAAkB,KAAA,GAAQ,KAAA;AAC9B,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA;AAAA,IACA,QAAA,EAAU,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AAAA,IAChC,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,aAAA,GAAwC;AAC/C,EAAA,OAAO,EAAE,MAAM,oBAAA,EAAqB;AACtC;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,WAAW,CAAA,EAAG,SAAA,EAAWD,mCAAyB,kBAAA,EAAmB;AAChG;AAEA,SAAS,gBAAA,GAA4C;AACnD,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,OAAA;AAAA,IACN,UAAUC,2CAAA,CAAkC,qBAAA;AAAA,IAC5C,KAAA,EAAO,EAAE,IAAA,EAAM,mBAAA;AAAoB,GACrC;AACF;AAEA,SAAS,OAAA,GAAkC;AACzC,EAAA,OAAO,EAAE,MAAM,oBAAA,EAAqB;AACtC;AAEA,SAAS,UAAA,GAAsC;AAC7C,EAAA,MAAM,SAAA,GAAY,IAAA;AAAA,IAChB,gBAAA;AAAA,IACA,EAAE,IAAA,EAAM,EAAE,IAAA,EAAM,CAAC,MAAA,EAAQ,SAAA,EAAW,QAAA,EAAU,QAAA,EAAU,MAAA,EAAQ,SAAA,EAAW,UAAU,GAAE,EAAE;AAAA,IACzF,CAAC,MAAM;AAAA,GACT;AACA,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,SAAA;AAAA,MACA,IAAA,CAAK,eAAe,EAAE,KAAA,EAAO,SAAQ,EAAE,EAAG,CAAC,OAAO,CAAC,CAAA;AAAA,MACnD,IAAA,CAAK,aAAA,EAAe,EAAE,EAAA,EAAI,OAAA,EAAQ,EAAG,KAAA,EAAO,OAAA,EAAQ,EAAE,EAAG,CAAC,IAAA,EAAM,OAAO,CAAC,CAAA;AAAA,MACxE,IAAA,CAAK,cAAc,EAAE,OAAA,EAAS,SAAQ,EAAE,EAAG,CAAC,SAAS,CAAC,CAAA;AAAA,MACtD,IAAA;AAAA,QACE,eAAA;AAAA,QACA;AAAA,UACE,UAAA,EAAY;AAAA,YACV,IAAA,EAAM,OAAA;AAAA,YACN,UAAUA,2CAAA,CAAkC,qBAAA;AAAA,YAC5C,OAAO,OAAA;AAAQ,WACjB;AAAA,UACA,SAAS,OAAA;AAAQ,SACnB;AAAA,QACA,CAAC,cAAc,SAAS;AAAA;AAC1B;AACF,GACF;AACF;AAEA,SAAS,WAAc,KAAA,EAAa;AAClC,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,KAAA;AAClF,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,CAAO,KAAK,CAAA,aAAc,KAAK,CAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,OAAO,KAAK,CAAA;AAC5B","file":"schemas.cjs","sourcesContent":["import { DEFAULT_KALADA_V1_FUNCTION_LIMITS, DEFAULT_KALADA_V1_LIMITS } from \"./limits.js\";\n\nexport type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;\n\nconst jsonValue = jsonValueSchema(\"#/$defs/jsonValue\", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);\nconst encodedJsonValue = jsonValueSchema(\n  \"#/$defs/encodedJsonValue\",\n  DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2,\n);\n\nfunction jsonValueSchema(reference: string, maxContainerSize: number): Record<string, unknown> {\n  return {\n    anyOf: [\n      { type: \"null\" },\n      { type: \"boolean\" },\n      { type: \"number\", minimum: -1.7976931348623157e308, maximum: 1.7976931348623157e308 },\n      { type: \"string\", maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n      {\n        type: \"array\",\n        maxItems: maxContainerSize,\n        items: { $ref: reference },\n      },\n      {\n        type: \"object\",\n        maxProperties: maxContainerSize,\n        propertyNames: {\n          allOf: [\n            { maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n            { not: { enum: [\"__proto__\", \"constructor\", \"prototype\"] } },\n          ],\n        },\n        additionalProperties: { $ref: reference },\n      },\n    ],\n  };\n}\n\nconst expression = {\n  oneOf: [\n    node(\"literal\", { value: { $ref: \"#/$defs/jsonValue\" } }, [\"value\"]),\n    node(\n      \"ref\",\n      {\n        ref: {\n          type: \"string\",\n          minLength: 1,\n          maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength,\n        },\n      },\n      [\"ref\"],\n    ),\n    node(\"binding\", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [\n      \"name\",\n      \"value\",\n      \"body\",\n    ]),\n    node(\"option\", { variant: { const: \"none\" } }, [\"variant\"]),\n    node(\"option\", { variant: { const: \"some\" }, value: expressionRef() }, [\"variant\", \"value\"]),\n    node(\"result\", { variant: { enum: [\"ok\", \"err\"] }, value: expressionRef() }, [\n      \"variant\",\n      \"value\",\n    ]),\n    node(\"instant\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"duration\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"current-instant\", {}, []),\n    temporalNode(\"temporal-arithmetic\", [\"add\", \"subtract\"]),\n    temporalNode(\"temporal-comparison\", [\n      \"equal\",\n      \"not-equal\",\n      \"less-than\",\n      \"less-than-or-equal\",\n      \"greater-than\",\n      \"greater-than-or-equal\",\n    ]),\n    matchNode(\"Option\", [arm(\"some\", true), arm(\"none\", false)]),\n    matchNode(\"Result\", [arm(\"ok\", true), arm(\"err\", true)]),\n    node(\n      \"function\",\n      { parameters: parametersSchema(), returns: typeRef(), body: expressionRef() },\n      [\"parameters\", \"returns\", \"body\"],\n    ),\n    node(\n      \"call\",\n      {\n        callee: expressionRef(),\n        arguments: {\n          type: \"array\",\n          maxItems: DEFAULT_KALADA_V1_LIMITS.maxAstNodes,\n          items: expressionRef(),\n        },\n      },\n      [\"callee\", \"arguments\"],\n    ),\n    node(\n      \"function-group\",\n      {\n        functions: {\n          type: \"array\",\n          maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionGroupSize,\n          items: { $ref: \"#/$defs/namedFunction\" },\n        },\n        body: expressionRef(),\n      },\n      [\"functions\", \"body\"],\n    ),\n    node(\"core-function\", { name: { enum: [\"map\", \"filter\", \"some\", \"every\"] } }, [\"name\"]),\n  ],\n};\n\nexport const KALADA_V1_FUNCTION_PROGRAM_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/program/kalada-v1-functions\",\n  $comment:\n    \"The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.\",\n  type: \"object\",\n  properties: {\n    format: { const: \"kalada-program\" },\n    version: { const: 1 },\n    profile: { const: \"kalada-v1\" },\n    expression: expressionRef(),\n  },\n  required: [\"format\", \"version\", \"profile\", \"expression\"],\n  additionalProperties: false,\n  $defs: {\n    jsonValue,\n    expression,\n    kaladaType: typeSchema(),\n    parameter: {\n      type: \"object\",\n      properties: { name: bindingName(), type: typeRef() },\n      required: [\"name\", \"type\"],\n      additionalProperties: false,\n    },\n    namedFunction: {\n      type: \"object\",\n      properties: {\n        name: bindingName(),\n        parameters: parametersSchema(),\n        returns: typeRef(),\n        body: expressionRef(),\n      },\n      required: [\"name\", \"parameters\", \"returns\", \"body\"],\n      additionalProperties: false,\n    },\n  },\n});\n\nconst legacyExpression = { oneOf: expression.oneOf.slice(0, 13) };\n\nexport const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/program/kalada-v1\",\n  $comment:\n    \"The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.\",\n  type: \"object\",\n  properties: {\n    format: { const: \"kalada-program\" },\n    version: { const: 1 },\n    profile: { const: \"kalada-v1\" },\n    expression: expressionRef(),\n  },\n  required: [\"format\", \"version\", \"profile\", \"expression\"],\n  additionalProperties: false,\n  $defs: { jsonValue, expression: legacyExpression },\n});\n\nexport const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/value/kalada-value-v1\",\n  $ref: \"#/$defs/encodedValue\",\n  $defs: {\n    encodedJsonValue,\n    encodedValue: {\n      oneOf: [\n        valueEnvelope(\"Json\", \"value\", { $ref: \"#/$defs/encodedJsonValue\" }),\n        valueEnvelope(\"Option\", \"none\"),\n        valueEnvelope(\"Option\", \"some\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"ok\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"err\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Instant\", \"milliseconds\", safeInteger()),\n        valueEnvelope(\"Duration\", \"milliseconds\", safeInteger()),\n      ],\n    },\n  },\n});\n\nfunction node(\n  kind: string,\n  properties: Record<string, unknown>,\n  required: string[],\n): Record<string, unknown> {\n  return {\n    type: \"object\",\n    properties: { kind: { const: kind }, ...properties },\n    required: [\"kind\", ...required],\n    additionalProperties: false,\n  };\n}\n\nfunction temporalNode(kind: string, operators: readonly string[]): Record<string, unknown> {\n  return node(\n    kind,\n    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },\n    [\"operator\", \"left\", \"right\"],\n  );\n}\n\nfunction safeInteger(): Record<string, unknown> {\n  return {\n    type: \"integer\",\n    minimum: Number.MIN_SAFE_INTEGER,\n    maximum: Number.MAX_SAFE_INTEGER,\n  };\n}\n\nfunction matchNode(\n  type: \"Option\" | \"Result\",\n  arms: readonly Record<string, unknown>[],\n): Record<string, unknown> {\n  return node(\n    \"match\",\n    {\n      type: { const: type },\n      value: expressionRef(),\n      arms: { type: \"array\", prefixItems: arms, minItems: 2, maxItems: 2 },\n    },\n    [\"type\", \"value\", \"arms\"],\n  );\n}\n\nfunction arm(variant: string, payload: boolean): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    variant: { const: variant },\n    body: expressionRef(),\n  };\n  if (payload) properties.binding = bindingName();\n  return { type: \"object\", properties, required: [\"variant\", \"body\"], additionalProperties: false };\n}\n\nfunction valueEnvelope(\n  type: string,\n  variant: string,\n  value?: Record<string, unknown>,\n): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    format: { const: \"kalada-value\" },\n    version: { const: 1 },\n    type: { const: type },\n    variant: { const: variant },\n  };\n  if (value) properties.value = value;\n  return {\n    type: \"object\",\n    properties,\n    required: Object.keys(properties),\n    additionalProperties: false,\n  };\n}\n\nfunction expressionRef(): Record<string, string> {\n  return { $ref: \"#/$defs/expression\" };\n}\n\nfunction bindingName(): Record<string, unknown> {\n  return { type: \"string\", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };\n}\n\nfunction parametersSchema(): Record<string, unknown> {\n  return {\n    type: \"array\",\n    maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,\n    items: { $ref: \"#/$defs/parameter\" },\n  };\n}\n\nfunction typeRef(): Record<string, string> {\n  return { $ref: \"#/$defs/kaladaType\" };\n}\n\nfunction typeSchema(): Record<string, unknown> {\n  const primitive = node(\n    \"primitive-type\",\n    { name: { enum: [\"null\", \"boolean\", \"number\", \"string\", \"json\", \"Instant\", \"Duration\"] } },\n    [\"name\"],\n  );\n  return {\n    oneOf: [\n      primitive,\n      node(\"option-type\", { value: typeRef() }, [\"value\"]),\n      node(\"result-type\", { ok: typeRef(), error: typeRef() }, [\"ok\", \"error\"]),\n      node(\"array-type\", { element: typeRef() }, [\"element\"]),\n      node(\n        \"function-type\",\n        {\n          parameters: {\n            type: \"array\",\n            maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,\n            items: typeRef(),\n          },\n          returns: typeRef(),\n        },\n        [\"parameters\", \"returns\"],\n      ),\n    ],\n  };\n}\n\nfunction deepFreeze<T>(value: T): T {\n  if (typeof value !== \"object\" || value === null || Object.isFrozen(value)) return value;\n  for (const child of Object.values(value)) deepFreeze(child);\n  return Object.freeze(value);\n}\n"]}

package/dist/kalada-v1/schemas.d.cts

@@ -1,5 +1,6 @@
 type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;
+declare const KALADA_V1_FUNCTION_PROGRAM_SCHEMA: KaladaV1JsonSchema;
 declare const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema;
 declare const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema;
 
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };

package/dist/kalada-v1/schemas.d.ts

@@ -1,5 +1,6 @@
 type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;
+declare const KALADA_V1_FUNCTION_PROGRAM_SCHEMA: KaladaV1JsonSchema;
 declare const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema;
 declare const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema;
 
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };

package/dist/kalada-v1/schemas.js

@@ -1,4 +1,4 @@
-import { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
+import { DEFAULT_KALADA_V1_LIMITS, DEFAULT_KALADA_V1_FUNCTION_LIMITS } from './limits.js';
 
 const jsonValue = jsonValueSchema("#/$defs/jsonValue", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);
 const encodedJsonValue = jsonValueSchema(
@@ -56,10 +56,89 @@ const expression = {
       "variant",
       "value"
     ]),
+    node("instant", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("duration", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("current-instant", {}, []),
+    temporalNode("temporal-arithmetic", ["add", "subtract"]),
+    temporalNode("temporal-comparison", [
+      "equal",
+      "not-equal",
+      "less-than",
+      "less-than-or-equal",
+      "greater-than",
+      "greater-than-or-equal"
+    ]),
     matchNode("Option", [arm("some", true), arm("none", false)]),
-    matchNode("Result", [arm("ok", true), arm("err", true)])
+    matchNode("Result", [arm("ok", true), arm("err", true)]),
+    node(
+      "function",
+      { parameters: parametersSchema(), returns: typeRef(), body: expressionRef() },
+      ["parameters", "returns", "body"]
+    ),
+    node(
+      "call",
+      {
+        callee: expressionRef(),
+        arguments: {
+          type: "array",
+          maxItems: DEFAULT_KALADA_V1_LIMITS.maxAstNodes,
+          items: expressionRef()
+        }
+      },
+      ["callee", "arguments"]
+    ),
+    node(
+      "function-group",
+      {
+        functions: {
+          type: "array",
+          maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionGroupSize,
+          items: { $ref: "#/$defs/namedFunction" }
+        },
+        body: expressionRef()
+      },
+      ["functions", "body"]
+    ),
+    node("core-function", { name: { enum: ["map", "filter", "some", "every"] } }, ["name"])
   ]
 };
+const KALADA_V1_FUNCTION_PROGRAM_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/program/kalada-v1-functions",
+  $comment: "The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.",
+  type: "object",
+  properties: {
+    format: { const: "kalada-program" },
+    version: { const: 1 },
+    profile: { const: "kalada-v1" },
+    expression: expressionRef()
+  },
+  required: ["format", "version", "profile", "expression"],
+  additionalProperties: false,
+  $defs: {
+    jsonValue,
+    expression,
+    kaladaType: typeSchema(),
+    parameter: {
+      type: "object",
+      properties: { name: bindingName(), type: typeRef() },
+      required: ["name", "type"],
+      additionalProperties: false
+    },
+    namedFunction: {
+      type: "object",
+      properties: {
+        name: bindingName(),
+        parameters: parametersSchema(),
+        returns: typeRef(),
+        body: expressionRef()
+      },
+      required: ["name", "parameters", "returns", "body"],
+      additionalProperties: false
+    }
+  }
+});
+const legacyExpression = { oneOf: expression.oneOf.slice(0, 13) };
 const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
   $schema: "https://json-schema.org/draft/2020-12/schema",
   $id: "https://kalada.dev/schema/program/kalada-v1",
@@ -73,7 +152,7 @@ const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
   },
   required: ["format", "version", "profile", "expression"],
   additionalProperties: false,
-  $defs: { jsonValue, expression }
+  $defs: { jsonValue, expression: legacyExpression }
 });
 const KALADA_VALUE_V1_SCHEMA = deepFreeze({
   $schema: "https://json-schema.org/draft/2020-12/schema",
@@ -87,7 +166,9 @@ const KALADA_VALUE_V1_SCHEMA = deepFreeze({
         valueEnvelope("Option", "none"),
         valueEnvelope("Option", "some", { $ref: "#/$defs/encodedValue" }),
         valueEnvelope("Result", "ok", { $ref: "#/$defs/encodedValue" }),
-        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" })
+        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Instant", "milliseconds", safeInteger()),
+        valueEnvelope("Duration", "milliseconds", safeInteger())
       ]
     }
   }
@@ -100,6 +181,20 @@ function node(kind, properties, required) {
     additionalProperties: false
   };
 }
+function temporalNode(kind, operators) {
+  return node(
+    kind,
+    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },
+    ["operator", "left", "right"]
+  );
+}
+function safeInteger() {
+  return {
+    type: "integer",
+    minimum: Number.MIN_SAFE_INTEGER,
+    maximum: Number.MAX_SAFE_INTEGER
+  };
+}
 function matchNode(type, arms) {
   return node(
     "match",
@@ -140,12 +235,49 @@ function expressionRef() {
 function bindingName() {
   return { type: "string", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };
 }
+function parametersSchema() {
+  return {
+    type: "array",
+    maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,
+    items: { $ref: "#/$defs/parameter" }
+  };
+}
+function typeRef() {
+  return { $ref: "#/$defs/kaladaType" };
+}
+function typeSchema() {
+  const primitive = node(
+    "primitive-type",
+    { name: { enum: ["null", "boolean", "number", "string", "json", "Instant", "Duration"] } },
+    ["name"]
+  );
+  return {
+    oneOf: [
+      primitive,
+      node("option-type", { value: typeRef() }, ["value"]),
+      node("result-type", { ok: typeRef(), error: typeRef() }, ["ok", "error"]),
+      node("array-type", { element: typeRef() }, ["element"]),
+      node(
+        "function-type",
+        {
+          parameters: {
+            type: "array",
+            maxItems: DEFAULT_KALADA_V1_FUNCTION_LIMITS.maxFunctionParameters,
+            items: typeRef()
+          },
+          returns: typeRef()
+        },
+        ["parameters", "returns"]
+      )
+    ]
+  };
+}
 function deepFreeze(value) {
   if (typeof value !== "object" || value === null || Object.isFrozen(value)) return value;
   for (const child of Object.values(value)) deepFreeze(child);
   return Object.freeze(value);
 }
 
-export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA };
+export { KALADA_V1_FUNCTION_PROGRAM_SCHEMA, KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA };
 //# sourceMappingURL=schemas.js.map
 //# sourceMappingURL=schemas.js.map