@kalada/core 0.2.0 → 0.4.0

package/dist/kalada-v1/evaluation-delivery.cjs

@@ -0,0 +1,286 @@
+'use strict';
+
+var evaluationFrames_js = require('./evaluation-frames.js');
+var evaluationState_js = require('./evaluation-state.js');
+var json_js = require('./json.js');
+var runtimeValues_js = require('./runtime-values.js');
+var temporal_js = require('./temporal.js');
+var temporalEvaluation_js = require('./temporal-evaluation.js');
+var values_js = require('./values.js');
+
+function deliverFrame(state) {
+  const frame = state.stack[state.stack.length - 1];
+  switch (frame.kind) {
+    case "binding":
+      deliverBinding(frame, state);
+      break;
+    case "constructor":
+      deliverConstructor(frame, state);
+      break;
+    case "match":
+      deliverMatch(frame, state);
+      break;
+    case "temporal-binary":
+      deliverTemporal(frame, state);
+      break;
+    case "function-group-body":
+      restore(frame.outer, state);
+      break;
+    case "call-callee":
+      deliverCallee(frame, state);
+      break;
+    case "call-arguments":
+      deliverArgument(frame, state);
+      break;
+    case "user-return":
+      deliverReturn(frame, state);
+      break;
+    case "core-iteration":
+      deliverCoreCallback(frame, state);
+      break;
+  }
+}
+function deliverBinding(frame, state) {
+  if (frame.phase === "body") {
+    restore(frame.outer, state);
+    return;
+  }
+  frame.phase = "body";
+  const nested = new Map(state.environment);
+  nested.set(frame.name, state.value);
+  evaluationState_js.evaluate(frame.body, [...frame.path, "body"], nested, state);
+}
+function deliverConstructor(frame, state) {
+  state.stack.pop();
+  const value = state.value;
+  if (runtimeValues_js.isCallable(value)) evaluationState_js.fail("KALADA_FUNCTION_ESCAPE", [...frame.path, "value"]);
+  if (frame.type === "Option") evaluationState_js.deliver(values_js.Option.some(value), state);
+  else evaluationState_js.deliver(frame.variant === "ok" ? values_js.Result.ok(value) : values_js.Result.err(value), state);
+}
+function deliverMatch(frame, state) {
+  if (frame.phase === "arm") {
+    restore(frame.outer, state);
+    return;
+  }
+  const value = state.value;
+  const valid = !runtimeValues_js.isCallable(value) && (frame.type === "Option" ? values_js.isOption(value) : values_js.isResult(value));
+  if (!valid) evaluationState_js.fail("KALADA_MATCH_TYPE_MISMATCH", [...frame.path, "value"]);
+  const variant = value.variant;
+  const index = frame.arms.findIndex((arm2) => arm2.variant === variant);
+  const arm = frame.arms[index];
+  if (!arm) evaluationState_js.fail("KALADA_INVALID_INPUT", [...frame.path, "arms"]);
+  frame.phase = "arm";
+  frame.scrutinee = value;
+  frame.selected = index;
+  evaluationState_js.evaluate(
+    arm.body,
+    [...frame.path, "arms", index, "body"],
+    bindArm(frame.outer, arm.binding, value),
+    state
+  );
+}
+function bindArm(environment, name, value) {
+  if (!name || runtimeValues_js.isCallable(value) || values_js.isOption(value) && value.variant === "none")
+    return environment;
+  const nested = new Map(environment);
+  if (values_js.isOption(value) || values_js.isResult(value)) nested.set(name, value.value);
+  return nested;
+}
+function deliverTemporal(frame, state) {
+  const value = state.value;
+  if (runtimeValues_js.isCallable(value) || !temporal_js.isInstant(value) && !temporal_js.isDuration(value)) {
+    evaluationState_js.fail("KALADA_TEMPORAL_TYPE_MISMATCH", [...frame.path, frame.phase]);
+  }
+  if (frame.phase === "left") {
+    frame.phase = "right";
+    frame.left = value;
+    evaluationState_js.evaluate(frame.right, [...frame.path, "right"], state.environment, state);
+    return;
+  }
+  state.stack.pop();
+  const output = temporalEvaluation_js.applyTemporalBinary(
+    frame.expressionKind,
+    frame.operator,
+    frame.left,
+    value,
+    [...frame.path, "right"]
+  );
+  evaluationState_js.deliver(output, state);
+}
+function deliverCallee(frame, state) {
+  evaluationState_js.charge([...frame.path, "callee"], state);
+  state.stack.pop();
+  const callable = state.value;
+  if (!runtimeValues_js.isCallable(callable)) evaluationState_js.fail("KALADA_NOT_CALLABLE", [...frame.path, "callee"]);
+  const expected = callable.callable === "user" ? callable.parameters.length : 2;
+  if (frame.arguments.length !== expected)
+    evaluationState_js.fail("KALADA_FUNCTION_ARITY", [...frame.path, "arguments"]);
+  if (frame.arguments.length === 0) {
+    dispatch(callable, [], frame.path, state);
+    return;
+  }
+  evaluationState_js.push(
+    {
+      kind: "call-arguments",
+      phase: "argument",
+      path: frame.path,
+      callable,
+      arguments: frame.arguments,
+      values: [],
+      index: 0
+    },
+    [...frame.path, "arguments"],
+    state
+  );
+  evaluationState_js.evaluate(
+    frame.arguments[0],
+    [...frame.path, "arguments", 0],
+    state.environment,
+    state
+  );
+}
+function deliverArgument(frame, state) {
+  const path = [...frame.path, "arguments", frame.index];
+  evaluationState_js.charge(path, state);
+  const callable = frame.callable;
+  if (!runtimeValues_js.isCallable(callable)) evaluationState_js.fail("KALADA_NOT_CALLABLE", [...frame.path, "callee"]);
+  const type = runtimeValues_js.callableType(callable).parameters[frame.index];
+  if (type && !runtimeValues_js.matchesType(state.value, type))
+    evaluationState_js.fail("KALADA_FUNCTION_TYPE_MISMATCH", path);
+  frame.values.push(state.value);
+  frame.index += 1;
+  if (frame.index < frame.arguments.length) {
+    evaluationState_js.evaluate(
+      frame.arguments[frame.index],
+      [...frame.path, "arguments", frame.index],
+      state.environment,
+      state
+    );
+    return;
+  }
+  state.stack.pop();
+  dispatch(callable, frame.values, frame.path, state);
+}
+function dispatch(callable, values, path, state) {
+  if (!runtimeValues_js.isCallable(callable)) evaluationState_js.fail("KALADA_NOT_CALLABLE", [...path, "callee"]);
+  if (callable.callable === "core") {
+    dispatchCore(callable.name, values, path, state);
+    return;
+  }
+  dispatchUser(callable, values, path, state);
+}
+function dispatchUser(closure, values, path, state) {
+  if (state.callDepth >= state.limits.maxCallDepth) evaluationState_js.fail("KALADA_CALL_DEPTH_LIMIT", path);
+  evaluationState_js.ensureCapacity(path, state);
+  evaluationState_js.charge(path, state);
+  state.callDepth += 1;
+  state.stack.push({
+    kind: "user-return",
+    phase: "body",
+    path,
+    name: closure.name,
+    returns: closure.returns,
+    caller: state.environment
+  });
+  evaluationState_js.evaluate(closure.body, [...closure.path, "body"], evaluationFrames_js.functionEnvironment(closure, values), state);
+}
+function dispatchCore(operator, values, path, state) {
+  const input = values[0];
+  if (input.length > state.limits.maxCollectionLength) {
+    evaluationState_js.fail("KALADA_COLLECTION_LIMIT", [...path, "arguments", 0]);
+  }
+  if (state.callDepth >= state.limits.maxCallDepth) evaluationState_js.fail("KALADA_CALL_DEPTH_LIMIT", path);
+  evaluationState_js.ensureCapacity(path, state);
+  evaluationState_js.charge(path, state);
+  state.callDepth += 1;
+  const frame = {
+    kind: "core-iteration",
+    phase: "ready",
+    path,
+    operator,
+    callback: values[1],
+    input,
+    index: 0,
+    partial: operator === "some" ? false : operator === "every" ? true : []
+  };
+  state.stack.push(frame);
+  if (input.length === 0) finishCore(frame, state);
+  else dispatchCoreCallback(frame, state);
+}
+function dispatchCoreCallback(frame, state) {
+  frame.phase = "callback";
+  evaluationState_js.reserveCollectionIteration(frame.path, state);
+  dispatch(
+    frame.callback,
+    [frame.input[frame.index], frame.index],
+    [...frame.path, "arguments", 1],
+    state
+  );
+}
+function deliverCoreCallback(frame, state) {
+  evaluationState_js.charge(frame.path, state);
+  const value = state.value;
+  validateCoreResult(frame, value);
+  updateCoreResult(frame, value);
+  if (coreFinished(frame, value)) {
+    finishCore(frame, state);
+    return;
+  }
+  frame.index += 1;
+  if (frame.index === frame.input.length) finishCore(frame, state);
+  else dispatchCoreCallback(frame, state);
+}
+function validateCoreResult(frame, value) {
+  const expected = {
+    kind: "primitive-type",
+    name: frame.operator === "map" ? "json" : "boolean"
+  };
+  if (!runtimeValues_js.matchesType(value, expected)) {
+    evaluationState_js.fail("KALADA_COLLECTION_TYPE_MISMATCH", [...frame.path, "arguments", 1]);
+  }
+}
+function updateCoreResult(frame, value) {
+  if (frame.operator === "map") frame.partial.push(value);
+  if (frame.operator === "filter" && value) {
+    frame.partial.push(frame.input[frame.index]);
+  }
+  if (frame.operator === "some" && value) frame.partial = true;
+  if (frame.operator === "every" && !value) frame.partial = false;
+}
+function coreFinished(frame, value) {
+  return frame.operator === "some" && value === true || frame.operator === "every" && value === false;
+}
+function finishCore(frame, state) {
+  const output = Array.isArray(frame.partial) ? validateCollectionOutput(frame.partial, frame.path, state) : frame.partial;
+  state.stack.pop();
+  state.callDepth -= 1;
+  evaluationState_js.deliver(output, state);
+}
+function validateCollectionOutput(output, path, state) {
+  try {
+    json_js.cloneJson(output, {
+      maxDepth: state.limits.maxValueDepth,
+      maxNodes: state.limits.maxValueNodes,
+      maxStringLength: state.limits.maxStringLength
+    });
+  } catch {
+    evaluationState_js.fail("KALADA_LIMIT_EXCEEDED", path);
+  }
+  return Object.freeze(output);
+}
+function deliverReturn(frame, state) {
+  evaluationState_js.charge(frame.path, state);
+  state.stack.pop();
+  state.environment = frame.caller;
+  state.callDepth -= 1;
+  if (!runtimeValues_js.matchesType(state.value, frame.returns))
+    evaluationState_js.fail("KALADA_FUNCTION_TYPE_MISMATCH", frame.path);
+}
+function restore(environment, state) {
+  state.stack.pop();
+  state.environment = environment;
+}
+
+exports.deliverFrame = deliverFrame;
+//# sourceMappingURL=evaluation-delivery.cjs.map
+//# sourceMappingURL=evaluation-delivery.cjs.map

