@kalada/core 0.1.0 → 0.3.0

package/dist/kalada-v1/codec.js

@@ -0,0 +1,170 @@
+import { cloneJsonWithStats, dataValue, cloneJson } from './json.js';
+import { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
+import { isInstant, isDuration, Instant, Duration } from './temporal.js';
+import { isOption, isResult, Option, Result } from './values.js';
+
+const INVALID = "Invalid kalada-value v1 envelope.";
+const LIMITS = Object.freeze({
+  maxDepth: DEFAULT_KALADA_V1_LIMITS.maxValueDepth,
+  maxNodes: DEFAULT_KALADA_V1_LIMITS.maxValueNodes,
+  maxStringLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength
+});
+function encodeKaladaValue(value) {
+  const frames = [];
+  const seen = /* @__PURE__ */ new WeakSet();
+  let current = value;
+  let nodes = 0;
+  while (isOption(current) || isResult(current)) {
+    nodes = charge(nodes, frames.length);
+    if (seen.has(current)) throw new TypeError(INVALID);
+    seen.add(current);
+    if (isOption(current) && current.variant === "none") {
+      return wrapFrames(frozenNone(), frames);
+    }
+    frames.push({ type: current.type, variant: current.variant });
+    current = current.value;
+  }
+  if (isInstant(current) || isDuration(current)) {
+    charge(nodes, frames.length);
+    return wrapFrames(frozenTemporal(current.type, current.milliseconds), frames);
+  }
+  const remaining = LIMITS.maxNodes - charge(nodes, frames.length);
+  const json = cloneJsonWithStats(current, {
+    ...LIMITS,
+    maxDepth: remainingDepth(frames.length),
+    maxNodes: remaining
+  });
+  return wrapFrames(frozenJson(json.value), frames);
+}
+function decodeKaladaValue(input) {
+  const frames = [];
+  const active = /* @__PURE__ */ new WeakSet();
+  let current = input;
+  let nodes = 0;
+  while (true) {
+    nodes = charge(nodes, frames.length);
+    const envelope = envelopeObject(current);
+    if (active.has(envelope)) throw new TypeError(INVALID);
+    active.add(envelope);
+    const fields = envelopeFields(envelope);
+    const temporal = decodeTemporal(envelope, fields);
+    if (temporal) return wrapValues(temporal, frames);
+    if (fields.type === "Json" && fields.variant === "value") {
+      assertKeys(envelope, ["format", "version", "type", "variant", "value"]);
+      const value = decodeJson(dataValue(envelope, "value"), nodes, frames.length);
+      return wrapValues(value, frames);
+    }
+    if (fields.type === "Option" && fields.variant === "none") {
+      assertKeys(envelope, ["format", "version", "type", "variant"]);
+      return wrapValues(Option.none(), frames);
+    }
+    frames.push(payloadFrame(fields.type, fields.variant));
+    assertKeys(envelope, ["format", "version", "type", "variant", "value"]);
+    current = dataValue(envelope, "value");
+  }
+}
+function decodeTemporal(envelope, fields) {
+  if (fields.type !== "Instant" && fields.type !== "Duration") return void 0;
+  if (fields.variant !== "milliseconds") throw new TypeError(INVALID);
+  assertKeys(envelope, ["format", "version", "type", "variant", "value"]);
+  const value = dataValue(envelope, "value");
+  if (typeof value !== "number" || !Number.isSafeInteger(value)) throw new TypeError(INVALID);
+  return fields.type === "Instant" ? Instant.fromMilliseconds(value) : Duration.fromMilliseconds(value);
+}
+function decodeJson(input, nodes, depth) {
+  return cloneJson(input, {
+    ...LIMITS,
+    maxDepth: remainingDepth(depth),
+    maxNodes: LIMITS.maxNodes - nodes
+  });
+}
+function envelopeObject(input) {
+  if (typeof input !== "object" || input === null || Array.isArray(input))
+    throw new TypeError(INVALID);
+  try {
+    const prototype = Object.getPrototypeOf(input);
+    if (prototype !== Object.prototype && prototype !== null) throw new TypeError(INVALID);
+    return input;
+  } catch {
+    throw new TypeError(INVALID);
+  }
+}
+function envelopeFields(input) {
+  try {
+    if (dataValue(input, "format") !== "kalada-value" || dataValue(input, "version") !== 1) {
+      throw new TypeError(INVALID);
+    }
+    return { type: dataValue(input, "type"), variant: dataValue(input, "variant") };
+  } catch {
+    throw new TypeError(INVALID);
+  }
+}
+function payloadFrame(type, variant) {
+  if (type === "Option" && variant === "some") return { type, variant };
+  if (type === "Result" && (variant === "ok" || variant === "err")) return { type, variant };
+  throw new TypeError(INVALID);
+}
+function assertKeys(input, expected) {
+  let keys;
+  try {
+    keys = Reflect.ownKeys(input);
+  } catch {
+    throw new TypeError(INVALID);
+  }
+  if (keys.length !== expected.length || !keys.every((key) => typeof key === "string" && expected.includes(key))) {
+    throw new TypeError(INVALID);
+  }
+}
+function wrapFrames(leaf, frames) {
+  let output = leaf;
+  for (let index = frames.length - 1; index >= 0; index -= 1) {
+    const frame = frames[index];
+    if (!frame) throw new TypeError(INVALID);
+    output = Object.freeze({ format: "kalada-value", version: 1, ...frame, value: output });
+  }
+  return output;
+}
+function wrapValues(leaf, frames) {
+  let output = leaf;
+  for (let index = frames.length - 1; index >= 0; index -= 1) {
+    const frame = frames[index];
+    if (!frame) throw new TypeError(INVALID);
+    output = frame.type === "Option" ? Option.some(output) : frame.variant === "ok" ? Result.ok(output) : Result.err(output);
+  }
+  return output;
+}
+function charge(nodes, depth) {
+  if (depth > LIMITS.maxDepth || nodes >= LIMITS.maxNodes)
+    throw new RangeError("Kalada value exceeds its limits.");
+  return nodes + 1;
+}
+function remainingDepth(depth) {
+  const remaining = LIMITS.maxDepth - depth;
+  if (remaining < 0) throw new RangeError("Kalada value exceeds its limits.");
+  return remaining;
+}
+function frozenNone() {
+  return Object.freeze({ format: "kalada-value", version: 1, type: "Option", variant: "none" });
+}
+function frozenJson(value) {
+  return Object.freeze({
+    format: "kalada-value",
+    version: 1,
+    type: "Json",
+    variant: "value",
+    value
+  });
+}
+function frozenTemporal(type, value) {
+  return Object.freeze({
+    format: "kalada-value",
+    version: 1,
+    type,
+    variant: "milliseconds",
+    value
+  });
+}
+
+export { decodeKaladaValue, encodeKaladaValue };
+//# sourceMappingURL=codec.js.map
+//# sourceMappingURL=codec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/codec.ts"],"names":[],"mappings":";;;;;AA+CA,MAAM,OAAA,GAAU,mCAAA;AAChB,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAC3B,UAAU,wBAAA,CAAyB,aAAA;AAAA,EACnC,UAAU,wBAAA,CAAyB,aAAA;AAAA,EACnC,iBAAiB,wBAAA,CAAyB;AAC5C,CAAC,CAAA;AAEM,SAAS,kBAAkB,KAAA,EAA0C;AAC1E,EAAA,MAAM,SAAkB,EAAC;AACzB,EAAA,MAAM,IAAA,uBAAW,OAAA,EAAgB;AACjC,EAAA,IAAI,OAAA,GAAU,KAAA;AACd,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,OAAO,QAAA,CAAS,OAAO,CAAA,IAAK,QAAA,CAAS,OAAO,CAAA,EAAG;AAC7C,IAAA,KAAA,GAAQ,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,MAAM,CAAA;AACnC,IAAA,IAAI,KAAK,GAAA,CAAI,OAAO,GAAG,MAAM,IAAI,UAAU,OAAO,CAAA;AAClD,IAAA,IAAA,CAAK,IAAI,OAAO,CAAA;AAChB,IAAA,IAAI,QAAA,CAAS,OAAO,CAAA,IAAK,OAAA,CAAQ,YAAY,MAAA,EAAQ;AACnD,MAAA,OAAO,UAAA,CAAW,UAAA,EAAW,EAAG,MAAM,CAAA;AAAA,IACxC;AACA,IAAA,MAAA,CAAO,IAAA,CAAK,EAAE,IAAA,EAAM,OAAA,CAAQ,MAAM,OAAA,EAAS,OAAA,CAAQ,SAAkB,CAAA;AACrE,IAAA,OAAA,GAAU,OAAA,CAAQ,KAAA;AAAA,EACpB;AACA,EAAA,IAAI,SAAA,CAAU,OAAO,CAAA,IAAK,UAAA,CAAW,OAAO,CAAA,EAAG;AAC7C,IAAA,MAAA,CAAO,KAAA,EAAO,OAAO,MAAM,CAAA;AAC3B,IAAA,OAAO,WAAW,cAAA,CAAe,OAAA,CAAQ,MAAM,OAAA,CAAQ,YAAY,GAAG,MAAM,CAAA;AAAA,EAC9E;AACA,EAAA,MAAM,YAAY,MAAA,CAAO,QAAA,GAAW,MAAA,CAAO,KAAA,EAAO,OAAO,MAAM,CAAA;AAC/D,EAAA,MAAM,IAAA,GAAO,mBAAmB,OAAA,EAAS;AAAA,IACvC,GAAG,MAAA;AAAA,IACH,QAAA,EAAU,cAAA,CAAe,MAAA,CAAO,MAAM,CAAA;AAAA,IACtC,QAAA,EAAU;AAAA,GACX,CAAA;AACD,EAAA,OAAO,UAAA,CAAW,UAAA,CAAW,IAAA,CAAK,KAAK,GAAG,MAAM,CAAA;AAClD;AAEO,SAAS,kBAAkB,KAAA,EAA6B;AAC7D,EAAA,MAAM,SAAkB,EAAC;AACzB,EAAA,MAAM,MAAA,uBAAa,OAAA,EAAgB;AACnC,EAAA,IAAI,OAAA,GAAU,KAAA;AACd,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,OAAO,IAAA,EAAM;AACX,IAAA,KAAA,GAAQ,MAAA,CAAO,KAAA,EAAO,MAAA,CAAO,MAAM,CAAA;AACnC,IAAA,MAAM,QAAA,GAAW,eAAe,OAAO,CAAA;AACvC,IAAA,IAAI,OAAO,GAAA,CAAI,QAAQ,GAAG,MAAM,IAAI,UAAU,OAAO,CAAA;AACrD,IAAA,MAAA,CAAO,IAAI,QAAQ,CAAA;AACnB,IAAA,MAAM,MAAA,GAAS,eAAe,QAAQ,CAAA;AACtC,IAAA,MAAM,QAAA,GAAW,cAAA,CAAe,QAAA,EAAU,MAAM,CAAA;AAChD,IAAA,IAAI,QAAA,EAAU,OAAO,UAAA,CAAW,QAAA,EAAU,MAAM,CAAA;AAChD,IAAA,IAAI,MAAA,CAAO,IAAA,KAAS,MAAA,IAAU,MAAA,CAAO,YAAY,OAAA,EAAS;AACxD,MAAA,UAAA,CAAW,UAAU,CAAC,QAAA,EAAU,WAAW,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AACtE,MAAA,MAAM,KAAA,GAAQ,WAAW,SAAA,CAAU,QAAA,EAAU,OAAO,CAAA,EAAG,KAAA,EAAO,OAAO,MAAM,CAAA;AAC3E,MAAA,OAAO,UAAA,CAAW,OAAO,MAAM,CAAA;AAAA,IACjC;AACA,IAAA,IAAI,MAAA,CAAO,IAAA,KAAS,QAAA,IAAY,MAAA,CAAO,YAAY,MAAA,EAAQ;AACzD,MAAA,UAAA,CAAW,UAAU,CAAC,QAAA,EAAU,SAAA,EAAW,MAAA,EAAQ,SAAS,CAAC,CAAA;AAC7D,MAAA,OAAO,UAAA,CAAW,MAAA,CAAO,IAAA,EAAK,EAAG,MAAM,CAAA;AAAA,IACzC;AACA,IAAA,MAAA,CAAO,KAAK,YAAA,CAAa,MAAA,CAAO,IAAA,EAAM,MAAA,CAAO,OAAO,CAAC,CAAA;AACrD,IAAA,UAAA,CAAW,UAAU,CAAC,QAAA,EAAU,WAAW,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AACtE,IAAA,OAAA,GAAU,SAAA,CAAU,UAAU,OAAO,CAAA;AAAA,EACvC;AACF;AAEA,SAAS,cAAA,CACP,UACA,MAAA,EAC0C;AAC1C,EAAA,IAAI,OAAO,IAAA,KAAS,SAAA,IAAa,MAAA,CAAO,IAAA,KAAS,YAAY,OAAO,MAAA;AACpE,EAAA,IAAI,OAAO,OAAA,KAAY,cAAA,EAAgB,MAAM,IAAI,UAAU,OAAO,CAAA;AAClE,EAAA,UAAA,CAAW,UAAU,CAAC,QAAA,EAAU,WAAW,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AACtE,EAAA,MAAM,KAAA,GAAQ,SAAA,CAAU,QAAA,EAAU,OAAO,CAAA;AACzC,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,CAAC,MAAA,CAAO,aAAA,CAAc,KAAK,CAAA,EAAG,MAAM,IAAI,SAAA,CAAU,OAAO,CAAA;AAC1F,EAAA,OAAO,MAAA,CAAO,SAAS,SAAA,GACnB,OAAA,CAAQ,iBAAiB,KAAK,CAAA,GAC9B,QAAA,CAAS,gBAAA,CAAiB,KAAK,CAAA;AACrC;AAEA,SAAS,UAAA,CAAW,KAAA,EAAgB,KAAA,EAAe,KAAA,EAA0B;AAC3E,EAAA,OAAO,UAAU,KAAA,EAAO;AAAA,IACtB,GAAG,MAAA;AAAA,IACH,QAAA,EAAU,eAAe,KAAK,CAAA;AAAA,IAC9B,QAAA,EAAU,OAAO,QAAA,GAAW;AAAA,GAC7B,CAAA;AACH;AAEA,SAAS,eAAe,KAAA,EAAwB;AAC9C,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,UAAU,IAAA,IAAQ,KAAA,CAAM,QAAQ,KAAK,CAAA;AACpE,IAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAC7B,EAAA,IAAI;AACF,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,cAAA,CAAe,KAAK,CAAA;AAC7C,IAAA,IAAI,SAAA,KAAc,OAAO,SAAA,IAAa,SAAA,KAAc,MAAM,MAAM,IAAI,UAAU,OAAO,CAAA;AACrF,IAAA,OAAO,KAAA;AAAA,EACT,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,EAC7B;AACF;AAEA,SAAS,eAAe,KAAA,EAAoD;AAC1E,EAAA,IAAI;AACF,IAAA,IAAI,SAAA,CAAU,OAAO,QAAQ,CAAA,KAAM,kBAAkB,SAAA,CAAU,KAAA,EAAO,SAAS,CAAA,KAAM,CAAA,EAAG;AACtF,MAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,IAC7B;AACA,IAAA,OAAO,EAAE,IAAA,EAAM,SAAA,CAAU,KAAA,EAAO,MAAM,GAAG,OAAA,EAAS,SAAA,CAAU,KAAA,EAAO,SAAS,CAAA,EAAE;AAAA,EAChF,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,EAC7B;AACF;AAEA,SAAS,YAAA,CAAa,MAAe,OAAA,EAAyB;AAC5D,EAAA,IAAI,SAAS,QAAA,IAAY,OAAA,KAAY,QAAQ,OAAO,EAAE,MAAM,OAAA,EAAQ;AACpE,EAAA,IAAI,IAAA,KAAS,aAAa,OAAA,KAAY,IAAA,IAAQ,YAAY,KAAA,CAAA,EAAQ,OAAO,EAAE,IAAA,EAAM,OAAA,EAAQ;AACzF,EAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAC7B;AAEA,SAAS,UAAA,CAAW,OAAe,QAAA,EAAmC;AACpE,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,EAC7B;AACA,EAAA,IACE,KAAK,MAAA,KAAW,QAAA,CAAS,MAAA,IACzB,CAAC,KAAK,KAAA,CAAM,CAAC,GAAA,KAAQ,OAAO,QAAQ,QAAA,IAAY,QAAA,CAAS,QAAA,CAAS,GAAG,CAAC,CAAA,EACtE;AACA,IAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,EAC7B;AACF;AAEA,SAAS,UAAA,CAAW,MAA4B,MAAA,EAAgD;AAC9F,EAAA,IAAI,MAAA,GAAS,IAAA;AACb,EAAA,KAAA,IAAS,QAAQ,MAAA,CAAO,MAAA,GAAS,GAAG,KAAA,IAAS,CAAA,EAAG,SAAS,CAAA,EAAG;AAC1D,IAAA,MAAM,KAAA,GAAQ,OAAO,KAAK,CAAA;AAC1B,IAAA,IAAI,CAAC,KAAA,EAAO,MAAM,IAAI,UAAU,OAAO,CAAA;AACvC,IAAA,MAAA,GAAS,MAAA,CAAO,MAAA,CAAO,EAAE,MAAA,EAAQ,cAAA,EAAgB,OAAA,EAAS,CAAA,EAAG,GAAG,KAAA,EAAO,KAAA,EAAO,MAAA,EAAQ,CAAA;AAAA,EACxF;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,UAAA,CAAW,MAAmB,MAAA,EAAuC;AAC5E,EAAA,IAAI,MAAA,GAAS,IAAA;AACb,EAAA,KAAA,IAAS,QAAQ,MAAA,CAAO,MAAA,GAAS,GAAG,KAAA,IAAS,CAAA,EAAG,SAAS,CAAA,EAAG;AAC1D,IAAA,MAAM,KAAA,GAAQ,OAAO,KAAK,CAAA;AAC1B,IAAA,IAAI,CAAC,KAAA,EAAO,MAAM,IAAI,UAAU,OAAO,CAAA;AACvC,IAAA,MAAA,GACE,MAAM,IAAA,KAAS,QAAA,GACX,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,GAClB,KAAA,CAAM,OAAA,KAAY,IAAA,GAChB,OAAO,EAAA,CAAG,MAAM,CAAA,GAChB,MAAA,CAAO,IAAI,MAAM,CAAA;AAAA,EAC3B;AACA,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,MAAA,CAAO,OAAe,KAAA,EAAuB;AACpD,EAAA,IAAI,KAAA,GAAQ,MAAA,CAAO,QAAA,IAAY,KAAA,IAAS,MAAA,CAAO,QAAA;AAC7C,IAAA,MAAM,IAAI,WAAW,kCAAkC,CAAA;AACzD,EAAA,OAAO,KAAA,GAAQ,CAAA;AACjB;AAEA,SAAS,eAAe,KAAA,EAAuB;AAC7C,EAAA,MAAM,SAAA,GAAY,OAAO,QAAA,GAAW,KAAA;AACpC,EAAA,IAAI,SAAA,GAAY,CAAA,EAAG,MAAM,IAAI,WAAW,kCAAkC,CAAA;AAC1E,EAAA,OAAO,SAAA;AACT;AAEA,SAAS,UAAA,GAAmC;AAC1C,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,MAAA,EAAQ,cAAA,EAAgB,OAAA,EAAS,CAAA,EAAG,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,MAAA,EAAQ,CAAA;AAC9F;AAEA,SAAS,WAAW,KAAA,EAAwC;AAC1D,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,MAAA,EAAQ,cAAA;AAAA,IACR,OAAA,EAAS,CAAA;AAAA,IACT,IAAA,EAAM,MAAA;AAAA,IACN,OAAA,EAAS,OAAA;AAAA,IACT;AAAA,GACD,CAAA;AACH;AAEA,SAAS,cAAA,CAAe,MAA8B,KAAA,EAAqC;AACzF,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,MAAA,EAAQ,cAAA;AAAA,IACR,OAAA,EAAS,CAAA;AAAA,IACT,IAAA;AAAA,IACA,OAAA,EAAS,cAAA;AAAA,IACT;AAAA,GACD,CAAA;AACH","file":"codec.js","sourcesContent":["import { cloneJson, cloneJsonWithStats, dataValue, type JsonValue } from \"./json.js\";\nimport { DEFAULT_KALADA_V1_LIMITS } from \"./limits.js\";\nimport {\n  Duration,\n  type DurationValue,\n  Instant,\n  type InstantValue,\n  isDuration,\n  isInstant,\n} from \"./temporal.js\";\nimport { isOption, isResult, type KaladaValue, Option, Result } from \"./values.js\";\n\ninterface EncodedHeader {\n  readonly format: \"kalada-value\";\n  readonly version: 1;\n}\n\nexport type EncodedKaladaValueV1 =\n  | (EncodedHeader & {\n      readonly type: \"Json\";\n      readonly variant: \"value\";\n      readonly value: JsonValue;\n    })\n  | (EncodedHeader & { readonly type: \"Option\"; readonly variant: \"none\" })\n  | (EncodedHeader & {\n      readonly type: \"Option\";\n      readonly variant: \"some\";\n      readonly value: EncodedKaladaValueV1;\n    })\n  | (EncodedHeader & {\n      readonly type: \"Result\";\n      readonly variant: \"ok\" | \"err\";\n      readonly value: EncodedKaladaValueV1;\n    })\n  | (EncodedHeader & {\n      readonly type: \"Instant\" | \"Duration\";\n      readonly variant: \"milliseconds\";\n      readonly value: number;\n    });\n\ntype Frame =\n  | { readonly type: \"Option\"; readonly variant: \"some\" }\n  | {\n      readonly type: \"Result\";\n      readonly variant: \"ok\" | \"err\";\n    };\n\nconst INVALID = \"Invalid kalada-value v1 envelope.\";\nconst LIMITS = Object.freeze({\n  maxDepth: DEFAULT_KALADA_V1_LIMITS.maxValueDepth,\n  maxNodes: DEFAULT_KALADA_V1_LIMITS.maxValueNodes,\n  maxStringLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength,\n});\n\nexport function encodeKaladaValue(value: KaladaValue): EncodedKaladaValueV1 {\n  const frames: Frame[] = [];\n  const seen = new WeakSet<object>();\n  let current = value;\n  let nodes = 0;\n  while (isOption(current) || isResult(current)) {\n    nodes = charge(nodes, frames.length);\n    if (seen.has(current)) throw new TypeError(INVALID);\n    seen.add(current);\n    if (isOption(current) && current.variant === \"none\") {\n      return wrapFrames(frozenNone(), frames);\n    }\n    frames.push({ type: current.type, variant: current.variant } as Frame);\n    current = current.value;\n  }\n  if (isInstant(current) || isDuration(current)) {\n    charge(nodes, frames.length);\n    return wrapFrames(frozenTemporal(current.type, current.milliseconds), frames);\n  }\n  const remaining = LIMITS.maxNodes - charge(nodes, frames.length);\n  const json = cloneJsonWithStats(current, {\n    ...LIMITS,\n    maxDepth: remainingDepth(frames.length),\n    maxNodes: remaining,\n  });\n  return wrapFrames(frozenJson(json.value), frames);\n}\n\nexport function decodeKaladaValue(input: unknown): KaladaValue {\n  const frames: Frame[] = [];\n  const active = new WeakSet<object>();\n  let current = input;\n  let nodes = 0;\n  while (true) {\n    nodes = charge(nodes, frames.length);\n    const envelope = envelopeObject(current);\n    if (active.has(envelope)) throw new TypeError(INVALID);\n    active.add(envelope);\n    const fields = envelopeFields(envelope);\n    const temporal = decodeTemporal(envelope, fields);\n    if (temporal) return wrapValues(temporal, frames);\n    if (fields.type === \"Json\" && fields.variant === \"value\") {\n      assertKeys(envelope, [\"format\", \"version\", \"type\", \"variant\", \"value\"]);\n      const value = decodeJson(dataValue(envelope, \"value\"), nodes, frames.length);\n      return wrapValues(value, frames);\n    }\n    if (fields.type === \"Option\" && fields.variant === \"none\") {\n      assertKeys(envelope, [\"format\", \"version\", \"type\", \"variant\"]);\n      return wrapValues(Option.none(), frames);\n    }\n    frames.push(payloadFrame(fields.type, fields.variant));\n    assertKeys(envelope, [\"format\", \"version\", \"type\", \"variant\", \"value\"]);\n    current = dataValue(envelope, \"value\");\n  }\n}\n\nfunction decodeTemporal(\n  envelope: object,\n  fields: { type: unknown; variant: unknown },\n): InstantValue | DurationValue | undefined {\n  if (fields.type !== \"Instant\" && fields.type !== \"Duration\") return undefined;\n  if (fields.variant !== \"milliseconds\") throw new TypeError(INVALID);\n  assertKeys(envelope, [\"format\", \"version\", \"type\", \"variant\", \"value\"]);\n  const value = dataValue(envelope, \"value\");\n  if (typeof value !== \"number\" || !Number.isSafeInteger(value)) throw new TypeError(INVALID);\n  return fields.type === \"Instant\"\n    ? Instant.fromMilliseconds(value)\n    : Duration.fromMilliseconds(value);\n}\n\nfunction decodeJson(input: unknown, nodes: number, depth: number): JsonValue {\n  return cloneJson(input, {\n    ...LIMITS,\n    maxDepth: remainingDepth(depth),\n    maxNodes: LIMITS.maxNodes - nodes,\n  });\n}\n\nfunction envelopeObject(input: unknown): object {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input))\n    throw new TypeError(INVALID);\n  try {\n    const prototype = Object.getPrototypeOf(input);\n    if (prototype !== Object.prototype && prototype !== null) throw new TypeError(INVALID);\n    return input;\n  } catch {\n    throw new TypeError(INVALID);\n  }\n}\n\nfunction envelopeFields(input: object): { type: unknown; variant: unknown } {\n  try {\n    if (dataValue(input, \"format\") !== \"kalada-value\" || dataValue(input, \"version\") !== 1) {\n      throw new TypeError(INVALID);\n    }\n    return { type: dataValue(input, \"type\"), variant: dataValue(input, \"variant\") };\n  } catch {\n    throw new TypeError(INVALID);\n  }\n}\n\nfunction payloadFrame(type: unknown, variant: unknown): Frame {\n  if (type === \"Option\" && variant === \"some\") return { type, variant };\n  if (type === \"Result\" && (variant === \"ok\" || variant === \"err\")) return { type, variant };\n  throw new TypeError(INVALID);\n}\n\nfunction assertKeys(input: object, expected: readonly string[]): void {\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new TypeError(INVALID);\n  }\n  if (\n    keys.length !== expected.length ||\n    !keys.every((key) => typeof key === \"string\" && expected.includes(key))\n  ) {\n    throw new TypeError(INVALID);\n  }\n}\n\nfunction wrapFrames(leaf: EncodedKaladaValueV1, frames: readonly Frame[]): EncodedKaladaValueV1 {\n  let output = leaf;\n  for (let index = frames.length - 1; index >= 0; index -= 1) {\n    const frame = frames[index];\n    if (!frame) throw new TypeError(INVALID);\n    output = Object.freeze({ format: \"kalada-value\", version: 1, ...frame, value: output });\n  }\n  return output;\n}\n\nfunction wrapValues(leaf: KaladaValue, frames: readonly Frame[]): KaladaValue {\n  let output = leaf;\n  for (let index = frames.length - 1; index >= 0; index -= 1) {\n    const frame = frames[index];\n    if (!frame) throw new TypeError(INVALID);\n    output =\n      frame.type === \"Option\"\n        ? Option.some(output)\n        : frame.variant === \"ok\"\n          ? Result.ok(output)\n          : Result.err(output);\n  }\n  return output;\n}\n\nfunction charge(nodes: number, depth: number): number {\n  if (depth > LIMITS.maxDepth || nodes >= LIMITS.maxNodes)\n    throw new RangeError(\"Kalada value exceeds its limits.\");\n  return nodes + 1;\n}\n\nfunction remainingDepth(depth: number): number {\n  const remaining = LIMITS.maxDepth - depth;\n  if (remaining < 0) throw new RangeError(\"Kalada value exceeds its limits.\");\n  return remaining;\n}\n\nfunction frozenNone(): EncodedKaladaValueV1 {\n  return Object.freeze({ format: \"kalada-value\", version: 1, type: \"Option\", variant: \"none\" });\n}\n\nfunction frozenJson(value: JsonValue): EncodedKaladaValueV1 {\n  return Object.freeze({\n    format: \"kalada-value\",\n    version: 1,\n    type: \"Json\",\n    variant: \"value\",\n    value,\n  });\n}\n\nfunction frozenTemporal(type: \"Instant\" | \"Duration\", value: number): EncodedKaladaValueV1 {\n  return Object.freeze({\n    format: \"kalada-value\",\n    version: 1,\n    type,\n    variant: \"milliseconds\",\n    value,\n  });\n}\n"]}

package/dist/kalada-v1/compile.cjs

@@ -0,0 +1,45 @@
+'use strict';
+
+var callbackPromise_js = require('../kuery-v1/callback-promise.js');
+var canonicalize_js = require('./canonicalize.js');
+var dependencies_js = require('./dependencies.js');
+var diagnostics_js = require('./diagnostics.js');
+var evaluate_js = require('./evaluate.js');
+var limits_js = require('./limits.js');
+var temporal_js = require('./temporal.js');
+
+function compileKaladaV1Program(input, options = {}) {
+  const canonical = canonicalize_js.canonicalizeKaladaV1Program(input, options);
+  if (!canonical.ok) return canonical;
+  let limits;
+  try {
+    limits = limits_js.resolveLimits(options.limits);
+  } catch {
+    return diagnostics_js.failure("KALADA_LIMIT_EXCEEDED", []);
+  }
+  const program = canonical.value;
+  const dependencies = dependencies_js.collectKaladaV1Dependencies(program.expression);
+  return diagnostics_js.success(
+    Object.freeze({
+      program,
+      dependencies,
+      evaluate: (resolve, inputs) => evaluate_js.evaluateKaladaV1(program.expression, resolve, limits, inputs),
+      evaluateWithClock: (resolve, clock) => evaluateWithClock(program.expression, resolve, limits, clock)
+    })
+  );
+}
+function evaluateWithClock(expression, resolve, limits, clock) {
+  let sample;
+  try {
+    sample = clock();
+  } catch {
+    return diagnostics_js.failure("KALADA_CLOCK_ERROR", ["clock"]);
+  }
+  if (callbackPromise_js.rejectCallbackPromise(sample)) return diagnostics_js.failure("KALADA_ASYNC_UNSUPPORTED", ["clock"]);
+  if (!temporal_js.isInstant(sample)) return diagnostics_js.failure("KALADA_INVALID_CLOCK", ["clock"]);
+  return evaluate_js.evaluateKaladaV1(expression, resolve, limits, { instant: sample });
+}
+
+exports.compileKaladaV1Program = compileKaladaV1Program;
+//# sourceMappingURL=compile.cjs.map
+//# sourceMappingURL=compile.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/compile.ts"],"names":["canonicalizeKaladaV1Program","resolveLimits","failure","collectKaladaV1Dependencies","success","evaluateKaladaV1","rejectCallbackPromise","isInstant"],"mappings":";;;;;;;;;;AAkBO,SAAS,sBAAA,CACd,KAAA,EACA,OAAA,GAA8B,EAAC,EACc;AAC7C,EAAA,MAAM,SAAA,GAAYA,2CAAA,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,GAASC,uBAAA,CAAc,QAAQ,MAAM,CAAA;AAAA,EACvC,CAAA,CAAA,MAAQ;AACN,IAAA,OAAOC,sBAAA,CAAQ,uBAAA,EAAyB,EAAE,CAAA;AAAA,EAC5C;AACA,EAAA,MAAM,UAAU,SAAA,CAAU,KAAA;AAC1B,EAAA,MAAM,YAAA,GAAeC,2CAAA,CAA4B,OAAA,CAAQ,UAAU,CAAA;AACnE,EAAA,OAAOC,sBAAA;AAAA,IACL,OAAO,MAAA,CAAO;AAAA,MACZ,OAAA;AAAA,MACA,YAAA;AAAA,MACA,QAAA,EAAU,CAAC,OAAA,EAA8B,MAAA,KACvCC,6BAAiB,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,OAAOH,sBAAA,CAAQ,oBAAA,EAAsB,CAAC,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,IAAII,wCAAA,CAAsB,MAAM,CAAA,EAAG,OAAOJ,uBAAQ,0BAAA,EAA4B,CAAC,OAAO,CAAC,CAAA;AACvF,EAAA,IAAI,CAACK,sBAAU,MAAM,CAAA,SAAUL,sBAAA,CAAQ,sBAAA,EAAwB,CAAC,OAAO,CAAC,CAAA;AACxE,EAAA,OAAOG,6BAAiB,UAAA,EAAY,OAAA,EAAS,QAAQ,EAAE,OAAA,EAAS,QAAQ,CAAA;AAC1E","file":"compile.cjs","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"]}

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.cjs';
+import { KaladaV1Options, KaladaV1Outcome, CompiledKaladaV1Program } from './types.cjs';
+import './temporal.cjs';
+import './values.cjs';
+
+declare function compileKaladaV1Program<R extends JsonValue = string>(input: unknown, options?: KaladaV1Options<R>): KaladaV1Outcome<CompiledKaladaV1Program<R>>;
+
+export { compileKaladaV1Program };

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.js';
+import { KaladaV1Options, KaladaV1Outcome, CompiledKaladaV1Program } from './types.js';
+import './temporal.js';
+import './values.js';
+
+declare function compileKaladaV1Program<R extends JsonValue = string>(input: unknown, options?: KaladaV1Options<R>): KaladaV1Outcome<CompiledKaladaV1Program<R>>;
+
+export { compileKaladaV1Program };

package/dist/kalada-v1/compile.js

@@ -0,0 +1,43 @@
+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 { evaluateKaladaV1 } from './evaluate.js';
+import { resolveLimits } from './limits.js';
+import { isInstant } from './temporal.js';
+
+function compileKaladaV1Program(input, options = {}) {
+  const canonical = canonicalizeKaladaV1Program(input, options);
+  if (!canonical.ok) return canonical;
+  let limits;
+  try {
+    limits = resolveLimits(options.limits);
+  } catch {
+    return failure("KALADA_LIMIT_EXCEEDED", []);
+  }
+  const program = canonical.value;
+  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)
+    })
+  );
+}
+function evaluateWithClock(expression, resolve, limits, clock) {
+  let sample;
+  try {
+    sample = clock();
+  } catch {
+    return failure("KALADA_CLOCK_ERROR", ["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 });
+}
+
+export { compileKaladaV1Program };
+//# sourceMappingURL=compile.js.map
+//# sourceMappingURL=compile.js.map

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

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

package/dist/kalada-v1/dependencies.cjs

@@ -0,0 +1,58 @@
+'use strict';
+
+var json_js = require('./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 === "instant" || node.kind === "duration" || node.kind === "current-instant" || 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;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    visit(node.left, scope, output, identities);
+    visit(node.right, 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 = json_js.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;
+}
+
+exports.collectKaladaV1Dependencies = collectKaladaV1Dependencies;
+//# sourceMappingURL=dependencies.cjs.map
+//# sourceMappingURL=dependencies.cjs.map

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

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

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

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

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

@@ -0,0 +1,8 @@
+import { JsonValue } from './json.js';
+import { KaladaV1Expression } from './types.js';
+import './temporal.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,56 @@
+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 === "instant" || node.kind === "duration" || node.kind === "current-instant" || 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;
+  }
+  if (node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison") {
+    visit(node.left, scope, output, identities);
+    visit(node.right, 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,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"]}

package/dist/kalada-v1/diagnostics.cjs

@@ -0,0 +1,49 @@
+'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.",
+  KALADA_INSTANT_REQUIRED: "Kalada evaluation requires an explicit current Instant.",
+  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."
+});
+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,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"]}

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

@@ -0,0 +1,14 @@
+import { KaladaV1DiagnosticCode, KaladaV1Outcome } from './types.cjs';
+import './json.cjs';
+import './temporal.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,14 @@
+import { KaladaV1DiagnosticCode, KaladaV1Outcome } from './types.js';
+import './json.js';
+import './temporal.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,45 @@
+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.",
+  KALADA_INSTANT_REQUIRED: "Kalada evaluation requires an explicit current Instant.",
+  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."
+});
+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