lsp-intelligence 0.2.1 → 0.3.2

package/dist/analysis/ts/program/CheckerQueries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CheckerQueries.js","sourceRoot":"","sources":["../../../../src/analysis/ts/program/CheckerQueries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;;;;;;;GAQG;AACH,MAAM,OAAO,cAAc;IAGI;IAFrB,OAAO,CAAiB;IAEhC,YAA6B,OAAmB;QAAnB,YAAO,GAAP,OAAO,CAAY;QAC9C,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAC1C,CAAC;IAED,8EAA8E;IAC9E,eAAe;IACf,8EAA8E;IAE9E;;;OAGG;IACH,cAAc,CAAC,QAAgB,EAAE,QAAgB;QAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,QAAwC,CAAC;QAC7C,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC9D,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,OAAO,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAC3D,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,uBAAuB,CAAC,QAAgB,EAAE,YAAoB,EAAE,QAAgB;QAK9E,MAAM,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAE7B,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC;oBAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,wDAAwD;wBACxD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;4BACrD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;4BAC/C,IAAI,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gCACpC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;4BAC1B,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QAEV,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;IAChF,CAAC;IAED,8EAA8E;IAC9E,0BAA0B;IAC1B,8EAA8E;IAE9E;;;OAGG;IACH,qBAAqB,CAAC,QAAgB,EAAE,UAAkB;QACxD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,MAAM;gBAAE,OAAO;YACnB,wBAAwB;YACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/F,OAAO;YACT,CAAC;YACD,wBAAwB;YACxB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,yBAAyB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC/F,OAAO;YACT,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAgB,EAAE,QAAgB;QAMlD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,QAAuF,CAAC;QAC5F,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,QAAQ;gBAAE,OAAO;YACrB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnE,QAAQ,GAAG,IAAI,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChG,IAAI,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;oBAC5G,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC;oBAC5B,OAAO;gBACT,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC;QAE3B,OAAO,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAChE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACpG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc;SACzB,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,QAAgB,EAAE,QAAgB;QAC9C,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,IAAI,CAAC;QAErB,IAAI,MAAM,GAAkB,IAAI,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,EAAE;YAC9B,IAAI,MAAM;gBAAE,OAAO;YACnB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;gBAC3D,IAAI,GAAG;oBAAE,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;gBACjE,OAAO;YACT,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC,CAAC;QACF,KAAK,CAAC,EAAE,CAAC,CAAC;QACV,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,8EAA8E;IAC9E,cAAc;IACd,8EAA8E;IAE9E;;;OAGG;IACH,sBAAsB,CAAC,QAAgB;QACrC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,EAAE;YAAE,OAAO,EAAE,CAAC;QACnB,IAAI,CAAC;YACH,OAAO,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;aACjC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACxE,CAAC;CACF"}

package/dist/analysis/ts/program/ProgramManager.d.ts

@@ -0,0 +1,27 @@
+import ts from 'typescript';
+import type { SnapshotResolver } from '../../../session/SnapshotResolver.js';
+/**
+ * Manages a cached TypeScript Program for semantic queries.
+ *
+ * This is NOT a replacement for the LSP server — it's a focused semantic
+ * accelerator for questions that AST analysis alone cannot answer reliably:
+ * enum member enumeration, type compatibility, exhaustiveness, param signatures.
+ *
+ * Integrates with the Phase 2A SnapshotResolver so the program operates on
+ * live (unsaved) buffer content when overlays are present.
+ */
+export declare class ProgramManager {
+    private cache;
+    /**
+     * Get or build a TypeScript Program for a workspace root.
+     *
+     * @param workspaceRoot - Absolute path to the workspace root.
+     * @param resolver - Optional Phase 2A snapshot resolver for overlay awareness.
+     *   Different resolver states produce separate cached programs — overlay and
+     *   disk programs never share a cache entry.
+     */
+    getOrBuild(workspaceRoot: string, resolver?: SnapshotResolver): ts.Program;
+    /** Invalidate all cached programs for a workspace root. */
+    invalidate(workspaceRoot: string): void;
+}
+export declare const programManager: ProgramManager;

package/dist/analysis/ts/program/ProgramManager.js

