@aster-cloud/aster-lang-ts 0.0.1

package/dist/test/property/property.test.js

@@ -0,0 +1,456 @@
+#!/usr/bin/env node
+import * as fc from 'fast-check';
+import { canonicalize, lex, parse, lowerModule, TokenKind } from '../../src/index.js';
+import { findAmbiguousInteropCalls, computeDisambiguationEdits, findDottedCallRangeAt, describeDottedCallAt, buildDescriptorPreview, returnTypeTextFromDesc } from '../../src/lsp/analysis.js';
+// Property: Canonicalizer should be idempotent
+const testCanonicalizerIdempotent = () => {
+    fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 100 }), (input) => {
+        const first = canonicalize(input);
+        const second = canonicalize(first);
+        return first === second;
+    }), { numRuns: 100 });
+    console.log('✓ Canonicalizer is idempotent');
+};
+// Property: Lexer should handle empty input
+const testLexerEmptyInput = () => {
+    const tokens = lex('');
+    if (tokens.length !== 1 || tokens[0]?.kind !== TokenKind.EOF) {
+        throw new Error('Lexer should produce exactly one EOF token for empty input');
+    }
+    console.log('✓ Lexer handles empty input correctly');
+};
+// Property: Lexer should always end with EOF
+const testLexerAlwaysEOF = () => {
+    fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 50 }), (input) => {
+        try {
+            const tokens = lex(input);
+            return tokens.length > 0 && tokens[tokens.length - 1]?.kind === TokenKind.EOF;
+        }
+        catch {
+            return true; // Lexer errors are acceptable
+        }
+    }), { numRuns: 100 });
+    console.log('✓ Lexer always ends with EOF token');
+};
+// Property: Valid identifiers should lex correctly
+const testValidIdentifiers = () => {
+    const validIdent = fc.string({ minLength: 1, maxLength: 20 })
+        .filter(s => /^[a-zA-Z][a-zA-Z0-9_]*$/.test(s));
+    fc.assert(fc.property(validIdent, (ident) => {
+        const tokens = lex(ident);
+        return tokens.length >= 2 &&
+            (tokens[0]?.kind === TokenKind.IDENT || tokens[0]?.kind === TokenKind.TYPE_IDENT) &&
+            tokens[tokens.length - 1]?.kind === TokenKind.EOF;
+    }), { numRuns: 50 });
+    console.log('✓ Valid identifiers lex correctly');
+};
+// Property: Valid integers should lex correctly
+const testValidIntegers = () => {
+    fc.assert(fc.property(fc.integer({ min: 0, max: 999999 }), (num) => {
+        const tokens = lex(num.toString());
+        return tokens.length >= 2 &&
+            tokens[0]?.kind === TokenKind.INT &&
+            tokens[0]?.value === num &&
+            tokens[tokens.length - 1]?.kind === TokenKind.EOF;
+    }), { numRuns: 50 });
+    console.log('✓ Valid integers lex correctly');
+};
+// Property: String literals should lex correctly
+const testStringLiterals = () => {
+    const validString = fc.string({ minLength: 0, maxLength: 30 })
+        .filter(s => !s.includes('"') && !s.includes('\\'));
+    fc.assert(fc.property(validString, (str) => {
+        const input = `"${str}"`;
+        const tokens = lex(input);
+        return tokens.length >= 2 &&
+            tokens[0]?.kind === TokenKind.STRING &&
+            tokens[0]?.value === str &&
+            tokens[tokens.length - 1]?.kind === TokenKind.EOF;
+    }), { numRuns: 50 });
+    console.log('✓ String literals lex correctly');
+};
+// Property: Comment tokens should be generated with trivia channel
+const testCommentTokenGeneration = () => {
+    const cases = [
+        { input: '# standalone comment', desc: 'hash comment' },
+        { input: '// standalone comment', desc: 'slash comment' },
+        { input: 'Let x be 1. # inline', desc: 'inline hash comment' },
+        { input: 'Let x be 1. // inline', desc: 'inline slash comment' },
+        { input: '# comment 1\n# comment 2', desc: 'multiple comments' },
+    ];
+    for (const c of cases) {
+        const tokens = lex(c.input);
+        const commentTokens = tokens.filter(t => t.kind === TokenKind.COMMENT);
+        if (commentTokens.length === 0) {
+            throw new Error(`Expected comment token for ${c.desc}, got none`);
+        }
+        for (const ct of commentTokens) {
+            if (ct.channel !== 'trivia') {
+                throw new Error(`Expected trivia channel for ${c.desc}, got ${ct.channel}`);
+            }
+            if (!ct.value || typeof ct.value !== 'object') {
+                throw new Error(`Expected comment value object for ${c.desc}`);
+            }
+        }
+    }
+    console.log('✓ Comment tokens generated with trivia channel');
+};
+// Property: Inline/standalone comment classification
+const testCommentClassification = () => {
+    const inlineCases = [
+        'Let x be 1. # inline',
+        'Return "hi". // inline',
+        'To greet, produce Text: # inline',
+    ];
+    const standaloneCases = [
+        '# standalone',
+        '  # indented standalone',
+        '// standalone at start',
+    ];
+    for (const src of inlineCases) {
+        const tokens = lex(src);
+        const commentTokens = tokens.filter(t => t.kind === TokenKind.COMMENT);
+        if (commentTokens.length === 0) {
+            throw new Error(`Expected inline comment for: ${src}`);
+        }
+        const ct = commentTokens[0];
+        const val = ct.value;
+        if (val.trivia !== 'inline') {
+            throw new Error(`Expected inline classification for: ${src}, got ${val.trivia}`);
+        }
+    }
+    for (const src of standaloneCases) {
+        const tokens = lex(src);
+        const commentTokens = tokens.filter(t => t.kind === TokenKind.COMMENT);
+        if (commentTokens.length === 0) {
+            throw new Error(`Expected standalone comment for: ${src}`);
+        }
+        const ct = commentTokens[0];
+        const val = ct.value;
+        if (val.trivia !== 'standalone') {
+            throw new Error(`Expected standalone classification for: ${src}, got ${val.trivia}`);
+        }
+    }
+    console.log('✓ Comment inline/standalone classification correct');
+};
+// Property: Comments should not affect indentation tracking
+const testCommentsIndentInteraction = () => {
+    const src = [
+        'This module is test.',
+        '',
+        '# standalone comment',
+        'To f, produce Int:',
+        '  # indented comment',
+        '  Let x be 1.',
+        '  # another comment',
+        '  Return x.',
+    ].join('\n');
+    const tokens = lex(src);
+    const indentTokens = tokens.filter(t => t.kind === TokenKind.INDENT);
+    const dedentTokens = tokens.filter(t => t.kind === TokenKind.DEDENT);
+    // Should have exactly 1 INDENT (after function header) and 1 DEDENT (at end)
+    if (indentTokens.length !== 1) {
+        throw new Error(`Expected 1 INDENT, got ${indentTokens.length}`);
+    }
+    if (dedentTokens.length !== 1) {
+        throw new Error(`Expected 1 DEDENT, got ${dedentTokens.length}`);
+    }
+    // Verify comments are trivia
+    const commentTokens = tokens.filter(t => t.kind === TokenKind.COMMENT);
+    if (commentTokens.length < 3) {
+        throw new Error(`Expected at least 3 comments, got ${commentTokens.length}`);
+    }
+    for (const ct of commentTokens) {
+        if (ct.channel !== 'trivia') {
+            throw new Error(`Comment should have trivia channel, got ${ct.channel}`);
+        }
+    }
+    console.log('✓ Comments do not affect indentation tracking');
+};
+// Regression: Start/Wait 关键字应优先于“裸表达式报错”
+// 确保 'Start ... as async ... .', 'Wait for ... .' 解析为语句而非裸表达式
+const testStartWaitPrecedence = () => {
+    const src = [
+        'This module is demo.async.',
+        '',
+        'Define User with id: Text.',
+        'Define Dash with profile: Text, timeline: Text.',
+        'Define AuthErr as one of InvalidCreds, Locked.',
+        '',
+        'To fetchDashboard with u: User, produce Result of Dash and AuthErr. It performs io:',
+        '  Start profile as async ProfileSvc.load(u.id).',
+        '  Start timeline as async FeedSvc.timeline(u.id).',
+        '  Wait for profile and timeline.',
+        '  Return Ok(Dash(profile, timeline)).',
+        '',
+    ].join('\n');
+    const can = canonicalize(src);
+    const toks = lex(can);
+    let ast;
+    try {
+        ast = parse(toks);
+    }
+    catch (e) {
+        throw new Error('Start/Wait should parse as statements without bare-expression error: ' + e.message);
+    }
+    if (!ast || ast.kind !== 'Module')
+        throw new Error('Expected Module AST');
+    const fn = ast.decls.find((d) => d.kind === 'Func');
+    if (!fn)
+        throw new Error('Expected function decl');
+    const stmts = fn.body?.statements ?? [];
+    const kinds = stmts.map((s) => s.kind);
+    const expectedSeq = ['Start', 'Start', 'Wait', 'Return'];
+    if (expectedSeq.some((k, i) => kinds[i] !== k)) {
+        throw new Error('Unexpected statement sequence: ' + kinds.join(','));
+    }
+    console.log('✓ Start/Wait precedence over bare-expression error');
+};
+// Regression: Wait 支持单名与多名（"a" / "a and b" / "a, b and c"）
+const testWaitSingleAndMultiple = () => {
+    const mkSrc = (waitLine) => [
+        'This module is demo.wait.',
+        '',
+        'Define User with id: Text.',
+        '',
+        'To f with u: User, produce Int. It performs io:',
+        '  Start taskA as async ProfileSvc.load(u.id).',
+        '  Start taskB as async ProfileSvc.load(u.id).',
+        '  Start taskC as async ProfileSvc.load(u.id).',
+        `  ${waitLine}`,
+        '  Return 1.',
+        '',
+    ].join('\n');
+    const cases = [
+        { line: 'Wait for taskA.', expect: ['taskA'] },
+        { line: 'Wait for taskA and taskB.', expect: ['taskA', 'taskB'] },
+        { line: 'Wait for taskA, taskB and taskC.', expect: ['taskA', 'taskB', 'taskC'] },
+    ];
+    for (const c of cases) {
+        const can = canonicalize(mkSrc(c.line));
+        const toks = lex(can);
+        const ast = parse(toks);
+        const fn = ast.decls.find((d) => d.kind === 'Func');
+        if (!fn)
+            throw new Error('Expected function decl');
+        const waitStmt = fn.body.statements.find((s) => s.kind === 'Wait');
+        if (!waitStmt)
+            throw new Error('Expected a Wait statement');
+        const names = waitStmt.names;
+        if (names.length !== c.expect.length || names.some((n, i) => n !== c.expect[i])) {
+            throw new Error(`Wait names mismatch. got=[${names.join(',')}], want=[${c.expect.join(',')}]`);
+        }
+    }
+    console.log('✓ Wait single and multiple names parse correctly');
+};
+// Property: Round-trip test for simple valid programs
+const testRoundTrip = () => {
+    const validPrograms = [
+        'This module is test.',
+        'Define User with name: Text.',
+        'To greet, produce Text.',
+        'To test, produce Text:\n  Let x be 42.\n  Return "hello".',
+    ];
+    for (const program of validPrograms) {
+        try {
+            const can = canonicalize(program);
+            const tokens = lex(can);
+            const ast = parse(tokens);
+            const core = lowerModule(ast);
+            // Basic sanity checks
+            if (!ast || !core) {
+                throw new Error(`Round-trip failed for: ${program}`);
+            }
+            if (ast.kind !== 'Module' || core.kind !== 'Module') {
+                throw new Error(`Expected Module, got ${ast.kind} -> ${core.kind}`);
+            }
+        }
+        catch (e) {
+            throw new Error(`Round-trip failed for "${program}": ${e.message}`);
+        }
+    }
+    console.log('✓ Round-trip test passes for valid programs');
+};
+// Property: Parser should handle malformed input gracefully
+const testParserErrorHandling = () => {
+    const malformedInputs = [
+        'This module is', // Missing module name
+        'Define User with', // Incomplete data definition
+        'To greet produce', // Missing comma
+        'Let x be', // Missing expression
+        'Return', // Missing expression
+    ];
+    for (const input of malformedInputs) {
+        try {
+            const can = canonicalize(input);
+            const tokens = lex(can);
+            parse(tokens);
+            throw new Error(`Expected parser error for: ${input}`);
+        }
+        catch (e) {
+            // Expected to throw
+            if (!e.pos) {
+                throw new Error(`Parser error should include position for: ${input}`);
+            }
+        }
+    }
+    console.log('✓ Parser handles malformed input gracefully with position info');
+};
+function main() {
+    console.log('Running property tests...\n');
+    try {
+        const dumpTokens = (toks) => toks
+            .map(t => `${t.value ?? 'null'}:${t.kind}@${t.start?.line}:${t.start?.col}`)
+            .join(' ');
+        testCanonicalizerIdempotent();
+        testLexerEmptyInput();
+        testLexerAlwaysEOF();
+        testValidIdentifiers();
+        testValidIntegers();
+        testStringLiterals();
+        testCommentTokenGeneration();
+        testCommentClassification();
+        testCommentsIndentInteraction();
+        testStartWaitPrecedence();
+        testWaitSingleAndMultiple();
+        testRoundTrip();
+        // Generics sanity check
+        testGenericsBasic();
+        testParserErrorHandling();
+        // LSP analysis small checks
+        const src1 = 'This module is demo.x.\nTo f, produce Text:\n  Return Interop.sum(1, 2.0).\n';
+        const toks1 = lex(canonicalize(src1));
+        const diags1 = findAmbiguousInteropCalls(toks1);
+        if (diags1.length === 0)
+            throw new Error('Expected ambiguous call diagnostic');
+        const edits1 = computeDisambiguationEdits(toks1, diags1[0].range);
+        if (!edits1.some(e => e.newText.endsWith('.0')))
+            throw new Error('Expected a .0 edit');
+        // find dotted call range at the position of the callee qualifier (Interop)
+        const firstTypeIdentIdx = toks1.findIndex(t => (t.kind === TokenKind.TYPE_IDENT || t.kind === TokenKind.IDENT) && t.value === 'Interop');
+        if (firstTypeIdentIdx < 0)
+            throw new Error('No Interop token found');
+        const pos = { line: toks1[firstTypeIdentIdx].start.line - 1, character: toks1[firstTypeIdentIdx].start.col };
+        const rangeCall = findDottedCallRangeAt(toks1, pos);
+        if (!rangeCall)
+            throw new Error('Expected to find dotted call range');
+        // Nested call: ensure inner and outer are detectable and descriptor preview aligns
+        const src2 = 'This module is demo.x.\nTo g, produce Text:\n  Return Interop.sum(Interop.sum(1, 2.0), 3.0).\n';
+        const toks2 = lex(canonicalize(src2));
+        // Outer call at TYPE_IDENT 'Interop'
+        const typeIdx2 = toks2.findIndex(t => (t.kind === TokenKind.TYPE_IDENT || t.kind === TokenKind.IDENT) && t.value === 'Interop');
+        if (typeIdx2 < 0)
+            throw new Error('No Interop token (outer) found. toks=' + dumpTokens(toks2));
+        const posOuter = { line: toks2[typeIdx2].start.line - 1, character: toks2[typeIdx2].start.col };
+        const rangeOuter = findDottedCallRangeAt(toks2, posOuter);
+        if (!rangeOuter)
+            throw new Error('Expected outer call range');
+        // Inner call at second TYPE_IDENT 'Interop'
+        const typeIdx3 = toks2.findIndex((t, idx) => (t.kind === TokenKind.TYPE_IDENT || t.kind === TokenKind.IDENT) && t.value === 'Interop' && idx > typeIdx2);
+        if (typeIdx3 < 0)
+            throw new Error('No second Interop token (inner) found. toks=' + dumpTokens(toks2));
+        const posInner = { line: toks2[typeIdx3].start.line - 1, character: toks2[typeIdx3].start.col };
+        const rangeInner = findDottedCallRangeAt(toks2, posInner);
+        if (!rangeInner)
+            throw new Error('Expected inner call range');
+        // Text.* helpers: descriptor preview checks
+        const src3 = 'This module is demo.t.\nTo h, produce Int:\n  Return Text.length("abc").\n';
+        const toks3 = lex(canonicalize(src3));
+        const textIdx = toks3.findIndex(t => (t.kind === TokenKind.TYPE_IDENT || t.kind === TokenKind.IDENT) && t.value === 'Text');
+        if (textIdx < 0)
+            throw new Error('No Text token found. toks=' + dumpTokens(toks3));
+        const posText = { line: toks3[textIdx].start.line - 1, character: toks3[textIdx].start.col };
+        const info = describeDottedCallAt(toks3, posText);
+        if (!info)
+            throw new Error('Expected Text.length call info');
+        const descPrev = buildDescriptorPreview(info.name, info.argDescs);
+        if (descPrev !== '(Ljava/lang/String;)I')
+            throw new Error('Unexpected descriptor for Text.length: ' + descPrev);
+        const retLen = returnTypeTextFromDesc(descPrev);
+        if (retLen !== 'Int')
+            throw new Error('Unexpected return type for Text.length: ' + retLen);
+        const src4 = 'This module is demo.t.\nTo j, produce Text:\n  Return Text.concat("a", "b").\n';
+        const toks4 = lex(canonicalize(src4));
+        const concatIdx = toks4.findIndex(t => t.kind === TokenKind.IDENT && t.value === 'concat');
+        if (concatIdx < 2)
+            throw new Error('concat token not found or too early. toks=' + dumpTokens(toks4));
+        const cidx = concatIdx - 2; // position on 'Text'
+        const posConcat = { line: toks4[cidx].start.line - 1, character: toks4[cidx].start.col };
+        const info2 = describeDottedCallAt(toks4, posConcat);
+        if (!info2)
+            throw new Error('Expected Text.concat call info');
+        const desc2 = buildDescriptorPreview(info2.name, info2.argDescs);
+        if (desc2 !== '(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;')
+            throw new Error('Unexpected descriptor for Text.concat: ' + desc2);
+        const retConcat = returnTypeTextFromDesc(desc2);
+        if (retConcat !== 'Text')
+            throw new Error('Unexpected return type for Text.concat: ' + retConcat);
+        // List.get and Map.get previews
+        const src5 = 'This module is demo.c.\nTo k, produce Text:\n  Return List.get(xs, 1).\n';
+        const toks5 = lex(canonicalize(src5));
+        const listIdx = toks5.findIndex(t => (t.kind === TokenKind.TYPE_IDENT && t.value === 'List') || (t.kind === TokenKind.IDENT && t.value === 'List'));
+        if (listIdx < 0)
+            throw new Error('No List token found. toks=' + dumpTokens(toks5));
+        const posList = { line: toks5[listIdx].start.line - 1, character: toks5[listIdx].start.col };
+        const infoList = describeDottedCallAt(toks5, posList);
+        if (!infoList)
+            throw new Error('Expected List.get call info');
+        const descList = buildDescriptorPreview(infoList.name, infoList.argDescs);
+        if (descList !== '(Ljava/util/List;I)Ljava/lang/Object;')
+            throw new Error('Unexpected descriptor for List.get: ' + descList);
+        const retList = returnTypeTextFromDesc(descList);
+        if (retList !== 'Object')
+            throw new Error('Unexpected return type for List.get: ' + retList);
+        const src6 = 'This module is demo.c.\nTo m, produce Text:\n  Return Map.get(mm, kk).\n';
+        const toks6 = lex(canonicalize(src6));
+        const mapIdx = toks6.findIndex(t => (t.kind === TokenKind.TYPE_IDENT && t.value === 'Map') || (t.kind === TokenKind.IDENT && t.value === 'Map'));
+        if (mapIdx < 0)
+            throw new Error('No Map token found. toks=' + dumpTokens(toks6));
+        const posMap = { line: toks6[mapIdx].start.line - 1, character: toks6[mapIdx].start.col };
+        const infoMap = describeDottedCallAt(toks6, posMap);
+        if (!infoMap)
+            throw new Error('Expected Map.get call info');
+        const descMap = buildDescriptorPreview(infoMap.name, infoMap.argDescs);
+        if (descMap !== '(Ljava/util/Map;Ljava/lang/Object;)Ljava/lang/Object;')
+            throw new Error('Unexpected descriptor for Map.get: ' + descMap);
+        const retMap = returnTypeTextFromDesc(descMap);
+        if (retMap !== 'Object')
+            throw new Error('Unexpected return type for Map.get: ' + retMap);
+        console.log('\n✅ All property tests passed!');
+    }
+    catch (e) {
+        console.error('\n❌ Property test failed:', e.message);
+        process.exit(1);
+    }
+}
+main();
+// Generics: basic sanity
+function testGenericsBasic() {
+    const src = [
+        'This module is demo.generic.',
+        '',
+        'To identity of T, with x: T, produce T:',
+        '  Return x.',
+        '',
+    ].join('\n');
+    const can = canonicalize(src);
+    const toks = lex(can);
+    const ast = parse(toks);
+    const core = lowerModule(ast);
+    if (core.kind !== 'Module')
+        throw new Error('Expected Module');
+    const fn = core.decls.find(d => d.kind === 'Func');
+    if (!fn)
+        throw new Error('Expected a function decl');
+    const tp = (fn.typeParams ?? []);
+    if (!(tp.length === 1 && tp[0] === 'T'))
+        throw new Error('Expected type param T');
+    const paramType = fn.params[0]?.type;
+    const retType = fn.ret;
+    if (!paramType || paramType.kind !== 'TypeVar' || paramType.name !== 'T')
+        throw new Error('Param type should be TypeVar T');
+    if (!retType || retType.kind !== 'TypeVar' || retType.name !== 'T')
+        throw new Error('Return type should be TypeVar T');
+    console.log('✓ Generics basic parse/lower');
+}
+//# sourceMappingURL=property.test.js.map

