lsp-intelligence 0.2.1 → 0.3.2

package/dist/workflows/simulateChange.d.ts

@@ -0,0 +1,44 @@
+export interface SimulationResult {
+    recipe: string;
+    targetFile: string;
+    targetSymbol: string;
+    /** Human-readable description of the virtual edit */
+    editDescription: string;
+    /** Diff of the signature (original → new) */
+    signatureDiff: {
+        original: string;
+        modified: string;
+    };
+    /** Callers that would break */
+    breakingCallers: Array<{
+        filePath: string;
+        relativePath: string;
+        line: number;
+        issue: string;
+    }>;
+    /** Callers that remain compatible */
+    compatibleCallerCount: number;
+    /** API contract impact */
+    contractImpact: Array<{
+        name: string;
+        kind: string;
+        risk: string;
+        reason: string;
+    }>;
+    /** For enum changes: switches that become non-exhaustive */
+    exhaustivenessImpact: Array<{
+        filePath: string;
+        relativePath: string;
+        line: number;
+        missingMembers: string[];
+    }>;
+    /** Semantic diagnostics in the virtual program (errors from the overlay) */
+    diagnosticsDelta: {
+        newErrors: number;
+        sample: string[];
+    };
+    /** One-sentence verdict */
+    summary: string;
+    warnings: string[];
+}
+export declare const simulateChange: import("../tools/registry.js").ToolDef;

package/dist/workflows/simulateChange.js

