@kalada/core 0.3.0 → 0.4.0

package/dist/kalada-v1/evaluate.cjs

@@ -1,45 +1,19 @@
 'use strict';
 
-var callbackPromise_js = require('../kuery-v1/callback-promise.js');
 var diagnostics_js = require('./diagnostics.js');
+var evaluationMachine_js = require('./evaluation-machine.js');
 var json_js = require('./json.js');
 var temporal_js = require('./temporal.js');
-var temporalEvaluation_js = require('./temporal-evaluation.js');
-var values_js = require('./values.js');
 
-function evaluateKaladaV1(expression, resolve, limits, inputs = {}) {
+function evaluateKaladaV1(expression, resolve, limits, functions, inputs = {}) {
   try {
     const instant = evaluationInstant(inputs);
-    return diagnostics_js.success(
-      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, instant, steps: 0 })
-    );
+    return diagnostics_js.success(evaluationMachine_js.runEvaluation(expression, resolve, limits, functions, instant));
   } catch (error) {
     const problem = error instanceof diagnostics_js.KaladaFailure ? error : new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", []);
-    return diagnostics_js.failure(problem.code, problem.path);
+    return diagnostics_js.failure(problem.code, problem.path, problem.context);
   }
 }
-function evaluateNode(node, path, scope, state) {
-  charge(path, state);
-  if (node.kind === "literal") return node.value;
-  if (temporalEvaluation_js.isTemporalExpression(node)) {
-    return temporalEvaluation_js.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") {
-    return node.variant === "none" ? values_js.Option.none() : values_js.Option.some(evaluateNode(node.value, [...path, "value"], scope, state));
-  }
-  if (node.kind === "result") {
-    const value = evaluateNode(node.value, [...path, "value"], scope, state);
-    return node.variant === "ok" ? values_js.Result.ok(value) : values_js.Result.err(value);
-  }
-  return evaluateMatch(node, path, scope, state);
-}
 function evaluationInstant(inputs) {
   let keys;
   try {
@@ -50,124 +24,21 @@ function evaluationInstant(inputs) {
     throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
   }
   const unexpected = keys.find((key) => key !== "instant");
-  if (unexpected !== void 0)
+  if (unexpected !== void 0) {
     throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", ["inputs", String(unexpected)]);
-  if (!keys.includes("instant")) return void 0;
-  let instant;
-  try {
-    instant = json_js.dataValue(inputs, "instant");
-  } catch {
-    throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
   }
+  if (!keys.includes("instant")) return void 0;
+  const instant = readInstant(inputs);
   if (instant !== void 0 && !temporal_js.isInstant(instant)) {
     throw new diagnostics_js.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);
-  nested.set(node.name, value);
-  return evaluateNode(node.body, [...path, "body"], nested, state);
-}
-function evaluateMatch(node, path, scope, state) {
-  const valuePath = [...path, "value"];
-  const value = evaluateNode(node.value, valuePath, scope, state);
-  if (node.type === "Option" && !values_js.isOption(value)) {
-    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  if (node.type === "Result" && !values_js.isResult(value)) {
-    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  if (!values_js.isOption(value) && !values_js.isResult(value)) {
-    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  const variant = value.variant;
-  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);
-  const arm = node.arms[armIndex];
-  if (!arm) throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", [...path, "arms"]);
-  const nested = bindPayload(scope, arm, value);
-  return evaluateNode(arm.body, [...path, "arms", armIndex, "body"], nested, state);
-}
-function bindPayload(scope, arm, value) {
-  if (!arm.binding || !values_js.isOption(value) && !values_js.isResult(value) || value.variant === "none")
-    return scope;
-  const nested = new Map(scope);
-  nested.set(arm.binding, value.value);
-  return nested;
-}
-function evaluateReference(reference, path, scope, state) {
-  if (typeof reference === "string" && scope.has(reference))
-    return scope.get(reference);
-  let input;
+function readInstant(inputs) {
   try {
-    input = state.resolve(reference);
+    return json_js.dataValue(inputs, "instant");
   } catch {
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-  if (callbackPromise_js.rejectCallbackPromise(input)) throw new diagnostics_js.KaladaFailure("KALADA_ASYNC_UNSUPPORTED", path);
-  return parseResolution(input, path, state.limits);
-}
-function parseResolution(input, path, limits) {
-  if (typeof input !== "object" || input === null || Array.isArray(input)) {
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-  const keys = safeKeys(input, path);
-  const found = safeData(input, "found", path);
-  if (typeof found !== "boolean") throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  if (!found) return missingResolution(input, keys, path);
-  if (keys.length !== 2 || !keys.includes("value"))
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  return safeValue(safeData(input, "value", path), path, limits);
-}
-function missingResolution(input, keys, path) {
-  if (keys.length === 1) throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_MISSING", path);
-  if (keys.length !== 2 || !keys.includes("reason"))
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  const reason = safeData(input, "reason", path);
-  if (reason === void 0 || reason === "missing")
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_MISSING", path);
-  if (reason === "denied") throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_DENIED", path);
-  throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-}
-function safeValue(input, path, limits) {
-  try {
-    if (values_js.isOption(input) || values_js.isResult(input) || temporal_js.isInstant(input) || temporal_js.isDuration(input)) {
-      values_js.validateKaladaValueLimits(input, {
-        maxDepth: limits.maxValueDepth,
-        maxNodes: limits.maxValueNodes,
-        maxStringLength: limits.maxStringLength
-      });
-      return input;
-    }
-    return json_js.cloneJson(input, {
-      maxDepth: limits.maxValueDepth,
-      maxNodes: limits.maxValueNodes,
-      maxStringLength: limits.maxStringLength
-    });
-  } catch (error) {
-    if (error instanceof RangeError) throw new diagnostics_js.KaladaFailure("KALADA_LIMIT_EXCEEDED", path);
-    throw new diagnostics_js.KaladaFailure("KALADA_INVALID_RESULT", path);
-  }
-}
-function safeKeys(input, path) {
-  try {
-    return Reflect.ownKeys(input);
-  } catch {
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-}
-function safeData(input, key, path) {
-  try {
-    return json_js.dataValue(input, key);
-  } catch {
-    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-}
-function charge(path, state) {
-  state.steps += 1;
-  if (state.steps > state.limits.maxEvaluationSteps) {
-    throw new diagnostics_js.KaladaFailure("KALADA_EVALUATION_LIMIT", path);
+    throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
   }
 }
 

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/evaluate.ts"],"names":["success","KaladaFailure","failure","isTemporalExpression","evaluateTemporalExpression","Option","Result","dataValue","isInstant","isOption","isResult","rejectCallbackPromise","isDuration","validateKaladaValueLimits","cloneJson"],"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,OAAOA,sBAAA;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,iBAAiBC,4BAAA,GAAgB,KAAA,GAAQ,IAAIA,4BAAA,CAAc,wBAAA,EAA0B,EAAE,CAAA;AACzF,IAAA,OAAOC,sBAAA,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,IAAIC,0CAAA,CAAqB,IAAI,CAAA,EAAG;AAC9B,IAAA,OAAOC,gDAAA;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,GACpBC,iBAAO,IAAA,EAAK,GACZA,iBAAO,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,GAAOC,gBAAA,CAAO,GAAG,KAAK,CAAA,GAAIA,gBAAA,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,IAAIL,4BAAA,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,IAAIA,6BAAc,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,GAAUM,iBAAA,CAAU,QAAQ,SAAS,CAAA;AAAA,EACvC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIN,4BAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,IAAI,OAAA,KAAY,MAAA,IAAa,CAACO,qBAAA,CAAU,OAAO,CAAA,EAAG;AAChD,IAAA,MAAM,IAAIP,4BAAA,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,CAACQ,kBAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAIR,4BAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,KAAK,IAAA,KAAS,QAAA,IAAY,CAACS,kBAAA,CAAS,KAAK,CAAA,EAAG;AAC9C,IAAA,MAAM,IAAIT,4BAAA,CAAc,4BAAA,EAA8B,SAAS,CAAA;AAAA,EACjE;AACA,EAAA,IAAI,CAACQ,kBAAA,CAAS,KAAK,KAAK,CAACC,kBAAA,CAAS,KAAK,CAAA,EAAG;AACxC,IAAA,MAAM,IAAIT,4BAAA,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,IAAIA,4BAAA,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,CAACQ,kBAAA,CAAS,KAAK,CAAA,IAAK,CAACC,kBAAA,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,IAAIT,4BAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACA,EAAA,IAAIU,yCAAsB,KAAK,CAAA,QAAS,IAAIV,4BAAA,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,IAAIA,4BAAA,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,IAAIA,4BAAA,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,IAAIA,4BAAA,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,IAAIA,4BAAA,CAAc,4BAA4B,IAAI,CAAA;AAC/E,EAAA,IAAI,KAAK,MAAA,KAAW,CAAA,IAAK,CAAC,IAAA,CAAK,SAAS,QAAQ,CAAA;AAC9C,IAAA,MAAM,IAAIA,4BAAA,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,IAAIA,4BAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC1D,EAAA,IAAI,WAAW,QAAA,EAAU,MAAM,IAAIA,4BAAA,CAAc,2BAA2B,IAAI,CAAA;AAChF,EAAA,MAAM,IAAIA,4BAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AACxD;AAEA,SAAS,SAAA,CAAU,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAqC;AAClF,EAAA,IAAI;AACF,IAAA,IAAIQ,kBAAA,CAAS,KAAK,CAAA,IAAKC,kBAAA,CAAS,KAAK,CAAA,IAAKF,qBAAA,CAAU,KAAK,CAAA,IAAKI,sBAAA,CAAW,KAAK,CAAA,EAAG;AAC/E,MAAAC,mCAAA,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,OAAOC,kBAAU,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,IAAIb,4BAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAIA,4BAAA,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,IAAIA,4BAAA,CAAc,wBAAA,EAA0B,IAAI,CAAA;AAAA,EACxD;AACF;AAEA,SAAS,QAAA,CAAS,KAAA,EAAe,GAAA,EAAa,IAAA,EAAqB;AACjE,EAAA,IAAI;AACF,IAAA,OAAOM,iBAAA,CAAU,OAAO,GAAG,CAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIN,4BAAA,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,IAAIA,4BAAA,CAAc,yBAAA,EAA2B,IAAI,CAAA;AAAA,EACzD;AACF","file":"evaluate.cjs","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"]}
+{"version":3,"sources":["../../src/kalada-v1/evaluate.ts"],"names":["success","runEvaluation","KaladaFailure","failure","isInstant","dataValue"],"mappings":";;;;;;;AAeO,SAAS,iBACd,UAAA,EACA,OAAA,EACA,QACA,SAAA,EACA,MAAA,GAAmC,EAAC,EACN;AAC9B,EAAA,IAAI;AACF,IAAA,MAAM,OAAA,GAAU,kBAAkB,MAAM,CAAA;AACxC,IAAA,OAAOA,uBAAQC,kCAAA,CAAc,UAAA,EAAY,SAAS,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,EAC/E,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiBC,4BAAA,GAAgB,KAAA,GAAQ,IAAIA,4BAAA,CAAc,wBAAA,EAA0B,EAAE,CAAA;AACzF,IAAA,OAAOC,uBAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,QAAQ,OAAO,CAAA;AAAA,EAC5D;AACF;AAEA,SAAS,kBAAkB,MAAA,EAA4D;AACrF,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,IAAID,4BAAA,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,eAAe,MAAA,EAAW;AAC5B,IAAA,MAAM,IAAIA,6BAAc,sBAAA,EAAwB,CAAC,UAAU,MAAA,CAAO,UAAU,CAAC,CAAC,CAAA;AAAA,EAChF;AACA,EAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,SAAS,GAAG,OAAO,MAAA;AACtC,EAAA,MAAM,OAAA,GAAU,YAAY,MAAM,CAAA;AAClC,EAAA,IAAI,OAAA,KAAY,MAAA,IAAa,CAACE,qBAAA,CAAU,OAAO,CAAA,EAAG;AAChD,IAAA,MAAM,IAAIF,4BAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,OAAA;AACT;AAEA,SAAS,YAAY,MAAA,EAA2C;AAC9D,EAAA,IAAI;AACF,IAAA,OAAOG,iBAAA,CAAU,QAAQ,SAAS,CAAA;AAAA,EACpC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIH,4BAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACF","file":"evaluate.cjs","sourcesContent":["import { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { runEvaluation } from \"./evaluation-machine.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { dataValue } from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport { type InstantValue, isInstant } from \"./temporal.js\";\nimport type {\n  KaladaV1EvaluationInputs,\n  KaladaV1Expression,\n  KaladaV1FunctionCapture,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n} from \"./types.js\";\nimport type { KaladaValue } from \"./values.js\";\n\nexport function evaluateKaladaV1<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  resolve: KaladaV1Resolver<R>,\n  limits: ResolvedKaladaV1Limits,\n  functions: readonly KaladaV1FunctionCapture[],\n  inputs: KaladaV1EvaluationInputs = {},\n): KaladaV1Outcome<KaladaValue> {\n  try {\n    const instant = evaluationInstant(inputs);\n    return success(runEvaluation(expression, resolve, limits, functions, instant));\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_REFERENCE_ERROR\", []);\n    return failure(problem.code, problem.path, problem.context);\n  }\n}\n\nfunction evaluationInstant(inputs: KaladaV1EvaluationInputs): InstantValue | undefined {\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  }\n  if (!keys.includes(\"instant\")) return undefined;\n  const instant = readInstant(inputs);\n  if (instant !== undefined && !isInstant(instant)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n  return instant;\n}\n\nfunction readInstant(inputs: KaladaV1EvaluationInputs): unknown {\n  try {\n    return dataValue(inputs, \"instant\");\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n}\n"]}

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

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

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

@@ -1,8 +1,9 @@
 import { JsonValue } from './json.js';
-import { KaladaV1Expression, KaladaV1Resolver, KaladaV1Limits, KaladaV1EvaluationInputs, KaladaV1Outcome } from './types.js';
+import { ResolvedKaladaV1Limits } from './limits.js';
+import { KaladaV1Expression, KaladaV1Resolver, KaladaV1FunctionCapture, 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, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
+declare function evaluateKaladaV1<R extends JsonValue>(expression: KaladaV1Expression<R>, resolve: KaladaV1Resolver<R>, limits: ResolvedKaladaV1Limits, functions: readonly KaladaV1FunctionCapture[], inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
 
 export { evaluateKaladaV1 };

package/dist/kalada-v1/evaluate.js

@@ -1,43 +1,17 @@
-import { rejectCallbackPromise } from '../kuery-v1/callback-promise.js';
 import { success, KaladaFailure, failure } from './diagnostics.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';
+import { runEvaluation } from './evaluation-machine.js';
+import { dataValue } from './json.js';
+import { isInstant } from './temporal.js';
 
-function evaluateKaladaV1(expression, resolve, limits, inputs = {}) {
+function evaluateKaladaV1(expression, resolve, limits, functions, inputs = {}) {
   try {
     const instant = evaluationInstant(inputs);
-    return success(
-      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, instant, steps: 0 })
-    );
+    return success(runEvaluation(expression, resolve, limits, functions, instant));
   } catch (error) {
     const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_REFERENCE_ERROR", []);
-    return failure(problem.code, problem.path);
+    return failure(problem.code, problem.path, problem.context);
   }
 }
-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") {
-    return node.variant === "none" ? Option.none() : Option.some(evaluateNode(node.value, [...path, "value"], scope, state));
-  }
-  if (node.kind === "result") {
-    const value = evaluateNode(node.value, [...path, "value"], scope, state);
-    return node.variant === "ok" ? Result.ok(value) : Result.err(value);
-  }
-  return evaluateMatch(node, path, scope, state);
-}
 function evaluationInstant(inputs) {
   let keys;
   try {
@@ -48,124 +22,21 @@ function evaluationInstant(inputs) {
     throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
   }
   const unexpected = keys.find((key) => key !== "instant");
-  if (unexpected !== void 0)
+  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 (!keys.includes("instant")) return void 0;
+  const instant = readInstant(inputs);
   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);
-  nested.set(node.name, value);
-  return evaluateNode(node.body, [...path, "body"], nested, state);
-}
-function evaluateMatch(node, path, scope, state) {
-  const valuePath = [...path, "value"];
-  const value = evaluateNode(node.value, valuePath, scope, state);
-  if (node.type === "Option" && !isOption(value)) {
-    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  if (node.type === "Result" && !isResult(value)) {
-    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  if (!isOption(value) && !isResult(value)) {
-    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
-  }
-  const variant = value.variant;
-  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);
-  const arm = node.arms[armIndex];
-  if (!arm) throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "arms"]);
-  const nested = bindPayload(scope, arm, value);
-  return evaluateNode(arm.body, [...path, "arms", armIndex, "body"], nested, state);
-}
-function bindPayload(scope, arm, value) {
-  if (!arm.binding || !isOption(value) && !isResult(value) || value.variant === "none")
-    return scope;
-  const nested = new Map(scope);
-  nested.set(arm.binding, value.value);
-  return nested;
-}
-function evaluateReference(reference, path, scope, state) {
-  if (typeof reference === "string" && scope.has(reference))
-    return scope.get(reference);
-  let input;
+function readInstant(inputs) {
   try {
-    input = state.resolve(reference);
+    return dataValue(inputs, "instant");
   } catch {
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-  if (rejectCallbackPromise(input)) throw new KaladaFailure("KALADA_ASYNC_UNSUPPORTED", path);
-  return parseResolution(input, path, state.limits);
-}
-function parseResolution(input, path, limits) {
-  if (typeof input !== "object" || input === null || Array.isArray(input)) {
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-  const keys = safeKeys(input, path);
-  const found = safeData(input, "found", path);
-  if (typeof found !== "boolean") throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  if (!found) return missingResolution(input, keys, path);
-  if (keys.length !== 2 || !keys.includes("value"))
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  return safeValue(safeData(input, "value", path), path, limits);
-}
-function missingResolution(input, keys, path) {
-  if (keys.length === 1) throw new KaladaFailure("KALADA_REFERENCE_MISSING", path);
-  if (keys.length !== 2 || !keys.includes("reason"))
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  const reason = safeData(input, "reason", path);
-  if (reason === void 0 || reason === "missing")
-    throw new KaladaFailure("KALADA_REFERENCE_MISSING", path);
-  if (reason === "denied") throw new KaladaFailure("KALADA_REFERENCE_DENIED", path);
-  throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-}
-function safeValue(input, path, limits) {
-  try {
-    if (isOption(input) || isResult(input) || isInstant(input) || isDuration(input)) {
-      validateKaladaValueLimits(input, {
-        maxDepth: limits.maxValueDepth,
-        maxNodes: limits.maxValueNodes,
-        maxStringLength: limits.maxStringLength
-      });
-      return input;
-    }
-    return cloneJson(input, {
-      maxDepth: limits.maxValueDepth,
-      maxNodes: limits.maxValueNodes,
-      maxStringLength: limits.maxStringLength
-    });
-  } catch (error) {
-    if (error instanceof RangeError) throw new KaladaFailure("KALADA_LIMIT_EXCEEDED", path);
-    throw new KaladaFailure("KALADA_INVALID_RESULT", path);
-  }
-}
-function safeKeys(input, path) {
-  try {
-    return Reflect.ownKeys(input);
-  } catch {
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-}
-function safeData(input, key, path) {
-  try {
-    return dataValue(input, key);
-  } catch {
-    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
-  }
-}
-function charge(path, state) {
-  state.steps += 1;
-  if (state.steps > state.limits.maxEvaluationSteps) {
-    throw new KaladaFailure("KALADA_EVALUATION_LIMIT", path);
+    throw new KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
   }
 }
 

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

@@ -1 +1 @@
-{"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"]}
+{"version":3,"sources":["../../src/kalada-v1/evaluate.ts"],"names":[],"mappings":";;;;;AAeO,SAAS,iBACd,UAAA,EACA,OAAA,EACA,QACA,SAAA,EACA,MAAA,GAAmC,EAAC,EACN;AAC9B,EAAA,IAAI;AACF,IAAA,MAAM,OAAA,GAAU,kBAAkB,MAAM,CAAA;AACxC,IAAA,OAAO,QAAQ,aAAA,CAAc,UAAA,EAAY,SAAS,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,EAC/E,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiB,aAAA,GAAgB,KAAA,GAAQ,IAAI,aAAA,CAAc,wBAAA,EAA0B,EAAE,CAAA;AACzF,IAAA,OAAO,QAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAA,EAAM,QAAQ,OAAO,CAAA;AAAA,EAC5D;AACF;AAEA,SAAS,kBAAkB,MAAA,EAA4D;AACrF,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,eAAe,MAAA,EAAW;AAC5B,IAAA,MAAM,IAAI,cAAc,sBAAA,EAAwB,CAAC,UAAU,MAAA,CAAO,UAAU,CAAC,CAAC,CAAA;AAAA,EAChF;AACA,EAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,SAAS,GAAG,OAAO,MAAA;AACtC,EAAA,MAAM,OAAA,GAAU,YAAY,MAAM,CAAA;AAClC,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,YAAY,MAAA,EAA2C;AAC9D,EAAA,IAAI;AACF,IAAA,OAAO,SAAA,CAAU,QAAQ,SAAS,CAAA;AAAA,EACpC,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,QAAA,EAAU,SAAS,CAAC,CAAA;AAAA,EACvE;AACF","file":"evaluate.js","sourcesContent":["import { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { runEvaluation } from \"./evaluation-machine.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { dataValue } from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport { type InstantValue, isInstant } from \"./temporal.js\";\nimport type {\n  KaladaV1EvaluationInputs,\n  KaladaV1Expression,\n  KaladaV1FunctionCapture,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n} from \"./types.js\";\nimport type { KaladaValue } from \"./values.js\";\n\nexport function evaluateKaladaV1<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n  resolve: KaladaV1Resolver<R>,\n  limits: ResolvedKaladaV1Limits,\n  functions: readonly KaladaV1FunctionCapture[],\n  inputs: KaladaV1EvaluationInputs = {},\n): KaladaV1Outcome<KaladaValue> {\n  try {\n    const instant = evaluationInstant(inputs);\n    return success(runEvaluation(expression, resolve, limits, functions, instant));\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_REFERENCE_ERROR\", []);\n    return failure(problem.code, problem.path, problem.context);\n  }\n}\n\nfunction evaluationInstant(inputs: KaladaV1EvaluationInputs): InstantValue | undefined {\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  }\n  if (!keys.includes(\"instant\")) return undefined;\n  const instant = readInstant(inputs);\n  if (instant !== undefined && !isInstant(instant)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n  return instant;\n}\n\nfunction readInstant(inputs: KaladaV1EvaluationInputs): unknown {\n  try {\n    return dataValue(inputs, \"instant\");\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [\"inputs\", \"instant\"]);\n  }\n}\n"]}