@@ -0,0 +1,147 @@
+import ts from 'typescript';
+import * as fs from 'fs';
+import * as path from 'path';
+import * as crypto from 'crypto';
+/**
+ * Manages a cached TypeScript Program for semantic queries.
+ *
+ * This is NOT a replacement for the LSP server — it's a focused semantic
+ * accelerator for questions that AST analysis alone cannot answer reliably:
+ * enum member enumeration, type compatibility, exhaustiveness, param signatures.
+ *
+ * Integrates with the Phase 2A SnapshotResolver so the program operates on
+ * live (unsaved) buffer content when overlays are present.
+ */
+export class ProgramManager {
+    // Keyed by full cache key (workspaceRoot + tsconfig hash + dirty files signature)
+    // so different overlay states produce independent program instances.
+    cache = new Map();
+    /**
+     * Get or build a TypeScript Program for a workspace root.
+     *
+     * @param workspaceRoot - Absolute path to the workspace root.
+     * @param resolver - Optional Phase 2A snapshot resolver for overlay awareness.
+     *   Different resolver states produce separate cached programs — overlay and
+     *   disk programs never share a cache entry.
+     */
+    getOrBuild(workspaceRoot, resolver) {
+        const cacheKey = buildCacheKey(workspaceRoot, resolver);
+        const cached = this.cache.get(cacheKey);
+        if (cached)
+            return cached;
+        const program = buildProgram(workspaceRoot, resolver);
+        this.cache.set(cacheKey, program);
+        return program;
+    }
+    /** Invalidate all cached programs for a workspace root. */
+    invalidate(workspaceRoot) {
+        for (const key of this.cache.keys()) {
+            if (key.startsWith(workspaceRoot + ':'))
+                this.cache.delete(key);
+        }
+    }
+}
+// Module-level singleton — one manager per process.
+export const programManager = new ProgramManager();
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function buildCacheKey(workspaceRoot, resolver) {
+    const tsConfigPath = findTsConfig(workspaceRoot);
+    const tsConfigHash = tsConfigPath ? hashFile(tsConfigPath) : 'no-tsconfig';
+    const dirtyKey = resolver ? resolver.getDirtyFiles().sort().join('|') : '';
+    return `${workspaceRoot}:${tsConfigHash}:${dirtyKey}`;
+}
+function buildProgram(workspaceRoot, resolver) {
+    const tsConfigPath = findTsConfig(workspaceRoot);
+    let compilerOptions = {
+        target: ts.ScriptTarget.ES2020,
+        module: ts.ModuleKind.CommonJS,
+        strict: false,
+        noEmit: true,
+        allowJs: true,
+        skipLibCheck: true,
+        skipDefaultLibCheck: true,
+    };
+    let rootNames = [];
+    if (tsConfigPath) {
+        try {
+            const { config, error } = ts.readConfigFile(tsConfigPath, ts.sys.readFile);
+            if (!error) {
+                const parsed = ts.parseJsonConfigFileContent(config, ts.sys, path.dirname(tsConfigPath), {}, tsConfigPath);
+                compilerOptions = { ...parsed.options, noEmit: true, skipLibCheck: true, skipDefaultLibCheck: true };
+                rootNames = parsed.fileNames;
+            }
+        }
+        catch {
+            // Fall back to defaults
+        }
+    }
+    // If no files from tsconfig, collect manually
+    if (rootNames.length === 0) {
+        rootNames = collectTsFiles(workspaceRoot);
+    }
+    const host = createSnapshotHost(compilerOptions, resolver);
+    return ts.createProgram(rootNames, compilerOptions, host);
+}
+/**
+ * Create a CompilerHost that respects the SnapshotResolver for overlay content.
+ */
+function createSnapshotHost(options, resolver) {
+    const defaultHost = ts.createCompilerHost(options);
+    return {
+        ...defaultHost,
+        getSourceFile(fileName, languageVersion, onError, shouldCreateNewSourceFile) {
+            // Use overlay text if available (Phase 2A integration)
+            const overlayText = resolver?.getText(path.normalize(fileName));
+            if (overlayText !== undefined) {
+                return ts.createSourceFile(fileName, overlayText, languageVersion, true);
+            }
+            return defaultHost.getSourceFile(fileName, languageVersion, onError, shouldCreateNewSourceFile);
+        },
+        fileExists(fileName) {
+            // Overlay files exist even if not on disk
+            if (resolver?.hasOverlay(path.normalize(fileName)))
+                return true;
+            return defaultHost.fileExists(fileName);
+        },
+        readFile(fileName) {
+            const overlayText = resolver?.getText(path.normalize(fileName));
+            if (overlayText !== undefined)
+                return overlayText;
+            return defaultHost.readFile(fileName);
+        },
+    };
+}
+function findTsConfig(workspaceRoot) {
+    return ts.findConfigFile(workspaceRoot, ts.sys.fileExists, 'tsconfig.json') ?? undefined;
+}
+function collectTsFiles(dir, depth = 0) {
+    if (depth > 6)
+        return [];
+    const files = [];
+    try {
+        for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
+            if (entry.isDirectory()) {
+                const skip = ['node_modules', 'dist', 'build', '.git', 'coverage'];
+                if (entry.name.startsWith('.') || skip.includes(entry.name))
+                    continue;
+                files.push(...collectTsFiles(path.join(dir, entry.name), depth + 1));
+            }
+            else if (/\.(ts|tsx)$/.test(entry.name) && !entry.name.endsWith('.d.ts')) {
+                files.push(path.join(dir, entry.name));
+            }
+        }
+    }
+    catch { }
+    return files;
+}
+function hashFile(filePath) {
+    try {
+        return crypto.createHash('sha1').update(fs.readFileSync(filePath)).digest('hex').slice(0, 8);
+    }
+    catch {
+        return 'unreadable';
+    }
+}
+//# sourceMappingURL=ProgramManager.js.map

