@kalada/core 0.0.0

package/dist/kuery-v1/result.cjs

@@ -0,0 +1,44 @@
+'use strict';
+
+const MESSAGES = Object.freeze({
+  EXPRESSION_INVALID_INPUT: "Expression input is invalid.",
+  EXPRESSION_LIMIT_EXCEEDED: "Expression input exceeds a configured limit.",
+  EXPRESSION_INVALID_REFERENCE: "Expression reference is invalid.",
+  EXPRESSION_UNKNOWN_OPERATOR: "Expression operator is not in the selected profile.",
+  EXPRESSION_INVALID_ARITY: "Expression operator has an invalid number of arguments.",
+  EXPRESSION_TYPE_MISMATCH: "Expression operator received an incompatible value type.",
+  EXPRESSION_DIVISION_BY_ZERO: "Expression division by zero is not allowed.",
+  EXPRESSION_NON_FINITE_RESULT: "Expression arithmetic produced a non-finite result.",
+  EXPRESSION_REFERENCE_ERROR: "Expression reference resolution failed.",
+  EXPRESSION_REFERENCE_MISSING: "Expression reference is missing.",
+  EXPRESSION_REFERENCE_DENIED: "Expression reference access was denied.",
+  EXPRESSION_OPERATOR_ERROR: "Expression operator evaluation failed.",
+  EXPRESSION_ASYNC_UNSUPPORTED: "Expression callbacks must return synchronously.",
+  EXPRESSION_EVALUATION_LIMIT: "Expression evaluation exceeded its configured cost limit.",
+  EXPRESSION_INVALID_RESULT: "Expression callback returned an invalid JSON value."
+});
+function diagnostic(code, path) {
+  return Object.freeze({ code, path: Object.freeze([...path]), message: MESSAGES[code] });
+}
+function failure(code, path) {
+  return Object.freeze({ ok: false, diagnostic: diagnostic(code, path) });
+}
+function success(value) {
+  return Object.freeze({ ok: true, value });
+}
+class ExpressionFailure extends Error {
+  code;
+  expressionPath;
+  constructor(code, expressionPath) {
+    super(code);
+    this.code = code;
+    this.expressionPath = expressionPath;
+  }
+}
+
+exports.ExpressionFailure = ExpressionFailure;
+exports.diagnostic = diagnostic;
+exports.failure = failure;
+exports.success = success;
+//# sourceMappingURL=result.cjs.map
+//# sourceMappingURL=result.cjs.map

package/dist/kuery-v1/result.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kuery-v1/result.ts"],"names":[],"mappings":";;AAOA,MAAM,QAAA,GAA+D,OAAO,MAAA,CAAO;AAAA,EACjF,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,yBAAA,EAA2B,8CAAA;AAAA,EAC3B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,2BAAA,EAA6B,qDAAA;AAAA,EAC7B,wBAAA,EAA0B,yDAAA;AAAA,EAC1B,wBAAA,EAA0B,0DAAA;AAAA,EAC1B,2BAAA,EAA6B,6CAAA;AAAA,EAC7B,4BAAA,EAA8B,qDAAA;AAAA,EAC9B,0BAAA,EAA4B,yCAAA;AAAA,EAC5B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,2BAAA,EAA6B,yCAAA;AAAA,EAC7B,yBAAA,EAA2B,wCAAA;AAAA,EAC3B,4BAAA,EAA8B,iDAAA;AAAA,EAC9B,2BAAA,EAA6B,2DAAA;AAAA,EAC7B,yBAAA,EAA2B;AAC7B,CAAC,CAAA;AAEM,SAAS,UAAA,CACd,MACA,IAAA,EACsB;AACtB,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,IAAA,EAAM,OAAO,MAAA,CAAO,CAAC,GAAG,IAAI,CAAC,CAAA,EAAG,OAAA,EAAS,QAAA,CAAS,IAAI,GAAG,CAAA;AACxF;AAEO,SAAS,OAAA,CAAW,MAAgC,IAAA,EAAiC;AAC1F,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAA,EAAO,YAAY,UAAA,CAAW,IAAA,EAAM,IAAI,CAAA,EAAG,CAAA;AACxE;AAEO,SAAS,QAAW,KAAA,EAAqB;AAC9C,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,IAAA,EAAM,OAAO,CAAA;AAC1C;AAEO,MAAM,0BAA0B,KAAA,CAAM;AAAA,EAClC,IAAA;AAAA,EACA,cAAA;AAAA,EAET,WAAA,CAAY,MAAgC,cAAA,EAAgC;AAC1E,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,cAAA,GAAiB,cAAA;AAAA,EACxB;AACF","file":"result.cjs","sourcesContent":["import type {\n  ExpressionDiagnostic,\n  ExpressionDiagnosticCode,\n  ExpressionPath,\n  Result,\n} from \"./types.js\";\n\nconst MESSAGES: Readonly<Record<ExpressionDiagnosticCode, string>> = Object.freeze({\n  EXPRESSION_INVALID_INPUT: \"Expression input is invalid.\",\n  EXPRESSION_LIMIT_EXCEEDED: \"Expression input exceeds a configured limit.\",\n  EXPRESSION_INVALID_REFERENCE: \"Expression reference is invalid.\",\n  EXPRESSION_UNKNOWN_OPERATOR: \"Expression operator is not in the selected profile.\",\n  EXPRESSION_INVALID_ARITY: \"Expression operator has an invalid number of arguments.\",\n  EXPRESSION_TYPE_MISMATCH: \"Expression operator received an incompatible value type.\",\n  EXPRESSION_DIVISION_BY_ZERO: \"Expression division by zero is not allowed.\",\n  EXPRESSION_NON_FINITE_RESULT: \"Expression arithmetic produced a non-finite result.\",\n  EXPRESSION_REFERENCE_ERROR: \"Expression reference resolution failed.\",\n  EXPRESSION_REFERENCE_MISSING: \"Expression reference is missing.\",\n  EXPRESSION_REFERENCE_DENIED: \"Expression reference access was denied.\",\n  EXPRESSION_OPERATOR_ERROR: \"Expression operator evaluation failed.\",\n  EXPRESSION_ASYNC_UNSUPPORTED: \"Expression callbacks must return synchronously.\",\n  EXPRESSION_EVALUATION_LIMIT: \"Expression evaluation exceeded its configured cost limit.\",\n  EXPRESSION_INVALID_RESULT: \"Expression callback returned an invalid JSON value.\",\n});\n\nexport function diagnostic(\n  code: ExpressionDiagnosticCode,\n  path: ExpressionPath,\n): ExpressionDiagnostic {\n  return Object.freeze({ code, path: Object.freeze([...path]), message: MESSAGES[code] });\n}\n\nexport function failure<T>(code: ExpressionDiagnosticCode, path: ExpressionPath): Result<T> {\n  return Object.freeze({ ok: false, diagnostic: diagnostic(code, path) });\n}\n\nexport function success<T>(value: T): Result<T> {\n  return Object.freeze({ ok: true, value });\n}\n\nexport class ExpressionFailure extends Error {\n  readonly code: ExpressionDiagnosticCode;\n  readonly expressionPath: ExpressionPath;\n\n  constructor(code: ExpressionDiagnosticCode, expressionPath: ExpressionPath) {\n    super(code);\n    this.code = code;\n    this.expressionPath = expressionPath;\n  }\n}\n"]}

package/dist/kuery-v1/result.d.cts

