@kalada/core 0.1.0 → 0.3.0

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/diagnostics.ts"],"names":[],"mappings":"AAEA,MAAM,QAAA,GAA6D,OAAO,MAAA,CAAO;AAAA,EAC/E,oBAAA,EAAsB,kCAAA;AAAA,EACtB,qBAAA,EAAuB,kDAAA;AAAA,EACvB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,wBAAA,EAA0B,yCAAA;AAAA,EAC1B,0BAAA,EAA4B,wCAAA;AAAA,EAC5B,wBAAA,EAA0B,uCAAA;AAAA,EAC1B,4BAAA,EAA8B,2CAAA;AAAA,EAC9B,0BAAA,EAA4B,6CAAA;AAAA,EAC5B,sBAAA,EAAwB,qCAAA;AAAA,EACxB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,uBAAA,EAAyB,qCAAA;AAAA,EACzB,wBAAA,EAA0B,6CAAA;AAAA,EAC1B,qBAAA,EAAuB,sDAAA;AAAA,EACvB,uBAAA,EAAyB,uDAAA;AAAA,EACzB,uBAAA,EAAyB,yDAAA;AAAA,EACzB,6BAAA,EAA+B,yDAAA;AAAA,EAC/B,wBAAA,EAA0B,gEAAA;AAAA,EAC1B,kBAAA,EAAoB,+BAAA;AAAA,EACpB,oBAAA,EAAsB;AACxB,CAAC,CAAA;AAEM,MAAM,sBAAsB,KAAA,CAAM;AAAA,EAC9B,IAAA;AAAA,EACA,IAAA;AAAA,EAET,WAAA,CAAY,MAA8B,IAAA,EAAoC;AAC5E,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AAAA,EACd;AACF;AAEO,SAAS,OAAA,CACd,MACA,IAAA,EACoB;AACpB,EAAA,MAAM,UAAA,GAAiC,OAAO,MAAA,CAAO;AAAA,IACnD,IAAA;AAAA,IACA,MAAM,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,IAAI,CAAC,CAAA;AAAA,IAC7B,OAAA,EAAS,SAAS,IAAI;AAAA,GACvB,CAAA;AACD,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAA,EAAO,YAAY,CAAA;AAChD;AAEO,SAAS,QAAW,KAAA,EAA8B;AACvD,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,IAAA,EAAM,OAAO,CAAA;AAC1C","file":"diagnostics.js","sourcesContent":["import type { KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Outcome } from \"./types.js\";\n\nconst MESSAGES: Readonly<Record<KaladaV1DiagnosticCode, string>> = Object.freeze({\n  KALADA_INVALID_INPUT: \"Kalada program input is invalid.\",\n  KALADA_LIMIT_EXCEEDED: \"Kalada program input exceeds a configured limit.\",\n  KALADA_INVALID_REFERENCE: \"Kalada reference is invalid.\",\n  KALADA_MATCH_MISSING_ARM: \"Kalada match is missing a required arm.\",\n  KALADA_MATCH_DUPLICATE_ARM: \"Kalada match contains a duplicate arm.\",\n  KALADA_MATCH_UNKNOWN_ARM: \"Kalada match contains an unknown arm.\",\n  KALADA_MATCH_UNREACHABLE_ARM: \"Kalada match contains an unreachable arm.\",\n  KALADA_MATCH_TYPE_MISMATCH: \"Kalada match received the wrong value type.\",\n  KALADA_REFERENCE_ERROR: \"Kalada reference resolution failed.\",\n  KALADA_REFERENCE_MISSING: \"Kalada reference is missing.\",\n  KALADA_REFERENCE_DENIED: \"Kalada reference access was denied.\",\n  KALADA_ASYNC_UNSUPPORTED: \"Kalada callbacks must return synchronously.\",\n  KALADA_INVALID_RESULT: \"Kalada reference callback returned an invalid value.\",\n  KALADA_EVALUATION_LIMIT: \"Kalada evaluation exceeded its configured step limit.\",\n  KALADA_INSTANT_REQUIRED: \"Kalada evaluation requires an explicit current Instant.\",\n  KALADA_TEMPORAL_TYPE_MISMATCH: \"Kalada temporal operation received incompatible values.\",\n  KALADA_TEMPORAL_OVERFLOW: \"Kalada temporal arithmetic exceeded safe integer milliseconds.\",\n  KALADA_CLOCK_ERROR: \"Kalada clock sampling failed.\",\n  KALADA_INVALID_CLOCK: \"Kalada clock returned an invalid Instant.\",\n});\n\nexport class KaladaFailure extends Error {\n  readonly code: KaladaV1DiagnosticCode;\n  readonly path: readonly (string | number)[];\n\n  constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]) {\n    super(code);\n    this.code = code;\n    this.path = path;\n  }\n}\n\nexport function failure<T>(\n  code: KaladaV1DiagnosticCode,\n  path: readonly (string | number)[],\n): KaladaV1Outcome<T> {\n  const diagnostic: KaladaV1Diagnostic = Object.freeze({\n    code,\n    path: Object.freeze([...path]),\n    message: MESSAGES[code],\n  });\n  return Object.freeze({ ok: false, diagnostic });\n}\n\nexport function success<T>(value: T): KaladaV1Outcome<T> {\n  return Object.freeze({ ok: true, value });\n}\n"]}