package/dist/kalada-v1/evaluation-delivery.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/evaluation-delivery.ts"],"names":["evaluate","isCallable","fail","deliver","Option","Result","isOption","isResult","arm","isInstant","isDuration","applyTemporalBinary","charge","push","callableType","matchesType","ensureCapacity","functionEnvironment","reserveCollectionIteration","cloneJson"],"mappings":";;;;;;;;;;AAyBO,SAAS,aAAkC,KAAA,EAA8B;AAC9E,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA,CAAM,KAAA,CAAM,KAAA,CAAM,SAAS,CAAC,CAAA;AAChD,EAAA,QAAQ,MAAM,IAAA;AAAM,IAClB,KAAK,SAAA;AACH,MAAA,cAAA,CAAe,OAAO,KAAK,CAAA;AAC3B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,kBAAA,CAAmB,OAAO,KAAK,CAAA;AAC/B,MAAA;AAAA,IACF,KAAK,OAAA;AACH,MAAA,YAAA,CAAa,OAAO,KAAK,CAAA;AACzB,MAAA;AAAA,IACF,KAAK,iBAAA;AACH,MAAA,eAAA,CAAgB,OAAO,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,qBAAA;AACH,MAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,aAAA,CAAc,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,gBAAA;AACH,MAAA,eAAA,CAAgB,OAAO,KAAK,CAAA;AAC5B,MAAA;AAAA,IACF,KAAK,aAAA;AACH,MAAA,aAAA,CAAc,OAAO,KAAK,CAAA;AAC1B,MAAA;AAAA,IACF,KAAK,gBAAA;AACH,MAAA,mBAAA,CAAoB,OAAO,KAAK,CAAA;AAChC,MAAA;AAAA;AAEN;AAEA,SAAS,cAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,EAAQ;AAC1B,IAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,KAAA,GAAQ,MAAA;AACd,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAA,CAAM,WAAW,CAAA;AACxC,EAAA,MAAA,CAAO,GAAA,CAAI,KAAA,CAAM,IAAA,EAAM,KAAA,CAAM,KAAqB,CAAA;AAClD,EAAAA,2BAAA,CAAS,KAAA,CAAM,MAAM,CAAC,GAAG,MAAM,IAAA,EAAM,MAAM,CAAA,EAAG,MAAA,EAAQ,KAAK,CAAA;AAC7D;AAEA,SAAS,kBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,IAAIC,2BAAA,CAAW,KAAK,CAAA,EAAGC,uBAAA,CAAK,wBAAA,EAA0B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9E,EAAA,IAAI,KAAA,CAAM,SAAS,QAAA,EAAUC,0BAAA,CAAQC,iBAAO,IAAA,CAAK,KAAK,GAAG,KAAK,CAAA;AAAA,OACzDD,0BAAA,CAAQ,KAAA,CAAM,OAAA,KAAY,IAAA,GAAOE,gBAAA,CAAO,EAAA,CAAG,KAAK,CAAA,GAAIA,gBAAA,CAAO,GAAA,CAAI,KAAK,CAAA,EAAG,KAAK,CAAA;AACnF;AAEA,SAAS,YAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,KAAA,CAAM,UAAU,KAAA,EAAO;AACzB,IAAA,OAAA,CAAQ,KAAA,CAAM,OAAO,KAAK,CAAA;AAC1B,IAAA;AAAA,EACF;AACA,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,MAAM,KAAA,GAAQ,CAACJ,2BAAA,CAAW,KAAK,CAAA,KAAM,KAAA,CAAM,IAAA,KAAS,QAAA,GAAWK,kBAAA,CAAS,KAAK,CAAA,GAAIC,kBAAA,CAAS,KAAK,CAAA,CAAA;AAC/F,EAAA,IAAI,CAAC,OAAOL,uBAAA,CAAK,4BAAA,EAA8B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO,CAAC,CAAA;AACvE,EAAA,MAAM,UAAW,KAAA,CAAwE,OAAA;AACzF,EAAA,MAAM,KAAA,GAAQ,MAAM,IAAA,CAAK,SAAA,CAAU,CAACM,IAAAA,KAAQA,IAAAA,CAAI,YAAY,OAAO,CAAA;AACnE,EAAA,MAAM,GAAA,GAAM,KAAA,CAAM,IAAA,CAAK,KAAK,CAAA;AAC5B,EAAA,IAAI,CAAC,KAAKN,uBAAA,CAAK,sBAAA,EAAwB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,MAAM,CAAC,CAAA;AAC9D,EAAA,KAAA,CAAM,KAAA,GAAQ,KAAA;AACd,EAAA,KAAA,CAAM,SAAA,GAAY,KAAA;AAClB,EAAA,KAAA,CAAM,QAAA,GAAW,KAAA;AACjB,EAAAF,2BAAA;AAAA,IACE,GAAA,CAAI,IAAA;AAAA,IACJ,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,MAAA,EAAQ,OAAO,MAAM,CAAA;AAAA,IACrC,OAAA,CAAQ,KAAA,CAAM,KAAA,EAAO,GAAA,CAAI,SAAS,KAAK,CAAA;AAAA,IACvC;AAAA,GACF;AACF;AAEA,SAAS,OAAA,CACP,WAAA,EACA,IAAA,EACA,KAAA,EACoB;AACpB,EAAA,IAAI,CAAC,QAAQC,2BAAA,CAAW,KAAK,KAAMK,kBAAA,CAAS,KAAK,CAAA,IAAK,KAAA,CAAM,OAAA,KAAY,MAAA;AACtE,IAAA,OAAO,WAAA;AACT,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,WAAW,CAAA;AAClC,EAAA,IAAIA,kBAAA,CAAS,KAAK,CAAA,IAAKC,kBAAA,CAAS,KAAK,GAAG,MAAA,CAAO,GAAA,CAAI,IAAA,EAAM,KAAA,CAAM,KAAK,CAAA;AACpE,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,eAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,IAAIN,2BAAA,CAAW,KAAK,CAAA,IAAM,CAACQ,qBAAA,CAAU,KAAK,CAAA,IAAK,CAACC,sBAAA,CAAW,KAAK,CAAA,EAAI;AAClE,IAAAR,uBAAA,CAAK,iCAAiC,CAAC,GAAG,MAAM,IAAA,EAAM,KAAA,CAAM,KAAK,CAAC,CAAA;AAAA,EACpE;AACA,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,EAAQ;AAC1B,IAAA,KAAA,CAAM,KAAA,GAAQ,OAAA;AACd,IAAA,KAAA,CAAM,IAAA,GAAO,KAAA;AACb,IAAAF,2BAAA,CAAS,KAAA,CAAM,KAAA,EAAO,CAAC,GAAG,KAAA,CAAM,MAAM,OAAO,CAAA,EAAG,KAAA,CAAM,WAAA,EAAa,KAAK,CAAA;AACxE,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,MAAA,GAASW,yCAAA;AAAA,IACb,KAAA,CAAM,cAAA;AAAA,IACN,KAAA,CAAM,QAAA;AAAA,IACN,KAAA,CAAM,IAAA;AAAA,IACN,KAAA;AAAA,IACA,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,OAAO;AAAA,GACzB;AACA,EAAAR,0BAAA,CAAQ,QAAQ,KAAK,CAAA;AACvB;AAEA,SAAS,aAAA,CACP,OACA,KAAA,EACM;AACN,EAAAS,yBAAA,CAAO,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,GAAG,KAAK,CAAA;AACvC,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,MAAM,WAAW,KAAA,CAAM,KAAA;AACvB,EAAA,IAAI,CAACX,2BAAA,CAAW,QAAQ,CAAA,EAAGC,uBAAA,CAAK,qBAAA,EAAuB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,CAAC,CAAA;AAChF,EAAA,MAAM,WAAW,QAAA,CAAS,QAAA,KAAa,MAAA,GAAS,QAAA,CAAS,WAAW,MAAA,GAAS,CAAA;AAC7E,EAAA,IAAI,KAAA,CAAM,UAAU,MAAA,KAAW,QAAA;AAC7B,IAAAA,uBAAA,CAAK,yBAAyB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAW,CAAC,CAAA;AAC5D,EAAA,IAAI,KAAA,CAAM,SAAA,CAAU,MAAA,KAAW,CAAA,EAAG;AAChC,IAAA,QAAA,CAAS,QAAA,EAAU,EAAC,EAAG,KAAA,CAAM,MAAM,KAAK,CAAA;AACxC,IAAA;AAAA,EACF;AACA,EAAAW,uBAAA;AAAA,IACE;AAAA,MACE,IAAA,EAAM,gBAAA;AAAA,MACN,KAAA,EAAO,UAAA;AAAA,MACP,MAAM,KAAA,CAAM,IAAA;AAAA,MACZ,QAAA;AAAA,MACA,WAAW,KAAA,CAAM,SAAA;AAAA,MACjB,QAAQ,EAAC;AAAA,MACT,KAAA,EAAO;AAAA,KACT;AAAA,IACA,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAW,CAAA;AAAA,IAC3B;AAAA,GACF;AACA,EAAAb,2BAAA;AAAA,IACE,KAAA,CAAM,UAAU,CAAC,CAAA;AAAA,IACjB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,IAC9B,KAAA,CAAM,WAAA;AAAA,IACN;AAAA,GACF;AACF;AAEA,SAAS,eAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,OAAO,CAAC,GAAG,MAAM,IAAA,EAAM,WAAA,EAAa,MAAM,KAAK,CAAA;AACrD,EAAAY,yBAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,MAAM,WAAW,KAAA,CAAM,QAAA;AACvB,EAAA,IAAI,CAACX,2BAAA,CAAW,QAAQ,CAAA,EAAGC,uBAAA,CAAK,qBAAA,EAAuB,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,QAAQ,CAAC,CAAA;AAChF,EAAA,MAAM,OAAOY,6BAAA,CAAa,QAAQ,CAAA,CAAE,UAAA,CAAW,MAAM,KAAK,CAAA;AAC1D,EAAA,IAAI,IAAA,IAAQ,CAACC,4BAAA,CAAY,KAAA,CAAM,OAAuB,IAAI,CAAA;AACxD,IAAAb,uBAAA,CAAK,iCAAiC,IAAI,CAAA;AAC5C,EAAA,KAAA,CAAM,MAAA,CAAO,IAAA,CAAK,KAAA,CAAM,KAAqB,CAAA;AAC7C,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,KAAA,CAAM,KAAA,GAAQ,KAAA,CAAM,SAAA,CAAU,MAAA,EAAQ;AACxC,IAAAF,2BAAA;AAAA,MACE,KAAA,CAAM,SAAA,CAAU,KAAA,CAAM,KAAK,CAAA;AAAA,MAC3B,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,WAAA,EAAa,MAAM,KAAK,CAAA;AAAA,MACxC,KAAA,CAAM,WAAA;AAAA,MACN;AAAA,KACF;AACA,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,QAAA,CAAS,QAAA,EAAU,KAAA,CAAM,MAAA,EAAQ,KAAA,CAAM,MAAM,KAAK,CAAA;AACpD;AAEA,SAAS,QAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,CAACC,2BAAA,CAAW,QAAQ,CAAA,EAAGC,uBAAA,CAAK,uBAAuB,CAAC,GAAG,IAAA,EAAM,QAAQ,CAAC,CAAA;AAC1E,EAAA,IAAI,QAAA,CAAS,aAAa,MAAA,EAAQ;AAChC,IAAA,YAAA,CAAa,QAAA,CAAS,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,KAAK,CAAA;AAC/C,IAAA;AAAA,EACF;AACA,EAAA,YAAA,CAAa,QAAA,EAA4B,MAAA,EAAQ,IAAA,EAAM,KAAK,CAAA;AAC9D;AAEA,SAAS,YAAA,CACP,OAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,IAAI,MAAM,SAAA,IAAa,KAAA,CAAM,OAAO,YAAA,EAAcA,uBAAA,CAAK,2BAA2B,IAAI,CAAA;AACtF,EAAAc,iCAAA,CAAe,MAAM,KAAK,CAAA;AAC1B,EAAAJ,yBAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,KAAA,CAAM,MAAM,IAAA,CAAK;AAAA,IACf,IAAA,EAAM,aAAA;AAAA,IACN,KAAA,EAAO,MAAA;AAAA,IACP,IAAA;AAAA,IACA,MAAM,OAAA,CAAQ,IAAA;AAAA,IACd,SAAS,OAAA,CAAQ,OAAA;AAAA,IACjB,QAAQ,KAAA,CAAM;AAAA,GACf,CAAA;AACD,EAAAZ,2BAAA,CAAS,OAAA,CAAQ,IAAA,EAAM,CAAC,GAAG,OAAA,CAAQ,IAAA,EAAM,MAAM,CAAA,EAAGiB,uCAAA,CAAoB,OAAA,EAAS,MAAM,CAAA,EAAG,KAAK,CAAA;AAC/F;AAEA,SAAS,YAAA,CACP,QAAA,EACA,MAAA,EACA,IAAA,EACA,KAAA,EACM;AACN,EAAA,MAAM,KAAA,GAAQ,OAAO,CAAC,CAAA;AACtB,EAAA,IAAI,KAAA,CAAM,MAAA,GAAS,KAAA,CAAM,MAAA,CAAO,mBAAA,EAAqB;AACnD,IAAAf,uBAAA,CAAK,2BAA2B,CAAC,GAAG,IAAA,EAAM,WAAA,EAAa,CAAC,CAAC,CAAA;AAAA,EAC3D;AACA,EAAA,IAAI,MAAM,SAAA,IAAa,KAAA,CAAM,OAAO,YAAA,EAAcA,uBAAA,CAAK,2BAA2B,IAAI,CAAA;AACtF,EAAAc,iCAAA,CAAe,MAAM,KAAK,CAAA;AAC1B,EAAAJ,yBAAA,CAAO,MAAM,KAAK,CAAA;AAClB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,MAAM,KAAA,GAAiE;AAAA,IACrE,IAAA,EAAM,gBAAA;AAAA,IACN,KAAA,EAAO,OAAA;AAAA,IACP,IAAA;AAAA,IACA,QAAA;AAAA,IACA,QAAA,EAAU,OAAO,CAAC,CAAA;AAAA,IAClB,KAAA;AAAA,IACA,KAAA,EAAO,CAAA;AAAA,IACP,SAAS,QAAA,KAAa,MAAA,GAAS,QAAQ,QAAA,KAAa,OAAA,GAAU,OAAO;AAAC,GACxE;AACA,EAAA,KAAA,CAAM,KAAA,CAAM,KAAK,KAAK,CAAA;AACtB,EAAA,IAAI,KAAA,CAAM,MAAA,KAAW,CAAA,EAAG,UAAA,CAAW,OAAO,KAAK,CAAA;AAAA,OAC1C,oBAAA,CAAqB,OAAO,KAAK,CAAA;AACxC;AAEA,SAAS,oBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,GAAQ,UAAA;AACd,EAAAM,6CAAA,CAA2B,KAAA,CAAM,MAAM,KAAK,CAAA;AAC5C,EAAA,QAAA;AAAA,IACE,KAAA,CAAM,QAAA;AAAA,IACN,CAAC,KAAA,CAAM,KAAA,CAAM,MAAM,KAAK,CAAA,EAAgB,MAAM,KAAK,CAAA;AAAA,IACnD,CAAC,GAAG,KAAA,CAAM,IAAA,EAAM,aAAa,CAAC,CAAA;AAAA,IAC9B;AAAA,GACF;AACF;AAEA,SAAS,mBAAA,CACP,OACA,KAAA,EACM;AACN,EAAAN,yBAAA,CAAO,KAAA,CAAM,MAAM,KAAK,CAAA;AACxB,EAAA,MAAM,QAAQ,KAAA,CAAM,KAAA;AACpB,EAAA,kBAAA,CAAmB,OAAO,KAAK,CAAA;AAC/B,EAAA,gBAAA,CAAiB,OAAO,KAA4B,CAAA;AACpD,EAAA,IAAI,YAAA,CAAa,KAAA,EAAO,KAAK,CAAA,EAAG;AAC9B,IAAA,UAAA,CAAW,OAAO,KAAK,CAAA;AACvB,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,KAAA,IAAS,CAAA;AACf,EAAA,IAAI,MAAM,KAAA,KAAU,KAAA,CAAM,MAAM,MAAA,EAAQ,UAAA,CAAW,OAAO,KAAK,CAAA;AAAA,OAC1D,oBAAA,CAAqB,OAAO,KAAK,CAAA;AACxC;AAEA,SAAS,kBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,QAAA,GAAW;AAAA,IACf,IAAA,EAAM,gBAAA;AAAA,IACN,IAAA,EAAM,KAAA,CAAM,QAAA,KAAa,KAAA,GAAQ,MAAA,GAAS;AAAA,GAC5C;AACA,EAAA,IAAI,CAACG,4BAAA,CAAY,KAAA,EAAO,QAAQ,CAAA,EAAG;AACjC,IAAAb,uBAAA,CAAK,mCAAmC,CAAC,GAAG,MAAM,IAAA,EAAM,WAAA,EAAa,CAAC,CAAC,CAAA;AAAA,EACzE;AACF;AAEA,SAAS,gBAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,IAAI,MAAM,QAAA,KAAa,KAAA,EAAQ,KAAA,CAAM,OAAA,CAAwB,KAAK,KAAkB,CAAA;AACpF,EAAA,IAAI,KAAA,CAAM,QAAA,KAAa,QAAA,IAAY,KAAA,EAAO;AACxC,IAAC,MAAM,OAAA,CAAwB,IAAA,CAAK,MAAM,KAAA,CAAM,KAAA,CAAM,KAAK,CAAc,CAAA;AAAA,EAC3E;AACA,EAAA,IAAI,KAAA,CAAM,QAAA,KAAa,MAAA,IAAU,KAAA,QAAa,OAAA,GAAU,IAAA;AACxD,EAAA,IAAI,MAAM,QAAA,KAAa,OAAA,IAAW,CAAC,KAAA,QAAa,OAAA,GAAU,KAAA;AAC5D;AAEA,SAAS,YAAA,CACP,OACA,KAAA,EACS;AACT,EAAA,OACG,KAAA,CAAM,aAAa,MAAA,IAAU,KAAA,KAAU,QAAU,KAAA,CAAM,QAAA,KAAa,WAAW,KAAA,KAAU,KAAA;AAE9F;AAEA,SAAS,UAAA,CACP,OACA,KAAA,EACM;AACN,EAAA,MAAM,MAAA,GAAS,KAAA,CAAM,OAAA,CAAQ,KAAA,CAAM,OAAO,CAAA,GACtC,wBAAA,CAAyB,KAAA,CAAM,OAAA,EAAS,KAAA,CAAM,IAAA,EAAM,KAAK,IACzD,KAAA,CAAM,OAAA;AACV,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAAC,0BAAA,CAAQ,QAAQ,KAAK,CAAA;AACvB;AAEA,SAAS,wBAAA,CACP,MAAA,EACA,IAAA,EACA,KAAA,EACa;AACb,EAAA,IAAI;AACF,IAAAgB,iBAAA,CAAU,MAAA,EAAQ;AAAA,MAChB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,CAAA,CAAA,MAAQ;AACN,IAAAjB,uBAAA,CAAK,yBAAyB,IAAI,CAAA;AAAA,EACpC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,aAAA,CACP,OACA,KAAA,EACM;AACN,EAAAU,yBAAA,CAAO,KAAA,CAAM,MAAM,KAAK,CAAA;AACxB,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,cAAc,KAAA,CAAM,MAAA;AAC1B,EAAA,KAAA,CAAM,SAAA,IAAa,CAAA;AACnB,EAAA,IAAI,CAACG,4BAAA,CAAY,KAAA,CAAM,KAAA,EAAuB,MAAM,OAAO,CAAA;AACzD,IAAAb,uBAAA,CAAK,+BAAA,EAAiC,MAAM,IAAI,CAAA;AACpD;AAEA,SAAS,OAAA,CACP,aACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,MAAM,GAAA,EAAI;AAChB,EAAA,KAAA,CAAM,WAAA,GAAc,WAAA;AACtB","file":"evaluation-delivery.cjs","sourcesContent":["import { type EvaluationFrame, functionEnvironment, type Path } from \"./evaluation-frames.js\";\nimport {\n  charge,\n  deliver,\n  ensureCapacity,\n  evaluate,\n  fail,\n  type MachineState,\n  push,\n  reserveCollectionIteration,\n} from \"./evaluation-state.js\";\nimport { cloneJson, type JsonValue } from \"./json.js\";\nimport {\n  callableType,\n  isCallable,\n  matchesType,\n  type RuntimeEnvironment,\n  type RuntimeValue,\n  type UserClosure,\n} from \"./runtime-values.js\";\nimport { isDuration, isInstant } from \"./temporal.js\";\nimport { applyTemporalBinary } from \"./temporal-evaluation.js\";\nimport type { KaladaV1Expression } from \"./types.js\";\nimport { isOption, isResult, type KaladaValue, Option, Result } from \"./values.js\";\n\nexport function deliverFrame<R extends JsonValue>(state: MachineState<R>): void {\n  const frame = state.stack[state.stack.length - 1] as EvaluationFrame<R>;\n  switch (frame.kind) {\n    case \"binding\":\n      deliverBinding(frame, state);\n      break;\n    case \"constructor\":\n      deliverConstructor(frame, state);\n      break;\n    case \"match\":\n      deliverMatch(frame, state);\n      break;\n    case \"temporal-binary\":\n      deliverTemporal(frame, state);\n      break;\n    case \"function-group-body\":\n      restore(frame.outer, state);\n      break;\n    case \"call-callee\":\n      deliverCallee(frame, state);\n      break;\n    case \"call-arguments\":\n      deliverArgument(frame, state);\n      break;\n    case \"user-return\":\n      deliverReturn(frame, state);\n      break;\n    case \"core-iteration\":\n      deliverCoreCallback(frame, state);\n      break;\n  }\n}\n\nfunction deliverBinding<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"binding\" }>,\n  state: MachineState<R>,\n): void {\n  if (frame.phase === \"body\") {\n    restore(frame.outer, state);\n    return;\n  }\n  frame.phase = \"body\";\n  const nested = new Map(state.environment);\n  nested.set(frame.name, state.value as RuntimeValue);\n  evaluate(frame.body, [...frame.path, \"body\"], nested, state);\n}\n\nfunction deliverConstructor<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"constructor\" }>,\n  state: MachineState<R>,\n): void {\n  state.stack.pop();\n  const value = state.value as RuntimeValue;\n  if (isCallable(value)) fail(\"KALADA_FUNCTION_ESCAPE\", [...frame.path, \"value\"]);\n  if (frame.type === \"Option\") deliver(Option.some(value), state);\n  else deliver(frame.variant === \"ok\" ? Result.ok(value) : Result.err(value), state);\n}\n\nfunction deliverMatch<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"match\" }>,\n  state: MachineState<R>,\n): void {\n  if (frame.phase === \"arm\") {\n    restore(frame.outer, state);\n    return;\n  }\n  const value = state.value as RuntimeValue;\n  const valid = !isCallable(value) && (frame.type === \"Option\" ? isOption(value) : isResult(value));\n  if (!valid) fail(\"KALADA_MATCH_TYPE_MISMATCH\", [...frame.path, \"value\"]);\n  const variant = (value as ReturnType<typeof Option.none> | ReturnType<typeof Result.ok>).variant;\n  const index = frame.arms.findIndex((arm) => arm.variant === variant);\n  const arm = frame.arms[index];\n  if (!arm) fail(\"KALADA_INVALID_INPUT\", [...frame.path, \"arms\"]);\n  frame.phase = \"arm\";\n  frame.scrutinee = value;\n  frame.selected = index;\n  evaluate(\n    arm.body,\n    [...frame.path, \"arms\", index, \"body\"],\n    bindArm(frame.outer, arm.binding, value),\n    state,\n  );\n}\n\nfunction bindArm(\n  environment: RuntimeEnvironment,\n  name: string | undefined,\n  value: RuntimeValue,\n): RuntimeEnvironment {\n  if (!name || isCallable(value) || (isOption(value) && value.variant === \"none\"))\n    return environment;\n  const nested = new Map(environment);\n  if (isOption(value) || isResult(value)) nested.set(name, value.value);\n  return nested;\n}\n\nfunction deliverTemporal<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"temporal-binary\" }>,\n  state: MachineState<R>,\n): void {\n  const value = state.value as RuntimeValue;\n  if (isCallable(value) || (!isInstant(value) && !isDuration(value))) {\n    fail(\"KALADA_TEMPORAL_TYPE_MISMATCH\", [...frame.path, frame.phase]);\n  }\n  if (frame.phase === \"left\") {\n    frame.phase = \"right\";\n    frame.left = value;\n    evaluate(frame.right, [...frame.path, \"right\"], state.environment, state);\n    return;\n  }\n  state.stack.pop();\n  const output = applyTemporalBinary(\n    frame.expressionKind,\n    frame.operator,\n    frame.left as KaladaValue,\n    value,\n    [...frame.path, \"right\"],\n  );\n  deliver(output, state);\n}\n\nfunction deliverCallee<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"call-callee\" }>,\n  state: MachineState<R>,\n): void {\n  charge([...frame.path, \"callee\"], state);\n  state.stack.pop();\n  const callable = state.value as RuntimeValue;\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...frame.path, \"callee\"]);\n  const expected = callable.callable === \"user\" ? callable.parameters.length : 2;\n  if (frame.arguments.length !== expected)\n    fail(\"KALADA_FUNCTION_ARITY\", [...frame.path, \"arguments\"]);\n  if (frame.arguments.length === 0) {\n    dispatch(callable, [], frame.path, state);\n    return;\n  }\n  push(\n    {\n      kind: \"call-arguments\",\n      phase: \"argument\",\n      path: frame.path,\n      callable,\n      arguments: frame.arguments,\n      values: [],\n      index: 0,\n    },\n    [...frame.path, \"arguments\"],\n    state,\n  );\n  evaluate(\n    frame.arguments[0] as KaladaV1Expression<R>,\n    [...frame.path, \"arguments\", 0],\n    state.environment,\n    state,\n  );\n}\n\nfunction deliverArgument<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"call-arguments\" }>,\n  state: MachineState<R>,\n): void {\n  const path = [...frame.path, \"arguments\", frame.index];\n  charge(path, state);\n  const callable = frame.callable;\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...frame.path, \"callee\"]);\n  const type = callableType(callable).parameters[frame.index];\n  if (type && !matchesType(state.value as RuntimeValue, type))\n    fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", path);\n  frame.values.push(state.value as RuntimeValue);\n  frame.index += 1;\n  if (frame.index < frame.arguments.length) {\n    evaluate(\n      frame.arguments[frame.index] as KaladaV1Expression<R>,\n      [...frame.path, \"arguments\", frame.index],\n      state.environment,\n      state,\n    );\n    return;\n  }\n  state.stack.pop();\n  dispatch(callable, frame.values, frame.path, state);\n}\n\nfunction dispatch<R extends JsonValue>(\n  callable: RuntimeValue,\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (!isCallable(callable)) fail(\"KALADA_NOT_CALLABLE\", [...path, \"callee\"]);\n  if (callable.callable === \"core\") {\n    dispatchCore(callable.name, values, path, state);\n    return;\n  }\n  dispatchUser(callable as UserClosure<R>, values, path, state);\n}\n\nfunction dispatchUser<R extends JsonValue>(\n  closure: UserClosure<R>,\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  if (state.callDepth >= state.limits.maxCallDepth) fail(\"KALADA_CALL_DEPTH_LIMIT\", path);\n  ensureCapacity(path, state);\n  charge(path, state);\n  state.callDepth += 1;\n  state.stack.push({\n    kind: \"user-return\",\n    phase: \"body\",\n    path,\n    name: closure.name,\n    returns: closure.returns,\n    caller: state.environment,\n  });\n  evaluate(closure.body, [...closure.path, \"body\"], functionEnvironment(closure, values), state);\n}\n\nfunction dispatchCore<R extends JsonValue>(\n  operator: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>[\"operator\"],\n  values: readonly RuntimeValue[],\n  path: Path,\n  state: MachineState<R>,\n): void {\n  const input = values[0] as readonly JsonValue[];\n  if (input.length > state.limits.maxCollectionLength) {\n    fail(\"KALADA_COLLECTION_LIMIT\", [...path, \"arguments\", 0]);\n  }\n  if (state.callDepth >= state.limits.maxCallDepth) fail(\"KALADA_CALL_DEPTH_LIMIT\", path);\n  ensureCapacity(path, state);\n  charge(path, state);\n  state.callDepth += 1;\n  const frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }> = {\n    kind: \"core-iteration\",\n    phase: \"ready\",\n    path,\n    operator,\n    callback: values[1] as RuntimeValue,\n    input,\n    index: 0,\n    partial: operator === \"some\" ? false : operator === \"every\" ? true : [],\n  };\n  state.stack.push(frame);\n  if (input.length === 0) finishCore(frame, state);\n  else dispatchCoreCallback(frame, state);\n}\n\nfunction dispatchCoreCallback<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  frame.phase = \"callback\";\n  reserveCollectionIteration(frame.path, state);\n  dispatch(\n    frame.callback,\n    [frame.input[frame.index] as JsonValue, frame.index],\n    [...frame.path, \"arguments\", 1],\n    state,\n  );\n}\n\nfunction deliverCoreCallback<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  charge(frame.path, state);\n  const value = state.value as RuntimeValue;\n  validateCoreResult(frame, value);\n  updateCoreResult(frame, value as JsonValue | boolean);\n  if (coreFinished(frame, value)) {\n    finishCore(frame, state);\n    return;\n  }\n  frame.index += 1;\n  if (frame.index === frame.input.length) finishCore(frame, state);\n  else dispatchCoreCallback(frame, state);\n}\n\nfunction validateCoreResult<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: RuntimeValue,\n): void {\n  const expected = {\n    kind: \"primitive-type\",\n    name: frame.operator === \"map\" ? \"json\" : \"boolean\",\n  } as const;\n  if (!matchesType(value, expected)) {\n    fail(\"KALADA_COLLECTION_TYPE_MISMATCH\", [...frame.path, \"arguments\", 1]);\n  }\n}\n\nfunction updateCoreResult<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: JsonValue | boolean,\n): void {\n  if (frame.operator === \"map\") (frame.partial as JsonValue[]).push(value as JsonValue);\n  if (frame.operator === \"filter\" && value) {\n    (frame.partial as JsonValue[]).push(frame.input[frame.index] as JsonValue);\n  }\n  if (frame.operator === \"some\" && value) frame.partial = true;\n  if (frame.operator === \"every\" && !value) frame.partial = false;\n}\n\nfunction coreFinished<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  value: RuntimeValue,\n): boolean {\n  return (\n    (frame.operator === \"some\" && value === true) || (frame.operator === \"every\" && value === false)\n  );\n}\n\nfunction finishCore<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"core-iteration\" }>,\n  state: MachineState<R>,\n): void {\n  const output = Array.isArray(frame.partial)\n    ? validateCollectionOutput(frame.partial, frame.path, state)\n    : frame.partial;\n  state.stack.pop();\n  state.callDepth -= 1;\n  deliver(output, state);\n}\n\nfunction validateCollectionOutput<R extends JsonValue>(\n  output: JsonValue[],\n  path: Path,\n  state: MachineState<R>,\n): JsonValue[] {\n  try {\n    cloneJson(output, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch {\n    fail(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return Object.freeze(output) as JsonValue[];\n}\n\nfunction deliverReturn<R extends JsonValue>(\n  frame: Extract<EvaluationFrame<R>, { kind: \"user-return\" }>,\n  state: MachineState<R>,\n): void {\n  charge(frame.path, state);\n  state.stack.pop();\n  state.environment = frame.caller;\n  state.callDepth -= 1;\n  if (!matchesType(state.value as RuntimeValue, frame.returns))\n    fail(\"KALADA_FUNCTION_TYPE_MISMATCH\", frame.path);\n}\n\nfunction restore<R extends JsonValue>(\n  environment: RuntimeEnvironment,\n  state: MachineState<R>,\n): void {\n  state.stack.pop();\n  state.environment = environment;\n}\n"]}

package/dist/kalada-v1/evaluation-delivery.d.cts

@@ -0,0 +1,13 @@
+import { MachineState } from './evaluation-state.cjs';
+import { JsonValue } from './json.cjs';
+import './diagnostics.cjs';
+import './types.cjs';
+import './temporal.cjs';
+import './values.cjs';
+import './evaluation-frames.cjs';
+import './runtime-values.cjs';
+import './limits.cjs';
+
+declare function deliverFrame<R extends JsonValue>(state: MachineState<R>): void;
+
+export { deliverFrame };

package/dist/kalada-v1/evaluation-delivery.d.ts

@@ -0,0 +1,13 @@
+import { MachineState } from './evaluation-state.js';
+import { JsonValue } from './json.js';
+import './diagnostics.js';
+import './types.js';
+import './temporal.js';
+import './values.js';
+import './evaluation-frames.js';
+import './runtime-values.js';
+import './limits.js';
+
+declare function deliverFrame<R extends JsonValue>(state: MachineState<R>): void;
+
+export { deliverFrame };

package/dist/kalada-v1/evaluation-delivery.js

@@ -0,0 +1,284 @@
+import { functionEnvironment } from './evaluation-frames.js';
+import { evaluate, fail, deliver, charge, push, ensureCapacity, reserveCollectionIteration } from './evaluation-state.js';
+import { cloneJson } from './json.js';
+import { isCallable, callableType, matchesType } from './runtime-values.js';
+import { isInstant, isDuration } from './temporal.js';
+import { applyTemporalBinary } from './temporal-evaluation.js';
+import { Option, Result, isOption, isResult } from './values.js';
+
+function deliverFrame(state) {
+  const frame = state.stack[state.stack.length - 1];
+  switch (frame.kind) {
+    case "binding":
+      deliverBinding(frame, state);
+      break;
+    case "constructor":
+      deliverConstructor(frame, state);
+      break;
+    case "match":
+      deliverMatch(frame, state);
+      break;
+    case "temporal-binary":
+      deliverTemporal(frame, state);
+      break;
+    case "function-group-body":
+      restore(frame.outer, state);
+      break;
+    case "call-callee":
+      deliverCallee(frame, state);
+      break;
+    case "call-arguments":
+      deliverArgument(frame, state);
+      break;
+    case "user-return":
+      deliverReturn(frame, state);
+      break;
+    case "core-iteration":
+      deliverCoreCallback(frame, state);
+      break;
+  }
+}
+function deliverBinding(frame, state) {
+  if (frame.phase === "body") {
+    restore(frame.outer, state);
+    return;
+  }
+  frame.phase = "body";
+  const nested = new Map(state.environment);
+  nested.set(frame.name, state.value);
+  evaluate(frame.body, [...frame.path, "body"], nested, state);
+}
+function deliverConstructor(frame, state) {
+  state.stack.pop();
+  const value = state.value;
+  if (isCallable(value)) fail("KALADA_FUNCTION_ESCAPE", [...frame.path, "value"]);
+  if (frame.type === "Option") deliver(Option.some(value), state);
+  else deliver(frame.variant === "ok" ? Result.ok(value) : Result.err(value), state);
+}
+function deliverMatch(frame, state) {
+  if (frame.phase === "arm") {
+    restore(frame.outer, state);
+    return;
+  }
+  const value = state.value;
+  const valid = !isCallable(value) && (frame.type === "Option" ? isOption(value) : isResult(value));
+  if (!valid) fail("KALADA_MATCH_TYPE_MISMATCH", [...frame.path, "value"]);
+  const variant = value.variant;
+  const index = frame.arms.findIndex((arm2) => arm2.variant === variant);
+  const arm = frame.arms[index];
+  if (!arm) fail("KALADA_INVALID_INPUT", [...frame.path, "arms"]);
+  frame.phase = "arm";
+  frame.scrutinee = value;
+  frame.selected = index;
+  evaluate(
+    arm.body,
+    [...frame.path, "arms", index, "body"],
+    bindArm(frame.outer, arm.binding, value),
+    state
+  );
+}
+function bindArm(environment, name, value) {
+  if (!name || isCallable(value) || isOption(value) && value.variant === "none")
+    return environment;
+  const nested = new Map(environment);
+  if (isOption(value) || isResult(value)) nested.set(name, value.value);
+  return nested;
+}
+function deliverTemporal(frame, state) {
+  const value = state.value;
+  if (isCallable(value) || !isInstant(value) && !isDuration(value)) {
+    fail("KALADA_TEMPORAL_TYPE_MISMATCH", [...frame.path, frame.phase]);
+  }
+  if (frame.phase === "left") {
+    frame.phase = "right";
+    frame.left = value;
+    evaluate(frame.right, [...frame.path, "right"], state.environment, state);
+    return;
+  }
+  state.stack.pop();
+  const output = applyTemporalBinary(
+    frame.expressionKind,
+    frame.operator,
+    frame.left,
+    value,
+    [...frame.path, "right"]
+  );
+  deliver(output, state);
+}
+function deliverCallee(frame, state) {
+  charge([...frame.path, "callee"], state);
+  state.stack.pop();
+  const callable = state.value;
+  if (!isCallable(callable)) fail("KALADA_NOT_CALLABLE", [...frame.path, "callee"]);
+  const expected = callable.callable === "user" ? callable.parameters.length : 2;
+  if (frame.arguments.length !== expected)
+    fail("KALADA_FUNCTION_ARITY", [...frame.path, "arguments"]);
+  if (frame.arguments.length === 0) {
+    dispatch(callable, [], frame.path, state);
+    return;
+  }
+  push(
+    {
+      kind: "call-arguments",
+      phase: "argument",
+      path: frame.path,
+      callable,
+      arguments: frame.arguments,
+      values: [],
+      index: 0
+    },
+    [...frame.path, "arguments"],
+    state
+  );
+  evaluate(
+    frame.arguments[0],
+    [...frame.path, "arguments", 0],
+    state.environment,
+    state
+  );
+}
+function deliverArgument(frame, state) {
+  const path = [...frame.path, "arguments", frame.index];
+  charge(path, state);
+  const callable = frame.callable;
+  if (!isCallable(callable)) fail("KALADA_NOT_CALLABLE", [...frame.path, "callee"]);
+  const type = callableType(callable).parameters[frame.index];
+  if (type && !matchesType(state.value, type))
+    fail("KALADA_FUNCTION_TYPE_MISMATCH", path);
+  frame.values.push(state.value);
+  frame.index += 1;
+  if (frame.index < frame.arguments.length) {
+    evaluate(
+      frame.arguments[frame.index],
+      [...frame.path, "arguments", frame.index],
+      state.environment,
+      state
+    );
+    return;
+  }
+  state.stack.pop();
+  dispatch(callable, frame.values, frame.path, state);
+}
+function dispatch(callable, values, path, state) {
+  if (!isCallable(callable)) fail("KALADA_NOT_CALLABLE", [...path, "callee"]);
+  if (callable.callable === "core") {
+    dispatchCore(callable.name, values, path, state);
+    return;
+  }
+  dispatchUser(callable, values, path, state);
+}
+function dispatchUser(closure, values, path, state) {
+  if (state.callDepth >= state.limits.maxCallDepth) fail("KALADA_CALL_DEPTH_LIMIT", path);
+  ensureCapacity(path, state);
+  charge(path, state);
+  state.callDepth += 1;
+  state.stack.push({
+    kind: "user-return",
+    phase: "body",
+    path,
+    name: closure.name,
+    returns: closure.returns,
+    caller: state.environment
+  });
+  evaluate(closure.body, [...closure.path, "body"], functionEnvironment(closure, values), state);
+}
+function dispatchCore(operator, values, path, state) {
+  const input = values[0];
+  if (input.length > state.limits.maxCollectionLength) {
+    fail("KALADA_COLLECTION_LIMIT", [...path, "arguments", 0]);
+  }
+  if (state.callDepth >= state.limits.maxCallDepth) fail("KALADA_CALL_DEPTH_LIMIT", path);
+  ensureCapacity(path, state);
+  charge(path, state);
+  state.callDepth += 1;
+  const frame = {
+    kind: "core-iteration",
+    phase: "ready",
+    path,
+    operator,
+    callback: values[1],
+    input,
+    index: 0,
+    partial: operator === "some" ? false : operator === "every" ? true : []
+  };
+  state.stack.push(frame);
+  if (input.length === 0) finishCore(frame, state);
+  else dispatchCoreCallback(frame, state);
+}
+function dispatchCoreCallback(frame, state) {
+  frame.phase = "callback";
+  reserveCollectionIteration(frame.path, state);
+  dispatch(
+    frame.callback,
+    [frame.input[frame.index], frame.index],
+    [...frame.path, "arguments", 1],
+    state
+  );
+}
+function deliverCoreCallback(frame, state) {
+  charge(frame.path, state);
+  const value = state.value;
+  validateCoreResult(frame, value);
+  updateCoreResult(frame, value);
+  if (coreFinished(frame, value)) {
+    finishCore(frame, state);
+    return;
+  }
+  frame.index += 1;
+  if (frame.index === frame.input.length) finishCore(frame, state);
+  else dispatchCoreCallback(frame, state);
+}
+function validateCoreResult(frame, value) {
+  const expected = {
+    kind: "primitive-type",
+    name: frame.operator === "map" ? "json" : "boolean"
+  };
+  if (!matchesType(value, expected)) {
+    fail("KALADA_COLLECTION_TYPE_MISMATCH", [...frame.path, "arguments", 1]);
+  }
+}
+function updateCoreResult(frame, value) {
+  if (frame.operator === "map") frame.partial.push(value);
+  if (frame.operator === "filter" && value) {
+    frame.partial.push(frame.input[frame.index]);
+  }
+  if (frame.operator === "some" && value) frame.partial = true;
+  if (frame.operator === "every" && !value) frame.partial = false;
+}
+function coreFinished(frame, value) {
+  return frame.operator === "some" && value === true || frame.operator === "every" && value === false;
+}
+function finishCore(frame, state) {
+  const output = Array.isArray(frame.partial) ? validateCollectionOutput(frame.partial, frame.path, state) : frame.partial;
+  state.stack.pop();
+  state.callDepth -= 1;
+  deliver(output, state);
+}
+function validateCollectionOutput(output, path, state) {
+  try {
+    cloneJson(output, {
+      maxDepth: state.limits.maxValueDepth,
+      maxNodes: state.limits.maxValueNodes,
+      maxStringLength: state.limits.maxStringLength
+    });
+  } catch {
+    fail("KALADA_LIMIT_EXCEEDED", path);
+  }
+  return Object.freeze(output);
+}
+function deliverReturn(frame, state) {
+  charge(frame.path, state);
+  state.stack.pop();
+  state.environment = frame.caller;
+  state.callDepth -= 1;
+  if (!matchesType(state.value, frame.returns))
+    fail("KALADA_FUNCTION_TYPE_MISMATCH", frame.path);
+}
+function restore(environment, state) {
+  state.stack.pop();
+  state.environment = environment;
+}
+
+export { deliverFrame };
+//# sourceMappingURL=evaluation-delivery.js.map
+//# sourceMappingURL=evaluation-delivery.js.map