@@ -0,0 +1,12 @@
+import { ExpressionDiagnosticCode, ExpressionPath, ExpressionDiagnostic, Result } from './types.cjs';
+
+declare function diagnostic(code: ExpressionDiagnosticCode, path: ExpressionPath): ExpressionDiagnostic;
+declare function failure<T>(code: ExpressionDiagnosticCode, path: ExpressionPath): Result<T>;
+declare function success<T>(value: T): Result<T>;
+declare class ExpressionFailure extends Error {
+    readonly code: ExpressionDiagnosticCode;
+    readonly expressionPath: ExpressionPath;
+    constructor(code: ExpressionDiagnosticCode, expressionPath: ExpressionPath);
+}
+
+export { ExpressionFailure, diagnostic, failure, success };

package/dist/kuery-v1/result.d.ts

@@ -0,0 +1,12 @@
+import { ExpressionDiagnosticCode, ExpressionPath, ExpressionDiagnostic, Result } from './types.js';
+
+declare function diagnostic(code: ExpressionDiagnosticCode, path: ExpressionPath): ExpressionDiagnostic;
+declare function failure<T>(code: ExpressionDiagnosticCode, path: ExpressionPath): Result<T>;
+declare function success<T>(value: T): Result<T>;
+declare class ExpressionFailure extends Error {
+    readonly code: ExpressionDiagnosticCode;
+    readonly expressionPath: ExpressionPath;
+    constructor(code: ExpressionDiagnosticCode, expressionPath: ExpressionPath);
+}
+
+export { ExpressionFailure, diagnostic, failure, success };

package/dist/kuery-v1/result.js

@@ -0,0 +1,39 @@
+const MESSAGES = Object.freeze({
+  EXPRESSION_INVALID_INPUT: "Expression input is invalid.",
+  EXPRESSION_LIMIT_EXCEEDED: "Expression input exceeds a configured limit.",
+  EXPRESSION_INVALID_REFERENCE: "Expression reference is invalid.",
+  EXPRESSION_UNKNOWN_OPERATOR: "Expression operator is not in the selected profile.",
+  EXPRESSION_INVALID_ARITY: "Expression operator has an invalid number of arguments.",
+  EXPRESSION_TYPE_MISMATCH: "Expression operator received an incompatible value type.",
+  EXPRESSION_DIVISION_BY_ZERO: "Expression division by zero is not allowed.",
+  EXPRESSION_NON_FINITE_RESULT: "Expression arithmetic produced a non-finite result.",
+  EXPRESSION_REFERENCE_ERROR: "Expression reference resolution failed.",
+  EXPRESSION_REFERENCE_MISSING: "Expression reference is missing.",
+  EXPRESSION_REFERENCE_DENIED: "Expression reference access was denied.",
+  EXPRESSION_OPERATOR_ERROR: "Expression operator evaluation failed.",
+  EXPRESSION_ASYNC_UNSUPPORTED: "Expression callbacks must return synchronously.",
+  EXPRESSION_EVALUATION_LIMIT: "Expression evaluation exceeded its configured cost limit.",
+  EXPRESSION_INVALID_RESULT: "Expression callback returned an invalid JSON value."
+});
+function diagnostic(code, path) {
+  return Object.freeze({ code, path: Object.freeze([...path]), message: MESSAGES[code] });
+}
+function failure(code, path) {
+  return Object.freeze({ ok: false, diagnostic: diagnostic(code, path) });
+}
+function success(value) {
+  return Object.freeze({ ok: true, value });
+}
+class ExpressionFailure extends Error {
+  code;
+  expressionPath;
+  constructor(code, expressionPath) {
+    super(code);
+    this.code = code;
+    this.expressionPath = expressionPath;
+  }
+}
+
+export { ExpressionFailure, diagnostic, failure, success };
+//# sourceMappingURL=result.js.map
+//# sourceMappingURL=result.js.map

package/dist/kuery-v1/result.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kuery-v1/result.ts"],"names":[],"mappings":"AAOA,MAAM,QAAA,GAA+D,OAAO,MAAA,CAAO;AAAA,EACjF,wBAAA,EAA0B,8BAAA;AAAA,EAC1B,yBAAA,EAA2B,8CAAA;AAAA,EAC3B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,2BAAA,EAA6B,qDAAA;AAAA,EAC7B,wBAAA,EAA0B,yDAAA;AAAA,EAC1B,wBAAA,EAA0B,0DAAA;AAAA,EAC1B,2BAAA,EAA6B,6CAAA;AAAA,EAC7B,4BAAA,EAA8B,qDAAA;AAAA,EAC9B,0BAAA,EAA4B,yCAAA;AAAA,EAC5B,4BAAA,EAA8B,kCAAA;AAAA,EAC9B,2BAAA,EAA6B,yCAAA;AAAA,EAC7B,yBAAA,EAA2B,wCAAA;AAAA,EAC3B,4BAAA,EAA8B,iDAAA;AAAA,EAC9B,2BAAA,EAA6B,2DAAA;AAAA,EAC7B,yBAAA,EAA2B;AAC7B,CAAC,CAAA;AAEM,SAAS,UAAA,CACd,MACA,IAAA,EACsB;AACtB,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,IAAA,EAAM,IAAA,EAAM,OAAO,MAAA,CAAO,CAAC,GAAG,IAAI,CAAC,CAAA,EAAG,OAAA,EAAS,QAAA,CAAS,IAAI,GAAG,CAAA;AACxF;AAEO,SAAS,OAAA,CAAW,MAAgC,IAAA,EAAiC;AAC1F,EAAA,OAAO,MAAA,CAAO,MAAA,CAAO,EAAE,EAAA,EAAI,KAAA,EAAO,YAAY,UAAA,CAAW,IAAA,EAAM,IAAI,CAAA,EAAG,CAAA;AACxE;AAEO,SAAS,QAAW,KAAA,EAAqB;AAC9C,EAAA,OAAO,OAAO,MAAA,CAAO,EAAE,EAAA,EAAI,IAAA,EAAM,OAAO,CAAA;AAC1C;AAEO,MAAM,0BAA0B,KAAA,CAAM;AAAA,EAClC,IAAA;AAAA,EACA,cAAA;AAAA,EAET,WAAA,CAAY,MAAgC,cAAA,EAAgC;AAC1E,IAAA,KAAA,CAAM,IAAI,CAAA;AACV,IAAA,IAAA,CAAK,IAAA,GAAO,IAAA;AACZ,IAAA,IAAA,CAAK,cAAA,GAAiB,cAAA;AAAA,EACxB;AACF","file":"result.js","sourcesContent":["import type {\n  ExpressionDiagnostic,\n  ExpressionDiagnosticCode,\n  ExpressionPath,\n  Result,\n} from \"./types.js\";\n\nconst MESSAGES: Readonly<Record<ExpressionDiagnosticCode, string>> = Object.freeze({\n  EXPRESSION_INVALID_INPUT: \"Expression input is invalid.\",\n  EXPRESSION_LIMIT_EXCEEDED: \"Expression input exceeds a configured limit.\",\n  EXPRESSION_INVALID_REFERENCE: \"Expression reference is invalid.\",\n  EXPRESSION_UNKNOWN_OPERATOR: \"Expression operator is not in the selected profile.\",\n  EXPRESSION_INVALID_ARITY: \"Expression operator has an invalid number of arguments.\",\n  EXPRESSION_TYPE_MISMATCH: \"Expression operator received an incompatible value type.\",\n  EXPRESSION_DIVISION_BY_ZERO: \"Expression division by zero is not allowed.\",\n  EXPRESSION_NON_FINITE_RESULT: \"Expression arithmetic produced a non-finite result.\",\n  EXPRESSION_REFERENCE_ERROR: \"Expression reference resolution failed.\",\n  EXPRESSION_REFERENCE_MISSING: \"Expression reference is missing.\",\n  EXPRESSION_REFERENCE_DENIED: \"Expression reference access was denied.\",\n  EXPRESSION_OPERATOR_ERROR: \"Expression operator evaluation failed.\",\n  EXPRESSION_ASYNC_UNSUPPORTED: \"Expression callbacks must return synchronously.\",\n  EXPRESSION_EVALUATION_LIMIT: \"Expression evaluation exceeded its configured cost limit.\",\n  EXPRESSION_INVALID_RESULT: \"Expression callback returned an invalid JSON value.\",\n});\n\nexport function diagnostic(\n  code: ExpressionDiagnosticCode,\n  path: ExpressionPath,\n): ExpressionDiagnostic {\n  return Object.freeze({ code, path: Object.freeze([...path]), message: MESSAGES[code] });\n}\n\nexport function failure<T>(code: ExpressionDiagnosticCode, path: ExpressionPath): Result<T> {\n  return Object.freeze({ ok: false, diagnostic: diagnostic(code, path) });\n}\n\nexport function success<T>(value: T): Result<T> {\n  return Object.freeze({ ok: true, value });\n}\n\nexport class ExpressionFailure extends Error {\n  readonly code: ExpressionDiagnosticCode;\n  readonly expressionPath: ExpressionPath;\n\n  constructor(code: ExpressionDiagnosticCode, expressionPath: ExpressionPath) {\n    super(code);\n    this.code = code;\n    this.expressionPath = expressionPath;\n  }\n}\n"]}

