@kalada/core 0.3.0 → 0.4.0

package/dist/kalada-v1/compile.js

@@ -1,9 +1,10 @@
 import { rejectCallbackPromise } from '../kuery-v1/callback-promise.js';
 import { canonicalizeKaladaV1Program } from './canonicalize.js';
 import { collectKaladaV1Dependencies } from './dependencies.js';
-import { failure, success } from './diagnostics.js';
+import { failure, KaladaFailure, success } from './diagnostics.js';
 import { evaluateKaladaV1 } from './evaluate.js';
 import { resolveLimits } from './limits.js';
+import { analyzeKaladaV1Functions } from './static-analysis.js';
 import { isInstant } from './temporal.js';
 
 function compileKaladaV1Program(input, options = {}) {
@@ -16,17 +17,25 @@ function compileKaladaV1Program(input, options = {}) {
     return failure("KALADA_LIMIT_EXCEEDED", []);
   }
   const program = canonical.value;
+  let functions;
+  try {
+    functions = analyzeKaladaV1Functions(program.expression, limits);
+  } catch (error) {
+    const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_INVALID_INPUT", []);
+    return failure(problem.code, problem.path);
+  }
   const dependencies = collectKaladaV1Dependencies(program.expression);
   return success(
     Object.freeze({
       program,
       dependencies,
-      evaluate: (resolve, inputs) => evaluateKaladaV1(program.expression, resolve, limits, inputs),
-      evaluateWithClock: (resolve, clock) => evaluateWithClock(program.expression, resolve, limits, clock)
+      functions,
+      evaluate: (resolve, inputs) => evaluateKaladaV1(program.expression, resolve, limits, functions, inputs),
+      evaluateWithClock: (resolve, clock) => evaluateWithClock(program.expression, resolve, limits, functions, clock)
     })
   );
 }
