@kalada/core 0.1.0 → 0.3.0

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/limits.ts"],"names":[],"mappings":"AAEO,MAAM,wBAAA,GAA2C,OAAO,MAAA,CAAO;AAAA,EACpE,WAAA,EAAa,EAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,EAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC;AAED,MAAM,OAAA,GAA0B,OAAO,MAAA,CAAO;AAAA,EAC5C,WAAA,EAAa,GAAA;AAAA,EACb,WAAA,EAAa,GAAA;AAAA,EACb,aAAA,EAAe,GAAA;AAAA,EACf,aAAA,EAAe,GAAA;AAAA,EACf,eAAA,EAAiB,GAAA;AAAA,EACjB,kBAAA,EAAoB,GAAA;AAAA,EACpB,kBAAA,EAAoB;AACtB,CAAC,CAAA;AAEM,SAAS,cAAc,KAAA,EAAiD;AAC7E,EAAA,MAAM,MAAA,GAAS,EAAE,GAAG,wBAAA,EAA0B,GAAG,KAAA,EAAM;AACvD,EAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,EAA+B;AACjE,IAAA,MAAM,KAAA,GAAQ,OAAO,GAAG,CAAA;AACxB,IAAA,IAAI,CAAC,OAAO,aAAA,CAAc,KAAK,KAAK,KAAA,GAAQ,CAAA,IAAK,KAAA,GAAQ,OAAA,CAAQ,GAAG,CAAA;AAClE,MAAA,MAAM,IAAI,WAAW,OAAO,CAAA;AAAA,EAChC;AACA,EAAA,OAAO,MAAA,CAAO,OAAO,MAAM,CAAA;AAC7B","file":"limits.js","sourcesContent":["import type { KaladaV1Limits } from \"./types.js\";\n\nexport const DEFAULT_KALADA_V1_LIMITS: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 64,\n  maxAstNodes: 10_000,\n  maxValueDepth: 64,\n  maxValueNodes: 10_000,\n  maxStringLength: 10_000,\n  maxReferenceLength: 1_000,\n  maxEvaluationSteps: 10_000,\n});\n\nconst MAXIMUM: KaladaV1Limits = Object.freeze({\n  maxAstDepth: 256,\n  maxAstNodes: 100_000,\n  maxValueDepth: 256,\n  maxValueNodes: 100_000,\n  maxStringLength: 1_000_000,\n  maxReferenceLength: 100_000,\n  maxEvaluationSteps: 100_000,\n});\n\nexport function resolveLimits(input?: Partial<KaladaV1Limits>): KaladaV1Limits {\n  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };\n  for (const key of Object.keys(limits) as (keyof KaladaV1Limits)[]) {\n    const value = limits[key];\n    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])\n      throw new RangeError(\"limit\");\n  }\n  return Object.freeze(limits);\n}\n"]}

package/dist/kalada-v1/schemas.cjs

