@kalada/core 0.1.0 → 0.2.0

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

@@ -0,0 +1,7 @@
+import { JsonValue } from './json.js';
+import { KaladaV1Expression } from './types.js';
+import './values.js';
+
+declare function collectKaladaV1Dependencies<R extends JsonValue>(expression: KaladaV1Expression<R>): readonly R[];
+
+export { collectKaladaV1Dependencies };

package/dist/kalada-v1/dependencies.js

@@ -0,0 +1,50 @@
+import { canonicalJsonIdentity } from './json.js';
+
+function collectKaladaV1Dependencies(expression) {
+  const output = [];
+  const identities = /* @__PURE__ */ new Set();
+  visit(expression, /* @__PURE__ */ new Set(), output, identities);
+  return Object.freeze(output);
+}
+function visit(node, scope, output, identities) {
+  if (node.kind === "ref") {
+    addReference(node.ref, scope, output, identities);
+    return;
+  }
+  if (node.kind === "literal" || node.kind === "option" && node.variant === "none") return;
+  if (node.kind === "binding") {
+    visitBinding(node, scope, output, identities);
+    return;
+  }
+  if (node.kind === "match") {
+    visitMatch(node.value, node.arms, scope, output, identities);
+    return;
+  }
+  visit(node.value, scope, output, identities);
+}
+function visitBinding(node, scope, output, identities) {
+  visit(node.value, scope, output, identities);
+  visit(node.body, extended(scope, node.name), output, identities);
+}
+function visitMatch(value, arms, scope, output, identities) {
+  visit(value, scope, output, identities);
+  for (const arm of arms) {
+    visit(arm.body, arm.binding ? extended(scope, arm.binding) : scope, output, identities);
+  }
+}
+function addReference(reference, scope, output, identities) {
+  if (typeof reference === "string" && scope.has(reference)) return;
+  const identity = canonicalJsonIdentity(reference);
+  if (identities.has(identity)) return;
+  identities.add(identity);
+  output.push(reference);
+}
+function extended(scope, name) {
+  const output = new Set(scope);
+  output.add(name);
+  return output;
+}
+
+export { collectKaladaV1Dependencies };
+//# sourceMappingURL=dependencies.js.map
+//# sourceMappingURL=dependencies.js.map

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

@@ -0,0 +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,IAAI,IAAA,CAAK,SAAS,SAAA,IAAc,IAAA,CAAK,SAAS,QAAA,IAAY,IAAA,CAAK,YAAY,MAAA,EAAS;AACpF,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,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 (node.kind === \"literal\" || (node.kind === \"option\" && node.variant === \"none\")) 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  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"]}

package/dist/kalada-v1/diagnostics.cjs