-function evaluateWithClock(expression, resolve, limits, clock) {
+function evaluateWithClock(expression, resolve, limits, functions, clock) {
   let sample;
   try {
     sample = clock();
@@ -35,7 +44,7 @@ function evaluateWithClock(expression, resolve, limits, clock) {
   }
   if (rejectCallbackPromise(sample)) return failure("KALADA_ASYNC_UNSUPPORTED", ["clock"]);
   if (!isInstant(sample)) return failure("KALADA_INVALID_CLOCK", ["clock"]);
-  return evaluateKaladaV1(expression, resolve, limits, { instant: sample });
+  return evaluateKaladaV1(expression, resolve, limits, functions, { instant: sample });
 }
 
 export { compileKaladaV1Program };

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/compile.ts"],"names":[],"mappings":";;;;;;;;AAkBO,SAAS,sBAAA,CACd,KAAA,EACA,OAAA,GAA8B,EAAC,EACc;AAC7C,EAAA,MAAM,SAAA,GAAY,2BAAA,CAA+B,KAAA,EAAO,OAAO,CAAA;AAC/D,EAAA,IAAI,CAAC,SAAA,CAAU,EAAA,EAAI,OAAO,SAAA;AAC1B,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,aAAA,CAAc,QAAQ,MAAM,CAAA;AAAA,EACvC,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,OAAA,CAAQ,uBAAA,EAAyB,EAAE,CAAA;AAAA,EAC5C;AACA,EAAA,MAAM,UAAU,SAAA,CAAU,KAAA;AAC1B,EAAA,MAAM,YAAA,GAAe,2BAAA,CAA4B,OAAA,CAAQ,UAAU,CAAA;AACnE,EAAA,OAAO,OAAA;AAAA,IACL,OAAO,MAAA,CAAO;AAAA,MACZ,OAAA;AAAA,MACA,YAAA;AAAA,MACA,QAAA,EAAU,CAAC,OAAA,EAA8B,MAAA,KACvC,iBAAiB,OAAA,CAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,MAAM,CAAA;AAAA,MAC9D,iBAAA,EAAmB,CAAC,OAAA,EAA8B,KAAA,KAChD,kBAAkB,OAAA,CAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,KAAK;AAAA,KAC/D;AAAA,GACH;AACF;AAEA,SAAS,iBAAA,CACP,UAAA,EACA,OAAA,EACA,MAAA,EACA,KAAA,EACwC;AACxC,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,KAAA,EAAM;AAAA,EACjB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,OAAA,CAAQ,oBAAA,EAAsB,CAAC,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,IAAI,qBAAA,CAAsB,MAAM,CAAA,EAAG,OAAO,QAAQ,0BAAA,EAA4B,CAAC,OAAO,CAAC,CAAA;AACvF,EAAA,IAAI,CAAC,UAAU,MAAM,CAAA,SAAU,OAAA,CAAQ,sBAAA,EAAwB,CAAC,OAAO,CAAC,CAAA;AACxE,EAAA,OAAO,iBAAiB,UAAA,EAAY,OAAA,EAAS,QAAQ,EAAE,OAAA,EAAS,QAAQ,CAAA;AAC1E","file":"compile.js","sourcesContent":["import { rejectCallbackPromise } from \"../kuery-v1/callback-promise.js\";\nimport { canonicalizeKaladaV1Program } from \"./canonicalize.js\";\nimport { collectKaladaV1Dependencies } from \"./dependencies.js\";\nimport { failure, success } from \"./diagnostics.js\";\nimport { evaluateKaladaV1 } from \"./evaluate.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { resolveLimits } from \"./limits.js\";\nimport { isInstant } from \"./temporal.js\";\nimport type {\n  CompiledKaladaV1Program,\n  KaladaV1Clock,\n  KaladaV1EvaluationInputs,\n  KaladaV1Limits,\n  KaladaV1Options,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n} from \"./types.js\";\n\nexport function compileKaladaV1Program<R extends JsonValue = string>(\n  input: unknown,\n  options: KaladaV1Options<R> = {},\n): KaladaV1Outcome<CompiledKaladaV1Program<R>> {\n  const canonical = canonicalizeKaladaV1Program<R>(input, options);\n  if (!canonical.ok) return canonical;\n  let limits: KaladaV1Limits;\n  try {\n    limits = resolveLimits(options.limits);\n  } catch {\n    return failure(\"KALADA_LIMIT_EXCEEDED\", []);\n  }\n  const program = canonical.value;\n  const dependencies = collectKaladaV1Dependencies(program.expression);\n  return success(\n    Object.freeze({\n      program,\n      dependencies,\n      evaluate: (resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs) =>\n        evaluateKaladaV1(program.expression, resolve, limits, inputs),\n      evaluateWithClock: (resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock) =>\n        evaluateWithClock(program.expression, resolve, limits, clock),\n    }),\n  );\n}\n\nfunction evaluateWithClock<R extends JsonValue>(\n  expression: Parameters<typeof evaluateKaladaV1<R>>[0],\n  resolve: KaladaV1Resolver<R>,\n  limits: KaladaV1Limits,\n  clock: KaladaV1Clock,\n): ReturnType<typeof evaluateKaladaV1<R>> {\n  let sample: unknown;\n  try {\n    sample = clock();\n  } catch {\n    return failure(\"KALADA_CLOCK_ERROR\", [\"clock\"]);\n  }\n  if (rejectCallbackPromise(sample)) return failure(\"KALADA_ASYNC_UNSUPPORTED\", [\"clock\"]);\n  if (!isInstant(sample)) return failure(\"KALADA_INVALID_CLOCK\", [\"clock\"]);\n  return evaluateKaladaV1(expression, resolve, limits, { instant: sample });\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/compile.ts"],"names":[],"mappings":";;;;;;;;;AAmBO,SAAS,sBAAA,CACd,KAAA,EACA,OAAA,GAA8B,EAAC,EACc;AAC7C,EAAA,MAAM,SAAA,GAAY,2BAAA,CAA+B,KAAA,EAAO,OAAO,CAAA;AAC/D,EAAA,IAAI,CAAC,SAAA,CAAU,EAAA,EAAI,OAAO,SAAA;AAC1B,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,aAAA,CAAc,QAAQ,MAAM,CAAA;AAAA,EACvC,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,OAAA,CAAQ,uBAAA,EAAyB,EAAE,CAAA;AAAA,EAC5C;AACA,EAAA,MAAM,UAAU,SAAA,CAAU,KAAA;AAC1B,EAAA,IAAI,SAAA;AACJ,EAAA,IAAI;AACF,IAAA,SAAA,GAAY,wBAAA,CAAyB,OAAA,CAAQ,UAAA,EAAY,MAAM,CAAA;AAAA,EACjE,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiB,aAAA,GAAgB,KAAA,GAAQ,IAAI,aAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AACvF,IAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAI,CAAA;AAAA,EAC3C;AACA,EAAA,MAAM,YAAA,GAAe,2BAAA,CAA4B,OAAA,CAAQ,UAAU,CAAA;AACnE,EAAA,OAAO,OAAA;AAAA,IACL,OAAO,MAAA,CAAO;AAAA,MACZ,OAAA;AAAA,MACA,YAAA;AAAA,MACA,SAAA;AAAA,MACA,QAAA,EAAU,CAAC,OAAA,EAA8B,MAAA,KACvC,gBAAA,CAAiB,QAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,SAAA,EAAW,MAAM,CAAA;AAAA,MACzE,iBAAA,EAAmB,CAAC,OAAA,EAA8B,KAAA,KAChD,iBAAA,CAAkB,QAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,SAAA,EAAW,KAAK;AAAA,KAC1E;AAAA,GACH;AACF;AAEA,SAAS,iBAAA,CACP,UAAA,EACA,OAAA,EACA,MAAA,EACA,WACA,KAAA,EACwC;AACxC,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,KAAA,EAAM;AAAA,EACjB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,OAAA,CAAQ,oBAAA,EAAsB,CAAC,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,IAAI,qBAAA,CAAsB,MAAM,CAAA,EAAG,OAAO,QAAQ,0BAAA,EAA4B,CAAC,OAAO,CAAC,CAAA;AACvF,EAAA,IAAI,CAAC,UAAU,MAAM,CAAA,SAAU,OAAA,CAAQ,sBAAA,EAAwB,CAAC,OAAO,CAAC,CAAA;AACxE,EAAA,OAAO,gBAAA,CAAiB,YAAY,OAAA,EAAS,MAAA,EAAQ,WAAW,EAAE,OAAA,EAAS,QAAQ,CAAA;AACrF","file":"compile.js","sourcesContent":["import { rejectCallbackPromise } from \"../kuery-v1/callback-promise.js\";\nimport { canonicalizeKaladaV1Program } from \"./canonicalize.js\";\nimport { collectKaladaV1Dependencies } from \"./dependencies.js\";\nimport { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { evaluateKaladaV1 } from \"./evaluate.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { type ResolvedKaladaV1Limits, resolveLimits } from \"./limits.js\";\nimport { analyzeKaladaV1Functions } from \"./static-analysis.js\";\nimport { isInstant } from \"./temporal.js\";\nimport type {\n  CompiledKaladaV1Program,\n  KaladaV1Clock,\n  KaladaV1EvaluationInputs,\n  KaladaV1FunctionCapture,\n  KaladaV1Options,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n} from \"./types.js\";\n\nexport function compileKaladaV1Program<R extends JsonValue = string>(\n  input: unknown,\n  options: KaladaV1Options<R> = {},\n): KaladaV1Outcome<CompiledKaladaV1Program<R>> {\n  const canonical = canonicalizeKaladaV1Program<R>(input, options);\n  if (!canonical.ok) return canonical;\n  let limits: ResolvedKaladaV1Limits;\n  try {\n    limits = resolveLimits(options.limits);\n  } catch {\n    return failure(\"KALADA_LIMIT_EXCEEDED\", []);\n  }\n  const program = canonical.value;\n  let functions: readonly KaladaV1FunctionCapture[];\n  try {\n    functions = analyzeKaladaV1Functions(program.expression, limits);\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_INVALID_INPUT\", []);\n    return failure(problem.code, problem.path);\n  }\n  const dependencies = collectKaladaV1Dependencies(program.expression);\n  return success(\n    Object.freeze({\n      program,\n      dependencies,\n      functions,\n      evaluate: (resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs) =>\n        evaluateKaladaV1(program.expression, resolve, limits, functions, inputs),\n      evaluateWithClock: (resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock) =>\n        evaluateWithClock(program.expression, resolve, limits, functions, clock),\n    }),\n  );\n}\n\nfunction evaluateWithClock<R extends JsonValue>(\n  expression: Parameters<typeof evaluateKaladaV1<R>>[0],\n  resolve: KaladaV1Resolver<R>,\n  limits: ResolvedKaladaV1Limits,\n  functions: readonly KaladaV1FunctionCapture[],\n  clock: KaladaV1Clock,\n): ReturnType<typeof evaluateKaladaV1<R>> {\n  let sample: unknown;\n  try {\n    sample = clock();\n  } catch {\n    return failure(\"KALADA_CLOCK_ERROR\", [\"clock\"]);\n  }\n  if (rejectCallbackPromise(sample)) return failure(\"KALADA_ASYNC_UNSUPPORTED\", [\"clock\"]);\n  if (!isInstant(sample)) return failure(\"KALADA_INVALID_CLOCK\", [\"clock\"]);\n  return evaluateKaladaV1(expression, resolve, limits, functions, { instant: sample });\n}\n"]}

package/dist/kalada-v1/dependencies.cjs

@@ -13,12 +13,13 @@ function visit(node, scope, output, identities) {
     addReference(node.ref, scope, output, identities);
     return;
   }
-  if (node.kind === "literal" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "option" && node.variant === "none")
+  if (node.kind === "literal" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "core-function" || node.kind === "option" && node.variant === "none")
     return;
   if (node.kind === "binding") {
     visitBinding(node, scope, output, identities);
     return;
   }