package/dist/analysis/ts/program/ProgramManager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProgramManager.js","sourceRoot":"","sources":["../../../../src/analysis/ts/program/ProgramManager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,MAAM,MAAM,QAAQ,CAAC;AAGjC;;;;;;;;;GASG;AACH,MAAM,OAAO,cAAc;IACzB,kFAAkF;IAClF,qEAAqE;IAC7D,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAE9C;;;;;;;OAOG;IACH,UAAU,CAAC,aAAqB,EAAE,QAA2B;QAC3D,MAAM,QAAQ,GAAG,aAAa,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAE1B,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,2DAA2D;IAC3D,UAAU,CAAC,aAAqB;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,GAAG,CAAC,UAAU,CAAC,aAAa,GAAG,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;CACF;AAED,oDAAoD;AACpD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;AAEnD,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,aAAa,CAAC,aAAqB,EAAE,QAA2B;IACvE,MAAM,YAAY,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IAC3E,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,OAAO,GAAG,aAAa,IAAI,YAAY,IAAI,QAAQ,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,YAAY,CAAC,aAAqB,EAAE,QAA2B;IACtE,MAAM,YAAY,GAAG,YAAY,CAAC,aAAa,CAAC,CAAC;IACjD,IAAI,eAAe,GAAuB;QACxC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,IAAI;QACb,YAAY,EAAE,IAAI;QAClB,mBAAmB,EAAE,IAAI;KAC1B,CAAC;IACF,IAAI,SAAS,GAAa,EAAE,CAAC;IAE7B,IAAI,YAAY,EAAE,CAAC;QACjB,IAAI,CAAC;YACH,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3E,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,MAAM,EACN,EAAE,CAAC,GAAG,EACN,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAC1B,EAAE,EACF,YAAY,CACb,CAAC;gBACF,eAAe,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;gBACrG,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;YAC/B,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,wBAAwB;QAC1B,CAAC;IACH,CAAC;IAED,8CAA8C;IAC9C,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,SAAS,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,IAAI,GAAG,kBAAkB,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;IAC3D,OAAO,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,OAA2B,EAC3B,QAA2B;IAE3B,MAAM,WAAW,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAEnD,OAAO;QACL,GAAG,WAAW;QAEd,aAAa,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,yBAAyB;YACzE,uDAAuD;YACvD,MAAM,WAAW,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;gBAC9B,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,WAAW,CAAC,aAAa,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,yBAAyB,CAAC,CAAC;QAClG,CAAC;QAED,UAAU,CAAC,QAAQ;YACjB,0CAA0C;YAC1C,IAAI,QAAQ,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChE,OAAO,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAED,QAAQ,CAAC,QAAQ;YACf,MAAM,WAAW,GAAG,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;YAChE,IAAI,WAAW,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC;YAClD,OAAO,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACxC,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,aAAqB;IACzC,OAAO,EAAE,CAAC,cAAc,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,EAAE,eAAe,CAAC,IAAI,SAAS,CAAC;AAC3F,CAAC;AAED,SAAS,cAAc,CAAC,GAAW,EAAE,KAAK,GAAG,CAAC;IAC5C,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACzB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,IAAI,KAAK,CAAC,WAAW,EAAE,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,CAAC,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;gBACnE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,KAAK,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAA,CAAC;IACV,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,YAAY,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/analysis/ts/program/TypeFacts.d.ts

