@elaraai/east 1.0.69 → 1.0.71

package/dist/src/serialization/json_schema.spec.js

@@ -0,0 +1,327 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { describe, test } from "node:test";
+import assert from "node:assert/strict";
+import { createHash } from "node:crypto";
+import { ArrayType, AsyncFunctionType, BlobType, BooleanType, DateTimeType, DictType, FloatType, FunctionType, IntegerType, MatrixType, NeverType, NullType, OptionType, RecursiveType, RefType, SetType, StringType, StructType, VariantType, VectorType, } from "../types.js";
+import { EAST_JSON_PATTERNS, jsonSchemaFor } from "./json_schema.js";
+import { toJSONFor } from "./json.js";
+/** The pattern a leaf type's schema pins, as a compiled regex. */
+function patternOf(schema) {
+    const pattern = schema["pattern"];
+    assert.equal(typeof pattern, "string", "expected the schema to carry a pattern");
+    return new RegExp(pattern);
+}
+/** A schema with `$schema` dropped, for comparing the body alone. */
+function body(schema) {
+    const { $schema: _drop, ...rest } = schema;
+    return rest;
+}
+describe("jsonSchemaFor", () => {
+    describe("primitives", () => {
+        test("describes Null, Boolean and String directly", () => {
+            assert.deepEqual(body(jsonSchemaFor(NullType)), { type: "null" });
+            assert.deepEqual(body(jsonSchemaFor(BooleanType)), { type: "boolean" });
+            assert.deepEqual(body(jsonSchemaFor(StringType)), { type: "string" });
+        });
+        test("describes Float as a number or one of the non-finite spellings", () => {
+            assert.deepEqual(body(jsonSchemaFor(FloatType)), {
+                oneOf: [
+                    { type: "number" },
+                    { type: "string", enum: ["-0.0", "-Infinity", "Infinity", "NaN"] },
+                ],
+                "x-east-type": "Float",
+            });
+        });
+        test("stamps $schema for the releases that carry one", () => {
+            assert.equal(jsonSchemaFor(StringType)["$schema"], "https://json-schema.org/draft/2020-12/schema");
+            assert.equal(jsonSchemaFor(StringType, { draft: "draft-07" })["$schema"], "http://json-schema.org/draft-07/schema#");
+            // An OpenAPI 3.0 schema object lives inside an OpenAPI document and
+            // has no $schema of its own.
+            assert.equal(jsonSchemaFor(StringType, { draft: "openapi-3.0" })["$schema"], undefined);
+        });
+    });
+    describe("Integer", () => {
+        const pattern = patternOf(jsonSchemaFor(IntegerType));
+        test("accepts exactly the i64 range", () => {
+            for (const ok of ["0", "1", "-1", "42", "9223372036854775807", "-9223372036854775808"]) {
+                assert.ok(pattern.test(ok), `${ok} should be accepted`);
+            }
+            for (const bad of ["9223372036854775808", "-9223372036854775809"]) {
+                assert.ok(!pattern.test(bad), `${bad} should be rejected`);
+            }
+        });
+        test("rejects an unsigned 64-bit id", () => {
+            // The naive `^(0|-?[1-9][0-9]{0,18})$` admits this, so a producer
+            // would validate it and we would then reject it on receipt.
+            assert.ok(!pattern.test("18446744073709551615"));
+            assert.ok(!pattern.test("9999999999999999999"));
+        });
+        test("rejects everything the decoder tolerates but the encoder never emits", () => {
+            // BigInt() accepts all of these; the published contract must not.
+            for (const bad of ["0x10", "0b101", "0o17", " 7 ", "+7", "007", "-0", "", "1e3", "7.5"]) {
+                assert.ok(!pattern.test(bad), `${JSON.stringify(bad)} should be rejected`);
+            }
+        });
+        test("accepts everything the encoder emits", () => {
+            const encode = toJSONFor(IntegerType);
+            const values = [
+                0n, 1n, -1n, 7n, -7n, 10n, 99n, 100n, 12345n, -12345n,
+                9007199254740993n, -9007199254740993n,
+                9223372036854775807n, -9223372036854775808n,
+            ];
+            for (const v of values) {
+                assert.ok(pattern.test(encode(v)), `encoder output for ${v} should validate`);
+            }
+        });
+    });
+    describe("DateTime", () => {
+        const pattern = patternOf(jsonSchemaFor(DateTimeType));
+        test("accepts the canonical form the encoder emits", () => {
+            const encode = toJSONFor(DateTimeType);
+            for (const d of [new Date(0), new Date("2022-06-29T13:43:00.123Z"), new Date("2026-12-31T23:59:59.999Z")]) {
+                assert.ok(pattern.test(encode(d)), `${encode(d)} should validate`);
+            }
+        });
+        test("rejects the offsets the decoder tolerates", () => {
+            // The decoder takes a Z suffix or any numeric offset; the encoder
+            // only ever writes +00:00, so the contract pins that.
+            assert.ok(!pattern.test("2022-06-29T13:43:00.123Z"));
+            assert.ok(!pattern.test("2022-06-29T13:43:00.123+05:00"));
+            assert.ok(!pattern.test("2022-06-29T13:43:00.123-08:00"));
+        });
+        test("rejects out-of-range calendar fields", () => {
+            for (const bad of [
+                "0000-01-01T00:00:00.000+00:00", // year 0, below the range every runtime reads
+                "2022-13-29T13:43:00.123+00:00", // month 13
+                "2022-06-32T13:43:00.123+00:00", // day 32
+                "2022-06-29T24:43:00.123+00:00", // hour 24
+                "2022-06-29T13:60:00.123+00:00", // minute 60
+                "2022-06-29T13:43:60.123+00:00", // second 60
+                "2022-06-29T13:43:00+00:00", // no milliseconds
+                "2022-06-29 13:43:00.123+00:00", // space, not T
+            ]) {
+                assert.ok(!pattern.test(bad), `${bad} should be rejected`);
+            }
+        });
+        test("accepts the first and last years the reader does", () => {
+            assert.ok(pattern.test("0001-01-01T00:00:00.000+00:00"));
+            assert.ok(pattern.test("9999-12-31T23:59:59.999+00:00"));
+        });
+    });
+    describe("digit classes", () => {
+        test("spells every digit as [0-9], never \\d", () => {
+            // A validator built on python's `re` reads \d as any Unicode digit,
+            // so a timestamp in Arabic-Indic digits would pass a partner's check
+            // and then fail on receipt. The contract has to read the same on
+            // every regex engine a partner might use.
+            for (const p of [EAST_JSON_PATTERNS.integer, EAST_JSON_PATTERNS.datetime, EAST_JSON_PATTERNS.blob]) {
+                assert.ok(!p.includes("\\d"), `${p} must not use \\d`);
+            }
+        });
+    });
+    describe("Blob", () => {
+        const pattern = patternOf(jsonSchemaFor(BlobType));
+        test("accepts the lowercase hex the encoder emits", () => {
+            const encode = toJSONFor(BlobType);
+            assert.ok(pattern.test(encode(new Uint8Array([]))));
+            assert.ok(pattern.test(encode(new Uint8Array([1, 3, 3, 7]))));
+            assert.ok(pattern.test(encode(new Uint8Array([0xde, 0xad, 0xbe, 0xef]))));
+        });
+        test("rejects uppercase hex, which only the decoder allows", () => {
+            assert.ok(!pattern.test("0xDEADBEEF"));
+            assert.ok(!pattern.test("0xAb"));
+        });
+        test("rejects a missing prefix or an odd digit count", () => {
+            assert.ok(!pattern.test("deadbeef"));
+            assert.ok(!pattern.test("0x123"));
+            assert.ok(!pattern.test("0xgg"));
+        });
+    });
+    describe("collections", () => {
+        test("describes Array as an array of its element", () => {
+            assert.deepEqual(body(jsonSchemaFor(ArrayType(StringType))), {
+                type: "array",
+                items: { type: "string" },
+            });
+        });
+        test("marks Set unique", () => {
+            assert.deepEqual(body(jsonSchemaFor(SetType(StringType))), {
+                type: "array",
+                items: { type: "string" },
+                uniqueItems: true,
+                "x-east-type": "Set",
+            });
+        });
+        test("describes Dict as its array-of-entries encoding", () => {
+            assert.deepEqual(body(jsonSchemaFor(DictType(StringType, BooleanType))), {
+                type: "array",
+                items: {
+                    type: "object",
+                    properties: { key: { type: "string" }, value: { type: "boolean" } },
+                    required: ["key", "value"],
+                    additionalProperties: false,
+                },
+                uniqueItems: true,
+                "x-east-type": "Dict",
+            });
+        });
+        test("closes Struct to its declared fields, all required", () => {
+            const schema = body(jsonSchemaFor(StructType({ a: StringType, b: BooleanType })));
+            assert.equal(schema["type"], "object");
+            assert.deepEqual(schema["required"], ["a", "b"]);
+            assert.equal(schema["additionalProperties"], false);
+        });
+        test("describes Vector and Matrix as arrays", () => {
+            assert.deepEqual(body(jsonSchemaFor(VectorType(FloatType)))["type"], "array");
+            const m = body(jsonSchemaFor(MatrixType(IntegerType)));
+            assert.equal(m["type"], "array");
+            assert.equal(m["items"]["type"], "array");
+        });
+        test("describes Ref as a one-element array, without the aliasing form", () => {
+            // The encoder ALSO writes {"$ref": …} for a target it has already
+            // written, but no reader resolves that back — a streaming reader has
+            // discarded what the pointer refers to — so advertising it would
+            // describe documents the reader then rejects. Excluded for the same
+            // reason as Array/Set/Dict aliasing, with the same stated
+            // consequence: a value with shared references does not validate
+            // against its own published schema.
+            assert.deepEqual(body(jsonSchemaFor(RefType(StringType))), {
+                type: "array",
+                items: { type: "string" },
+                minItems: 1,
+                maxItems: 1,
+                "x-east-type": "Ref",
+            });
+        });
+    });
+    describe("Variant", () => {
+        test("pins each case's tag and closes the object", () => {
+            const schema = body(jsonSchemaFor(VariantType({ ok: IntegerType, err: StringType })));
+            const alternatives = schema["oneOf"];
+            // VariantType sorts its cases, so the order is fixed by the type.
+            assert.equal(alternatives.length, 2);
+            const tags = alternatives.map(a => a["properties"]["type"]["const"]);
+            assert.deepEqual(tags, ["err", "ok"]);
+            for (const a of alternatives) {
+                assert.deepEqual(a["required"], ["type", "value"]);
+                assert.equal(a["additionalProperties"], false);
+            }
+        });
+        test("uses a single-valued enum where the release has no const", () => {
+            const schema = body(jsonSchemaFor(OptionType(StringType), { draft: "openapi-3.0" }));
+            const alternatives = schema["oneOf"];
+            const tag = alternatives[0]["properties"]["type"];
+            assert.deepEqual(tag["enum"], ["none"]);
+            assert.equal(tag["const"], undefined);
+        });
+    });
+    describe("recursive types", () => {
+        const LinkedListType = RecursiveType((self) => VariantType({
+            nil: NullType,
+            cons: StructType({ head: IntegerType, tail: self }),
+        }));
+        test("lifts the body into $defs and refers to it", () => {
+            const schema = jsonSchemaFor(LinkedListType);
+            assert.deepEqual(body(schema)["$ref"], "#/$defs/Recursive1");
+            const defs = schema["$defs"];
+            assert.ok(defs["Recursive1"] !== undefined);
+        });
+        test("names definitions by encounter order, not by type id", () => {
+            // Type ids come from a process-global counter, so a document keyed
+            // on them would differ between runs and between languages.
+            const a = JSON.stringify(jsonSchemaFor(LinkedListType));
+            const b = JSON.stringify(jsonSchemaFor(LinkedListType));
+            assert.equal(a, b);
+            assert.ok(a.includes("Recursive1"));
+            assert.ok(!/Recursive[0-9]{2,}/.test(a));
+        });
+        test("uses the release's definitions keyword", () => {
+            const seven = jsonSchemaFor(LinkedListType, { draft: "draft-07" });
+            assert.deepEqual(body(seven)["$ref"], "#/definitions/Recursive1");
+            assert.ok(seven["definitions"] !== undefined);
+            assert.equal(seven["$defs"], undefined);
+        });
+    });
+    describe("releases", () => {
+        test("spells Null without a null type on OpenAPI 3.0", () => {
+            assert.deepEqual(body(jsonSchemaFor(NullType, { draft: "openapi-3.0" })), {
+                nullable: true,
+                enum: [null],
+            });
+        });
+        test("pins the same integer range in every release", () => {
+            const p2020 = jsonSchemaFor(IntegerType)["pattern"];
+            const p07 = jsonSchemaFor(IntegerType, { draft: "draft-07" })["pattern"];
+            const pOas = jsonSchemaFor(IntegerType, { draft: "openapi-3.0" })["pattern"];
+            assert.equal(p2020, p07);
+            assert.equal(p07, pOas);
+        });
+    });
+    describe("types with no JSON form", () => {
+        test("refuses Never, naming it", () => {
+            assert.throws(() => jsonSchemaFor(NeverType), /cannot describe Never/);
+        });
+        test("refuses functions, naming them", () => {
+            assert.throws(() => jsonSchemaFor(FunctionType([], IntegerType)), /cannot describe Function/);
+            assert.throws(() => jsonSchemaFor(AsyncFunctionType([], IntegerType)), /cannot describe AsyncFunction/);
+        });
+        test("refuses a function nested inside a collection", () => {
+            assert.throws(() => jsonSchemaFor(StructType({ f: FunctionType([], IntegerType) })), /cannot describe Function/);
+        });
+    });
+    test("matches the cross-language corpus digest", () => {
+        // The python twin asserts this same digest over the same corpus in the
+        // same order (east-py tests/serialization/test_json_schema.py). Two
+        // languages agreeing on one hash is what keeps a partner from being
+        // handed different contracts; changing the emitted bytes deliberately
+        // means updating both constants, which is the point.
+        const RecursiveCorpusType = RecursiveType((self) => VariantType({
+            nil: NullType,
+            cons: StructType({ head: IntegerType, tail: self }),
+        }));
+        const corpus = [
+            ["Null", NullType], ["Boolean", BooleanType], ["Integer", IntegerType],
+            ["Float", FloatType], ["String", StringType], ["DateTime", DateTimeType],
+            ["Blob", BlobType],
+            ["Array", ArrayType(IntegerType)], ["Set", SetType(StringType)],
+            ["Dict", DictType(StringType, IntegerType)],
+            ["Struct", StructType({ a: StringType, b: IntegerType, c: DateTimeType })],
+            ["Variant", VariantType({ ok: IntegerType, err: StringType })],
+            ["Option", OptionType(StringType)],
+            ["Ref", RefType(IntegerType)],
+            ["Vector", VectorType(FloatType)], ["Matrix", MatrixType(IntegerType)],
+            ["nested", ArrayType(StructType({
+                    id: IntegerType, tags: SetType(StringType),
+                    note: OptionType(StringType), when: DateTimeType,
+                }))],
+            ["recursive", RecursiveCorpusType],
+            ["arrayRecursive", ArrayType(RecursiveCorpusType)],
+        ];
+        const lines = [];
+        for (const draft of ["2020-12", "draft-07", "openapi-3.0"]) {
+            for (const [name, type] of corpus) {
+                lines.push(`${draft}|${name}=${JSON.stringify(jsonSchemaFor(type, { draft }))}`);
+            }
+        }
+        assert.equal(lines.length, 57);
+        assert.equal(createHash("sha256").update(lines.join("\n")).digest("hex"), "7083a9ae6f830e8724c707c0f0636a57be01fe2085874e83fea00883401c1a6b");
+    });
+    test("emits byte-identical documents for the same type and release", () => {
+        const T = StructType({
+            id: IntegerType,
+            at: DateTimeType,
+            tags: SetType(StringType),
+            note: OptionType(StringType),
+            blob: BlobType,
+        });
+        for (const draft of ["2020-12", "draft-07", "openapi-3.0"]) {
+            const first = JSON.stringify(jsonSchemaFor(ArrayType(T), { draft }));
+            const second = JSON.stringify(jsonSchemaFor(ArrayType(T), { draft }));
+            assert.equal(first, second, `${draft} output should be stable`);
+        }
+    });
+});
+//# sourceMappingURL=json_schema.spec.js.map

