@kalada/core 0.1.0 → 0.3.0

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

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

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

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

package/dist/kalada-v1/canonicalize.js

@@ -0,0 +1,212 @@
+import { properties, count, exact, safeJson, inspectJson, safeValidate, safeCanonicalize, referenceLength, bindingName, strictArray } from './canonical-input.js';
+import { KaladaFailure, success, failure } from './diagnostics.js';
+import { resolveLimits } from './limits.js';
+
+const NODE_KEYS = /* @__PURE__ */ new Set([
+  "kind",
+  "value",
+  "ref",
+  "name",
+  "body",
+  "variant",
+  "type",
+  "arms",
+  "milliseconds",
+  "operator",
+  "left",
+  "right"
+]);
+const ARM_ORDER = Object.freeze({ Option: ["some", "none"], Result: ["ok", "err"] });
+function canonicalizeKaladaV1Program(input, options = {}) {
+  try {
+    const limits = resolveLimits(options.limits);
+    const fields = properties(input, [], /* @__PURE__ */ new Set(["format", "version", "profile", "expression"]));
+    if (fields.format !== "kalada-program" || fields.version !== 1 || fields.profile !== "kalada-v1") {
+      throw new KaladaFailure("KALADA_INVALID_INPUT", []);
+    }
+    const state = {
+      limits,
+      options,
+      active: /* @__PURE__ */ new WeakSet(),
+      astNodes: 0,
+      valueNodes: 0
+    };
+    const expression = canonicalNode(fields.expression, ["expression"], 0, state);
+    return success(
+      Object.freeze({ format: "kalada-program", version: 1, profile: "kalada-v1", expression })
+    );
+  } catch (error) {
+    const problem = error instanceof KaladaFailure ? error : new KaladaFailure("KALADA_INVALID_INPUT", []);
+    return failure(problem.code, problem.path);
+  }
+}
+function canonicalNode(input, path, depth, state) {
+  count(path, depth, state);
+  if (typeof input !== "object" || input === null || state.active.has(input)) {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", path);
+  }
+  state.active.add(input);
+  try {
+    const raw = properties(input, path, NODE_KEYS, false);
+    if (raw.kind === "literal") return canonicalLiteral(raw, path, state);
+    if (raw.kind === "ref") return canonicalReference(raw, path, state);
+    if (raw.kind === "binding") return canonicalBinding(raw, path, depth, state);
+    if (raw.kind === "option") return canonicalOption(raw, path, depth, state);
+    if (raw.kind === "result") return canonicalResult(raw, path, depth, state);
+    if (raw.kind === "match") return canonicalMatch(raw, path, depth, state);
+    if (raw.kind === "instant" || raw.kind === "duration") return canonicalTemporal(raw, path);
+    if (raw.kind === "current-instant") return canonicalCurrentInstant(raw, path);
+    if (raw.kind === "temporal-arithmetic") {
+      return canonicalTemporalOperation(raw, path, depth, state, ["add", "subtract"]);
+    }
+    if (raw.kind === "temporal-comparison") {
+      return canonicalTemporalOperation(raw, path, depth, state, [
+        "equal",
+        "not-equal",
+        "less-than",
+        "less-than-or-equal",
+        "greater-than",
+        "greater-than-or-equal"
+      ]);
+    }
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "kind"]);
+  } finally {
+    state.active.delete(input);
+  }
+}
+function canonicalTemporal(raw, path) {
+  exact(raw, path, ["kind", "milliseconds"]);
+  if (!Number.isSafeInteger(raw.milliseconds)) {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "milliseconds"]);
+  }
+  return Object.freeze({
+    kind: raw.kind,
+    milliseconds: Object.is(raw.milliseconds, -0) ? 0 : raw.milliseconds
+  });
+}
+function canonicalCurrentInstant(raw, path) {
+  exact(raw, path, ["kind"]);
+  return Object.freeze({ kind: "current-instant" });
+}
+function canonicalTemporalOperation(raw, path, depth, state, operators) {
+  exact(raw, path, ["kind", "operator", "left", "right"]);
+  if (typeof raw.operator !== "string" || !operators.includes(raw.operator)) {
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "operator"]);
+  }
+  return Object.freeze({
+    kind: raw.kind,
+    operator: raw.operator,
+    left: canonicalNode(raw.left, [...path, "left"], depth + 1, state),
+    right: canonicalNode(raw.right, [...path, "right"], depth + 1, state)
+  });
+}
+function canonicalLiteral(raw, path, state) {
+  exact(raw, path, ["kind", "value"]);
+  return Object.freeze({
+    kind: "literal",
+    value: safeJson(raw.value, [...path, "value"], state)
+  });
+}
+function canonicalReference(raw, path, state) {
+  exact(raw, path, ["kind", "ref"]);
+  const refPath = [...path, "ref"];
+  const codec = state.options.reference;
+  const ref = codec ? inspectJson(raw.ref, refPath, state) : safeJson(raw.ref, refPath, state);
+  if (codec ? !safeValidate(codec.validate, ref) : typeof ref !== "string" || ref.length === 0) {
+    throw new KaladaFailure("KALADA_INVALID_REFERENCE", refPath);
+  }
+  const replacement = codec?.canonicalize ? safeCanonicalize(codec.canonicalize, ref, refPath) : ref;
+  const output = codec ? safeJson(replacement, refPath, state) : replacement;
+  if (codec && !safeValidate(codec.validate, output))
+    throw new KaladaFailure("KALADA_INVALID_REFERENCE", refPath);
+  if (referenceLength(output) > state.limits.maxReferenceLength)
+    throw new KaladaFailure("KALADA_LIMIT_EXCEEDED", refPath);
+  return Object.freeze({ kind: "ref", ref: output });
+}
+function canonicalBinding(raw, path, depth, state) {
+  exact(raw, path, ["kind", "name", "value", "body"]);
+  const name = bindingName(raw.name, [...path, "name"], state.limits);
+  return Object.freeze({
+    kind: "binding",
+    name,
+    value: canonicalNode(raw.value, [...path, "value"], depth + 1, state),
+    body: canonicalNode(raw.body, [...path, "body"], depth + 1, state)
+  });
+}
+function canonicalOption(raw, path, depth, state) {
+  if (raw.variant === "none") {
+    exact(raw, path, ["kind", "variant"]);
+    return Object.freeze({ kind: "option", variant: "none" });
+  }
+  if (raw.variant !== "some") throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "variant"]);
+  exact(raw, path, ["kind", "variant", "value"]);
+  return Object.freeze({
+    kind: "option",
+    variant: "some",
+    value: canonicalNode(raw.value, [...path, "value"], depth + 1, state)
+  });
+}
+function canonicalResult(raw, path, depth, state) {
+  if (raw.variant !== "ok" && raw.variant !== "err")
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "variant"]);
+  exact(raw, path, ["kind", "variant", "value"]);
+  return Object.freeze({
+    kind: "result",
+    variant: raw.variant,
+    value: canonicalNode(raw.value, [...path, "value"], depth + 1, state)
+  });
+}
+function canonicalMatch(raw, path, depth, state) {
+  exact(raw, path, ["kind", "type", "value", "arms"]);
+  if (raw.type !== "Option" && raw.type !== "Result")
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "type"]);
+  const value = canonicalNode(raw.value, [...path, "value"], depth + 1, state);
+  const arms = canonicalArms(raw.arms, raw.type, path, depth, state);
+  return Object.freeze({ kind: "match", type: raw.type, value, arms });
+}
+function canonicalArms(input, type, path, depth, state) {
+  if (!Array.isArray(input)) throw new KaladaFailure("KALADA_INVALID_INPUT", [...path, "arms"]);
+  const entries = strictArray(input, [...path, "arms"]);
+  const expected = ARM_ORDER[type];
+  const found = /* @__PURE__ */ new Map();
+  entries.forEach((entry, index) => {
+    addArm(entry, index, type, expected, found, path, depth, state);
+  });
+  if (found.size !== expected.length)
+    throw new KaladaFailure("KALADA_MATCH_MISSING_ARM", [...path, "arms"]);
+  return Object.freeze(expected.map((variant) => requiredArm(found, variant, path)));
+}
+function addArm(input, index, type, expected, found, path, depth, state) {
+  const armPath = [...path, "arms", index];
+  const raw = properties(input, armPath, /* @__PURE__ */ new Set(["variant", "binding", "body"]), false);
+  if (found.size === expected.length)
+    throw new KaladaFailure("KALADA_MATCH_UNREACHABLE_ARM", armPath);
+  if (typeof raw.variant !== "string" || !expected.includes(raw.variant))
+    throw new KaladaFailure("KALADA_MATCH_UNKNOWN_ARM", [...armPath, "variant"]);
+  if (found.has(raw.variant))
+    throw new KaladaFailure("KALADA_MATCH_DUPLICATE_ARM", [...armPath, "variant"]);
+  const allowsBinding = raw.variant !== "none";
+  if (!allowsBinding && "binding" in raw)
+    throw new KaladaFailure("KALADA_INVALID_INPUT", [...armPath, "binding"]);
+  exact(
+    raw,
+    armPath,
+    allowsBinding ? ["variant", "body", "binding"] : ["variant", "body"],
+    allowsBinding
+  );
+  const binding = raw.binding === void 0 ? void 0 : bindingName(raw.binding, [...armPath, "binding"], state.limits);
+  const body = canonicalNode(raw.body, [...armPath, "body"], depth + 1, state);
+  found.set(
+    raw.variant,
+    Object.freeze({ variant: raw.variant, ...binding ? { binding } : {}, body })
+  );
+}
+function requiredArm(found, variant, path) {
+  const arm = found.get(variant);
+  if (!arm) throw new KaladaFailure("KALADA_MATCH_MISSING_ARM", [...path, "arms"]);
+  return arm;
+}
+
+export { canonicalizeKaladaV1Program };
+//# sourceMappingURL=canonicalize.js.map
+//# sourceMappingURL=canonicalize.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/canonicalize.ts"],"names":[],"mappings":";;;;AAyBA,MAAM,SAAA,uBAAgB,GAAA,CAAI;AAAA,EACxB,MAAA;AAAA,EACA,OAAA;AAAA,EACA,KAAA;AAAA,EACA,MAAA;AAAA,EACA,MAAA;AAAA,EACA,SAAA;AAAA,EACA,MAAA;AAAA,EACA,MAAA;AAAA,EACA,cAAA;AAAA,EACA,UAAA;AAAA,EACA,MAAA;AAAA,EACA;AACF,CAAC,CAAA;AACD,MAAM,SAAA,GAAY,MAAA,CAAO,MAAA,CAAO,EAAE,QAAQ,CAAC,MAAA,EAAQ,MAAM,CAAA,EAAG,MAAA,EAAQ,CAAC,IAAA,EAAM,KAAK,GAAY,CAAA;AAErF,SAAS,2BAAA,CACd,KAAA,EACA,OAAA,GAA8B,EAAC,EACM;AACrC,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAAS,aAAA,CAAc,OAAA,CAAQ,MAAM,CAAA;AAC3C,IAAA,MAAM,MAAA,GAAS,UAAA,CAAW,KAAA,EAAO,EAAC,kBAAG,IAAI,GAAA,CAAI,CAAC,QAAA,EAAU,SAAA,EAAW,SAAA,EAAW,YAAY,CAAC,CAAC,CAAA;AAC5F,IAAA,IACE,MAAA,CAAO,WAAW,gBAAA,IAClB,MAAA,CAAO,YAAY,CAAA,IACnB,MAAA,CAAO,YAAY,WAAA,EACnB;AACA,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AAAA,IACpD;AACA,IAAA,MAAM,KAAA,GAAkB;AAAA,MACtB,MAAA;AAAA,MACA,OAAA;AAAA,MACA,MAAA,sBAAY,OAAA,EAAQ;AAAA,MACpB,QAAA,EAAU,CAAA;AAAA,MACV,UAAA,EAAY;AAAA,KACd;AACA,IAAA,MAAM,UAAA,GAAa,cAAc,MAAA,CAAO,UAAA,EAAY,CAAC,YAAY,CAAA,EAAG,GAAG,KAAK,CAAA;AAC5E,IAAA,OAAO,OAAA;AAAA,MACL,MAAA,CAAO,MAAA,CAAO,EAAE,MAAA,EAAQ,gBAAA,EAAkB,SAAS,CAAA,EAAG,OAAA,EAAS,WAAA,EAAa,UAAA,EAAY;AAAA,KAC1F;AAAA,EACF,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiB,aAAA,GAAgB,KAAA,GAAQ,IAAI,aAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AACvF,IAAA,OAAO,OAAA,CAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAI,CAAA;AAAA,EAC3C;AACF;AAEA,SAAS,aAAA,CACP,KAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACuB;AACvB,EAAA,KAAA,CAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AACxB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,MAAA,CAAO,GAAA,CAAI,KAAK,CAAA,EAAG;AAC1E,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,CAAM,MAAA,CAAO,IAAI,KAAK,CAAA;AACtB,EAAA,IAAI;AACF,IAAA,MAAM,GAAA,GAAM,UAAA,CAAW,KAAA,EAAO,IAAA,EAAM,WAAW,KAAK,CAAA;AACpD,IAAA,IAAI,IAAI,IAAA,KAAS,SAAA,SAAkB,gBAAA,CAAiB,GAAA,EAAK,MAAM,KAAK,CAAA;AACpE,IAAA,IAAI,IAAI,IAAA,KAAS,KAAA,SAAc,kBAAA,CAAmB,GAAA,EAAK,MAAM,KAAK,CAAA;AAClE,IAAA,IAAI,GAAA,CAAI,SAAS,SAAA,EAAW,OAAO,iBAAiB,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AAC3E,IAAA,IAAI,GAAA,CAAI,SAAS,QAAA,EAAU,OAAO,gBAAgB,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACzE,IAAA,IAAI,GAAA,CAAI,SAAS,QAAA,EAAU,OAAO,gBAAgB,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACzE,IAAA,IAAI,GAAA,CAAI,SAAS,OAAA,EAAS,OAAO,eAAe,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACvE,IAAA,IAAI,GAAA,CAAI,SAAS,SAAA,IAAa,GAAA,CAAI,SAAS,UAAA,EAAY,OAAO,iBAAA,CAAkB,GAAA,EAAK,IAAI,CAAA;AACzF,IAAA,IAAI,IAAI,IAAA,KAAS,iBAAA,EAAmB,OAAO,uBAAA,CAAwB,KAAK,IAAI,CAAA;AAC5E,IAAA,IAAI,GAAA,CAAI,SAAS,qBAAA,EAAuB;AACtC,MAAA,OAAO,0BAAA,CAA2B,KAAK,IAAA,EAAM,KAAA,EAAO,OAAO,CAAC,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,IAChF;AACA,IAAA,IAAI,GAAA,CAAI,SAAS,qBAAA,EAAuB;AACtC,MAAA,OAAO,0BAAA,CAA2B,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO;AAAA,QACzD,OAAA;AAAA,QACA,WAAA;AAAA,QACA,WAAA;AAAA,QACA,oBAAA;AAAA,QACA,cAAA;AAAA,QACA;AAAA,OACD,CAAA;AAAA,IACH;AACA,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAAA,EACnE,CAAA,SAAE;AACA,IAAA,KAAA,CAAM,MAAA,CAAO,OAAO,KAAK,CAAA;AAAA,EAC3B;AACF;AAEA,SAAS,iBAAA,CACP,KACA,IAAA,EAC+D;AAC/D,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,cAAc,CAAC,CAAA;AACzC,EAAA,IAAI,CAAC,MAAA,CAAO,aAAA,CAAc,GAAA,CAAI,YAAY,CAAA,EAAG;AAC3C,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,cAAc,CAAC,CAAA;AAAA,EAC3E;AACA,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,YAAA,EAAc,OAAO,EAAA,CAAG,GAAA,CAAI,cAAc,EAAE,CAAA,GAAI,IAAI,GAAA,CAAI;AAAA,GACzD,CAAA;AACH;AAEA,SAAS,uBAAA,CACP,KACA,IAAA,EAC0D;AAC1D,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAM,CAAC,CAAA;AACzB,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,mBAAmB,CAAA;AAClD;AAEA,SAAS,0BAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,OACA,SAAA,EACuB;AACvB,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,UAAA,EAAY,MAAA,EAAQ,OAAO,CAAC,CAAA;AACtD,EAAA,IAAI,OAAO,IAAI,QAAA,KAAa,QAAA,IAAY,CAAC,SAAA,CAAU,QAAA,CAAS,GAAA,CAAI,QAAQ,CAAA,EAAG;AACzE,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,UAAU,CAAC,CAAA;AAAA,EACvE;AACA,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,MAAM,GAAA,CAAI,IAAA;AAAA,IACV,UAAU,GAAA,CAAI,QAAA;AAAA,IACd,IAAA,EAAM,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAAA,IACjE,KAAA,EAAO,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,GACrE,CAAA;AACH;AAEA,SAAS,gBAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACuB;AACvB,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,OAAO,CAAC,CAAA;AAClC,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,SAAA;AAAA,IACN,KAAA,EAAO,SAAS,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAK;AAAA,GACrD,CAAA;AACH;AAEA,SAAS,kBAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACuB;AACvB,EAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,KAAK,CAAC,CAAA;AAChC,EAAA,MAAM,OAAA,GAAU,CAAC,GAAG,IAAA,EAAM,KAAK,CAAA;AAC/B,EAAA,MAAM,KAAA,GAAQ,MAAM,OAAA,CAAQ,SAAA;AAC5B,EAAA,MAAM,GAAA,GACJ,KAAA,GAAQ,WAAA,CAAY,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA,GAAI,QAAA,CAAS,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA;AAEjF,EAAA,IAAI,KAAA,GAAQ,CAAC,YAAA,CAAa,KAAA,CAAM,QAAA,EAAU,GAAG,CAAA,GAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,GAAA,CAAI,MAAA,KAAW,CAAA,EAAG;AAC5F,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAAA,EAC7D;AACA,EAAA,MAAM,WAAA,GAAc,OAAO,YAAA,GACvB,gBAAA,CAAiB,MAAM,YAAA,EAAc,GAAA,EAAK,OAAO,CAAA,GACjD,GAAA;AACJ,EAAA,MAAM,SAAU,KAAA,GAAQ,QAAA,CAAS,WAAA,EAAa,OAAA,EAAS,KAAK,CAAA,GAAI,WAAA;AAChE,EAAA,IAAI,KAAA,IAAS,CAAC,YAAA,CAAa,KAAA,CAAM,UAAU,MAAM,CAAA;AAC/C,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAC7D,EAAA,IAAI,eAAA,CAAgB,MAAM,CAAA,GAAI,KAAA,CAAM,MAAA,CAAO,kBAAA;AACzC,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,OAAO,CAAA;AAC1D,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,MAAM,KAAA,EAAO,GAAA,EAAK,QAAQ,CAAA;AACnD;AAEA,SAAS,gBAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACuB;AACvB,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,MAAA,EAAQ,OAAA,EAAS,MAAM,CAAC,CAAA;AAClD,EAAA,MAAM,IAAA,GAAO,WAAA,CAAY,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,CAAM,MAAM,CAAA;AAClE,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,SAAA;AAAA,IACN,IAAA;AAAA,IACA,KAAA,EAAO,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAAA,IACpE,IAAA,EAAM,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,GAClE,CAAA;AACH;AAEA,SAAS,eAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACuB;AACvB,EAAA,IAAI,GAAA,CAAI,YAAY,MAAA,EAAQ;AAC1B,IAAA,KAAA,CAAM,GAAA,EAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,SAAS,CAAC,CAAA;AACpC,IAAA,OAAO,OAAO,MAAA,CAAO,EAAE,MAAM,QAAA,EAAU,OAAA,EAAS,QAAQ,CAAA;AAAA,EAC1D;AACA,EAAA,IAAI,GAAA,CAAI,OAAA,KAAY,MAAA,EAAQ,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AAChG,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AAC7C,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,QAAA;AAAA,IACN,OAAA,EAAS,MAAA;AAAA,IACT,KAAA,EAAO,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,GACrE,CAAA;AACH;AAEA,SAAS,eAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACuB;AACvB,EAAA,IAAI,GAAA,CAAI,OAAA,KAAY,IAAA,IAAQ,GAAA,CAAI,OAAA,KAAY,KAAA;AAC1C,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AACtE,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,MAAA,EAAQ,SAAA,EAAW,OAAO,CAAC,CAAA;AAC7C,EAAA,OAAO,OAAO,MAAA,CAAO;AAAA,IACnB,IAAA,EAAM,QAAA;AAAA,IACN,SAAS,GAAA,CAAI,OAAA;AAAA,IACb,KAAA,EAAO,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK;AAAA,GACrE,CAAA;AACH;AAEA,SAAS,cAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACuB;AACvB,EAAA,KAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,MAAA,EAAQ,OAAA,EAAS,MAAM,CAAC,CAAA;AAClD,EAAA,IAAI,GAAA,CAAI,IAAA,KAAS,QAAA,IAAY,GAAA,CAAI,IAAA,KAAS,QAAA;AACxC,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACnE,EAAA,MAAM,KAAA,GAAQ,aAAA,CAAc,GAAA,CAAI,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAC3E,EAAA,MAAM,IAAA,GAAO,cAAc,GAAA,CAAI,IAAA,EAAM,IAAI,IAAA,EAAM,IAAA,EAAM,OAAO,KAAK,CAAA;AACjE,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,IAAA,EAAM,OAAA,EAAS,MAAM,GAAA,CAAI,IAAA,EAAM,KAAA,EAAO,IAAA,EAAM,CAAA;AACrE;AAEA,SAAS,aAAA,CACP,KAAA,EACA,IAAA,EACA,IAAA,EACA,OACA,KAAA,EACwB;AACxB,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC5F,EAAA,MAAM,UAAU,WAAA,CAAY,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACpD,EAAA,MAAM,QAAA,GAA8B,UAAU,IAAI,CAAA;AAClD,EAAA,MAAM,KAAA,uBAAY,GAAA,EAAyB;AAC3C,EAAA,OAAA,CAAQ,OAAA,CAAQ,CAAC,KAAA,EAAO,KAAA,KAAU;AAChC,IAAA,MAAA,CAAO,OAAO,KAAA,EAAO,IAAA,EAAM,UAAU,KAAA,EAAO,IAAA,EAAM,OAAO,KAAK,CAAA;AAAA,EAChE,CAAC,CAAA;AACD,EAAA,IAAI,KAAA,CAAM,SAAS,QAAA,CAAS,MAAA;AAC1B,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACvE,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,QAAA,CAAS,GAAA,CAAI,CAAC,OAAA,KAAY,WAAA,CAAY,KAAA,EAAO,OAAA,EAAS,IAAI,CAAC,CAAC,CAAA;AACnF;AAEA,SAAS,MAAA,CACP,OACA,KAAA,EACA,IAAA,EACA,UACA,KAAA,EACA,IAAA,EACA,OACA,KAAA,EACM;AACN,EAAA,MAAM,OAAA,GAAU,CAAC,GAAG,IAAA,EAAM,QAAQ,KAAK,CAAA;AACvC,EAAA,MAAM,GAAA,GAAM,UAAA,CAAW,KAAA,EAAO,OAAA,kBAAS,IAAI,GAAA,CAAI,CAAC,SAAA,EAAW,SAAA,EAAW,MAAM,CAAC,CAAA,EAAG,KAAK,CAAA;AACrF,EAAA,IAAI,KAAA,CAAM,SAAS,QAAA,CAAS,MAAA;AAC1B,IAAA,MAAM,IAAI,aAAA,CAAc,8BAAA,EAAgC,OAAO,CAAA;AACjE,EAAA,IAAI,OAAO,IAAI,OAAA,KAAY,QAAA,IAAY,CAAC,QAAA,CAAS,QAAA,CAAS,IAAI,OAAO,CAAA;AACnE,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AAC7E,EAAA,IAAI,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,OAAO,CAAA;AACvB,IAAA,MAAM,IAAI,aAAA,CAAc,4BAAA,EAA8B,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AAC/E,EAAA,MAAM,aAAA,GAAgB,IAAI,OAAA,KAAY,MAAA;AACtC,EAAA,IAAI,CAAC,iBAAiB,SAAA,IAAa,GAAA;AACjC,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AACzE,EAAA,KAAA;AAAA,IACE,GAAA;AAAA,IACA,OAAA;AAAA,IACA,aAAA,GAAgB,CAAC,SAAA,EAAW,MAAA,EAAQ,SAAS,CAAA,GAAI,CAAC,WAAW,MAAM,CAAA;AAAA,IACnE;AAAA,GACF;AACA,EAAA,MAAM,OAAA,GACJ,GAAA,CAAI,OAAA,KAAY,MAAA,GACZ,SACA,WAAA,CAAY,GAAA,CAAI,OAAA,EAAS,CAAC,GAAG,OAAA,EAAS,SAAS,CAAA,EAAG,MAAM,MAAM,CAAA;AACpE,EAAA,MAAM,IAAA,GAAO,aAAA,CAAc,GAAA,CAAI,IAAA,EAAM,CAAC,GAAG,OAAA,EAAS,MAAM,CAAA,EAAG,KAAA,GAAQ,CAAA,EAAG,KAAK,CAAA;AAC3E,EAAA,KAAA,CAAM,GAAA;AAAA,IACJ,GAAA,CAAI,OAAA;AAAA,IACJ,MAAA,CAAO,MAAA,CAAO,EAAE,OAAA,EAAS,IAAI,OAAA,EAAS,GAAI,OAAA,GAAU,EAAE,OAAA,EAAQ,GAAI,EAAC,EAAI,MAAM;AAAA,GAC/E;AAEF;AAEA,SAAS,WAAA,CACP,KAAA,EACA,OAAA,EACA,IAAA,EACa;AACb,EAAA,MAAM,GAAA,GAAM,KAAA,CAAM,GAAA,CAAI,OAAO,CAAA;AAC7B,EAAA,IAAI,CAAC,GAAA,EAAK,MAAM,IAAI,aAAA,CAAc,4BAA4B,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC/E,EAAA,OAAO,GAAA;AACT","file":"canonicalize.js","sourcesContent":["import {\n  bindingName,\n  count,\n  exact,\n  inspectJson,\n  type Path,\n  properties,\n  referenceLength,\n  type CanonicalState as State,\n  safeCanonicalize,\n  safeJson,\n  safeValidate,\n  strictArray,\n} from \"./canonical-input.js\";\nimport { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { resolveLimits } from \"./limits.js\";\nimport type {\n  KaladaV1Expression,\n  KaladaV1Options,\n  KaladaV1Outcome,\n  KaladaV1Program,\n  MatchArm,\n} from \"./types.js\";\n\nconst NODE_KEYS = new Set([\n  \"kind\",\n  \"value\",\n  \"ref\",\n  \"name\",\n  \"body\",\n  \"variant\",\n  \"type\",\n  \"arms\",\n  \"milliseconds\",\n  \"operator\",\n  \"left\",\n  \"right\",\n]);\nconst ARM_ORDER = Object.freeze({ Option: [\"some\", \"none\"], Result: [\"ok\", \"err\"] } as const);\n\nexport function canonicalizeKaladaV1Program<R extends JsonValue = string>(\n  input: unknown,\n  options: KaladaV1Options<R> = {},\n): KaladaV1Outcome<KaladaV1Program<R>> {\n  try {\n    const limits = resolveLimits(options.limits);\n    const fields = properties(input, [], new Set([\"format\", \"version\", \"profile\", \"expression\"]));\n    if (\n      fields.format !== \"kalada-program\" ||\n      fields.version !== 1 ||\n      fields.profile !== \"kalada-v1\"\n    ) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", []);\n    }\n    const state: State<R> = {\n      limits,\n      options,\n      active: new WeakSet(),\n      astNodes: 0,\n      valueNodes: 0,\n    };\n    const expression = canonicalNode(fields.expression, [\"expression\"], 0, state);\n    return success(\n      Object.freeze({ format: \"kalada-program\", version: 1, profile: \"kalada-v1\", expression }),\n    );\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_INVALID_INPUT\", []);\n    return failure(problem.code, problem.path);\n  }\n}\n\nfunction canonicalNode<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  count(path, depth, state);\n  if (typeof input !== \"object\" || input === null || state.active.has(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  state.active.add(input);\n  try {\n    const raw = properties(input, path, NODE_KEYS, false);\n    if (raw.kind === \"literal\") return canonicalLiteral(raw, path, state);\n    if (raw.kind === \"ref\") return canonicalReference(raw, path, state);\n    if (raw.kind === \"binding\") return canonicalBinding(raw, path, depth, state);\n    if (raw.kind === \"option\") return canonicalOption(raw, path, depth, state);\n    if (raw.kind === \"result\") return canonicalResult(raw, path, depth, state);\n    if (raw.kind === \"match\") return canonicalMatch(raw, path, depth, state);\n    if (raw.kind === \"instant\" || raw.kind === \"duration\") return canonicalTemporal(raw, path);\n    if (raw.kind === \"current-instant\") return canonicalCurrentInstant(raw, path);\n    if (raw.kind === \"temporal-arithmetic\") {\n      return canonicalTemporalOperation(raw, path, depth, state, [\"add\", \"subtract\"]);\n    }\n    if (raw.kind === \"temporal-comparison\") {\n      return canonicalTemporalOperation(raw, path, depth, state, [\n        \"equal\",\n        \"not-equal\",\n        \"less-than\",\n        \"less-than-or-equal\",\n        \"greater-than\",\n        \"greater-than-or-equal\",\n      ]);\n    }\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"kind\"]);\n  } finally {\n    state.active.delete(input);\n  }\n}\n\nfunction canonicalTemporal(\n  raw: Record<string, unknown>,\n  path: Path,\n): Extract<KaladaV1Expression, { kind: \"instant\" | \"duration\" }> {\n  exact(raw, path, [\"kind\", \"milliseconds\"]);\n  if (!Number.isSafeInteger(raw.milliseconds)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"milliseconds\"]);\n  }\n  return Object.freeze({\n    kind: raw.kind,\n    milliseconds: Object.is(raw.milliseconds, -0) ? 0 : raw.milliseconds,\n  }) as Extract<KaladaV1Expression, { kind: \"instant\" | \"duration\" }>;\n}\n\nfunction canonicalCurrentInstant(\n  raw: Record<string, unknown>,\n  path: Path,\n): Extract<KaladaV1Expression, { kind: \"current-instant\" }> {\n  exact(raw, path, [\"kind\"]);\n  return Object.freeze({ kind: \"current-instant\" });\n}\n\nfunction canonicalTemporalOperation<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n  operators: readonly string[],\n): KaladaV1Expression<R> {\n  exact(raw, path, [\"kind\", \"operator\", \"left\", \"right\"]);\n  if (typeof raw.operator !== \"string\" || !operators.includes(raw.operator)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"operator\"]);\n  }\n  return Object.freeze({\n    kind: raw.kind,\n    operator: raw.operator,\n    left: canonicalNode(raw.left, [...path, \"left\"], depth + 1, state),\n    right: canonicalNode(raw.right, [...path, \"right\"], depth + 1, state),\n  }) as KaladaV1Expression<R>;\n}\n\nfunction canonicalLiteral<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  exact(raw, path, [\"kind\", \"value\"]);\n  return Object.freeze({\n    kind: \"literal\",\n    value: safeJson(raw.value, [...path, \"value\"], state),\n  });\n}\n\nfunction canonicalReference<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  exact(raw, path, [\"kind\", \"ref\"]);\n  const refPath = [...path, \"ref\"];\n  const codec = state.options.reference;\n  const ref = (\n    codec ? inspectJson(raw.ref, refPath, state) : safeJson(raw.ref, refPath, state)\n  ) as R;\n  if (codec ? !safeValidate(codec.validate, ref) : typeof ref !== \"string\" || ref.length === 0) {\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", refPath);\n  }\n  const replacement = codec?.canonicalize\n    ? safeCanonicalize(codec.canonicalize, ref, refPath)\n    : ref;\n  const output = (codec ? safeJson(replacement, refPath, state) : replacement) as R;\n  if (codec && !safeValidate(codec.validate, output))\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", refPath);\n  if (referenceLength(output) > state.limits.maxReferenceLength)\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", refPath);\n  return Object.freeze({ kind: \"ref\", ref: output });\n}\n\nfunction canonicalBinding<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  exact(raw, path, [\"kind\", \"name\", \"value\", \"body\"]);\n  const name = bindingName(raw.name, [...path, \"name\"], state.limits);\n  return Object.freeze({\n    kind: \"binding\",\n    name,\n    value: canonicalNode(raw.value, [...path, \"value\"], depth + 1, state),\n    body: canonicalNode(raw.body, [...path, \"body\"], depth + 1, state),\n  });\n}\n\nfunction canonicalOption<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  if (raw.variant === \"none\") {\n    exact(raw, path, [\"kind\", \"variant\"]);\n    return Object.freeze({ kind: \"option\", variant: \"none\" });\n  }\n  if (raw.variant !== \"some\") throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"variant\"]);\n  exact(raw, path, [\"kind\", \"variant\", \"value\"]);\n  return Object.freeze({\n    kind: \"option\",\n    variant: \"some\",\n    value: canonicalNode(raw.value, [...path, \"value\"], depth + 1, state),\n  });\n}\n\nfunction canonicalResult<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  if (raw.variant !== \"ok\" && raw.variant !== \"err\")\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"variant\"]);\n  exact(raw, path, [\"kind\", \"variant\", \"value\"]);\n  return Object.freeze({\n    kind: \"result\",\n    variant: raw.variant,\n    value: canonicalNode(raw.value, [...path, \"value\"], depth + 1, state),\n  });\n}\n\nfunction canonicalMatch<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> {\n  exact(raw, path, [\"kind\", \"type\", \"value\", \"arms\"]);\n  if (raw.type !== \"Option\" && raw.type !== \"Result\")\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"type\"]);\n  const value = canonicalNode(raw.value, [...path, \"value\"], depth + 1, state);\n  const arms = canonicalArms(raw.arms, raw.type, path, depth, state);\n  return Object.freeze({ kind: \"match\", type: raw.type, value, arms });\n}\n\nfunction canonicalArms<R extends JsonValue>(\n  input: unknown,\n  type: \"Option\" | \"Result\",\n  path: Path,\n  depth: number,\n  state: State<R>,\n): readonly MatchArm<R>[] {\n  if (!Array.isArray(input)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, \"arms\"]);\n  const entries = strictArray(input, [...path, \"arms\"]);\n  const expected: readonly string[] = ARM_ORDER[type];\n  const found = new Map<string, MatchArm<R>>();\n  entries.forEach((entry, index) => {\n    addArm(entry, index, type, expected, found, path, depth, state);\n  });\n  if (found.size !== expected.length)\n    throw new KaladaFailure(\"KALADA_MATCH_MISSING_ARM\", [...path, \"arms\"]);\n  return Object.freeze(expected.map((variant) => requiredArm(found, variant, path)));\n}\n\nfunction addArm<R extends JsonValue>(\n  input: unknown,\n  index: number,\n  type: \"Option\" | \"Result\",\n  expected: readonly string[],\n  found: Map<string, MatchArm<R>>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): void {\n  const armPath = [...path, \"arms\", index];\n  const raw = properties(input, armPath, new Set([\"variant\", \"binding\", \"body\"]), false);\n  if (found.size === expected.length)\n    throw new KaladaFailure(\"KALADA_MATCH_UNREACHABLE_ARM\", armPath);\n  if (typeof raw.variant !== \"string\" || !expected.includes(raw.variant))\n    throw new KaladaFailure(\"KALADA_MATCH_UNKNOWN_ARM\", [...armPath, \"variant\"]);\n  if (found.has(raw.variant))\n    throw new KaladaFailure(\"KALADA_MATCH_DUPLICATE_ARM\", [...armPath, \"variant\"]);\n  const allowsBinding = raw.variant !== \"none\";\n  if (!allowsBinding && \"binding\" in raw)\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...armPath, \"binding\"]);\n  exact(\n    raw,\n    armPath,\n    allowsBinding ? [\"variant\", \"body\", \"binding\"] : [\"variant\", \"body\"],\n    allowsBinding,\n  );\n  const binding =\n    raw.binding === undefined\n      ? undefined\n      : bindingName(raw.binding, [...armPath, \"binding\"], state.limits);\n  const body = canonicalNode(raw.body, [...armPath, \"body\"], depth + 1, state);\n  found.set(\n    raw.variant,\n    Object.freeze({ variant: raw.variant, ...(binding ? { binding } : {}), body }) as MatchArm<R>,\n  );\n  void type;\n}\n\nfunction requiredArm<R extends JsonValue>(\n  found: Map<string, MatchArm<R>>,\n  variant: string,\n  path: Path,\n): MatchArm<R> {\n  const arm = found.get(variant);\n  if (!arm) throw new KaladaFailure(\"KALADA_MATCH_MISSING_ARM\", [...path, \"arms\"]);\n  return arm;\n}\n"]}

