@kalada/core 0.3.0 → 0.4.0

package/README.md

@@ -13,9 +13,15 @@ third-party license declarations are reproduced in `THIRD_PARTY_NOTICES.md`.
 
 `@kalada/core/kalada-v1` is an additive, dependency-free native profile. It provides private
 WeakSet-branded `Option`/`Result` runtime values, explicit `kalada-value` v1 encoding, canonical
-program constructors and schemas, and a bounded compiler/evaluator. JSON values remain opaque:
-only `decodeKaladaValue` decodes an encoded envelope, and every JSON value is wrapped in a `Json`
-envelope so a discriminant-shaped object round-trips as ordinary JSON.
+program constructors and schemas, static function analysis, and a bounded compiler/evaluator.
+Typed functions are lexical values: they may capture bindings, be passed or returned, and call
+themselves or members of the same function group. Evaluation uses an iterative continuation
+machine, so recursion is bounded by configured limits rather than the JavaScript call stack.
+
+JSON values remain opaque. Only `decodeKaladaValue` decodes an encoded envelope, and every JSON
+value is wrapped in a `Json` envelope so a discriminant-shaped object round-trips as ordinary JSON.
+Callable values are evaluation-internal and cannot escape through a top-level result, an ADT, JSON,
+or the value codec.
 
 ```ts
 import { KaladaV1, compileKaladaV1Program } from "@kalada/core/kalada-v1";
@@ -28,6 +34,59 @@ const compiled = compileKaladaV1Program(KaladaV1.program(expression));
 const value = compiled.ok ? compiled.value.evaluate(() => ({ found: false })) : compiled;
 ```
 
