@aster-cloud/aster-lang-ts 1.6.0 → 2.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aster-cloud/aster-lang-ts",
-  "version": "1.6.0",
+  "version": "2.0.0",
   "description": "Aster CNL (Controlled Natural Language) TypeScript Compiler - Lexer, Parser, AST, Core IR, Type Checker",
   "type": "module",
   "main": "./dist/src/index.js",
@@ -121,7 +121,8 @@
   "dependencies": {
     "@types/semver": "^7.7.1",
     "semver": "^7.7.3",
-    "decimal.js": "10.4.3"
+    "decimal.js": "10.4.3",
+    "ajv": "^8.17.1"
   },
   "//peerDependencies": "P0-R19: CLI/LSP-only deps. Consumers importing only the browser/core entries don't need them. Subpath imports (./cli, ./lsp) require them — flagged optional so npm/pnpm install them by default but consumers can opt out with --no-optional.",
   "peerDependencies": {
@@ -162,7 +163,6 @@
     "@types/node": "^24.6.0",
     "@typescript-eslint/eslint-plugin": "^8.48.1",
     "@typescript-eslint/parser": "^8.45.0",
-    "ajv": "^8.17.1",
     "c8": "^10.1.3",
     "cac": "6.7.14",
     "esbuild": "^0.24.0",
@@ -170,6 +170,7 @@
     "eslint-config-prettier": "^10.1.8",
     "eslint-plugin-import": "^2.32.0",
     "fast-check": "^4.3.0",
+    "json-schema-to-typescript": "15.0.4",
     "nock": "^14.0.10",
     "ora": "^9.0.0",
     "p-limit": "^7.2.0",

package/dist/src/core/core_ir_json.d.ts

@@ -1,62 +0,0 @@
-import type { Core } from '../types.js';
-/**
- * Core IR JSON 序列化封装（版本化）
- *
- * 提供 Core IR 模块的 JSON 序列化和反序列化功能，
- * 支持版本控制和元数据。
- */
-/**
- * Core IR JSON 封装接口
- * 包含版本信息和可选元数据
- */
-export interface CoreIREnvelope {
-    /** JSON schema 版本 */
-    version: '1.0';
-    /** Core IR 模块定义 */
-    module: Core.Module;
-    /** 可选元数据 */
-    metadata?: {
-        /** 生成时间（ISO 8601 格式） */
-        generatedAt?: string;
-        /** 源文件路径或描述 */
-        source?: string;
-        /** 编译器版本 */
-        compilerVersion?: string;
-    };
-}
-/**
- * 将 Core IR 模块序列化为 JSON 字符串
- *
- * @param module - Core IR 模块对象
- * @param metadata - 可选元数据
- * @returns 格式化的 JSON 字符串（2 空格缩进）
- *
- * @example
- * ```typescript
- * const coreIR = lowerToCore(ast);
- * const json = serializeCoreIR(coreIR, { source: 'policy.aster' });
- * ```
- */
-export declare function serializeCoreIR(module: Core.Module, metadata?: CoreIREnvelope['metadata']): string;
-/**
- * 从 JSON 字符串反序列化为 Core IR 模块
- *
- * @param json - JSON 字符串
- * @returns Core IR 模块对象
- * @throws {Error} 如果 JSON 无效或版本不支持
- *
- * @example
- * ```typescript
- * const json = fs.readFileSync('policy.json', 'utf8');
- * const coreIR = deserializeCoreIR(json);
- * ```
- */
-export declare function deserializeCoreIR(json: string): Core.Module;
-/**
- * 验证 JSON 字符串是否为有效的 Core IR 格式
- *
- * @param json - JSON 字符串
- * @returns true 如果有效，false 否则
- */
-export declare function isValidCoreIRJson(json: string): boolean;
-//# sourceMappingURL=core_ir_json.d.ts.map

package/dist/src/core/core_ir_json.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"core_ir_json.d.ts","sourceRoot":"","sources":["../../../src/core/core_ir_json.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAExC;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,qBAAqB;IACrB,OAAO,EAAE,KAAK,CAAC;IACf,mBAAmB;IACnB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;IACpB,YAAY;IACZ,QAAQ,CAAC,EAAE;QACT,wBAAwB;QACxB,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,eAAe;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,YAAY;QACZ,eAAe,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;CACH;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,IAAI,CAAC,MAAM,EACnB,QAAQ,CAAC,EAAE,cAAc,CAAC,UAAU,CAAC,GACpC,MAAM,CAOR;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,MAAM,CAuC3D;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAOvD"}

package/dist/src/core/core_ir_json.js

@@ -1,81 +0,0 @@
-/**
- * 将 Core IR 模块序列化为 JSON 字符串
- *
- * @param module - Core IR 模块对象
- * @param metadata - 可选元数据
- * @returns 格式化的 JSON 字符串（2 空格缩进）
- *
- * @example
- * ```typescript
- * const coreIR = lowerToCore(ast);
- * const json = serializeCoreIR(coreIR, { source: 'policy.aster' });
- * ```
- */
-export function serializeCoreIR(module, metadata) {
-    const envelope = {
-        version: '1.0',
-        module,
-        ...(metadata ? { metadata } : {}),
-    };
-    return JSON.stringify(envelope, null, 2);
-}
-/**
- * 从 JSON 字符串反序列化为 Core IR 模块
- *
- * @param json - JSON 字符串
- * @returns Core IR 模块对象
- * @throws {Error} 如果 JSON 无效或版本不支持
- *
- * @example
- * ```typescript
- * const json = fs.readFileSync('policy.json', 'utf8');
- * const coreIR = deserializeCoreIR(json);
- * ```
- */
-export function deserializeCoreIR(json) {
-    let envelope;
-    try {
-        envelope = JSON.parse(json);
-    }
-    catch (e) {
-        throw new Error(`Invalid JSON: ${e instanceof Error ? e.message : String(e)}`);
-    }
-    // 类型检查：确保是对象（非数组）
-    if (!envelope || typeof envelope !== 'object' || Array.isArray(envelope)) {
-        throw new Error('Invalid Core IR JSON: expected object');
-    }
-    const typed = envelope;
-    // 版本检查
-    if (!('version' in typed) || typed.version !== '1.0') {
-        throw new Error(`Unsupported Core IR JSON version: ${typed.version ?? 'missing'}. Expected: 1.0`);
-    }
-    // 模块字段检查
-    if (!('module' in typed) || !typed.module || typeof typed.module !== 'object') {
-        throw new Error('Invalid Core IR JSON: missing or invalid "module" field');
-    }
-    // 基本结构验证：检查 module 是否有 kind 和 decls 字段
-    const module = typed.module;
-    if (module.kind !== 'Module') {
-        throw new Error(`Invalid Core IR JSON: expected module.kind === 'Module', got ${module.kind}`);
-    }
-    if (!Array.isArray(module.decls)) {
-        throw new Error('Invalid Core IR JSON: module.decls must be an array');
-    }
-    return typed.module;
-}
-/**
- * 验证 JSON 字符串是否为有效的 Core IR 格式
- *
- * @param json - JSON 字符串
- * @returns true 如果有效，false 否则
- */
-export function isValidCoreIRJson(json) {
-    try {
-        deserializeCoreIR(json);
-        return true;
-    }
-    catch {
-        return false;
-    }
-}
-//# sourceMappingURL=core_ir_json.js.map

package/dist/src/core/core_ir_json.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"core_ir_json.js","sourceRoot":"","sources":["../../../src/core/core_ir_json.ts"],"names":[],"mappings":"AA6BA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAmB,EACnB,QAAqC;IAErC,MAAM,QAAQ,GAAmB;QAC/B,OAAO,EAAE,KAAK;QACd,MAAM;QACN,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,IAAI,QAAiB,CAAC;IAEtB,IAAI,CAAC;QACH,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,kBAAkB;IAClB,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,KAAK,GAAG,QAAmC,CAAC;IAElD,OAAO;IACP,IAAI,CAAC,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,qCAAqC,KAAK,CAAC,OAAO,IAAI,SAAS,iBAAiB,CACjF,CAAC;IACJ,CAAC;IAED,SAAS;IACT,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC9E,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IAED,uCAAuC;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAiC,CAAC;IACvD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,gEAAgE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACjG,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,KAAK,CAAC,MAAqB,CAAC;AACrC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,IAAI,CAAC;QACH,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACxB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=core_ir_json.test.d.ts.map

package/dist/test/unit/core_ir_json/core_ir_json.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"core_ir_json.test.d.ts","sourceRoot":"","sources":["../../../../test/unit/core_ir_json/core_ir_json.test.ts"],"names":[],"mappings":""}