package/dist/kuery-v1/standard-profile.cjs

@@ -0,0 +1,173 @@
+'use strict';
+
+var profile_js = require('./profile.js');
+var result_js = require('./result.js');
+
+function equal(left, right) {
+  if (typeof left !== typeof right || left === null || right === null) return left === right;
+  if (Array.isArray(left) || Array.isArray(right)) {
+    return Array.isArray(left) && Array.isArray(right) && arrayEqual(left, right);
+  }
+  if (typeof left === "object" && typeof right === "object") {
+    const leftObject = left;
+    const rightObject = right;
+    const leftKeys = Object.keys(leftObject);
+    const rightKeys = Object.keys(rightObject);
+    return leftKeys.length === rightKeys.length && leftKeys.every(
+      (key) => Object.hasOwn(rightObject, key) && equal(leftObject[key], rightObject[key])
+    );
+  }
+  return left === right;
+}
+function arrayEqual(left, right) {
+  return left.length === right.length && left.every((value, index) => equal(value, right[index]));
+}
+function compare(args, predicate) {
+  const [left, right] = args;
+  if (!sameComparableType(left, right)) throw new result_js.ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  return predicate(left, right);
+}
+function sameComparableType(left, right) {
+  return typeof left === "number" && typeof right === "number" || typeof left === "string" && typeof right === "string";
+}
+function finiteNumbers(args) {
+  if (args.some((value) => typeof value !== "number")) {
+    throw new result_js.ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  }
+  if (args.some((value) => !Number.isFinite(value)))
+    throw new result_js.ExpressionFailure("EXPRESSION_NON_FINITE_RESULT", []);
+  return args;
+}
+function arithmetic(args, calculate) {
+  const [left, right] = finiteNumbers(args);
+  const result = calculate(left, right);
+  if (!Number.isFinite(result)) throw new result_js.ExpressionFailure("EXPRESSION_NON_FINITE_RESULT", []);
+  return result;
+}
+const definitions = [
+  { name: "eq", arity: 2, resultType: "boolean", execute: ([left, right]) => equal(left, right) },
+  {
+    name: "neq",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([left, right]) => !equal(left, right)
+  },
+  {
+    name: "gt",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left > right)
+  },
+  {
+    name: "gte",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left >= right)
+  },
+  {
+    name: "lt",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left < right)
+  },
+  {
+    name: "lte",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left <= right)
+  },
+  {
+    name: "not",
+    arity: 1,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    execute: ([value]) => !value
+  },
+  {
+    name: "in",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([value, choices]) => membership(value, choices, false)
+  },
+  {
+    name: "nin",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([value, choices]) => membership(value, choices, true)
+  },
+  {
+    name: "add",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a + b)
+  },
+  {
+    name: "sub",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a - b)
+  },
+  {
+    name: "mul",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a * b)
+  },
+  {
+    name: "div",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: divide
+  },
+  {
+    name: "and",
+    minArgs: 1,
+    maxArgs: 32,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    strategy: "and",
+    execute: (args) => args.every(Boolean)
+  },
+  {
+    name: "or",
+    minArgs: 1,
+    maxArgs: 32,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    strategy: "or",
+    execute: (args) => args.some(Boolean)
+  },
+  { name: "coalesce", minArgs: 1, maxArgs: 32, strategy: "coalesce", execute: (args) => args[0] },
+  { name: "exists", arity: 1, resultType: "boolean", strategy: "exists", execute: () => true },
+  {
+    name: "if",
+    arity: 3,
+    inputTypes: ["boolean", "any", "any"],
+    strategy: "if",
+    execute: ([condition, whenTrue, whenFalse]) => condition ? whenTrue : whenFalse
+  }
+];
+function membership(value, choices, negate) {
+  if (!Array.isArray(choices)) throw new result_js.ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  const includes = choices.some((candidate) => equal(value, candidate));
+  return negate ? !includes : includes;
+}
+function divide(args) {
+  const [left, right] = finiteNumbers(args);
+  if (Object.is(right, 0) || Object.is(right, -0)) {
+    throw new result_js.ExpressionFailure("EXPRESSION_DIVISION_BY_ZERO", []);
+  }
+  return arithmetic([left, right], (a, b) => a / b);
+}
+const standardV1 = profile_js.internalProfile.createStandardProfile(
+  "standard-v1",
+  definitions
+);
+
+exports.standardV1 = standardV1;
+//# sourceMappingURL=standard-profile.cjs.map
+//# sourceMappingURL=standard-profile.cjs.map