+  if (visitFunctionNode(node, scope, output, identities)) return;
   if (node.kind === "match") {
     visitMatch(node.value, node.arms, scope, output, identities);
     return;
@@ -28,7 +29,48 @@ function visit(node, scope, output, identities) {
     visit(node.right, scope, output, identities);
     return;
   }
-  visit(node.value, scope, output, identities);
+  if (node.kind === "option" || node.kind === "result") {
+    visit(node.value, scope, output, identities);
+  }
+}
+function visitFunctionNode(node, scope, output, identities) {
+  if (node.kind === "function") {
+    visit(
+      node.body,
+      extendedMany(
+        scope,
+        node.parameters.map((parameter) => parameter.name)
+      ),
+      output,
+      identities
+    );
+    return true;
+  }
+  if (node.kind === "function-group") {
+    const groupScope = extendedMany(
+      scope,
+      node.functions.map((member) => member.name)
+    );
+    for (const member of node.functions) {
+      visit(
+        member.body,
+        extendedMany(
+          groupScope,
+          member.parameters.map((parameter) => parameter.name)
+        ),
+        output,
+        identities
+      );
+    }
+    visit(node.body, groupScope, output, identities);
+    return true;
+  }
+  if (node.kind === "call") {
+    visit(node.callee, scope, output, identities);
+    for (const argument of node.arguments) visit(argument, scope, output, identities);
+    return true;
+  }
+  return false;
 }
 function visitBinding(node, scope, output, identities) {
   visit(node.value, scope, output, identities);
@@ -52,6 +94,11 @@ function extended(scope, name) {
   output.add(name);
   return output;
 }
+function extendedMany(scope, names) {
+  const output = new Set(scope);
+  for (const name of names) output.add(name);
+  return output;
+}
 
 exports.collectKaladaV1Dependencies = collectKaladaV1Dependencies;
 //# sourceMappingURL=dependencies.cjs.map

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/dependencies.ts"],"names":["canonicalJsonIdentity"],"mappings":";;;;AAGO,SAAS,4BACd,UAAA,EACc;AACd,EAAA,MAAM,SAAc,EAAC;AACrB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,KAAA,CAAM,UAAA,kBAAY,IAAI,GAAA,EAAI,EAAG,QAAQ,UAAU,CAAA;AAC/C,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,KAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,IAAA,CAAK,GAAA,EAAK,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAChD,IAAA;AAAA,EACF;AACA,EAAA,IACE,KAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,aACd,IAAA,CAAK,IAAA,KAAS,UAAA,IACd,IAAA,CAAK,SAAS,iBAAA,IACb,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,KAAK,OAAA,KAAY,MAAA;AAE5C,IAAA;AACF,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,UAAA,CAAW,KAAK,KAAA,EAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,QAAQ,UAAU,CAAA;AAC3D,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC1C,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC7C;AAEA,SAAS,YAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,EAAA,KAAA,CAAM,IAAA,CAAK,MAAM,QAAA,CAAS,KAAA,EAAO,KAAK,IAAI,CAAA,EAAG,QAAQ,UAAU,CAAA;AACjE;AAEA,SAAS,UAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,QACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AACtC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,QAAA,CAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EACxF;AACF;AAEA,SAAS,YAAA,CACP,SAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,GAAA,CAAI,SAAS,CAAA,EAAG;AAC3D,EAAA,MAAM,QAAA,GAAWA,8BAAsB,SAAS,CAAA;AAChD,EAAA,IAAI,UAAA,CAAW,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC9B,EAAA,UAAA,CAAW,IAAI,QAAQ,CAAA;AACvB,EAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AACvB;AAEA,SAAS,QAAA,CAAS,OAA4B,IAAA,EAAmC;AAC/E,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,IAAI,IAAI,CAAA;AACf,EAAA,OAAO,MAAA;AACT","file":"dependencies.cjs","sourcesContent":["import { canonicalJsonIdentity, type JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport function collectKaladaV1Dependencies<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n): readonly R[] {\n  const output: R[] = [];\n  const identities = new Set<string>();\n  visit(expression, new Set(), output, identities);\n  return Object.freeze(output);\n}\n\nfunction visit<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (node.kind === \"ref\") {\n    addReference(node.ref, scope, output, identities);\n    return;\n  }\n  if (\n    node.kind === \"literal\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  )\n    return;\n  if (node.kind === \"binding\") {\n    visitBinding(node, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"match\") {\n    visitMatch(node.value, node.arms, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visit(node.left, scope, output, identities);\n    visit(node.right, scope, output, identities);\n    return;\n  }\n  visit(node.value, scope, output, identities);\n}\n\nfunction visitBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(node.value, scope, output, identities);\n  visit(node.body, extended(scope, node.name), output, identities);\n}\n\nfunction visitMatch<R extends JsonValue>(\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(value, scope, output, identities);\n  for (const arm of arms) {\n    visit(arm.body, arm.binding ? extended(scope, arm.binding) : scope, output, identities);\n  }\n}\n\nfunction addReference<R extends JsonValue>(\n  reference: R,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (typeof reference === \"string\" && scope.has(reference)) return;\n  const identity = canonicalJsonIdentity(reference);\n  if (identities.has(identity)) return;\n  identities.add(identity);\n  output.push(reference);\n}\n\nfunction extended(scope: ReadonlySet<string>, name: string): ReadonlySet<string> {\n  const output = new Set(scope);\n  output.add(name);\n  return output;\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/dependencies.ts"],"names":["canonicalJsonIdentity"],"mappings":";;;;AAGO,SAAS,4BACd,UAAA,EACc;AACd,EAAA,MAAM,SAAc,EAAC;AACrB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,KAAA,CAAM,UAAA,kBAAY,IAAI,GAAA,EAAI,EAAG,QAAQ,UAAU,CAAA;AAC/C,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,KAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,IAAA,CAAK,GAAA,EAAK,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAChD,IAAA;AAAA,EACF;AACA,EAAA,IACE,KAAK,IAAA,KAAS,SAAA,IACd,KAAK,IAAA,KAAS,SAAA,IACd,KAAK,IAAA,KAAS,UAAA,IACd,KAAK,IAAA,KAAS,iBAAA,IACd,KAAK,IAAA,KAAS,eAAA,IACb,KAAK,IAAA,KAAS,QAAA,IAAY,KAAK,OAAA,KAAY,MAAA;AAE5C,IAAA;AACF,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,iBAAA,CAAkB,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA,EAAG;AAExD,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,UAAA,CAAW,KAAK,KAAA,EAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,QAAQ,UAAU,CAAA;AAC3D,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC1C,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,SAAS,QAAA,EAAU;AACpD,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EAC7C;AACF;AAEA,SAAS,iBAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,KAAA;AAAA,MACE,IAAA,CAAK,IAAA;AAAA,MACL,YAAA;AAAA,QACE,KAAA;AAAA,QACA,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc,UAAU,IAAI;AAAA,OACnD;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,MAAM,UAAA,GAAa,YAAA;AAAA,MACjB,KAAA;AAAA,MACA,KAAK,SAAA,CAAU,GAAA,CAAI,CAAC,MAAA,KAAW,OAAO,IAAI;AAAA,KAC5C;AACA,IAAA,KAAA,MAAW,MAAA,IAAU,KAAK,SAAA,EAAW;AACnC,MAAA,KAAA;AAAA,QACE,MAAA,CAAO,IAAA;AAAA,QACP,YAAA;AAAA,UACE,UAAA;AAAA,UACA,OAAO,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc,UAAU,IAAI;AAAA,SACrD;AAAA,QACA,MAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AACA,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,UAAA,EAAY,MAAA,EAAQ,UAAU,CAAA;AAC/C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,KAAA,CAAM,IAAA,CAAK,MAAA,EAAQ,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA,KAAA,MAAW,YAAY,IAAA,CAAK,SAAA,QAAiB,QAAA,EAAU,KAAA,EAAO,QAAQ,UAAU,CAAA;AAChF,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,YAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,EAAA,KAAA,CAAM,IAAA,CAAK,MAAM,QAAA,CAAS,KAAA,EAAO,KAAK,IAAI,CAAA,EAAG,QAAQ,UAAU,CAAA;AACjE;AAEA,SAAS,UAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,QACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AACtC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,QAAA,CAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EACxF;AACF;AAEA,SAAS,YAAA,CACP,SAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,GAAA,CAAI,SAAS,CAAA,EAAG;AAC3D,EAAA,MAAM,QAAA,GAAWA,8BAAsB,SAAS,CAAA;AAChD,EAAA,IAAI,UAAA,CAAW,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC9B,EAAA,UAAA,CAAW,IAAI,QAAQ,CAAA;AACvB,EAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AACvB;AAEA,SAAS,QAAA,CAAS,OAA4B,IAAA,EAAmC;AAC/E,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,IAAI,IAAI,CAAA;AACf,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,YAAA,CAAa,OAA4B,KAAA,EAA+C;AAC/F,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,KAAA,MAAW,IAAA,IAAQ,KAAA,EAAO,MAAA,CAAO,GAAA,CAAI,IAAI,CAAA;AACzC,EAAA,OAAO,MAAA;AACT","file":"dependencies.cjs","sourcesContent":["import { canonicalJsonIdentity, type JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport function collectKaladaV1Dependencies<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n): readonly R[] {\n  const output: R[] = [];\n  const identities = new Set<string>();\n  visit(expression, new Set(), output, identities);\n  return Object.freeze(output);\n}\n\nfunction visit<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (node.kind === \"ref\") {\n    addReference(node.ref, scope, output, identities);\n    return;\n  }\n  if (\n    node.kind === \"literal\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"core-function\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  )\n    return;\n  if (node.kind === \"binding\") {\n    visitBinding(node, scope, output, identities);\n    return;\n  }\n  if (visitFunctionNode(node, scope, output, identities)) return;\n\n  if (node.kind === \"match\") {\n    visitMatch(node.value, node.arms, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visit(node.left, scope, output, identities);\n    visit(node.right, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"option\" || node.kind === \"result\") {\n    visit(node.value, scope, output, identities);\n  }\n}\n\nfunction visitFunctionNode<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): boolean {\n  if (node.kind === \"function\") {\n    visit(\n      node.body,\n      extendedMany(\n        scope,\n        node.parameters.map((parameter) => parameter.name),\n      ),\n      output,\n      identities,\n    );\n    return true;\n  }\n  if (node.kind === \"function-group\") {\n    const groupScope = extendedMany(\n      scope,\n      node.functions.map((member) => member.name),\n    );\n    for (const member of node.functions) {\n      visit(\n        member.body,\n        extendedMany(\n          groupScope,\n          member.parameters.map((parameter) => parameter.name),\n        ),\n        output,\n        identities,\n      );\n    }\n    visit(node.body, groupScope, output, identities);\n    return true;\n  }\n  if (node.kind === \"call\") {\n    visit(node.callee, scope, output, identities);\n    for (const argument of node.arguments) visit(argument, scope, output, identities);\n    return true;\n  }\n  return false;\n}\n\nfunction visitBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(node.value, scope, output, identities);\n  visit(node.body, extended(scope, node.name), output, identities);\n}\n\nfunction visitMatch<R extends JsonValue>(\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(value, scope, output, identities);\n  for (const arm of arms) {\n    visit(arm.body, arm.binding ? extended(scope, arm.binding) : scope, output, identities);\n  }\n}\n\nfunction addReference<R extends JsonValue>(\n  reference: R,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (typeof reference === \"string\" && scope.has(reference)) return;\n  const identity = canonicalJsonIdentity(reference);\n  if (identities.has(identity)) return;\n  identities.add(identity);\n  output.push(reference);\n}\n\nfunction extended(scope: ReadonlySet<string>, name: string): ReadonlySet<string> {\n  const output = new Set(scope);\n  output.add(name);\n  return output;\n}\n\nfunction extendedMany(scope: ReadonlySet<string>, names: readonly string[]): ReadonlySet<string> {\n  const output = new Set(scope);\n  for (const name of names) output.add(name);\n  return output;\n}\n"]}

