@kernlang/review 2.0.0

package/dist/inferrer.js

@@ -0,0 +1,502 @@
+/**
+ * TS → .kern Inferrer — scans TypeScript AST and infers KERN IR nodes.
+ *
+ * Phase 1 (deterministic): type, interface, fn, error, import, const
+ * Phase 2 (composite): machine, config, event, module
+ *
+ * v2: Adds stable nodeId, promptAlias, sourceSpans to InferResult.
+ */
+import { Project, SyntaxKind, } from 'ts-morph';
+import { countTokens } from '@kernlang/core';
+// ── Create Project ───────────────────────────────────────────────────────
+export function createProject() {
+    return new Project({
+        compilerOptions: { strict: true, target: 99 /* Latest */ },
+        useInMemoryFileSystem: false,
+        skipAddingFilesFromTsConfig: true,
+    });
+}
+export function createInMemoryProject() {
+    return new Project({
+        compilerOptions: { strict: true, target: 99 },
+        useInMemoryFileSystem: true,
+        skipAddingFilesFromTsConfig: true,
+    });
+}
+// ── Main Inference Function ──────────────────────────────────────────────
+export function inferFromSource(source, filePath = 'input.ts') {
+    const project = createInMemoryProject();
+    const sourceFile = project.createSourceFile(filePath, source);
+    return inferFromSourceFile(sourceFile);
+}
+export function inferFromFile(filePath) {
+    const project = createProject();
+    const sourceFile = project.addSourceFileAtPath(filePath);
+    return inferFromSourceFile(sourceFile);
+}
+export function inferFromSourceFile(sourceFile) {
+    const results = [];
+    // Phase 1: Deterministic matchers
+    results.push(...inferTypes(sourceFile));
+    results.push(...inferInterfaces(sourceFile));
+    results.push(...inferFunctions(sourceFile));
+    results.push(...inferErrors(sourceFile));
+    results.push(...inferImports(sourceFile));
+    results.push(...inferConsts(sourceFile));
+    // Phase 2: Composite patterns
+    results.push(...inferMachines(sourceFile, results));
+    results.push(...inferConfigs(sourceFile, results));
+    results.push(...inferEvents(sourceFile, results));
+    // Sort by line number
+    results.sort((a, b) => a.startLine - b.startLine);
+    // Assign sequential prompt aliases after sorting (stable per file)
+    for (let i = 0; i < results.length; i++) {
+        results[i].promptAlias = `N${i + 1}`;
+    }
+    return results;
+}
+// ── Helpers ──────────────────────────────────────────────────────────────
+function getSpan(sourceFile, startOffset, endOffset) {
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    const startPos = sourceFile.getLineAndColumnAtPos(startOffset);
+    const endPos = sourceFile.getLineAndColumnAtPos(endOffset);
+    return {
+        file: filePath,
+        startLine: startPos.line,
+        startCol: startPos.column,
+        endLine: endPos.line,
+        endCol: endPos.column,
+    };
+}
+function makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, summary, confidence, confidencePct, originalText) {
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    const name = node.props?.name || 'anon';
+    const nodeId = `${filePath}#${node.type}:${name}@${startOffset}`;
+    const kernRepr = serializeKernNode(node);
+    const kernTokens = countTokens(kernRepr);
+    const tsTokens = countTokens(originalText);
+    return {
+        node,
+        nodeId,
+        promptAlias: '', // assigned after sort in inferFromSourceFile
+        startLine,
+        endLine,
+        sourceSpans: [getSpan(sourceFile, startOffset, endOffset)],
+        summary,
+        confidence,
+        confidencePct,
+        kernTokens,
+        tsTokens,
+    };
+}
+function serializeKernNode(node) {
+    const parts = [node.type];
+    if (node.props) {
+        for (const [k, v] of Object.entries(node.props)) {
+            if (typeof v === 'string')
+                parts.push(`${k}=${v}`);
+        }
+    }
+    if (node.children) {
+        for (const child of node.children) {
+            parts.push('  ' + serializeKernNode(child));
+        }
+    }
+    return parts.join(' ');
+}
+// ── Phase 1: Type Aliases ────────────────────────────────────────────────
+function inferTypes(sourceFile) {
+    const results = [];
+    for (const decl of sourceFile.getTypeAliases()) {
+        const name = decl.getName();
+        const typeNode = decl.getTypeNode();
+        if (!typeNode)
+            continue;
+        const text = typeNode.getText();
+        const startLine = decl.getStartLineNumber();
+        const endLine = decl.getEndLineNumber();
+        const originalText = decl.getText();
+        const startOffset = decl.getStart();
+        const endOffset = decl.getEnd();
+        // Union of string literals → type name=X values="a|b|c"
+        if (typeNode.getKind() === SyntaxKind.UnionType) {
+            const unionMembers = text.split('|').map(s => s.trim());
+            const allLiterals = unionMembers.every(m => m.startsWith("'") || m.startsWith('"'));
+            if (allLiterals) {
+                const values = unionMembers.map(m => m.replace(/['"]/g, '')).join('|');
+                const node = { type: 'type', props: { name, values } };
+                results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `type ${name} = ${values.split('|').map(v => `'${v}'`).join(' | ')}`, 'high', 98, originalText));
+            }
+            else {
+                // Type alias union (non-literal)
+                const node = { type: 'type', props: { name, alias: text } };
+                results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `type ${name} = ${text}`, 'high', 95, originalText));
+            }
+        }
+        else {
+            // Simple type alias
+            const node = { type: 'type', props: { name, alias: text } };
+            results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `type ${name} = ${text}`, 'high', 95, originalText));
+        }
+    }
+    return results;
+}
+// ── Phase 1: Interfaces ──────────────────────────────────────────────────
+function inferInterfaces(sourceFile) {
+    const results = [];
+    for (const decl of sourceFile.getInterfaces()) {
+        const name = decl.getName();
+        const startLine = decl.getStartLineNumber();
+        const endLine = decl.getEndLineNumber();
+        const originalText = decl.getText();
+        const startOffset = decl.getStart();
+        const endOffset = decl.getEnd();
+        const extendsClause = decl.getExtends().map(e => e.getText()).join(', ') || undefined;
+        const children = [];
+        for (const prop of decl.getProperties()) {
+            const fieldName = prop.getName();
+            const fieldType = prop.getType().getText(prop);
+            const optional = prop.hasQuestionToken();
+            children.push({
+                type: 'field',
+                props: {
+                    name: fieldName,
+                    type: fieldType,
+                    ...(optional ? { optional: 'true' } : {}),
+                },
+            });
+        }
+        const node = {
+            type: 'interface',
+            props: {
+                name,
+                ...(extendsClause ? { extends: extendsClause } : {}),
+            },
+            children,
+        };
+        results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `interface ${name} (${children.length} fields)`, 'high', 97, originalText));
+    }
+    return results;
+}
+// ── Phase 1: Functions ───────────────────────────────────────────────────
+function inferFunctions(sourceFile) {
+    const inferResults = [];
+    for (const decl of sourceFile.getFunctions()) {
+        if (!decl.getName())
+            continue;
+        const name = decl.getName();
+        const startLine = decl.getStartLineNumber();
+        const endLine = decl.getEndLineNumber();
+        const originalText = decl.getText();
+        const startOffset = decl.getStart();
+        const endOffset = decl.getEnd();
+        const params = decl.getParameters()
+            .map(p => `${p.getName()}:${p.getType().getText(p)}`)
+            .join(',');
+        const returnType = decl.getReturnType().getText(decl);
+        const isAsync = decl.isAsync();
+        const isExported = decl.isExported();
+        const body = decl.getBody()?.getText() || '';
+        const node = {
+            type: 'fn',
+            props: {
+                name,
+                ...(params ? { params } : {}),
+                ...(returnType && returnType !== 'void' ? { returns: returnType } : {}),
+                ...(isAsync ? { async: 'true' } : {}),
+                ...(isExported ? {} : { export: 'false' }),
+            },
+            children: body ? [{ type: 'handler', props: { code: body.slice(1, -1).trim() } }] : [],
+        };
+        inferResults.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `fn ${name}(${params}) → ${returnType}`, 'high', 95, originalText));
+    }
+    return inferResults;
+}
+// ── Phase 1: Error Classes ───────────────────────────────────────────────
+function inferErrors(sourceFile) {
+    const results = [];
+    for (const decl of sourceFile.getClasses()) {
+        const name = decl.getName();
+        if (!name)
+            continue;
+        // Check if extends Error (or any *Error class)
+        const extendsExpr = decl.getExtends();
+        if (!extendsExpr)
+            continue;
+        const baseClass = extendsExpr.getText();
+        if (!baseClass.includes('Error'))
+            continue;
+        const startLine = decl.getStartLineNumber();
+        const endLine = decl.getEndLineNumber();
+        const originalText = decl.getText();
+        const startOffset = decl.getStart();
+        const endOffset = decl.getEnd();
+        // Extract constructor fields
+        const children = [];
+        const ctor = decl.getConstructors()[0];
+        if (ctor) {
+            for (const param of ctor.getParameters()) {
+                const paramName = param.getName();
+                const paramType = param.getType().getText(param);
+                if (paramName === 'message' && paramType === 'string') {
+                    children.push({ type: 'field', props: { name: 'message', type: 'string' } });
+                }
+                else if (param.isReadonly() || param.hasModifier(SyntaxKind.PublicKeyword)) {
+                    children.push({ type: 'field', props: { name: paramName, type: paramType } });
+                }
+            }
+        }
+        const node = {
+            type: 'error',
+            props: { name, extends: baseClass },
+            children,
+        };
+        results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `error ${name} extends ${baseClass}`, 'high', 96, originalText));
+    }
+    return results;
+}
+// ── Phase 1: Imports ─────────────────────────────────────────────────────
+function inferImports(sourceFile) {
+    const results = [];
+    for (const decl of sourceFile.getImportDeclarations()) {
+        const from = decl.getModuleSpecifierValue();
+        const startLine = decl.getStartLineNumber();
+        const endLine = decl.getEndLineNumber();
+        const originalText = decl.getText();
+        const startOffset = decl.getStart();
+        const endOffset = decl.getEnd();
+        const defaultImport = decl.getDefaultImport()?.getText();
+        const namedImports = decl.getNamedImports().map(n => n.getName());
+        const isTypeOnly = decl.isTypeOnly();
+        const props = { from };
+        if (defaultImport)
+            props.default = defaultImport;
+        if (namedImports.length > 0)
+            props.names = namedImports.join(',');
+        if (isTypeOnly)
+            props.types = 'true';
+        const node = { type: 'import', props };
+        results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `import ${namedImports.length > 0 ? `{ ${namedImports.join(', ')} }` : defaultImport || '*'} from '${from}'`, 'high', 99, originalText));
+    }
+    return results;
+}
+// ── Phase 1: Const Declarations ──────────────────────────────────────────
+function inferConsts(sourceFile) {
+    const results = [];
+    for (const stmt of sourceFile.getVariableStatements()) {
+        const isExported = stmt.isExported();
+        const startOffset = stmt.getStart();
+        const endOffset = stmt.getEnd();
+        for (const decl of stmt.getDeclarations()) {
+            const name = decl.getName();
+            const startLine = stmt.getStartLineNumber();
+            const endLine = stmt.getEndLineNumber();
+            const originalText = stmt.getText();
+            const typeNode = decl.getTypeNode();
+            const typeName = typeNode?.getText();
+            const initializer = decl.getInitializer()?.getText();
+            // Skip if it's a function expression or arrow function
+            if (initializer && (initializer.startsWith('(') ||
+                initializer.startsWith('function') ||
+                initializer.startsWith('async') ||
+                initializer.includes('=>'))) {
+                continue;
+            }
+            const props = { name };
+            if (typeName)
+                props.type = typeName;
+            if (initializer)
+                props.value = initializer;
+            if (!isExported)
+                props.export = 'false';
+            const node = { type: 'const', props };
+            results.push(makeResult(node, sourceFile, startOffset, endOffset, startLine, endLine, `const ${name}${typeName ? ': ' + typeName : ''} = ${initializer || '...'}`, 'high', 90, originalText));
+        }
+    }
+    return results;
+}
+// ── Phase 2: Machine Detection ───────────────────────────────────────────
+// Pattern: XState type + XStateError class + transition functions
+function inferMachines(sourceFile, existing) {
+    const results = [];
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    // Look for *State type aliases that are string literal unions
+    const stateTypes = existing.filter(r => r.node.type === 'type' &&
+        r.node.props?.name &&
+        r.node.props.name.endsWith('State') &&
+        r.node.props.values);
+    for (const stateResult of stateTypes) {
+        const stateName = stateResult.node.props.name;
+        const baseName = stateName.replace(/State$/, '');
+        const values = stateResult.node.props.values.split('|');
+        // Check for matching XStateError class
+        const errorResult = existing.find(r => r.node.type === 'error' &&
+            r.node.props?.name === `${baseName}StateError`);
+        // Check for transition functions matching the pattern: verbBaseName
+        const transitionFns = existing.filter(r => r.node.type === 'fn' &&
+            r.node.props?.name &&
+            r.node.props.name.endsWith(baseName));
+        // Need at least the state type + 1 transition OR state type + error
+        if (!errorResult && transitionFns.length === 0)
+            continue;
+        const startLine = stateResult.startLine;
+        const endLine = Math.max(errorResult?.endLine || startLine, ...transitionFns.map(f => f.endLine));
+        // Build machine node
+        const children = [];
+        // States
+        for (let i = 0; i < values.length; i++) {
+            children.push({
+                type: 'state',
+                props: { name: values[i], ...(i === 0 ? { initial: 'true' } : {}) },
+            });
+        }
+        // Transitions (inferred from function names)
+        for (const fn of transitionFns) {
+            const fnName = fn.node.props.name;
+            const verb = fnName.replace(new RegExp(`${baseName}$`), '');
+            if (!verb)
+                continue;
+            children.push({
+                type: 'transition',
+                props: { name: verb },
+            });
+        }
+        const allOriginalText = [stateResult, errorResult, ...transitionFns]
+            .filter(Boolean)
+            .map(r => r.tsTokens)
+            .reduce((a, b) => a + b, 0);
+        const node = {
+            type: 'machine',
+            props: { name: baseName },
+            children,
+        };
+        // Collect sourceSpans from all component results
+        const componentSpans = [
+            ...stateResult.sourceSpans,
+            ...(errorResult?.sourceSpans || []),
+            ...transitionFns.flatMap(fn => fn.sourceSpans),
+        ];
+        const confidence = errorResult && transitionFns.length > 0 ? 90 : 75;
+        results.push({
+            node,
+            nodeId: `${filePath}#machine:${baseName}@L${startLine}`,
+            promptAlias: '', // assigned after sort
+            startLine,
+            endLine,
+            sourceSpans: componentSpans,
+            summary: `machine ${baseName} (${values.length} states, ${transitionFns.length} transitions)`,
+            confidence: confidence >= 85 ? 'high' : 'medium',
+            confidencePct: confidence,
+            kernTokens: countTokens(serializeKernNode(node)),
+            tsTokens: allOriginalText,
+        });
+    }
+    return results;
+}
+// ── Phase 2: Config Detection ────────────────────────────────────────────
+// Pattern: XConfig interface + DEFAULT_X_CONFIG const
+function inferConfigs(sourceFile, existing) {
+    const results = [];
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    const configInterfaces = existing.filter(r => r.node.type === 'interface' &&
+        r.node.props?.name &&
+        r.node.props.name.endsWith('Config'));
+    for (const ifaceResult of configInterfaces) {
+        const name = ifaceResult.node.props.name;
+        // Look for DEFAULT_X_CONFIG or DEFAULT_XCONFIG or defaultXConfig
+        const upperName = name.replace(/([a-z])([A-Z])/g, '$1_$2').toUpperCase();
+        const defaultConst = existing.find(r => r.node.type === 'const' &&
+            r.node.props?.name &&
+            (r.node.props.name === `DEFAULT_${upperName}` ||
+                r.node.props.name.toUpperCase().includes(upperName)));
+        if (!defaultConst)
+            continue;
+        const startLine = Math.min(ifaceResult.startLine, defaultConst.startLine);
+        const endLine = Math.max(ifaceResult.endLine, defaultConst.endLine);
+        // Build config node from interface fields
+        const children = (ifaceResult.node.children || []).map(field => {
+            return { ...field };
+        });
+        const node = {
+            type: 'config',
+            props: { name },
+            children,
+        };
+        const componentSpans = [
+            ...ifaceResult.sourceSpans,
+            ...defaultConst.sourceSpans,
+        ];
+        results.push({
+            node,
+            nodeId: `${filePath}#config:${name}@L${startLine}`,
+            promptAlias: '',
+            startLine,
+            endLine,
+            sourceSpans: componentSpans,
+            summary: `config ${name} (${children.length} fields + defaults)`,
+            confidence: 'medium',
+            confidencePct: 85,
+            kernTokens: countTokens(serializeKernNode(node)),
+            tsTokens: ifaceResult.tsTokens + defaultConst.tsTokens,
+        });
+    }
+    return results;
+}
+// ── Phase 2: Event Detection ─────────────────────────────────────────────
+// Pattern: XEventType union + XEvent interface + XEventMap
+function inferEvents(sourceFile, existing) {
+    const results = [];
+    const filePath = sourceFile.getFilePath() || 'input.ts';
+    // Find *EventType type aliases
+    const eventTypes = existing.filter(r => r.node.type === 'type' &&
+        r.node.props?.name &&
+        r.node.props.name.endsWith('EventType') &&
+        r.node.props.values);
+    for (const eventTypeResult of eventTypes) {
+        const typeName = eventTypeResult.node.props.name;
+        const baseName = typeName.replace(/Type$/, '');
+        // Look for matching XEvent interface
+        const eventInterface = existing.find(r => r.node.type === 'interface' &&
+            r.node.props?.name === baseName);
+        // Look for matching XEventMap interface
+        const eventMap = existing.find(r => r.node.type === 'interface' &&
+            r.node.props?.name === `${baseName}Map`);
+        if (!eventInterface)
+            continue;
+        const startLine = Math.min(eventTypeResult.startLine, eventInterface.startLine);
+        const endLine = Math.max(eventTypeResult.endLine, eventInterface.endLine, eventMap?.endLine || 0);
+        const values = eventTypeResult.node.props.values.split('|');
+        const children = values.map(v => ({
+            type: 'type',
+            props: { name: v, value: v },
+        }));
+        const node = {
+            type: 'event',
+            props: { name: baseName },
+            children,
+        };
+        const componentSpans = [
+            ...eventTypeResult.sourceSpans,
+            ...eventInterface.sourceSpans,
+            ...(eventMap?.sourceSpans || []),
+        ];
+        const totalTokens = eventTypeResult.tsTokens +
+            eventInterface.tsTokens +
+            (eventMap?.tsTokens || 0);
+        results.push({
+            node,
+            nodeId: `${filePath}#event:${baseName}@L${startLine}`,
+            promptAlias: '',
+            startLine,
+            endLine,
+            sourceSpans: componentSpans,
+            summary: `event ${baseName} (${values.length} types)`,
+            confidence: eventMap ? 'high' : 'medium',
+            confidencePct: eventMap ? 88 : 75,
+            kernTokens: countTokens(serializeKernNode(node)),
+            tsTokens: totalTokens,
+        });
+    }
+    return results;
+}
+//# sourceMappingURL=inferrer.js.map