package/dist/kuery-v1/standard-profile.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kuery-v1/standard-profile.ts"],"names":["ExpressionFailure","internalProfile"],"mappings":";;;;;AAQA,SAAS,KAAA,CAAM,MAAiB,KAAA,EAA2B;AACzD,EAAA,IAAI,OAAO,SAAS,OAAO,KAAA,IAAS,SAAS,IAAA,IAAQ,KAAA,KAAU,IAAA,EAAM,OAAO,IAAA,KAAS,KAAA;AACrF,EAAA,IAAI,MAAM,OAAA,CAAQ,IAAI,KAAK,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AAC/C,IAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,KAAK,CAAA,IAAK,UAAA,CAAW,IAAA,EAAM,KAAK,CAAA;AAAA,EAC9E;AACA,EAAA,IAAI,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,UAAU,QAAA,EAAU;AACzD,IAAA,MAAM,UAAA,GAAa,IAAA;AACnB,IAAA,MAAM,WAAA,GAAc,KAAA;AACpB,IAAA,MAAM,QAAA,GAAW,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AACvC,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA;AACzC,IAAA,OACE,QAAA,CAAS,MAAA,KAAW,SAAA,CAAU,MAAA,IAC9B,QAAA,CAAS,KAAA;AAAA,MACP,CAAC,GAAA,KAAQ,MAAA,CAAO,MAAA,CAAO,WAAA,EAAa,GAAG,CAAA,IAAK,KAAA,CAAM,UAAA,CAAW,GAAG,CAAA,EAAI,WAAA,CAAY,GAAG,CAAE;AAAA,KACvF;AAAA,EAEJ;AACA,EAAA,OAAO,IAAA,KAAS,KAAA;AAClB;AAEA,SAAS,UAAA,CAAW,MAAiB,KAAA,EAA2B;AAC9D,EAAA,OAAO,IAAA,CAAK,MAAA,KAAW,KAAA,CAAM,MAAA,IAAU,KAAK,KAAA,CAAM,CAAC,KAAA,EAAO,KAAA,KAAU,KAAA,CAAM,KAAA,EAAO,KAAA,CAAM,KAAK,CAAE,CAAC,CAAA;AACjG;AAEA,SAAS,OAAA,CACP,MACA,SAAA,EACS;AACT,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,IAAA;AACtB,EAAA,IAAI,CAAC,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,QAAS,IAAIA,2BAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AAChG,EAAA,OAAO,SAAA,CAAU,MAAyB,KAAwB,CAAA;AACpE;AAEA,SAAS,kBAAA,CACP,MACA,KAAA,EACyB;AACzB,EAAA,OACG,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,KAAA,KAAU,YAC7C,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,KAAA,KAAU,QAAA;AAElD;AAEA,SAAS,cAAc,IAAA,EAA+C;AACpE,EAAA,IAAI,KAAK,IAAA,CAAK,CAAC,UAAU,OAAO,KAAA,KAAU,QAAQ,CAAA,EAAG;AACnD,IAAA,MAAM,IAAIA,2BAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,IAAA,CAAK,KAAK,CAAC,KAAA,KAAU,CAAC,MAAA,CAAO,QAAA,CAAS,KAAK,CAAC,CAAA;AAC9C,IAAA,MAAM,IAAIA,2BAAA,CAAkB,8BAAA,EAAgC,EAAE,CAAA;AAChE,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,UAAA,CACP,MACA,SAAA,EACQ;AACR,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,cAAc,IAAI,CAAA;AACxC,EAAA,MAAM,MAAA,GAAS,SAAA,CAAU,IAAA,EAAO,KAAM,CAAA;AACtC,EAAA,IAAI,CAAC,MAAA,CAAO,QAAA,CAAS,MAAM,CAAA,QAAS,IAAIA,2BAAA,CAAkB,8BAAA,EAAgC,EAAE,CAAA;AAC5F,EAAA,OAAO,MAAA;AACT;AAIA,MAAM,WAAA,GAA6C;AAAA,EACjD,EAAE,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,CAAA,EAAG,YAAY,SAAA,EAAW,OAAA,EAAS,CAAC,CAAC,MAAM,KAAK,CAAA,KAAM,KAAA,CAAM,IAAA,EAAO,KAAM,CAAA,EAAE;AAAA,EAChG;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,IAAA,EAAM,KAAK,CAAA,KAAM,CAAC,KAAA,CAAM,IAAA,EAAO,KAAM;AAAA,GAClD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,GAAO,KAAK;AAAA,GAChE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,IAAQ,KAAK;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,GAAO,KAAK;AAAA,GAChE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,IAAQ,KAAK;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAK,MAAM,CAAC;AAAA,GACzB;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAA,EAAO,OAAO,CAAA,KAAM,UAAA,CAAW,KAAA,EAAQ,OAAA,EAAS,KAAK;AAAA,GAClE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAA,EAAO,OAAO,CAAA,KAAM,UAAA,CAAW,KAAA,EAAQ,OAAA,EAAS,IAAI;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS;AAAA,GACX;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,OAAA,EAAS,CAAA;AAAA,IACT,OAAA,EAAS,EAAA;AAAA,IACT,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,QAAA,EAAU,KAAA;AAAA,IACV,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,MAAM,OAAO;AAAA,GACvC;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,OAAA,EAAS,CAAA;AAAA,IACT,OAAA,EAAS,EAAA;AAAA,IACT,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,QAAA,EAAU,IAAA;AAAA,IACV,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,KAAK,OAAO;AAAA,GACtC;AAAA,EACA,EAAE,IAAA,EAAM,UAAA,EAAY,OAAA,EAAS,GAAG,OAAA,EAAS,EAAA,EAAI,QAAA,EAAU,UAAA,EAAY,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,CAAC,CAAA,EAAG;AAAA,EAC/F,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,SAAA,EAAW,QAAA,EAAU,QAAA,EAAU,OAAA,EAAS,MAAM,IAAA,EAAK;AAAA,EAC3F;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,SAAA,EAAW,KAAA,EAAO,KAAK,CAAA;AAAA,IACpC,QAAA,EAAU,IAAA;AAAA,IACV,OAAA,EAAS,CAAC,CAAC,SAAA,EAAW,UAAU,SAAS,CAAA,KAAO,YAAY,QAAA,GAAY;AAAA;AAE5E,CAAA;AAEA,SAAS,UAAA,CAAW,KAAA,EAAkB,OAAA,EAAgC,MAAA,EAA0B;AAC9F,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,QAAS,IAAIA,2BAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AACvF,EAAA,MAAM,QAAA,GAAW,QAAQ,IAAA,CAAK,CAAC,cAAc,KAAA,CAAM,KAAA,EAAO,SAAS,CAAC,CAAA;AACpE,EAAA,OAAO,MAAA,GAAS,CAAC,QAAA,GAAW,QAAA;AAC9B;AAEA,SAAS,OAAO,IAAA,EAAoC;AAClD,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,cAAc,IAAI,CAAA;AACxC,EAAA,IAAI,MAAA,CAAO,GAAG,KAAA,EAAO,CAAC,KAAK,MAAA,CAAO,EAAA,CAAG,KAAA,EAAO,EAAE,CAAA,EAAG;AAC/C,IAAA,MAAM,IAAIA,2BAAA,CAAkB,6BAAA,EAA+B,EAAE,CAAA;AAAA,EAC/D;AACA,EAAA,OAAO,UAAA,CAAW,CAAC,IAAA,EAAO,KAAM,GAAG,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC,CAAA;AACpD;AAGO,MAAM,aAAgCC,0BAAA,CAAgB,qBAAA;AAAA,EAC3D,aAAA;AAAA,EACA;AACF","file":"standard-profile.cjs","sourcesContent":["import {\n  type ExpressionOperatorDefinition,\n  type ExpressionProfile,\n  internalProfile,\n} from \"./profile.js\";\nimport { ExpressionFailure } from \"./result.js\";\nimport type { JsonArray, JsonValue } from \"./types.js\";\n\nfunction equal(left: JsonValue, right: JsonValue): boolean {\n  if (typeof left !== typeof right || left === null || right === null) return left === right;\n  if (Array.isArray(left) || Array.isArray(right)) {\n    return Array.isArray(left) && Array.isArray(right) && arrayEqual(left, right);\n  }\n  if (typeof left === \"object\" && typeof right === \"object\") {\n    const leftObject = left as Readonly<Record<string, JsonValue>>;\n    const rightObject = right as Readonly<Record<string, JsonValue>>;\n    const leftKeys = Object.keys(leftObject);\n    const rightKeys = Object.keys(rightObject);\n    return (\n      leftKeys.length === rightKeys.length &&\n      leftKeys.every(\n        (key) => Object.hasOwn(rightObject, key) && equal(leftObject[key]!, rightObject[key]!),\n      )\n    );\n  }\n  return left === right;\n}\n\nfunction arrayEqual(left: JsonArray, right: JsonArray): boolean {\n  return left.length === right.length && left.every((value, index) => equal(value, right[index]!));\n}\n\nfunction compare(\n  args: readonly JsonValue[],\n  predicate: (left: number | string, right: number | string) => boolean,\n): boolean {\n  const [left, right] = args;\n  if (!sameComparableType(left, right)) throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  return predicate(left as number | string, right as number | string);\n}\n\nfunction sameComparableType(\n  left: JsonValue | undefined,\n  right: JsonValue | undefined,\n): left is number | string {\n  return (\n    (typeof left === \"number\" && typeof right === \"number\") ||\n    (typeof left === \"string\" && typeof right === \"string\")\n  );\n}\n\nfunction finiteNumbers(args: readonly JsonValue[]): readonly number[] {\n  if (args.some((value) => typeof value !== \"number\")) {\n    throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  }\n  if (args.some((value) => !Number.isFinite(value)))\n    throw new ExpressionFailure(\"EXPRESSION_NON_FINITE_RESULT\", []);\n  return args as readonly number[];\n}\n\nfunction arithmetic(\n  args: readonly JsonValue[],\n  calculate: (left: number, right: number) => number,\n): number {\n  const [left, right] = finiteNumbers(args);\n  const result = calculate(left!, right!);\n  if (!Number.isFinite(result)) throw new ExpressionFailure(\"EXPRESSION_NON_FINITE_RESULT\", []);\n  return result;\n}\n\ntype StandardStrategy = \"and\" | \"or\" | \"coalesce\" | \"exists\" | \"if\";\ntype StandardDefinition = ExpressionOperatorDefinition & { readonly strategy?: StandardStrategy };\nconst definitions: readonly StandardDefinition[] = [\n  { name: \"eq\", arity: 2, resultType: \"boolean\", execute: ([left, right]) => equal(left!, right!) },\n  {\n    name: \"neq\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([left, right]) => !equal(left!, right!),\n  },\n  {\n    name: \"gt\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left > right),\n  },\n  {\n    name: \"gte\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left >= right),\n  },\n  {\n    name: \"lt\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left < right),\n  },\n  {\n    name: \"lte\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left <= right),\n  },\n  {\n    name: \"not\",\n    arity: 1,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    execute: ([value]) => !value,\n  },\n  {\n    name: \"in\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([value, choices]) => membership(value!, choices, false),\n  },\n  {\n    name: \"nin\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([value, choices]) => membership(value!, choices, true),\n  },\n  {\n    name: \"add\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a + b),\n  },\n  {\n    name: \"sub\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a - b),\n  },\n  {\n    name: \"mul\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a * b),\n  },\n  {\n    name: \"div\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: divide,\n  },\n  {\n    name: \"and\",\n    minArgs: 1,\n    maxArgs: 32,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    strategy: \"and\",\n    execute: (args) => args.every(Boolean),\n  },\n  {\n    name: \"or\",\n    minArgs: 1,\n    maxArgs: 32,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    strategy: \"or\",\n    execute: (args) => args.some(Boolean),\n  },\n  { name: \"coalesce\", minArgs: 1, maxArgs: 32, strategy: \"coalesce\", execute: (args) => args[0]! },\n  { name: \"exists\", arity: 1, resultType: \"boolean\", strategy: \"exists\", execute: () => true },\n  {\n    name: \"if\",\n    arity: 3,\n    inputTypes: [\"boolean\", \"any\", \"any\"],\n    strategy: \"if\",\n    execute: ([condition, whenTrue, whenFalse]) => (condition ? whenTrue! : whenFalse!),\n  },\n];\n\nfunction membership(value: JsonValue, choices: JsonValue | undefined, negate: boolean): boolean {\n  if (!Array.isArray(choices)) throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  const includes = choices.some((candidate) => equal(value, candidate));\n  return negate ? !includes : includes;\n}\n\nfunction divide(args: readonly JsonValue[]): number {\n  const [left, right] = finiteNumbers(args);\n  if (Object.is(right, 0) || Object.is(right, -0)) {\n    throw new ExpressionFailure(\"EXPRESSION_DIVISION_BY_ZERO\", []);\n  }\n  return arithmetic([left!, right!], (a, b) => a / b);\n}\n\n/** Strict, structurally immutable built-in profile, isolated from legacy and custom registries. */\nexport const standardV1: ExpressionProfile = internalProfile.createStandardProfile(\n  \"standard-v1\",\n  definitions,\n);\n"]}