@@ -0,0 +1,44 @@
+'use strict';
+
+const MESSAGES = Object.freeze({
+  KALADA_INVALID_INPUT: "Kalada program input is invalid.",
+  KALADA_LIMIT_EXCEEDED: "Kalada program input exceeds a configured limit.",
+  KALADA_INVALID_REFERENCE: "Kalada reference is invalid.",
+  KALADA_MATCH_MISSING_ARM: "Kalada match is missing a required arm.",
+  KALADA_MATCH_DUPLICATE_ARM: "Kalada match contains a duplicate arm.",
+  KALADA_MATCH_UNKNOWN_ARM: "Kalada match contains an unknown arm.",
+  KALADA_MATCH_UNREACHABLE_ARM: "Kalada match contains an unreachable arm.",
+  KALADA_MATCH_TYPE_MISMATCH: "Kalada match received the wrong value type.",
+  KALADA_REFERENCE_ERROR: "Kalada reference resolution failed.",
+  KALADA_REFERENCE_MISSING: "Kalada reference is missing.",
+  KALADA_REFERENCE_DENIED: "Kalada reference access was denied.",
+  KALADA_ASYNC_UNSUPPORTED: "Kalada callbacks must return synchronously.",
+  KALADA_INVALID_RESULT: "Kalada reference callback returned an invalid value.",
+  KALADA_EVALUATION_LIMIT: "Kalada evaluation exceeded its configured step limit."
+});
+class KaladaFailure extends Error {
+  code;
+  path;
+  constructor(code, path) {
+    super(code);
+    this.code = code;
+    this.path = path;
+  }
+}
+function failure(code, path) {
+  const diagnostic = Object.freeze({
+    code,
+    path: Object.freeze([...path]),
+    message: MESSAGES[code]
+  });
+  return Object.freeze({ ok: false, diagnostic });
+}
+function success(value) {
+  return Object.freeze({ ok: true, value });
+}
+
+exports.KaladaFailure = KaladaFailure;
+exports.failure = failure;
+exports.success = success;
+//# sourceMappingURL=diagnostics.cjs.map
+//# sourceMappingURL=diagnostics.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/diagnostics.ts"],"names":[],"mappings":";;AAEA,MAAM,QAAA,GAA6D,OAAO,MAAA,CAAO;AAAA,EAC/E,oBAAA,EAAsB,kCAAA;AAAA,EACtB,qBAAA,EAAuB,kDAAA;AAAA,EACvB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,wBAAA,EAA0B,yCAAA;AAAA,EAC1B,0BAAA,EAA4B,wCAAA;AAAA,EAC5B,wBAAA,EAA0B,uCAAA;AAAA,EAC1B,4BAAA,EAA8B,2CAAA;AAAA,EAC9B,0BAAA,EAA4B,6CAAA;AAAA,EAC5B,sBAAA,EAAwB,qCAAA;AAAA,EACxB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,uBAAA,EAAyB,qCAAA;AAAA,EACzB,wBAAA,EAA0B,6CAAA;AAAA,EAC1B,qBAAA,EAAuB,sDAAA;AAAA,EACvB,uBAAA,EAAyB;AAC3B,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});\n\nexport class KaladaFailure extends Error {\n  readonly code: KaladaV1DiagnosticCode;\n  readonly path: readonly (string | number)[];\n\n  constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]) {\n    super(code);\n    this.code = code;\n    this.path = path;\n  }\n}\n\nexport function failure<T>(\n  code: KaladaV1DiagnosticCode,\n  path: readonly (string | number)[],\n): KaladaV1Outcome<T> {\n  const diagnostic: KaladaV1Diagnostic = Object.freeze({\n    code,\n    path: Object.freeze([...path]),\n    message: MESSAGES[code],\n  });\n  return Object.freeze({ ok: false, diagnostic });\n}\n\nexport function success<T>(value: T): KaladaV1Outcome<T> {\n  return Object.freeze({ ok: true, value });\n}\n"]}

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

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

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

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

package/dist/kalada-v1/diagnostics.js

