@kalada/core 0.2.0 → 0.3.0

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

@@ -1,7 +1,8 @@
 import { JsonValue } from './json.js';
-import { KaladaV1Expression, KaladaV1Resolver, KaladaV1Limits, KaladaV1Outcome } from './types.js';
+import { KaladaV1Expression, KaladaV1Resolver, KaladaV1Limits, KaladaV1EvaluationInputs, KaladaV1Outcome } from './types.js';
 import { KaladaValue } from './values.js';
+import './temporal.js';
 
-declare function evaluateKaladaV1<R extends JsonValue>(expression: KaladaV1Expression<R>, resolve: KaladaV1Resolver<R>, limits: KaladaV1Limits): KaladaV1Outcome<KaladaValue>;
+declare function evaluateKaladaV1<R extends JsonValue>(expression: KaladaV1Expression<R>, resolve: KaladaV1Resolver<R>, limits: KaladaV1Limits, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
 
 export { evaluateKaladaV1 };

package/dist/kalada-v1/evaluate.js

@@ -1,12 +1,15 @@
 import { rejectCallbackPromise } from '../kuery-v1/callback-promise.js';
 import { success, KaladaFailure, failure } from './diagnostics.js';
-import { cloneJson, dataValue } from './json.js';
+import { dataValue, cloneJson } from './json.js';
+import { isInstant, isDuration } from './temporal.js';
+import { isTemporalExpression, evaluateTemporalExpression } from './temporal-evaluation.js';
 import { Option, Result, isOption, isResult, validateKaladaValueLimits } from './values.js';
 
-function evaluateKaladaV1(expression, resolve, limits) {
+function evaluateKaladaV1(expression, resolve, limits, inputs = {}) {
   try {
+    const instant = evaluationInstant(inputs);
     return success(
-      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, steps: 0 })
+      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, instant, steps: 0 })
     );
   } catch (error) {
     const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_REFERENCE_ERROR", []);
@@ -16,6 +19,14 @@ function evaluateKaladaV1(expression, resolve, limits) {
 function evaluateNode(node, path, scope, state) {
   charge(path, state);
   if (node.kind === "literal") return node.value;
+  if (isTemporalExpression(node)) {
+    return evaluateTemporalExpression(
+      node,
+      path,
+      state.instant,
+      (child, childPath) => evaluateNode(child, childPath, scope, state)
+    );
+  }
   if (node.kind === "ref") return evaluateReference(node.ref, path, scope, state);
   if (node.kind === "binding") return evaluateBinding(node, path, scope, state);
   if (node.kind === "option") {
@@ -27,6 +38,30 @@ function evaluateNode(node, path, scope, state) {
   }
   return evaluateMatch(node, path, scope, state);
 }
+function evaluationInstant(inputs) {
+  let keys;
+  try {
+    if (typeof inputs !== "object" || inputs === null || Array.isArray(inputs))
+      throw new TypeError();
+    keys = Reflect.ownKeys(inputs);
+  } catch {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
+  }
+  const unexpected = keys.find((key) => key !== "instant");
+  if (unexpected !== void 0)
+    throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", String(unexpected)]);
+  if (!keys.includes("instant")) return void 0;
+  let instant;
+  try {
+    instant = dataValue(inputs, "instant");
+  } catch {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
+  }
+  if (instant !== void 0 && !isInstant(instant)) {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
+  }
+  return instant;
+}
 function evaluateBinding(node, path, scope, state) {
   const value = evaluateNode(node.value, [...path, "value"], scope, state);
   const nested = new Map(scope);
@@ -95,7 +130,7 @@ function missingResolution(input, keys, path) {
 }
 function safeValue(input, path, limits) {
   try {
-    if (isOption(input) || isResult(input)) {
+    if (isOption(input) || isResult(input) || isInstant(input) || isDuration(input)) {
       validateKaladaValueLimits(input, {
         maxDepth: limits.maxValueDepth,
         maxNodes: limits.maxValueNodes,

package/dist/kalada-v1/evaluate.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/evaluate.ts"],"names":[],"mappings":";;;;;AA0BO,SAAS,gBAAA,CACd,UAAA,EACA,OAAA,EACA,MAAA,EAC8B;AAC9B,EAAA,IAAI;AACF,IAAA,OAAO,OAAA;AAAA,MACL,YAAA,CAAa,UAAA,EAAY,CAAC,YAAY,CAAA,kBAAG,IAAI,GAAA,EAAI,EAAG,EAAE,OAAA,EAAS,MAAA,EAAQ,KAAA,EAAO,GAAG;AAAA,KACnF;AAAA,EACF,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiB,aAAA,GAAgB,KAAA,GAAQ,IAAI,aAAA,CAAc,wBAAA,EAA0B,EAAE,CAAA;AACzF,IAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAI,CAAA;AAAA,EAC3C;AACF;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,SAAA,EAAW,OAAO,IAAA,CAAK,KAAA;AACzC,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO,OAAO,kBAAkB,IAAA,CAAK,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAC9E,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW,OAAO,gBAAgB,IAAA,EAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AAC5E,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,KAAK,OAAA,KAAY,MAAA,GACpB,OAAO,IAAA,EAAK,GACZ,OAAO,IAAA,CAAK,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAC,CAAA;AAAA,EAC5E;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AACvE,IAAA,OAAO,IAAA,CAAK,YAAY,IAAA,GAAO,MAAA,CAAO,GAAG,KAAK,CAAA,GAAI,MAAA,CAAO,GAAA,CAAI,KAAK,CAAA;AAAA,EACpE;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAC/C;AAEA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AACvE,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM,KAAK,CAAA;AAC3B,EAAA,OAAO,YAAA,CAAa,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AACjE;AAEA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,SAAA,GAAY,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA;AACnC,EAAA,MAAM,QAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,SAAA,EAAW,OAAO,KAAK,CAAA;AAC9D,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,KAAK,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACxC,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,MAAM,UAAU,KAAA,CAAM,OAAA;AACtB,EAAA,MAAM,QAAA,GAAW,KAAK,IAAA,CAAK,SAAA,CAAU,CAAC,SAAA,KAAc,SAAA,CAAU,YAAY,OAAO,CAAA;AACjF,EAAA,MAAM,GAAA,GAAM,IAAA,CAAK,IAAA,CAAK,QAAQ,CAAA;AAC9B,EAAA,IAAI,CAAC,GAAA,EAAK,MAAM,IAAI,aAAA,CAAc,wBAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC3E,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,KAAA,EAAO,GAAA,EAAK,KAAK,CAAA;AAC5C,EAAA,OAAO,YAAA,CAAa,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AAClF;AAEA,SAAS,WAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACkC;AAClC,EAAA,IAAI,CAAC,GAAA,CAAI,OAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAM,KAAA,CAAM,OAAA,KAAY,MAAA;AAC9E,IAAA,OAAO,KAAA;AACT,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,GAAA,CAAI,GAAA,CAAI,OAAA,EAAS,KAAA,CAAM,KAAK,CAAA;AACnC,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,iBAAA,CACP,SAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,IAAI,SAAS,CAAA;AACtD,IAAA,OAAO,KAAA,CAAM,IAAI,SAAS,CAAA;AAC5B,EAAA,IAAI,KAAA;AACJ,EAAA,IAAI;AACF,IAAA,KAAA,GAAQ,KAAA,CAAM,QAAQ,SAAS,CAAA;AAAA,EACjC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACA,EAAA,IAAI,sBAAsB,KAAK,CAAA,QAAS,IAAI,aAAA,CAAc,4BAA4B,IAAI,CAAA;AAC1F,EAAA,OAAO,eAAA,CAAgB,KAAA,EAAO,IAAA,EAAM,KAAA,CAAM,MAAM,CAAA;AAClD;AAEA,SAAS,eAAA,CAAgB,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAqC;AACxF,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACA,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,KAAA,EAAO,IAAI,CAAA;AACjC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,KAAA,EAAO,OAAA,EAAS,IAAI,CAAA;AAC3C,EAAA,IAAI,OAAO,KAAA,KAAU,SAAA,QAAiB,IAAI,aAAA,CAAc,0BAA0B,IAAI,CAAA;AACtF,EAAA,IAAI,CAAC,KAAA,EAAO,OAAO,iBAAA,CAAkB,KAAA,EAAO,MAAM,IAAI,CAAA;AACtD,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,IAAK,CAAC,IAAA,CAAK,SAAS,OAAO,CAAA;AAC7C,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD,EAAA,OAAO,UAAU,QAAA,CAAS,KAAA,EAAO,SAAS,IAAI,CAAA,EAAG,MAAM,MAAM,CAAA;AAC/D;AAEA,SAAS,iBAAA,CAAkB,KAAA,EAAe,IAAA,EAA8B,IAAA,EAAmB;AACzF,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,QAAS,IAAI,aAAA,CAAc,4BAA4B,IAAI,CAAA;AAC/E,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,IAAK,CAAC,IAAA,CAAK,SAAS,QAAQ,CAAA;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,KAAA,EAAO,QAAA,EAAU,IAAI,CAAA;AAC7C,EAAA,IAAI,MAAA,KAAW,UAAa,MAAA,KAAW,SAAA;AACrC,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC1D,EAAA,IAAI,WAAW,QAAA,EAAU,MAAM,IAAI,aAAA,CAAc,2BAA2B,IAAI,CAAA;AAChF,EAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD;AAEA,SAAS,SAAA,CAAU,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAqC;AAClF,EAAA,IAAI;AACF,IAAA,IAAI,QAAA,CAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,EAAG;AACtC,MAAA,yBAAA,CAA0B,KAAA,EAAO;AAAA,QAC/B,UAAU,MAAA,CAAO,aAAA;AAAA,QACjB,UAAU,MAAA,CAAO,aAAA;AAAA,QACjB,iBAAiB,MAAA,CAAO;AAAA,OACzB,CAAA;AACD,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,OAAO,UAAU,KAAA,EAAO;AAAA,MACtB,UAAU,MAAA,CAAO,aAAA;AAAA,MACjB,UAAU,MAAA,CAAO,aAAA;AAAA,MACjB,iBAAiB,MAAA,CAAO;AAAA,KACzB,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF;AAEA,SAAS,QAAA,CAAS,OAAe,IAAA,EAA2B;AAC1D,EAAA,IAAI;AACF,IAAA,OAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACF;AAEA,SAAS,QAAA,CAAS,KAAA,EAAe,GAAA,EAAa,IAAA,EAAqB;AACjE,EAAA,IAAI;AACF,IAAA,OAAO,SAAA,CAAU,OAAO,GAAG,CAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACF;AAEA,SAAS,MAAA,CAA4B,MAAY,KAAA,EAAuB;AACtE,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,KAAA,CAAM,KAAA,GAAQ,KAAA,CAAM,MAAA,CAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAI,aAAA,CAAc,yBAAA,EAA2B,IAAI,CAAA;AAAA,EACzD;AACF","file":"evaluate.js","sourcesContent":["import { rejectCallbackPromise } from \"../kuery-v1/callback-promise.js\";\nimport { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { cloneJson, dataValue, type JsonValue } from \"./json.js\";\nimport type {\n  KaladaV1Expression,\n  KaladaV1Limits,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n  MatchArm,\n} from \"./types.js\";\nimport {\n  isOption,\n  isResult,\n  type KaladaValue,\n  Option,\n  Result,\n  validateKaladaValueLimits,\n} from \"./values.js\";\n\ntype Path = readonly (string | number)[];\ninterface State<R extends JsonValue> {\n  readonly resolve: KaladaV1Resolver<R>;\n  readonly limits: KaladaV1Limits;\n  steps: number;\n}\n\nexport function evaluateKaladaV1<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  resolve: KaladaV1Resolver<R>,\n  limits: KaladaV1Limits,\n): KaladaV1Outcome<KaladaValue> {\n  try {\n    return success(\n      evaluateNode(expression, [\"expression\"], new Map(), { resolve, limits, steps: 0 }),\n    );\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_REFERENCE_ERROR\", []);\n    return failure(problem.code, problem.path);\n  }\n}\n\nfunction evaluateNode<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  charge(path, state);\n  if (node.kind === \"literal\") return node.value;\n  if (node.kind === \"ref\") return evaluateReference(node.ref, path, scope, state);\n  if (node.kind === \"binding\") return evaluateBinding(node, path, scope, state);\n  if (node.kind === \"option\") {\n    return node.variant === \"none\"\n      ? Option.none()\n      : Option.some(evaluateNode(node.value, [...path, \"value\"], scope, state));\n  }\n  if (node.kind === \"result\") {\n    const value = evaluateNode(node.value, [...path, \"value\"], scope, state);\n    return node.variant === \"ok\" ? Result.ok(value) : Result.err(value);\n  }\n  return evaluateMatch(node, path, scope, state);\n}\n\nfunction evaluateBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  const value = evaluateNode(node.value, [...path, \"value\"], scope, state);\n  const nested = new Map(scope);\n  nested.set(node.name, value);\n  return evaluateNode(node.body, [...path, \"body\"], nested, state);\n}\n\nfunction evaluateMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  const valuePath = [...path, \"value\"];\n  const value = evaluateNode(node.value, valuePath, scope, state);\n  if (node.type === \"Option\" && !isOption(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  if (node.type === \"Result\" && !isResult(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  if (!isOption(value) && !isResult(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  const variant = value.variant;\n  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);\n  const arm = node.arms[armIndex];\n  if (!arm) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"arms\"]);\n  const nested = bindPayload(scope, arm, value);\n  return evaluateNode(arm.body, [...path, \"arms\", armIndex, \"body\"], nested, state);\n}\n\nfunction bindPayload(\n  scope: ReadonlyMap<string, KaladaValue>,\n  arm: MatchArm<JsonValue>,\n  value: KaladaValue,\n): ReadonlyMap<string, KaladaValue> {\n  if (!arm.binding || (!isOption(value) && !isResult(value)) || value.variant === \"none\")\n    return scope;\n  const nested = new Map(scope);\n  nested.set(arm.binding, value.value);\n  return nested;\n}\n\nfunction evaluateReference<R extends JsonValue>(\n  reference: R,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  if (typeof reference === \"string\" && scope.has(reference))\n    return scope.get(reference) as KaladaValue;\n  let input: unknown;\n  try {\n    input = state.resolve(reference);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n  if (rejectCallbackPromise(input)) throw new KaladaFailure(\"KALADA_ASYNC_UNSUPPORTED\", path);\n  return parseResolution(input, path, state.limits);\n}\n\nfunction parseResolution(input: unknown, path: Path, limits: KaladaV1Limits): KaladaValue {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n  const keys = safeKeys(input, path);\n  const found = safeData(input, \"found\", path);\n  if (typeof found !== \"boolean\") throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  if (!found) return missingResolution(input, keys, path);\n  if (keys.length !== 2 || !keys.includes(\"value\"))\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  return safeValue(safeData(input, \"value\", path), path, limits);\n}\n\nfunction missingResolution(input: object, keys: readonly PropertyKey[], path: Path): never {\n  if (keys.length === 1) throw new KaladaFailure(\"KALADA_REFERENCE_MISSING\", path);\n  if (keys.length !== 2 || !keys.includes(\"reason\"))\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  const reason = safeData(input, \"reason\", path);\n  if (reason === undefined || reason === \"missing\")\n    throw new KaladaFailure(\"KALADA_REFERENCE_MISSING\", path);\n  if (reason === \"denied\") throw new KaladaFailure(\"KALADA_REFERENCE_DENIED\", path);\n  throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n}\n\nfunction safeValue(input: unknown, path: Path, limits: KaladaV1Limits): KaladaValue {\n  try {\n    if (isOption(input) || isResult(input)) {\n      validateKaladaValueLimits(input, {\n        maxDepth: limits.maxValueDepth,\n        maxNodes: limits.maxValueNodes,\n        maxStringLength: limits.maxStringLength,\n      });\n      return input;\n    }\n    return cloneJson(input, {\n      maxDepth: limits.maxValueDepth,\n      maxNodes: limits.maxValueNodes,\n      maxStringLength: limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_RESULT\", path);\n  }\n}\n\nfunction safeKeys(input: object, path: Path): PropertyKey[] {\n  try {\n    return Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n}\n\nfunction safeData(input: object, key: string, path: Path): unknown {\n  try {\n    return dataValue(input, key);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n}\n\nfunction charge<R extends JsonValue>(path: Path, state: State<R>): void {\n  state.steps += 1;\n  if (state.steps > state.limits.maxEvaluationSteps) {\n    throw new KaladaFailure(\"KALADA_EVALUATION_LIMIT\", path);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/evaluate.ts"],"names":[],"mappings":";;;;;;;AA8BO,SAAS,iBACd,UAAA,EACA,OAAA,EACA,MAAA,EACA,MAAA,GAAmC,EAAC,EACN;AAC9B,EAAA,IAAI;AACF,IAAA,MAAM,OAAA,GAAU,kBAAkB,MAAM,CAAA;AACxC,IAAA,OAAO,OAAA;AAAA,MACL,YAAA,CAAa,UAAA,EAAY,CAAC,YAAY,mBAAG,IAAI,GAAA,EAAI,EAAG,EAAE,OAAA,EAAS,MAAA,EAAQ,OAAA,EAAS,KAAA,EAAO,GAAG;AAAA,KAC5F;AAAA,EACF,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiB,aAAA,GAAgB,KAAA,GAAQ,IAAI,aAAA,CAAc,wBAAA,EAA0B,EAAE,CAAA;AACzF,IAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAI,CAAA;AAAA,EAC3C;AACF;AAEA,SAAS,YAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,SAAA,EAAW,OAAO,IAAA,CAAK,KAAA;AACzC,EAAA,IAAI,oBAAA,CAAqB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAO,0BAAA;AAAA,MAA2B,IAAA;AAAA,MAAM,IAAA;AAAA,MAAM,KAAA,CAAM,OAAA;AAAA,MAAS,CAAC,KAAA,EAAO,SAAA,KACnE,aAAa,KAAA,EAAO,SAAA,EAAW,OAAO,KAAK;AAAA,KAC7C;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO,OAAO,kBAAkB,IAAA,CAAK,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAC9E,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW,OAAO,gBAAgB,IAAA,EAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AAC5E,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,OAAO,KAAK,OAAA,KAAY,MAAA,GACpB,OAAO,IAAA,EAAK,GACZ,OAAO,IAAA,CAAK,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAC,CAAA;AAAA,EAC5E;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,QAAA,EAAU;AAC1B,IAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AACvE,IAAA,OAAO,IAAA,CAAK,YAAY,IAAA,GAAO,MAAA,CAAO,GAAG,KAAK,CAAA,GAAI,MAAA,CAAO,GAAA,CAAI,KAAK,CAAA;AAAA,EACpE;AACA,EAAA,OAAO,aAAA,CAAc,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAC/C;AAEA,SAAS,kBAAkB,MAAA,EAA+D;AACxF,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAI,OAAO,MAAA,KAAW,QAAA,IAAY,WAAW,IAAA,IAAQ,KAAA,CAAM,QAAQ,MAAM,CAAA;AACvE,MAAA,MAAM,IAAI,SAAA,EAAU;AACtB,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,MAAM,CAAA;AAAA,EAC/B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,MAAM,aAAa,IAAA,CAAK,IAAA,CAAK,CAAC,GAAA,KAAQ,QAAQ,SAAS,CAAA;AACvD,EAAA,IAAI,UAAA,KAAe,MAAA;AACjB,IAAA,MAAM,IAAI,cAAc,sBAAA,EAAwB,CAAC,UAAU,MAAA,CAAO,UAAU,CAAC,CAAC,CAAA;AAChF,EAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,SAAS,GAAG,OAAO,MAAA;AACtC,EAAA,IAAI,OAAA;AACJ,EAAA,IAAI;AACF,IAAA,OAAA,GAAU,SAAA,CAAU,QAAQ,SAAS,CAAA;AAAA,EACvC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,OAAA,KAAY,MAAA,IAAa,CAAC,SAAA,CAAU,OAAO,CAAA,EAAG;AAChD,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,OAAA;AACT;AAEA,SAAS,eAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,KAAA,GAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,EAAO,KAAK,CAAA;AACvE,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,GAAA,CAAI,IAAA,CAAK,IAAA,EAAM,KAAK,CAAA;AAC3B,EAAA,OAAO,YAAA,CAAa,KAAK,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AACjE;AAEA,SAAS,aAAA,CACP,IAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,MAAM,SAAA,GAAY,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA;AACnC,EAAA,MAAM,QAAQ,YAAA,CAAa,IAAA,CAAK,KAAA,EAAO,SAAA,EAAW,OAAO,KAAK,CAAA;AAC9D,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,CAAC,QAAA,CAAS,KAAK,KAAK,CAAC,QAAA,CAAS,KAAK,CAAA,EAAG;AACxC,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,MAAM,UAAU,KAAA,CAAM,OAAA;AACtB,EAAA,MAAM,QAAA,GAAW,KAAK,IAAA,CAAK,SAAA,CAAU,CAAC,SAAA,KAAc,SAAA,CAAU,YAAY,OAAO,CAAA;AACjF,EAAA,MAAM,GAAA,GAAM,IAAA,CAAK,IAAA,CAAK,QAAQ,CAAA;AAC9B,EAAA,IAAI,CAAC,GAAA,EAAK,MAAM,IAAI,aAAA,CAAc,wBAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC3E,EAAA,MAAM,MAAA,GAAS,WAAA,CAAY,KAAA,EAAO,GAAA,EAAK,KAAK,CAAA;AAC5C,EAAA,OAAO,YAAA,CAAa,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAA,EAAQ,QAAA,EAAU,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AAClF;AAEA,SAAS,WAAA,CACP,KAAA,EACA,GAAA,EACA,KAAA,EACkC;AAClC,EAAA,IAAI,CAAC,GAAA,CAAI,OAAA,IAAY,CAAC,QAAA,CAAS,KAAK,CAAA,IAAK,CAAC,QAAA,CAAS,KAAK,CAAA,IAAM,KAAA,CAAM,OAAA,KAAY,MAAA;AAC9E,IAAA,OAAO,KAAA;AACT,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,GAAA,CAAI,GAAA,CAAI,OAAA,EAAS,KAAA,CAAM,KAAK,CAAA;AACnC,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,iBAAA,CACP,SAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACa;AACb,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,IAAI,SAAS,CAAA;AACtD,IAAA,OAAO,KAAA,CAAM,IAAI,SAAS,CAAA;AAC5B,EAAA,IAAI,KAAA;AACJ,EAAA,IAAI;AACF,IAAA,KAAA,GAAQ,KAAA,CAAM,QAAQ,SAAS,CAAA;AAAA,EACjC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACA,EAAA,IAAI,sBAAsB,KAAK,CAAA,QAAS,IAAI,aAAA,CAAc,4BAA4B,IAAI,CAAA;AAC1F,EAAA,OAAO,eAAA,CAAgB,KAAA,EAAO,IAAA,EAAM,KAAA,CAAM,MAAM,CAAA;AAClD;AAEA,SAAS,eAAA,CAAgB,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAqC;AACxF,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACA,EAAA,MAAM,IAAA,GAAO,QAAA,CAAS,KAAA,EAAO,IAAI,CAAA;AACjC,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,KAAA,EAAO,OAAA,EAAS,IAAI,CAAA;AAC3C,EAAA,IAAI,OAAO,KAAA,KAAU,SAAA,QAAiB,IAAI,aAAA,CAAc,0BAA0B,IAAI,CAAA;AACtF,EAAA,IAAI,CAAC,KAAA,EAAO,OAAO,iBAAA,CAAkB,KAAA,EAAO,MAAM,IAAI,CAAA;AACtD,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,IAAK,CAAC,IAAA,CAAK,SAAS,OAAO,CAAA;AAC7C,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD,EAAA,OAAO,UAAU,QAAA,CAAS,KAAA,EAAO,SAAS,IAAI,CAAA,EAAG,MAAM,MAAM,CAAA;AAC/D;AAEA,SAAS,iBAAA,CAAkB,KAAA,EAAe,IAAA,EAA8B,IAAA,EAAmB;AACzF,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,QAAS,IAAI,aAAA,CAAc,4BAA4B,IAAI,CAAA;AAC/E,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,IAAK,CAAC,IAAA,CAAK,SAAS,QAAQ,CAAA;AAC9C,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD,EAAA,MAAM,MAAA,GAAS,QAAA,CAAS,KAAA,EAAO,QAAA,EAAU,IAAI,CAAA;AAC7C,EAAA,IAAI,MAAA,KAAW,UAAa,MAAA,KAAW,SAAA;AACrC,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC1D,EAAA,IAAI,WAAW,QAAA,EAAU,MAAM,IAAI,aAAA,CAAc,2BAA2B,IAAI,CAAA;AAChF,EAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD;AAEA,SAAS,SAAA,CAAU,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAqC;AAClF,EAAA,IAAI;AACF,IAAA,IAAI,QAAA,CAAS,KAAK,CAAA,IAAK,QAAA,CAAS,KAAK,CAAA,IAAK,SAAA,CAAU,KAAK,CAAA,IAAK,UAAA,CAAW,KAAK,CAAA,EAAG;AAC/E,MAAA,yBAAA,CAA0B,KAAA,EAAO;AAAA,QAC/B,UAAU,MAAA,CAAO,aAAA;AAAA,QACjB,UAAU,MAAA,CAAO,aAAA;AAAA,QACjB,iBAAiB,MAAA,CAAO;AAAA,OACzB,CAAA;AACD,MAAA,OAAO,KAAA;AAAA,IACT;AACA,IAAA,OAAO,UAAU,KAAA,EAAO;AAAA,MACtB,UAAU,MAAA,CAAO,aAAA;AAAA,MACjB,UAAU,MAAA,CAAO,aAAA;AAAA,MACjB,iBAAiB,MAAA,CAAO;AAAA,KACzB,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF;AAEA,SAAS,QAAA,CAAS,OAAe,IAAA,EAA2B;AAC1D,EAAA,IAAI;AACF,IAAA,OAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACF;AAEA,SAAS,QAAA,CAAS,KAAA,EAAe,GAAA,EAAa,IAAA,EAAqB;AACjE,EAAA,IAAI;AACF,IAAA,OAAO,SAAA,CAAU,OAAO,GAAG,CAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACF;AAEA,SAAS,MAAA,CAA4B,MAAY,KAAA,EAAuB;AACtE,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,KAAA,CAAM,KAAA,GAAQ,KAAA,CAAM,MAAA,CAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAI,aAAA,CAAc,yBAAA,EAA2B,IAAI,CAAA;AAAA,EACzD;AACF","file":"evaluate.js","sourcesContent":["import { rejectCallbackPromise } from \"../kuery-v1/callback-promise.js\";\nimport { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { cloneJson, dataValue, type JsonValue } from \"./json.js\";\nimport { type InstantValue, isDuration, isInstant } from \"./temporal.js\";\nimport { evaluateTemporalExpression, isTemporalExpression } from \"./temporal-evaluation.js\";\nimport type {\n  KaladaV1EvaluationInputs,\n  KaladaV1Expression,\n  KaladaV1Limits,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n  MatchArm,\n} from \"./types.js\";\nimport {\n  isOption,\n  isResult,\n  type KaladaValue,\n  Option,\n  Result,\n  validateKaladaValueLimits,\n} from \"./values.js\";\n\ntype Path = readonly (string | number)[];\ninterface State<R extends JsonValue> {\n  readonly resolve: KaladaV1Resolver<R>;\n  readonly limits: KaladaV1Limits;\n  readonly instant?: InstantValue;\n  steps: number;\n}\n\nexport function evaluateKaladaV1<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  resolve: KaladaV1Resolver<R>,\n  limits: KaladaV1Limits,\n  inputs: KaladaV1EvaluationInputs = {},\n): KaladaV1Outcome<KaladaValue> {\n  try {\n    const instant = evaluationInstant(inputs);\n    return success(\n      evaluateNode(expression, [\"expression\"], new Map(), { resolve, limits, instant, steps: 0 }),\n    );\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_REFERENCE_ERROR\", []);\n    return failure(problem.code, problem.path);\n  }\n}\n\nfunction evaluateNode<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  charge(path, state);\n  if (node.kind === \"literal\") return node.value;\n  if (isTemporalExpression(node)) {\n    return evaluateTemporalExpression(node, path, state.instant, (child, childPath) =>\n      evaluateNode(child, childPath, scope, state),\n    );\n  }\n  if (node.kind === \"ref\") return evaluateReference(node.ref, path, scope, state);\n  if (node.kind === \"binding\") return evaluateBinding(node, path, scope, state);\n  if (node.kind === \"option\") {\n    return node.variant === \"none\"\n      ? Option.none()\n      : Option.some(evaluateNode(node.value, [...path, \"value\"], scope, state));\n  }\n  if (node.kind === \"result\") {\n    const value = evaluateNode(node.value, [...path, \"value\"], scope, state);\n    return node.variant === \"ok\" ? Result.ok(value) : Result.err(value);\n  }\n  return evaluateMatch(node, path, scope, state);\n}\n\nfunction evaluationInstant(inputs: KaladaV1EvaluationInputs): State<JsonValue>[\"instant\"] {\n  let keys: readonly PropertyKey[];\n  try {\n    if (typeof inputs !== \"object\" || inputs === null || Array.isArray(inputs))\n      throw new TypeError();\n    keys = Reflect.ownKeys(inputs);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n  const unexpected = keys.find((key) => key !== \"instant\");\n  if (unexpected !== undefined)\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", String(unexpected)]);\n  if (!keys.includes(\"instant\")) return undefined;\n  let instant: unknown;\n  try {\n    instant = dataValue(inputs, \"instant\");\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n  if (instant !== undefined && !isInstant(instant)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n  return instant;\n}\n\nfunction evaluateBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  const value = evaluateNode(node.value, [...path, \"value\"], scope, state);\n  const nested = new Map(scope);\n  nested.set(node.name, value);\n  return evaluateNode(node.body, [...path, \"body\"], nested, state);\n}\n\nfunction evaluateMatch<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"match\" }>,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  const valuePath = [...path, \"value\"];\n  const value = evaluateNode(node.value, valuePath, scope, state);\n  if (node.type === \"Option\" && !isOption(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  if (node.type === \"Result\" && !isResult(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  if (!isOption(value) && !isResult(value)) {\n    throw new KaladaFailure(\"KALADA_MATCH_TYPE_MISMATCH\", valuePath);\n  }\n  const variant = value.variant;\n  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);\n  const arm = node.arms[armIndex];\n  if (!arm) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"arms\"]);\n  const nested = bindPayload(scope, arm, value);\n  return evaluateNode(arm.body, [...path, \"arms\", armIndex, \"body\"], nested, state);\n}\n\nfunction bindPayload(\n  scope: ReadonlyMap<string, KaladaValue>,\n  arm: MatchArm<JsonValue>,\n  value: KaladaValue,\n): ReadonlyMap<string, KaladaValue> {\n  if (!arm.binding || (!isOption(value) && !isResult(value)) || value.variant === \"none\")\n    return scope;\n  const nested = new Map(scope);\n  nested.set(arm.binding, value.value);\n  return nested;\n}\n\nfunction evaluateReference<R extends JsonValue>(\n  reference: R,\n  path: Path,\n  scope: ReadonlyMap<string, KaladaValue>,\n  state: State<R>,\n): KaladaValue {\n  if (typeof reference === \"string\" && scope.has(reference))\n    return scope.get(reference) as KaladaValue;\n  let input: unknown;\n  try {\n    input = state.resolve(reference);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n  if (rejectCallbackPromise(input)) throw new KaladaFailure(\"KALADA_ASYNC_UNSUPPORTED\", path);\n  return parseResolution(input, path, state.limits);\n}\n\nfunction parseResolution(input: unknown, path: Path, limits: KaladaV1Limits): KaladaValue {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n  const keys = safeKeys(input, path);\n  const found = safeData(input, \"found\", path);\n  if (typeof found !== \"boolean\") throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  if (!found) return missingResolution(input, keys, path);\n  if (keys.length !== 2 || !keys.includes(\"value\"))\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  return safeValue(safeData(input, \"value\", path), path, limits);\n}\n\nfunction missingResolution(input: object, keys: readonly PropertyKey[], path: Path): never {\n  if (keys.length === 1) throw new KaladaFailure(\"KALADA_REFERENCE_MISSING\", path);\n  if (keys.length !== 2 || !keys.includes(\"reason\"))\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  const reason = safeData(input, \"reason\", path);\n  if (reason === undefined || reason === \"missing\")\n    throw new KaladaFailure(\"KALADA_REFERENCE_MISSING\", path);\n  if (reason === \"denied\") throw new KaladaFailure(\"KALADA_REFERENCE_DENIED\", path);\n  throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n}\n\nfunction safeValue(input: unknown, path: Path, limits: KaladaV1Limits): KaladaValue {\n  try {\n    if (isOption(input) || isResult(input) || isInstant(input) || isDuration(input)) {\n      validateKaladaValueLimits(input, {\n        maxDepth: limits.maxValueDepth,\n        maxNodes: limits.maxValueNodes,\n        maxStringLength: limits.maxStringLength,\n      });\n      return input;\n    }\n    return cloneJson(input, {\n      maxDepth: limits.maxValueDepth,\n      maxNodes: limits.maxValueNodes,\n      maxStringLength: limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_RESULT\", path);\n  }\n}\n\nfunction safeKeys(input: object, path: Path): PropertyKey[] {\n  try {\n    return Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n}\n\nfunction safeData(input: object, key: string, path: Path): unknown {\n  try {\n    return dataValue(input, key);\n  } catch {\n    throw new KaladaFailure(\"KALADA_REFERENCE_ERROR\", path);\n  }\n}\n\nfunction charge<R extends JsonValue>(path: Path, state: State<R>): void {\n  state.steps += 1;\n  if (state.steps > state.limits.maxEvaluationSteps) {\n    throw new KaladaFailure(\"KALADA_EVALUATION_LIMIT\", path);\n  }\n}\n"]}

package/dist/kalada-v1/factories.cjs

@@ -30,6 +30,19 @@ const err = (value) => ({
 });
 const arm = (variant, body, name) => ({ variant, ...name === void 0 ? {} : { binding: name }, body });
 const match = (type, value, arms) => ({ kind: "match", type, value, arms });
+const instant = (milliseconds) => ({
+  kind: "instant",
+  milliseconds
+});
+const duration = (milliseconds) => ({
+  kind: "duration",
+  milliseconds
+});
+const currentInstant = () => ({
+  kind: "current-instant"
+});
+const temporalArithmetic = (operator, left, right) => ({ kind: "temporal-arithmetic", operator, left, right });
+const temporalComparison = (operator, left, right) => ({ kind: "temporal-comparison", operator, left, right });
 const KaladaV1 = Object.freeze({
   literal,
   ref,
@@ -38,6 +51,11 @@ const KaladaV1 = Object.freeze({
   Result: Object.freeze({ ok, err }),
   arm,
   match,
+  instant,
+  duration,
+  currentInstant,
+  temporalArithmetic,
+  temporalComparison,
   program(expression) {
     return { format: "kalada-program", version: 1, profile: "kalada-v1", expression };
   }

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/factories.ts"],"names":[],"mappings":";;AAGA,MAAM,OAAA,GAAU,CAA+B,KAAA,MAA6C;AAAA,EAC1F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAA+B,KAAA,MAAqC;AAAA,EAC9E,IAAA,EAAM,KAAA;AAAA,EACN,GAAA,EAAK;AACP,CAAA,CAAA;AACA,MAAM,OAAA,GAAU,CACd,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAClE,MAAM,IAAA,GAAO,CAAsB,KAAA,MAAyD;AAAA,EAC1F,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,MAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,OAAO,OAA4D;AAAA,EACvE,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS;AACX,CAAA,CAAA;AACA,MAAM,EAAA,GAAK,CAAsB,KAAA,MAAyD;AAAA,EACxF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,IAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAAsB,KAAA,MAAyD;AAAA,EACzF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,KAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,MAAM,CACV,OAAA,EACA,IAAA,EACA,IAAA,MACiB,EAAE,OAAA,EAAS,GAAI,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,EAAE,OAAA,EAAS,IAAA,IAAS,IAAA,EAAK,CAAA;AACrF,MAAM,KAAA,GAAQ,CACZ,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAEzD,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,OAAA;AAAA,EACA,GAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,MAAM,CAAA;AAAA,EACpC,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAK,CAAA;AAAA,EACjC,GAAA;AAAA,EACA,KAAA;AAAA,EACA,QAAsC,UAAA,EAAuD;AAC3F,IAAA,OAAO,EAAE,MAAA,EAAQ,gBAAA,EAAkB,SAAS,CAAA,EAAG,OAAA,EAAS,aAAa,UAAA,EAAW;AAAA,EAClF;AACF,CAAC","file":"factories.cjs","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, KaladaV1Program, MatchArm } from \"./types.js\";\n\nconst literal = <R extends JsonValue = string>(value: JsonValue): KaladaV1Expression<R> => ({\n  kind: \"literal\",\n  value,\n});\nconst ref = <R extends JsonValue = string>(value: R): KaladaV1Expression<R> => ({\n  kind: \"ref\",\n  ref: value,\n});\nconst binding = <R extends JsonValue>(\n  name: string,\n  value: KaladaV1Expression<R>,\n  body: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"binding\", name, value, body });\nconst some = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"some\",\n  value,\n});\nconst none = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"none\",\n});\nconst ok = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"ok\",\n  value,\n});\nconst err = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"err\",\n  value,\n});\nconst arm = <R extends JsonValue>(\n  variant: MatchArm<R>[\"variant\"],\n  body: KaladaV1Expression<R>,\n  name?: string,\n): MatchArm<R> => ({ variant, ...(name === undefined ? {} : { binding: name }), body });\nconst match = <R extends JsonValue>(\n  type: \"Option\" | \"Result\",\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n): KaladaV1Expression<R> => ({ kind: \"match\", type, value, arms });\n\nexport const KaladaV1 = Object.freeze({\n  literal,\n  ref,\n  binding,\n  Option: Object.freeze({ some, none }),\n  Result: Object.freeze({ ok, err }),\n  arm,\n  match,\n  program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R> {\n    return { format: \"kalada-program\", version: 1, profile: \"kalada-v1\", expression };\n  },\n});\n"]}
+{"version":3,"sources":["../../src/kalada-v1/factories.ts"],"names":[],"mappings":";;AAGA,MAAM,OAAA,GAAU,CAA+B,KAAA,MAA6C;AAAA,EAC1F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAA+B,KAAA,MAAqC;AAAA,EAC9E,IAAA,EAAM,KAAA;AAAA,EACN,GAAA,EAAK;AACP,CAAA,CAAA;AACA,MAAM,OAAA,GAAU,CACd,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAClE,MAAM,IAAA,GAAO,CAAsB,KAAA,MAAyD;AAAA,EAC1F,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,MAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,OAAO,OAA4D;AAAA,EACvE,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS;AACX,CAAA,CAAA;AACA,MAAM,EAAA,GAAK,CAAsB,KAAA,MAAyD;AAAA,EACxF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,IAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAAsB,KAAA,MAAyD;AAAA,EACzF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,KAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,MAAM,CACV,OAAA,EACA,IAAA,EACA,IAAA,MACiB,EAAE,OAAA,EAAS,GAAI,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,EAAE,OAAA,EAAS,IAAA,IAAS,IAAA,EAAK,CAAA;AACrF,MAAM,KAAA,GAAQ,CACZ,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAChE,MAAM,OAAA,GAAU,CAA+B,YAAA,MAAiD;AAAA,EAC9F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,QAAA,GAAW,CAA+B,YAAA,MAAiD;AAAA,EAC/F,IAAA,EAAM,UAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,iBAAiB,OAA4D;AAAA,EACjF,IAAA,EAAM;AACR,CAAA,CAAA;AACA,MAAM,kBAAA,GAAqB,CACzB,QAAA,EACA,IAAA,EACA,KAAA,MAC2B,EAAE,IAAA,EAAM,qBAAA,EAAuB,QAAA,EAAU,IAAA,EAAM,KAAA,EAAM,CAAA;AAClF,MAAM,kBAAA,GAAqB,CACzB,QAAA,EACA,IAAA,EACA,KAAA,MAC2B,EAAE,IAAA,EAAM,qBAAA,EAAuB,QAAA,EAAU,IAAA,EAAM,KAAA,EAAM,CAAA;AAE3E,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,OAAA;AAAA,EACA,GAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,MAAM,CAAA;AAAA,EACpC,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAK,CAAA;AAAA,EACjC,GAAA;AAAA,EACA,KAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAA;AAAA,EACA,cAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,QAAsC,UAAA,EAAuD;AAC3F,IAAA,OAAO,EAAE,MAAA,EAAQ,gBAAA,EAAkB,SAAS,CAAA,EAAG,OAAA,EAAS,aAAa,UAAA,EAAW;AAAA,EAClF;AACF,CAAC","file":"factories.cjs","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, KaladaV1Program, MatchArm } from \"./types.js\";\n\nconst literal = <R extends JsonValue = string>(value: JsonValue): KaladaV1Expression<R> => ({\n  kind: \"literal\",\n  value,\n});\nconst ref = <R extends JsonValue = string>(value: R): KaladaV1Expression<R> => ({\n  kind: \"ref\",\n  ref: value,\n});\nconst binding = <R extends JsonValue>(\n  name: string,\n  value: KaladaV1Expression<R>,\n  body: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"binding\", name, value, body });\nconst some = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"some\",\n  value,\n});\nconst none = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"none\",\n});\nconst ok = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"ok\",\n  value,\n});\nconst err = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"err\",\n  value,\n});\nconst arm = <R extends JsonValue>(\n  variant: MatchArm<R>[\"variant\"],\n  body: KaladaV1Expression<R>,\n  name?: string,\n): MatchArm<R> => ({ variant, ...(name === undefined ? {} : { binding: name }), body });\nconst match = <R extends JsonValue>(\n  type: \"Option\" | \"Result\",\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n): KaladaV1Expression<R> => ({ kind: \"match\", type, value, arms });\nconst instant = <R extends JsonValue = string>(milliseconds: number): KaladaV1Expression<R> => ({\n  kind: \"instant\",\n  milliseconds,\n});\nconst duration = <R extends JsonValue = string>(milliseconds: number): KaladaV1Expression<R> => ({\n  kind: \"duration\",\n  milliseconds,\n});\nconst currentInstant = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"current-instant\",\n});\nconst temporalArithmetic = <R extends JsonValue>(\n  operator: \"add\" | \"subtract\",\n  left: KaladaV1Expression<R>,\n  right: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"temporal-arithmetic\", operator, left, right });\nconst temporalComparison = <R extends JsonValue>(\n  operator: Extract<KaladaV1Expression<R>, { kind: \"temporal-comparison\" }>[\"operator\"],\n  left: KaladaV1Expression<R>,\n  right: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"temporal-comparison\", operator, left, right });\n\nexport const KaladaV1 = Object.freeze({\n  literal,\n  ref,\n  binding,\n  Option: Object.freeze({ some, none }),\n  Result: Object.freeze({ ok, err }),\n  arm,\n  match,\n  instant,\n  duration,\n  currentInstant,\n  temporalArithmetic,\n  temporalComparison,\n  program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R> {\n    return { format: \"kalada-program\", version: 1, profile: \"kalada-v1\", expression };\n  },\n});\n"]}

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

@@ -1,5 +1,6 @@
 import { JsonValue } from './json.cjs';
 import { KaladaV1Expression, MatchArm, KaladaV1Program } from './types.cjs';
+import './temporal.cjs';
 import './values.cjs';
 
 declare const KaladaV1: Readonly<{
@@ -16,6 +17,13 @@ declare const KaladaV1: Readonly<{
     }>;
     arm: <R extends JsonValue>(variant: MatchArm<R>["variant"], body: KaladaV1Expression<R>, name?: string) => MatchArm<R>;
     match: <R extends JsonValue>(type: "Option" | "Result", value: KaladaV1Expression<R>, arms: readonly MatchArm<R>[]) => KaladaV1Expression<R>;
+    instant: <R extends JsonValue = string>(milliseconds: number) => KaladaV1Expression<R>;
+    duration: <R extends JsonValue = string>(milliseconds: number) => KaladaV1Expression<R>;
+    currentInstant: <R extends JsonValue = string>() => KaladaV1Expression<R>;
+    temporalArithmetic: <R extends JsonValue>(operator: "add" | "subtract", left: KaladaV1Expression<R>, right: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    temporalComparison: <R extends JsonValue>(operator: Extract<KaladaV1Expression<R>, {
+        kind: "temporal-comparison";
+    }>["operator"], left: KaladaV1Expression<R>, right: KaladaV1Expression<R>) => KaladaV1Expression<R>;
     program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R>;
 }>;
 

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

@@ -1,5 +1,6 @@
 import { JsonValue } from './json.js';
 import { KaladaV1Expression, MatchArm, KaladaV1Program } from './types.js';
+import './temporal.js';
 import './values.js';
 
 declare const KaladaV1: Readonly<{
@@ -16,6 +17,13 @@ declare const KaladaV1: Readonly<{
     }>;
     arm: <R extends JsonValue>(variant: MatchArm<R>["variant"], body: KaladaV1Expression<R>, name?: string) => MatchArm<R>;
     match: <R extends JsonValue>(type: "Option" | "Result", value: KaladaV1Expression<R>, arms: readonly MatchArm<R>[]) => KaladaV1Expression<R>;
+    instant: <R extends JsonValue = string>(milliseconds: number) => KaladaV1Expression<R>;
+    duration: <R extends JsonValue = string>(milliseconds: number) => KaladaV1Expression<R>;
+    currentInstant: <R extends JsonValue = string>() => KaladaV1Expression<R>;
+    temporalArithmetic: <R extends JsonValue>(operator: "add" | "subtract", left: KaladaV1Expression<R>, right: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    temporalComparison: <R extends JsonValue>(operator: Extract<KaladaV1Expression<R>, {
+        kind: "temporal-comparison";
+    }>["operator"], left: KaladaV1Expression<R>, right: KaladaV1Expression<R>) => KaladaV1Expression<R>;
     program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R>;
 }>;
 

package/dist/kalada-v1/factories.js

@@ -28,6 +28,19 @@ const err = (value) => ({
 });
 const arm = (variant, body, name) => ({ variant, ...name === void 0 ? {} : { binding: name }, body });
 const match = (type, value, arms) => ({ kind: "match", type, value, arms });
+const instant = (milliseconds) => ({
+  kind: "instant",
+  milliseconds
+});
+const duration = (milliseconds) => ({
+  kind: "duration",
+  milliseconds
+});
+const currentInstant = () => ({
+  kind: "current-instant"
+});
+const temporalArithmetic = (operator, left, right) => ({ kind: "temporal-arithmetic", operator, left, right });
+const temporalComparison = (operator, left, right) => ({ kind: "temporal-comparison", operator, left, right });
 const KaladaV1 = Object.freeze({
   literal,
   ref,
@@ -36,6 +49,11 @@ const KaladaV1 = Object.freeze({
   Result: Object.freeze({ ok, err }),
   arm,
   match,
+  instant,
+  duration,
+  currentInstant,
+  temporalArithmetic,
+  temporalComparison,
   program(expression) {
     return { format: "kalada-program", version: 1, profile: "kalada-v1", expression };
   }

package/dist/kalada-v1/factories.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/factories.ts"],"names":[],"mappings":"AAGA,MAAM,OAAA,GAAU,CAA+B,KAAA,MAA6C;AAAA,EAC1F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAA+B,KAAA,MAAqC;AAAA,EAC9E,IAAA,EAAM,KAAA;AAAA,EACN,GAAA,EAAK;AACP,CAAA,CAAA;AACA,MAAM,OAAA,GAAU,CACd,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAClE,MAAM,IAAA,GAAO,CAAsB,KAAA,MAAyD;AAAA,EAC1F,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,MAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,OAAO,OAA4D;AAAA,EACvE,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS;AACX,CAAA,CAAA;AACA,MAAM,EAAA,GAAK,CAAsB,KAAA,MAAyD;AAAA,EACxF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,IAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAAsB,KAAA,MAAyD;AAAA,EACzF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,KAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,MAAM,CACV,OAAA,EACA,IAAA,EACA,IAAA,MACiB,EAAE,OAAA,EAAS,GAAI,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,EAAE,OAAA,EAAS,IAAA,IAAS,IAAA,EAAK,CAAA;AACrF,MAAM,KAAA,GAAQ,CACZ,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAEzD,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,OAAA;AAAA,EACA,GAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,MAAM,CAAA;AAAA,EACpC,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAK,CAAA;AAAA,EACjC,GAAA;AAAA,EACA,KAAA;AAAA,EACA,QAAsC,UAAA,EAAuD;AAC3F,IAAA,OAAO,EAAE,MAAA,EAAQ,gBAAA,EAAkB,SAAS,CAAA,EAAG,OAAA,EAAS,aAAa,UAAA,EAAW;AAAA,EAClF;AACF,CAAC","file":"factories.js","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, KaladaV1Program, MatchArm } from \"./types.js\";\n\nconst literal = <R extends JsonValue = string>(value: JsonValue): KaladaV1Expression<R> => ({\n  kind: \"literal\",\n  value,\n});\nconst ref = <R extends JsonValue = string>(value: R): KaladaV1Expression<R> => ({\n  kind: \"ref\",\n  ref: value,\n});\nconst binding = <R extends JsonValue>(\n  name: string,\n  value: KaladaV1Expression<R>,\n  body: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"binding\", name, value, body });\nconst some = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"some\",\n  value,\n});\nconst none = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"none\",\n});\nconst ok = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"ok\",\n  value,\n});\nconst err = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"err\",\n  value,\n});\nconst arm = <R extends JsonValue>(\n  variant: MatchArm<R>[\"variant\"],\n  body: KaladaV1Expression<R>,\n  name?: string,\n): MatchArm<R> => ({ variant, ...(name === undefined ? {} : { binding: name }), body });\nconst match = <R extends JsonValue>(\n  type: \"Option\" | \"Result\",\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n): KaladaV1Expression<R> => ({ kind: \"match\", type, value, arms });\n\nexport const KaladaV1 = Object.freeze({\n  literal,\n  ref,\n  binding,\n  Option: Object.freeze({ some, none }),\n  Result: Object.freeze({ ok, err }),\n  arm,\n  match,\n  program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R> {\n    return { format: \"kalada-program\", version: 1, profile: \"kalada-v1\", expression };\n  },\n});\n"]}
+{"version":3,"sources":["../../src/kalada-v1/factories.ts"],"names":[],"mappings":"AAGA,MAAM,OAAA,GAAU,CAA+B,KAAA,MAA6C;AAAA,EAC1F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAA+B,KAAA,MAAqC;AAAA,EAC9E,IAAA,EAAM,KAAA;AAAA,EACN,GAAA,EAAK;AACP,CAAA,CAAA;AACA,MAAM,OAAA,GAAU,CACd,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,SAAA,EAAW,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAClE,MAAM,IAAA,GAAO,CAAsB,KAAA,MAAyD;AAAA,EAC1F,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,MAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,OAAO,OAA4D;AAAA,EACvE,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS;AACX,CAAA,CAAA;AACA,MAAM,EAAA,GAAK,CAAsB,KAAA,MAAyD;AAAA,EACxF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,IAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,GAAA,GAAM,CAAsB,KAAA,MAAyD;AAAA,EACzF,IAAA,EAAM,QAAA;AAAA,EACN,OAAA,EAAS,KAAA;AAAA,EACT;AACF,CAAA,CAAA;AACA,MAAM,MAAM,CACV,OAAA,EACA,IAAA,EACA,IAAA,MACiB,EAAE,OAAA,EAAS,GAAI,IAAA,KAAS,MAAA,GAAY,EAAC,GAAI,EAAE,OAAA,EAAS,IAAA,IAAS,IAAA,EAAK,CAAA;AACrF,MAAM,KAAA,GAAQ,CACZ,IAAA,EACA,KAAA,EACA,IAAA,MAC2B,EAAE,IAAA,EAAM,OAAA,EAAS,IAAA,EAAM,KAAA,EAAO,IAAA,EAAK,CAAA;AAChE,MAAM,OAAA,GAAU,CAA+B,YAAA,MAAiD;AAAA,EAC9F,IAAA,EAAM,SAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,QAAA,GAAW,CAA+B,YAAA,MAAiD;AAAA,EAC/F,IAAA,EAAM,UAAA;AAAA,EACN;AACF,CAAA,CAAA;AACA,MAAM,iBAAiB,OAA4D;AAAA,EACjF,IAAA,EAAM;AACR,CAAA,CAAA;AACA,MAAM,kBAAA,GAAqB,CACzB,QAAA,EACA,IAAA,EACA,KAAA,MAC2B,EAAE,IAAA,EAAM,qBAAA,EAAuB,QAAA,EAAU,IAAA,EAAM,KAAA,EAAM,CAAA;AAClF,MAAM,kBAAA,GAAqB,CACzB,QAAA,EACA,IAAA,EACA,KAAA,MAC2B,EAAE,IAAA,EAAM,qBAAA,EAAuB,QAAA,EAAU,IAAA,EAAM,KAAA,EAAM,CAAA;AAE3E,MAAM,QAAA,GAAW,OAAO,MAAA,CAAO;AAAA,EACpC,OAAA;AAAA,EACA,GAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,MAAM,CAAA;AAAA,EACpC,QAAQ,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAK,CAAA;AAAA,EACjC,GAAA;AAAA,EACA,KAAA;AAAA,EACA,OAAA;AAAA,EACA,QAAA;AAAA,EACA,cAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,QAAsC,UAAA,EAAuD;AAC3F,IAAA,OAAO,EAAE,MAAA,EAAQ,gBAAA,EAAkB,SAAS,CAAA,EAAG,OAAA,EAAS,aAAa,UAAA,EAAW;AAAA,EAClF;AACF,CAAC","file":"factories.js","sourcesContent":["import type { JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, KaladaV1Program, MatchArm } from \"./types.js\";\n\nconst literal = <R extends JsonValue = string>(value: JsonValue): KaladaV1Expression<R> => ({\n  kind: \"literal\",\n  value,\n});\nconst ref = <R extends JsonValue = string>(value: R): KaladaV1Expression<R> => ({\n  kind: \"ref\",\n  ref: value,\n});\nconst binding = <R extends JsonValue>(\n  name: string,\n  value: KaladaV1Expression<R>,\n  body: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"binding\", name, value, body });\nconst some = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"some\",\n  value,\n});\nconst none = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"option\",\n  variant: \"none\",\n});\nconst ok = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"ok\",\n  value,\n});\nconst err = <R extends JsonValue>(value: KaladaV1Expression<R>): KaladaV1Expression<R> => ({\n  kind: \"result\",\n  variant: \"err\",\n  value,\n});\nconst arm = <R extends JsonValue>(\n  variant: MatchArm<R>[\"variant\"],\n  body: KaladaV1Expression<R>,\n  name?: string,\n): MatchArm<R> => ({ variant, ...(name === undefined ? {} : { binding: name }), body });\nconst match = <R extends JsonValue>(\n  type: \"Option\" | \"Result\",\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n): KaladaV1Expression<R> => ({ kind: \"match\", type, value, arms });\nconst instant = <R extends JsonValue = string>(milliseconds: number): KaladaV1Expression<R> => ({\n  kind: \"instant\",\n  milliseconds,\n});\nconst duration = <R extends JsonValue = string>(milliseconds: number): KaladaV1Expression<R> => ({\n  kind: \"duration\",\n  milliseconds,\n});\nconst currentInstant = <R extends JsonValue = string>(): KaladaV1Expression<R> => ({\n  kind: \"current-instant\",\n});\nconst temporalArithmetic = <R extends JsonValue>(\n  operator: \"add\" | \"subtract\",\n  left: KaladaV1Expression<R>,\n  right: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"temporal-arithmetic\", operator, left, right });\nconst temporalComparison = <R extends JsonValue>(\n  operator: Extract<KaladaV1Expression<R>, { kind: \"temporal-comparison\" }>[\"operator\"],\n  left: KaladaV1Expression<R>,\n  right: KaladaV1Expression<R>,\n): KaladaV1Expression<R> => ({ kind: \"temporal-comparison\", operator, left, right });\n\nexport const KaladaV1 = Object.freeze({\n  literal,\n  ref,\n  binding,\n  Option: Object.freeze({ some, none }),\n  Result: Object.freeze({ ok, err }),\n  arm,\n  match,\n  instant,\n  duration,\n  currentInstant,\n  temporalArithmetic,\n  temporalComparison,\n  program<R extends JsonValue = string>(expression: KaladaV1Expression<R>): KaladaV1Program<R> {\n    return { format: \"kalada-program\", version: 1, profile: \"kalada-v1\", expression };\n  },\n});\n"]}

package/dist/kalada-v1/index.cjs

@@ -7,6 +7,7 @@ var dependencies_js = require('./dependencies.js');
 var factories_js = require('./factories.js');
 var limits_js = require('./limits.js');
 var schemas_js = require('./schemas.js');
+var temporal_js = require('./temporal.js');
 var values_js = require('./values.js');
 
 
@@ -47,6 +48,22 @@ Object.defineProperty(exports, "KALADA_VALUE_V1_SCHEMA", {
   enumerable: true,
   get: function () { return schemas_js.KALADA_VALUE_V1_SCHEMA; }
 });
+Object.defineProperty(exports, "Duration", {
+  enumerable: true,
+  get: function () { return temporal_js.Duration; }
+});
+Object.defineProperty(exports, "Instant", {
+  enumerable: true,
+  get: function () { return temporal_js.Instant; }
+});
+Object.defineProperty(exports, "isDuration", {
+  enumerable: true,
+  get: function () { return temporal_js.isDuration; }
+});
+Object.defineProperty(exports, "isInstant", {
+  enumerable: true,
+  get: function () { return temporal_js.isInstant; }
+});
 Object.defineProperty(exports, "Option", {
   enumerable: true,
   get: function () { return values_js.Option; }

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

@@ -6,5 +6,6 @@ export { KaladaV1 } from './factories.cjs';
 export { JsonPrimitive, JsonValue } from './json.cjs';
 export { DEFAULT_KALADA_V1_LIMITS } from './limits.cjs';
 export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.cjs';
-export { BindingExpression, CompiledKaladaV1Program, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression } from './types.cjs';
+export { Duration, DurationValue, Instant, InstantValue, isDuration, isInstant } from './temporal.cjs';
+export { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression } from './types.cjs';
 export { ErrValue, KaladaValue, NoneValue, OkValue, Option, OptionValue, Result, ResultValue, SomeValue, equalKaladaValues, isOption, isResult } from './values.cjs';

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

@@ -6,5 +6,6 @@ export { KaladaV1 } from './factories.js';
 export { JsonPrimitive, JsonValue } from './json.js';
 export { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
 export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, KaladaV1JsonSchema } from './schemas.js';
-export { BindingExpression, CompiledKaladaV1Program, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression } from './types.js';
+export { Duration, DurationValue, Instant, InstantValue, isDuration, isInstant } from './temporal.js';
+export { BindingExpression, CompiledKaladaV1Program, CurrentInstantExpression, DurationExpression, InstantExpression, KaladaV1Clock, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1EvaluationInputs, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression, TemporalArithmeticExpression, TemporalComparisonExpression } from './types.js';
 export { ErrValue, KaladaValue, NoneValue, OkValue, Option, OptionValue, Result, ResultValue, SomeValue, equalKaladaValues, isOption, isResult } from './values.js';

package/dist/kalada-v1/index.js

@@ -5,6 +5,7 @@ export { collectKaladaV1Dependencies } from './dependencies.js';
 export { KaladaV1 } from './factories.js';
 export { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
 export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA } from './schemas.js';
+export { Duration, Instant, isDuration, isInstant } from './temporal.js';
 export { Option, Result, equalKaladaValues, isOption, isResult } from './values.js';
 //# sourceMappingURL=index.js.map
 //# sourceMappingURL=index.js.map

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

@@ -1,5 +1,6 @@
 import { KaladaV1Limits } from './types.cjs';
 import './json.cjs';
+import './temporal.cjs';
 import './values.cjs';
 
 declare const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits;

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

@@ -1,5 +1,6 @@
 import { KaladaV1Limits } from './types.js';
 import './json.js';
+import './temporal.js';
 import './values.js';
 
 declare const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits;

package/dist/kalada-v1/schemas.cjs

@@ -58,6 +58,18 @@ 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)])
   ]
@@ -89,7 +101,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 +116,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",

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"],"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;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,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,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    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  ],\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        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 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.js

@@ -56,6 +56,18 @@ 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)])
   ]
@@ -87,7 +99,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 +114,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",

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/schemas.ts"],"names":[],"mappings":";;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqB,wBAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACA,yBAAyB,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,EAAW,yBAAyB,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,EAAW,wBAAA,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,WAAW,wBAAA,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,EAAW,yBAAyB,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.js","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":[],"mappings":";;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqB,wBAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACA,yBAAyB,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,EAAW,yBAAyB,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,EAAW,wBAAA,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,WAAW,wBAAA,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;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,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,EAAW,yBAAyB,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.js","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    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  ],\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        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 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"]}