package/dist/kuery-v1/standard-profile.d.cts

@@ -0,0 +1,7 @@
+import { ExpressionProfile } from './profile.cjs';
+import './types.cjs';
+
+/** Strict, structurally immutable built-in profile, isolated from legacy and custom registries. */
+declare const standardV1: ExpressionProfile;
+
+export { standardV1 };

package/dist/kuery-v1/standard-profile.d.ts

@@ -0,0 +1,7 @@
+import { ExpressionProfile } from './profile.js';
+import './types.js';
+
+/** Strict, structurally immutable built-in profile, isolated from legacy and custom registries. */
+declare const standardV1: ExpressionProfile;
+
+export { standardV1 };

package/dist/kuery-v1/standard-profile.js

@@ -0,0 +1,171 @@
+import { internalProfile } from './profile.js';
+import { ExpressionFailure } from './result.js';
+
+function equal(left, right) {
+  if (typeof left !== typeof right || left === null || right === null) return left === right;
+  if (Array.isArray(left) || Array.isArray(right)) {
+    return Array.isArray(left) && Array.isArray(right) && arrayEqual(left, right);
+  }
+  if (typeof left === "object" && typeof right === "object") {
+    const leftObject = left;
+    const rightObject = right;
+    const leftKeys = Object.keys(leftObject);
+    const rightKeys = Object.keys(rightObject);
+    return leftKeys.length === rightKeys.length && leftKeys.every(
+      (key) => Object.hasOwn(rightObject, key) && equal(leftObject[key], rightObject[key])
+    );
+  }
+  return left === right;
+}
+function arrayEqual(left, right) {
+  return left.length === right.length && left.every((value, index) => equal(value, right[index]));
+}
+function compare(args, predicate) {
+  const [left, right] = args;
+  if (!sameComparableType(left, right)) throw new ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  return predicate(left, right);
+}
+function sameComparableType(left, right) {
+  return typeof left === "number" && typeof right === "number" || typeof left === "string" && typeof right === "string";
+}
+function finiteNumbers(args) {
+  if (args.some((value) => typeof value !== "number")) {
+    throw new ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  }
+  if (args.some((value) => !Number.isFinite(value)))
+    throw new ExpressionFailure("EXPRESSION_NON_FINITE_RESULT", []);
+  return args;
+}
+function arithmetic(args, calculate) {
+  const [left, right] = finiteNumbers(args);
+  const result = calculate(left, right);
+  if (!Number.isFinite(result)) throw new ExpressionFailure("EXPRESSION_NON_FINITE_RESULT", []);
+  return result;
+}
+const definitions = [
+  { name: "eq", arity: 2, resultType: "boolean", execute: ([left, right]) => equal(left, right) },
+  {
+    name: "neq",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([left, right]) => !equal(left, right)
+  },
+  {
+    name: "gt",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left > right)
+  },
+  {
+    name: "gte",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left >= right)
+  },
+  {
+    name: "lt",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left < right)
+  },
+  {
+    name: "lte",
+    arity: 2,
+    resultType: "boolean",
+    execute: (args) => compare(args, (left, right) => left <= right)
+  },
+  {
+    name: "not",
+    arity: 1,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    execute: ([value]) => !value
+  },
+  {
+    name: "in",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([value, choices]) => membership(value, choices, false)
+  },
+  {
+    name: "nin",
+    arity: 2,
+    resultType: "boolean",
+    execute: ([value, choices]) => membership(value, choices, true)
+  },
+  {
+    name: "add",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a + b)
+  },
+  {
+    name: "sub",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a - b)
+  },
+  {
+    name: "mul",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: (args) => arithmetic(args, (a, b) => a * b)
+  },
+  {
+    name: "div",
+    arity: 2,
+    inputTypes: ["number", "number"],
+    resultType: "number",
+    execute: divide
+  },
+  {
+    name: "and",
+    minArgs: 1,
+    maxArgs: 32,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    strategy: "and",
+    execute: (args) => args.every(Boolean)
+  },
+  {
+    name: "or",
+    minArgs: 1,
+    maxArgs: 32,
+    inputTypes: ["boolean"],
+    resultType: "boolean",
+    strategy: "or",
+    execute: (args) => args.some(Boolean)
+  },
+  { name: "coalesce", minArgs: 1, maxArgs: 32, strategy: "coalesce", execute: (args) => args[0] },
+  { name: "exists", arity: 1, resultType: "boolean", strategy: "exists", execute: () => true },
+  {
+    name: "if",
+    arity: 3,
+    inputTypes: ["boolean", "any", "any"],
+    strategy: "if",
+    execute: ([condition, whenTrue, whenFalse]) => condition ? whenTrue : whenFalse
+  }
+];
+function membership(value, choices, negate) {
+  if (!Array.isArray(choices)) throw new ExpressionFailure("EXPRESSION_TYPE_MISMATCH", []);
+  const includes = choices.some((candidate) => equal(value, candidate));
+  return negate ? !includes : includes;
+}
+function divide(args) {
+  const [left, right] = finiteNumbers(args);
+  if (Object.is(right, 0) || Object.is(right, -0)) {
+    throw new ExpressionFailure("EXPRESSION_DIVISION_BY_ZERO", []);
+  }
+  return arithmetic([left, right], (a, b) => a / b);
+}
+const standardV1 = internalProfile.createStandardProfile(
+  "standard-v1",
+  definitions
+);
+
+export { standardV1 };
+//# sourceMappingURL=standard-profile.js.map
+//# sourceMappingURL=standard-profile.js.map