@@ -0,0 +1,40 @@
+const MESSAGES = Object.freeze({
+  KALADA_INVALID_INPUT: "Kalada program input is invalid.",
+  KALADA_LIMIT_EXCEEDED: "Kalada program input exceeds a configured limit.",
+  KALADA_INVALID_REFERENCE: "Kalada reference is invalid.",
+  KALADA_MATCH_MISSING_ARM: "Kalada match is missing a required arm.",
+  KALADA_MATCH_DUPLICATE_ARM: "Kalada match contains a duplicate arm.",
+  KALADA_MATCH_UNKNOWN_ARM: "Kalada match contains an unknown arm.",
+  KALADA_MATCH_UNREACHABLE_ARM: "Kalada match contains an unreachable arm.",
+  KALADA_MATCH_TYPE_MISMATCH: "Kalada match received the wrong value type.",
+  KALADA_REFERENCE_ERROR: "Kalada reference resolution failed.",
+  KALADA_REFERENCE_MISSING: "Kalada reference is missing.",
+  KALADA_REFERENCE_DENIED: "Kalada reference access was denied.",
+  KALADA_ASYNC_UNSUPPORTED: "Kalada callbacks must return synchronously.",
+  KALADA_INVALID_RESULT: "Kalada reference callback returned an invalid value.",
+  KALADA_EVALUATION_LIMIT: "Kalada evaluation exceeded its configured step limit."
+});
+class KaladaFailure extends Error {
+  code;
+  path;
+  constructor(code, path) {
+    super(code);
+    this.code = code;
+    this.path = path;
+  }
+}
+function failure(code, path) {
+  const diagnostic = Object.freeze({
+    code,
+    path: Object.freeze([...path]),
+    message: MESSAGES[code]
+  });
+  return Object.freeze({ ok: false, diagnostic });
+}
+function success(value) {
+  return Object.freeze({ ok: true, value });
+}
+
+export { KaladaFailure, failure, success };
+//# sourceMappingURL=diagnostics.js.map
+//# sourceMappingURL=diagnostics.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/diagnostics.ts"],"names":[],"mappings":"AAEA,MAAM,QAAA,GAA6D,OAAO,MAAA,CAAO;AAAA,EAC/E,oBAAA,EAAsB,kCAAA;AAAA,EACtB,qBAAA,EAAuB,kDAAA;AAAA,EACvB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,wBAAA,EAA0B,yCAAA;AAAA,EAC1B,0BAAA,EAA4B,wCAAA;AAAA,EAC5B,wBAAA,EAA0B,uCAAA;AAAA,EAC1B,4BAAA,EAA8B,2CAAA;AAAA,EAC9B,0BAAA,EAA4B,6CAAA;AAAA,EAC5B,sBAAA,EAAwB,qCAAA;AAAA,EACxB,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,uBAAA,EAAyB,qCAAA;AAAA,EACzB,wBAAA,EAA0B,6CAAA;AAAA,EAC1B,qBAAA,EAAuB,sDAAA;AAAA,EACvB,uBAAA,EAAyB;AAC3B,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});\n\nexport class KaladaFailure extends Error {\n  readonly code: KaladaV1DiagnosticCode;\n  readonly path: readonly (string | number)[];\n\n  constructor(code: KaladaV1DiagnosticCode, path: readonly (string | number)[]) {\n    super(code);\n    this.code = code;\n    this.path = path;\n  }\n}\n\nexport function failure<T>(\n  code: KaladaV1DiagnosticCode,\n  path: readonly (string | number)[],\n): KaladaV1Outcome<T> {\n  const diagnostic: KaladaV1Diagnostic = Object.freeze({\n    code,\n    path: Object.freeze([...path]),\n    message: MESSAGES[code],\n  });\n  return Object.freeze({ ok: false, diagnostic });\n}\n\nexport function success<T>(value: T): KaladaV1Outcome<T> {\n  return Object.freeze({ ok: true, value });\n}\n"]}

package/dist/kalada-v1/evaluate.cjs