@@ -0,0 +1,194 @@
+import { z } from 'zod';
+import * as path from 'path';
+import * as fs from 'fs';
+import { defineTool } from '../tools/registry.js';
+import { relativePath } from '../engine/positions.js';
+import { applyVirtualEdit } from '../analysis/ts/applyVirtualEdit.js';
+import { programManager } from '../analysis/ts/program/ProgramManager.js';
+import { CheckerQueries } from '../analysis/ts/program/CheckerQueries.js';
+import { analyzeCallSiteCompatibility } from '../analysis/ts/compatibility.js';
+import { findNonExhaustiveSwitches, predictAddedMemberImpact } from '../analysis/ts/exhaustiveness.js';
+import { diffExportSets } from '../analysis/ts/diffDeclarationShape.js';
+import { extractExports } from '../analysis/ts/extractExports.js';
+import { extractDeclarationShape } from '../analysis/ts/extractDeclarationShape.js';
+import { parseSourceContent } from '../analysis/ts/parseSourceFile.js';
+import { buildStaticSnapshotResolver } from '../session/SnapshotResolver.js';
+// ---------------------------------------------------------------------------
+// MCP tool definition
+// ---------------------------------------------------------------------------
+export const simulateChange = defineTool({
+    name: 'simulate_change',
+    description: 'Speculative change simulation (Phase 3B): predict what breaks if you apply a change WITHOUT touching disk. ' +
+        'Creates an in-memory overlay of the modified file, rebuilds the TypeScript program over it, and reports: ' +
+        'breaking callers, exhaustiveness impact, and API contract delta. ' +
+        'Currently supported recipes: add_required_param, add_optional_param, remove_param, add_enum_member, remove_enum_member.',
+    schema: z.object({
+        file_path: z.string().describe('File containing the symbol to change (absolute or workspace-relative)'),
+        recipe: z.enum([
+            'add_required_param',
+            'add_optional_param',
+            'remove_param',
+            'add_enum_member',
+            'remove_enum_member',
+        ]).describe('Kind of change to simulate'),
+        symbol: z.string().describe('Function name (for param recipes) or enum name (for enum recipes)'),
+        param_name: z.string().optional().describe('Parameter name (required for param recipes)'),
+        param_type: z.string().default('unknown').describe('Parameter type annotation (for add_param recipes)'),
+        member_name: z.string().optional().describe('Enum member name (required for enum recipes)'),
+        member_value: z.string().optional().describe('Enum member value (optional for add_enum_member)'),
+    }),
+    async handler(params, engine) {
+        const warnings = [];
+        // Resolve file path
+        const filePath = path.isAbsolute(params.file_path)
+            ? params.file_path
+            : path.join(engine.workspaceRoot, params.file_path);
+        if (!fs.existsSync(filePath)) {
+            return { summary: `File not found: ${params.file_path}`, warnings: [`File not found: ${filePath}`] };
+        }
+        // Build the recipe
+        const recipe = buildRecipe(params, filePath);
+        if (!recipe) {
+            return { summary: 'Could not build recipe — check param_name or member_name', warnings };
+        }
+        // Step 1: Apply the virtual edit
+        const source = fs.readFileSync(filePath, 'utf-8');
+        const editResult = applyVirtualEdit(source, filePath, recipe);
+        if (!editResult) {
+            return {
+                summary: `Could not apply recipe — symbol "${params.symbol}" not found in ${params.file_path}`,
+                warnings: [`Symbol "${params.symbol}" not found in ${filePath}`],
+            };
+        }
+        // Step 2: Build overlay program with the virtual edit
+        const resolver = buildStaticSnapshotResolver({ [filePath]: editResult.modifiedSource });
+        const overlayProgram = programManager.getOrBuild(engine.workspaceRoot, resolver);
+        const overlayQueries = new CheckerQueries(overlayProgram);
+        // Step 3: Analyze breaking callers (for param changes)
+        const breakingCallers = [];
+        let compatibleCallerCount = 0;
+        if (recipe.kind === 'add_required_param' || recipe.kind === 'add_optional_param' || recipe.kind === 'remove_param') {
+            const funcParams = overlayQueries.getFunctionParams(filePath, params.symbol);
+            if (funcParams) {
+                const required = funcParams.filter((p) => !p.optional && !p.rest).length;
+                const max = funcParams.length;
+                const report = analyzeCallSiteCompatibility(overlayProgram, filePath, params.symbol, required, max);
+                compatibleCallerCount = report.compatibleCallers.length;
+                for (const c of report.breakingCallers) {
+                    breakingCallers.push({
+                        filePath: c.filePath,
+                        relativePath: relativePath(c.filePath, engine.workspaceRoot),
+                        line: c.line,
+                        issue: c.issue ?? 'incompatible call',
+                    });
+                }
+            }
+        }
+        // Step 4: Exhaustiveness impact (for enum changes)
+        const exhaustivenessImpact = [];
+        if (recipe.kind === 'add_enum_member' && params.member_name) {
+            const impact = predictAddedMemberImpact(overlayProgram, filePath, params.symbol, params.member_name);
+            for (const s of impact.affectedSwitches) {
+                exhaustivenessImpact.push({
+                    filePath: s.filePath,
+                    relativePath: relativePath(s.filePath, engine.workspaceRoot),
+                    line: s.line,
+                    missingMembers: [s.missingMember],
+                });
+            }
+        }
+        if (recipe.kind === 'remove_enum_member') {
+            // After removal: find any switches that now reference the removed member (would produce TS2339)
+            const nonExhaustive = findNonExhaustiveSwitches(overlayProgram, filePath, params.symbol);
+            for (const s of nonExhaustive) {
+                exhaustivenessImpact.push({
+                    filePath: s.filePath,
+                    relativePath: relativePath(s.filePath, engine.workspaceRoot),
+                    line: s.line,
+                    missingMembers: s.missingMembers,
+                });
+            }
+        }
+        // Step 5: API contract delta — diff the overlay shape vs the current shape
+        const contractImpact = [];
+        try {
+            const baseSf = parseSourceContent(source, filePath);
+            const overlayContent = editResult.modifiedSource;
+            const overlaySf = parseSourceContent(overlayContent, filePath);
+            const baseShapes = extractExports(baseSf).map((e) => extractDeclarationShape(baseSf, e));
+            const overlayShapes = extractExports(overlaySf).map((e) => extractDeclarationShape(overlaySf, e));
+            const diffs = diffExportSets(baseShapes, overlayShapes);
+            for (const d of diffs) {
+                const reason = d.diffs.map((dd) => dd.reason).join('; ');
+                contractImpact.push({ name: d.name, kind: d.diffs[0]?.kind ?? d.status, risk: d.risk, reason });
+            }
+        }
+        catch (err) {
+            warnings.push(`Contract diff failed: ${err instanceof Error ? err.message : String(err)}`);
+        }
+        // Step 6: Semantic diagnostics delta
+        const diagnosticsDelta = { newErrors: 0, sample: [] };
+        try {
+            const diagnostics = overlayQueries.getSemanticDiagnostics(filePath);
+            diagnosticsDelta.newErrors = diagnostics.filter((d) => d.category === 1).length;
+            diagnosticsDelta.sample = diagnostics
+                .filter((d) => d.category === 1)
+                .slice(0, 3)
+                .map((d) => `TS${d.code}: ${typeof d.messageText === 'string' ? d.messageText : d.messageText.messageText}`);
+        }
+        catch {
+            // Diagnostics are best-effort
+        }
+        // Step 7: Build summary
+        const breakCount = breakingCallers.length;
+        const exhaustCount = exhaustivenessImpact.length;
+        const contractCount = contractImpact.filter((c) => c.risk === 'breaking' || c.risk === 'risky').length;
+        let summary;
+        if (breakCount === 0 && exhaustCount === 0 && contractCount === 0) {
+            summary = `Simulated "${recipe.kind}" on "${params.symbol}" — no breaking impact found.`;
+        }
+        else {
+            const parts = [];
+            if (breakCount > 0)
+                parts.push(`${breakCount} breaking caller(s)`);
+            if (exhaustCount > 0)
+                parts.push(`${exhaustCount} non-exhaustive switch(es)`);
+            if (contractCount > 0)
+                parts.push(`${contractCount} breaking contract change(s)`);
+            summary = `Simulated "${recipe.kind}" on "${params.symbol}" — would cause: ${parts.join(', ')}.`;
+        }
+        return {
+            recipe: recipe.kind,
+            targetFile: relativePath(filePath, engine.workspaceRoot),
+            targetSymbol: params.symbol,
+            editDescription: `${editResult.originalSignature} → ${editResult.newSignature}`,
+            signatureDiff: { original: editResult.originalSignature, modified: editResult.newSignature },
+            breakingCallers,
+            compatibleCallerCount,
+            contractImpact,
+            exhaustivenessImpact,
+            diagnosticsDelta,
+            summary,
+            warnings,
+        };
+    },
+});
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+function buildRecipe(params, filePath) {
+    switch (params.recipe) {
+        case 'add_required_param':
+        case 'add_optional_param':
+            return { kind: params.recipe, funcName: params.symbol, filePath, paramName: params.param_name ?? 'newParam', paramType: params.param_type ?? 'unknown' };
+        case 'remove_param':
+            return { kind: 'remove_param', funcName: params.symbol, filePath, paramName: params.param_name ?? '' };
+        case 'add_enum_member':
+            return { kind: 'add_enum_member', enumName: params.symbol, filePath, memberName: params.member_name ?? 'NewMember', memberValue: params.member_value };
+        case 'remove_enum_member':
+            return { kind: 'remove_enum_member', enumName: params.symbol, filePath, memberName: params.member_name ?? '' };
+        default:
+            return null;
+    }
+}
+//# sourceMappingURL=simulateChange.js.map