+### Functions and collections
+
+Function parameters and returns use `KaladaV1.Type`. Calls validate arity and runtime values, and
+arguments are evaluated left-to-right. The collection functions are first-class callable values;
+callbacks receive `(element, zeroBasedIndex)`, preserve input order, and `some`/`every`
+short-circuit.
+
+```ts
+import { KaladaV1, compileKaladaV1Program } from "@kalada/core/kalada-v1";
+
+const json = KaladaV1.Type.primitive("json");
+const number = KaladaV1.Type.primitive("number");
+const indices = KaladaV1.call(KaladaV1.coreFunction("map"), [
+  KaladaV1.literal(["a", "b", "c"]),
+  KaladaV1.function(
+    [KaladaV1.parameter("element", json), KaladaV1.parameter("index", number)],
+    json,
+    KaladaV1.ref("index"),
+  ),
+]);
+const compiled = compileKaladaV1Program(KaladaV1.program(indices));
+const outcome = compiled.ok ? compiled.value.evaluate(() => ({ found: false })) : compiled;
+// outcome: { ok: true, value: [0, 1, 2] }
+```
+
+Named members of `KaladaV1.functionGroup` support direct and mutual recursion. Closures capture the
+definition scope, not the call scope. `analyzeKaladaV1Functions` exposes frozen capture metadata;
+`compileKaladaV1Program` also includes it in the compiled program's `functions` field.
+
+### Limits and failures
+
+`compileKaladaV1Program(program, { limits })` accepts partial overrides for AST/value/string,
+evaluation-step, function-parameter/group, capture, closure, call-depth, continuation, collection
+length, and cumulative collection-iteration limits. Defaults are exported as
+`DEFAULT_KALADA_V1_LIMITS` and `DEFAULT_KALADA_V1_FUNCTION_LIMITS`. Limits are inclusive and a
+failure returns a frozen diagnostic instead of throwing. Nested call diagnostics include at most
+the 32 innermost frozen context frames. A compiled program is reusable after any failure.
+
+Resolvers are synchronous and return `{ found: true, value }` or a missing/denied resolution.
+Thrown errors, promises, accessors, hostile proxies, cycles, sparse arrays, and non-JSON values are
+contained as diagnostics. `evaluateWithClock` samples its clock exactly once per evaluation.
+
+### Public entry points and non-goals
+
+- `@kalada/core` retains only the versioned program envelope and Kuery adapters.
+- `@kalada/core/kuery-v1` retains the Kuery 2.1 compatibility profile.
+- `@kalada/core/kalada-v1` owns the native factories, types, schemas, analysis, values, codec, and
+  compiler/evaluator.
+
+The profile has no parser, module loader, imports, I/O, effects, scheduling, host-language function
+interop, or async callbacks. Modules and imports are deferred to
+[#21](https://github.com/surikaterna/kalada/issues/21), not implicitly enabled by function values.
+
 Matches are limited to exactly two canonical arms: `some`, `none` for Option and `ok`, `err` for
 Result. There are no guards or fallthrough. Bindings are lexical: an initializer is evaluated in
 the outer scope, a body may shadow an outer binding, and only the selected match arm is evaluated.

package/dist/kalada-v1/canonical-input.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/canonical-input.ts"],"names":["KaladaFailure","dataValue","cloneJsonWithStats","cloneJson","canonicalJsonIdentity"],"mappings":";;;;;AAmBO,SAAS,UAAA,CACd,KAAA,EACA,IAAA,EACA,OAAA,EACA,eAAe,IAAA,EACU;AACzB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,MAAM,SAAkC,EAAC;AACzC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,CAAC,OAAA,CAAQ,GAAA,CAAI,GAAG,CAAA,EAAG;AAChD,MAAA,MAAM,IAAIA,6BAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,GAAG,CAAC,CAAC,CAAA;AAAA,IACxE;AACA,IAAA,IAAI;AACF,MAAA,MAAA,CAAO,GAAG,CAAA,GAAIC,iBAAA,CAAU,KAAA,EAAO,GAAG,CAAA;AAAA,IACpC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAID,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,MAAA,KAAW,OAAA,CAAQ,IAAA,EAAM;AAChD,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,KAAA,CACd,GAAA,EACA,IAAA,EACA,IAAA,EACA,eAAe,KAAA,EACT;AACN,EAAA,MAAM,OAAA,GAAU,YAAA,GAAe,IAAA,CAAK,MAAA,GAAS,IAAI,IAAA,CAAK,MAAA;AACtD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,OAAA,IAAW,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,IAAA,CAAK,MAAA,EAAQ;AAC9E,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,CAAA,EAAG,KAAA,GAAQ,OAAA,EAAS,SAAS,CAAA,EAAG;AAC/C,IAAA,MAAM,GAAA,GAAM,KAAK,KAAK,CAAA;AACtB,IAAA,IAAI,GAAA,KAAQ,MAAA,IAAa,EAAE,GAAA,IAAO,GAAA,CAAA,EAAM;AACtC,MAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,EAAG;AAClC,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EACzF;AACF;AAEO,SAAS,WAAA,CAAY,OAAkB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,KAAA,CAAM,MAAA,GAAS,GAAG,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAC1F,EAAA,OAAO,KAAA,CAAM,KAAK,EAAE,MAAA,EAAQ,MAAM,MAAA,EAAO,EAAG,CAAC,CAAA,EAAG,KAAA,KAAU;AACxD,IAAA,IAAI;AACF,MAAA,OAAOC,iBAAA,CAAU,KAAA,EAAO,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,IACvC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAID,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA,IAClE;AAAA,EACF,CAAC,CAAA;AACH;AAEO,SAAS,QAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAASE,2BAAmB,KAAA,EAAO;AAAA,MACvC,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,KAAA,CAAM,MAAA,CAAO,aAAA,GAAgB,KAAA,CAAM,UAAA;AAAA,MAC7C,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AACD,IAAA,KAAA,CAAM,cAAc,MAAA,CAAO,KAAA;AAC3B,IAAA,OAAO,MAAA,CAAO,KAAA;AAAA,EAChB,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAIF,4BAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,WAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,OAAOG,kBAAU,KAAA,EAAO;AAAA,MACtB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAIH,4BAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,gBAAgB,SAAA,EAA8B;AAC5D,EAAA,OAAO,OAAO,SAAA,KAAc,QAAA,GACxB,CAAC,GAAG,SAAS,CAAA,CAAE,MAAA,GACf,CAAC,GAAGI,6BAAA,CAAsB,SAAS,CAAC,CAAA,CAAE,MAAA;AAC5C;AAEO,SAAS,WAAA,CAAY,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAgC;AACtF,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,WAAW,CAAA,EAAG;AACnD,IAAA,MAAM,IAAIJ,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,CAAC,GAAG,KAAK,CAAA,CAAE,MAAA,GAAS,OAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAIA,4BAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,YAAA,CACd,UACA,KAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,KAAA;AAAA,EACT;AACF;AAEO,SAAS,gBAAA,CAAoB,YAAA,EAA+B,KAAA,EAAU,IAAA,EAAe;AAC1F,EAAA,IAAI;AACF,IAAA,OAAO,aAAa,KAAK,CAAA;AAAA,EAC3B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAAA,EAC1D;AACF;AAEO,SAAS,KAAA,CACd,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,QAAA,IAAY,CAAA;AAClB,EAAA,IAAI,KAAA,GAAQ,MAAM,MAAA,CAAO,WAAA,IAAe,MAAM,QAAA,GAAW,KAAA,CAAM,OAAO,WAAA,EAAa;AACjF,IAAA,MAAM,IAAIA,4BAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF","file":"canonical-input.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport {\n  canonicalJsonIdentity,\n  cloneJson,\n  cloneJsonWithStats,\n  dataValue,\n  type JsonValue,\n} from \"./json.js\";\nimport type { KaladaV1Limits, KaladaV1Options } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\nexport interface CanonicalState<R extends JsonValue> {\n  readonly limits: KaladaV1Limits;\n  readonly options: KaladaV1Options<R>;\n  readonly active: WeakSet<object>;\n  astNodes: number;\n  valueNodes: number;\n}\n\nexport function properties(\n  input: unknown,\n  path: Path,\n  allowed: ReadonlySet<string>,\n  requireExact = true,\n): Record<string, unknown> {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  const output: Record<string, unknown> = {};\n  for (const key of keys) {\n    if (typeof key !== \"string\" || !allowed.has(key)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, String(key)]);\n    }\n    try {\n      output[key] = dataValue(input, key);\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  if (requireExact && keys.length !== allowed.size) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  return output;\n}\n\nexport function exact(\n  raw: Record<string, unknown>,\n  path: Path,\n  keys: readonly string[],\n  optionalLast = false,\n): void {\n  const minimum = optionalLast ? keys.length - 1 : keys.length;\n  if (Object.keys(raw).length < minimum || Object.keys(raw).length > keys.length) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  for (let index = 0; index < minimum; index += 1) {\n    const key = keys[index];\n    if (key !== undefined && !(key in raw)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  for (const key of Object.keys(raw)) {\n    if (!keys.includes(key)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n  }\n}\n\nexport function strictArray(input: unknown[], path: Path): unknown[] {\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if (keys.length !== input.length + 1) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  return Array.from({ length: input.length }, (_, index) => {\n    try {\n      return dataValue(input, String(index));\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, index]);\n    }\n  });\n}\n\nexport function safeJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    const result = cloneJsonWithStats(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes - state.valueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n    state.valueNodes += result.nodes;\n    return result.value;\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function inspectJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    return cloneJson(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function referenceLength(reference: JsonValue): number {\n  return typeof reference === \"string\"\n    ? [...reference].length\n    : [...canonicalJsonIdentity(reference)].length;\n}\n\nexport function bindingName(input: unknown, path: Path, limits: KaladaV1Limits): string {\n  if (typeof input !== \"string\" || input.length === 0) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if ([...input].length > limits.maxReferenceLength) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return input;\n}\n\nexport function safeValidate<R>(\n  validate: (input: unknown) => input is R,\n  input: unknown,\n): input is R {\n  try {\n    return validate(input) === true;\n  } catch {\n    return false;\n  }\n}\n\nexport function safeCanonicalize<R>(canonicalize: (input: R) => R, input: R, path: Path): R {\n  try {\n    return canonicalize(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", path);\n  }\n}\n\nexport function count<R extends JsonValue>(\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): void {\n  state.astNodes += 1;\n  if (depth > state.limits.maxAstDepth || state.astNodes > state.limits.maxAstNodes) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/canonical-input.ts"],"names":["KaladaFailure","dataValue","cloneJsonWithStats","cloneJson","canonicalJsonIdentity"],"mappings":";;;;;AAoBO,SAAS,UAAA,CACd,KAAA,EACA,IAAA,EACA,OAAA,EACA,eAAe,IAAA,EACU;AACzB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,MAAM,SAAkC,EAAC;AACzC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,CAAC,OAAA,CAAQ,GAAA,CAAI,GAAG,CAAA,EAAG;AAChD,MAAA,MAAM,IAAIA,6BAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,GAAG,CAAC,CAAC,CAAA;AAAA,IACxE;AACA,IAAA,IAAI;AACF,MAAA,MAAA,CAAO,GAAG,CAAA,GAAIC,iBAAA,CAAU,KAAA,EAAO,GAAG,CAAA;AAAA,IACpC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAID,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,MAAA,KAAW,OAAA,CAAQ,IAAA,EAAM;AAChD,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,KAAA,CACd,GAAA,EACA,IAAA,EACA,IAAA,EACA,eAAe,KAAA,EACT;AACN,EAAA,MAAM,OAAA,GAAU,YAAA,GAAe,IAAA,CAAK,MAAA,GAAS,IAAI,IAAA,CAAK,MAAA;AACtD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,OAAA,IAAW,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,IAAA,CAAK,MAAA,EAAQ;AAC9E,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,CAAA,EAAG,KAAA,GAAQ,OAAA,EAAS,SAAS,CAAA,EAAG;AAC/C,IAAA,MAAM,GAAA,GAAM,KAAK,KAAK,CAAA;AACtB,IAAA,IAAI,GAAA,KAAQ,MAAA,IAAa,EAAE,GAAA,IAAO,GAAA,CAAA,EAAM;AACtC,MAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,EAAG;AAClC,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EACzF;AACF;AAEO,SAAS,WAAA,CAAY,OAAkB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,KAAA,CAAM,MAAA,GAAS,GAAG,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAC1F,EAAA,OAAO,KAAA,CAAM,KAAK,EAAE,MAAA,EAAQ,MAAM,MAAA,EAAO,EAAG,CAAC,CAAA,EAAG,KAAA,KAAU;AACxD,IAAA,IAAI;AACF,MAAA,OAAOC,iBAAA,CAAU,KAAA,EAAO,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,IACvC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAID,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA,IAClE;AAAA,EACF,CAAC,CAAA;AACH;AAEO,SAAS,QAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAASE,2BAAmB,KAAA,EAAO;AAAA,MACvC,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,KAAA,CAAM,MAAA,CAAO,aAAA,GAAgB,KAAA,CAAM,UAAA;AAAA,MAC7C,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AACD,IAAA,KAAA,CAAM,cAAc,MAAA,CAAO,KAAA;AAC3B,IAAA,OAAO,MAAA,CAAO,KAAA;AAAA,EAChB,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAIF,4BAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,WAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,OAAOG,kBAAU,KAAA,EAAO;AAAA,MACtB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAIH,4BAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,gBAAgB,SAAA,EAA8B;AAC5D,EAAA,OAAO,OAAO,SAAA,KAAc,QAAA,GACxB,CAAC,GAAG,SAAS,CAAA,CAAE,MAAA,GACf,CAAC,GAAGI,6BAAA,CAAsB,SAAS,CAAC,CAAA,CAAE,MAAA;AAC5C;AAEO,SAAS,WAAA,CAAY,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAgC;AACtF,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,WAAW,CAAA,EAAG;AACnD,IAAA,MAAM,IAAIJ,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,CAAC,GAAG,KAAK,CAAA,CAAE,MAAA,GAAS,OAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAIA,4BAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,YAAA,CACd,UACA,KAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,KAAA;AAAA,EACT;AACF;AAEO,SAAS,gBAAA,CAAoB,YAAA,EAA+B,KAAA,EAAU,IAAA,EAAe;AAC1F,EAAA,IAAI;AACF,IAAA,OAAO,aAAa,KAAK,CAAA;AAAA,EAC3B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAIA,4BAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAAA,EAC1D;AACF;AAEO,SAAS,KAAA,CACd,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,QAAA,IAAY,CAAA;AAClB,EAAA,IAAI,KAAA,GAAQ,MAAM,MAAA,CAAO,WAAA,IAAe,MAAM,QAAA,GAAW,KAAA,CAAM,OAAO,WAAA,EAAa;AACjF,IAAA,MAAM,IAAIA,4BAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF","file":"canonical-input.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport {\n  canonicalJsonIdentity,\n  cloneJson,\n  cloneJsonWithStats,\n  dataValue,\n  type JsonValue,\n} from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport type { KaladaV1Limits, KaladaV1Options } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\nexport interface CanonicalState<R extends JsonValue> {\n  readonly limits: ResolvedKaladaV1Limits;\n  readonly options: KaladaV1Options<R>;\n  readonly active: WeakSet<object>;\n  astNodes: number;\n  valueNodes: number;\n}\n\nexport function properties(\n  input: unknown,\n  path: Path,\n  allowed: ReadonlySet<string>,\n  requireExact = true,\n): Record<string, unknown> {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  const output: Record<string, unknown> = {};\n  for (const key of keys) {\n    if (typeof key !== \"string\" || !allowed.has(key)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, String(key)]);\n    }\n    try {\n      output[key] = dataValue(input, key);\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  if (requireExact && keys.length !== allowed.size) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  return output;\n}\n\nexport function exact(\n  raw: Record<string, unknown>,\n  path: Path,\n  keys: readonly string[],\n  optionalLast = false,\n): void {\n  const minimum = optionalLast ? keys.length - 1 : keys.length;\n  if (Object.keys(raw).length < minimum || Object.keys(raw).length > keys.length) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  for (let index = 0; index < minimum; index += 1) {\n    const key = keys[index];\n    if (key !== undefined && !(key in raw)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  for (const key of Object.keys(raw)) {\n    if (!keys.includes(key)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n  }\n}\n\nexport function strictArray(input: unknown[], path: Path): unknown[] {\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if (keys.length !== input.length + 1) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  return Array.from({ length: input.length }, (_, index) => {\n    try {\n      return dataValue(input, String(index));\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, index]);\n    }\n  });\n}\n\nexport function safeJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    const result = cloneJsonWithStats(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes - state.valueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n    state.valueNodes += result.nodes;\n    return result.value;\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function inspectJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    return cloneJson(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function referenceLength(reference: JsonValue): number {\n  return typeof reference === \"string\"\n    ? [...reference].length\n    : [...canonicalJsonIdentity(reference)].length;\n}\n\nexport function bindingName(input: unknown, path: Path, limits: KaladaV1Limits): string {\n  if (typeof input !== \"string\" || input.length === 0) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if ([...input].length > limits.maxReferenceLength) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return input;\n}\n\nexport function safeValidate<R>(\n  validate: (input: unknown) => input is R,\n  input: unknown,\n): input is R {\n  try {\n    return validate(input) === true;\n  } catch {\n    return false;\n  }\n}\n\nexport function safeCanonicalize<R>(canonicalize: (input: R) => R, input: R, path: Path): R {\n  try {\n    return canonicalize(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", path);\n  }\n}\n\nexport function count<R extends JsonValue>(\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): void {\n  state.astNodes += 1;\n  if (depth > state.limits.maxAstDepth || state.astNodes > state.limits.maxAstNodes) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n}\n"]}

package/dist/kalada-v1/canonical-input.d.cts

@@ -1,11 +1,12 @@
 import { JsonValue } from './json.cjs';
-import { KaladaV1Limits, KaladaV1Options } from './types.cjs';
+import { ResolvedKaladaV1Limits } from './limits.cjs';
+import { KaladaV1Options, KaladaV1Limits } from './types.cjs';
 import './temporal.cjs';
 import './values.cjs';
 
 type Path = readonly (string | number)[];
 interface CanonicalState<R extends JsonValue> {
-    readonly limits: KaladaV1Limits;
+    readonly limits: ResolvedKaladaV1Limits;
     readonly options: KaladaV1Options<R>;
     readonly active: WeakSet<object>;
     astNodes: number;

package/dist/kalada-v1/canonical-input.d.ts

@@ -1,11 +1,12 @@
 import { JsonValue } from './json.js';
-import { KaladaV1Limits, KaladaV1Options } from './types.js';
+import { ResolvedKaladaV1Limits } from './limits.js';
+import { KaladaV1Options, KaladaV1Limits } from './types.js';
 import './temporal.js';
 import './values.js';
 
 type Path = readonly (string | number)[];
 interface CanonicalState<R extends JsonValue> {
-    readonly limits: KaladaV1Limits;
+    readonly limits: ResolvedKaladaV1Limits;
     readonly options: KaladaV1Options<R>;
     readonly active: WeakSet<object>;
     astNodes: number;

package/dist/kalada-v1/canonical-input.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/canonical-input.ts"],"names":[],"mappings":";;;AAmBO,SAAS,UAAA,CACd,KAAA,EACA,IAAA,EACA,OAAA,EACA,eAAe,IAAA,EACU;AACzB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,MAAM,SAAkC,EAAC;AACzC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,CAAC,OAAA,CAAQ,GAAA,CAAI,GAAG,CAAA,EAAG;AAChD,MAAA,MAAM,IAAI,cAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,GAAG,CAAC,CAAC,CAAA;AAAA,IACxE;AACA,IAAA,IAAI;AACF,MAAA,MAAA,CAAO,GAAG,CAAA,GAAI,SAAA,CAAU,KAAA,EAAO,GAAG,CAAA;AAAA,IACpC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,MAAA,KAAW,OAAA,CAAQ,IAAA,EAAM;AAChD,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,KAAA,CACd,GAAA,EACA,IAAA,EACA,IAAA,EACA,eAAe,KAAA,EACT;AACN,EAAA,MAAM,OAAA,GAAU,YAAA,GAAe,IAAA,CAAK,MAAA,GAAS,IAAI,IAAA,CAAK,MAAA;AACtD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,OAAA,IAAW,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,IAAA,CAAK,MAAA,EAAQ;AAC9E,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,CAAA,EAAG,KAAA,GAAQ,OAAA,EAAS,SAAS,CAAA,EAAG;AAC/C,IAAA,MAAM,GAAA,GAAM,KAAK,KAAK,CAAA;AACtB,IAAA,IAAI,GAAA,KAAQ,MAAA,IAAa,EAAE,GAAA,IAAO,GAAA,CAAA,EAAM;AACtC,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,EAAG;AAClC,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EACzF;AACF;AAEO,SAAS,WAAA,CAAY,OAAkB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,KAAA,CAAM,MAAA,GAAS,GAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAC1F,EAAA,OAAO,KAAA,CAAM,KAAK,EAAE,MAAA,EAAQ,MAAM,MAAA,EAAO,EAAG,CAAC,CAAA,EAAG,KAAA,KAAU;AACxD,IAAA,IAAI;AACF,MAAA,OAAO,SAAA,CAAU,KAAA,EAAO,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,IACvC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA,IAClE;AAAA,EACF,CAAC,CAAA;AACH;AAEO,SAAS,QAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAAS,mBAAmB,KAAA,EAAO;AAAA,MACvC,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,KAAA,CAAM,MAAA,CAAO,aAAA,GAAgB,KAAA,CAAM,UAAA;AAAA,MAC7C,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AACD,IAAA,KAAA,CAAM,cAAc,MAAA,CAAO,KAAA;AAC3B,IAAA,OAAO,MAAA,CAAO,KAAA;AAAA,EAChB,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,WAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,OAAO,UAAU,KAAA,EAAO;AAAA,MACtB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,gBAAgB,SAAA,EAA8B;AAC5D,EAAA,OAAO,OAAO,SAAA,KAAc,QAAA,GACxB,CAAC,GAAG,SAAS,CAAA,CAAE,MAAA,GACf,CAAC,GAAG,qBAAA,CAAsB,SAAS,CAAC,CAAA,CAAE,MAAA;AAC5C;AAEO,SAAS,WAAA,CAAY,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAgC;AACtF,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,WAAW,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,CAAC,GAAG,KAAK,CAAA,CAAE,MAAA,GAAS,OAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,YAAA,CACd,UACA,KAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,KAAA;AAAA,EACT;AACF;AAEO,SAAS,gBAAA,CAAoB,YAAA,EAA+B,KAAA,EAAU,IAAA,EAAe;AAC1F,EAAA,IAAI;AACF,IAAA,OAAO,aAAa,KAAK,CAAA;AAAA,EAC3B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAAA,EAC1D;AACF;AAEO,SAAS,KAAA,CACd,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,QAAA,IAAY,CAAA;AAClB,EAAA,IAAI,KAAA,GAAQ,MAAM,MAAA,CAAO,WAAA,IAAe,MAAM,QAAA,GAAW,KAAA,CAAM,OAAO,WAAA,EAAa;AACjF,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF","file":"canonical-input.js","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport {\n  canonicalJsonIdentity,\n  cloneJson,\n  cloneJsonWithStats,\n  dataValue,\n  type JsonValue,\n} from \"./json.js\";\nimport type { KaladaV1Limits, KaladaV1Options } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\nexport interface CanonicalState<R extends JsonValue> {\n  readonly limits: KaladaV1Limits;\n  readonly options: KaladaV1Options<R>;\n  readonly active: WeakSet<object>;\n  astNodes: number;\n  valueNodes: number;\n}\n\nexport function properties(\n  input: unknown,\n  path: Path,\n  allowed: ReadonlySet<string>,\n  requireExact = true,\n): Record<string, unknown> {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  const output: Record<string, unknown> = {};\n  for (const key of keys) {\n    if (typeof key !== \"string\" || !allowed.has(key)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, String(key)]);\n    }\n    try {\n      output[key] = dataValue(input, key);\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  if (requireExact && keys.length !== allowed.size) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  return output;\n}\n\nexport function exact(\n  raw: Record<string, unknown>,\n  path: Path,\n  keys: readonly string[],\n  optionalLast = false,\n): void {\n  const minimum = optionalLast ? keys.length - 1 : keys.length;\n  if (Object.keys(raw).length < minimum || Object.keys(raw).length > keys.length) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  for (let index = 0; index < minimum; index += 1) {\n    const key = keys[index];\n    if (key !== undefined && !(key in raw)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  for (const key of Object.keys(raw)) {\n    if (!keys.includes(key)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n  }\n}\n\nexport function strictArray(input: unknown[], path: Path): unknown[] {\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if (keys.length !== input.length + 1) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  return Array.from({ length: input.length }, (_, index) => {\n    try {\n      return dataValue(input, String(index));\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, index]);\n    }\n  });\n}\n\nexport function safeJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    const result = cloneJsonWithStats(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes - state.valueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n    state.valueNodes += result.nodes;\n    return result.value;\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function inspectJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    return cloneJson(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function referenceLength(reference: JsonValue): number {\n  return typeof reference === \"string\"\n    ? [...reference].length\n    : [...canonicalJsonIdentity(reference)].length;\n}\n\nexport function bindingName(input: unknown, path: Path, limits: KaladaV1Limits): string {\n  if (typeof input !== \"string\" || input.length === 0) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if ([...input].length > limits.maxReferenceLength) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return input;\n}\n\nexport function safeValidate<R>(\n  validate: (input: unknown) => input is R,\n  input: unknown,\n): input is R {\n  try {\n    return validate(input) === true;\n  } catch {\n    return false;\n  }\n}\n\nexport function safeCanonicalize<R>(canonicalize: (input: R) => R, input: R, path: Path): R {\n  try {\n    return canonicalize(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", path);\n  }\n}\n\nexport function count<R extends JsonValue>(\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): void {\n  state.astNodes += 1;\n  if (depth > state.limits.maxAstDepth || state.astNodes > state.limits.maxAstNodes) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n}\n"]}
+{"version":3,"sources":["../../src/kalada-v1/canonical-input.ts"],"names":[],"mappings":";;;AAoBO,SAAS,UAAA,CACd,KAAA,EACA,IAAA,EACA,OAAA,EACA,eAAe,IAAA,EACU;AACzB,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AACvE,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,MAAM,SAAkC,EAAC;AACzC,EAAA,KAAA,MAAW,OAAO,IAAA,EAAM;AACtB,IAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,CAAC,OAAA,CAAQ,GAAA,CAAI,GAAG,CAAA,EAAG;AAChD,MAAA,MAAM,IAAI,cAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAA,CAAO,GAAG,CAAC,CAAC,CAAA;AAAA,IACxE;AACA,IAAA,IAAI;AACF,MAAA,MAAA,CAAO,GAAG,CAAA,GAAI,SAAA,CAAU,KAAA,EAAO,GAAG,CAAA;AAAA,IACpC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,IAAI,YAAA,IAAgB,IAAA,CAAK,MAAA,KAAW,OAAA,CAAQ,IAAA,EAAM;AAChD,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,OAAO,MAAA;AACT;AAEO,SAAS,KAAA,CACd,GAAA,EACA,IAAA,EACA,IAAA,EACA,eAAe,KAAA,EACT;AACN,EAAA,MAAM,OAAA,GAAU,YAAA,GAAe,IAAA,CAAK,MAAA,GAAS,IAAI,IAAA,CAAK,MAAA;AACtD,EAAA,IAAI,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,OAAA,IAAW,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,CAAE,MAAA,GAAS,IAAA,CAAK,MAAA,EAAQ;AAC9E,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,IAAS,KAAA,GAAQ,CAAA,EAAG,KAAA,GAAQ,OAAA,EAAS,SAAS,CAAA,EAAG;AAC/C,IAAA,MAAM,GAAA,GAAM,KAAK,KAAK,CAAA;AACtB,IAAA,IAAI,GAAA,KAAQ,MAAA,IAAa,EAAE,GAAA,IAAO,GAAA,CAAA,EAAM;AACtC,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,IAChE;AAAA,EACF;AACA,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,GAAG,CAAA,EAAG;AAClC,IAAA,IAAI,CAAC,IAAA,CAAK,QAAA,CAAS,GAAG,CAAA,EAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,GAAG,CAAC,CAAA;AAAA,EACzF;AACF;AAEO,SAAS,WAAA,CAAY,OAAkB,IAAA,EAAuB;AACnE,EAAA,IAAI,IAAA;AACJ,EAAA,IAAI;AACF,IAAA,IAAA,GAAO,OAAA,CAAQ,QAAQ,KAAK,CAAA;AAAA,EAC9B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,IAAA,CAAK,WAAW,KAAA,CAAM,MAAA,GAAS,GAAG,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAC1F,EAAA,OAAO,KAAA,CAAM,KAAK,EAAE,MAAA,EAAQ,MAAM,MAAA,EAAO,EAAG,CAAC,CAAA,EAAG,KAAA,KAAU;AACxD,IAAA,IAAI;AACF,MAAA,OAAO,SAAA,CAAU,KAAA,EAAO,MAAA,CAAO,KAAK,CAAC,CAAA;AAAA,IACvC,CAAA,CAAA,MAAQ;AACN,MAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,KAAK,CAAC,CAAA;AAAA,IAClE;AAAA,EACF,CAAC,CAAA;AACH;AAEO,SAAS,QAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,MAAM,MAAA,GAAS,mBAAmB,KAAA,EAAO;AAAA,MACvC,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,KAAA,CAAM,MAAA,CAAO,aAAA,GAAgB,KAAA,CAAM,UAAA;AAAA,MAC7C,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AACD,IAAA,KAAA,CAAM,cAAc,MAAA,CAAO,KAAA;AAC3B,IAAA,OAAO,MAAA,CAAO,KAAA;AAAA,EAChB,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,WAAA,CACd,KAAA,EACA,IAAA,EACA,KAAA,EACW;AACX,EAAA,IAAI;AACF,IAAA,OAAO,UAAU,KAAA,EAAO;AAAA,MACtB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,QAAA,EAAU,MAAM,MAAA,CAAO,aAAA;AAAA,MACvB,eAAA,EAAiB,MAAM,MAAA,CAAO;AAAA,KAC/B,CAAA;AAAA,EACH,SAAS,KAAA,EAAO;AACd,IAAA,IAAI,iBAAiB,UAAA,EAAY,MAAM,IAAI,aAAA,CAAc,yBAAyB,IAAI,CAAA;AACtF,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACF;AAEO,SAAS,gBAAgB,SAAA,EAA8B;AAC5D,EAAA,OAAO,OAAO,SAAA,KAAc,QAAA,GACxB,CAAC,GAAG,SAAS,CAAA,CAAE,MAAA,GACf,CAAC,GAAG,qBAAA,CAAsB,SAAS,CAAC,CAAA,CAAE,MAAA;AAC5C;AAEO,SAAS,WAAA,CAAY,KAAA,EAAgB,IAAA,EAAY,MAAA,EAAgC;AACtF,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,CAAM,WAAW,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,aAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,IAAI,CAAC,GAAG,KAAK,CAAA,CAAE,MAAA,GAAS,OAAO,kBAAA,EAAoB;AACjD,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACA,EAAA,OAAO,KAAA;AACT;AAEO,SAAS,YAAA,CACd,UACA,KAAA,EACY;AACZ,EAAA,IAAI;AACF,IAAA,OAAO,QAAA,CAAS,KAAK,CAAA,KAAM,IAAA;AAAA,EAC7B,CAAA,CAAA,MAAQ;AACN,IAAA,OAAO,KAAA;AAAA,EACT;AACF;AAEO,SAAS,gBAAA,CAAoB,YAAA,EAA+B,KAAA,EAAU,IAAA,EAAe;AAC1F,EAAA,IAAI;AACF,IAAA,OAAO,aAAa,KAAK,CAAA;AAAA,EAC3B,CAAA,CAAA,MAAQ;AACN,IAAA,MAAM,IAAI,aAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAAA,EAC1D;AACF;AAEO,SAAS,KAAA,CACd,IAAA,EACA,KAAA,EACA,KAAA,EACM;AACN,EAAA,KAAA,CAAM,QAAA,IAAY,CAAA;AAClB,EAAA,IAAI,KAAA,GAAQ,MAAM,MAAA,CAAO,WAAA,IAAe,MAAM,QAAA,GAAW,KAAA,CAAM,OAAO,WAAA,EAAa;AACjF,IAAA,MAAM,IAAI,aAAA,CAAc,uBAAA,EAAyB,IAAI,CAAA;AAAA,EACvD;AACF","file":"canonical-input.js","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport {\n  canonicalJsonIdentity,\n  cloneJson,\n  cloneJsonWithStats,\n  dataValue,\n  type JsonValue,\n} from \"./json.js\";\nimport type { ResolvedKaladaV1Limits } from \"./limits.js\";\nimport type { KaladaV1Limits, KaladaV1Options } from \"./types.js\";\n\nexport type Path = readonly (string | number)[];\nexport interface CanonicalState<R extends JsonValue> {\n  readonly limits: ResolvedKaladaV1Limits;\n  readonly options: KaladaV1Options<R>;\n  readonly active: WeakSet<object>;\n  astNodes: number;\n  valueNodes: number;\n}\n\nexport function properties(\n  input: unknown,\n  path: Path,\n  allowed: ReadonlySet<string>,\n  requireExact = true,\n): Record<string, unknown> {\n  if (typeof input !== \"object\" || input === null || Array.isArray(input)) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  const output: Record<string, unknown> = {};\n  for (const key of keys) {\n    if (typeof key !== \"string\" || !allowed.has(key)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, String(key)]);\n    }\n    try {\n      output[key] = dataValue(input, key);\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  if (requireExact && keys.length !== allowed.size) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  return output;\n}\n\nexport function exact(\n  raw: Record<string, unknown>,\n  path: Path,\n  keys: readonly string[],\n  optionalLast = false,\n): void {\n  const minimum = optionalLast ? keys.length - 1 : keys.length;\n  if (Object.keys(raw).length < minimum || Object.keys(raw).length > keys.length) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  for (let index = 0; index < minimum; index += 1) {\n    const key = keys[index];\n    if (key !== undefined && !(key in raw)) {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n    }\n  }\n  for (const key of Object.keys(raw)) {\n    if (!keys.includes(key)) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, key]);\n  }\n}\n\nexport function strictArray(input: unknown[], path: Path): unknown[] {\n  let keys: PropertyKey[];\n  try {\n    keys = Reflect.ownKeys(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if (keys.length !== input.length + 1) throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  return Array.from({ length: input.length }, (_, index) => {\n    try {\n      return dataValue(input, String(index));\n    } catch {\n      throw new KaladaFailure(\"KALADA_INVALID_INPUT\", [...path, index]);\n    }\n  });\n}\n\nexport function safeJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    const result = cloneJsonWithStats(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes - state.valueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n    state.valueNodes += result.nodes;\n    return result.value;\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function inspectJson<R extends JsonValue>(\n  input: unknown,\n  path: Path,\n  state: CanonicalState<R>,\n): JsonValue {\n  try {\n    return cloneJson(input, {\n      maxDepth: state.limits.maxValueDepth,\n      maxNodes: state.limits.maxValueNodes,\n      maxStringLength: state.limits.maxStringLength,\n    });\n  } catch (error) {\n    if (error instanceof RangeError) throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n}\n\nexport function referenceLength(reference: JsonValue): number {\n  return typeof reference === \"string\"\n    ? [...reference].length\n    : [...canonicalJsonIdentity(reference)].length;\n}\n\nexport function bindingName(input: unknown, path: Path, limits: KaladaV1Limits): string {\n  if (typeof input !== \"string\" || input.length === 0) {\n    throw new KaladaFailure(\"KALADA_INVALID_INPUT\", path);\n  }\n  if ([...input].length > limits.maxReferenceLength) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n  return input;\n}\n\nexport function safeValidate<R>(\n  validate: (input: unknown) => input is R,\n  input: unknown,\n): input is R {\n  try {\n    return validate(input) === true;\n  } catch {\n    return false;\n  }\n}\n\nexport function safeCanonicalize<R>(canonicalize: (input: R) => R, input: R, path: Path): R {\n  try {\n    return canonicalize(input);\n  } catch {\n    throw new KaladaFailure(\"KALADA_INVALID_REFERENCE\", path);\n  }\n}\n\nexport function count<R extends JsonValue>(\n  path: Path,\n  depth: number,\n  state: CanonicalState<R>,\n): void {\n  state.astNodes += 1;\n  if (depth > state.limits.maxAstDepth || state.astNodes > state.limits.maxAstNodes) {\n    throw new KaladaFailure(\"KALADA_LIMIT_EXCEEDED\", path);\n  }\n}\n"]}