@@ -0,0 +1,58 @@
+import type { CheckerQueries } from './CheckerQueries.js';
+/**
+ * Higher-level semantic facts derived from CheckerQueries.
+ * These answer the kinds of questions that make the engine "obviously smarter":
+ *
+ * - "If I add this enum member, which switches break?"
+ * - "Which places narrow this union and will now be wrong?"
+ * - "If I make this parameter required, what calls become invalid?"
+ */
+export interface EnumMemberFact {
+    enumName: string;
+    filePath: string;
+    members: string[];
+    isStringEnum: boolean;
+}
+/**
+ * Get semantic facts about an enum, including all its current members.
+ */
+export declare function getEnumFacts(queries: CheckerQueries, filePath: string, enumName: string): EnumMemberFact | null;
+export interface ParamCompatibilityFact {
+    funcName: string;
+    filePath: string;
+    params: Array<{
+        name: string;
+        typeText: string;
+        optional: boolean;
+        rest: boolean;
+    }>;
+    /** Whether any required parameters exist */
+    hasRequiredParams: boolean;
+    /** Minimum number of arguments required */
+    minArity: number;
+    /** Maximum arity (Infinity if rest param present) */
+    maxArity: number;
+}
+/**
+ * Get parameter compatibility facts for a function.
+ * Used to answer "what callers would break if this param became required?"
+ */
+export declare function getParamFacts(queries: CheckerQueries, filePath: string, funcName: string): ParamCompatibilityFact | null;
+export interface SwitchExhaustivenessFact {
+    enumName: string;
+    handledMembers: string[];
+    missingMembers: string[];
+    isExhaustive: boolean;
+    /**
+     * Files where the enum is used in a switch that would be non-exhaustive
+     * if a new member were added.
+     */
+    affectedFiles: string[];
+}
+/**
+ * For a given enum, check all files in the program for switch statements
+ * that use it, and determine which would break if a new member is added.
+ *
+ * This is a preview of Phase 2D exhaustiveness intelligence.
+ */
+export declare function getSwitchExhaustivenessAcrossFiles(queries: CheckerQueries, enumFilePath: string, enumName: string): SwitchExhaustivenessFact | null;

package/dist/analysis/ts/program/TypeFacts.js

@@ -0,0 +1,68 @@
+/**
+ * Get semantic facts about an enum, including all its current members.
+ */
+export function getEnumFacts(queries, filePath, enumName) {
+    const members = queries.getEnumMembers(filePath, enumName);
+    if (!members)
+        return null;
+    // Heuristic: string enum if members have string initializers
+    // (CheckerQueries.getEnumMembers already returns the member names — we use type as a fact)
+    return {
+        enumName,
+        filePath,
+        members,
+        isStringEnum: true, // TypeScript string enums are most common; refine in Phase 2D
+    };
+}
+/**
+ * Get parameter compatibility facts for a function.
+ * Used to answer "what callers would break if this param became required?"
+ */
+export function getParamFacts(queries, filePath, funcName) {
+    const params = queries.getFunctionParams(filePath, funcName);
+    if (!params)
+        return null;
+    const required = params.filter((p) => !p.optional && !p.rest);
+    const hasRest = params.some((p) => p.rest);
+    return {
+        funcName,
+        filePath,
+        params,
+        hasRequiredParams: required.length > 0,
+        minArity: required.length,
+        maxArity: hasRest ? Infinity : params.length,
+    };
+}
+/**
+ * For a given enum, check all files in the program for switch statements
+ * that use it, and determine which would break if a new member is added.
+ *
+ * This is a preview of Phase 2D exhaustiveness intelligence.
+ */
+export function getSwitchExhaustivenessAcrossFiles(queries, enumFilePath, enumName) {
+    const allMembers = queries.getEnumMembers(enumFilePath, enumName);
+    if (!allMembers)
+        return null;
+    const affectedFiles = [];
+    let allHandled = new Set();
+    let allMissing = new Set(allMembers);
+    for (const filePath of queries.getProgramFiles()) {
+        const result = queries.getSwitchExhaustiveness(filePath, enumFilePath, enumName);
+        if (!result)
+            continue;
+        if (result.handled.length > 0) {
+            affectedFiles.push(filePath);
+            result.handled.forEach((m) => allHandled.add(m));
+            result.missing.forEach((m) => allMissing.add(m));
+        }
+    }
+    const missing = allMembers.filter((m) => !allHandled.has(m));
+    return {
+        enumName,
+        handledMembers: [...allHandled],
+        missingMembers: missing,
+        isExhaustive: missing.length === 0,
+        affectedFiles,
+    };
+}
+//# sourceMappingURL=TypeFacts.js.map

package/dist/analysis/ts/program/TypeFacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeFacts.js","sourceRoot":"","sources":["../../../../src/analysis/ts/program/TypeFacts.ts"],"names":[],"mappings":"AAuBA;;GAEG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAuB,EACvB,QAAgB,EAChB,QAAgB;IAEhB,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3D,IAAI,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAE1B,6DAA6D;IAC7D,2FAA2F;IAC3F,OAAO;QACL,QAAQ;QACR,QAAQ;QACR,OAAO;QACP,YAAY,EAAE,IAAI,EAAE,8DAA8D;KACnF,CAAC;AACJ,CAAC;AAuBD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAuB,EACvB,QAAgB,EAChB,QAAgB;IAEhB,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7D,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAE3C,OAAO;QACL,QAAQ;QACR,QAAQ;QACR,MAAM;QACN,iBAAiB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;QACtC,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM;KAC7C,CAAC;AACJ,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAChD,OAAuB,EACvB,YAAoB,EACpB,QAAgB;IAEhB,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,IAAI,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAErC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACjF,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7B,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO;QACL,QAAQ;QACR,cAAc,EAAE,CAAC,GAAG,UAAU,CAAC;QAC/B,cAAc,EAAE,OAAO;QACvB,YAAY,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAClC,aAAa;KACd,CAAC;AACJ,CAAC"}