package/dist/workflows/simulateChange.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"simulateChange.js","sourceRoot":"","sources":["../../src/workflows/simulateChange.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oCAAoC,CAAC;AACtE,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACvG,OAAO,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAC;AACxE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,uBAAuB,EAAE,MAAM,2CAA2C,CAAC;AACpF,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,2BAA2B,EAAE,MAAM,gCAAgC,CAAC;AA8B7E,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAG,UAAU,CAAC;IACvC,IAAI,EAAE,iBAAiB;IACvB,WAAW,EACT,6GAA6G;QAC7G,2GAA2G;QAC3G,mEAAmE;QACnE,yHAAyH;IAC3H,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,uEAAuE,CAAC;QACvG,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC;YACb,oBAAoB;YACpB,oBAAoB;YACpB,cAAc;YACd,iBAAiB;YACjB,oBAAoB;SACrB,CAAC,CAAC,QAAQ,CAAC,4BAA4B,CAAC;QACzC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mEAAmE,CAAC;QAChG,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,6CAA6C,CAAC;QACzF,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,mDAAmD,CAAC;QACvG,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,8CAA8C,CAAC;QAC3F,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,kDAAkD,CAAC;KACjG,CAAC;IAEF,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM;QAC1B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,oBAAoB;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC;YAChD,CAAC,CAAC,MAAM,CAAC,SAAS;YAClB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAEtD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,EAAE,mBAAmB,MAAM,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,CAAC,mBAAmB,QAAQ,EAAE,CAAC,EAAE,CAAC;QACvG,CAAC;QAED,mBAAmB;QACnB,MAAM,MAAM,GAAiB,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,EAAE,OAAO,EAAE,0DAA0D,EAAE,QAAQ,EAAE,CAAC;QAC3F,CAAC;QAED,iCAAiC;QACjC,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO;gBACL,OAAO,EAAE,oCAAoC,MAAM,CAAC,MAAM,kBAAkB,MAAM,CAAC,SAAS,EAAE;gBAC9F,QAAQ,EAAE,CAAC,WAAW,MAAM,CAAC,MAAM,kBAAkB,QAAQ,EAAE,CAAC;aACjE,CAAC;QACJ,CAAC;QAED,sDAAsD;QACtD,MAAM,QAAQ,GAAG,2BAA2B,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC,CAAC;QACxF,MAAM,cAAc,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACjF,MAAM,cAAc,GAAG,IAAI,cAAc,CAAC,cAAc,CAAC,CAAC;QAE1D,uDAAuD;QACvD,MAAM,eAAe,GAAwC,EAAE,CAAC;QAChE,IAAI,qBAAqB,GAAG,CAAC,CAAC;QAE9B,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACnH,MAAM,UAAU,GAAG,cAAc,CAAC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YAC7E,IAAI,UAAU,EAAE,CAAC;gBACf,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC;gBACzE,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC;gBAC9B,MAAM,MAAM,GAAG,4BAA4B,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;gBACpG,qBAAqB,GAAG,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBACxD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;oBACvC,eAAe,CAAC,IAAI,CAAC;wBACnB,QAAQ,EAAE,CAAC,CAAC,QAAQ;wBACpB,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;wBAC5D,IAAI,EAAE,CAAC,CAAC,IAAI;wBACZ,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,mBAAmB;qBACtC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,mDAAmD;QACnD,MAAM,oBAAoB,GAA6C,EAAE,CAAC;QAE1E,IAAI,MAAM,CAAC,IAAI,KAAK,iBAAiB,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,wBAAwB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;YACrG,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;gBACxC,oBAAoB,CAAC,IAAI,CAAC;oBACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;oBAC5D,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,cAAc,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;iBAClC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACzC,gGAAgG;YAChG,MAAM,aAAa,GAAG,yBAAyB,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YACzF,KAAK,MAAM,CAAC,IAAI,aAAa,EAAE,CAAC;gBAC9B,oBAAoB,CAAC,IAAI,CAAC;oBACxB,QAAQ,EAAE,CAAC,CAAC,QAAQ;oBACpB,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;oBAC5D,IAAI,EAAE,CAAC,CAAC,IAAI;oBACZ,cAAc,EAAE,CAAC,CAAC,cAAc;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,2EAA2E;QAC3E,MAAM,cAAc,GAAuC,EAAE,CAAC;QAC9D,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACpD,MAAM,cAAc,GAAG,UAAU,CAAC,cAAc,CAAC;YACjD,MAAM,SAAS,GAAG,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;YAE/D,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,aAAa,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;YAClG,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAExD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzD,cAAc,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,QAAQ,CAAC,IAAI,CAAC,yBAAyB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7F,CAAC;QAED,qCAAqC;QACrC,MAAM,gBAAgB,GAAG,EAAE,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,EAAc,EAAE,CAAC;QAClE,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,cAAc,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YACpE,gBAAgB,CAAC,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;YAChF,gBAAgB,CAAC,MAAM,GAAG,WAAW;iBAClC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC;iBAC/B,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC;QACjH,CAAC;QAAC,MAAM,CAAC;YACP,8BAA8B;QAChC,CAAC;QAED,wBAAwB;QACxB,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC;QAC1C,MAAM,YAAY,GAAG,oBAAoB,CAAC,MAAM,CAAC;QACjD,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QAEvG,IAAI,OAAe,CAAC;QACpB,IAAI,UAAU,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,EAAE,CAAC;YAClE,OAAO,GAAG,cAAc,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,+BAA+B,CAAC;QAC3F,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,UAAU,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,qBAAqB,CAAC,CAAC;YACnE,IAAI,YAAY,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,4BAA4B,CAAC,CAAC;YAC9E,IAAI,aAAa,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,8BAA8B,CAAC,CAAC;YAClF,OAAO,GAAG,cAAc,MAAM,CAAC,IAAI,SAAS,MAAM,CAAC,MAAM,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnG,CAAC;QAED,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,UAAU,EAAE,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;YACxD,YAAY,EAAE,MAAM,CAAC,MAAM;YAC3B,eAAe,EAAE,GAAG,UAAU,CAAC,iBAAiB,MAAM,UAAU,CAAC,YAAY,EAAE;YAC/E,aAAa,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,iBAAiB,EAAE,QAAQ,EAAE,UAAU,CAAC,YAAY,EAAE;YAC5F,eAAe;YACf,qBAAqB;YACrB,cAAc;YACd,oBAAoB;YACpB,gBAAgB;YAChB,OAAO;YACP,QAAQ;SACkB,CAAC;IAC/B,CAAC;CACF,CAAC,CAAC;AAEH,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,WAAW,CAAC,MAAW,EAAE,QAAgB;IAChD,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB;YACvB,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,UAAU,IAAI,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;QAC3J,KAAK,cAAc;YACjB,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACzG,KAAK,iBAAiB;YACpB,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,WAAW,IAAI,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC;QACzJ,KAAK,oBAAoB;YACvB,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACjH;YACE,OAAO,IAAW,CAAC;IACvB,CAAC;AACH,CAAC"}