package/dist/kalada-v1/canonicalize.cjs

@@ -2,6 +2,7 @@
 
 var canonicalInput_js = require('./canonical-input.js');
 var diagnostics_js = require('./diagnostics.js');
+var functionContracts_js = require('./function-contracts.js');
 var limits_js = require('./limits.js');
 
 const NODE_KEYS = /* @__PURE__ */ new Set([
@@ -16,7 +17,12 @@ const NODE_KEYS = /* @__PURE__ */ new Set([
   "milliseconds",
   "operator",
   "left",
-  "right"
+  "right",
+  "parameters",
+  "returns",
+  "callee",
+  "arguments",
+  "functions"
 ]);
 const ARM_ORDER = Object.freeze({ Option: ["some", "none"], Result: ["ok", "err"] });
 function canonicalizeKaladaV1Program(input, options = {}) {
@@ -52,6 +58,8 @@ function canonicalNode(input, path, depth, state) {
     const raw = canonicalInput_js.properties(input, path, NODE_KEYS, false);
     if (raw.kind === "literal") return canonicalLiteral(raw, path, state);
     if (raw.kind === "ref") return canonicalReference(raw, path, state);
+    const added = canonicalAddedNode(raw, path, depth, state);
+    if (added) return added;
     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);
@@ -76,6 +84,13 @@ function canonicalNode(input, path, depth, state) {
     state.active.delete(input);
   }
 }
+function canonicalAddedNode(raw, path, depth, state) {
+  if (raw.kind === "function") return functionContracts_js.canonicalFunction(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "call") return functionContracts_js.canonicalCall(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "function-group") return functionContracts_js.canonicalGroup(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "core-function") return functionContracts_js.canonicalCoreFunction(raw, path);
+  return void 0;
+}
 function canonicalTemporal(raw, path) {
   canonicalInput_js.exact(raw, path, ["kind", "milliseconds"]);
   if (!Number.isSafeInteger(raw.milliseconds)) {

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/kalada-v1/canonicalize.ts"],"names":["resolveLimits","properties","KaladaFailure","success","failure","count","exact","safeJson","inspectJson","safeValidate","safeCanonicalize","referenceLength","bindingName","strictArray"],"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,GAASA,uBAAA,CAAc,OAAA,CAAQ,MAAM,CAAA;AAC3C,IAAA,MAAM,MAAA,GAASC,4BAAA,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,IAAIC,4BAAA,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,OAAOC,sBAAA;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,iBAAiBD,4BAAA,GAAgB,KAAA,GAAQ,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AACvF,IAAA,OAAOE,sBAAA,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,EAAAC,uBAAA,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,IAAIH,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,CAAM,MAAA,CAAO,IAAI,KAAK,CAAA;AACtB,EAAA,IAAI;AACF,IAAA,MAAM,GAAA,GAAMD,4BAAA,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,IAAIC,4BAAA,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,EAAAI,uBAAA,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,IAAIJ,4BAAA,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,EAAAI,uBAAA,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,EAAAA,uBAAA,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,IAAIJ,4BAAA,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,EAAAI,uBAAA,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,EAAOC,2BAAS,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,EAAAD,uBAAA,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,GAAQE,6BAAA,CAAY,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA,GAAID,0BAAA,CAAS,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA;AAEjF,EAAA,IAAI,KAAA,GAAQ,CAACE,8BAAA,CAAa,KAAA,CAAM,QAAA,EAAU,GAAG,CAAA,GAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,GAAA,CAAI,MAAA,KAAW,CAAA,EAAG;AAC5F,IAAA,MAAM,IAAIP,4BAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAAA,EAC7D;AACA,EAAA,MAAM,WAAA,GAAc,OAAO,YAAA,GACvBQ,kCAAA,CAAiB,MAAM,YAAA,EAAc,GAAA,EAAK,OAAO,CAAA,GACjD,GAAA;AACJ,EAAA,MAAM,SAAU,KAAA,GAAQH,0BAAA,CAAS,WAAA,EAAa,OAAA,EAAS,KAAK,CAAA,GAAI,WAAA;AAChE,EAAA,IAAI,KAAA,IAAS,CAACE,8BAAA,CAAa,KAAA,CAAM,UAAU,MAAM,CAAA;AAC/C,IAAA,MAAM,IAAIP,4BAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAC7D,EAAA,IAAIS,iCAAA,CAAgB,MAAM,CAAA,GAAI,KAAA,CAAM,MAAA,CAAO,kBAAA;AACzC,IAAA,MAAM,IAAIT,4BAAA,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,EAAAI,uBAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,MAAA,EAAQ,OAAA,EAAS,MAAM,CAAC,CAAA;AAClD,EAAA,MAAM,IAAA,GAAOM,6BAAA,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,IAAAN,uBAAA,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,IAAIJ,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AAChG,EAAAI,uBAAA,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,IAAIJ,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AACtE,EAAAI,uBAAA,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,EAAAA,uBAAA,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,IAAIJ,4BAAA,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,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC5F,EAAA,MAAM,UAAUW,6BAAA,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,IAAIX,4BAAA,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,GAAMD,4BAAA,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,IAAIC,4BAAA,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,IAAIA,4BAAA,CAAc,0BAAA,EAA4B,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AAC7E,EAAA,IAAI,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,OAAO,CAAA;AACvB,IAAA,MAAM,IAAIA,4BAAA,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,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AACzE,EAAAI,uBAAA;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,SACAM,6BAAA,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,IAAIV,4BAAA,CAAc,4BAA4B,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC/E,EAAA,OAAO,GAAA;AACT","file":"canonicalize.cjs","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"]}
+{"version":3,"sources":["../../src/kalada-v1/canonicalize.ts"],"names":["resolveLimits","properties","KaladaFailure","success","failure","count","canonicalFunction","canonicalCall","canonicalGroup","canonicalCoreFunction","exact","safeJson","inspectJson","safeValidate","safeCanonicalize","referenceLength","bindingName","strictArray"],"mappings":";;;;;;;AA+BA,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,OAAA;AAAA,EACA,YAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,WAAA;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,GAASA,uBAAA,CAAc,OAAA,CAAQ,MAAM,CAAA;AAC3C,IAAA,MAAM,MAAA,GAASC,4BAAA,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,IAAIC,4BAAA,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,OAAOC,sBAAA;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,iBAAiBD,4BAAA,GAAgB,KAAA,GAAQ,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AACvF,IAAA,OAAOE,sBAAA,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,EAAAC,uBAAA,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,IAAIH,4BAAA,CAAc,sBAAA,EAAwB,IAAI,CAAA;AAAA,EACtD;AACA,EAAA,KAAA,CAAM,MAAA,CAAO,IAAI,KAAK,CAAA;AACtB,EAAA,IAAI;AACF,IAAA,MAAM,GAAA,GAAMD,4BAAA,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,MAAM,KAAA,GAAQ,kBAAA,CAAmB,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACxD,IAAA,IAAI,OAAO,OAAO,KAAA;AAClB,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,IAAIC,4BAAA,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,kBAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACmC;AACnC,EAAA,IAAI,GAAA,CAAI,SAAS,UAAA,EAAY,OAAOI,uCAAkB,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AAC5F,EAAA,IAAI,GAAA,CAAI,SAAS,MAAA,EAAQ,OAAOC,mCAAc,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AACpF,EAAA,IAAI,GAAA,CAAI,SAAS,gBAAA,EAAkB,OAAOC,oCAAe,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AAC/F,EAAA,IAAI,IAAI,IAAA,KAAS,eAAA,EAAiB,OAAOC,0CAAA,CAAsB,KAAK,IAAI,CAAA;AACxE,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,iBAAA,CACP,KACA,IAAA,EAC+D;AAC/D,EAAAC,uBAAA,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,IAAIR,4BAAA,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,EAAAQ,uBAAA,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,EAAAA,uBAAA,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,IAAIR,4BAAA,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,EAAAQ,uBAAA,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,EAAOC,2BAAS,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,EAAAD,uBAAA,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,GAAQE,6BAAA,CAAY,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA,GAAID,0BAAA,CAAS,GAAA,CAAI,GAAA,EAAK,OAAA,EAAS,KAAK,CAAA;AAEjF,EAAA,IAAI,KAAA,GAAQ,CAACE,8BAAA,CAAa,KAAA,CAAM,QAAA,EAAU,GAAG,CAAA,GAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,GAAA,CAAI,MAAA,KAAW,CAAA,EAAG;AAC5F,IAAA,MAAM,IAAIX,4BAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAAA,EAC7D;AACA,EAAA,MAAM,WAAA,GAAc,OAAO,YAAA,GACvBY,kCAAA,CAAiB,MAAM,YAAA,EAAc,GAAA,EAAK,OAAO,CAAA,GACjD,GAAA;AACJ,EAAA,MAAM,SAAU,KAAA,GAAQH,0BAAA,CAAS,WAAA,EAAa,OAAA,EAAS,KAAK,CAAA,GAAI,WAAA;AAChE,EAAA,IAAI,KAAA,IAAS,CAACE,8BAAA,CAAa,KAAA,CAAM,UAAU,MAAM,CAAA;AAC/C,IAAA,MAAM,IAAIX,4BAAA,CAAc,0BAAA,EAA4B,OAAO,CAAA;AAC7D,EAAA,IAAIa,iCAAA,CAAgB,MAAM,CAAA,GAAI,KAAA,CAAM,MAAA,CAAO,kBAAA;AACzC,IAAA,MAAM,IAAIb,4BAAA,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,EAAAQ,uBAAA,CAAM,KAAK,IAAA,EAAM,CAAC,QAAQ,MAAA,EAAQ,OAAA,EAAS,MAAM,CAAC,CAAA;AAClD,EAAA,MAAM,IAAA,GAAOM,6BAAA,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,IAAAN,uBAAA,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,IAAIR,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AAChG,EAAAQ,uBAAA,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,IAAIR,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,SAAS,CAAC,CAAA;AACtE,EAAAQ,uBAAA,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,EAAAA,uBAAA,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,IAAIR,4BAAA,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,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC5F,EAAA,MAAM,UAAUe,6BAAA,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,IAAIf,4BAAA,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,GAAMD,4BAAA,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,IAAIC,4BAAA,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,IAAIA,4BAAA,CAAc,0BAAA,EAA4B,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AAC7E,EAAA,IAAI,KAAA,CAAM,GAAA,CAAI,GAAA,CAAI,OAAO,CAAA;AACvB,IAAA,MAAM,IAAIA,4BAAA,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,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,CAAC,GAAG,OAAA,EAAS,SAAS,CAAC,CAAA;AACzE,EAAAQ,uBAAA;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,SACAM,6BAAA,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,IAAId,4BAAA,CAAc,4BAA4B,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AAC/E,EAAA,OAAO,GAAA;AACT","file":"canonicalize.cjs","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 {\n  canonicalCall,\n  canonicalCoreFunction,\n  canonicalFunction,\n  canonicalGroup,\n} from \"./function-contracts.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  \"parameters\",\n  \"returns\",\n  \"callee\",\n  \"arguments\",\n  \"functions\",\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    const added = canonicalAddedNode(raw, path, depth, state);\n    if (added) return added;\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 canonicalAddedNode<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> | undefined {\n  if (raw.kind === \"function\") return canonicalFunction(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"call\") return canonicalCall(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"function-group\") return canonicalGroup(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"core-function\") return canonicalCoreFunction(raw, path);\n  return undefined;\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/canonicalize.js

@@ -1,5 +1,6 @@
 import { properties, count, exact, safeJson, inspectJson, safeValidate, safeCanonicalize, referenceLength, bindingName, strictArray } from './canonical-input.js';
 import { KaladaFailure, success, failure } from './diagnostics.js';
+import { canonicalFunction, canonicalCall, canonicalGroup, canonicalCoreFunction } from './function-contracts.js';
 import { resolveLimits } from './limits.js';
 
 const NODE_KEYS = /* @__PURE__ */ new Set([
@@ -14,7 +15,12 @@ const NODE_KEYS = /* @__PURE__ */ new Set([
   "milliseconds",
   "operator",
   "left",
-  "right"
+  "right",
+  "parameters",
+  "returns",
+  "callee",
+  "arguments",
+  "functions"
 ]);
 const ARM_ORDER = Object.freeze({ Option: ["some", "none"], Result: ["ok", "err"] });
 function canonicalizeKaladaV1Program(input, options = {}) {
@@ -50,6 +56,8 @@ function canonicalNode(input, path, depth, state) {
     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);
+    const added = canonicalAddedNode(raw, path, depth, state);
+    if (added) return added;
     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);
@@ -74,6 +82,13 @@ function canonicalNode(input, path, depth, state) {
     state.active.delete(input);
   }
 }
+function canonicalAddedNode(raw, path, depth, state) {
+  if (raw.kind === "function") return canonicalFunction(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "call") return canonicalCall(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "function-group") return canonicalGroup(raw, path, depth, state, canonicalNode);
+  if (raw.kind === "core-function") return canonicalCoreFunction(raw, path);
+  return void 0;
+}
 function canonicalTemporal(raw, path) {
   exact(raw, path, ["kind", "milliseconds"]);
   if (!Number.isSafeInteger(raw.milliseconds)) {

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

@@ -1 +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"]}
+{"version":3,"sources":["../../src/kalada-v1/canonicalize.ts"],"names":[],"mappings":";;;;;AA+BA,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,OAAA;AAAA,EACA,YAAA;AAAA,EACA,SAAA;AAAA,EACA,QAAA;AAAA,EACA,WAAA;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,MAAM,KAAA,GAAQ,kBAAA,CAAmB,GAAA,EAAK,IAAA,EAAM,OAAO,KAAK,CAAA;AACxD,IAAA,IAAI,OAAO,OAAO,KAAA;AAClB,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,kBAAA,CACP,GAAA,EACA,IAAA,EACA,KAAA,EACA,KAAA,EACmC;AACnC,EAAA,IAAI,GAAA,CAAI,SAAS,UAAA,EAAY,OAAO,kBAAkB,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AAC5F,EAAA,IAAI,GAAA,CAAI,SAAS,MAAA,EAAQ,OAAO,cAAc,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AACpF,EAAA,IAAI,GAAA,CAAI,SAAS,gBAAA,EAAkB,OAAO,eAAe,GAAA,EAAK,IAAA,EAAM,KAAA,EAAO,KAAA,EAAO,aAAa,CAAA;AAC/F,EAAA,IAAI,IAAI,IAAA,KAAS,eAAA,EAAiB,OAAO,qBAAA,CAAsB,KAAK,IAAI,CAAA;AACxE,EAAA,OAAO,MAAA;AACT;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 {\n  canonicalCall,\n  canonicalCoreFunction,\n  canonicalFunction,\n  canonicalGroup,\n} from \"./function-contracts.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  \"parameters\",\n  \"returns\",\n  \"callee\",\n  \"arguments\",\n  \"functions\",\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    const added = canonicalAddedNode(raw, path, depth, state);\n    if (added) return added;\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 canonicalAddedNode<R extends JsonValue>(\n  raw: Record<string, unknown>,\n  path: Path,\n  depth: number,\n  state: State<R>,\n): KaladaV1Expression<R> | undefined {\n  if (raw.kind === \"function\") return canonicalFunction(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"call\") return canonicalCall(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"function-group\") return canonicalGroup(raw, path, depth, state, canonicalNode);\n  if (raw.kind === \"core-function\") return canonicalCoreFunction(raw, path);\n  return undefined;\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/compile.cjs

@@ -6,6 +6,7 @@ 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 staticAnalysis_js = require('./static-analysis.js');
 var temporal_js = require('./temporal.js');
 
 function compileKaladaV1Program(input, options = {}) {
@@ -18,17 +19,25 @@ function compileKaladaV1Program(input, options = {}) {
     return diagnostics_js.failure("KALADA_LIMIT_EXCEEDED", []);
   }
   const program = canonical.value;
+  let functions;
+  try {
+    functions = staticAnalysis_js.analyzeKaladaV1Functions(program.expression, limits);
+  } catch (error) {
+    const problem = error instanceof diagnostics_js.KaladaFailure ? error : new diagnostics_js.KaladaFailure("KALADA_INVALID_INPUT", []);
+    return diagnostics_js.failure(problem.code, problem.path);
+  }
   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)
+      functions,
+      evaluate: (resolve, inputs) => evaluate_js.evaluateKaladaV1(program.expression, resolve, limits, functions, inputs),
+      evaluateWithClock: (resolve, clock) => evaluateWithClock(program.expression, resolve, limits, functions, clock)
     })
   );
 }
-function evaluateWithClock(expression, resolve, limits, clock) {
+function evaluateWithClock(expression, resolve, limits, functions, clock) {
   let sample;
   try {
     sample = clock();
@@ -37,7 +46,7 @@ function evaluateWithClock(expression, resolve, limits, 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 });
+  return evaluate_js.evaluateKaladaV1(expression, resolve, limits, functions, { instant: sample });
 }
 
 exports.compileKaladaV1Program = compileKaladaV1Program;

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

@@ -1 +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"]}
+{"version":3,"sources":["../../src/kalada-v1/compile.ts"],"names":["canonicalizeKaladaV1Program","resolveLimits","failure","analyzeKaladaV1Functions","KaladaFailure","collectKaladaV1Dependencies","success","evaluateKaladaV1","rejectCallbackPromise","isInstant"],"mappings":";;;;;;;;;;;AAmBO,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,IAAI,SAAA;AACJ,EAAA,IAAI;AACF,IAAA,SAAA,GAAYC,0CAAA,CAAyB,OAAA,CAAQ,UAAA,EAAY,MAAM,CAAA;AAAA,EACjE,SAAS,KAAA,EAAO;AACd,IAAA,MAAM,OAAA,GACJ,iBAAiBC,4BAAA,GAAgB,KAAA,GAAQ,IAAIA,4BAAA,CAAc,sBAAA,EAAwB,EAAE,CAAA;AACvF,IAAA,OAAOF,sBAAA,CAAQ,OAAA,CAAQ,IAAA,EAAM,OAAA,CAAQ,IAAI,CAAA;AAAA,EAC3C;AACA,EAAA,MAAM,YAAA,GAAeG,2CAAA,CAA4B,OAAA,CAAQ,UAAU,CAAA;AACnE,EAAA,OAAOC,sBAAA;AAAA,IACL,OAAO,MAAA,CAAO;AAAA,MACZ,OAAA;AAAA,MACA,YAAA;AAAA,MACA,SAAA;AAAA,MACA,QAAA,EAAU,CAAC,OAAA,EAA8B,MAAA,KACvCC,4BAAA,CAAiB,QAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,SAAA,EAAW,MAAM,CAAA;AAAA,MACzE,iBAAA,EAAmB,CAAC,OAAA,EAA8B,KAAA,KAChD,iBAAA,CAAkB,QAAQ,UAAA,EAAY,OAAA,EAAS,MAAA,EAAQ,SAAA,EAAW,KAAK;AAAA,KAC1E;AAAA,GACH;AACF;AAEA,SAAS,iBAAA,CACP,UAAA,EACA,OAAA,EACA,MAAA,EACA,WACA,KAAA,EACwC;AACxC,EAAA,IAAI,MAAA;AACJ,EAAA,IAAI;AACF,IAAA,MAAA,GAAS,KAAA,EAAM;AAAA,EACjB,CAAA,CAAA,MAAQ;AACN,IAAA,OAAOL,sBAAA,CAAQ,oBAAA,EAAsB,CAAC,OAAO,CAAC,CAAA;AAAA,EAChD;AACA,EAAA,IAAIM,wCAAA,CAAsB,MAAM,CAAA,EAAG,OAAON,uBAAQ,0BAAA,EAA4B,CAAC,OAAO,CAAC,CAAA;AACvF,EAAA,IAAI,CAACO,sBAAU,MAAM,CAAA,SAAUP,sBAAA,CAAQ,sBAAA,EAAwB,CAAC,OAAO,CAAC,CAAA;AACxE,EAAA,OAAOK,4BAAA,CAAiB,YAAY,OAAA,EAAS,MAAA,EAAQ,WAAW,EAAE,OAAA,EAAS,QAAQ,CAAA;AACrF","file":"compile.cjs","sourcesContent":["import { rejectCallbackPromise } from \"../kuery-v1/callback-promise.js\";\nimport { canonicalizeKaladaV1Program } from \"./canonicalize.js\";\nimport { collectKaladaV1Dependencies } from \"./dependencies.js\";\nimport { failure, KaladaFailure, success } from \"./diagnostics.js\";\nimport { evaluateKaladaV1 } from \"./evaluate.js\";\nimport type { JsonValue } from \"./json.js\";\nimport { type ResolvedKaladaV1Limits, resolveLimits } from \"./limits.js\";\nimport { analyzeKaladaV1Functions } from \"./static-analysis.js\";\nimport { isInstant } from \"./temporal.js\";\nimport type {\n  CompiledKaladaV1Program,\n  KaladaV1Clock,\n  KaladaV1EvaluationInputs,\n  KaladaV1FunctionCapture,\n  KaladaV1Options,\n  KaladaV1Outcome,\n  KaladaV1Resolver,\n} from \"./types.js\";\n\nexport function compileKaladaV1Program<R extends JsonValue = string>(\n  input: unknown,\n  options: KaladaV1Options<R> = {},\n): KaladaV1Outcome<CompiledKaladaV1Program<R>> {\n  const canonical = canonicalizeKaladaV1Program<R>(input, options);\n  if (!canonical.ok) return canonical;\n  let limits: ResolvedKaladaV1Limits;\n  try {\n    limits = resolveLimits(options.limits);\n  } catch {\n    return failure(\"KALADA_LIMIT_EXCEEDED\", []);\n  }\n  const program = canonical.value;\n  let functions: readonly KaladaV1FunctionCapture[];\n  try {\n    functions = analyzeKaladaV1Functions(program.expression, limits);\n  } catch (error) {\n    const problem =\n      error instanceof KaladaFailure ? error : new KaladaFailure(\"KALADA_INVALID_INPUT\", []);\n    return failure(problem.code, problem.path);\n  }\n  const dependencies = collectKaladaV1Dependencies(program.expression);\n  return success(\n    Object.freeze({\n      program,\n      dependencies,\n      functions,\n      evaluate: (resolve: KaladaV1Resolver<R>, inputs?: KaladaV1EvaluationInputs) =>\n        evaluateKaladaV1(program.expression, resolve, limits, functions, inputs),\n      evaluateWithClock: (resolve: KaladaV1Resolver<R>, clock: KaladaV1Clock) =>\n        evaluateWithClock(program.expression, resolve, limits, functions, clock),\n    }),\n  );\n}\n\nfunction evaluateWithClock<R extends JsonValue>(\n  expression: Parameters<typeof evaluateKaladaV1<R>>[0],\n  resolve: KaladaV1Resolver<R>,\n  limits: ResolvedKaladaV1Limits,\n  functions: readonly KaladaV1FunctionCapture[],\n  clock: KaladaV1Clock,\n): ReturnType<typeof evaluateKaladaV1<R>> {\n  let sample: unknown;\n  try {\n    sample = clock();\n  } catch {\n    return failure(\"KALADA_CLOCK_ERROR\", [\"clock\"]);\n  }\n  if (rejectCallbackPromise(sample)) return failure(\"KALADA_ASYNC_UNSUPPORTED\", [\"clock\"]);\n  if (!isInstant(sample)) return failure(\"KALADA_INVALID_CLOCK\", [\"clock\"]);\n  return evaluateKaladaV1(expression, resolve, limits, functions, { instant: sample });\n}\n"]}