package/dist/kalada-v1/dependencies.js

@@ -11,12 +11,13 @@ function visit(node, scope, output, identities) {
     addReference(node.ref, scope, output, identities);
     return;
   }
-  if (node.kind === "literal" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "option" && node.variant === "none")
+  if (node.kind === "literal" || node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "core-function" || node.kind === "option" && node.variant === "none")
     return;
   if (node.kind === "binding") {
     visitBinding(node, scope, output, identities);
     return;
   }
+  if (visitFunctionNode(node, scope, output, identities)) return;
   if (node.kind === "match") {
     visitMatch(node.value, node.arms, scope, output, identities);
     return;
@@ -26,7 +27,48 @@ function visit(node, scope, output, identities) {
     visit(node.right, scope, output, identities);
     return;
   }
-  visit(node.value, scope, output, identities);
+  if (node.kind === "option" || node.kind === "result") {
+    visit(node.value, scope, output, identities);
+  }
+}
+function visitFunctionNode(node, scope, output, identities) {
+  if (node.kind === "function") {
+    visit(
+      node.body,
+      extendedMany(
+        scope,
+        node.parameters.map((parameter) => parameter.name)
+      ),
+      output,
+      identities
+    );
+    return true;
+  }
+  if (node.kind === "function-group") {
+    const groupScope = extendedMany(
+      scope,
+      node.functions.map((member) => member.name)
+    );
+    for (const member of node.functions) {
+      visit(
+        member.body,
+        extendedMany(
+          groupScope,
+          member.parameters.map((parameter) => parameter.name)
+        ),
+        output,
+        identities
+      );
+    }
+    visit(node.body, groupScope, output, identities);
+    return true;
+  }
+  if (node.kind === "call") {
+    visit(node.callee, scope, output, identities);
+    for (const argument of node.arguments) visit(argument, scope, output, identities);
+    return true;
+  }
+  return false;
 }
 function visitBinding(node, scope, output, identities) {
   visit(node.value, scope, output, identities);
@@ -50,6 +92,11 @@ function extended(scope, name) {
   output.add(name);
   return output;
 }
+function extendedMany(scope, names) {
+  const output = new Set(scope);
+  for (const name of names) output.add(name);
+  return output;
+}
 
 export { collectKaladaV1Dependencies };
 //# sourceMappingURL=dependencies.js.map

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/dependencies.ts"],"names":[],"mappings":";;AAGO,SAAS,4BACd,UAAA,EACc;AACd,EAAA,MAAM,SAAc,EAAC;AACrB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,KAAA,CAAM,UAAA,kBAAY,IAAI,GAAA,EAAI,EAAG,QAAQ,UAAU,CAAA;AAC/C,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,KAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,IAAA,CAAK,GAAA,EAAK,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAChD,IAAA;AAAA,EACF;AACA,EAAA,IACE,KAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,aACd,IAAA,CAAK,IAAA,KAAS,UAAA,IACd,IAAA,CAAK,SAAS,iBAAA,IACb,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,KAAK,OAAA,KAAY,MAAA;AAE5C,IAAA;AACF,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,UAAA,CAAW,KAAK,KAAA,EAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,QAAQ,UAAU,CAAA;AAC3D,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC1C,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,IAAA;AAAA,EACF;AACA,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC7C;AAEA,SAAS,YAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,EAAA,KAAA,CAAM,IAAA,CAAK,MAAM,QAAA,CAAS,KAAA,EAAO,KAAK,IAAI,CAAA,EAAG,QAAQ,UAAU,CAAA;AACjE;AAEA,SAAS,UAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,QACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AACtC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,QAAA,CAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EACxF;AACF;AAEA,SAAS,YAAA,CACP,SAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,GAAA,CAAI,SAAS,CAAA,EAAG;AAC3D,EAAA,MAAM,QAAA,GAAW,sBAAsB,SAAS,CAAA;AAChD,EAAA,IAAI,UAAA,CAAW,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC9B,EAAA,UAAA,CAAW,IAAI,QAAQ,CAAA;AACvB,EAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AACvB;AAEA,SAAS,QAAA,CAAS,OAA4B,IAAA,EAAmC;AAC/E,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,IAAI,IAAI,CAAA;AACf,EAAA,OAAO,MAAA;AACT","file":"dependencies.js","sourcesContent":["import { canonicalJsonIdentity, type JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport function collectKaladaV1Dependencies<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n): readonly R[] {\n  const output: R[] = [];\n  const identities = new Set<string>();\n  visit(expression, new Set(), output, identities);\n  return Object.freeze(output);\n}\n\nfunction visit<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (node.kind === \"ref\") {\n    addReference(node.ref, scope, output, identities);\n    return;\n  }\n  if (\n    node.kind === \"literal\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  )\n    return;\n  if (node.kind === \"binding\") {\n    visitBinding(node, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"match\") {\n    visitMatch(node.value, node.arms, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visit(node.left, scope, output, identities);\n    visit(node.right, scope, output, identities);\n    return;\n  }\n  visit(node.value, scope, output, identities);\n}\n\nfunction visitBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(node.value, scope, output, identities);\n  visit(node.body, extended(scope, node.name), output, identities);\n}\n\nfunction visitMatch<R extends JsonValue>(\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(value, scope, output, identities);\n  for (const arm of arms) {\n    visit(arm.body, arm.binding ? extended(scope, arm.binding) : scope, output, identities);\n  }\n}\n\nfunction addReference<R extends JsonValue>(\n  reference: R,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (typeof reference === \"string\" && scope.has(reference)) return;\n  const identity = canonicalJsonIdentity(reference);\n  if (identities.has(identity)) return;\n  identities.add(identity);\n  output.push(reference);\n}\n\nfunction extended(scope: ReadonlySet<string>, name: string): ReadonlySet<string> {\n  const output = new Set(scope);\n  output.add(name);\n  return output;\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/dependencies.ts"],"names":[],"mappings":";;AAGO,SAAS,4BACd,UAAA,EACc;AACd,EAAA,MAAM,SAAc,EAAC;AACrB,EAAA,MAAM,UAAA,uBAAiB,GAAA,EAAY;AACnC,EAAA,KAAA,CAAM,UAAA,kBAAY,IAAI,GAAA,EAAI,EAAG,QAAQ,UAAU,CAAA;AAC/C,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B;AAEA,SAAS,KAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,IAAA,CAAK,SAAS,KAAA,EAAO;AACvB,IAAA,YAAA,CAAa,IAAA,CAAK,GAAA,EAAK,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAChD,IAAA;AAAA,EACF;AACA,EAAA,IACE,KAAK,IAAA,KAAS,SAAA,IACd,KAAK,IAAA,KAAS,SAAA,IACd,KAAK,IAAA,KAAS,UAAA,IACd,KAAK,IAAA,KAAS,iBAAA,IACd,KAAK,IAAA,KAAS,eAAA,IACb,KAAK,IAAA,KAAS,QAAA,IAAY,KAAK,OAAA,KAAY,MAAA;AAE5C,IAAA;AACF,EAAA,IAAI,IAAA,CAAK,SAAS,SAAA,EAAW;AAC3B,IAAA,YAAA,CAAa,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,iBAAA,CAAkB,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA,EAAG;AAExD,EAAA,IAAI,IAAA,CAAK,SAAS,OAAA,EAAS;AACzB,IAAA,UAAA,CAAW,KAAK,KAAA,EAAO,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,QAAQ,UAAU,CAAA;AAC3D,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,qBAAA,IAAyB,IAAA,CAAK,SAAS,qBAAA,EAAuB;AAC9E,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC1C,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,IAAA;AAAA,EACF;AACA,EAAA,IAAI,IAAA,CAAK,IAAA,KAAS,QAAA,IAAY,IAAA,CAAK,SAAS,QAAA,EAAU;AACpD,IAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EAC7C;AACF;AAEA,SAAS,iBAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACS;AACT,EAAA,IAAI,IAAA,CAAK,SAAS,UAAA,EAAY;AAC5B,IAAA,KAAA;AAAA,MACE,IAAA,CAAK,IAAA;AAAA,MACL,YAAA;AAAA,QACE,KAAA;AAAA,QACA,KAAK,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc,UAAU,IAAI;AAAA,OACnD;AAAA,MACA,MAAA;AAAA,MACA;AAAA,KACF;AACA,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,gBAAA,EAAkB;AAClC,IAAA,MAAM,UAAA,GAAa,YAAA;AAAA,MACjB,KAAA;AAAA,MACA,KAAK,SAAA,CAAU,GAAA,CAAI,CAAC,MAAA,KAAW,OAAO,IAAI;AAAA,KAC5C;AACA,IAAA,KAAA,MAAW,MAAA,IAAU,KAAK,SAAA,EAAW;AACnC,MAAA,KAAA;AAAA,QACE,MAAA,CAAO,IAAA;AAAA,QACP,YAAA;AAAA,UACE,UAAA;AAAA,UACA,OAAO,UAAA,CAAW,GAAA,CAAI,CAAC,SAAA,KAAc,UAAU,IAAI;AAAA,SACrD;AAAA,QACA,MAAA;AAAA,QACA;AAAA,OACF;AAAA,IACF;AACA,IAAA,KAAA,CAAM,IAAA,CAAK,IAAA,EAAM,UAAA,EAAY,MAAA,EAAQ,UAAU,CAAA;AAC/C,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,IAAI,IAAA,CAAK,SAAS,MAAA,EAAQ;AACxB,IAAA,KAAA,CAAM,IAAA,CAAK,MAAA,EAAQ,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC5C,IAAA,KAAA,MAAW,YAAY,IAAA,CAAK,SAAA,QAAiB,QAAA,EAAU,KAAA,EAAO,QAAQ,UAAU,CAAA;AAChF,IAAA,OAAO,IAAA;AAAA,EACT;AACA,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,YAAA,CACP,IAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,IAAA,CAAK,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAC3C,EAAA,KAAA,CAAM,IAAA,CAAK,MAAM,QAAA,CAAS,KAAA,EAAO,KAAK,IAAI,CAAA,EAAG,QAAQ,UAAU,CAAA;AACjE;AAEA,SAAS,UAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,QACA,UAAA,EACM;AACN,EAAA,KAAA,CAAM,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AACtC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,KAAA,CAAM,GAAA,CAAI,IAAA,EAAM,GAAA,CAAI,OAAA,GAAU,QAAA,CAAS,KAAA,EAAO,GAAA,CAAI,OAAO,CAAA,GAAI,KAAA,EAAO,MAAA,EAAQ,UAAU,CAAA;AAAA,EACxF;AACF;AAEA,SAAS,YAAA,CACP,SAAA,EACA,KAAA,EACA,MAAA,EACA,UAAA,EACM;AACN,EAAA,IAAI,OAAO,SAAA,KAAc,QAAA,IAAY,KAAA,CAAM,GAAA,CAAI,SAAS,CAAA,EAAG;AAC3D,EAAA,MAAM,QAAA,GAAW,sBAAsB,SAAS,CAAA;AAChD,EAAA,IAAI,UAAA,CAAW,GAAA,CAAI,QAAQ,CAAA,EAAG;AAC9B,EAAA,UAAA,CAAW,IAAI,QAAQ,CAAA;AACvB,EAAA,MAAA,CAAO,KAAK,SAAS,CAAA;AACvB;AAEA,SAAS,QAAA,CAAS,OAA4B,IAAA,EAAmC;AAC/E,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,MAAA,CAAO,IAAI,IAAI,CAAA;AACf,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,YAAA,CAAa,OAA4B,KAAA,EAA+C;AAC/F,EAAA,MAAM,MAAA,GAAS,IAAI,GAAA,CAAI,KAAK,CAAA;AAC5B,EAAA,KAAA,MAAW,IAAA,IAAQ,KAAA,EAAO,MAAA,CAAO,GAAA,CAAI,IAAI,CAAA;AACzC,EAAA,OAAO,MAAA;AACT","file":"dependencies.js","sourcesContent":["import { canonicalJsonIdentity, type JsonValue } from \"./json.js\";\nimport type { KaladaV1Expression, MatchArm } from \"./types.js\";\n\nexport function collectKaladaV1Dependencies<R extends JsonValue>(\n  expression: KaladaV1Expression<R>,\n): readonly R[] {\n  const output: R[] = [];\n  const identities = new Set<string>();\n  visit(expression, new Set(), output, identities);\n  return Object.freeze(output);\n}\n\nfunction visit<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (node.kind === \"ref\") {\n    addReference(node.ref, scope, output, identities);\n    return;\n  }\n  if (\n    node.kind === \"literal\" ||\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"core-function\" ||\n    (node.kind === \"option\" && node.variant === \"none\")\n  )\n    return;\n  if (node.kind === \"binding\") {\n    visitBinding(node, scope, output, identities);\n    return;\n  }\n  if (visitFunctionNode(node, scope, output, identities)) return;\n\n  if (node.kind === \"match\") {\n    visitMatch(node.value, node.arms, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"temporal-arithmetic\" || node.kind === \"temporal-comparison\") {\n    visit(node.left, scope, output, identities);\n    visit(node.right, scope, output, identities);\n    return;\n  }\n  if (node.kind === \"option\" || node.kind === \"result\") {\n    visit(node.value, scope, output, identities);\n  }\n}\n\nfunction visitFunctionNode<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): boolean {\n  if (node.kind === \"function\") {\n    visit(\n      node.body,\n      extendedMany(\n        scope,\n        node.parameters.map((parameter) => parameter.name),\n      ),\n      output,\n      identities,\n    );\n    return true;\n  }\n  if (node.kind === \"function-group\") {\n    const groupScope = extendedMany(\n      scope,\n      node.functions.map((member) => member.name),\n    );\n    for (const member of node.functions) {\n      visit(\n        member.body,\n        extendedMany(\n          groupScope,\n          member.parameters.map((parameter) => parameter.name),\n        ),\n        output,\n        identities,\n      );\n    }\n    visit(node.body, groupScope, output, identities);\n    return true;\n  }\n  if (node.kind === \"call\") {\n    visit(node.callee, scope, output, identities);\n    for (const argument of node.arguments) visit(argument, scope, output, identities);\n    return true;\n  }\n  return false;\n}\n\nfunction visitBinding<R extends JsonValue>(\n  node: Extract<KaladaV1Expression<R>, { kind: \"binding\" }>,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(node.value, scope, output, identities);\n  visit(node.body, extended(scope, node.name), output, identities);\n}\n\nfunction visitMatch<R extends JsonValue>(\n  value: KaladaV1Expression<R>,\n  arms: readonly MatchArm<R>[],\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  visit(value, scope, output, identities);\n  for (const arm of arms) {\n    visit(arm.body, arm.binding ? extended(scope, arm.binding) : scope, output, identities);\n  }\n}\n\nfunction addReference<R extends JsonValue>(\n  reference: R,\n  scope: ReadonlySet<string>,\n  output: R[],\n  identities: Set<string>,\n): void {\n  if (typeof reference === \"string\" && scope.has(reference)) return;\n  const identity = canonicalJsonIdentity(reference);\n  if (identities.has(identity)) return;\n  identities.add(identity);\n  output.push(reference);\n}\n\nfunction extended(scope: ReadonlySet<string>, name: string): ReadonlySet<string> {\n  const output = new Set(scope);\n  output.add(name);\n  return output;\n}\n\nfunction extendedMany(scope: ReadonlySet<string>, names: readonly string[]): ReadonlySet<string> {\n  const output = new Set(scope);\n  for (const name of names) output.add(name);\n  return output;\n}\n"]}