package/dist/workflows/verifyChangeSet.d.ts

@@ -0,0 +1,58 @@
+interface DiagnosticSummary {
+    filePath: string;
+    errorCount: number;
+    errors: Array<{
+        line: number;
+        message: string;
+        code?: string;
+    }>;
+}
+interface ApiSummary {
+    semver: string;
+    breaking: number;
+    risky: number;
+    safe: number;
+    entries: any[];
+}
+interface TestGap {
+    symbol: string;
+    filePath: string;
+    hasTests: boolean;
+}
+interface TypeRisks {
+    /** Switches that are no longer exhaustive due to changed enums */
+    nonExhaustiveSwitches: Array<{
+        filePath: string;
+        line: number;
+        missingMembers: string[];
+        enumName: string;
+    }>;
+    /** Exports whose type changed in a potentially incompatible way */
+    signatureChanges: Array<{
+        symbol: string;
+        filePath: string;
+        changeKind: string;
+    }>;
+}
+export interface VerifyResult {
+    base: string | undefined;
+    changedFiles: string[];
+    diagnostics: DiagnosticSummary[];
+    totalErrors: number;
+    api: ApiSummary | null;
+    testGaps: TestGap[];
+    /** Phase 3A: type-state risks found in changed files */
+    typeRisks: TypeRisks;
+    /** Phase 3A: shell commands the developer should run next */
+    suggestedCommands: string[];
+    /** Phase 3A: ordered list of what to check or fix */
+    nextSteps: string[];
+    /** Phase 3A: clear verdict */
+    verdict: 'safe' | 'needs-attention' | 'has-errors';
+    /** Phase 3A: one sentence explaining the verdict */
+    verdictReason: string;
+    warnings: string[];
+    elapsedMs: number;
+}
+export declare const verifyChangeSet: import("../tools/registry.js").ToolDef;
+export {};

package/dist/workflows/verifyChangeSet.js

