@kalada/core 0.0.0 → 0.2.0

package/dist/kalada-v1/limits.js

@@ -0,0 +1,31 @@
+const DEFAULT_KALADA_V1_LIMITS = Object.freeze({
+  maxAstDepth: 64,
+  maxAstNodes: 1e4,
+  maxValueDepth: 64,
+  maxValueNodes: 1e4,
+  maxStringLength: 1e4,
+  maxReferenceLength: 1e3,
+  maxEvaluationSteps: 1e4
+});
+const MAXIMUM = Object.freeze({
+  maxAstDepth: 256,
+  maxAstNodes: 1e5,
+  maxValueDepth: 256,
+  maxValueNodes: 1e5,
+  maxStringLength: 1e6,
+  maxReferenceLength: 1e5,
+  maxEvaluationSteps: 1e5
+});
+function resolveLimits(input) {
+  const limits = { ...DEFAULT_KALADA_V1_LIMITS, ...input };
+  for (const key of Object.keys(limits)) {
+    const value = limits[key];
+    if (!Number.isSafeInteger(value) || value < 1 || value > MAXIMUM[key])
+      throw new RangeError("limit");
+  }
+  return Object.freeze(limits);
+}
+
+export { DEFAULT_KALADA_V1_LIMITS, resolveLimits };
+//# sourceMappingURL=limits.js.map
+//# sourceMappingURL=limits.js.map

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,154 @@
+'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"
+    ]),
+    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" })
+      ]
+    }
+  }
+});
+function node(kind, properties, required) {
+  return {
+    type: "object",
+    properties: { kind: { const: kind }, ...properties },
+    required: ["kind", ...required],
+    additionalProperties: false
+  };
+}
+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,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;AAAA;AACjE;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,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    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      ],\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 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,151 @@
+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"
+    ]),
+    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" })
+      ]
+    }
+  }
+});
+function node(kind, properties, required) {
+  return {
+    type: "object",
+    properties: { kind: { const: kind }, ...properties },
+    required: ["kind", ...required],
+    additionalProperties: false
+  };
+}
+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,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;AAAA;AACjE;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,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    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      ],\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 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/types.cjs

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

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

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

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

@@ -0,0 +1,91 @@
+import { JsonValue } from './json.cjs';
+import { KaladaValue } from './values.cjs';
+
+type KaladaV1Expression<R extends JsonValue = string> = {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "ref";
+    readonly ref: R;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R>;
+interface BindingExpression<R extends JsonValue> {
+    readonly kind: "binding";
+    readonly name: string;
+    readonly value: KaladaV1Expression<R>;
+    readonly body: KaladaV1Expression<R>;
+}
+type OptionExpression<R extends JsonValue> = {
+    readonly kind: "option";
+    readonly variant: "none";
+} | {
+    readonly kind: "option";
+    readonly variant: "some";
+    readonly value: KaladaV1Expression<R>;
+};
+interface ResultExpression<R extends JsonValue> {
+    readonly kind: "result";
+    readonly variant: "ok" | "err";
+    readonly value: KaladaV1Expression<R>;
+}
+interface MatchExpression<R extends JsonValue> {
+    readonly kind: "match";
+    readonly type: "Option" | "Result";
+    readonly value: KaladaV1Expression<R>;
+    readonly arms: readonly MatchArm<R>[];
+}
+interface MatchArm<R extends JsonValue> {
+    readonly variant: "some" | "none" | "ok" | "err";
+    readonly binding?: string;
+    readonly body: KaladaV1Expression<R>;
+}
+interface KaladaV1Program<R extends JsonValue = string> {
+    readonly format: "kalada-program";
+    readonly version: 1;
+    readonly profile: "kalada-v1";
+    readonly expression: KaladaV1Expression<R>;
+}
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT";
+interface KaladaV1Diagnostic {
+    readonly code: KaladaV1DiagnosticCode;
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+}
+type KaladaV1Outcome<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly diagnostic: KaladaV1Diagnostic;
+};
+interface KaladaV1Limits {
+    readonly maxAstDepth: number;
+    readonly maxAstNodes: number;
+    readonly maxValueDepth: number;
+    readonly maxValueNodes: number;
+    readonly maxStringLength: number;
+    readonly maxReferenceLength: number;
+    readonly maxEvaluationSteps: number;
+}
+interface KaladaV1ReferenceCodec<R extends JsonValue> {
+    readonly validate: (input: unknown) => input is R;
+    readonly canonicalize?: (reference: R) => R;
+}
+interface KaladaV1Options<R extends JsonValue> {
+    readonly reference?: KaladaV1ReferenceCodec<R>;
+    readonly limits?: Partial<KaladaV1Limits>;
+}
+type KaladaV1Resolution = {
+    readonly found: true;
+    readonly value: KaladaValue;
+} | {
+    readonly found: false;
+    readonly reason?: "missing" | "denied";
+};
+type KaladaV1Resolver<R extends JsonValue> = (reference: R) => KaladaV1Resolution;
+interface CompiledKaladaV1Program<R extends JsonValue> {
+    readonly program: KaladaV1Program<R>;
+    readonly dependencies: readonly R[];
+    evaluate(resolve: KaladaV1Resolver<R>): KaladaV1Outcome<KaladaValue>;
+}
+
+export type { BindingExpression, CompiledKaladaV1Program, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression };

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