package/dist/kalada-v1/diagnostics.cjs

@@ -19,25 +19,45 @@ const MESSAGES = Object.freeze({
   KALADA_TEMPORAL_TYPE_MISMATCH: "Kalada temporal operation received incompatible values.",
   KALADA_TEMPORAL_OVERFLOW: "Kalada temporal arithmetic exceeded safe integer milliseconds.",
   KALADA_CLOCK_ERROR: "Kalada clock sampling failed.",
-  KALADA_INVALID_CLOCK: "Kalada clock returned an invalid Instant."
+  KALADA_INVALID_CLOCK: "Kalada clock returned an invalid Instant.",
+  KALADA_DUPLICATE_BINDING: "Kalada function contains a duplicate binding.",
+  KALADA_INVALID_FUNCTION_TYPE: "Kalada function type is invalid.",
+  KALADA_CAPTURE_LIMIT: "Kalada function captures exceed a configured limit.",
+  KALADA_NOT_CALLABLE: "Kalada call target is not callable.",
+  KALADA_FUNCTION_ARITY: "Kalada call has the wrong number of arguments.",
+  KALADA_FUNCTION_TYPE_MISMATCH: "Kalada function type does not match.",
+  KALADA_CLOSURE_LIMIT: "Kalada closure count exceeds a configured limit.",
+  KALADA_CALL_DEPTH_LIMIT: "Kalada call depth exceeds a configured limit.",
+  KALADA_CONTINUATION_LIMIT: "Kalada continuation count exceeds a configured limit.",
+  KALADA_COLLECTION_TYPE_MISMATCH: "Kalada collection function received an incompatible value.",
+  KALADA_COLLECTION_LIMIT: "Kalada collection exceeds a configured limit.",
+  KALADA_FUNCTION_ESCAPE: "Kalada callable cannot escape evaluation."
 });
 class KaladaFailure extends Error {
   code;
   path;
-  constructor(code, path) {
+  context;
+  constructor(code, path, context) {
     super(code);
     this.code = code;
     this.path = path;
+    this.context = context;
   }
 }
-function failure(code, path) {
+function failure(code, path, context) {
   const diagnostic = Object.freeze({
     code,
     path: Object.freeze([...path]),
-    message: MESSAGES[code]
+    message: MESSAGES[code],
+    ...context === void 0 ? {} : { context: freezeContext(context) }
   });
   return Object.freeze({ ok: false, diagnostic });
 }
+function freezeContext(context) {
+  return Object.freeze(
+    context.map((frame) => Object.freeze({ ...frame, path: Object.freeze([...frame.path]) }))
+  );
+}
 function success(value) {
   return Object.freeze({ ok: true, value });
 }

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

@@ -1 +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.cjs","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"]}
+{"version":3,"sources":["../../src/kalada-v1/diagnostics.ts"],"names":[],"mappings":";;AAOA,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,2CAAA;AAAA,EACtB,wBAAA,EAA0B,+CAAA;AAAA,EAC1B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,oBAAA,EAAsB,qDAAA;AAAA,EACtB,mBAAA,EAAqB,qCAAA;AAAA,EACrB,qBAAA,EAAuB,gDAAA;AAAA,EACvB,6BAAA,EAA+B,sCAAA;AAAA,EAC/B,oBAAA,EAAsB,kDAAA;AAAA,EACtB,uBAAA,EAAyB,+CAAA;AAAA,EACzB,yBAAA,EAA2B,uDAAA;AAAA,EAC3B,+BAAA,EAAiC,4DAAA;AAAA,EACjC,uBAAA,EAAyB,+CAAA;AAAA,EACzB,sBAAA,EAAwB;AAC1B,CAAC,CAAA;AAEM,MAAM,sBAAsB,KAAA,CAAM;AAAA,EAC9B,IAAA;AAAA,EACA,IAAA;AAAA,EACA,OAAA;AAAA,EAET,WAAA,CACE,IAAA,EACA,IAAA,EACA,OAAA,EACA;AACA,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AACF;AAEO,SAAS,OAAA,CACd,IAAA,EACA,IAAA,EACA,OAAA,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,CAAA;AAAA,IACtB,GAAI,YAAY,MAAA,GAAY,KAAK,EAAE,OAAA,EAAS,aAAA,CAAc,OAAO,CAAA;AAAE,GACpE,CAAA;AACD,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAA,EAAO,YAAY,CAAA;AAChD;AAEA,SAAS,cACP,OAAA,EAC2C;AAC3C,EAAA,OAAO,MAAA,CAAO,MAAA;AAAA,IACZ,QAAQ,GAAA,CAAI,CAAC,UAAU,MAAA,CAAO,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,MAAM,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,KAAA,CAAM,IAAI,CAAC,CAAA,EAAG,CAAC;AAAA,GAC1F;AACF;AAEO,SAAS,QAAW,KAAA,EAA8B;AACvD,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,IAAA,EAAM,OAAO,CAAA;AAC1C","file":"diagnostics.cjs","sourcesContent":["import type {\n  KaladaV1Diagnostic,\n  KaladaV1DiagnosticCode,\n  KaladaV1DiagnosticContextFrame,\n  KaladaV1Outcome,\n} 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  KALADA_DUPLICATE_BINDING: \"Kalada function contains a duplicate binding.\",\n  KALADA_INVALID_FUNCTION_TYPE: \"Kalada function type is invalid.\",\n  KALADA_CAPTURE_LIMIT: \"Kalada function captures exceed a configured limit.\",\n  KALADA_NOT_CALLABLE: \"Kalada call target is not callable.\",\n  KALADA_FUNCTION_ARITY: \"Kalada call has the wrong number of arguments.\",\n  KALADA_FUNCTION_TYPE_MISMATCH: \"Kalada function type does not match.\",\n  KALADA_CLOSURE_LIMIT: \"Kalada closure count exceeds a configured limit.\",\n  KALADA_CALL_DEPTH_LIMIT: \"Kalada call depth exceeds a configured limit.\",\n  KALADA_CONTINUATION_LIMIT: \"Kalada continuation count exceeds a configured limit.\",\n  KALADA_COLLECTION_TYPE_MISMATCH: \"Kalada collection function received an incompatible value.\",\n  KALADA_COLLECTION_LIMIT: \"Kalada collection exceeds a configured limit.\",\n  KALADA_FUNCTION_ESCAPE: \"Kalada callable cannot escape evaluation.\",\n});\n\nexport class KaladaFailure extends Error {\n  readonly code: KaladaV1DiagnosticCode;\n  readonly path: readonly (string | number)[];\n  readonly context?: readonly KaladaV1DiagnosticContextFrame[];\n\n  constructor(\n    code: KaladaV1DiagnosticCode,\n    path: readonly (string | number)[],\n    context?: readonly KaladaV1DiagnosticContextFrame[],\n  ) {\n    super(code);\n    this.code = code;\n    this.path = path;\n    this.context = context;\n  }\n}\n\nexport function failure<T>(\n  code: KaladaV1DiagnosticCode,\n  path: readonly (string | number)[],\n  context?: readonly KaladaV1DiagnosticContextFrame[],\n): KaladaV1Outcome<T> {\n  const diagnostic: KaladaV1Diagnostic = Object.freeze({\n    code,\n    path: Object.freeze([...path]),\n    message: MESSAGES[code],\n    ...(context === undefined ? {} : { context: freezeContext(context) }),\n  });\n  return Object.freeze({ ok: false, diagnostic });\n}\n\nfunction freezeContext(\n  context: readonly KaladaV1DiagnosticContextFrame[],\n): readonly KaladaV1DiagnosticContextFrame[] {\n  return Object.freeze(\n    context.map((frame) => Object.freeze({ ...frame, path: Object.freeze([...frame.path]) })),\n  );\n}\n\nexport function success<T>(value: T): KaladaV1Outcome<T> {\n  return Object.freeze({ ok: true, value });\n}\n"]}

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

@@ -1,4 +1,4 @@
-import { KaladaV1DiagnosticCode, KaladaV1Outcome } from './types.cjs';
+import { KaladaV1DiagnosticCode, KaladaV1DiagnosticContextFrame, KaladaV1Outcome } from './types.cjs';
 import './json.cjs';
 import './temporal.cjs';
 import './values.cjs';
@@ -6,9 +6,10 @@ import './values.cjs';
 declare class KaladaFailure extends Error {
     readonly code: KaladaV1DiagnosticCode;
     readonly path: readonly (string | number)[];
-    constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]);
+    readonly context?: readonly KaladaV1DiagnosticContextFrame[];
+    constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[], context?: readonly KaladaV1DiagnosticContextFrame[]);
 }