@@ -0,0 +1,300 @@
+import { z } from 'zod';
+import { defineTool } from '../tools/registry.js';
+import { getMergeBase } from '../git/getMergeBase.js';
+import { getChangedFiles } from '../git/getChangedFiles.js';
+import { apiGuard } from '../tools/composites/apiGuard.js';
+import { findTestFiles } from '../tools/composites/findTestFiles.js';
+import { pathToUri, relativePath } from '../engine/positions.js';
+import { waitForDiagnostics } from '../engine/waitForDiagnostics.js';
+import { programManager } from '../analysis/ts/program/ProgramManager.js';
+import { CheckerQueries } from '../analysis/ts/program/CheckerQueries.js';
+import { findNonExhaustiveSwitches } from '../analysis/ts/exhaustiveness.js';
+import * as fs from 'fs';
+import { parseSourceContent } from '../analysis/ts/parseSourceFile.js';
+import { extractExports } from '../analysis/ts/extractExports.js';
+import { getBaseFileContent } from '../git/getBaseFileContent.js';
+// ---------------------------------------------------------------------------
+// Tool
+// ---------------------------------------------------------------------------
+export const verifyChangeSet = defineTool({
+    name: 'verify_changes',
+    description: 'Full pre-merge verification: diagnostics on changed files, API contract check, type-state risks (exhaustiveness, compatibility), test coverage gaps. ' +
+        'Returns a structured verdict with specific next steps and suggested commands.',
+    schema: z.object({
+        base: z.string().optional().describe('Git base branch (auto-detected if omitted)'),
+        paths: z.array(z.string()).optional().describe('Limit to specific paths'),
+    }),
+    async handler(params, engine) {
+        const startTime = Date.now();
+        const warnings = [];
+        // Step 1: Determine changed files
+        const base = engine.gitAvailable ? getMergeBase(engine.workspaceRoot, params.base) : undefined;
+        if (!base) {
+            return earlyReturn(startTime, { verdict: 'needs-attention', verdictReason: 'Git not available — run with base branch or from a git repository', warnings: ['Could not determine git base'] });
+        }
+        let changedFiles = getChangedFiles(engine.workspaceRoot, base);
+        if (params.paths?.length) {
+            changedFiles = changedFiles.filter((f) => params.paths.some((p) => f.includes(p)));
+        }
+        if (changedFiles.length === 0) {
+            return earlyReturn(startTime, { verdict: 'safe', verdictReason: 'No changed files — nothing to verify', warnings: ['No changed files found'] });
+        }
+        // Step 2: Diagnostics on changed files (using cached diagnostics from LSP push)
+        const diagnostics = [];
+        let totalErrors = 0;
+        for (const filePath of changedFiles) {
+            try {
+                const uri = pathToUri(filePath);
+                await engine.prepareFile(filePath);
+                await waitForDiagnostics(engine.docManager, uri, 1500);
+                const fileDiags = engine.docManager.getCachedDiagnostics(uri);
+                const errors = fileDiags
+                    .filter((d) => d.severity === 1)
+                    .map((d) => ({
+                    line: (d.range?.start?.line ?? 0) + 1,
+                    message: d.message ?? 'Unknown error',
+                    code: d.code != null ? `TS${d.code}` : undefined,
+                }));
+                if (errors.length > 0) {
+                    diagnostics.push({ filePath: relativePath(filePath, engine.workspaceRoot), errorCount: errors.length, errors });
+                    totalErrors += errors.length;
+                }
+            }
+            catch {
+                // Skip files that can't be diagnosed
+            }
+        }
+        // Step 3: API contract guard
+        let api = null;
+        const hasExportFiles = changedFiles.some((f) => /\.(ts|tsx|js|jsx)$/.test(f));
+        if (hasExportFiles) {
+            try {
+                const guardResult = await apiGuard.handler({ scope: 'changed', base: params.base }, engine);
+                api = {
+                    semver: guardResult.summary?.recommendedSemver ?? 'patch',
+                    breaking: guardResult.summary?.breaking ?? 0,
+                    risky: guardResult.summary?.risky ?? 0,
+                    safe: guardResult.summary?.safe ?? 0,
+                    entries: guardResult.entries ?? [],
+                };
+            }
+            catch (err) {
+                warnings.push(`api_guard failed: ${err?.message ?? 'unknown'}`);
+            }
+        }
+        // Step 4: Phase 3A — Type-state risks via Phase 2D (exhaustiveness + compatibility)
+        const typeRisks = { nonExhaustiveSwitches: [], signatureChanges: [] };
+        try {
+            const tsProgram = programManager.getOrBuild(engine.workspaceRoot);
+            const queries = new CheckerQueries(tsProgram);
+            for (const filePath of changedFiles) {
+                try {
+                    const baseContent = getBaseFileContent(filePath, base, engine.workspaceRoot);
+                    if (!baseContent)
+                        continue;
+                    const currentContent = fs.readFileSync(filePath, 'utf-8');
+                    const baseSf = parseSourceContent(baseContent, filePath);
+                    const currentSf = parseSourceContent(currentContent, filePath);
+                    const baseExports = extractExports(baseSf);
+                    const currentExports = extractExports(currentSf);
+                    // Find changed enums and check exhaustiveness impact
+                    const baseEnums = new Map(baseExports.filter(e => e.kind === 'enum').map(e => [e.name, e]));
+                    const currentEnums = new Map(currentExports.filter(e => e.kind === 'enum').map(e => [e.name, e]));
+                    for (const [enumName] of currentEnums) {
+                        if (baseEnums.has(enumName)) {
+                            // Enum existed before — check if members changed
+                            const baseMembers = queries.getEnumMembers(filePath, enumName) ?? [];
+                            // Members in current version (use AST directly)
+                            const currentSfEnum = currentSf.statements.find((s) => s.kind !== undefined &&
+                                s.name?.text === enumName &&
+                                s.members !== undefined);
+                            if (currentSfEnum) {
+                                // Use addedMemberImpact for each new member to find affected switches
+                                const nonExhaustive = findNonExhaustiveSwitches(tsProgram, filePath, enumName);
+                                for (const sw of nonExhaustive) {
+                                    typeRisks.nonExhaustiveSwitches.push({
+                                        filePath: relativePath(sw.filePath, engine.workspaceRoot),
+                                        line: sw.line,
+                                        missingMembers: sw.missingMembers,
+                                        enumName,
+                                    });
+                                }
+                            }
+                        }
+                    }
+                    // Collect signature changes from api entries if available
+                    if (api) {
+                        for (const entry of api.entries) {
+                            if (entry.risk !== 'safe' && (entry.kind === 'param_required' || entry.kind === 'return_type_changed' || entry.kind === 'param_removed')) {
+                                typeRisks.signatureChanges.push({
+                                    symbol: entry.exportName,
+                                    filePath: relativePath(entry.filePath, engine.workspaceRoot),
+                                    changeKind: entry.kind,
+                                });
+                            }
+                        }
+                    }
+                }
+                catch {
+                    // Best-effort per file
+                }
+            }
+        }
+        catch (err) {
+            warnings.push(`Type-risk analysis failed: ${err?.message ?? 'unknown'}`);
+        }
+        // Step 5: Test coverage gaps for high-risk changed symbols
+        const testGaps = [];
+        if (api?.entries) {
+            const breaking = api.entries.filter((e) => e.risk === 'breaking').slice(0, 5);
+            for (const entry of breaking) {
+                try {
+                    const testResult = await findTestFiles.handler({ symbol: entry.exportName }, engine);
+                    const hasTests = !testResult.includes('No test files') && !testResult.includes('No references');
+                    testGaps.push({ symbol: entry.exportName, filePath: entry.filePath, hasTests });
+                }
+                catch {
+                    testGaps.push({ symbol: entry.exportName, filePath: entry.filePath, hasTests: false });
+                }
+            }
+        }
+        // Step 6: Phase 3A — Build verdict, next steps, and suggested commands
+        const { verdict, verdictReason, nextSteps, suggestedCommands } = buildVerdict({
+            totalErrors,
+            api,
+            typeRisks,
+            testGaps,
+            changedFiles: changedFiles.map((f) => relativePath(f, engine.workspaceRoot)),
+            workspaceRoot: engine.workspaceRoot,
+        });
+        return {
+            base,
+            changedFiles: changedFiles.map((f) => relativePath(f, engine.workspaceRoot)),
+            diagnostics,
+            totalErrors,
+            api,
+            testGaps,
+            typeRisks,
+            suggestedCommands,
+            nextSteps,
+            verdict,
+            verdictReason,
+            warnings,
+            elapsedMs: Date.now() - startTime,
+        };
+    },
+});
+function buildVerdict(input) {
+    const { totalErrors, api, typeRisks, testGaps, changedFiles } = input;
+    const nextSteps = [];
+    const suggestedCommands = [];
+    // Hard errors first
+    if (totalErrors > 0) {
+        nextSteps.push(`Fix ${totalErrors} TypeScript error(s) in changed files before merging`);
+        suggestedCommands.push('npx tsc --noEmit');
+        for (const entry of (api?.entries ?? []).filter((e) => e.risk === 'breaking').slice(0, 3)) {
+            for (const step of (entry.migrationSteps ?? []))
+                nextSteps.push(step);
+        }
+        return {
+            verdict: 'has-errors',
+            verdictReason: `${totalErrors} TypeScript error(s) found in changed files`,
+            nextSteps,
+            suggestedCommands,
+        };
+    }
+    // Breaking API changes
+    const breaking = api?.breaking ?? 0;
+    const switchIssues = typeRisks.nonExhaustiveSwitches.length;
+    const sigChanges = typeRisks.signatureChanges.length;
+    if (breaking > 0 || switchIssues > 0 || sigChanges > 0) {
+        if (breaking > 0) {
+            nextSteps.push(`${breaking} breaking API change(s) — update consumers before merging`);
+            for (const entry of (api?.entries ?? []).filter((e) => e.risk === 'breaking').slice(0, 3)) {
+                for (const step of (entry.migrationSteps ?? []))
+                    nextSteps.push(step);
+                if (entry.filesToInspect?.length) {
+                    suggestedCommands.push(`# Check consumers of ${entry.exportName}:`);
+                    suggestedCommands.push(`grep -r '${entry.exportName}' --include='*.ts' src/`);
+                }
+            }
+        }
+        if (switchIssues > 0) {
+            nextSteps.push(`${switchIssues} non-exhaustive switch statement(s) — add cases for new enum members`);
+            const affected = [...new Set(typeRisks.nonExhaustiveSwitches.map(s => s.filePath))].slice(0, 2);
+            suggestedCommands.push(`# Fix exhaustiveness in: ${affected.join(', ')}`);
+        }
+        if (sigChanges > 0) {
+            nextSteps.push(`${sigChanges} signature change(s) — verify all callers pass the correct arguments`);
+            for (const sc of typeRisks.signatureChanges.slice(0, 3)) {
+                suggestedCommands.push(`grep -r '${sc.symbol}(' --include='*.ts' src/`);
+            }
+        }
+        // Test gaps
+        const untested = testGaps.filter((g) => !g.hasTests);
+        if (untested.length > 0) {
+            nextSteps.push(`${untested.length} breaking export(s) lack test coverage`);
+        }
+        const reasons = [];
+        if (breaking > 0)
+            reasons.push(`${breaking} breaking API change(s)`);
+        if (switchIssues > 0)
+            reasons.push(`${switchIssues} exhaustiveness issue(s)`);
+        if (sigChanges > 0)
+            reasons.push(`${sigChanges} signature change(s)`);
+        return {
+            verdict: 'needs-attention',
+            verdictReason: reasons.join(', '),
+            nextSteps,
+            suggestedCommands,
+        };
+    }
+    // Risky-only changes
+    const risky = api?.risky ?? 0;
+    if (risky > 0) {
+        nextSteps.push(`${risky} risky (non-breaking) API change(s) — review before release`);
+        if (api?.semver === 'minor') {
+            nextSteps.push('Bump the minor version when releasing (new functionality added)');
+        }
+        return {
+            verdict: 'needs-attention',
+            verdictReason: `${risky} risky change(s) — recommend review before release`,
+            nextSteps,
+            suggestedCommands,
+        };
+    }
+    // Safe
+    nextSteps.push('All checks passed — safe to merge');
+    if (changedFiles.length > 0) {
+        const ext = changedFiles[0].endsWith('.ts') ? 'ts' : 'js';
+        suggestedCommands.push('npm test');
+    }
+    return {
+        verdict: 'safe',
+        verdictReason: 'No errors, no breaking changes, no type risks detected',
+        nextSteps,
+        suggestedCommands,
+    };
+}
+// ---------------------------------------------------------------------------
+// Early return helper
+// ---------------------------------------------------------------------------
+function earlyReturn(startTime, overrides) {
+    return {
+        base: undefined,
+        changedFiles: [],
+        diagnostics: [],
+        totalErrors: 0,
+        api: null,
+        testGaps: [],
+        typeRisks: { nonExhaustiveSwitches: [], signatureChanges: [] },
+        suggestedCommands: [],
+        nextSteps: [],
+        verdict: 'safe',
+        verdictReason: '',
+        warnings: [],
+        elapsedMs: Date.now() - startTime,
+        ...overrides,
+    };
+}
+//# sourceMappingURL=verifyChangeSet.js.map