package/dist/kuery-v1/standard-profile.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kuery-v1/standard-profile.ts"],"names":[],"mappings":";;;AAQA,SAAS,KAAA,CAAM,MAAiB,KAAA,EAA2B;AACzD,EAAA,IAAI,OAAO,SAAS,OAAO,KAAA,IAAS,SAAS,IAAA,IAAQ,KAAA,KAAU,IAAA,EAAM,OAAO,IAAA,KAAS,KAAA;AACrF,EAAA,IAAI,MAAM,OAAA,CAAQ,IAAI,KAAK,KAAA,CAAM,OAAA,CAAQ,KAAK,CAAA,EAAG;AAC/C,IAAA,OAAO,KAAA,CAAM,OAAA,CAAQ,IAAI,CAAA,IAAK,KAAA,CAAM,QAAQ,KAAK,CAAA,IAAK,UAAA,CAAW,IAAA,EAAM,KAAK,CAAA;AAAA,EAC9E;AACA,EAAA,IAAI,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,UAAU,QAAA,EAAU;AACzD,IAAA,MAAM,UAAA,GAAa,IAAA;AACnB,IAAA,MAAM,WAAA,GAAc,KAAA;AACpB,IAAA,MAAM,QAAA,GAAW,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AACvC,IAAA,MAAM,SAAA,GAAY,MAAA,CAAO,IAAA,CAAK,WAAW,CAAA;AACzC,IAAA,OACE,QAAA,CAAS,MAAA,KAAW,SAAA,CAAU,MAAA,IAC9B,QAAA,CAAS,KAAA;AAAA,MACP,CAAC,GAAA,KAAQ,MAAA,CAAO,MAAA,CAAO,WAAA,EAAa,GAAG,CAAA,IAAK,KAAA,CAAM,UAAA,CAAW,GAAG,CAAA,EAAI,WAAA,CAAY,GAAG,CAAE;AAAA,KACvF;AAAA,EAEJ;AACA,EAAA,OAAO,IAAA,KAAS,KAAA;AAClB;AAEA,SAAS,UAAA,CAAW,MAAiB,KAAA,EAA2B;AAC9D,EAAA,OAAO,IAAA,CAAK,MAAA,KAAW,KAAA,CAAM,MAAA,IAAU,KAAK,KAAA,CAAM,CAAC,KAAA,EAAO,KAAA,KAAU,KAAA,CAAM,KAAA,EAAO,KAAA,CAAM,KAAK,CAAE,CAAC,CAAA;AACjG;AAEA,SAAS,OAAA,CACP,MACA,SAAA,EACS;AACT,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,IAAA;AACtB,EAAA,IAAI,CAAC,kBAAA,CAAmB,IAAA,EAAM,KAAK,CAAA,QAAS,IAAI,iBAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AAChG,EAAA,OAAO,SAAA,CAAU,MAAyB,KAAwB,CAAA;AACpE;AAEA,SAAS,kBAAA,CACP,MACA,KAAA,EACyB;AACzB,EAAA,OACG,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,KAAA,KAAU,YAC7C,OAAO,IAAA,KAAS,QAAA,IAAY,OAAO,KAAA,KAAU,QAAA;AAElD;AAEA,SAAS,cAAc,IAAA,EAA+C;AACpE,EAAA,IAAI,KAAK,IAAA,CAAK,CAAC,UAAU,OAAO,KAAA,KAAU,QAAQ,CAAA,EAAG;AACnD,IAAA,MAAM,IAAI,iBAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AAAA,EAC5D;AACA,EAAA,IAAI,IAAA,CAAK,KAAK,CAAC,KAAA,KAAU,CAAC,MAAA,CAAO,QAAA,CAAS,KAAK,CAAC,CAAA;AAC9C,IAAA,MAAM,IAAI,iBAAA,CAAkB,8BAAA,EAAgC,EAAE,CAAA;AAChE,EAAA,OAAO,IAAA;AACT;AAEA,SAAS,UAAA,CACP,MACA,SAAA,EACQ;AACR,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,cAAc,IAAI,CAAA;AACxC,EAAA,MAAM,MAAA,GAAS,SAAA,CAAU,IAAA,EAAO,KAAM,CAAA;AACtC,EAAA,IAAI,CAAC,MAAA,CAAO,QAAA,CAAS,MAAM,CAAA,QAAS,IAAI,iBAAA,CAAkB,8BAAA,EAAgC,EAAE,CAAA;AAC5F,EAAA,OAAO,MAAA;AACT;AAIA,MAAM,WAAA,GAA6C;AAAA,EACjD,EAAE,IAAA,EAAM,IAAA,EAAM,KAAA,EAAO,CAAA,EAAG,YAAY,SAAA,EAAW,OAAA,EAAS,CAAC,CAAC,MAAM,KAAK,CAAA,KAAM,KAAA,CAAM,IAAA,EAAO,KAAM,CAAA,EAAE;AAAA,EAChG;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,IAAA,EAAM,KAAK,CAAA,KAAM,CAAC,KAAA,CAAM,IAAA,EAAO,KAAM;AAAA,GAClD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,GAAO,KAAK;AAAA,GAChE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,IAAQ,KAAK;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,GAAO,KAAK;AAAA,GAChE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,OAAA,CAAQ,MAAM,CAAC,IAAA,EAAM,KAAA,KAAU,IAAA,IAAQ,KAAK;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAK,MAAM,CAAC;AAAA,GACzB;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAA,EAAO,OAAO,CAAA,KAAM,UAAA,CAAW,KAAA,EAAQ,OAAA,EAAS,KAAK;AAAA,GAClE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,SAAA;AAAA,IACZ,OAAA,EAAS,CAAC,CAAC,KAAA,EAAO,OAAO,CAAA,KAAM,UAAA,CAAW,KAAA,EAAQ,OAAA,EAAS,IAAI;AAAA,GACjE;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS,CAAC,IAAA,KAAS,UAAA,CAAW,MAAM,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC;AAAA,GACrD;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,QAAA,EAAU,QAAQ,CAAA;AAAA,IAC/B,UAAA,EAAY,QAAA;AAAA,IACZ,OAAA,EAAS;AAAA,GACX;AAAA,EACA;AAAA,IACE,IAAA,EAAM,KAAA;AAAA,IACN,OAAA,EAAS,CAAA;AAAA,IACT,OAAA,EAAS,EAAA;AAAA,IACT,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,QAAA,EAAU,KAAA;AAAA,IACV,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,MAAM,OAAO;AAAA,GACvC;AAAA,EACA;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,OAAA,EAAS,CAAA;AAAA,IACT,OAAA,EAAS,EAAA;AAAA,IACT,UAAA,EAAY,CAAC,SAAS,CAAA;AAAA,IACtB,UAAA,EAAY,SAAA;AAAA,IACZ,QAAA,EAAU,IAAA;AAAA,IACV,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,KAAK,OAAO;AAAA,GACtC;AAAA,EACA,EAAE,IAAA,EAAM,UAAA,EAAY,OAAA,EAAS,GAAG,OAAA,EAAS,EAAA,EAAI,QAAA,EAAU,UAAA,EAAY,OAAA,EAAS,CAAC,IAAA,KAAS,IAAA,CAAK,CAAC,CAAA,EAAG;AAAA,EAC/F,EAAE,IAAA,EAAM,QAAA,EAAU,KAAA,EAAO,CAAA,EAAG,UAAA,EAAY,SAAA,EAAW,QAAA,EAAU,QAAA,EAAU,OAAA,EAAS,MAAM,IAAA,EAAK;AAAA,EAC3F;AAAA,IACE,IAAA,EAAM,IAAA;AAAA,IACN,KAAA,EAAO,CAAA;AAAA,IACP,UAAA,EAAY,CAAC,SAAA,EAAW,KAAA,EAAO,KAAK,CAAA;AAAA,IACpC,QAAA,EAAU,IAAA;AAAA,IACV,OAAA,EAAS,CAAC,CAAC,SAAA,EAAW,UAAU,SAAS,CAAA,KAAO,YAAY,QAAA,GAAY;AAAA;AAE5E,CAAA;AAEA,SAAS,UAAA,CAAW,KAAA,EAAkB,OAAA,EAAgC,MAAA,EAA0B;AAC9F,EAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,OAAO,CAAA,QAAS,IAAI,iBAAA,CAAkB,0BAAA,EAA4B,EAAE,CAAA;AACvF,EAAA,MAAM,QAAA,GAAW,QAAQ,IAAA,CAAK,CAAC,cAAc,KAAA,CAAM,KAAA,EAAO,SAAS,CAAC,CAAA;AACpE,EAAA,OAAO,MAAA,GAAS,CAAC,QAAA,GAAW,QAAA;AAC9B;AAEA,SAAS,OAAO,IAAA,EAAoC;AAClD,EAAA,MAAM,CAAC,IAAA,EAAM,KAAK,CAAA,GAAI,cAAc,IAAI,CAAA;AACxC,EAAA,IAAI,MAAA,CAAO,GAAG,KAAA,EAAO,CAAC,KAAK,MAAA,CAAO,EAAA,CAAG,KAAA,EAAO,EAAE,CAAA,EAAG;AAC/C,IAAA,MAAM,IAAI,iBAAA,CAAkB,6BAAA,EAA+B,EAAE,CAAA;AAAA,EAC/D;AACA,EAAA,OAAO,UAAA,CAAW,CAAC,IAAA,EAAO,KAAM,GAAG,CAAC,CAAA,EAAG,CAAA,KAAM,CAAA,GAAI,CAAC,CAAA;AACpD;AAGO,MAAM,aAAgC,eAAA,CAAgB,qBAAA;AAAA,EAC3D,aAAA;AAAA,EACA;AACF","file":"standard-profile.js","sourcesContent":["import {\n  type ExpressionOperatorDefinition,\n  type ExpressionProfile,\n  internalProfile,\n} from \"./profile.js\";\nimport { ExpressionFailure } from \"./result.js\";\nimport type { JsonArray, JsonValue } from \"./types.js\";\n\nfunction equal(left: JsonValue, right: JsonValue): boolean {\n  if (typeof left !== typeof right || left === null || right === null) return left === right;\n  if (Array.isArray(left) || Array.isArray(right)) {\n    return Array.isArray(left) && Array.isArray(right) && arrayEqual(left, right);\n  }\n  if (typeof left === \"object\" && typeof right === \"object\") {\n    const leftObject = left as Readonly<Record<string, JsonValue>>;\n    const rightObject = right as Readonly<Record<string, JsonValue>>;\n    const leftKeys = Object.keys(leftObject);\n    const rightKeys = Object.keys(rightObject);\n    return (\n      leftKeys.length === rightKeys.length &&\n      leftKeys.every(\n        (key) => Object.hasOwn(rightObject, key) && equal(leftObject[key]!, rightObject[key]!),\n      )\n    );\n  }\n  return left === right;\n}\n\nfunction arrayEqual(left: JsonArray, right: JsonArray): boolean {\n  return left.length === right.length && left.every((value, index) => equal(value, right[index]!));\n}\n\nfunction compare(\n  args: readonly JsonValue[],\n  predicate: (left: number | string, right: number | string) => boolean,\n): boolean {\n  const [left, right] = args;\n  if (!sameComparableType(left, right)) throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  return predicate(left as number | string, right as number | string);\n}\n\nfunction sameComparableType(\n  left: JsonValue | undefined,\n  right: JsonValue | undefined,\n): left is number | string {\n  return (\n    (typeof left === \"number\" && typeof right === \"number\") ||\n    (typeof left === \"string\" && typeof right === \"string\")\n  );\n}\n\nfunction finiteNumbers(args: readonly JsonValue[]): readonly number[] {\n  if (args.some((value) => typeof value !== \"number\")) {\n    throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  }\n  if (args.some((value) => !Number.isFinite(value)))\n    throw new ExpressionFailure(\"EXPRESSION_NON_FINITE_RESULT\", []);\n  return args as readonly number[];\n}\n\nfunction arithmetic(\n  args: readonly JsonValue[],\n  calculate: (left: number, right: number) => number,\n): number {\n  const [left, right] = finiteNumbers(args);\n  const result = calculate(left!, right!);\n  if (!Number.isFinite(result)) throw new ExpressionFailure(\"EXPRESSION_NON_FINITE_RESULT\", []);\n  return result;\n}\n\ntype StandardStrategy = \"and\" | \"or\" | \"coalesce\" | \"exists\" | \"if\";\ntype StandardDefinition = ExpressionOperatorDefinition & { readonly strategy?: StandardStrategy };\nconst definitions: readonly StandardDefinition[] = [\n  { name: \"eq\", arity: 2, resultType: \"boolean\", execute: ([left, right]) => equal(left!, right!) },\n  {\n    name: \"neq\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([left, right]) => !equal(left!, right!),\n  },\n  {\n    name: \"gt\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left > right),\n  },\n  {\n    name: \"gte\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left >= right),\n  },\n  {\n    name: \"lt\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left < right),\n  },\n  {\n    name: \"lte\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: (args) => compare(args, (left, right) => left <= right),\n  },\n  {\n    name: \"not\",\n    arity: 1,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    execute: ([value]) => !value,\n  },\n  {\n    name: \"in\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([value, choices]) => membership(value!, choices, false),\n  },\n  {\n    name: \"nin\",\n    arity: 2,\n    resultType: \"boolean\",\n    execute: ([value, choices]) => membership(value!, choices, true),\n  },\n  {\n    name: \"add\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a + b),\n  },\n  {\n    name: \"sub\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a - b),\n  },\n  {\n    name: \"mul\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: (args) => arithmetic(args, (a, b) => a * b),\n  },\n  {\n    name: \"div\",\n    arity: 2,\n    inputTypes: [\"number\", \"number\"],\n    resultType: \"number\",\n    execute: divide,\n  },\n  {\n    name: \"and\",\n    minArgs: 1,\n    maxArgs: 32,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    strategy: \"and\",\n    execute: (args) => args.every(Boolean),\n  },\n  {\n    name: \"or\",\n    minArgs: 1,\n    maxArgs: 32,\n    inputTypes: [\"boolean\"],\n    resultType: \"boolean\",\n    strategy: \"or\",\n    execute: (args) => args.some(Boolean),\n  },\n  { name: \"coalesce\", minArgs: 1, maxArgs: 32, strategy: \"coalesce\", execute: (args) => args[0]! },\n  { name: \"exists\", arity: 1, resultType: \"boolean\", strategy: \"exists\", execute: () => true },\n  {\n    name: \"if\",\n    arity: 3,\n    inputTypes: [\"boolean\", \"any\", \"any\"],\n    strategy: \"if\",\n    execute: ([condition, whenTrue, whenFalse]) => (condition ? whenTrue! : whenFalse!),\n  },\n];\n\nfunction membership(value: JsonValue, choices: JsonValue | undefined, negate: boolean): boolean {\n  if (!Array.isArray(choices)) throw new ExpressionFailure(\"EXPRESSION_TYPE_MISMATCH\", []);\n  const includes = choices.some((candidate) => equal(value, candidate));\n  return negate ? !includes : includes;\n}\n\nfunction divide(args: readonly JsonValue[]): number {\n  const [left, right] = finiteNumbers(args);\n  if (Object.is(right, 0) || Object.is(right, -0)) {\n    throw new ExpressionFailure(\"EXPRESSION_DIVISION_BY_ZERO\", []);\n  }\n  return arithmetic([left!, right!], (a, b) => a / b);\n}\n\n/** Strict, structurally immutable built-in profile, isolated from legacy and custom registries. */\nexport const standardV1: ExpressionProfile = internalProfile.createStandardProfile(\n  \"standard-v1\",\n  definitions,\n);\n"]}