@@ -0,0 +1,182 @@
+'use strict';
+
+var limits_js = require('./limits.js');
+
+const jsonValue = jsonValueSchema("#/$defs/jsonValue", limits_js.DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);
+const encodedJsonValue = jsonValueSchema(
+  "#/$defs/encodedJsonValue",
+  limits_js.DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2
+);
+function jsonValueSchema(reference, maxContainerSize) {
+  return {
+    anyOf: [
+      { type: "null" },
+      { type: "boolean" },
+      { type: "number", minimum: -17976931348623157e292, maximum: 17976931348623157e292 },
+      { type: "string", maxLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxStringLength },
+      {
+        type: "array",
+        maxItems: maxContainerSize,
+        items: { $ref: reference }
+      },
+      {
+        type: "object",
+        maxProperties: maxContainerSize,
+        propertyNames: {
+          allOf: [
+            { maxLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxStringLength },
+            { not: { enum: ["__proto__", "constructor", "prototype"] } }
+          ]
+        },
+        additionalProperties: { $ref: reference }
+      }
+    ]
+  };
+}
+const expression = {
+  oneOf: [
+    node("literal", { value: { $ref: "#/$defs/jsonValue" } }, ["value"]),
+    node(
+      "ref",
+      {
+        ref: {
+          type: "string",
+          minLength: 1,
+          maxLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxReferenceLength
+        }
+      },
+      ["ref"]
+    ),
+    node("binding", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [
+      "name",
+      "value",
+      "body"
+    ]),
+    node("option", { variant: { const: "none" } }, ["variant"]),
+    node("option", { variant: { const: "some" }, value: expressionRef() }, ["variant", "value"]),
+    node("result", { variant: { enum: ["ok", "err"] }, value: expressionRef() }, [
+      "variant",
+      "value"
+    ]),
+    node("instant", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("duration", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("current-instant", {}, []),
+    temporalNode("temporal-arithmetic", ["add", "subtract"]),
+    temporalNode("temporal-comparison", [
+      "equal",
+      "not-equal",
+      "less-than",
+      "less-than-or-equal",
+      "greater-than",
+      "greater-than-or-equal"
+    ]),
+    matchNode("Option", [arm("some", true), arm("none", false)]),
+    matchNode("Result", [arm("ok", true), arm("err", true)])
+  ]
+};
+const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/program/kalada-v1",
+  $comment: "The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.",
+  type: "object",
+  properties: {
+    format: { const: "kalada-program" },
+    version: { const: 1 },
+    profile: { const: "kalada-v1" },
+    expression: expressionRef()
+  },
+  required: ["format", "version", "profile", "expression"],
+  additionalProperties: false,
+  $defs: { jsonValue, expression }
+});
+const KALADA_VALUE_V1_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/value/kalada-value-v1",
+  $ref: "#/$defs/encodedValue",
+  $defs: {
+    encodedJsonValue,
+    encodedValue: {
+      oneOf: [
+        valueEnvelope("Json", "value", { $ref: "#/$defs/encodedJsonValue" }),
+        valueEnvelope("Option", "none"),
+        valueEnvelope("Option", "some", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Result", "ok", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Instant", "milliseconds", safeInteger()),
+        valueEnvelope("Duration", "milliseconds", safeInteger())
+      ]
+    }
+  }
+});
+function node(kind, properties, required) {
+  return {
+    type: "object",
+    properties: { kind: { const: kind }, ...properties },
+    required: ["kind", ...required],
+    additionalProperties: false
+  };
+}
+function temporalNode(kind, operators) {
+  return node(
+    kind,
+    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },
+    ["operator", "left", "right"]
+  );
+}
+function safeInteger() {
+  return {
+    type: "integer",
+    minimum: Number.MIN_SAFE_INTEGER,
+    maximum: Number.MAX_SAFE_INTEGER
+  };
+}
+function matchNode(type, arms) {
+  return node(
+    "match",
+    {
+      type: { const: type },
+      value: expressionRef(),
+      arms: { type: "array", prefixItems: arms, minItems: 2, maxItems: 2 }
+    },
+    ["type", "value", "arms"]
+  );
+}
+function arm(variant, payload) {
+  const properties = {
+    variant: { const: variant },
+    body: expressionRef()
+  };
+  if (payload) properties.binding = bindingName();
+  return { type: "object", properties, required: ["variant", "body"], additionalProperties: false };
+}
+function valueEnvelope(type, variant, value) {
+  const properties = {
+    format: { const: "kalada-value" },
+    version: { const: 1 },
+    type: { const: type },
+    variant: { const: variant }
+  };
+  if (value) properties.value = value;
+  return {
+    type: "object",
+    properties,
+    required: Object.keys(properties),
+    additionalProperties: false
+  };
+}
+function expressionRef() {
+  return { $ref: "#/$defs/expression" };
+}
+function bindingName() {
+  return { type: "string", minLength: 1, maxLength: limits_js.DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };
+}
+function deepFreeze(value) {
+  if (typeof value !== "object" || value === null || Object.isFrozen(value)) return value;
+  for (const child of Object.values(value)) deepFreeze(child);
+  return Object.freeze(value);
+}
+
+exports.KALADA_V1_PROGRAM_SCHEMA = KALADA_V1_PROGRAM_SCHEMA;
+exports.KALADA_VALUE_V1_SCHEMA = KALADA_VALUE_V1_SCHEMA;
+//# sourceMappingURL=schemas.cjs.map
+//# sourceMappingURL=schemas.cjs.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/schemas.ts"],"names":["DEFAULT_KALADA_V1_LIMITS"],"mappings":";;;;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqBA,kCAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACAA,mCAAyB,aAAA,GAAgB;AAC3C,CAAA;AAEA,SAAS,eAAA,CAAgB,WAAmB,gBAAA,EAAmD;AAC7F,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,EAAE,MAAM,MAAA,EAAO;AAAA,MACf,EAAE,MAAM,SAAA,EAAU;AAAA,MAClB,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,sBAAA,EAAyB,SAAS,qBAAA,EAAuB;AAAA,MACpF,EAAE,IAAA,EAAM,QAAA,EAAU,SAAA,EAAWA,mCAAyB,eAAA,EAAgB;AAAA,MACtE;AAAA,QACE,IAAA,EAAM,OAAA;AAAA,QACN,QAAA,EAAU,gBAAA;AAAA,QACV,KAAA,EAAO,EAAE,IAAA,EAAM,SAAA;AAAU,OAC3B;AAAA,MACA;AAAA,QACE,IAAA,EAAM,QAAA;AAAA,QACN,aAAA,EAAe,gBAAA;AAAA,QACf,aAAA,EAAe;AAAA,UACb,KAAA,EAAO;AAAA,YACL,EAAE,SAAA,EAAWA,kCAAA,CAAyB,eAAA,EAAgB;AAAA,YACtD,EAAE,KAAK,EAAE,IAAA,EAAM,CAAC,WAAA,EAAa,aAAA,EAAe,WAAW,CAAA,EAAE;AAAE;AAC7D,SACF;AAAA,QACA,oBAAA,EAAsB,EAAE,IAAA,EAAM,SAAA;AAAU;AAC1C;AACF,GACF;AACF;AAEA,MAAM,UAAA,GAAa;AAAA,EACjB,KAAA,EAAO;AAAA,IACL,IAAA,CAAK,SAAA,EAAW,EAAE,KAAA,EAAO,EAAE,IAAA,EAAM,mBAAA,EAAoB,EAAE,EAAG,CAAC,OAAO,CAAC,CAAA;AAAA,IACnE,IAAA;AAAA,MACE,KAAA;AAAA,MACA;AAAA,QACE,GAAA,EAAK;AAAA,UACH,IAAA,EAAM,QAAA;AAAA,UACN,SAAA,EAAW,CAAA;AAAA,UACX,WAAWA,kCAAA,CAAyB;AAAA;AACtC,OACF;AAAA,MACA,CAAC,KAAK;AAAA,KACR;AAAA,IACA,IAAA,CAAK,SAAA,EAAW,EAAE,IAAA,EAAM,WAAA,EAAY,EAAG,KAAA,EAAO,aAAA,EAAc,EAAG,IAAA,EAAM,aAAA,EAAc,EAAE,EAAG;AAAA,MACtF,MAAA;AAAA,MACA,OAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAE,EAAG,CAAC,SAAS,CAAC,CAAA;AAAA,IAC1D,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAG,KAAA,EAAO,eAAc,EAAE,EAAG,CAAC,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,IAC3F,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,KAAK,CAAA,EAAE,EAAG,KAAA,EAAO,aAAA,IAAgB,EAAG;AAAA,MAC3E,SAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,WAAW,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IACjE,IAAA,CAAK,YAAY,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IAClE,IAAA,CAAK,iBAAA,EAAmB,EAAC,EAAG,EAAE,CAAA;AAAA,IAC9B,YAAA,CAAa,qBAAA,EAAuB,CAAC,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,IACvD,aAAa,qBAAA,EAAuB;AAAA,MAClC,OAAA;AAAA,MACA,WAAA;AAAA,MACA,WAAA;AAAA,MACA,oBAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,EAAG,GAAA,CAAI,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,IAC3D,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA,EAAG,GAAA,CAAI,KAAA,EAAO,IAAI,CAAC,CAAC;AAAA;AAE3D,CAAA;AAEO,MAAM,2BAA+C,UAAA,CAAW;AAAA,EACrE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,6CAAA;AAAA,EACL,QAAA,EACE,wKAAA;AAAA,EACF,IAAA,EAAM,QAAA;AAAA,EACN,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,KAAA,EAAO,gBAAA,EAAiB;AAAA,IAClC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,WAAA,EAAY;AAAA,IAC9B,YAAY,aAAA;AAAc,GAC5B;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,SAAA,EAAW,WAAW,YAAY,CAAA;AAAA,EACvD,oBAAA,EAAsB,KAAA;AAAA,EACtB,KAAA,EAAO,EAAE,SAAA,EAAW,UAAA;AACtB,CAAC;AAEM,MAAM,yBAA6C,UAAA,CAAW;AAAA,EACnE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,iDAAA;AAAA,EACL,IAAA,EAAM,sBAAA;AAAA,EACN,KAAA,EAAO;AAAA,IACL,gBAAA;AAAA,IACA,YAAA,EAAc;AAAA,MACZ,KAAA,EAAO;AAAA,QACL,cAAc,MAAA,EAAQ,OAAA,EAAS,EAAE,IAAA,EAAM,4BAA4B,CAAA;AAAA,QACnE,aAAA,CAAc,UAAU,MAAM,CAAA;AAAA,QAC9B,cAAc,QAAA,EAAU,MAAA,EAAQ,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAChE,cAAc,QAAA,EAAU,IAAA,EAAM,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC9D,cAAc,QAAA,EAAU,KAAA,EAAO,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC/D,aAAA,CAAc,SAAA,EAAW,cAAA,EAAgB,WAAA,EAAa,CAAA;AAAA,QACtD,aAAA,CAAc,UAAA,EAAY,cAAA,EAAgB,WAAA,EAAa;AAAA;AACzD;AACF;AAEJ,CAAC;AAED,SAAS,IAAA,CACP,IAAA,EACA,UAAA,EACA,QAAA,EACyB;AACzB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA,EAAY,EAAE,IAAA,EAAM,EAAE,OAAO,IAAA,EAAK,EAAG,GAAG,UAAA,EAAW;AAAA,IACnD,QAAA,EAAU,CAAC,MAAA,EAAQ,GAAG,QAAQ,CAAA;AAAA,IAC9B,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,YAAA,CAAa,MAAc,SAAA,EAAuD;AACzF,EAAA,OAAO,IAAA;AAAA,IACL,IAAA;AAAA,IACA,EAAE,QAAA,EAAU,EAAE,IAAA,EAAM,SAAA,EAAU,EAAG,IAAA,EAAM,aAAA,EAAc,EAAG,KAAA,EAAO,aAAA,EAAc,EAAE;AAAA,IAC/E,CAAC,UAAA,EAAY,MAAA,EAAQ,OAAO;AAAA,GAC9B;AACF;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,SAAA;AAAA,IACN,SAAS,MAAA,CAAO,gBAAA;AAAA,IAChB,SAAS,MAAA,CAAO;AAAA,GAClB;AACF;AAEA,SAAS,SAAA,CACP,MACA,IAAA,EACyB;AACzB,EAAA,OAAO,IAAA;AAAA,IACL,OAAA;AAAA,IACA;AAAA,MACE,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,MACpB,OAAO,aAAA,EAAc;AAAA,MACrB,IAAA,EAAM,EAAE,IAAA,EAAM,OAAA,EAAS,aAAa,IAAA,EAAM,QAAA,EAAU,CAAA,EAAG,QAAA,EAAU,CAAA;AAAE,KACrE;AAAA,IACA,CAAC,MAAA,EAAQ,OAAA,EAAS,MAAM;AAAA,GAC1B;AACF;AAEA,SAAS,GAAA,CAAI,SAAiB,OAAA,EAA2C;AACvE,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA,EAAQ;AAAA,IAC1B,MAAM,aAAA;AAAc,GACtB;AACA,EAAA,IAAI,OAAA,EAAS,UAAA,CAAW,OAAA,GAAU,WAAA,EAAY;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAY,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA,EAAG,oBAAA,EAAsB,KAAA,EAAM;AAClG;AAEA,SAAS,aAAA,CACP,IAAA,EACA,OAAA,EACA,KAAA,EACyB;AACzB,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,MAAA,EAAQ,EAAE,KAAA,EAAO,cAAA,EAAe;AAAA,IAChC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA;AAAQ,GAC5B;AACA,EAAA,IAAI,KAAA,aAAkB,KAAA,GAAQ,KAAA;AAC9B,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA;AAAA,IACA,QAAA,EAAU,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AAAA,IAChC,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,aAAA,GAAwC;AAC/C,EAAA,OAAO,EAAE,MAAM,oBAAA,EAAqB;AACtC;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,WAAW,CAAA,EAAG,SAAA,EAAWA,mCAAyB,kBAAA,EAAmB;AAChG;AAEA,SAAS,WAAc,KAAA,EAAa;AAClC,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,KAAA;AAClF,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,CAAO,KAAK,CAAA,aAAc,KAAK,CAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,OAAO,KAAK,CAAA;AAC5B","file":"schemas.cjs","sourcesContent":["import { DEFAULT_KALADA_V1_LIMITS } from \"./limits.js\";\n\nexport type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;\n\nconst jsonValue = jsonValueSchema(\"#/$defs/jsonValue\", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);\nconst encodedJsonValue = jsonValueSchema(\n  \"#/$defs/encodedJsonValue\",\n  DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2,\n);\n\nfunction jsonValueSchema(reference: string, maxContainerSize: number): Record<string, unknown> {\n  return {\n    anyOf: [\n      { type: \"null\" },\n      { type: \"boolean\" },\n      { type: \"number\", minimum: -1.7976931348623157e308, maximum: 1.7976931348623157e308 },\n      { type: \"string\", maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n      {\n        type: \"array\",\n        maxItems: maxContainerSize,\n        items: { $ref: reference },\n      },\n      {\n        type: \"object\",\n        maxProperties: maxContainerSize,\n        propertyNames: {\n          allOf: [\n            { maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n            { not: { enum: [\"__proto__\", \"constructor\", \"prototype\"] } },\n          ],\n        },\n        additionalProperties: { $ref: reference },\n      },\n    ],\n  };\n}\n\nconst expression = {\n  oneOf: [\n    node(\"literal\", { value: { $ref: \"#/$defs/jsonValue\" } }, [\"value\"]),\n    node(\n      \"ref\",\n      {\n        ref: {\n          type: \"string\",\n          minLength: 1,\n          maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength,\n        },\n      },\n      [\"ref\"],\n    ),\n    node(\"binding\", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [\n      \"name\",\n      \"value\",\n      \"body\",\n    ]),\n    node(\"option\", { variant: { const: \"none\" } }, [\"variant\"]),\n    node(\"option\", { variant: { const: \"some\" }, value: expressionRef() }, [\"variant\", \"value\"]),\n    node(\"result\", { variant: { enum: [\"ok\", \"err\"] }, value: expressionRef() }, [\n      \"variant\",\n      \"value\",\n    ]),\n    node(\"instant\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"duration\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"current-instant\", {}, []),\n    temporalNode(\"temporal-arithmetic\", [\"add\", \"subtract\"]),\n    temporalNode(\"temporal-comparison\", [\n      \"equal\",\n      \"not-equal\",\n      \"less-than\",\n      \"less-than-or-equal\",\n      \"greater-than\",\n      \"greater-than-or-equal\",\n    ]),\n    matchNode(\"Option\", [arm(\"some\", true), arm(\"none\", false)]),\n    matchNode(\"Result\", [arm(\"ok\", true), arm(\"err\", true)]),\n  ],\n};\n\nexport const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/program/kalada-v1\",\n  $comment:\n    \"The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.\",\n  type: \"object\",\n  properties: {\n    format: { const: \"kalada-program\" },\n    version: { const: 1 },\n    profile: { const: \"kalada-v1\" },\n    expression: expressionRef(),\n  },\n  required: [\"format\", \"version\", \"profile\", \"expression\"],\n  additionalProperties: false,\n  $defs: { jsonValue, expression },\n});\n\nexport const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/value/kalada-value-v1\",\n  $ref: \"#/$defs/encodedValue\",\n  $defs: {\n    encodedJsonValue,\n    encodedValue: {\n      oneOf: [\n        valueEnvelope(\"Json\", \"value\", { $ref: \"#/$defs/encodedJsonValue\" }),\n        valueEnvelope(\"Option\", \"none\"),\n        valueEnvelope(\"Option\", \"some\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"ok\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"err\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Instant\", \"milliseconds\", safeInteger()),\n        valueEnvelope(\"Duration\", \"milliseconds\", safeInteger()),\n      ],\n    },\n  },\n});\n\nfunction node(\n  kind: string,\n  properties: Record<string, unknown>,\n  required: string[],\n): Record<string, unknown> {\n  return {\n    type: \"object\",\n    properties: { kind: { const: kind }, ...properties },\n    required: [\"kind\", ...required],\n    additionalProperties: false,\n  };\n}\n\nfunction temporalNode(kind: string, operators: readonly string[]): Record<string, unknown> {\n  return node(\n    kind,\n    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },\n    [\"operator\", \"left\", \"right\"],\n  );\n}\n\nfunction safeInteger(): Record<string, unknown> {\n  return {\n    type: \"integer\",\n    minimum: Number.MIN_SAFE_INTEGER,\n    maximum: Number.MAX_SAFE_INTEGER,\n  };\n}\n\nfunction matchNode(\n  type: \"Option\" | \"Result\",\n  arms: readonly Record<string, unknown>[],\n): Record<string, unknown> {\n  return node(\n    \"match\",\n    {\n      type: { const: type },\n      value: expressionRef(),\n      arms: { type: \"array\", prefixItems: arms, minItems: 2, maxItems: 2 },\n    },\n    [\"type\", \"value\", \"arms\"],\n  );\n}\n\nfunction arm(variant: string, payload: boolean): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    variant: { const: variant },\n    body: expressionRef(),\n  };\n  if (payload) properties.binding = bindingName();\n  return { type: \"object\", properties, required: [\"variant\", \"body\"], additionalProperties: false };\n}\n\nfunction valueEnvelope(\n  type: string,\n  variant: string,\n  value?: Record<string, unknown>,\n): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    format: { const: \"kalada-value\" },\n    version: { const: 1 },\n    type: { const: type },\n    variant: { const: variant },\n  };\n  if (value) properties.value = value;\n  return {\n    type: \"object\",\n    properties,\n    required: Object.keys(properties),\n    additionalProperties: false,\n  };\n}\n\nfunction expressionRef(): Record<string, string> {\n  return { $ref: \"#/$defs/expression\" };\n}\n\nfunction bindingName(): Record<string, unknown> {\n  return { type: \"string\", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };\n}\n\nfunction deepFreeze<T>(value: T): T {\n  if (typeof value !== \"object\" || value === null || Object.isFrozen(value)) return value;\n  for (const child of Object.values(value)) deepFreeze(child);\n  return Object.freeze(value);\n}\n"]}

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