@@ -0,0 +1,91 @@
+import { JsonValue } from './json.js';
+import { KaladaValue } from './values.js';
+
+type KaladaV1Expression<R extends JsonValue = string> = {
+    readonly kind: "literal";
+    readonly value: JsonValue;
+} | {
+    readonly kind: "ref";
+    readonly ref: R;
+} | BindingExpression<R> | OptionExpression<R> | ResultExpression<R> | MatchExpression<R>;
+interface BindingExpression<R extends JsonValue> {
+    readonly kind: "binding";
+    readonly name: string;
+    readonly value: KaladaV1Expression<R>;
+    readonly body: KaladaV1Expression<R>;
+}
+type OptionExpression<R extends JsonValue> = {
+    readonly kind: "option";
+    readonly variant: "none";
+} | {
+    readonly kind: "option";
+    readonly variant: "some";
+    readonly value: KaladaV1Expression<R>;
+};
+interface ResultExpression<R extends JsonValue> {
+    readonly kind: "result";
+    readonly variant: "ok" | "err";
+    readonly value: KaladaV1Expression<R>;
+}
+interface MatchExpression<R extends JsonValue> {
+    readonly kind: "match";
+    readonly type: "Option" | "Result";
+    readonly value: KaladaV1Expression<R>;
+    readonly arms: readonly MatchArm<R>[];
+}
+interface MatchArm<R extends JsonValue> {
+    readonly variant: "some" | "none" | "ok" | "err";
+    readonly binding?: string;
+    readonly body: KaladaV1Expression<R>;
+}
+interface KaladaV1Program<R extends JsonValue = string> {
+    readonly format: "kalada-program";
+    readonly version: 1;
+    readonly profile: "kalada-v1";
+    readonly expression: KaladaV1Expression<R>;
+}
+type KaladaV1DiagnosticCode = "KALADA_INVALID_INPUT" | "KALADA_LIMIT_EXCEEDED" | "KALADA_INVALID_REFERENCE" | "KALADA_MATCH_MISSING_ARM" | "KALADA_MATCH_DUPLICATE_ARM" | "KALADA_MATCH_UNKNOWN_ARM" | "KALADA_MATCH_UNREACHABLE_ARM" | "KALADA_MATCH_TYPE_MISMATCH" | "KALADA_REFERENCE_ERROR" | "KALADA_REFERENCE_MISSING" | "KALADA_REFERENCE_DENIED" | "KALADA_ASYNC_UNSUPPORTED" | "KALADA_INVALID_RESULT" | "KALADA_EVALUATION_LIMIT";
+interface KaladaV1Diagnostic {
+    readonly code: KaladaV1DiagnosticCode;
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+}
+type KaladaV1Outcome<T> = {
+    readonly ok: true;
+    readonly value: T;
+} | {
+    readonly ok: false;
+    readonly diagnostic: KaladaV1Diagnostic;
+};
+interface KaladaV1Limits {
+    readonly maxAstDepth: number;
+    readonly maxAstNodes: number;
+    readonly maxValueDepth: number;
+    readonly maxValueNodes: number;
+    readonly maxStringLength: number;
+    readonly maxReferenceLength: number;
+    readonly maxEvaluationSteps: number;
+}
+interface KaladaV1ReferenceCodec<R extends JsonValue> {
+    readonly validate: (input: unknown) => input is R;
+    readonly canonicalize?: (reference: R) => R;
+}
+interface KaladaV1Options<R extends JsonValue> {
+    readonly reference?: KaladaV1ReferenceCodec<R>;
+    readonly limits?: Partial<KaladaV1Limits>;
+}
+type KaladaV1Resolution = {
+    readonly found: true;
+    readonly value: KaladaValue;
+} | {
+    readonly found: false;
+    readonly reason?: "missing" | "denied";
+};
+type KaladaV1Resolver<R extends JsonValue> = (reference: R) => KaladaV1Resolution;
+interface CompiledKaladaV1Program<R extends JsonValue> {
+    readonly program: KaladaV1Program<R>;
+    readonly dependencies: readonly R[];
+    evaluate(resolve: KaladaV1Resolver<R>): KaladaV1Outcome<KaladaValue>;
+}
+
+export type { BindingExpression, CompiledKaladaV1Program, KaladaV1Diagnostic, KaladaV1DiagnosticCode, KaladaV1Expression, KaladaV1Limits, KaladaV1Options, KaladaV1Outcome, KaladaV1Program, KaladaV1ReferenceCodec, KaladaV1Resolution, KaladaV1Resolver, MatchArm, MatchExpression, OptionExpression, ResultExpression };

package/dist/kalada-v1/types.js

@@ -0,0 +1,3 @@
+
+//# sourceMappingURL=types.js.map
+//# sourceMappingURL=types.js.map

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

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