-declare function failure<T>(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]): KaladaV1Outcome<T>;
+declare function failure<T>(code: KaladaV1DiagnosticCode, path: readonly (string | number)[], context?: readonly KaladaV1DiagnosticContextFrame[]): KaladaV1Outcome<T>;
 declare function success<T>(value: T): KaladaV1Outcome<T>;
 
 export { KaladaFailure, failure, success };

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

@@ -1,4 +1,4 @@
-import { KaladaV1DiagnosticCode, KaladaV1Outcome } from './types.js';
+import { KaladaV1DiagnosticCode, KaladaV1DiagnosticContextFrame, KaladaV1Outcome } from './types.js';
 import './json.js';
 import './temporal.js';
 import './values.js';
@@ -6,9 +6,10 @@ import './values.js';
 declare class KaladaFailure extends Error {
     readonly code: KaladaV1DiagnosticCode;
     readonly path: readonly (string | number)[];
-    constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]);
+    readonly context?: readonly KaladaV1DiagnosticContextFrame[];
+    constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[], context?: readonly KaladaV1DiagnosticContextFrame[]);
 }
-declare function failure<T>(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]): KaladaV1Outcome<T>;
+declare function failure<T>(code: KaladaV1DiagnosticCode, path: readonly (string | number)[], context?: readonly KaladaV1DiagnosticContextFrame[]): KaladaV1Outcome<T>;
 declare function success<T>(value: T): KaladaV1Outcome<T>;
 
 export { KaladaFailure, failure, success };