package/dist/src/serialization/json_schema.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_schema.spec.js","sourceRoot":"","sources":["../../../src/serialization/json_schema.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EACH,SAAS,EACT,iBAAiB,EACjB,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,WAAW,EACX,UAAU,EACV,SAAS,EACT,QAAQ,EACR,UAAU,EACV,aAAa,EACb,OAAO,EACP,OAAO,EACP,UAAU,EACV,UAAU,EACV,WAAW,EACX,UAAU,GAEb,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAmB,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,kEAAkE;AAClE,SAAS,SAAS,CAAC,MAAkB;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAClC,MAAM,CAAC,KAAK,CAAC,OAAO,OAAO,EAAE,QAAQ,EAAE,wCAAwC,CAAC,CAAC;IACjF,OAAO,IAAI,MAAM,CAAC,OAAiB,CAAC,CAAC;AACzC,CAAC;AAED,qEAAqE;AACrE,SAAS,IAAI,CAAC,MAAkB;IAC5B,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC;IAC3C,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QACxB,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAClE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACxE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE;gBAC7C,KAAK,EAAE;oBACH,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAClB,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE;iBACrE;gBACD,aAAa,EAAE,OAAO;aACzB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,KAAK,CACR,aAAa,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,EACpC,8CAA8C,CAAC,CAAC;YACpD,MAAM,CAAC,KAAK,CACR,aAAa,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,EAC3D,yCAAyC,CAAC,CAAC;YAC/C,oEAAoE;YACpE,6BAA6B;YAC7B,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACrB,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;QAEtD,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,qBAAqB,EAAE,sBAAsB,CAAC,EAAE,CAAC;gBACrF,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,qBAAqB,CAAC,CAAC;YAC5D,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,CAAC,qBAAqB,EAAE,sBAAsB,CAAC,EAAE,CAAC;gBAChE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,qBAAqB,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,kEAAkE;YAClE,4DAA4D;YAC5D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,kEAAkE;YAClE,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;gBACtF,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;YAC/E,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG;gBACX,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,MAAM;gBACrD,iBAAiB,EAAE,CAAC,iBAAiB;gBACrC,oBAAoB,EAAE,CAAC,oBAAoB;aAC9C,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACrB,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC,EAAE,sBAAsB,CAAC,kBAAkB,CAAC,CAAC;YAC5F,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACtB,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC;QAEvD,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,0BAA0B,CAAC,EAAE,IAAI,IAAI,CAAC,0BAA0B,CAAC,CAAC,EAAE,CAAC;gBACxG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YACjF,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,kEAAkE;YAClE,sDAAsD;YACtD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC;YACrD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAC;YAC1D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,KAAK,MAAM,GAAG,IAAI;gBACd,+BAA+B,EAAG,8CAA8C;gBAChF,+BAA+B,EAAG,WAAW;gBAC7C,+BAA+B,EAAG,SAAS;gBAC3C,+BAA+B,EAAG,UAAU;gBAC5C,+BAA+B,EAAG,YAAY;gBAC9C,+BAA+B,EAAG,YAAY;gBAC9C,2BAA2B,EAAO,kBAAkB;gBACpD,+BAA+B,EAAG,eAAe;aACpD,EAAE,CAAC;gBACA,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,GAAG,qBAAqB,CAAC,CAAC;YAC/D,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC3B,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,oEAAoE;YACpE,qEAAqE;YACrE,iEAAiE;YACjE,0CAA0C;YAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjG,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,mBAAmB,CAAC,CAAC;YAC3D,CAAC;QACL,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;QAClB,MAAM,OAAO,GAAG,SAAS,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEnD,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;YACnC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAW,CAAC,CAAC,CAAC;YAC9D,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC;YACxE,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAW,CAAC,CAAC,CAAC;QACxF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;YACvC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;YACrC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QACzB,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBACzD,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;aAC5B,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBACvD,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,WAAW,EAAE,IAAI;gBACjB,aAAa,EAAE,KAAK;aACvB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE;gBACrE,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACH,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE;oBACnE,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC;oBAC1B,oBAAoB,EAAE,KAAK;iBAC9B;gBACD,WAAW,EAAE,IAAI;gBACjB,aAAa,EAAE,MAAM;aACxB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;YAClF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;YACvC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,EAAE,KAAK,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC,OAAO,CAAgB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,kEAAkE;YAClE,qEAAqE;YACrE,iEAAiE;YACjE,oEAAoE;YACpE,0DAA0D;YAC1D,gEAAgE;YAChE,oCAAoC;YACpC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE;gBACvD,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;gBACX,aAAa,EAAE,KAAK;aACvB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACrB,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;YACtF,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAiB,CAAC;YACrD,kEAAkE;YAClE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAG,CAAC,CAAC,YAAY,CAAgB,CAAC,MAAM,CAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;YACrG,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;YACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;gBACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,EAAE,KAAK,CAAC,CAAC;YACnD,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;YACrF,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAiB,CAAC;YACrD,MAAM,GAAG,GAAI,YAAY,CAAC,CAAC,CAAE,CAAC,YAAY,CAAgB,CAAC,MAAM,CAAe,CAAC;YACjF,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC7B,MAAM,cAAc,GAAG,aAAa,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,WAAW,CAAC;YAC5D,GAAG,EAAE,QAAQ;YACb,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;SACtD,CAAC,CAAC,CAAC;QAEJ,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC;YAC7C,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;YAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAe,CAAC;YAC3C,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,SAAS,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,mEAAmE;YACnE,2DAA2D;YAC3D,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC;YACxD,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,KAAK,GAAG,aAAa,CAAC,cAAc,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,EAAE,0BAA0B,CAAC,CAAC;YAClE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,SAAS,CAAC,CAAC;YAC9C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE;gBACtE,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,CAAC,IAAI,CAAC;aACf,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,GAAG,GAAG,aAAa,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;YACzE,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;YAC7E,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACzB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACrC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,0BAA0B,CAAC,CAAC;YAC9F,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,aAAa,CAAC,iBAAiB,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,EACvD,+BAA+B,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,MAAM,CACT,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,EACrE,0BAA0B,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,uEAAuE;QACvE,oEAAoE;QACpE,oEAAoE;QACpE,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,mBAAmB,GAAG,aAAa,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,WAAW,CAAC;YACjE,GAAG,EAAE,QAAQ;YACb,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;SACtD,CAAC,CAAC,CAAC;QACJ,MAAM,MAAM,GAAyB;YACjC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,WAAW,CAAC;YACtE,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YACxE,CAAC,MAAM,EAAE,QAAQ,CAAC;YAClB,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;YAC/D,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAC3C,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;YAC1E,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;YAC9D,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YAClC,CAAC,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;YAC7B,CAAC,QAAQ,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;YACtE,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC;oBAC5B,EAAE,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;oBAC1C,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,YAAY;iBACnD,CAAC,CAAC,CAAC;YACJ,CAAC,WAAW,EAAE,mBAAmB,CAAC;YAClC,CAAC,gBAAgB,EAAE,SAAS,CAAC,mBAAmB,CAAC,CAAC;SACrD,CAAC;QACF,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAU,EAAE,CAAC;YAClE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACrF,CAAC;QACL,CAAC;QACD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CACR,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAC3D,kEAAkE,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,UAAU,CAAC;YACjB,EAAE,EAAE,WAAW;YACf,EAAE,EAAE,YAAY;YAChB,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC;YACzB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;YAC5B,IAAI,EAAE,QAAQ;SACjB,CAAC,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE,aAAa,CAAU,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACrE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YACtE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,0BAA0B,CAAC,CAAC;QACpE,CAAC;IACL,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/src/serialization/json_schema_to_type.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { type EastType } from "../types.js";
+import type { JsonSchema } from "./json_schema.js";
+/**
+ * Raised when a schema cannot be expressed as an East type.
+ *
+ * @remarks
+ * Carries the RFC 6901 pointer to the offending node, because a contract
+ * document is large and "unsupported keyword" without a location is not
+ * actionable.
+ */
+export declare class JsonSchemaUnsupportedError extends Error {
+    /** RFC 6901 pointer to the schema node that could not be converted. */
+    readonly pointer: string;
+    constructor(message: string, pointer: string);
+}
+/**
+ * Builds an East type from a JSON Schema document.
+ *
+ * @param schema - The schema document
+ * @returns The East type the schema describes
+ * @throws {JsonSchemaUnsupportedError} When the schema uses a keyword East's
+ * type system cannot express, naming the keyword and its RFC 6901 pointer
+ *
+ * @remarks
+ * This is the one place the full JSON Schema vocabulary is confronted, and it
+ * runs at build time, so nothing it rejects can reach a runtime.
+ *
+ * A document emitted by {@link jsonSchemaFor} carries `x-east-type`
+ * annotations and inverts exactly — JSON Schema alone cannot tell `DateTime`
+ * from a `String` with `format: date-time`, `Set` from `Array`, or `Dict`
+ * from an array of two-property objects. A foreign document without those
+ * annotations still converts, under the structural mapping below, but does
+ * not promise to round-trip:
+ *
+ * | schema | East type |
+ * |---|---|
+ * | `{"type":"null"}`, or OpenAPI 3.0's `nullable` + `enum: [null]` | `Null` |
+ * | `{"type":"boolean"}` | `Boolean` |
+ * | `{"type":"string"}` | `String` |
+ * | `{"type":"number"}`, `{"type":"integer"}` | `Float`, `Integer` |
+ * | `{"type":"array","items":X}` | `Array<X>` |
+ * | a closed object with `required` covering every property | `Struct` |
+ * | `oneOf` of objects tagged by a constant `type` | `Variant` |
+ *
+ * OpenAPI 3.0's `nullable: true` beside a type is refused rather than dropped:
+ * East JSON has no bare null for any type but `Null`, so the only reading
+ * would silently admit a schema whose nulls the reader then rejects — model
+ * the value as an Option instead.
+ *
+ * Definitions are resolved through `$defs` or `definitions`, whichever the
+ * document uses. Cycles among definitions become `RecursiveType`s, one per
+ * cycle group: `Node → NodeList → Node`, the ordinary way a recursive schema is
+ * written, is the single type `RecursiveType(self => Struct({ children:
+ * Array(self) }))` with the alias inlined. A group whose cycles do not all pass
+ * through one definition would need two binders, which East does not support,
+ * and is refused naming the group.
+ *
+ * A `$schema` is honoured when present, and a release this cannot read — a
+ * draft-04 document, say — is refused by name instead of being structurally
+ * guessed at. It is not required: an OpenAPI 3.0 schema object is a fragment of
+ * a larger document and carries none, so demanding one would reject what
+ * `jsonSchemaFor(T, { draft: "openapi-3.0" })` emits.
+ *
+ * @example
+ * ```ts
+ * const T = typeFromJsonSchema(JSON.parse(readFileSync("contract.schema.json", "utf-8")));
+ * ```
+ */
+export declare function typeFromJsonSchema(schema: JsonSchema): EastType;
+//# sourceMappingURL=json_schema_to_type.d.ts.map

package/dist/src/serialization/json_schema_to_type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_schema_to_type.d.ts","sourceRoot":"","sources":["../../../src/serialization/json_schema_to_type.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAiBL,KAAK,QAAQ,EAEd,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,UAAU,EAAoC,MAAM,kBAAkB,CAAC;AAErF;;;;;;;GAOG;AACH,qBAAa,0BAA2B,SAAQ,KAAK;IACnD,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK7C;AA2ID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,UAAU,GAAG,QAAQ,CAuB/D"}