package/dist/test/unit/core_ir_json/core_ir_json.test.js

@@ -1,218 +0,0 @@
-import { describe, it } from 'node:test';
-import assert from 'node:assert/strict';
-import { serializeCoreIR, deserializeCoreIR, isValidCoreIRJson, } from '../../../src/core/core_ir_json.js';
-// 辅助函数：创建最小化 Core.Module 用于测试
-function createMinimalModule(name = null) {
-    return {
-        kind: 'Module',
-        name,
-        decls: [],
-    };
-}
-// 辅助函数：创建带声明的 Core.Module
-function createModuleWithDecls() {
-    const funcDecl = {
-        kind: 'Func',
-        name: 'testFunc',
-        typeParams: [],
-        params: [],
-        ret: { kind: 'TypeName', name: 'Int' },
-        effects: [],
-        effectCaps: [],
-        effectCapsExplicit: false,
-        body: { kind: 'Block', statements: [] },
-    };
-    return {
-        kind: 'Module',
-        name: 'TestModule',
-        decls: [funcDecl],
-    };
-}
-describe('Core IR JSON 序列化', () => {
-    describe('serializeCoreIR', () => {
-        it('应序列化最小化模块（无名称）', () => {
-            const module = createMinimalModule(null);
-            const json = serializeCoreIR(module);
-            const parsed = JSON.parse(json);
-            assert.equal(parsed.version, '1.0');
-            assert.equal(parsed.module.kind, 'Module');
-            assert.equal(parsed.module.name, null);
-            assert.deepEqual(parsed.module.decls, []);
-        });
-        it('应序列化带名称的模块', () => {
-            const module = createMinimalModule('MyModule');
-            const json = serializeCoreIR(module);
-            const parsed = JSON.parse(json);
-            assert.equal(parsed.module.name, 'MyModule');
-        });
-        it('应序列化带声明的模块', () => {
-            const module = createModuleWithDecls();
-            const json = serializeCoreIR(module);
-            const parsed = JSON.parse(json);
-            assert.equal(parsed.module.decls.length, 1);
-            assert.equal(parsed.module.decls[0].name, 'testFunc');
-        });
-        it('应包含可选的 metadata 字段', () => {
-            const module = createMinimalModule();
-            const metadata = {
-                generatedAt: '2025-11-18T10:00:00Z',
-                source: 'test.aster',
-                compilerVersion: '0.2.0',
-            };
-            const json = serializeCoreIR(module, metadata);
-            const parsed = JSON.parse(json);
-            assert.deepEqual(parsed.metadata, metadata);
-        });
-        it('当 metadata 为空对象时不应包含 metadata 字段', () => {
-            const module = createMinimalModule();
-            const json = serializeCoreIR(module);
-            const parsed = JSON.parse(json);
-            assert.equal(parsed.metadata, undefined);
-        });
-        it('应格式化输出（2空格缩进）', () => {
-            const module = createMinimalModule('Test');
-            const json = serializeCoreIR(module);
-            // 验证格式化输出包含换行符和缩进
-            assert.ok(json.includes('\n'));
-            assert.ok(json.includes('  "version"'));
-        });
-    });
-    describe('deserializeCoreIR', () => {
-        it('应正确反序列化有效的 Core IR JSON', () => {
-            const module = createModuleWithDecls();
-            const json = serializeCoreIR(module);
-            const deserialized = deserializeCoreIR(json);
-            assert.equal(deserialized.kind, 'Module');
-            assert.equal(deserialized.name, 'TestModule');
-            assert.equal(deserialized.decls.length, 1);
-        });
-        it('应拒绝非法 JSON 字符串', () => {
-            assert.throws(() => deserializeCoreIR('invalid json'), { message: /Invalid JSON/ });
-        });
-        it('应拒绝非对象的 JSON', () => {
-            assert.throws(() => deserializeCoreIR('[]'), { message: /expected object/ });
-            assert.throws(() => deserializeCoreIR('"string"'), { message: /expected object/ });
-            assert.throws(() => deserializeCoreIR('123'), { message: /expected object/ });
-        });
-        it('应拒绝缺少 version 字段的 JSON', () => {
-            const invalidJson = JSON.stringify({ module: createMinimalModule() });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /Unsupported Core IR JSON version: missing/ });
-        });
-        it('应拒绝不支持的 version', () => {
-            const invalidJson = JSON.stringify({
-                version: '2.0',
-                module: createMinimalModule(),
-            });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /Unsupported Core IR JSON version: 2.0/ });
-        });
-        it('应拒绝缺少 module 字段的 JSON', () => {
-            const invalidJson = JSON.stringify({ version: '1.0' });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /missing or invalid "module" field/ });
-        });
-        it('应拒绝 module 字段为 null 的 JSON', () => {
-            const invalidJson = JSON.stringify({ version: '1.0', module: null });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /missing or invalid "module" field/ });
-        });
-        it('应拒绝 module.kind 不是 "Module" 的 JSON', () => {
-            const invalidJson = JSON.stringify({
-                version: '1.0',
-                module: { kind: 'NotModule', decls: [] },
-            });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /expected module.kind === 'Module'/ });
-        });
-        it('应拒绝 module.decls 不是数组的 JSON', () => {
-            const invalidJson = JSON.stringify({
-                version: '1.0',
-                module: { kind: 'Module', name: null, decls: 'not-an-array' },
-            });
-            assert.throws(() => deserializeCoreIR(invalidJson), { message: /module.decls must be an array/ });
-        });
-        it('应忽略额外的顶层字段', () => {
-            const json = JSON.stringify({
-                version: '1.0',
-                module: createMinimalModule(),
-                extraField: 'should-be-ignored',
-            });
-            const deserialized = deserializeCoreIR(json);
-            assert.equal(deserialized.kind, 'Module');
-        });
-        it('应正确解析带 metadata 的 JSON', () => {
-            const module = createMinimalModule();
-            const metadata = { source: 'test.aster' };
-            const json = serializeCoreIR(module, metadata);
-            // deserializeCoreIR 只返回 module，不返回 metadata
-            const deserialized = deserializeCoreIR(json);
-            assert.equal(deserialized.kind, 'Module');
-        });
-    });
-    describe('isValidCoreIRJson', () => {
-        it('应验证有效的 Core IR JSON 为 true', () => {
-            const module = createMinimalModule();
-            const json = serializeCoreIR(module);
-            assert.equal(isValidCoreIRJson(json), true);
-        });
-        it('应验证无效的 JSON 为 false', () => {
-            assert.equal(isValidCoreIRJson('invalid json'), false);
-        });
-        it('应验证缺少 version 的 JSON 为 false', () => {
-            const invalidJson = JSON.stringify({ module: createMinimalModule() });
-            assert.equal(isValidCoreIRJson(invalidJson), false);
-        });
-        it('应验证缺少 module 的 JSON 为 false', () => {
-            const invalidJson = JSON.stringify({ version: '1.0' });
-            assert.equal(isValidCoreIRJson(invalidJson), false);
-        });
-        it('应验证 module.kind 错误的 JSON 为 false', () => {
-            const invalidJson = JSON.stringify({
-                version: '1.0',
-                module: { kind: 'NotModule', decls: [] },
-            });
-            assert.equal(isValidCoreIRJson(invalidJson), false);
-        });
-        it('应验证 module.decls 不是数组的 JSON 为 false', () => {
-            const invalidJson = JSON.stringify({
-                version: '1.0',
-                module: { kind: 'Module', name: null, decls: null },
-            });
-            assert.equal(isValidCoreIRJson(invalidJson), false);
-        });
-    });
-    describe('往返测试（round-trip）', () => {
-        it('序列化后反序列化应得到相同的模块结构', () => {
-            const original = createModuleWithDecls();
-            const json = serializeCoreIR(original);
-            const deserialized = deserializeCoreIR(json);
-            assert.deepEqual(deserialized, original);
-        });
-        it('对空 decls 数组往返应保持一致', () => {
-            const original = createMinimalModule('EmptyModule');
-            const json = serializeCoreIR(original);
-            const deserialized = deserializeCoreIR(json);
-            assert.deepEqual(deserialized, original);
-        });
-        it('对 null 名称往返应保持一致', () => {
-            const original = createMinimalModule(null);
-            const json = serializeCoreIR(original);
-            const deserialized = deserializeCoreIR(json);
-            assert.equal(deserialized.name, null);
-            assert.deepEqual(deserialized, original);
-        });
-    });
-    describe('版本兼容性', () => {
-        it('应拒绝未来版本（向前兼容性测试）', () => {
-            const futureJson = JSON.stringify({
-                version: '99.0',
-                module: createMinimalModule(),
-            });
-            assert.throws(() => deserializeCoreIR(futureJson), { message: /Unsupported Core IR JSON version: 99.0/ });
-        });
-        it('应拒绝旧版本（向后兼容性测试）', () => {
-            const oldJson = JSON.stringify({
-                version: '0.9',
-                module: createMinimalModule(),
-            });
-            assert.throws(() => deserializeCoreIR(oldJson), { message: /Unsupported Core IR JSON version: 0.9/ });
-        });
-    });
-});
-//# sourceMappingURL=core_ir_json.test.js.map