@@ -0,0 +1,141 @@
+'use strict';
+
+var callbackPromise_js = require('../kuery-v1/callback-promise.js');
+var diagnostics_js = require('./diagnostics.js');
+var json_js = require('./json.js');
+var values_js = require('./values.js');
+
+function evaluateKaladaV1(expression, resolve, limits) {
+  try {
+    return diagnostics_js.success(
+      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, steps: 0 })
+    );
+  } catch (error) {
+    const problem = error instanceof diagnostics_js.KaladaFailure ? error : new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", []);
+    return diagnostics_js.failure(problem.code, problem.path);
+  }
+}
+function evaluateNode(node, path, scope, state) {
+  charge(path, state);
+  if (node.kind === "literal") return node.value;
+  if (node.kind === "ref") return evaluateReference(node.ref, path, scope, state);
+  if (node.kind === "binding") return evaluateBinding(node, path, scope, state);
+  if (node.kind === "option") {
+    return node.variant === "none" ? values_js.Option.none() : values_js.Option.some(evaluateNode(node.value, [...path, "value"], scope, state));
+  }
+  if (node.kind === "result") {
+    const value = evaluateNode(node.value, [...path, "value"], scope, state);
+    return node.variant === "ok" ? values_js.Result.ok(value) : values_js.Result.err(value);
+  }
+  return evaluateMatch(node, path, scope, state);
+}
+function evaluateBinding(node, path, scope, state) {
+  const value = evaluateNode(node.value, [...path, "value"], scope, state);
+  const nested = new Map(scope);
+  nested.set(node.name, value);
+  return evaluateNode(node.body, [...path, "body"], nested, state);
+}
+function evaluateMatch(node, path, scope, state) {
+  const valuePath = [...path, "value"];
+  const value = evaluateNode(node.value, valuePath, scope, state);
+  if (node.type === "Option" && !values_js.isOption(value)) {
+    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  if (node.type === "Result" && !values_js.isResult(value)) {
+    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  if (!values_js.isOption(value) && !values_js.isResult(value)) {
+    throw new diagnostics_js.KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  const variant = value.variant;
+  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);
+  const arm = node.arms[armIndex];
+  if (!arm) throw new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", [...path, "arms"]);
+  const nested = bindPayload(scope, arm, value);
+  return evaluateNode(arm.body, [...path, "arms", armIndex, "body"], nested, state);
+}
+function bindPayload(scope, arm, value) {
+  if (!arm.binding || !values_js.isOption(value) && !values_js.isResult(value) || value.variant === "none")
+    return scope;
+  const nested = new Map(scope);
+  nested.set(arm.binding, value.value);
+  return nested;
+}
+function evaluateReference(reference, path, scope, state) {
+  if (typeof reference === "string" && scope.has(reference))
+    return scope.get(reference);
+  let input;
+  try {
+    input = state.resolve(reference);
+  } catch {
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+  if (callbackPromise_js.rejectCallbackPromise(input)) throw new diagnostics_js.KaladaFailure("KALADA_ASYNC_UNSUPPORTED", path);
+  return parseResolution(input, path, state.limits);
+}
+function parseResolution(input, path, limits) {
+  if (typeof input !== "object" || input === null || Array.isArray(input)) {
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+  const keys = safeKeys(input, path);
+  const found = safeData(input, "found", path);
+  if (typeof found !== "boolean") throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  if (!found) return missingResolution(input, keys, path);
+  if (keys.length !== 2 || !keys.includes("value"))
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  return safeValue(safeData(input, "value", path), path, limits);
+}
+function missingResolution(input, keys, path) {
+  if (keys.length === 1) throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_MISSING", path);
+  if (keys.length !== 2 || !keys.includes("reason"))
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  const reason = safeData(input, "reason", path);
+  if (reason === void 0 || reason === "missing")
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_MISSING", path);
+  if (reason === "denied") throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_DENIED", path);
+  throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+}
+function safeValue(input, path, limits) {
+  try {
+    if (values_js.isOption(input) || values_js.isResult(input)) {
+      values_js.validateKaladaValueLimits(input, {
+        maxDepth: limits.maxValueDepth,
+        maxNodes: limits.maxValueNodes,
+        maxStringLength: limits.maxStringLength
+      });
+      return input;
+    }
+    return json_js.cloneJson(input, {
+      maxDepth: limits.maxValueDepth,
+      maxNodes: limits.maxValueNodes,
+      maxStringLength: limits.maxStringLength
+    });
+  } catch (error) {
+    if (error instanceof RangeError) throw new diagnostics_js.KaladaFailure("KALADA_LIMIT_EXCEEDED", path);
+    throw new diagnostics_js.KaladaFailure("KALADA_INVALID_RESULT", path);
+  }
+}
+function safeKeys(input, path) {
+  try {
+    return Reflect.ownKeys(input);
+  } catch {
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+}
+function safeData(input, key, path) {
+  try {
+    return json_js.dataValue(input, key);
+  } catch {
+    throw new diagnostics_js.KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+}
+function charge(path, state) {
+  state.steps += 1;
+  if (state.steps > state.limits.maxEvaluationSteps) {
+    throw new diagnostics_js.KaladaFailure("KALADA_EVALUATION_LIMIT", path);
+  }
+}
+
+exports.evaluateKaladaV1 = evaluateKaladaV1;
+//# sourceMappingURL=evaluate.cjs.map
+//# sourceMappingURL=evaluate.cjs.map

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

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

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

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

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

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

package/dist/kalada-v1/evaluate.js

@@ -0,0 +1,139 @@
+import { rejectCallbackPromise } from '../kuery-v1/callback-promise.js';
+import { success, KaladaFailure, failure } from './diagnostics.js';
+import { cloneJson, dataValue } from './json.js';
+import { Option, Result, isOption, isResult, validateKaladaValueLimits } from './values.js';
+
+function evaluateKaladaV1(expression, resolve, limits) {
+  try {
+    return success(
+      evaluateNode(expression, ["expression"], /* @__PURE__ */ new Map(), { resolve, limits, steps: 0 })
+    );
+  } catch (error) {
+    const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_REFERENCE_ERROR", []);
+    return failure(problem.code, problem.path);
+  }
+}
+function evaluateNode(node, path, scope, state) {
+  charge(path, state);
+  if (node.kind === "literal") return node.value;
+  if (node.kind === "ref") return evaluateReference(node.ref, path, scope, state);
+  if (node.kind === "binding") return evaluateBinding(node, path, scope, state);
+  if (node.kind === "option") {
+    return node.variant === "none" ? Option.none() : Option.some(evaluateNode(node.value, [...path, "value"], scope, state));
+  }
+  if (node.kind === "result") {
+    const value = evaluateNode(node.value, [...path, "value"], scope, state);
+    return node.variant === "ok" ? Result.ok(value) : Result.err(value);
+  }
+  return evaluateMatch(node, path, scope, state);
+}
+function evaluateBinding(node, path, scope, state) {
+  const value = evaluateNode(node.value, [...path, "value"], scope, state);
+  const nested = new Map(scope);
+  nested.set(node.name, value);
+  return evaluateNode(node.body, [...path, "body"], nested, state);
+}
+function evaluateMatch(node, path, scope, state) {
+  const valuePath = [...path, "value"];
+  const value = evaluateNode(node.value, valuePath, scope, state);
+  if (node.type === "Option" && !isOption(value)) {
+    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  if (node.type === "Result" && !isResult(value)) {
+    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  if (!isOption(value) && !isResult(value)) {
+    throw new KaladaFailure("KALADA_MATCH_TYPE_MISMATCH", valuePath);
+  }
+  const variant = value.variant;
+  const armIndex = node.arms.findIndex((candidate) => candidate.variant === variant);
+  const arm = node.arms[armIndex];
+  if (!arm) throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "arms"]);
+  const nested = bindPayload(scope, arm, value);
+  return evaluateNode(arm.body, [...path, "arms", armIndex, "body"], nested, state);
+}
+function bindPayload(scope, arm, value) {
+  if (!arm.binding || !isOption(value) && !isResult(value) || value.variant === "none")
+    return scope;
+  const nested = new Map(scope);
+  nested.set(arm.binding, value.value);
+  return nested;
+}
+function evaluateReference(reference, path, scope, state) {
+  if (typeof reference === "string" && scope.has(reference))
+    return scope.get(reference);
+  let input;
+  try {
+    input = state.resolve(reference);
+  } catch {
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+  if (rejectCallbackPromise(input)) throw new KaladaFailure("KALADA_ASYNC_UNSUPPORTED", path);
+  return parseResolution(input, path, state.limits);
+}
+function parseResolution(input, path, limits) {
+  if (typeof input !== "object" || input === null || Array.isArray(input)) {
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+  const keys = safeKeys(input, path);
+  const found = safeData(input, "found", path);
+  if (typeof found !== "boolean") throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  if (!found) return missingResolution(input, keys, path);
+  if (keys.length !== 2 || !keys.includes("value"))
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  return safeValue(safeData(input, "value", path), path, limits);
+}
+function missingResolution(input, keys, path) {
+  if (keys.length === 1) throw new KaladaFailure("KALADA_REFERENCE_MISSING", path);
+  if (keys.length !== 2 || !keys.includes("reason"))
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  const reason = safeData(input, "reason", path);
+  if (reason === void 0 || reason === "missing")
+    throw new KaladaFailure("KALADA_REFERENCE_MISSING", path);
+  if (reason === "denied") throw new KaladaFailure("KALADA_REFERENCE_DENIED", path);
+  throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+}
+function safeValue(input, path, limits) {
+  try {
+    if (isOption(input) || isResult(input)) {
+      validateKaladaValueLimits(input, {
+        maxDepth: limits.maxValueDepth,
+        maxNodes: limits.maxValueNodes,
+        maxStringLength: limits.maxStringLength
+      });
+      return input;
+    }
+    return cloneJson(input, {
+      maxDepth: limits.maxValueDepth,
+      maxNodes: limits.maxValueNodes,
+      maxStringLength: limits.maxStringLength
+    });
+  } catch (error) {
+    if (error instanceof RangeError) throw new KaladaFailure("KALADA_LIMIT_EXCEEDED", path);
+    throw new KaladaFailure("KALADA_INVALID_RESULT", path);
+  }
+}
+function safeKeys(input, path) {
+  try {
+    return Reflect.ownKeys(input);
+  } catch {
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+}
+function safeData(input, key, path) {
+  try {
+    return dataValue(input, key);
+  } catch {
+    throw new KaladaFailure("KALADA_REFERENCE_ERROR", path);
+  }
+}
+function charge(path, state) {
+  state.steps += 1;
+  if (state.steps > state.limits.maxEvaluationSteps) {
+    throw new KaladaFailure("KALADA_EVALUATION_LIMIT", path);
+  }
+}
+
+export { evaluateKaladaV1 };
+//# sourceMappingURL=evaluate.js.map
+//# sourceMappingURL=evaluate.js.map

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

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

package/dist/kalada-v1/factories.cjs

@@ -0,0 +1,48 @@
+'use strict';
+
+const literal = (value) => ({
+  kind: "literal",
+  value
+});
+const ref = (value) => ({
+  kind: "ref",
+  ref: value
+});
+const binding = (name, value, body) => ({ kind: "binding", name, value, body });
+const some = (value) => ({
+  kind: "option",
+  variant: "some",
+  value
+});
+const none = () => ({
+  kind: "option",
+  variant: "none"
+});
+const ok = (value) => ({
+  kind: "result",
+  variant: "ok",
+  value
+});
+const err = (value) => ({
+  kind: "result",
+  variant: "err",
+  value
+});
+const arm = (variant, body, name) => ({ variant, ...name === void 0 ? {} : { binding: name }, body });
+const match = (type, value, arms) => ({ kind: "match", type, value, arms });
+const KaladaV1 = Object.freeze({
+  literal,
+  ref,
+  binding,
+  Option: Object.freeze({ some, none }),
+  Result: Object.freeze({ ok, err }),
+  arm,
+  match,
+  program(expression) {
+    return { format: "kalada-program", version: 1, profile: "kalada-v1", expression };
+  }
+});
+
+exports.KaladaV1 = KaladaV1;
+//# sourceMappingURL=factories.cjs.map
+//# sourceMappingURL=factories.cjs.map

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

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