package/dist/analysis/ts/typeState.d.ts

@@ -0,0 +1,46 @@
+import ts from 'typescript';
+/**
+ * Phase 2D — Type-state and narrowing intelligence.
+ *
+ * Finds places in the code that depend on the specific shape of a type:
+ * type guards, discriminant checks, narrowing expressions.
+ *
+ * Answers: "Which places narrow this union and will be wrong if I change it?"
+ */
+export type NarrowingKind = 'typeof-check' | 'instanceof-check' | 'discriminant-check' | 'user-defined-guard' | 'nullish-check' | 'truthiness-check';
+export interface TypeNarrowingUsage {
+    filePath: string;
+    line: number;
+    narrowingKind: NarrowingKind;
+    /** The symbol being narrowed */
+    symbolName: string;
+    /** The type/value being checked against */
+    checkValue: string;
+}
+export interface TypeGuardFunction {
+    filePath: string;
+    line: number;
+    funcName: string;
+    /** The type being guarded: x is T */
+    guardedType: string;
+}
+/**
+ * Find all type narrowing usages for a given type name across the program.
+ * Used to identify code that depends on the specific shape of a discriminated union.
+ */
+export declare function findTypeNarrowingUsages(program: ts.Program, typeName: string): TypeNarrowingUsage[];
+/**
+ * Find all user-defined type guards that check for a specific type.
+ * e.g., `function isFoo(x: unknown): x is Foo`
+ */
+export declare function findTypeGuardFunctions(program: ts.Program, typeName: string): TypeGuardFunction[];
+/**
+ * Find all usages of a discriminant field (e.g., `.kind`, `.type`, `.tag`)
+ * that compare against specific string values.
+ * Used to identify switch/if exhaustiveness over discriminated unions.
+ */
+export declare function findDiscriminantUsages(program: ts.Program, discriminantField: string): Array<{
+    filePath: string;
+    line: number;
+    checkedValue: string;
+}>;

package/dist/analysis/ts/typeState.js