package/dist/test/unit/core_ir_json/core_ir_json.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"core_ir_json.test.js","sourceRoot":"","sources":["../../../../test/unit/core_ir_json/core_ir_json.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,MAAM,MAAM,oBAAoB,CAAC;AACxC,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,GAElB,MAAM,mCAAmC,CAAC;AAI3C,8BAA8B;AAC9B,SAAS,mBAAmB,CAAC,OAAsB,IAAI;IACrD,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,KAAK,EAAE,EAAE;KACV,CAAC;AACJ,CAAC;AAED,0BAA0B;AAC1B,SAAS,qBAAqB;IAC5B,MAAM,QAAQ,GAAc;QAC1B,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE;QACV,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE;QACtC,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,kBAAkB,EAAE,KAAK;QACzB,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE;KACxC,CAAC;IAEF,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,CAAC,QAAQ,CAAC;KAClB,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,MAAM,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;YAElD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;YAElD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;YAElD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,KAAK,CAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,mBAAmB,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG;gBACf,WAAW,EAAE,sBAAsB;gBACnC,MAAM,EAAE,YAAY;gBACpB,eAAe,EAAE,OAAO;aACzB,CAAC;YAEF,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;YAElD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,mBAAmB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAmB,CAAC;YAElD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAErC,kBAAkB;YAClB,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,qBAAqB,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAE7C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC1C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YAC9C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,cAAc,CAAC,EACvC,EAAE,OAAO,EAAE,cAAc,EAAE,CAC5B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC7B,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAC/B,CAAC;YAEF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EACnC,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAC/B,CAAC;YAEF,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAC9B,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAC/B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC,CAAC;YAEtE,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,2CAA2C,EAAE,CACzD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,mBAAmB,EAAE;aAC9B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,uCAAuC,EAAE,CACrD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAEvD,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,mCAAmC,EAAE,CACjD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAErE,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,mCAAmC,EAAE,CACjD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE;aACzC,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,mCAAmC,EAAE,CACjD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE;aAC9D,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,WAAW,CAAC,EACpC,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAC7C,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE;YACpB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC1B,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,mBAAmB,EAAE;gBAC7B,UAAU,EAAE,mBAAmB;aAChC,CAAC,CAAC;YAEH,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG,mBAAmB,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAE/C,4CAA4C;YAC5C,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAC7C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,mBAAmB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YAErC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,EAAE,CAAC,CAAC;YACtE,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,EAAE,EAAE;aACzC,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC;gBACjC,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aACpD,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,qBAAqB,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAE7C,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;YACpD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAE7C,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC3C,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;YACvC,MAAM,YAAY,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAE7C,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;YAC1B,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;gBAChC,OAAO,EAAE,MAAM;gBACf,MAAM,EAAE,mBAAmB,EAAE;aAC9B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,EACnC,EAAE,OAAO,EAAE,wCAAwC,EAAE,CACtD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC7B,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,mBAAmB,EAAE;aAC9B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAChC,EAAE,OAAO,EAAE,uCAAuC,EAAE,CACrD,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}