package/dist/inferrer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inferrer.js","sourceRoot":"","sources":["../src/inferrer.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,OAAO,EAEP,UAAU,GACX,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG7C,4EAA4E;AAE5E,MAAM,UAAU,aAAa;IAC3B,OAAO,IAAI,OAAO,CAAC;QACjB,eAAe,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,EAAE;QAC1D,qBAAqB,EAAE,KAAK;QAC5B,2BAA2B,EAAE,IAAI;KAClC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,qBAAqB;IACnC,OAAO,IAAI,OAAO,CAAC;QACjB,eAAe,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;QAC7C,qBAAqB,EAAE,IAAI;QAC3B,2BAA2B,EAAE,IAAI;KAClC,CAAC,CAAC;AACL,CAAC;AAED,4EAA4E;AAE5E,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,QAAQ,GAAG,UAAU;IACnE,MAAM,OAAO,GAAG,qBAAqB,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,MAAM,OAAO,GAAG,aAAa,EAAE,CAAC;IAChC,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO,mBAAmB,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,UAAsB;IACxD,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,kCAAkC;IAClC,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACxC,OAAO,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,OAAO,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;IAEzC,8BAA8B;IAC9B,OAAO,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACpD,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IAElD,sBAAsB;IACtB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IAElD,mEAAmE;IACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,OAAO,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IACvC,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,SAAS,OAAO,CAAC,UAAsB,EAAE,WAAmB,EAAE,SAAiB;IAC7E,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,qBAAqB,CAAC,SAAS,CAAC,CAAC;IAC3D,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,SAAS,EAAE,QAAQ,CAAC,IAAI;QACxB,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,OAAO,EAAE,MAAM,CAAC,IAAI;QACpB,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,IAAY,EACZ,UAAsB,EACtB,WAAmB,EACnB,SAAiB,EACjB,SAAiB,EACjB,OAAe,EACf,OAAe,EACf,UAAsB,EACtB,aAAqB,EACrB,YAAoB;IAEpB,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IACxD,MAAM,IAAI,GAAI,IAAI,CAAC,KAAK,EAAE,IAAe,IAAI,MAAM,CAAC;IACpD,MAAM,MAAM,GAAG,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;IAEjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;IAE3C,OAAO;QACL,IAAI;QACJ,MAAM;QACN,WAAW,EAAE,EAAE,EAAE,6CAA6C;QAC9D,SAAS;QACT,OAAO;QACP,WAAW,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;QAC1D,OAAO;QACP,UAAU;QACV,aAAa;QACb,UAAU;QACV,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAChD,IAAI,OAAO,CAAC,KAAK,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,4EAA4E;AAE5E,SAAS,UAAU,CAAC,UAAsB;IACxC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,cAAc,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,wDAAwD;QACxD,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,UAAU,CAAC,SAAS,EAAE,CAAC;YAChD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACxD,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YAEpF,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACvE,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;gBAC/D,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,QAAQ,IAAI,MAAM,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EACpE,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,iCAAiC;gBACjC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;gBACpE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,QAAQ,IAAI,MAAM,IAAI,EAAE,EACxB,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,oBAAoB;YACpB,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;YACpE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,QAAQ,IAAI,MAAM,IAAI,EAAE,EACxB,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,SAAS,eAAe,CAAC,UAAsB;IAC7C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,aAAa,EAAE,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC;QAEtF,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAEzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE;oBACL,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,SAAS;oBACf,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1C;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE;gBACL,IAAI;gBACJ,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACrD;YACD,QAAQ;SACT,CAAC;QAEF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,aAAa,IAAI,KAAK,QAAQ,CAAC,MAAM,UAAU,EAC/C,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,SAAS,cAAc,CAAC,UAAsB;IAC5C,MAAM,YAAY,GAAkB,EAAE,CAAC;IAEvC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,YAAY,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE;YAAE,SAAS;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAG,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE;aAChC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;aACpD,IAAI,CAAC,GAAG,CAAC,CAAC;QAEb,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAE7C,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE;gBACL,IAAI;gBACJ,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,UAAU,IAAI,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;aAC3C;YACD,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;SACvF,CAAC;QAEF,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EACvF,MAAM,IAAI,IAAI,MAAM,OAAO,UAAU,EAAE,EACvC,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,4EAA4E;AAE5E,SAAS,WAAW,CAAC,UAAsB;IACzC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,+CAA+C;QAC/C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACtC,IAAI,CAAC,WAAW;YAAE,SAAS;QAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAE3C,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,6BAA6B;QAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;gBACzC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;gBAClC,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBACjD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;oBACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;gBAC/E,CAAC;qBAAM,IAAI,KAAK,CAAC,UAAU,EAAE,IAAI,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;oBAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE;YACnC,QAAQ;SACT,CAAC;QAEF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,SAAS,IAAI,YAAY,SAAS,EAAE,EACpC,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,SAAS,YAAY,CAAC,UAAsB;IAC1C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,uBAAuB,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,CAAC;QACzD,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAErC,MAAM,KAAK,GAA4B,EAAE,IAAI,EAAE,CAAC;QAChD,IAAI,aAAa;YAAE,KAAK,CAAC,OAAO,GAAG,aAAa,CAAC;QACjD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClE,IAAI,UAAU;YAAE,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC;QAErC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;QAE/C,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,UAAU,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,GAAG,UAAU,IAAI,GAAG,EAC5G,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAE5E,SAAS,WAAW,CAAC,UAAsB;IACzC,MAAM,OAAO,GAAkB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,qBAAqB,EAAE,EAAE,CAAC;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QACrC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAEhC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAEpC,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,QAAQ,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC;YACrC,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,CAAC;YAErD,uDAAuD;YACvD,IAAI,WAAW,IAAI,CACjB,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC;gBAC3B,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC;gBAClC,WAAW,CAAC,UAAU,CAAC,OAAO,CAAC;gBAC/B,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAC3B,EAAE,CAAC;gBACF,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAA4B,EAAE,IAAI,EAAE,CAAC;YAChD,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC;YACpC,IAAI,WAAW;gBAAE,KAAK,CAAC,KAAK,GAAG,WAAW,CAAC;YAC3C,IAAI,CAAC,UAAU;gBAAE,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC;YAExC,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YAE9C,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAClF,SAAS,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,WAAW,IAAI,KAAK,EAAE,EAC3E,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAC5E,kEAAkE;AAElE,SAAS,aAAa,CAAC,UAAsB,EAAE,QAAuB;IACpE,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IAExD,8DAA8D;IAC9D,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACtB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI;QACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACpB,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,UAAU,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,KAAM,CAAC,IAAc,CAAC;QACzD,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,MAAM,MAAM,GAAI,WAAW,CAAC,IAAI,CAAC,KAAM,CAAC,MAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAErE,uCAAuC;QACvC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACpC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACvB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,GAAG,QAAQ,YAAY,CAC/C,CAAC;QAEF,oEAAoE;QACpE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACxC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YACpB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI;YACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,CACjD,CAAC;QAEF,oEAAoE;QACpE,IAAI,CAAC,WAAW,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEzD,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,WAAW,EAAE,OAAO,IAAI,SAAS,EACjC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CACrC,CAAC;QAEF,qBAAqB;QACrB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,SAAS;QACT,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;aACpE,CAAC,CAAC;QACL,CAAC;QAED,6CAA6C;QAC7C,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,KAAM,CAAC,IAAc,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,GAAG,aAAa,CAAC;aACjE,MAAM,CAAC,OAAO,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAE,CAAC,QAAQ,CAAC;aACrB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAE9B,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ;SACT,CAAC;QAEF,iDAAiD;QACjD,MAAM,cAAc,GAAiB;YACnC,GAAG,WAAW,CAAC,WAAW;YAC1B,GAAG,CAAC,WAAW,EAAE,WAAW,IAAI,EAAE,CAAC;YACnC,GAAG,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC;SAC/C,CAAC;QAEF,MAAM,UAAU,GAAG,WAAW,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,MAAM,EAAE,GAAG,QAAQ,YAAY,QAAQ,KAAK,SAAS,EAAE;YACvD,WAAW,EAAE,EAAE,EAAE,sBAAsB;YACvC,SAAS;YACT,OAAO;YACP,WAAW,EAAE,cAAc;YAC3B,OAAO,EAAE,WAAW,QAAQ,KAAK,MAAM,CAAC,MAAM,YAAY,aAAa,CAAC,MAAM,eAAe;YAC7F,UAAU,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;YAChD,aAAa,EAAE,UAAU;YACzB,UAAU,EAAE,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAChD,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAC5E,sDAAsD;AAEtD,SAAS,YAAY,CAAC,UAAsB,EAAE,QAAuB;IACnE,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IAExD,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;QAC3B,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI;QACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,CACjD,CAAC;IAEF,KAAK,MAAM,WAAW,IAAI,gBAAgB,EAAE,CAAC;QAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,KAAM,CAAC,IAAc,CAAC;QACpD,iEAAiE;QACjE,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAEzE,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YACvB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI;YAClB,CACG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,KAAK,WAAW,SAAS,EAAE;gBACvD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAChE,CACF,CAAC;QAEF,IAAI,CAAC,YAAY;YAAE,SAAS;QAE5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,EAAE,YAAY,CAAC,SAAS,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC;QAEpE,0CAA0C;QAC1C,MAAM,QAAQ,GAAa,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;YACvE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAC;QACtB,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,EAAE,IAAI,EAAE;YACf,QAAQ;SACT,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,GAAG,WAAW,CAAC,WAAW;YAC1B,GAAG,YAAY,CAAC,WAAW;SAC5B,CAAC;QAEF,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,MAAM,EAAE,GAAG,QAAQ,WAAW,IAAI,KAAK,SAAS,EAAE;YAClD,WAAW,EAAE,EAAE;YACf,SAAS;YACT,OAAO;YACP,WAAW,EAAE,cAAc;YAC3B,OAAO,EAAE,UAAU,IAAI,KAAK,QAAQ,CAAC,MAAM,qBAAqB;YAChE,UAAU,EAAE,QAAQ;YACpB,aAAa,EAAE,EAAE;YACjB,UAAU,EAAE,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAChD,QAAQ,EAAE,WAAW,CAAC,QAAQ,GAAG,YAAY,CAAC,QAAQ;SACvD,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,4EAA4E;AAC5E,2DAA2D;AAE3D,SAAS,WAAW,CAAC,UAAsB,EAAE,QAAuB;IAClE,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,UAAU,CAAC;IAExD,+BAA+B;IAC/B,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACrC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;QACtB,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI;QACjB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAe,CAAC,QAAQ,CAAC,WAAW,CAAC;QACnD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CACpB,CAAC;IAEF,KAAK,MAAM,eAAe,IAAI,UAAU,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,KAAM,CAAC,IAAc,CAAC;QAC5D,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAE/C,qCAAqC;QACrC,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACvC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAC3B,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,QAAQ,CAChC,CAAC;QAEF,wCAAwC;QACxC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACjC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAC3B,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,GAAG,QAAQ,KAAK,CACxC,CAAC;QAEF,IAAI,CAAC,cAAc;YAAE,SAAS;QAE9B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,eAAe,CAAC,SAAS,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,eAAe,CAAC,OAAO,EACvB,cAAc,CAAC,OAAO,EACtB,QAAQ,EAAE,OAAO,IAAI,CAAC,CACvB,CAAC;QAEF,MAAM,MAAM,GAAI,eAAe,CAAC,IAAI,CAAC,KAAM,CAAC,MAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACzE,MAAM,QAAQ,GAAa,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1C,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;SAC7B,CAAC,CAAC,CAAC;QAEJ,MAAM,IAAI,GAAW;YACnB,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YACzB,QAAQ;SACT,CAAC;QAEF,MAAM,cAAc,GAAG;YACrB,GAAG,eAAe,CAAC,WAAW;YAC9B,GAAG,cAAc,CAAC,WAAW;YAC7B,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;SACjC,CAAC;QAEF,MAAM,WAAW,GAAG,eAAe,CAAC,QAAQ;YAC1C,cAAc,CAAC,QAAQ;YACvB,CAAC,QAAQ,EAAE,QAAQ,IAAI,CAAC,CAAC,CAAC;QAE5B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,MAAM,EAAE,GAAG,QAAQ,UAAU,QAAQ,KAAK,SAAS,EAAE;YACrD,WAAW,EAAE,EAAE;YACf,SAAS;YACT,OAAO;YACP,WAAW,EAAE,cAAc;YAC3B,OAAO,EAAE,SAAS,QAAQ,KAAK,MAAM,CAAC,MAAM,SAAS;YACrD,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;YACxC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;YACjC,UAAU,EAAE,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAChD,QAAQ,EAAE,WAAW;SACtB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/llm-review.d.ts

@@ -0,0 +1,24 @@
+/**
+ * LLM Review — structured prompt builder and response parser.
+ *
+ * Builds a KERN IR prompt with short aliases (N1, N2, ...) for LLM review.
+ * Parses strict JSON schema responses, validates nodeIds, rejects unknowns.
+ *
+ * Phase 4 of the review pipeline.
+ */
+import type { InferResult, TemplateMatch, ReviewFinding } from './types.js';
+/**
+ * Export KERN IR with prompt aliases for AI review.
+ * v2: Includes nodeId aliases and handler bodies.
+ */
+export declare function exportKernIR(inferred: InferResult[], templateMatches: TemplateMatch[]): string;
+/**
+ * Build a structured prompt with short aliases for LLM code review.
+ * Handler bodies are included so the LLM can review actual logic.
+ */
+export declare function buildLLMPrompt(inferred: InferResult[], templateMatches: TemplateMatch[]): string;
+/**
+ * Parse strict JSON response from LLM, validate nodeIds, reject unknowns.
+ * Returns unified ReviewFinding[] mapped back to TS source spans.
+ */
+export declare function parseLLMResponse(response: string, inferred: InferResult[]): ReviewFinding[];