@@ -0,0 +1,108 @@
+import ts from 'typescript';
+/**
+ * Find all type narrowing usages for a given type name across the program.
+ * Used to identify code that depends on the specific shape of a discriminated union.
+ */
+export function findTypeNarrowingUsages(program, typeName) {
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            // Discriminant checks: x.kind === 'foo', x.type === 'bar'
+            if (ts.isBinaryExpression(node) &&
+                (node.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken ||
+                    node.operatorToken.kind === ts.SyntaxKind.ExclamationEqualsEqualsToken)) {
+                const lhsName = extractPropertyAccessBase(node.left);
+                if (lhsName && looksLikeTypeName(lhsName, typeName)) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const checkValue = node.right.getText(sf);
+                    results.push({ filePath: sf.fileName, line, narrowingKind: 'discriminant-check', symbolName: lhsName, checkValue });
+                }
+            }
+            // typeof checks: typeof x === 'string'
+            if (ts.isTypeOfExpression(node)) {
+                const parent = node.parent;
+                if (parent && ts.isBinaryExpression(parent)) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const sym = node.expression.getText(sf);
+                    if (sym.includes(typeName)) {
+                        results.push({ filePath: sf.fileName, line, narrowingKind: 'typeof-check', symbolName: sym, checkValue: parent.right.getText(sf) });
+                    }
+                }
+            }
+            // instanceof checks: x instanceof Foo
+            if (ts.isBinaryExpression(node) && node.operatorToken.kind === ts.SyntaxKind.InstanceOfKeyword) {
+                const rhs = node.right.getText(sf);
+                if (rhs === typeName) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    results.push({ filePath: sf.fileName, line, narrowingKind: 'instanceof-check', symbolName: node.left.getText(sf), checkValue: rhs });
+                }
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results;
+}
+/**
+ * Find all user-defined type guards that check for a specific type.
+ * e.g., `function isFoo(x: unknown): x is Foo`
+ */
+export function findTypeGuardFunctions(program, typeName) {
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, (node) => {
+            if ((ts.isFunctionDeclaration(node) || ts.isArrowFunction(node) || ts.isFunctionExpression(node)) &&
+                node.type && ts.isTypePredicateNode(node.type)) {
+                const predicate = node.type;
+                const guardedTypeName = predicate.type?.getText(sf) ?? '';
+                if (guardedTypeName === typeName || guardedTypeName.includes(typeName)) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const funcName = ts.isFunctionDeclaration(node) && node.name ? node.name.text : '<anonymous>';
+                    results.push({ filePath: sf.fileName, line, funcName, guardedType: guardedTypeName });
+                }
+            }
+        });
+    }
+    return results;
+}
+/**
+ * Find all usages of a discriminant field (e.g., `.kind`, `.type`, `.tag`)
+ * that compare against specific string values.
+ * Used to identify switch/if exhaustiveness over discriminated unions.
+ */
+export function findDiscriminantUsages(program, discriminantField) {
+    const results = [];
+    for (const sf of program.getSourceFiles()) {
+        if (sf.fileName.includes('node_modules') || sf.fileName.endsWith('.d.ts'))
+            continue;
+        ts.forEachChild(sf, function visitNode(node) {
+            if (ts.isBinaryExpression(node) &&
+                node.operatorToken.kind === ts.SyntaxKind.EqualsEqualsEqualsToken &&
+                ts.isPropertyAccessExpression(node.left) &&
+                node.left.name.text === discriminantField) {
+                const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                const checkedValue = node.right.getText(sf).replace(/['"]/g, '');
+                results.push({ filePath: sf.fileName, line, checkedValue });
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return results;
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function extractPropertyAccessBase(expr) {
+    if (ts.isPropertyAccessExpression(expr)) {
+        return expr.expression.getText();
+    }
+    return null;
+}
+function looksLikeTypeName(symbolName, typeName) {
+    // Heuristic: the base variable name contains the type name (case-insensitive)
+    return symbolName.toLowerCase().includes(typeName.toLowerCase());
+}
+//# sourceMappingURL=typeState.js.map

package/dist/analysis/ts/typeState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeState.js","sourceRoot":"","sources":["../../../src/analysis/ts/typeState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAqC5B;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAmB,EACnB,QAAgB;IAEhB,MAAM,OAAO,GAAyB,EAAE,CAAC;IAEzC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,0DAA0D;YAC1D,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC3B,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;oBACjE,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAAE,CAAC;gBAC7E,MAAM,OAAO,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrD,IAAI,OAAO,IAAI,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACpD,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBAC1C,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,oBAAoB,EAAE,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;gBACtH,CAAC;YACH,CAAC;YAED,uCAAuC;YACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC3B,IAAI,MAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;oBACxC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC3B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,cAAc,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACtI,CAAC;gBACH,CAAC;YACH,CAAC;YAED,sCAAsC;YACtC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC;gBAC/F,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACnC,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;oBACrB,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,kBAAkB,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;gBACvI,CAAC;YACH,CAAC;YAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAmB,EACnB,QAAgB;IAEhB,MAAM,OAAO,GAAwB,EAAE,CAAC;IAExC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAC7F,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC;gBAC5B,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;gBAC1D,IAAI,eAAe,KAAK,QAAQ,IAAI,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACvE,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,MAAM,QAAQ,GAAG,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;oBAC9F,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC;gBACxF,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAmB,EACnB,iBAAyB;IAEzB,MAAM,OAAO,GAAoE,EAAE,CAAC;IAEpF,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QAEpF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,SAAS,SAAS,CAAC,IAAI;YACzC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;gBACjE,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBAC9C,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;gBAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACjE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,yBAAyB,CAAC,IAAmB;IACpD,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,UAAkB,EAAE,QAAgB;IAC7D,8EAA8E;IAC9E,OAAO,UAAU,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;AACnE,CAAC"}

package/dist/ast/diffDeclarationShapes.js

@@ -88,27 +88,41 @@ function compareDeclarations(base, current) {
     }
     // Interface member comparison
     if (base.declarationKind === 'interface' && current.declarationKind === 'interface') {
-        const baseMembers = new Set(base.members ?? []);
-        const currentMembers = new Set(current.members ?? []);
-        for (const m of baseMembers) {
-            if (!currentMembers.has(m)) {
+        // Build name → optional maps (members may carry "?" suffix from extractBlockMembersFromLines)
+        const baseByName = new Map((base.members ?? []).map((m) => [m.replace('?', ''), m.endsWith('?')]));
+        const currentByName = new Map((current.members ?? []).map((m) => [m.replace('?', ''), m.endsWith('?')]));
+        for (const [name] of baseByName) {
+            if (!currentByName.has(name)) {
                 changes.push({
                     kind: 'interface_shape_changed',
                     risk: 'breaking',
-                    reason: `Interface property "${m}" removed`,
-                    diffs: [`- ${m}`],
+                    reason: `Interface property "${name}" removed`,
+                    diffs: [`- ${name}`],
                 });
             }
         }
-        for (const m of currentMembers) {
-            if (!baseMembers.has(m)) {
+        for (const [name, isOptional] of currentByName) {
+            if (!baseByName.has(name)) {
                 changes.push({
                     kind: 'interface_shape_changed',
-                    risk: 'risky',
-                    reason: `Interface property "${m}" added`,
-                    diffs: [`+ ${m}`],
+                    risk: isOptional ? 'risky' : 'breaking',
+                    reason: isOptional
+                        ? `Optional interface property "${name}" added`
+                        : `Required interface property "${name}" added — breaking for existing implementations`,
+                    diffs: [`+ ${isOptional ? name + '?' : name}`],
                 });
             }
+            else {
+                const wasOptional = baseByName.get(name);
+                if (wasOptional && !isOptional) {
+                    changes.push({
+                        kind: 'interface_shape_changed',
+                        risk: 'breaking',
+                        reason: `Interface property "${name}" became required (was optional)`,
+                        diffs: [`~ ${name}? → ${name}`],
+                    });
+                }
+            }
         }
         return changes;
     }

package/dist/ast/diffDeclarationShapes.js.map

@@ -1 +1 @@
-{"version":3,"file":"diffDeclarationShapes.js","sourceRoot":"","sources":["../../src/ast/diffDeclarationShapes.ts"],"names":[],"mappings":"AA6BA;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAAgC,EAChC,cAAmC;IAEnC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,kBAAkB;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,WAAW,IAAI,MAAM,IAAI,CAAC,eAAe,eAAe;gBAChE,cAAc,EAAE,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC7D,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,eAAe,IAAI,MAAM,OAAO,CAAC,eAAe,GAAG;gBAC3D,cAAc,EAAE,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChE,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC;gBAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,UAAU;oBAAE,OAAO,OAAO,CAAC;gBAC/D,OAAO,KAAK,CAAC;YACf,CAAC,EAAE,MAAsB,CAAC,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/C,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC/C,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,mBAAmB,CAAC,IAAuB,EAAE,OAA0B;IAC9E,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,yBAAyB;IACzB,IAAI,IAAI,CAAC,eAAe,KAAK,MAAM,IAAI,OAAO,CAAC,eAAe,KAAK,MAAM,EAAE,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,gBAAgB,CAAC,iDAAiD;oBAC1E,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,gBAAgB,CAAC,WAAW;oBACpC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,eAAe,KAAK,WAAW,IAAI,OAAO,CAAC,eAAe,KAAK,WAAW,EAAE,CAAC;QACpF,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,uBAAuB,CAAC,WAAW;oBAC3C,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,uBAAuB,CAAC,SAAS;oBACzC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,gCAAgC;IAChC,IAAI,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,OAAO,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QAE3C,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB;oBACnD,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;oBACtC,MAAM,EAAE,CAAC,CAAC,QAAQ;wBAChB,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;wBACxC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;oBAC1C,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,CAAC,CAAC,IAAI,WAAW;oBACvC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3E,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,kCAAkC;oBAC7E,KAAK,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACpF,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,wBAAwB,IAAI,CAAC,UAAU,MAAM,OAAO,CAAC,UAAU,EAAE;gBACzE,KAAK,EAAE,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,EAAE,cAAc,OAAO,CAAC,UAAU,EAAE,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,0CAA0C;IAC1C,IAAI,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,+BAA+B;YACvC,KAAK,EAAE;gBACL,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAC3C,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}
+{"version":3,"file":"diffDeclarationShapes.js","sourceRoot":"","sources":["../../src/ast/diffDeclarationShapes.ts"],"names":[],"mappings":"AA6BA;;GAEG;AACH,MAAM,UAAU,sBAAsB,CACpC,WAAgC,EAChC,cAAmC;IAEnC,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,kBAAkB;IAClB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,WAAW,IAAI,MAAM,IAAI,CAAC,eAAe,eAAe;gBAChE,cAAc,EAAE,CAAC,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC7D,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,eAAe,IAAI,MAAM,OAAO,CAAC,eAAe,GAAG;gBAC3D,cAAc,EAAE,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChE,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI;YAAE,SAAS;QAEpB,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;oBAAE,OAAO,UAAU,CAAC;gBAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,UAAU;oBAAE,OAAO,OAAO,CAAC;gBAC/D,OAAO,KAAK,CAAC;YACf,CAAC,EAAE,MAAsB,CAAC,CAAC;YAE3B,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI;gBACJ,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;gBACrB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC/C,cAAc,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC/C,QAAQ,EAAE,IAAI;gBACd,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AASD,SAAS,mBAAmB,CAAC,IAAuB,EAAE,OAA0B;IAC9E,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,yBAAyB;IACzB,IAAI,IAAI,CAAC,eAAe,KAAK,MAAM,IAAI,OAAO,CAAC,eAAe,KAAK,MAAM,EAAE,CAAC;QAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAChD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;QAEtD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;YAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,OAAO;oBACb,MAAM,EAAE,gBAAgB,CAAC,iDAAiD;oBAC1E,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,gBAAgB,CAAC,WAAW;oBACpC,KAAK,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;iBAClB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,eAAe,KAAK,WAAW,IAAI,OAAO,CAAC,eAAe,KAAK,WAAW,EAAE,CAAC;QACpF,8FAA8F;QAC9F,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAsB,CAAC,CAAC,CAAC;QACxH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAsB,CAAC,CAAC,CAAC;QAE9H,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;YAChC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,uBAAuB,IAAI,WAAW;oBAC9C,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC;iBACrB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,aAAa,EAAE,CAAC;YAC/C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,yBAAyB;oBAC/B,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;oBACvC,MAAM,EAAE,UAAU;wBAChB,CAAC,CAAC,gCAAgC,IAAI,SAAS;wBAC/C,CAAC,CAAC,gCAAgC,IAAI,iDAAiD;oBACzF,KAAK,EAAE,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC/C,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;gBAC1C,IAAI,WAAW,IAAI,CAAC,UAAU,EAAE,CAAC;oBAC/B,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,yBAAyB;wBAC/B,IAAI,EAAE,UAAU;wBAChB,MAAM,EAAE,uBAAuB,IAAI,kCAAkC;wBACrE,KAAK,EAAE,CAAC,KAAK,IAAI,OAAO,IAAI,EAAE,CAAC;qBAChC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,gCAAgC;IAChC,IAAI,IAAI,CAAC,eAAe,KAAK,UAAU,IAAI,OAAO,CAAC,eAAe,KAAK,UAAU,EAAE,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAC;QAE3C,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACrD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB;oBACnD,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;oBACtC,MAAM,EAAE,CAAC,CAAC,QAAQ;wBAChB,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;wBACxC,CAAC,CAAC,uBAAuB,CAAC,CAAC,IAAI,SAAS;oBAC1C,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBACvE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,aAAa,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACvD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,eAAe;oBACrB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,CAAC,CAAC,IAAI,WAAW;oBACvC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;iBAC/C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3E,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACzD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,gBAAgB;oBACtB,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,cAAc,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,kCAAkC;oBAC7E,KAAK,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,CAAC,UAAU,EAAE,CAAC;YACpF,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,qBAAqB;gBAC3B,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,wBAAwB,IAAI,CAAC,UAAU,MAAM,OAAO,CAAC,UAAU,EAAE;gBACzE,KAAK,EAAE,CAAC,cAAc,IAAI,CAAC,UAAU,EAAE,EAAE,cAAc,OAAO,CAAC,UAAU,EAAE,CAAC;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,0CAA0C;IAC1C,IAAI,IAAI,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QACjD,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,+BAA+B;YACvC,KAAK,EAAE;gBACL,KAAK,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBAC3C,KAAK,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;aAC/C;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/ast/extractExportDeclarations.js

@@ -17,7 +17,9 @@ function extractWithAst(root, source) {
     // Find all exported declarations using ast-grep patterns
     const patterns = [
         { pattern: 'export function $NAME($$$) { $$$ }', kind: 'function' },
+        { pattern: 'export function $NAME($$$): $RTYPE { $$$ }', kind: 'function' },
         { pattern: 'export async function $NAME($$$) { $$$ }', kind: 'function' },
+        { pattern: 'export async function $NAME($$$): $RTYPE { $$$ }', kind: 'function' },
         { pattern: 'export const $NAME = $$$', kind: 'const' },
         { pattern: 'export let $NAME = $$$', kind: 'variable' },
         { pattern: 'export interface $NAME { $$$ }', kind: 'interface' },
@@ -26,6 +28,7 @@ function extractWithAst(root, source) {
         { pattern: 'export class $NAME { $$$ }', kind: 'class' },
         { pattern: 'export abstract class $NAME { $$$ }', kind: 'class' },
         { pattern: 'export default function $NAME($$$) { $$$ }', kind: 'function' },
+        { pattern: 'export default function $NAME($$$): $RTYPE { $$$ }', kind: 'function' },
     ];
     for (const { pattern, kind } of patterns) {
         try {
@@ -197,9 +200,11 @@ function extractBlockMembersFromLines(lines, startLine) {
         if (lines[i].includes('}'))
             braceCount--;
         if (started && braceCount > 0) {
-            const memberMatch = lines[i].trim().match(/^(\w+)\s*[?:=,]/);
-            if (memberMatch && memberMatch[1] !== 'export')
-                members.push(memberMatch[1]);
+            // Capture optional marker: `name?: Type` → "name?", `name: Type` → "name"
+            const memberMatch = lines[i].trim().match(/^(\w+)(\?)?\s*[:=,]/);
+            if (memberMatch && memberMatch[1] !== 'export') {
+                members.push(memberMatch[2] ? `${memberMatch[1]}?` : memberMatch[1]);
+            }
         }
         if (started && braceCount === 0)
             break;