package/dist/test/property/property.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property.test.js","sourceRoot":"","sources":["../../../test/property/property.test.ts"],"names":[],"mappings":";AACA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACtF,OAAO,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAE/L,+CAA+C;AAC/C,MAAM,2BAA2B,GAAG,GAAS,EAAE;IAC7C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,CAAC,KAAa,EAAE,EAAE;QAChB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACnC,OAAO,KAAK,KAAK,MAAM,CAAC;IAC1B,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,4CAA4C;AAC5C,MAAM,mBAAmB,GAAG,GAAS,EAAE;IACrC,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,uCAAuC,CAAC,CAAC;AACvD,CAAC,CAAC;AAEF,6CAA6C;AAC7C,MAAM,kBAAkB,GAAG,GAAS,EAAE;IACpC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,KAAa,EAAE,EAAE;QAChB,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;YAC1B,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,CAAC;QAChF,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,8BAA8B;QAC7C,CAAC;IACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,GAAG,EAAE,CACjB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;AACpD,CAAC,CAAC;AAEF,mDAAmD;AACnD,MAAM,oBAAoB,GAAG,GAAS,EAAE;IACtC,MAAM,UAAU,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SAC1D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAElD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAa,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;YAClB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,UAAU,CAAC;YACjF,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,CAAC;IAC3D,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,mCAAmC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF,gDAAgD;AAChD,MAAM,iBAAiB,GAAG,GAAS,EAAE;IACnC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EACnC,CAAC,GAAW,EAAE,EAAE;QACd,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;QACnC,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;YAClB,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG;YACjC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,GAAG;YACxB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,CAAC;IAC3D,CAAC,CACF,EACD,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF,iDAAiD;AACjD,MAAM,kBAAkB,GAAG,GAAS,EAAE;IACpC,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SAC3D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAEtD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,GAAW,EAAE,EAAE;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,GAAG,CAAC;QACzB,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC;YAClB,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,MAAM;YACpC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,GAAG;YACxB,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS,CAAC,GAAG,CAAC;IAC3D,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,EAAE,EAAE,CAChB,CAAC;IACF,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,mEAAmE;AACnE,MAAM,0BAA0B,GAAG,GAAS,EAAE;IAC5C,MAAM,KAAK,GAAG;QACZ,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,cAAc,EAAE;QACvD,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,eAAe,EAAE;QACzD,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,qBAAqB,EAAE;QAC9D,EAAE,KAAK,EAAE,uBAAuB,EAAE,IAAI,EAAE,sBAAsB,EAAE;QAChE,EAAE,KAAK,EAAE,0BAA0B,EAAE,IAAI,EAAE,mBAAmB,EAAE;KACjE,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5B,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC;QACpE,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9C,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;AAChE,CAAC,CAAC;AAEF,qDAAqD;AACrD,MAAM,yBAAyB,GAAG,GAAS,EAAE;IAC3C,MAAM,WAAW,GAAG;QAClB,sBAAsB;QACtB,wBAAwB;QACxB,kCAAkC;KACnC,CAAC;IACF,MAAM,eAAe,GAAG;QACtB,cAAc;QACd,yBAAyB;QACzB,wBAAwB;KACzB,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,gCAAgC,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,EAAE,CAAC,KAA2B,CAAC;QAC3C,IAAI,GAAG,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC,CAAC;QACvE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,EAAE,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,EAAE,CAAC,KAA2B,CAAC;QAC3C,IAAI,GAAG,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,2CAA2C,GAAG,SAAS,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,4DAA4D;AAC5D,MAAM,6BAA6B,GAAG,GAAS,EAAE;IAC/C,MAAM,GAAG,GAAG;QACV,sBAAsB;QACtB,EAAE;QACF,sBAAsB;QACtB,oBAAoB;QACpB,sBAAsB;QACtB,eAAe;QACf,qBAAqB;QACrB,aAAa;KACd,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC;IAErE,6EAA6E;IAC7E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,0BAA0B,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,0BAA0B,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,6BAA6B;IAC7B,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,CAAC,CAAC;IACvE,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,qCAAqC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;QAC/B,IAAI,EAAE,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,2CAA2C,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF,yCAAyC;AACzC,8DAA8D;AAC9D,MAAM,uBAAuB,GAAG,GAAS,EAAE;IACzC,MAAM,GAAG,GAAG;QACV,4BAA4B;QAC5B,EAAE;QACF,4BAA4B;QAC5B,iDAAiD;QACjD,gDAAgD;QAChD,EAAE;QACF,qFAAqF;QACrF,iDAAiD;QACjD,mDAAmD;QACnD,kCAAkC;QAClC,uCAAuC;QACvC,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,GAAQ,CAAC;IACb,IAAI,CAAC;QACH,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,uEAAuE,GAAI,CAAW,CAAC,OAAO,CAAC,CAAC;IAClH,CAAC;IACD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACzD,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzD,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,oDAAoD,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,2DAA2D;AAC3D,MAAM,yBAAyB,GAAG,GAAS,EAAE;IAC3C,MAAM,KAAK,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC;QAClC,2BAA2B;QAC3B,EAAE;QACF,4BAA4B;QAC5B,EAAE;QACF,iDAAiD;QACjD,+CAA+C;QAC/C,+CAA+C;QAC/C,+CAA+C;QAC/C,KAAK,QAAQ,EAAE;QACf,aAAa;QACb,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,MAAM,KAAK,GAA8C;QACvD,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE;QAC9C,EAAE,IAAI,EAAE,2BAA2B,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE;QACjE,EAAE,IAAI,EAAE,kCAAkC,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE;KAClF,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACtB,MAAM,GAAG,GAAQ,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACxE,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAa,QAAQ,CAAC,KAAK,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,kDAAkD,CAAC,CAAC;AAClE,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,aAAa,GAAG,GAAS,EAAE;IAC/B,MAAM,aAAa,GAAG;QACpB,sBAAsB;QACtB,8BAA8B;QAC9B,yBAAyB;QACzB,2DAA2D;KAC5D,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;YAClC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YAE9B,sBAAsB;YACtB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,EAAE,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpD,MAAM,IAAI,KAAK,CAAC,wBAAwB,GAAG,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,0BAA0B,OAAO,MAAO,CAAW,CAAC,OAAO,EAAE,CAAC,CAAC;QACjF,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;AAC7D,CAAC,CAAC;AAEF,4DAA4D;AAC5D,MAAM,uBAAuB,GAAG,GAAS,EAAE;IACzC,MAAM,eAAe,GAAG;QACtB,gBAAgB,EAAG,sBAAsB;QACzC,kBAAkB,EAAG,6BAA6B;QAClD,kBAAkB,EAAG,gBAAgB;QACrC,UAAU,EAAG,qBAAqB;QAClC,QAAQ,EAAG,qBAAqB;KACjC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACxB,KAAK,CAAC,MAAM,CAAC,CAAC;YACd,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,EAAE,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,oBAAoB;YACpB,IAAI,CAAE,CAAS,CAAC,GAAG,EAAE,CAAC;gBACpB,MAAM,IAAI,KAAK,CAAC,6CAA6C,KAAK,EAAE,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,gEAAgE,CAAC,CAAC;AAChF,CAAC,CAAC;AAEF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAE3C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,CAAC,IAAW,EAAE,EAAE,CACjC,IAAI;aACD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,MAAM,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;aAC3E,IAAI,CAAC,GAAG,CAAC,CAAC;QACf,2BAA2B,EAAE,CAAC;QAC9B,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,CAAC;QACrB,oBAAoB,EAAE,CAAC;QACvB,iBAAiB,EAAE,CAAC;QACpB,kBAAkB,EAAE,CAAC;QACrB,0BAA0B,EAAE,CAAC;QAC7B,yBAAyB,EAAE,CAAC;QAC5B,6BAA6B,EAAE,CAAC;QAChC,uBAAuB,EAAE,CAAC;QAC1B,yBAAyB,EAAE,CAAC;QAC5B,aAAa,EAAE,CAAC;QAChB,wBAAwB;QACxB,iBAAiB,EAAE,CAAC;QACpB,uBAAuB,EAAE,CAAC;QAE1B,4BAA4B;QAC5B,MAAM,IAAI,GAAG,8EAA8E,CAAC;QAC5F,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAY,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAC/E,MAAM,MAAM,GAAG,0BAA0B,CAAC,KAAY,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,KAAY,CAAC,CAAC;QACjF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACvF,2EAA2E;QAC3E,MAAM,iBAAiB,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QACzI,IAAI,iBAAiB,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,iBAAiB,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,iBAAiB,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACtH,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAY,EAAE,GAAU,CAAC,CAAC;QAClE,IAAI,CAAC,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAEtE,mFAAmF;QACnF,MAAM,IAAI,GAAG,gGAAgG,CAAC;QAC9G,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,qCAAqC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;QAChI,IAAI,QAAQ,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QACtG,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACzG,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAY,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC9D,4CAA4C;QAC5C,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,GAAG,QAAQ,CAAC,CAAC;QACzJ,IAAI,QAAQ,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QAC7G,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACzG,MAAM,UAAU,GAAG,qBAAqB,CAAC,KAAY,EAAE,QAAQ,CAAC,CAAC;QACjE,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAE9D,4CAA4C;QAC5C,MAAM,IAAI,GAAG,4EAA4E,CAAC;QAC1F,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;QAC5H,IAAI,OAAO,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACtG,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAY,EAAE,OAAc,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC7D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,QAAQ,KAAK,uBAAuB;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,GAAG,QAAQ,CAAC,CAAC;QAChH,MAAM,MAAM,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,MAAM,CAAC,CAAC;QAE3F,MAAM,IAAI,GAAG,gFAAgF,CAAC;QAC9F,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;QAC3F,IAAI,SAAS,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QAC5G,MAAM,IAAI,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,qBAAqB;QACjD,MAAM,SAAS,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QAClG,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAY,EAAE,SAAgB,CAAC,CAAC;QACnE,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjE,IAAI,KAAK,KAAK,0DAA0D;YAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,GAAG,KAAK,CAAC,CAAC;QAC7I,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;QAChD,IAAI,SAAS,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,SAAS,CAAC,CAAC;QAElG,gCAAgC;QAChC,MAAM,IAAI,GAAG,0EAA0E,CAAC;QACxF,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC;QACpJ,IAAI,OAAO,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,OAAO,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACtG,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAY,EAAE,OAAc,CAAC,CAAC;QACpE,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAC9D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC1E,IAAI,QAAQ,KAAK,uCAAuC;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,GAAG,QAAQ,CAAC,CAAC;QAC7H,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,OAAO,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,OAAO,CAAC,CAAC;QAE7F,MAAM,IAAI,GAAG,0EAA0E,CAAC;QACxF,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC;QACjJ,IAAI,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,GAAG,UAAU,CAAC,KAAY,CAAC,CAAC,CAAC;QACxF,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAE,CAAC,KAAK,CAAC,GAAG,EAAS,CAAC;QACnG,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAY,EAAE,MAAa,CAAC,CAAC;QAClE,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,uDAAuD;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,GAAG,OAAO,CAAC,CAAC;QAC1I,MAAM,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,MAAM,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,sCAAsC,GAAG,MAAM,CAAC,CAAC;QAE1F,OAAO,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,2BAA2B,EAAG,CAAW,CAAC,OAAO,CAAC,CAAC;QACjE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC;AAEP,yBAAyB;AACzB,SAAS,iBAAiB;IACxB,MAAM,GAAG,GAAG;QACV,8BAA8B;QAC9B,EAAE;QACF,yCAAyC;QACzC,aAAa;QACb,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAE,CAAS,CAAC,IAAI,KAAK,MAAM,CAAQ,CAAC;IACnE,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACrD,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAa,CAAC;IAC7C,IAAI,CAAC,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;IAClF,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,EAAE,CAAC,GAAG,CAAC;IACvB,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,IAAI,KAAK,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAC5H,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAK,OAAe,CAAC,IAAI,KAAK,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IAChI,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;AAC9C,CAAC"}

package/dist/test/regression/type-checker-golden.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * 类型检查 golden 基线回归测试
+ *
+ * 读取 test/type-checker/golden 下的 .aster 文件，执行完整类型检查流程，
+ * 并将诊断结果与 expected/*.errors.json 基线比对，确保回归场景稳定。
+ */
+export {};
+//# sourceMappingURL=type-checker-golden.test.d.ts.map

package/dist/test/regression/type-checker-golden.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-checker-golden.test.d.ts","sourceRoot":"","sources":["../../../test/regression/type-checker-golden.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}