package/dist/kalada-v1/evaluate.cjs

@@ -0,0 +1,176 @@
+'use strict';
+
+var callbackPromise_js = require('../kuery-v1/callback-promise.js');
+var diagnostics_js = require('./diagnostics.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 = {}) {
+  try {
+    const instant = evaluationInstant(inputs);
+    return diagnostics_js.success(
+      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, instant, steps: 0 })
+    );
+  } 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);
+  }
+}
+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 {
+    if (typeof inputs !== "object" || inputs === null || Array.isArray(inputs))
+      throw new TypeError();
+    keys = Reflect.ownKeys(inputs);
+  } catch {
+    throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", ["inputs", "instant"]);
+  }
+  const unexpected = keys.find((key) => key !== "instant");
+  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 (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;
+  try {
+    input = state.resolve(reference);
+  } 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);
+  }
+}
+
+exports.evaluateKaladaV1 = evaluateKaladaV1;
+//# sourceMappingURL=evaluate.cjs.map
+//# sourceMappingURL=evaluate.cjs.map

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

@@ -0,0 +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"]}

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.cjs';
+import { KaladaV1Expression, KaladaV1Resolver, KaladaV1Limits, 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>;
+
+export { evaluateKaladaV1 };

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.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, inputs?: KaladaV1EvaluationInputs): KaladaV1Outcome<KaladaValue>;
+
+export { evaluateKaladaV1 };

package/dist/kalada-v1/evaluate.js

@@ -0,0 +1,174 @@
+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';
+
+function evaluateKaladaV1(expression, resolve, limits, inputs = {}) {
+  try {
+    const instant = evaluationInstant(inputs);
+    return success(
+      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, instant, steps: 0 })
+    );
+  } catch (error) {
+    const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_REFERENCE_ERROR", []);
+    return failure(problem.code, problem.path);
+  }
+}
+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 {
+    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);
+  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;
+  try {
+    input = state.resolve(reference);
+  } 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);
+  }
+}
+
+export { evaluateKaladaV1 };
+//# sourceMappingURL=evaluate.js.map
+//# sourceMappingURL=evaluate.js.map

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

@@ -0,0 +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"]}

package/dist/kalada-v1/factories.cjs

@@ -0,0 +1,66 @@
+'use strict';
+
+const literal = (value) => ({
+  kind: "literal",
+  value
+});
+const ref = (value) => ({
+  kind: "ref",
+  ref: value
+});
+const binding = (name, value, body) => ({ kind: "binding", name, value, body });
+const some = (value) => ({
+  kind: "option",
+  variant: "some",
+  value
+});
+const none = () => ({
+  kind: "option",
+  variant: "none"
+});
+const ok = (value) => ({
+  kind: "result",
+  variant: "ok",
+  value
+});
+const err = (value) => ({
+  kind: "result",
+  variant: "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,
+  binding,
+  Option: Object.freeze({ some, none }),
+  Result: Object.freeze({ ok, err }),
+  arm,
+  match,
+  instant,
+  duration,
+  currentInstant,
+  temporalArithmetic,
+  temporalComparison,
+  program(expression) {
+    return { format: "kalada-program", version: 1, profile: "kalada-v1", expression };
+  }
+});
+
+exports.KaladaV1 = KaladaV1;
+//# sourceMappingURL=factories.cjs.map
+//# sourceMappingURL=factories.cjs.map

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

@@ -0,0 +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;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

@@ -0,0 +1,30 @@
+import { JsonValue } from './json.cjs';
+import { KaladaV1Expression, MatchArm, KaladaV1Program } from './types.cjs';
+import './temporal.cjs';
+import './values.cjs';
+
+declare const KaladaV1: Readonly<{
+    literal: <R extends JsonValue = string>(value: JsonValue) => KaladaV1Expression<R>;
+    ref: <R extends JsonValue = string>(value: R) => KaladaV1Expression<R>;
+    binding: <R extends JsonValue>(name: string, value: KaladaV1Expression<R>, body: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    Option: Readonly<{
+        some: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+        none: <R extends JsonValue = string>() => KaladaV1Expression<R>;
+    }>;
+    Result: Readonly<{
+        ok: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+        err: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    }>;
+    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>;
+}>;
+
+export { KaladaV1 };

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

@@ -0,0 +1,30 @@
+import { JsonValue } from './json.js';
+import { KaladaV1Expression, MatchArm, KaladaV1Program } from './types.js';
+import './temporal.js';
+import './values.js';
+
+declare const KaladaV1: Readonly<{
+    literal: <R extends JsonValue = string>(value: JsonValue) => KaladaV1Expression<R>;
+    ref: <R extends JsonValue = string>(value: R) => KaladaV1Expression<R>;
+    binding: <R extends JsonValue>(name: string, value: KaladaV1Expression<R>, body: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    Option: Readonly<{
+        some: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+        none: <R extends JsonValue = string>() => KaladaV1Expression<R>;
+    }>;
+    Result: Readonly<{
+        ok: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+        err: <R extends JsonValue>(value: KaladaV1Expression<R>) => KaladaV1Expression<R>;
+    }>;
+    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>;
+}>;
+
+export { KaladaV1 };