package/dist/kalada-v1/codec.cjs

@@ -0,0 +1,173 @@
+'use strict';
+
+var json_js = require('./json.js');
+var limits_js = require('./limits.js');
+var temporal_js = require('./temporal.js');
+var values_js = require('./values.js');
+
+const INVALID = "Invalid kalada-value v1 envelope.";
+const LIMITS = Object.freeze({
+  maxDepth: limits_js.DEFAULT_KALADA_V1_LIMITS.maxValueDepth,
+  maxNodes: limits_js.DEFAULT_KALADA_V1_LIMITS.maxValueNodes,
+  maxStringLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxStringLength
+});
+function encodeKaladaValue(value) {
+  const frames = [];
+  const seen = /* @__PURE__ */ new WeakSet();
+  let current = value;
+  let nodes = 0;
+  while (values_js.isOption(current) || values_js.isResult(current)) {
+    nodes = charge(nodes, frames.length);
+    if (seen.has(current)) throw new TypeError(INVALID);
+    seen.add(current);
+    if (values_js.isOption(current) && current.variant === "none") {
+      return wrapFrames(frozenNone(), frames);
+    }
+    frames.push({ type: current.type, variant: current.variant });
+    current = current.value;
+  }
+  if (temporal_js.isInstant(current) || temporal_js.isDuration(current)) {
+    charge(nodes, frames.length);
+    return wrapFrames(frozenTemporal(current.type, current.milliseconds), frames);
+  }
+  const remaining = LIMITS.maxNodes - charge(nodes, frames.length);
+  const json = json_js.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(json_js.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(values_js.Option.none(), frames);
+    }
+    frames.push(payloadFrame(fields.type, fields.variant));
+    assertKeys(envelope, ["format", "version", "type", "variant", "value"]);
+    current = json_js.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 = json_js.dataValue(envelope, "value");
+  if (typeof value !== "number" || !Number.isSafeInteger(value)) throw new TypeError(INVALID);
+  return fields.type === "Instant" ? temporal_js.Instant.fromMilliseconds(value) : temporal_js.Duration.fromMilliseconds(value);
+}
+function decodeJson(input, nodes, depth) {
+  return json_js.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 (json_js.dataValue(input, "format") !== "kalada-value" || json_js.dataValue(input, "version") !== 1) {
+      throw new TypeError(INVALID);
+    }
+    return { type: json_js.dataValue(input, "type"), variant: json_js.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" ? values_js.Option.some(output) : frame.variant === "ok" ? values_js.Result.ok(output) : values_js.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
+  });
+}
+
+exports.decodeKaladaValue = decodeKaladaValue;
+exports.encodeKaladaValue = encodeKaladaValue;
+//# sourceMappingURL=codec.cjs.map
+//# sourceMappingURL=codec.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/codec.ts"],"names":["DEFAULT_KALADA_V1_LIMITS","isOption","isResult","isInstant","isDuration","cloneJsonWithStats","dataValue","Option","Instant","Duration","cloneJson","Result"],"mappings":";;;;;;;AA+CA,MAAM,OAAA,GAAU,mCAAA;AAChB,MAAM,MAAA,GAAS,OAAO,MAAA,CAAO;AAAA,EAC3B,UAAUA,kCAAA,CAAyB,aAAA;AAAA,EACnC,UAAUA,kCAAA,CAAyB,aAAA;AAAA,EACnC,iBAAiBA,kCAAA,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,OAAOC,kBAAA,CAAS,OAAO,CAAA,IAAKC,kBAAA,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,IAAID,kBAAA,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,IAAIE,qBAAA,CAAU,OAAO,CAAA,IAAKC,sBAAA,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,GAAOC,2BAAmB,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,WAAWC,iBAAA,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,CAAWC,gBAAA,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,GAAUD,iBAAA,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,GAAQA,iBAAA,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,GACnBE,mBAAA,CAAQ,iBAAiB,KAAK,CAAA,GAC9BC,oBAAA,CAAS,gBAAA,CAAiB,KAAK,CAAA;AACrC;AAEA,SAAS,UAAA,CAAW,KAAA,EAAgB,KAAA,EAAe,KAAA,EAA0B;AAC3E,EAAA,OAAOC,kBAAU,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,IAAIJ,iBAAA,CAAU,OAAO,QAAQ,CAAA,KAAM,kBAAkBA,iBAAA,CAAU,KAAA,EAAO,SAAS,CAAA,KAAM,CAAA,EAAG;AACtF,MAAA,MAAM,IAAI,UAAU,OAAO,CAAA;AAAA,IAC7B;AACA,IAAA,OAAO,EAAE,IAAA,EAAMA,iBAAA,CAAU,KAAA,EAAO,MAAM,GAAG,OAAA,EAASA,iBAAA,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,GACXC,gBAAA,CAAO,IAAA,CAAK,MAAM,CAAA,GAClB,KAAA,CAAM,OAAA,KAAY,IAAA,GAChBI,iBAAO,EAAA,CAAG,MAAM,CAAA,GAChBA,gBAAA,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.cjs","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/codec.d.cts