package/dist/workflows/verifyChangeSet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifyChangeSet.js","sourceRoot":"","sources":["../../src/workflows/verifyChangeSet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AACrE,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC1E,OAAO,EAAE,yBAAyB,EAA4B,MAAM,kCAAkC,CAAC;AACvG,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAsDlE,8EAA8E;AAC9E,OAAO;AACP,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;IACxC,IAAI,EAAE,gBAAgB;IACtB,WAAW,EACT,uJAAuJ;QACvJ,+EAA+E;IACjF,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,4CAA4C,CAAC;QAClF,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,yBAAyB,CAAC;KAC1E,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM;QAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,kCAAkC;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/F,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,WAAW,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,mEAAmE,EAAE,QAAQ,EAAE,CAAC,8BAA8B,CAAC,EAAE,CAAC,CAAC;QAChM,CAAC;QAED,IAAI,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;YACzB,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,CAAC;QAED,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,WAAW,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,sCAAsC,EAAE,QAAQ,EAAE,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC;QAClJ,CAAC;QAED,gFAAgF;QAChF,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,IAAI,WAAW,GAAG,CAAC,CAAC;QAEpB,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAChC,MAAM,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;gBACnC,MAAM,kBAAkB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBACvD,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;gBAE9D,MAAM,MAAM,GAAG,SAAS;qBACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC;qBAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC;oBACrC,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,eAAe;oBACrC,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS;iBACjD,CAAC,CAAC,CAAC;gBAEN,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtB,WAAW,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;oBAChH,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC;gBAC/B,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,qCAAqC;YACvC,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,IAAI,GAAG,GAAsB,IAAI,CAAC;QAClC,MAAM,cAAc,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAE9E,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAQ,CAAC;gBACnG,GAAG,GAAG;oBACJ,MAAM,EAAE,WAAW,CAAC,OAAO,EAAE,iBAAiB,IAAI,OAAO;oBACzD,QAAQ,EAAE,WAAW,CAAC,OAAO,EAAE,QAAQ,IAAI,CAAC;oBAC5C,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,KAAK,IAAI,CAAC;oBACtC,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC;oBACpC,OAAO,EAAE,WAAW,CAAC,OAAO,IAAI,EAAE;iBACnC,CAAC;YACJ,CAAC;YAAC,OAAO,GAAQ,EAAE,CAAC;gBAClB,QAAQ,CAAC,IAAI,CAAC,qBAAqB,GAAG,EAAE,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,oFAAoF;QACpF,MAAM,SAAS,GAAc,EAAE,qBAAqB,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,CAAC;QACjF,IAAI,CAAC;YACH,MAAM,SAAS,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,SAAS,CAAC,CAAC;YAE9C,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;gBACpC,IAAI,CAAC;oBACH,MAAM,WAAW,GAAG,kBAAkB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;oBAC7E,IAAI,CAAC,WAAW;wBAAE,SAAS;oBAE3B,MAAM,cAAc,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBAC1D,MAAM,MAAM,GAAG,kBAAkB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;oBACzD,MAAM,SAAS,GAAG,kBAAkB,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;oBAE/D,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBAC3C,MAAM,cAAc,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC;oBAEjD,qDAAqD;oBACrD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC5F,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;oBAElG,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,YAAY,EAAE,CAAC;wBACtC,IAAI,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;4BAC5B,iDAAiD;4BACjD,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;4BACrE,gDAAgD;4BAChD,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CACzD,CAAC,CAAC,IAAI,KAAK,SAAS;gCACpB,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ;gCACzB,CAAC,CAAC,OAAO,KAAK,SAAS,CACxB,CAAC;4BACF,IAAI,aAAa,EAAE,CAAC;gCAClB,sEAAsE;gCACtE,MAAM,aAAa,GAAG,yBAAyB,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;gCAC/E,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;oCAC/B,SAAS,CAAC,qBAAqB,CAAC,IAAI,CAAC;wCACnC,QAAQ,EAAE,YAAY,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;wCACzD,IAAI,EAAE,EAAE,CAAC,IAAI;wCACb,cAAc,EAAE,EAAE,CAAC,cAAc;wCACjC,QAAQ;qCACT,CAAC,CAAC;gCACL,CAAC;4BACH,CAAC;wBACH,CAAC;oBACH,CAAC;oBAED,0DAA0D;oBAC1D,IAAI,GAAG,EAAE,CAAC;wBACR,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;4BAChC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,IAAI,KAAK,qBAAqB,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;gCACzI,SAAS,CAAC,gBAAgB,CAAC,IAAI,CAAC;oCAC9B,MAAM,EAAE,KAAK,CAAC,UAAU;oCACxB,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC;oCAC5D,UAAU,EAAE,KAAK,CAAC,IAAI;iCACvB,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAAC,MAAM,CAAC;oBACP,uBAAuB;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,8BAA8B,GAAG,EAAE,OAAO,IAAI,SAAS,EAAE,CAAC,CAAC;QAC3E,CAAC;QAED,2DAA2D;QAC3D,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,EAAE,OAAO,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnF,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,IAAI,CAAC;oBACH,MAAM,UAAU,GAAG,MAAM,aAAa,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,MAAM,CAAW,CAAC;oBAC/F,MAAM,QAAQ,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;oBAChG,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAClF,CAAC;gBAAC,MAAM,CAAC;oBACP,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;QACH,CAAC;QAED,uEAAuE;QACvE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,iBAAiB,EAAE,GAAG,YAAY,CAAC;YAC5E,WAAW;YACX,GAAG;YACH,SAAS;YACT,QAAQ;YACR,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;YAC5E,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;YAC5E,WAAW;YACX,WAAW;YACX,GAAG;YACH,QAAQ;YACR,SAAS;YACT,iBAAiB;YACjB,SAAS;YACT,OAAO;YACP,aAAa;YACb,QAAQ;YACR,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACX,CAAC;IAC3B,CAAC;CACF,CAAC,CAAC;AAeH,SAAS,YAAY,CAAC,KAAmB;IAMvC,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;IACtE,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,oBAAoB;IACpB,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACpB,SAAS,CAAC,IAAI,CAAC,OAAO,WAAW,sDAAsD,CAAC,CAAC;QACzF,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC3C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC/F,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;QACD,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,aAAa,EAAE,GAAG,WAAW,6CAA6C;YAC1E,SAAS;YACT,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,uBAAuB;IACvB,MAAM,QAAQ,GAAG,GAAG,EAAE,QAAQ,IAAI,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,SAAS,CAAC,qBAAqB,CAAC,MAAM,CAAC;IAC5D,MAAM,UAAU,GAAG,SAAS,CAAC,gBAAgB,CAAC,MAAM,CAAC;IAErD,IAAI,QAAQ,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACvD,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,2DAA2D,CAAC,CAAC;YACvF,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAC/F,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;oBAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtE,IAAI,KAAK,CAAC,cAAc,EAAE,MAAM,EAAE,CAAC;oBACjC,iBAAiB,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;oBACpE,iBAAiB,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,UAAU,yBAAyB,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC,GAAG,YAAY,sEAAsE,CAAC,CAAC;YACtG,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChG,iBAAiB,CAAC,IAAI,CAAC,4BAA4B,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,SAAS,CAAC,IAAI,CAAC,GAAG,UAAU,sEAAsE,CAAC,CAAC;YACpG,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACxD,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,0BAA0B,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;QAED,YAAY;QACZ,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,wCAAwC,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,QAAQ,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,yBAAyB,CAAC,CAAC;QACrE,IAAI,YAAY,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,0BAA0B,CAAC,CAAC;QAC9E,IAAI,UAAU,GAAG,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,UAAU,sBAAsB,CAAC,CAAC;QAEtE,OAAO;YACL,OAAO,EAAE,iBAAiB;YAC1B,aAAa,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACjC,SAAS;YACT,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,MAAM,KAAK,GAAG,GAAG,EAAE,KAAK,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,SAAS,CAAC,IAAI,CAAC,GAAG,KAAK,6DAA6D,CAAC,CAAC;QACtF,IAAI,GAAG,EAAE,MAAM,KAAK,OAAO,EAAE,CAAC;YAC5B,SAAS,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;QACpF,CAAC;QACD,OAAO;YACL,OAAO,EAAE,iBAAiB;YAC1B,aAAa,EAAE,GAAG,KAAK,oDAAoD;YAC3E,SAAS;YACT,iBAAiB;SAClB,CAAC;IACJ,CAAC;IAED,OAAO;IACP,SAAS,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACpD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC1D,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,OAAO;QACL,OAAO,EAAE,MAAM;QACf,aAAa,EAAE,wDAAwD;QACvE,SAAS;QACT,iBAAiB;KAClB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAE9E,SAAS,WAAW,CAAC,SAAiB,EAAE,SAAgC;IACtE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,EAAE;QAChB,WAAW,EAAE,EAAE;QACf,WAAW,EAAE,CAAC;QACd,GAAG,EAAE,IAAI;QACT,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,EAAE,qBAAqB,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;QAC9D,iBAAiB,EAAE,EAAE;QACrB,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,MAAM;QACf,aAAa,EAAE,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;QACjC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC"}