package/dist/kuery-v1/types.cjs

@@ -0,0 +1,4 @@
+'use strict';
+
+//# sourceMappingURL=types.cjs.map
+//# sourceMappingURL=types.cjs.map

package/dist/kuery-v1/types.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"names":[],"mappings":"","file":"types.cjs"}

package/dist/kuery-v1/types.d.cts

@@ -0,0 +1,65 @@
+/** JSON data accepted and produced by the strict expression API. */
+type JsonPrimitive = null | boolean | number | string;
+type JsonValue = JsonPrimitive | JsonArray | JsonObject;
+type JsonArray = readonly JsonValue[];
+type JsonObject = {
+    readonly [key: string]: JsonValue;
+};
+/** A literal, opaque reference, or operator application. */
+type ValueExpression<R extends JsonValue = string> = {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "ref";
+    readonly ref: R;
+} | {
+    readonly kind: "op";
+    readonly op: string;
+    readonly args: readonly ValueExpression<R>[];
+};
+type ExpressionPath = readonly (string | number)[];
+type ExpressionDiagnosticCode = "EXPRESSION_INVALID_INPUT" | "EXPRESSION_LIMIT_EXCEEDED" | "EXPRESSION_INVALID_REFERENCE" | "EXPRESSION_UNKNOWN_OPERATOR" | "EXPRESSION_INVALID_ARITY" | "EXPRESSION_TYPE_MISMATCH" | "EXPRESSION_DIVISION_BY_ZERO" | "EXPRESSION_NON_FINITE_RESULT" | "EXPRESSION_REFERENCE_ERROR" | "EXPRESSION_REFERENCE_MISSING" | "EXPRESSION_REFERENCE_DENIED" | "EXPRESSION_OPERATOR_ERROR" | "EXPRESSION_ASYNC_UNSUPPORTED" | "EXPRESSION_EVALUATION_LIMIT" | "EXPRESSION_INVALID_RESULT";
+interface ExpressionDiagnostic {
+    readonly code: ExpressionDiagnosticCode;
+    readonly path: ExpressionPath;
+    readonly message: string;
+}
+type Result<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly diagnostic: ExpressionDiagnostic;
+};
+interface ExpressionLimits {
+    readonly maxDepth: number;
+    readonly maxNodes: number;
+    readonly maxArgs: number;
+    readonly maxStringLength: number;
+    readonly maxReferenceLength: number;
+    readonly maxEvaluationSteps: number;
+}
+interface ReferenceCodec<R extends JsonValue> {
+    readonly validate: (input: unknown) => input is R;
+    readonly canonicalize?: (reference: R) => R;
+}
+interface CanonicalizeExpressionOptions<R extends JsonValue> {
+    readonly reference?: ReferenceCodec<R>;
+    readonly limits?: Partial<ExpressionLimits>;
+}
+type ReferenceResolution = {
+    readonly found: true;
+    readonly value: JsonValue;
+} | {
+    readonly found: false;
+    readonly reason?: "missing" | "denied" | undefined;
+};
+/** Trusted host callback. Throwing and asynchronous outcomes are contained as diagnostics. */
+type ReferenceResolver<R extends JsonValue> = (reference: R) => ReferenceResolution;
+interface CompiledExpression<R extends JsonValue> {
+    readonly expression: ValueExpression<R>;
+    readonly dependencies: readonly R[];
+    evaluate(resolve: ReferenceResolver<R>): Result<JsonValue>;
+}
+
+export type { CanonicalizeExpressionOptions, CompiledExpression, ExpressionDiagnostic, ExpressionDiagnosticCode, ExpressionLimits, ExpressionPath, JsonArray, JsonObject, JsonPrimitive, JsonValue, ReferenceCodec, ReferenceResolution, ReferenceResolver, Result, ValueExpression };