@@ -0,0 +1,5 @@
+type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;
+declare const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema;
+declare const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema;
+
+export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };

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

@@ -0,0 +1,5 @@
+type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;
+declare const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema;
+declare const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema;
+
+export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA, type KaladaV1JsonSchema };

package/dist/kalada-v1/schemas.js

@@ -0,0 +1,179 @@
+import { DEFAULT_KALADA_V1_LIMITS } from './limits.js';
+
+const jsonValue = jsonValueSchema("#/$defs/jsonValue", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);
+const encodedJsonValue = jsonValueSchema(
+  "#/$defs/encodedJsonValue",
+  DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2
+);
+function jsonValueSchema(reference, maxContainerSize) {
+  return {
+    anyOf: [
+      { type: "null" },
+      { type: "boolean" },
+      { type: "number", minimum: -17976931348623157e292, maximum: 17976931348623157e292 },
+      { type: "string", maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },
+      {
+        type: "array",
+        maxItems: maxContainerSize,
+        items: { $ref: reference }
+      },
+      {
+        type: "object",
+        maxProperties: maxContainerSize,
+        propertyNames: {
+          allOf: [
+            { maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },
+            { not: { enum: ["__proto__", "constructor", "prototype"] } }
+          ]
+        },
+        additionalProperties: { $ref: reference }
+      }
+    ]
+  };
+}
+const expression = {
+  oneOf: [
+    node("literal", { value: { $ref: "#/$defs/jsonValue" } }, ["value"]),
+    node(
+      "ref",
+      {
+        ref: {
+          type: "string",
+          minLength: 1,
+          maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength
+        }
+      },
+      ["ref"]
+    ),
+    node("binding", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [
+      "name",
+      "value",
+      "body"
+    ]),
+    node("option", { variant: { const: "none" } }, ["variant"]),
+    node("option", { variant: { const: "some" }, value: expressionRef() }, ["variant", "value"]),
+    node("result", { variant: { enum: ["ok", "err"] }, value: expressionRef() }, [
+      "variant",
+      "value"
+    ]),
+    node("instant", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("duration", { milliseconds: safeInteger() }, ["milliseconds"]),
+    node("current-instant", {}, []),
+    temporalNode("temporal-arithmetic", ["add", "subtract"]),
+    temporalNode("temporal-comparison", [
+      "equal",
+      "not-equal",
+      "less-than",
+      "less-than-or-equal",
+      "greater-than",
+      "greater-than-or-equal"
+    ]),
+    matchNode("Option", [arm("some", true), arm("none", false)]),
+    matchNode("Result", [arm("ok", true), arm("err", true)])
+  ]
+};
+const KALADA_V1_PROGRAM_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/program/kalada-v1",
+  $comment: "The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.",
+  type: "object",
+  properties: {
+    format: { const: "kalada-program" },
+    version: { const: 1 },
+    profile: { const: "kalada-v1" },
+    expression: expressionRef()
+  },
+  required: ["format", "version", "profile", "expression"],
+  additionalProperties: false,
+  $defs: { jsonValue, expression }
+});
+const KALADA_VALUE_V1_SCHEMA = deepFreeze({
+  $schema: "https://json-schema.org/draft/2020-12/schema",
+  $id: "https://kalada.dev/schema/value/kalada-value-v1",
+  $ref: "#/$defs/encodedValue",
+  $defs: {
+    encodedJsonValue,
+    encodedValue: {
+      oneOf: [
+        valueEnvelope("Json", "value", { $ref: "#/$defs/encodedJsonValue" }),
+        valueEnvelope("Option", "none"),
+        valueEnvelope("Option", "some", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Result", "ok", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Result", "err", { $ref: "#/$defs/encodedValue" }),
+        valueEnvelope("Instant", "milliseconds", safeInteger()),
+        valueEnvelope("Duration", "milliseconds", safeInteger())
+      ]
+    }
+  }
+});
+function node(kind, properties, required) {
+  return {
+    type: "object",
+    properties: { kind: { const: kind }, ...properties },
+    required: ["kind", ...required],
+    additionalProperties: false
+  };
+}
+function temporalNode(kind, operators) {
+  return node(
+    kind,
+    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },
+    ["operator", "left", "right"]
+  );
+}
+function safeInteger() {
+  return {
+    type: "integer",
+    minimum: Number.MIN_SAFE_INTEGER,
+    maximum: Number.MAX_SAFE_INTEGER
+  };
+}
+function matchNode(type, arms) {
+  return node(
+    "match",
+    {
+      type: { const: type },
+      value: expressionRef(),
+      arms: { type: "array", prefixItems: arms, minItems: 2, maxItems: 2 }
+    },
+    ["type", "value", "arms"]
+  );
+}
+function arm(variant, payload) {
+  const properties = {
+    variant: { const: variant },
+    body: expressionRef()
+  };
+  if (payload) properties.binding = bindingName();
+  return { type: "object", properties, required: ["variant", "body"], additionalProperties: false };
+}
+function valueEnvelope(type, variant, value) {
+  const properties = {
+    format: { const: "kalada-value" },
+    version: { const: 1 },
+    type: { const: type },
+    variant: { const: variant }
+  };
+  if (value) properties.value = value;
+  return {
+    type: "object",
+    properties,
+    required: Object.keys(properties),
+    additionalProperties: false
+  };
+}
+function expressionRef() {
+  return { $ref: "#/$defs/expression" };
+}
+function bindingName() {
+  return { type: "string", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };
+}
+function deepFreeze(value) {
+  if (typeof value !== "object" || value === null || Object.isFrozen(value)) return value;
+  for (const child of Object.values(value)) deepFreeze(child);
+  return Object.freeze(value);
+}
+
+export { KALADA_V1_PROGRAM_SCHEMA, KALADA_VALUE_V1_SCHEMA };
+//# sourceMappingURL=schemas.js.map
+//# sourceMappingURL=schemas.js.map

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

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/schemas.ts"],"names":[],"mappings":";;AAIA,MAAM,SAAA,GAAY,eAAA,CAAgB,mBAAA,EAAqB,wBAAA,CAAyB,gBAAgB,CAAC,CAAA;AACjG,MAAM,gBAAA,GAAmB,eAAA;AAAA,EACvB,0BAAA;AAAA,EACA,yBAAyB,aAAA,GAAgB;AAC3C,CAAA;AAEA,SAAS,eAAA,CAAgB,WAAmB,gBAAA,EAAmD;AAC7F,EAAA,OAAO;AAAA,IACL,KAAA,EAAO;AAAA,MACL,EAAE,MAAM,MAAA,EAAO;AAAA,MACf,EAAE,MAAM,SAAA,EAAU;AAAA,MAClB,EAAE,IAAA,EAAM,QAAA,EAAU,OAAA,EAAS,sBAAA,EAAyB,SAAS,qBAAA,EAAuB;AAAA,MACpF,EAAE,IAAA,EAAM,QAAA,EAAU,SAAA,EAAW,yBAAyB,eAAA,EAAgB;AAAA,MACtE;AAAA,QACE,IAAA,EAAM,OAAA;AAAA,QACN,QAAA,EAAU,gBAAA;AAAA,QACV,KAAA,EAAO,EAAE,IAAA,EAAM,SAAA;AAAU,OAC3B;AAAA,MACA;AAAA,QACE,IAAA,EAAM,QAAA;AAAA,QACN,aAAA,EAAe,gBAAA;AAAA,QACf,aAAA,EAAe;AAAA,UACb,KAAA,EAAO;AAAA,YACL,EAAE,SAAA,EAAW,wBAAA,CAAyB,eAAA,EAAgB;AAAA,YACtD,EAAE,KAAK,EAAE,IAAA,EAAM,CAAC,WAAA,EAAa,aAAA,EAAe,WAAW,CAAA,EAAE;AAAE;AAC7D,SACF;AAAA,QACA,oBAAA,EAAsB,EAAE,IAAA,EAAM,SAAA;AAAU;AAC1C;AACF,GACF;AACF;AAEA,MAAM,UAAA,GAAa;AAAA,EACjB,KAAA,EAAO;AAAA,IACL,IAAA,CAAK,SAAA,EAAW,EAAE,KAAA,EAAO,EAAE,IAAA,EAAM,mBAAA,EAAoB,EAAE,EAAG,CAAC,OAAO,CAAC,CAAA;AAAA,IACnE,IAAA;AAAA,MACE,KAAA;AAAA,MACA;AAAA,QACE,GAAA,EAAK;AAAA,UACH,IAAA,EAAM,QAAA;AAAA,UACN,SAAA,EAAW,CAAA;AAAA,UACX,WAAW,wBAAA,CAAyB;AAAA;AACtC,OACF;AAAA,MACA,CAAC,KAAK;AAAA,KACR;AAAA,IACA,IAAA,CAAK,SAAA,EAAW,EAAE,IAAA,EAAM,WAAA,EAAY,EAAG,KAAA,EAAO,aAAA,EAAc,EAAG,IAAA,EAAM,aAAA,EAAc,EAAE,EAAG;AAAA,MACtF,MAAA;AAAA,MACA,OAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAE,EAAG,CAAC,SAAS,CAAC,CAAA;AAAA,IAC1D,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,KAAA,EAAO,MAAA,EAAO,EAAG,KAAA,EAAO,eAAc,EAAE,EAAG,CAAC,SAAA,EAAW,OAAO,CAAC,CAAA;AAAA,IAC3F,IAAA,CAAK,QAAA,EAAU,EAAE,OAAA,EAAS,EAAE,IAAA,EAAM,CAAC,IAAA,EAAM,KAAK,CAAA,EAAE,EAAG,KAAA,EAAO,aAAA,IAAgB,EAAG;AAAA,MAC3E,SAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,IAAA,CAAK,WAAW,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IACjE,IAAA,CAAK,YAAY,EAAE,YAAA,EAAc,aAAY,EAAE,EAAG,CAAC,cAAc,CAAC,CAAA;AAAA,IAClE,IAAA,CAAK,iBAAA,EAAmB,EAAC,EAAG,EAAE,CAAA;AAAA,IAC9B,YAAA,CAAa,qBAAA,EAAuB,CAAC,KAAA,EAAO,UAAU,CAAC,CAAA;AAAA,IACvD,aAAa,qBAAA,EAAuB;AAAA,MAClC,OAAA;AAAA,MACA,WAAA;AAAA,MACA,WAAA;AAAA,MACA,oBAAA;AAAA,MACA,cAAA;AAAA,MACA;AAAA,KACD,CAAA;AAAA,IACD,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,MAAA,EAAQ,IAAI,CAAA,EAAG,GAAA,CAAI,MAAA,EAAQ,KAAK,CAAC,CAAC,CAAA;AAAA,IAC3D,SAAA,CAAU,QAAA,EAAU,CAAC,GAAA,CAAI,IAAA,EAAM,IAAI,CAAA,EAAG,GAAA,CAAI,KAAA,EAAO,IAAI,CAAC,CAAC;AAAA;AAE3D,CAAA;AAEO,MAAM,2BAA+C,UAAA,CAAW;AAAA,EACrE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,6CAAA;AAAA,EACL,QAAA,EACE,wKAAA;AAAA,EACF,IAAA,EAAM,QAAA;AAAA,EACN,UAAA,EAAY;AAAA,IACV,MAAA,EAAQ,EAAE,KAAA,EAAO,gBAAA,EAAiB;AAAA,IAClC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,WAAA,EAAY;AAAA,IAC9B,YAAY,aAAA;AAAc,GAC5B;AAAA,EACA,QAAA,EAAU,CAAC,QAAA,EAAU,SAAA,EAAW,WAAW,YAAY,CAAA;AAAA,EACvD,oBAAA,EAAsB,KAAA;AAAA,EACtB,KAAA,EAAO,EAAE,SAAA,EAAW,UAAA;AACtB,CAAC;AAEM,MAAM,yBAA6C,UAAA,CAAW;AAAA,EACnE,OAAA,EAAS,8CAAA;AAAA,EACT,GAAA,EAAK,iDAAA;AAAA,EACL,IAAA,EAAM,sBAAA;AAAA,EACN,KAAA,EAAO;AAAA,IACL,gBAAA;AAAA,IACA,YAAA,EAAc;AAAA,MACZ,KAAA,EAAO;AAAA,QACL,cAAc,MAAA,EAAQ,OAAA,EAAS,EAAE,IAAA,EAAM,4BAA4B,CAAA;AAAA,QACnE,aAAA,CAAc,UAAU,MAAM,CAAA;AAAA,QAC9B,cAAc,QAAA,EAAU,MAAA,EAAQ,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAChE,cAAc,QAAA,EAAU,IAAA,EAAM,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC9D,cAAc,QAAA,EAAU,KAAA,EAAO,EAAE,IAAA,EAAM,wBAAwB,CAAA;AAAA,QAC/D,aAAA,CAAc,SAAA,EAAW,cAAA,EAAgB,WAAA,EAAa,CAAA;AAAA,QACtD,aAAA,CAAc,UAAA,EAAY,cAAA,EAAgB,WAAA,EAAa;AAAA;AACzD;AACF;AAEJ,CAAC;AAED,SAAS,IAAA,CACP,IAAA,EACA,UAAA,EACA,QAAA,EACyB;AACzB,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA,EAAY,EAAE,IAAA,EAAM,EAAE,OAAO,IAAA,EAAK,EAAG,GAAG,UAAA,EAAW;AAAA,IACnD,QAAA,EAAU,CAAC,MAAA,EAAQ,GAAG,QAAQ,CAAA;AAAA,IAC9B,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,YAAA,CAAa,MAAc,SAAA,EAAuD;AACzF,EAAA,OAAO,IAAA;AAAA,IACL,IAAA;AAAA,IACA,EAAE,QAAA,EAAU,EAAE,IAAA,EAAM,SAAA,EAAU,EAAG,IAAA,EAAM,aAAA,EAAc,EAAG,KAAA,EAAO,aAAA,EAAc,EAAE;AAAA,IAC/E,CAAC,UAAA,EAAY,MAAA,EAAQ,OAAO;AAAA,GAC9B;AACF;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,SAAA;AAAA,IACN,SAAS,MAAA,CAAO,gBAAA;AAAA,IAChB,SAAS,MAAA,CAAO;AAAA,GAClB;AACF;AAEA,SAAS,SAAA,CACP,MACA,IAAA,EACyB;AACzB,EAAA,OAAO,IAAA;AAAA,IACL,OAAA;AAAA,IACA;AAAA,MACE,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,MACpB,OAAO,aAAA,EAAc;AAAA,MACrB,IAAA,EAAM,EAAE,IAAA,EAAM,OAAA,EAAS,aAAa,IAAA,EAAM,QAAA,EAAU,CAAA,EAAG,QAAA,EAAU,CAAA;AAAE,KACrE;AAAA,IACA,CAAC,MAAA,EAAQ,OAAA,EAAS,MAAM;AAAA,GAC1B;AACF;AAEA,SAAS,GAAA,CAAI,SAAiB,OAAA,EAA2C;AACvE,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA,EAAQ;AAAA,IAC1B,MAAM,aAAA;AAAc,GACtB;AACA,EAAA,IAAI,OAAA,EAAS,UAAA,CAAW,OAAA,GAAU,WAAA,EAAY;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,UAAA,EAAY,QAAA,EAAU,CAAC,SAAA,EAAW,MAAM,CAAA,EAAG,oBAAA,EAAsB,KAAA,EAAM;AAClG;AAEA,SAAS,aAAA,CACP,IAAA,EACA,OAAA,EACA,KAAA,EACyB;AACzB,EAAA,MAAM,UAAA,GAAsC;AAAA,IAC1C,MAAA,EAAQ,EAAE,KAAA,EAAO,cAAA,EAAe;AAAA,IAChC,OAAA,EAAS,EAAE,KAAA,EAAO,CAAA,EAAE;AAAA,IACpB,IAAA,EAAM,EAAE,KAAA,EAAO,IAAA,EAAK;AAAA,IACpB,OAAA,EAAS,EAAE,KAAA,EAAO,OAAA;AAAQ,GAC5B;AACA,EAAA,IAAI,KAAA,aAAkB,KAAA,GAAQ,KAAA;AAC9B,EAAA,OAAO;AAAA,IACL,IAAA,EAAM,QAAA;AAAA,IACN,UAAA;AAAA,IACA,QAAA,EAAU,MAAA,CAAO,IAAA,CAAK,UAAU,CAAA;AAAA,IAChC,oBAAA,EAAsB;AAAA,GACxB;AACF;AAEA,SAAS,aAAA,GAAwC;AAC/C,EAAA,OAAO,EAAE,MAAM,oBAAA,EAAqB;AACtC;AAEA,SAAS,WAAA,GAAuC;AAC9C,EAAA,OAAO,EAAE,IAAA,EAAM,QAAA,EAAU,WAAW,CAAA,EAAG,SAAA,EAAW,yBAAyB,kBAAA,EAAmB;AAChG;AAEA,SAAS,WAAc,KAAA,EAAa;AAClC,EAAA,IAAI,OAAO,UAAU,QAAA,IAAY,KAAA,KAAU,QAAQ,MAAA,CAAO,QAAA,CAAS,KAAK,CAAA,EAAG,OAAO,KAAA;AAClF,EAAA,KAAA,MAAW,SAAS,MAAA,CAAO,MAAA,CAAO,KAAK,CAAA,aAAc,KAAK,CAAA;AAC1D,EAAA,OAAO,MAAA,CAAO,OAAO,KAAK,CAAA;AAC5B","file":"schemas.js","sourcesContent":["import { DEFAULT_KALADA_V1_LIMITS } from \"./limits.js\";\n\nexport type KaladaV1JsonSchema = Readonly<Record<string, unknown>>;\n\nconst jsonValue = jsonValueSchema(\"#/$defs/jsonValue\", DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 1);\nconst encodedJsonValue = jsonValueSchema(\n  \"#/$defs/encodedJsonValue\",\n  DEFAULT_KALADA_V1_LIMITS.maxValueNodes - 2,\n);\n\nfunction jsonValueSchema(reference: string, maxContainerSize: number): Record<string, unknown> {\n  return {\n    anyOf: [\n      { type: \"null\" },\n      { type: \"boolean\" },\n      { type: \"number\", minimum: -1.7976931348623157e308, maximum: 1.7976931348623157e308 },\n      { type: \"string\", maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n      {\n        type: \"array\",\n        maxItems: maxContainerSize,\n        items: { $ref: reference },\n      },\n      {\n        type: \"object\",\n        maxProperties: maxContainerSize,\n        propertyNames: {\n          allOf: [\n            { maxLength: DEFAULT_KALADA_V1_LIMITS.maxStringLength },\n            { not: { enum: [\"__proto__\", \"constructor\", \"prototype\"] } },\n          ],\n        },\n        additionalProperties: { $ref: reference },\n      },\n    ],\n  };\n}\n\nconst expression = {\n  oneOf: [\n    node(\"literal\", { value: { $ref: \"#/$defs/jsonValue\" } }, [\"value\"]),\n    node(\n      \"ref\",\n      {\n        ref: {\n          type: \"string\",\n          minLength: 1,\n          maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength,\n        },\n      },\n      [\"ref\"],\n    ),\n    node(\"binding\", { name: bindingName(), value: expressionRef(), body: expressionRef() }, [\n      \"name\",\n      \"value\",\n      \"body\",\n    ]),\n    node(\"option\", { variant: { const: \"none\" } }, [\"variant\"]),\n    node(\"option\", { variant: { const: \"some\" }, value: expressionRef() }, [\"variant\", \"value\"]),\n    node(\"result\", { variant: { enum: [\"ok\", \"err\"] }, value: expressionRef() }, [\n      \"variant\",\n      \"value\",\n    ]),\n    node(\"instant\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"duration\", { milliseconds: safeInteger() }, [\"milliseconds\"]),\n    node(\"current-instant\", {}, []),\n    temporalNode(\"temporal-arithmetic\", [\"add\", \"subtract\"]),\n    temporalNode(\"temporal-comparison\", [\n      \"equal\",\n      \"not-equal\",\n      \"less-than\",\n      \"less-than-or-equal\",\n      \"greater-than\",\n      \"greater-than-or-equal\",\n    ]),\n    matchNode(\"Option\", [arm(\"some\", true), arm(\"none\", false)]),\n    matchNode(\"Result\", [arm(\"ok\", true), arm(\"err\", true)]),\n  ],\n};\n\nexport const KALADA_V1_PROGRAM_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/program/kalada-v1\",\n  $comment:\n    \"The schema enforces canonical shape and local string/container bounds. Aggregate AST depth, AST nodes, value nodes, and evaluation steps remain runtime-authoritative.\",\n  type: \"object\",\n  properties: {\n    format: { const: \"kalada-program\" },\n    version: { const: 1 },\n    profile: { const: \"kalada-v1\" },\n    expression: expressionRef(),\n  },\n  required: [\"format\", \"version\", \"profile\", \"expression\"],\n  additionalProperties: false,\n  $defs: { jsonValue, expression },\n});\n\nexport const KALADA_VALUE_V1_SCHEMA: KaladaV1JsonSchema = deepFreeze({\n  $schema: \"https://json-schema.org/draft/2020-12/schema\",\n  $id: \"https://kalada.dev/schema/value/kalada-value-v1\",\n  $ref: \"#/$defs/encodedValue\",\n  $defs: {\n    encodedJsonValue,\n    encodedValue: {\n      oneOf: [\n        valueEnvelope(\"Json\", \"value\", { $ref: \"#/$defs/encodedJsonValue\" }),\n        valueEnvelope(\"Option\", \"none\"),\n        valueEnvelope(\"Option\", \"some\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"ok\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Result\", \"err\", { $ref: \"#/$defs/encodedValue\" }),\n        valueEnvelope(\"Instant\", \"milliseconds\", safeInteger()),\n        valueEnvelope(\"Duration\", \"milliseconds\", safeInteger()),\n      ],\n    },\n  },\n});\n\nfunction node(\n  kind: string,\n  properties: Record<string, unknown>,\n  required: string[],\n): Record<string, unknown> {\n  return {\n    type: \"object\",\n    properties: { kind: { const: kind }, ...properties },\n    required: [\"kind\", ...required],\n    additionalProperties: false,\n  };\n}\n\nfunction temporalNode(kind: string, operators: readonly string[]): Record<string, unknown> {\n  return node(\n    kind,\n    { operator: { enum: operators }, left: expressionRef(), right: expressionRef() },\n    [\"operator\", \"left\", \"right\"],\n  );\n}\n\nfunction safeInteger(): Record<string, unknown> {\n  return {\n    type: \"integer\",\n    minimum: Number.MIN_SAFE_INTEGER,\n    maximum: Number.MAX_SAFE_INTEGER,\n  };\n}\n\nfunction matchNode(\n  type: \"Option\" | \"Result\",\n  arms: readonly Record<string, unknown>[],\n): Record<string, unknown> {\n  return node(\n    \"match\",\n    {\n      type: { const: type },\n      value: expressionRef(),\n      arms: { type: \"array\", prefixItems: arms, minItems: 2, maxItems: 2 },\n    },\n    [\"type\", \"value\", \"arms\"],\n  );\n}\n\nfunction arm(variant: string, payload: boolean): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    variant: { const: variant },\n    body: expressionRef(),\n  };\n  if (payload) properties.binding = bindingName();\n  return { type: \"object\", properties, required: [\"variant\", \"body\"], additionalProperties: false };\n}\n\nfunction valueEnvelope(\n  type: string,\n  variant: string,\n  value?: Record<string, unknown>,\n): Record<string, unknown> {\n  const properties: Record<string, unknown> = {\n    format: { const: \"kalada-value\" },\n    version: { const: 1 },\n    type: { const: type },\n    variant: { const: variant },\n  };\n  if (value) properties.value = value;\n  return {\n    type: \"object\",\n    properties,\n    required: Object.keys(properties),\n    additionalProperties: false,\n  };\n}\n\nfunction expressionRef(): Record<string, string> {\n  return { $ref: \"#/$defs/expression\" };\n}\n\nfunction bindingName(): Record<string, unknown> {\n  return { type: \"string\", minLength: 1, maxLength: DEFAULT_KALADA_V1_LIMITS.maxReferenceLength };\n}\n\nfunction deepFreeze<T>(value: T): T {\n  if (typeof value !== \"object\" || value === null || Object.isFrozen(value)) return value;\n  for (const child of Object.values(value)) deepFreeze(child);\n  return Object.freeze(value);\n}\n"]}