package/dist/kalada-v1/diagnostics.js

@@ -17,25 +17,45 @@ const MESSAGES = Object.freeze({
   KALADA_TEMPORAL_TYPE_MISMATCH: "Kalada temporal operation received incompatible values.",
   KALADA_TEMPORAL_OVERFLOW: "Kalada temporal arithmetic exceeded safe integer milliseconds.",
   KALADA_CLOCK_ERROR: "Kalada clock sampling failed.",
-  KALADA_INVALID_CLOCK: "Kalada clock returned an invalid Instant."
+  KALADA_INVALID_CLOCK: "Kalada clock returned an invalid Instant.",
+  KALADA_DUPLICATE_BINDING: "Kalada function contains a duplicate binding.",
+  KALADA_INVALID_FUNCTION_TYPE: "Kalada function type is invalid.",
+  KALADA_CAPTURE_LIMIT: "Kalada function captures exceed a configured limit.",
+  KALADA_NOT_CALLABLE: "Kalada call target is not callable.",
+  KALADA_FUNCTION_ARITY: "Kalada call has the wrong number of arguments.",
+  KALADA_FUNCTION_TYPE_MISMATCH: "Kalada function type does not match.",
+  KALADA_CLOSURE_LIMIT: "Kalada closure count exceeds a configured limit.",
+  KALADA_CALL_DEPTH_LIMIT: "Kalada call depth exceeds a configured limit.",
+  KALADA_CONTINUATION_LIMIT: "Kalada continuation count exceeds a configured limit.",
+  KALADA_COLLECTION_TYPE_MISMATCH: "Kalada collection function received an incompatible value.",
+  KALADA_COLLECTION_LIMIT: "Kalada collection exceeds a configured limit.",
+  KALADA_FUNCTION_ESCAPE: "Kalada callable cannot escape evaluation."
 });
 class KaladaFailure extends Error {
   code;
   path;
-  constructor(code, path) {
+  context;
+  constructor(code, path, context) {
     super(code);
     this.code = code;
     this.path = path;
+    this.context = context;
   }
 }
-function failure(code, path) {
+function failure(code, path, context) {
   const diagnostic = Object.freeze({
     code,
     path: Object.freeze([...path]),
-    message: MESSAGES[code]
+    message: MESSAGES[code],
+    ...context === void 0 ? {} : { context: freezeContext(context) }
   });
   return Object.freeze({ ok: false, diagnostic });
 }
+function freezeContext(context) {
+  return Object.freeze(
+    context.map((frame) => Object.freeze({ ...frame, path: Object.freeze([...frame.path]) }))
+  );
+}
 function success(value) {
   return Object.freeze({ ok: true, value });
 }

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

@@ -1 +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"]}
+{"version":3,"sources":["../../src/kalada-v1/diagnostics.ts"],"names":[],"mappings":"AAOA,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,2CAAA;AAAA,EACtB,wBAAA,EAA0B,+CAAA;AAAA,EAC1B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,oBAAA,EAAsB,qDAAA;AAAA,EACtB,mBAAA,EAAqB,qCAAA;AAAA,EACrB,qBAAA,EAAuB,gDAAA;AAAA,EACvB,6BAAA,EAA+B,sCAAA;AAAA,EAC/B,oBAAA,EAAsB,kDAAA;AAAA,EACtB,uBAAA,EAAyB,+CAAA;AAAA,EACzB,yBAAA,EAA2B,uDAAA;AAAA,EAC3B,+BAAA,EAAiC,4DAAA;AAAA,EACjC,uBAAA,EAAyB,+CAAA;AAAA,EACzB,sBAAA,EAAwB;AAC1B,CAAC,CAAA;AAEM,MAAM,sBAAsB,KAAA,CAAM;AAAA,EAC9B,IAAA;AAAA,EACA,IAAA;AAAA,EACA,OAAA;AAAA,EAET,WAAA,CACE,IAAA,EACA,IAAA,EACA,OAAA,EACA;AACA,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,OAAA,GAAU,OAAA;AAAA,EACjB;AACF;AAEO,SAAS,OAAA,CACd,IAAA,EACA,IAAA,EACA,OAAA,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,CAAA;AAAA,IACtB,GAAI,YAAY,MAAA,GAAY,KAAK,EAAE,OAAA,EAAS,aAAA,CAAc,OAAO,CAAA;AAAE,GACpE,CAAA;AACD,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAA,EAAO,YAAY,CAAA;AAChD;AAEA,SAAS,cACP,OAAA,EAC2C;AAC3C,EAAA,OAAO,MAAA,CAAO,MAAA;AAAA,IACZ,QAAQ,GAAA,CAAI,CAAC,UAAU,MAAA,CAAO,MAAA,CAAO,EAAE,GAAG,KAAA,EAAO,MAAM,MAAA,CAAO,MAAA,CAAO,CAAC,GAAG,KAAA,CAAM,IAAI,CAAC,CAAA,EAAG,CAAC;AAAA,GAC1F;AACF;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 {\n  KaladaV1Diagnostic,\n  KaladaV1DiagnosticCode,\n  KaladaV1DiagnosticContextFrame,\n  KaladaV1Outcome,\n} 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  KALADA_DUPLICATE_BINDING: \"Kalada function contains a duplicate binding.\",\n  KALADA_INVALID_FUNCTION_TYPE: \"Kalada function type is invalid.\",\n  KALADA_CAPTURE_LIMIT: \"Kalada function captures exceed a configured limit.\",\n  KALADA_NOT_CALLABLE: \"Kalada call target is not callable.\",\n  KALADA_FUNCTION_ARITY: \"Kalada call has the wrong number of arguments.\",\n  KALADA_FUNCTION_TYPE_MISMATCH: \"Kalada function type does not match.\",\n  KALADA_CLOSURE_LIMIT: \"Kalada closure count exceeds a configured limit.\",\n  KALADA_CALL_DEPTH_LIMIT: \"Kalada call depth exceeds a configured limit.\",\n  KALADA_CONTINUATION_LIMIT: \"Kalada continuation count exceeds a configured limit.\",\n  KALADA_COLLECTION_TYPE_MISMATCH: \"Kalada collection function received an incompatible value.\",\n  KALADA_COLLECTION_LIMIT: \"Kalada collection exceeds a configured limit.\",\n  KALADA_FUNCTION_ESCAPE: \"Kalada callable cannot escape evaluation.\",\n});\n\nexport class KaladaFailure extends Error {\n  readonly code: KaladaV1DiagnosticCode;\n  readonly path: readonly (string | number)[];\n  readonly context?: readonly KaladaV1DiagnosticContextFrame[];\n\n  constructor(\n    code: KaladaV1DiagnosticCode,\n    path: readonly (string | number)[],\n    context?: readonly KaladaV1DiagnosticContextFrame[],\n  ) {\n    super(code);\n    this.code = code;\n    this.path = path;\n    this.context = context;\n  }\n}\n\nexport function failure<T>(\n  code: KaladaV1DiagnosticCode,\n  path: readonly (string | number)[],\n  context?: readonly KaladaV1DiagnosticContextFrame[],\n): KaladaV1Outcome<T> {\n  const diagnostic: KaladaV1Diagnostic = Object.freeze({\n    code,\n    path: Object.freeze([...path]),\n    message: MESSAGES[code],\n    ...(context === undefined ? {} : { context: freezeContext(context) }),\n  });\n  return Object.freeze({ ok: false, diagnostic });\n}\n\nfunction freezeContext(\n  context: readonly KaladaV1DiagnosticContextFrame[],\n): readonly KaladaV1DiagnosticContextFrame[] {\n  return Object.freeze(\n    context.map((frame) => Object.freeze({ ...frame, path: Object.freeze([...frame.path]) })),\n  );\n}\n\nexport function success<T>(value: T): KaladaV1Outcome<T> {\n  return Object.freeze({ ok: true, value });\n}\n"]}