@@ -0,0 +1,32 @@
+import { JsonValue } from './json.cjs';
+import { KaladaValue } from './values.cjs';
+import './temporal.cjs';
+
+interface EncodedHeader {
+    readonly format: "kalada-value";
+    readonly version: 1;
+}
+type EncodedKaladaValueV1 = (EncodedHeader & {
+    readonly type: "Json";
+    readonly variant: "value";
+    readonly value: JsonValue;
+}) | (EncodedHeader & {
+    readonly type: "Option";
+    readonly variant: "none";
+}) | (EncodedHeader & {
+    readonly type: "Option";
+    readonly variant: "some";
+    readonly value: EncodedKaladaValueV1;
+}) | (EncodedHeader & {
+    readonly type: "Result";
+    readonly variant: "ok" | "err";
+    readonly value: EncodedKaladaValueV1;
+}) | (EncodedHeader & {
+    readonly type: "Instant" | "Duration";
+    readonly variant: "milliseconds";
+    readonly value: number;
+});
+declare function encodeKaladaValue(value: KaladaValue): EncodedKaladaValueV1;
+declare function decodeKaladaValue(input: unknown): KaladaValue;
+
+export { type EncodedKaladaValueV1, decodeKaladaValue, encodeKaladaValue };

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

@@ -0,0 +1,32 @@
+import { JsonValue } from './json.js';
+import { KaladaValue } from './values.js';
+import './temporal.js';
+
+interface EncodedHeader {
+    readonly format: "kalada-value";
+    readonly version: 1;
+}
+type EncodedKaladaValueV1 = (EncodedHeader & {
+    readonly type: "Json";
+    readonly variant: "value";
+    readonly value: JsonValue;
+}) | (EncodedHeader & {
+    readonly type: "Option";
+    readonly variant: "none";
+}) | (EncodedHeader & {
+    readonly type: "Option";
+    readonly variant: "some";
+    readonly value: EncodedKaladaValueV1;
+}) | (EncodedHeader & {
+    readonly type: "Result";
+    readonly variant: "ok" | "err";
+    readonly value: EncodedKaladaValueV1;
+}) | (EncodedHeader & {
+    readonly type: "Instant" | "Duration";
+    readonly variant: "milliseconds";
+    readonly value: number;
+});
+declare function encodeKaladaValue(value: KaladaValue): EncodedKaladaValueV1;
+declare function decodeKaladaValue(input: unknown): KaladaValue;
+
+export { type EncodedKaladaValueV1, decodeKaladaValue, encodeKaladaValue };