package/dist/kalada-v1/temporal-evaluation.cjs

@@ -0,0 +1,74 @@
+'use strict';
+
+var diagnostics_js = require('./diagnostics.js');
+var temporal_js = require('./temporal.js');
+
+function isTemporalExpression(node) {
+  return node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison";
+}
+function evaluateTemporalExpression(node, path, instant, evaluate) {
+  if (node.kind === "instant") return temporal_js.Instant.fromMilliseconds(node.milliseconds);
+  if (node.kind === "duration") return temporal_js.Duration.fromMilliseconds(node.milliseconds);
+  if (node.kind === "current-instant") {
+    if (!instant) throw new diagnostics_js.KaladaFailure("KALADA_INSTANT_REQUIRED", path);
+    return instant;
+  }
+  const left = temporalOperand(evaluate, node.left, [...path, "left"]);
+  const right = temporalOperand(evaluate, node.right, [...path, "right"]);
+  if (node.kind === "temporal-comparison") {
+    assertSameType(left, right, [...path, "right"]);
+    return compare(node.operator, left.milliseconds, right.milliseconds);
+  }
+  return node.operator === "add" ? add(left, right, [...path, "right"]) : subtract(left, right, [...path, "right"]);
+}
+function temporalOperand(evaluate, node, path) {
+  const value = evaluate(node, path);
+  if (!temporal_js.isInstant(value) && !temporal_js.isDuration(value)) mismatch(path);
+  return value;
+}
+function add(left, right, path) {
+  if (temporal_js.isInstant(left) && temporal_js.isDuration(right)) {
+    return temporal_js.Instant.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));
+  }
+  if (temporal_js.isDuration(left) && temporal_js.isDuration(right)) {
+    return temporal_js.Duration.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));
+  }
+  return mismatch(path);
+}
+function subtract(left, right, path) {
+  if (temporal_js.isInstant(left) && temporal_js.isInstant(right)) {
+    return temporal_js.Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  if (temporal_js.isInstant(left) && temporal_js.isDuration(right)) {
+    return temporal_js.Instant.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  if (temporal_js.isDuration(left) && temporal_js.isDuration(right)) {
+    return temporal_js.Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  return mismatch(path);
+}
+function assertSameType(left, right, path) {
+  if (temporal_js.isInstant(left) && !temporal_js.isInstant(right) || temporal_js.isDuration(left) && !temporal_js.isDuration(right)) {
+    mismatch(path);
+  }
+}
+function compare(operator, left, right) {
+  if (operator === "equal") return left === right;
+  if (operator === "not-equal") return left !== right;
+  if (operator === "less-than") return left < right;
+  if (operator === "less-than-or-equal") return left <= right;
+  if (operator === "greater-than") return left > right;
+  return left >= right;
+}
+function checked(output, path) {
+  if (!Number.isSafeInteger(output)) throw new diagnostics_js.KaladaFailure("KALADA_TEMPORAL_OVERFLOW", path);
+  return Object.is(output, -0) ? 0 : output;
+}
+function mismatch(path) {
+  throw new diagnostics_js.KaladaFailure("KALADA_TEMPORAL_TYPE_MISMATCH", path);
+}
+
+exports.evaluateTemporalExpression = evaluateTemporalExpression;
+exports.isTemporalExpression = isTemporalExpression;
+//# sourceMappingURL=temporal-evaluation.cjs.map
+//# sourceMappingURL=temporal-evaluation.cjs.map

package/dist/kalada-v1/temporal-evaluation.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/kalada-v1/temporal-evaluation.ts"],"names":["Instant","Duration","KaladaFailure","isInstant","isDuration"],"mappings":";;;;;AAoBO,SAAS,qBACd,IAAA,EAC+B;AAC/B,EAAA,OACE,IAAA,CAAK,IAAA,KAAS,SAAA,IACd,IAAA,CAAK,IAAA,KAAS,UAAA,IACd,IAAA,CAAK,IAAA,KAAS,iBAAA,IACd,IAAA,CAAK,IAAA,KAAS,qBAAA,IACd,KAAK,IAAA,KAAS,qBAAA;AAElB;AAEO,SAAS,0BAAA,CACd,IAAA,EACA,IAAA,EACA,OAAA,EACA,QAAA,EACa;AACb,EAAA,IAAI,KAAK,IAAA,KAAS,SAAA,SAAkBA,mBAAA,CAAQ,gBAAA,CAAiB,KAAK,YAAY,CAAA;AAC9E,EAAA,IAAI,KAAK,IAAA,KAAS,UAAA,SAAmBC,oBAAA,CAAS,gBAAA,CAAiB,KAAK,YAAY,CAAA;AAChF,EAAA,IAAI,IAAA,CAAK,SAAS,iBAAA,EAAmB;AACnC,IAAA,IAAI,CAAC,OAAA,EAAS,MAAM,IAAIC,4BAAA,CAAc,2BAA2B,IAAI,CAAA;AACrE,IAAA,OAAO,OAAA;AAAA,EACT;AACA,EAAA,MAAM,IAAA,GAAO,gBAAgB,QAAA,EAAU,IAAA,CAAK,MAAM,CAAC,GAAG,IAAA,EAAM,MAAM,CAAC,CAAA;AACnE,EAAA,MAAM,KAAA,GAAQ,gBAAgB,QAAA,EAAU,IAAA,CAAK,OAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AACtE,EAAA,IAAI,IAAA,CAAK,SAAS,qBAAA,EAAuB;AACvC,IAAA,cAAA,CAAe,MAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9C,IAAA,OAAO,QAAQ,IAAA,CAAK,QAAA,EAAU,IAAA,CAAK,YAAA,EAAc,MAAM,YAAY,CAAA;AAAA,EACrE;AACA,EAAA,OAAO,KAAK,QAAA,KAAa,KAAA,GACrB,IAAI,IAAA,EAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA,GACnC,SAAS,IAAA,EAAM,KAAA,EAAO,CAAC,GAAG,IAAA,EAAM,OAAO,CAAC,CAAA;AAC9C;AAEA,SAAS,eAAA,CACP,QAAA,EACA,IAAA,EACA,IAAA,EACe;AACf,EAAA,MAAM,KAAA,GAAQ,QAAA,CAAS,IAAA,EAAM,IAAI,CAAA;AACjC,EAAA,IAAI,CAACC,sBAAU,KAAK,CAAA,IAAK,CAACC,sBAAA,CAAW,KAAK,CAAA,EAAG,QAAA,CAAS,IAAI,CAAA;AAC1D,EAAA,OAAO,KAAA;AACT;AAEA,SAAS,GAAA,CAAI,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAA2B;AACjF,EAAA,IAAID,qBAAA,CAAU,IAAI,CAAA,IAAKC,sBAAA,CAAW,KAAK,CAAA,EAAG;AACxC,IAAA,OAAOJ,mBAAA,CAAQ,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACvF;AACA,EAAA,IAAII,sBAAA,CAAW,IAAI,CAAA,IAAKA,sBAAA,CAAW,KAAK,CAAA,EAAG;AACzC,IAAA,OAAOH,oBAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,OAAO,SAAS,IAAI,CAAA;AACtB;AAEA,SAAS,QAAA,CAAS,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAA2B;AACtF,EAAA,IAAIE,qBAAA,CAAU,IAAI,CAAA,IAAKA,qBAAA,CAAU,KAAK,CAAA,EAAG;AACvC,IAAA,OAAOF,oBAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,IAAIE,qBAAA,CAAU,IAAI,CAAA,IAAKC,sBAAA,CAAW,KAAK,CAAA,EAAG;AACxC,IAAA,OAAOJ,mBAAA,CAAQ,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACvF;AACA,EAAA,IAAII,sBAAA,CAAW,IAAI,CAAA,IAAKA,sBAAA,CAAW,KAAK,CAAA,EAAG;AACzC,IAAA,OAAOH,oBAAA,CAAS,iBAAiB,OAAA,CAAQ,IAAA,CAAK,eAAe,KAAA,CAAM,YAAA,EAAc,IAAI,CAAC,CAAA;AAAA,EACxF;AACA,EAAA,OAAO,SAAS,IAAI,CAAA;AACtB;AAEA,SAAS,cAAA,CAAe,IAAA,EAAqB,KAAA,EAAsB,IAAA,EAAkB;AACnF,EAAA,IAAKE,qBAAA,CAAU,IAAI,CAAA,IAAK,CAACA,qBAAA,CAAU,KAAK,CAAA,IAAOC,sBAAA,CAAW,IAAI,CAAA,IAAK,CAACA,sBAAA,CAAW,KAAK,CAAA,EAAI;AACtF,IAAA,QAAA,CAAS,IAAI,CAAA;AAAA,EACf;AACF;AAEA,SAAS,OAAA,CACP,QAAA,EACA,IAAA,EACA,KAAA,EACS;AACT,EAAA,IAAI,QAAA,KAAa,OAAA,EAAS,OAAO,IAAA,KAAS,KAAA;AAC1C,EAAA,IAAI,QAAA,KAAa,WAAA,EAAa,OAAO,IAAA,KAAS,KAAA;AAC9C,EAAA,IAAI,QAAA,KAAa,WAAA,EAAa,OAAO,IAAA,GAAO,KAAA;AAC5C,EAAA,IAAI,QAAA,KAAa,oBAAA,EAAsB,OAAO,IAAA,IAAQ,KAAA;AACtD,EAAA,IAAI,QAAA,KAAa,cAAA,EAAgB,OAAO,IAAA,GAAO,KAAA;AAC/C,EAAA,OAAO,IAAA,IAAQ,KAAA;AACjB;AAEA,SAAS,OAAA,CAAQ,QAAgB,IAAA,EAAoB;AACnD,EAAA,IAAI,CAAC,OAAO,aAAA,CAAc,MAAM,GAAG,MAAM,IAAIF,4BAAA,CAAc,0BAAA,EAA4B,IAAI,CAAA;AAC3F,EAAA,OAAO,MAAA,CAAO,EAAA,CAAG,MAAA,EAAQ,EAAE,IAAI,CAAA,GAAI,MAAA;AACrC;AAEA,SAAS,SAAS,IAAA,EAAmB;AACnC,EAAA,MAAM,IAAIA,4BAAA,CAAc,+BAAA,EAAiC,IAAI,CAAA;AAC/D","file":"temporal-evaluation.cjs","sourcesContent":["import { KaladaFailure } from \"./diagnostics.js\";\nimport type { JsonValue } from \"./json.js\";\nimport {\n  Duration,\n  type DurationValue,\n  Instant,\n  type InstantValue,\n  isDuration,\n  isInstant,\n} from \"./temporal.js\";\nimport type { KaladaV1Expression } from \"./types.js\";\nimport type { KaladaValue } from \"./values.js\";\n\ntype Path = readonly (string | number)[];\ntype TemporalExpression<R extends JsonValue> = Extract<\n  KaladaV1Expression<R>,\n  { kind: \"instant\" | \"duration\" | \"current-instant\" | `temporal-${string}` }\n>;\ntype TemporalValue = InstantValue | DurationValue;\n\nexport function isTemporalExpression<R extends JsonValue>(\n  node: KaladaV1Expression<R>,\n): node is TemporalExpression<R> {\n  return (\n    node.kind === \"instant\" ||\n    node.kind === \"duration\" ||\n    node.kind === \"current-instant\" ||\n    node.kind === \"temporal-arithmetic\" ||\n    node.kind === \"temporal-comparison\"\n  );\n}\n\nexport function evaluateTemporalExpression<R extends JsonValue>(\n  node: TemporalExpression<R>,\n  path: Path,\n  instant: InstantValue | undefined,\n  evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue,\n): KaladaValue {\n  if (node.kind === \"instant\") return Instant.fromMilliseconds(node.milliseconds);\n  if (node.kind === \"duration\") return Duration.fromMilliseconds(node.milliseconds);\n  if (node.kind === \"current-instant\") {\n    if (!instant) throw new KaladaFailure(\"KALADA_INSTANT_REQUIRED\", path);\n    return instant;\n  }\n  const left = temporalOperand(evaluate, node.left, [...path, \"left\"]);\n  const right = temporalOperand(evaluate, node.right, [...path, \"right\"]);\n  if (node.kind === \"temporal-comparison\") {\n    assertSameType(left, right, [...path, \"right\"]);\n    return compare(node.operator, left.milliseconds, right.milliseconds);\n  }\n  return node.operator === \"add\"\n    ? add(left, right, [...path, \"right\"])\n    : subtract(left, right, [...path, \"right\"]);\n}\n\nfunction temporalOperand<R extends JsonValue>(\n  evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue,\n  node: KaladaV1Expression<R>,\n  path: Path,\n): TemporalValue {\n  const value = evaluate(node, path);\n  if (!isInstant(value) && !isDuration(value)) mismatch(path);\n  return value;\n}\n\nfunction add(left: TemporalValue, right: TemporalValue, path: Path): TemporalValue {\n  if (isInstant(left) && isDuration(right)) {\n    return Instant.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));\n  }\n  if (isDuration(left) && isDuration(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));\n  }\n  return mismatch(path);\n}\n\nfunction subtract(left: TemporalValue, right: TemporalValue, path: Path): TemporalValue {\n  if (isInstant(left) && isInstant(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  if (isInstant(left) && isDuration(right)) {\n    return Instant.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  if (isDuration(left) && isDuration(right)) {\n    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));\n  }\n  return mismatch(path);\n}\n\nfunction assertSameType(left: TemporalValue, right: TemporalValue, path: Path): void {\n  if ((isInstant(left) && !isInstant(right)) || (isDuration(left) && !isDuration(right))) {\n    mismatch(path);\n  }\n}\n\nfunction compare(\n  operator: Extract<KaladaV1Expression, { kind: \"temporal-comparison\" }>[\"operator\"],\n  left: number,\n  right: number,\n): boolean {\n  if (operator === \"equal\") return left === right;\n  if (operator === \"not-equal\") return left !== right;\n  if (operator === \"less-than\") return left < right;\n  if (operator === \"less-than-or-equal\") return left <= right;\n  if (operator === \"greater-than\") return left > right;\n  return left >= right;\n}\n\nfunction checked(output: number, path: Path): number {\n  if (!Number.isSafeInteger(output)) throw new KaladaFailure(\"KALADA_TEMPORAL_OVERFLOW\", path);\n  return Object.is(output, -0) ? 0 : output;\n}\n\nfunction mismatch(path: Path): never {\n  throw new KaladaFailure(\"KALADA_TEMPORAL_TYPE_MISMATCH\", path);\n}\n"]}

package/dist/kalada-v1/temporal-evaluation.d.cts

@@ -0,0 +1,13 @@
+import { JsonValue } from './json.cjs';
+import { InstantValue } from './temporal.cjs';
+import { KaladaV1Expression } from './types.cjs';
+import { KaladaValue } from './values.cjs';
+
+type Path = readonly (string | number)[];
+type TemporalExpression<R extends JsonValue> = Extract<KaladaV1Expression<R>, {
+    kind: "instant" | "duration" | "current-instant" | `temporal-${string}`;
+}>;
+declare function isTemporalExpression<R extends JsonValue>(node: KaladaV1Expression<R>): node is TemporalExpression<R>;
+declare function evaluateTemporalExpression<R extends JsonValue>(node: TemporalExpression<R>, path: Path, instant: InstantValue | undefined, evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue): KaladaValue;
+
+export { evaluateTemporalExpression, isTemporalExpression };

package/dist/kalada-v1/temporal-evaluation.d.ts

@@ -0,0 +1,13 @@
+import { JsonValue } from './json.js';
+import { InstantValue } from './temporal.js';
+import { KaladaV1Expression } from './types.js';
+import { KaladaValue } from './values.js';
+
+type Path = readonly (string | number)[];
+type TemporalExpression<R extends JsonValue> = Extract<KaladaV1Expression<R>, {
+    kind: "instant" | "duration" | "current-instant" | `temporal-${string}`;
+}>;
+declare function isTemporalExpression<R extends JsonValue>(node: KaladaV1Expression<R>): node is TemporalExpression<R>;
+declare function evaluateTemporalExpression<R extends JsonValue>(node: TemporalExpression<R>, path: Path, instant: InstantValue | undefined, evaluate: (node: KaladaV1Expression<R>, path: Path) => KaladaValue): KaladaValue;
+
+export { evaluateTemporalExpression, isTemporalExpression };

package/dist/kalada-v1/temporal-evaluation.js

@@ -0,0 +1,71 @@
+import { KaladaFailure } from './diagnostics.js';
+import { Instant, Duration, isInstant, isDuration } from './temporal.js';
+
+function isTemporalExpression(node) {
+  return node.kind === "instant" || node.kind === "duration" || node.kind === "current-instant" || node.kind === "temporal-arithmetic" || node.kind === "temporal-comparison";
+}
+function evaluateTemporalExpression(node, path, instant, evaluate) {
+  if (node.kind === "instant") return Instant.fromMilliseconds(node.milliseconds);
+  if (node.kind === "duration") return Duration.fromMilliseconds(node.milliseconds);
+  if (node.kind === "current-instant") {
+    if (!instant) throw new KaladaFailure("KALADA_INSTANT_REQUIRED", path);
+    return instant;
+  }
+  const left = temporalOperand(evaluate, node.left, [...path, "left"]);
+  const right = temporalOperand(evaluate, node.right, [...path, "right"]);
+  if (node.kind === "temporal-comparison") {
+    assertSameType(left, right, [...path, "right"]);
+    return compare(node.operator, left.milliseconds, right.milliseconds);
+  }
+  return node.operator === "add" ? add(left, right, [...path, "right"]) : subtract(left, right, [...path, "right"]);
+}
+function temporalOperand(evaluate, node, path) {
+  const value = evaluate(node, path);
+  if (!isInstant(value) && !isDuration(value)) mismatch(path);
+  return value;
+}
+function add(left, right, path) {
+  if (isInstant(left) && isDuration(right)) {
+    return Instant.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));
+  }
+  if (isDuration(left) && isDuration(right)) {
+    return Duration.fromMilliseconds(checked(left.milliseconds + right.milliseconds, path));
+  }
+  return mismatch(path);
+}
+function subtract(left, right, path) {
+  if (isInstant(left) && isInstant(right)) {
+    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  if (isInstant(left) && isDuration(right)) {
+    return Instant.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  if (isDuration(left) && isDuration(right)) {
+    return Duration.fromMilliseconds(checked(left.milliseconds - right.milliseconds, path));
+  }
+  return mismatch(path);
+}
+function assertSameType(left, right, path) {
+  if (isInstant(left) && !isInstant(right) || isDuration(left) && !isDuration(right)) {
+    mismatch(path);
+  }
+}
+function compare(operator, left, right) {
+  if (operator === "equal") return left === right;
+  if (operator === "not-equal") return left !== right;
+  if (operator === "less-than") return left < right;
+  if (operator === "less-than-or-equal") return left <= right;
+  if (operator === "greater-than") return left > right;
+  return left >= right;
+}
+function checked(output, path) {
+  if (!Number.isSafeInteger(output)) throw new KaladaFailure("KALADA_TEMPORAL_OVERFLOW", path);
+  return Object.is(output, -0) ? 0 : output;
+}
+function mismatch(path) {
+  throw new KaladaFailure("KALADA_TEMPORAL_TYPE_MISMATCH", path);
+}
+
+export { evaluateTemporalExpression, isTemporalExpression };
+//# sourceMappingURL=temporal-evaluation.js.map
+//# sourceMappingURL=temporal-evaluation.js.map