lsp-intelligence 0.2.1 → 0.3.2

package/dist/adapters/types.d.ts

@@ -0,0 +1,97 @@
+import type { QueryIR, SearchRecipe } from '../search/types.js';
+/**
+ * Phase 2E — IntelligenceAdapter v2 interface.
+ *
+ * Replaces the narrow SearchAdapter (search-recipe-only) with a composable
+ * adapter that can contribute to every layer of the engine:
+ * search, graph, explain, guard, verify.
+ *
+ * Migration policy:
+ * When an adapter contributes at least one non-recipe capability (e.g. graph.denylist),
+ * the corresponding old src/search/adapters/* file must be reduced to a thin
+ * re-export within one sprint.
+ */
+export interface IntelligenceAdapter {
+    readonly id: string;
+    /**
+     * Emit search recipes for queries that match this adapter's domain.
+     * Equivalent to the old SearchAdapter.detect().
+     */
+    detect?(ir: QueryIR): SearchRecipe[];
+    /**
+     * Contribute additional IR enrichment beyond what the query parser produces.
+     * Useful for framework-specific token classification.
+     */
+    enrichQuery?(ir: QueryIR): AdapterQueryContribution;
+    graph?: {
+        /**
+         * Symbols that should NEVER be promoted as implementation roots.
+         * The engine skips these during graph expansion.
+         * React: memo, forwardRef, createContext, etc.
+         * Express: Router, app.use, etc.
+         */
+        denylist?: string[];
+        /**
+         * Symbol name patterns that ARE likely real implementation roots for this domain.
+         * Used to boost candidates during graph expansion.
+         */
+        rootHints?: string[];
+    };
+    explain?: {
+        /**
+         * Hints that help root_cause_trace identify likely cause categories
+         * for framework-specific error patterns.
+         */
+        causeHints?: AdapterCauseHint[];
+    };
+    guard?: {
+        /**
+         * Extra rules that api_guard applies when checking contracts.
+         * E.g. React: prop type changes are always consumer-breaking.
+         */
+        rules?: AdapterGuardRule[];
+    };
+    verify?: {
+        /**
+         * Checks that verify_changes runs for this framework's idioms.
+         * E.g. React: no conditional hooks, exhaustive useEffect deps.
+         */
+        checks?: AdapterVerifyCheck[];
+    };
+}
+export interface AdapterQueryContribution {
+    /** Additional exact identifiers to include */
+    extraIdentifiers?: string[];
+    /** Additional behavior terms to score against */
+    extraBehaviorTerms?: string[];
+    /** Additional config terms for config/env retrieval */
+    extraConfigTerms?: string[];
+}
+export interface AdapterCauseHint {
+    /** TypeScript diagnostic code this hint applies to (e.g. '2345') */
+    matchCode?: string;
+    /** Pattern matched against the diagnostic message */
+    matchMessage?: RegExp;
+    /** Short human-readable category label */
+    causeCategory: string;
+    /** Actionable hint for the developer */
+    hint: string;
+    /** Score boost applied to candidates matching this hint */
+    scoreBoost: number;
+}
+export interface AdapterGuardRule {
+    id: string;
+    description: string;
+}
+export interface AdapterVerifyCheck {
+    id: string;
+    description: string;
+    /** Run the check and return issues found */
+    run(filePaths: string[]): AdapterVerifyIssue[];
+}
+export interface AdapterVerifyIssue {
+    filePath: string;
+    line?: number;
+    message: string;
+    severity: 'error' | 'warning';
+}

package/dist/adapters/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/adapters/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/adapters/types.ts"],"names":[],"mappings":""}

package/dist/analysis/ts/applyVirtualEdit.d.ts

@@ -0,0 +1,27 @@
+import type { ChangeRecipe } from './changeRecipes.js';
+/**
+ * Phase 3B — Apply a change recipe to source text without touching disk.
+ *
+ * Returns modified source content as a string, or null if the recipe
+ * cannot be applied (symbol not found, ambiguous match, etc.).
+ *
+ * The output is used to build a SnapshotResolver overlay so the TypeScript
+ * program reflects the hypothetical change for semantic analysis.
+ */
+export interface VirtualEditResult {
+    /** The modified source text */
+    modifiedSource: string;
+    /** Original signature text (for diff display) */
+    originalSignature: string;
+    /** New signature text after the change */
+    newSignature: string;
+    /** 0-indexed start position of the edit in the original source */
+    editStart: number;
+    /** 0-indexed end position (exclusive) in the original source */
+    editEnd: number;
+}
+/**
+ * Apply a change recipe to source text.
+ * Returns null if the target symbol cannot be found.
+ */
+export declare function applyVirtualEdit(source: string, filePath: string, recipe: ChangeRecipe): VirtualEditResult | null;

package/dist/analysis/ts/applyVirtualEdit.js

@@ -0,0 +1,235 @@
+import ts from 'typescript';
+/**
+ * Apply a change recipe to source text.
+ * Returns null if the target symbol cannot be found.
+ */
+export function applyVirtualEdit(source, filePath, recipe) {
+    switch (recipe.kind) {
+        case 'add_required_param':
+        case 'add_optional_param':
+            return applyAddParam(source, filePath, recipe.funcName, {
+                name: recipe.paramName,
+                type: recipe.paramType,
+                optional: recipe.kind === 'add_optional_param',
+            });
+        case 'remove_param':
+            return applyRemoveParam(source, filePath, recipe.funcName, recipe.paramName);
+        case 'add_enum_member':
+            return applyAddEnumMember(source, filePath, recipe.enumName, recipe.memberName, recipe.memberValue);
+        case 'remove_enum_member':
+            return applyRemoveEnumMember(source, filePath, recipe.enumName, recipe.memberName);
+        case 'change_return_type':
+            return applyChangeReturnType(source, filePath, recipe.funcName, recipe.newReturnType);
+        default:
+            return null;
+    }
+}
+// ---------------------------------------------------------------------------
+// Recipe implementations
+// ---------------------------------------------------------------------------
+function applyAddParam(source, filePath, funcName, param) {
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    const funcNode = findFunction(sf, funcName);
+    if (!funcNode)
+        return null;
+    const funcStart = funcNode.getStart(sf);
+    const funcText = source.slice(funcStart, funcNode.end);
+    const openParen = funcText.indexOf('(');
+    const closeParen = findMatchingParen(funcText, openParen);
+    if (openParen === -1 || closeParen === -1)
+        return null;
+    const paramListStart = funcStart + openParen + 1;
+    const paramListEnd = funcStart + closeParen;
+    const existing = source.slice(paramListStart, paramListEnd).trim();
+    const newParam = `${param.name}${param.optional ? '?' : ''}: ${param.type}`;
+    const newParamList = existing ? `${existing}, ${newParam}` : newParam;
+    const modifiedSource = source.slice(0, paramListStart) + newParamList + source.slice(paramListEnd);
+    return {
+        modifiedSource,
+        originalSignature: existing ? `(${existing})` : '()',
+        newSignature: `(${newParamList})`,
+        editStart: paramListStart,
+        editEnd: paramListEnd,
+    };
+}
+function applyRemoveParam(source, filePath, funcName, paramName) {
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    const funcNode = findFunction(sf, funcName);
+    if (!funcNode)
+        return null;
+    const funcStart = funcNode.getStart(sf);
+    const funcText = source.slice(funcStart, funcNode.end);
+    const openParen = funcText.indexOf('(');
+    const closeParen = findMatchingParen(funcText, openParen);
+    if (openParen === -1 || closeParen === -1)
+        return null;
+    const paramListStart = funcStart + openParen + 1;
+    const paramListEnd = funcStart + closeParen;
+    const existing = source.slice(paramListStart, paramListEnd).trim();
+    // Simple comma-split removal (handles basic cases)
+    const parts = splitParams(existing);
+    const newParts = parts.filter((p) => {
+        const name = p.trim().split(/[?:]/)[0].replace(/^\.\.\./, '').trim();
+        return name !== paramName;
+    });
+    if (newParts.length === parts.length)
+        return null; // param not found
+    const newParamList = newParts.join(', ');
+    const modifiedSource = source.slice(0, paramListStart) + newParamList + source.slice(paramListEnd);
+    return {
+        modifiedSource,
+        originalSignature: `(${existing})`,
+        newSignature: `(${newParamList})`,
+        editStart: paramListStart,
+        editEnd: paramListEnd,
+    };
+}
+function applyAddEnumMember(source, filePath, enumName, memberName, memberValue) {
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    let enumNode;
+    ts.forEachChild(sf, (node) => {
+        if (ts.isEnumDeclaration(node) && node.name.text === enumName)
+            enumNode = node;
+    });
+    if (!enumNode)
+        return null;
+    const lastMember = enumNode.members[enumNode.members.length - 1];
+    if (!lastMember)
+        return null;
+    const insertPos = lastMember.end;
+    const valueStr = memberValue ? ` = ${memberValue}` : '';
+    const memberStr = `,\n  ${memberName}${valueStr}`;
+    const modifiedSource = source.slice(0, insertPos) + memberStr + source.slice(insertPos);
+    const existing = enumNode.members.map((m) => (ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf))).join(', ');
+    return {
+        modifiedSource,
+        originalSignature: `enum ${enumName} { ${existing} }`,
+        newSignature: `enum ${enumName} { ${existing}, ${memberName} }`,
+        editStart: insertPos,
+        editEnd: insertPos,
+    };
+}
+function applyRemoveEnumMember(source, filePath, enumName, memberName) {
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    let enumNode;
+    ts.forEachChild(sf, (node) => {
+        if (ts.isEnumDeclaration(node) && node.name.text === enumName)
+            enumNode = node;
+    });
+    if (!enumNode)
+        return null;
+    const member = enumNode.members.find((m) => ts.isIdentifier(m.name) && m.name.text === memberName);
+    if (!member)
+        return null;
+    // Remove the member and the comma before/after it
+    let removeStart = member.pos;
+    let removeEnd = member.end;
+    // Include trailing comma if present
+    if (source[removeEnd] === ',')
+        removeEnd++;
+    // Or include preceding comma
+    const beforeMember = source.slice(enumNode.members.pos, member.pos);
+    if (beforeMember.trimEnd().endsWith(',')) {
+        removeStart = source.lastIndexOf(',', member.pos - 1);
+    }
+    const modifiedSource = source.slice(0, removeStart) + source.slice(removeEnd);
+    const existing = enumNode.members.map((m) => (ts.isIdentifier(m.name) ? m.name.text : m.name.getText(sf))).join(', ');
+    return {
+        modifiedSource,
+        originalSignature: `enum ${enumName} { ${existing} }`,
+        newSignature: `enum ${enumName} { ${existing.replace(new RegExp(`(?:,\\s*)?${memberName}(?:,\\s*)?`), '')} }`,
+        editStart: removeStart,
+        editEnd: removeEnd,
+    };
+}
+function applyChangeReturnType(source, filePath, funcName, newReturnType) {
+    const sf = ts.createSourceFile(filePath, source, ts.ScriptTarget.Latest, true);
+    const funcNode = findFunction(sf, funcName);
+    if (!funcNode)
+        return null;
+    const funcStart = funcNode.getStart(sf);
+    const funcText = source.slice(funcStart, funcNode.end);
+    // Find ): Type { pattern
+    const returnTypeMatch = funcText.match(/\)\s*:\s*([^{=>]+?)(\s*(?:\{|=>))/);
+    if (!returnTypeMatch)
+        return null;
+    const matchStart = funcStart + funcText.indexOf(returnTypeMatch[0]);
+    const returnTypeStart = matchStart + funcText.indexOf(returnTypeMatch[0]) - funcText.indexOf(returnTypeMatch[0]) + returnTypeMatch[0].indexOf(returnTypeMatch[1]);
+    // Simpler: find the colon after the closing ) and replace up to {
+    const colonIdx = funcText.lastIndexOf('): ');
+    if (colonIdx === -1)
+        return null;
+    const editStart = funcStart + colonIdx + 2;
+    const bodyOrArrowMatch = funcText.slice(colonIdx + 2).match(/^([^{=]+?)(\s*(?:\{|=>))/);
+    if (!bodyOrArrowMatch)
+        return null;
+    const editEnd = editStart + bodyOrArrowMatch[1].length;
+    const originalType = source.slice(editStart, editEnd).trim();
+    const modifiedSource = source.slice(0, editStart) + ` ${newReturnType} ` + source.slice(editEnd);
+    return {
+        modifiedSource,
+        originalSignature: `(): ${originalType}`,
+        newSignature: `(): ${newReturnType}`,
+        editStart,
+        editEnd,
+    };
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function findFunction(sf, funcName) {
+    let found;
+    ts.forEachChild(sf, (node) => {
+        if (found)
+            return;
+        if (ts.isFunctionDeclaration(node) && node.name?.text === funcName) {
+            found = node;
+        }
+        else if (ts.isVariableStatement(node)) {
+            for (const decl of node.declarationList.declarations) {
+                if (ts.isIdentifier(decl.name) && decl.name.text === funcName && decl.initializer) {
+                    if (ts.isArrowFunction(decl.initializer) || ts.isFunctionExpression(decl.initializer)) {
+                        found = decl.initializer;
+                    }
+                }
+            }
+        }
+    });
+    return found;
+}
+function findMatchingParen(text, openPos) {
+    let depth = 0;
+    for (let i = openPos; i < text.length; i++) {
+        if (text[i] === '(')
+            depth++;
+        if (text[i] === ')') {
+            depth--;
+            if (depth === 0)
+                return i;
+        }
+    }
+    return -1;
+}
+function splitParams(paramText) {
+    // Split by commas, respecting nested <>, (), {}
+    const result = [];
+    let depth = 0;
+    let current = '';
+    for (const ch of paramText) {
+        if (ch === ',' && depth === 0) {
+            result.push(current);
+            current = '';
+        }
+        else {
+            if ('<({'.includes(ch))
+                depth++;
+            if ('>)}'.includes(ch))
+                depth--;
+            current += ch;
+        }
+    }
+    if (current.trim())
+        result.push(current);
+    return result;
+}
+//# sourceMappingURL=applyVirtualEdit.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"applyVirtualEdit.js","sourceRoot":"","sources":["../../../src/analysis/ts/applyVirtualEdit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AA0B5B;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,MAAc,EACd,QAAgB,EAChB,MAAoB;IAEpB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB;YACvB,OAAO,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE;gBACtD,IAAI,EAAE,MAAM,CAAC,SAAS;gBACtB,IAAI,EAAE,MAAM,CAAC,SAAS;gBACtB,QAAQ,EAAE,MAAM,CAAC,IAAI,KAAK,oBAAoB;aAC/C,CAAC,CAAC;QACL,KAAK,cAAc;YACjB,OAAO,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAC/E,KAAK,iBAAiB;YACpB,OAAO,kBAAkB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QACtG,KAAK,oBAAoB;YACvB,OAAO,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;QACrF,KAAK,oBAAoB;YACvB,OAAO,qBAAqB,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QACxF;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,SAAS,aAAa,CACpB,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,KAAwD;IAExD,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,SAAS,GAAG,UAAU,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnE,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;IAC5E,MAAM,YAAY,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;IACtE,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAEnG,OAAO;QACL,cAAc;QACd,iBAAiB,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,IAAI;QACpD,YAAY,EAAE,IAAI,YAAY,GAAG;QACjC,SAAS,EAAE,cAAc;QACzB,OAAO,EAAE,YAAY;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,SAAiB;IAEjB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACxC,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,CAAC,CAAC,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvD,MAAM,cAAc,GAAG,SAAS,GAAG,SAAS,GAAG,CAAC,CAAC;IACjD,MAAM,YAAY,GAAG,SAAS,GAAG,UAAU,CAAC;IAC5C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC,IAAI,EAAE,CAAC;IAEnE,mDAAmD;IACnD,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACrE,OAAO,IAAI,KAAK,SAAS,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB;IAErE,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAEnG,OAAO;QACL,cAAc;QACd,iBAAiB,EAAE,IAAI,QAAQ,GAAG;QAClC,YAAY,EAAE,IAAI,YAAY,GAAG;QACjC,SAAS,EAAE,cAAc;QACzB,OAAO,EAAE,YAAY;KACtB,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CACzB,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,UAAkB,EAClB,WAAoB;IAEpB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE/E,IAAI,QAAwC,CAAC;IAC7C,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,QAAQ,GAAG,IAAI,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,UAAU;QAAE,OAAO,IAAI,CAAC;IAE7B,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC;IACjC,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxD,MAAM,SAAS,GAAG,QAAQ,UAAU,GAAG,QAAQ,EAAE,CAAC;IAClD,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAExF,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEtH,OAAO;QACL,cAAc;QACd,iBAAiB,EAAE,QAAQ,QAAQ,MAAM,QAAQ,IAAI;QACrD,YAAY,EAAE,QAAQ,QAAQ,MAAM,QAAQ,KAAK,UAAU,IAAI;QAC/D,SAAS,EAAE,SAAS;QACpB,OAAO,EAAE,SAAS;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,UAAkB;IAElB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAE/E,IAAI,QAAwC,CAAC;IAC7C,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,QAAQ,GAAG,IAAI,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACzC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CACtD,CAAC;IACF,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAEzB,kDAAkD;IAClD,IAAI,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC;IAC7B,IAAI,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC;IAE3B,oCAAoC;IACpC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,GAAG;QAAE,SAAS,EAAE,CAAC;IAC3C,6BAA6B;IAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACpE,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACzC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,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,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEtH,OAAO;QACL,cAAc;QACd,iBAAiB,EAAE,QAAQ,QAAQ,MAAM,QAAQ,IAAI;QACrD,YAAY,EAAE,QAAQ,QAAQ,MAAM,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,aAAa,UAAU,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI;QAC7G,SAAS,EAAE,WAAW;QACtB,OAAO,EAAE,SAAS;KACnB,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,aAAqB;IAErB,MAAM,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC5C,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAE3B,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAEvD,yBAAyB;IACzB,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC5E,IAAI,CAAC,eAAe;QAAE,OAAO,IAAI,CAAC;IAElC,MAAM,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;IAClK,kEAAkE;IAClE,MAAM,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,CAAC,CAAC;IAC3C,MAAM,gBAAgB,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACxF,IAAI,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAEnC,MAAM,OAAO,GAAG,SAAS,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACvD,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,IAAI,aAAa,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEjG,OAAO;QACL,cAAc;QACd,iBAAiB,EAAE,OAAO,YAAY,EAAE;QACxC,YAAY,EAAE,OAAO,aAAa,EAAE;QACpC,SAAS;QACT,OAAO;KACR,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,YAAY,CAAC,EAAiB,EAAE,QAAgB;IACvD,IAAI,KAAoF,CAAC;IACzF,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3B,IAAI,KAAK;YAAE,OAAO;QAClB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;YACnE,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;aAAM,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBAClF,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;wBACtF,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC;oBAC3B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY,EAAE,OAAe;IACtD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YAAC,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QAAC,CAAC;IAC9D,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,SAAS,WAAW,CAAC,SAAiB;IACpC,gDAAgD;IAChD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;QAAC,CAAC;aACjE,CAAC;YAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,KAAK,EAAE,CAAC;YAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,KAAK,EAAE,CAAC;YAAC,OAAO,IAAI,EAAE,CAAC;QAAC,CAAC;IAC3F,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,EAAE;QAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/analysis/ts/changeRecipes.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Phase 3B — Change recipe definitions.
+ *
+ * A recipe describes the *intent* of a change: what kind of modification
+ * to apply to a symbol. The execution engine in applyVirtualEdit.ts turns
+ * a recipe into modified source text. Simulation then rebuilds the semantic
+ * state and reports the impact.
+ *
+ * First recipe (Phase 3B spike): add_required_param
+ * Future recipes: remove_param, change_return_type, add_enum_member, remove_enum_member,
+ *                 narrow_union, widen_union, move_export, rename_symbol
+ */
+export type RecipeKind = 'add_required_param' | 'add_optional_param' | 'remove_param' | 'change_return_type' | 'add_enum_member' | 'remove_enum_member' | 'rename_symbol' | 'narrow_union' | 'widen_union';
+export interface AddParamRecipe {
+    kind: 'add_required_param' | 'add_optional_param';
+    funcName: string;
+    filePath: string;
+    paramName: string;
+    paramType: string;
+}
+export interface RemoveParamRecipe {
+    kind: 'remove_param';
+    funcName: string;
+    filePath: string;
+    paramName: string;
+}
+export interface ChangeReturnTypeRecipe {
+    kind: 'change_return_type';
+    funcName: string;
+    filePath: string;
+    newReturnType: string;
+}
+export interface AddEnumMemberRecipe {
+    kind: 'add_enum_member';
+    enumName: string;
+    filePath: string;
+    memberName: string;
+    memberValue?: string;
+}
+export interface RemoveEnumMemberRecipe {
+    kind: 'remove_enum_member';
+    enumName: string;
+    filePath: string;
+    memberName: string;
+}
+export interface RenameSymbolRecipe {
+    kind: 'rename_symbol';
+    symbolName: string;
+    filePath: string;
+    newName: string;
+}
+export type ChangeRecipe = AddParamRecipe | RemoveParamRecipe | ChangeReturnTypeRecipe | AddEnumMemberRecipe | RemoveEnumMemberRecipe | RenameSymbolRecipe;

package/dist/analysis/ts/changeRecipes.js

@@ -0,0 +1,14 @@
+/**
+ * Phase 3B — Change recipe definitions.
+ *
+ * A recipe describes the *intent* of a change: what kind of modification
+ * to apply to a symbol. The execution engine in applyVirtualEdit.ts turns
+ * a recipe into modified source text. Simulation then rebuilds the semantic
+ * state and reports the impact.
+ *
+ * First recipe (Phase 3B spike): add_required_param
+ * Future recipes: remove_param, change_return_type, add_enum_member, remove_enum_member,
+ *                 narrow_union, widen_union, move_export, rename_symbol
+ */
+export {};
+//# sourceMappingURL=changeRecipes.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"changeRecipes.js","sourceRoot":"","sources":["../../../src/analysis/ts/changeRecipes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/analysis/ts/compatibility.d.ts

@@ -0,0 +1,54 @@
+import ts from 'typescript';
+/**
+ * Phase 2D — Type compatibility intelligence.
+ *
+ * Answers: "Would this type change break existing callers?"
+ * Uses the TypeScript checker to determine assignability, not just structural text.
+ *
+ * This is a key "smarter than graph" capability: a graph product can find callers
+ * but cannot determine which callers would actually break due to a type change.
+ */
+export interface CallSiteResult {
+    filePath: string;
+    line: number;
+    /** Argument count passed at this call site */
+    argCount: number;
+    /** Whether this call site is compatible with the new signature */
+    compatible: boolean;
+    /** Human-readable explanation if not compatible */
+    issue: string | null;
+}
+export interface CompatibilityReport {
+    funcName: string;
+    filePath: string;
+    /** Total callers found */
+    callerCount: number;
+    /** Callers that would break */
+    breakingCallers: CallSiteResult[];
+    /** Callers that are still compatible */
+    compatibleCallers: CallSiteResult[];
+    /** Minimum required arity */
+    requiredArity: number;
+    /** Max arity */
+    maxArity: number;
+}
+/**
+ * Find all call sites of a function and classify them as compatible or breaking,
+ * given the function's new signature (required params, max arity).
+ *
+ * Use case: after detecting a `param_required` change via api_guard, determine
+ * exactly which callers now pass too few arguments.
+ */
+export declare function analyzeCallSiteCompatibility(program: ts.Program, funcFilePath: string, funcName: string, newMinArity: number, newMaxArity: number): CompatibilityReport;
+/**
+ * Determine if a parameter type change is backward-compatible.
+ * Checks assignability in both directions using the TypeScript checker.
+ *
+ * Returns:
+ * - 'widening' — new type accepts more values (compatible for existing callers)
+ * - 'narrowing' — new type accepts fewer values (breaking for some callers)
+ * - 'incompatible' — types are unrelated (breaking)
+ * - 'equivalent' — types are the same
+ * - 'unknown' — cannot determine
+ */
+export declare function classifyTypeChange(program: ts.Program, contextFilePath: string, oldTypeText: string, newTypeText: string): 'widening' | 'narrowing' | 'incompatible' | 'equivalent' | 'unknown';

package/dist/analysis/ts/compatibility.js

@@ -0,0 +1,113 @@
+import ts from 'typescript';
+/**
+ * Find all call sites of a function and classify them as compatible or breaking,
+ * given the function's new signature (required params, max arity).
+ *
+ * Use case: after detecting a `param_required` change via api_guard, determine
+ * exactly which callers now pass too few arguments.
+ */
+export function analyzeCallSiteCompatibility(program, funcFilePath, funcName, newMinArity, newMaxArity) {
+    const breakingCallers = [];
+    const compatibleCallers = [];
+    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.isCallExpression(node)) {
+                const calleeName = extractCalleeName(node.expression);
+                if (calleeName === funcName) {
+                    const line = sf.getLineAndCharacterOfPosition(node.getStart(sf)).line + 1;
+                    const argCount = node.arguments.length;
+                    const compatible = argCount >= newMinArity && argCount <= newMaxArity;
+                    const result = {
+                        filePath: sf.fileName,
+                        line,
+                        argCount,
+                        compatible,
+                        issue: compatible
+                            ? null
+                            : argCount < newMinArity
+                                ? `Too few args: ${argCount} passed, ${newMinArity} required`
+                                : `Too many args: ${argCount} passed, max ${newMaxArity}`,
+                    };
+                    if (compatible)
+                        compatibleCallers.push(result);
+                    else
+                        breakingCallers.push(result);
+                }
+            }
+            ts.forEachChild(node, visitNode);
+        });
+    }
+    return {
+        funcName,
+        filePath: funcFilePath,
+        callerCount: breakingCallers.length + compatibleCallers.length,
+        breakingCallers,
+        compatibleCallers,
+        requiredArity: newMinArity,
+        maxArity: newMaxArity,
+    };
+}
+/**
+ * Determine if a parameter type change is backward-compatible.
+ * Checks assignability in both directions using the TypeScript checker.
+ *
+ * Returns:
+ * - 'widening' — new type accepts more values (compatible for existing callers)
+ * - 'narrowing' — new type accepts fewer values (breaking for some callers)
+ * - 'incompatible' — types are unrelated (breaking)
+ * - 'equivalent' — types are the same
+ * - 'unknown' — cannot determine
+ */
+export function classifyTypeChange(program, contextFilePath, oldTypeText, newTypeText) {
+    const sf = program.getSourceFile(contextFilePath);
+    if (!sf)
+        return 'unknown';
+    const checker = program.getTypeChecker();
+    try {
+        // Create synthetic type nodes and check assignability using the checker
+        // We use a heuristic based on type text comparison first for common cases
+        if (oldTypeText === newTypeText)
+            return 'equivalent';
+        // Simple heuristic: union widening (string | number vs string)
+        const oldIsSubset = isTypeSubsetHeuristic(oldTypeText, newTypeText);
+        const newIsSubset = isTypeSubsetHeuristic(newTypeText, oldTypeText);
+        if (oldIsSubset && newIsSubset)
+            return 'equivalent';
+        if (newIsSubset && !oldIsSubset)
+            return 'narrowing'; // new is stricter
+        if (oldIsSubset && !newIsSubset)
+            return 'widening'; // new is broader
+        return 'incompatible';
+    }
+    catch {
+        return 'unknown';
+    }
+}
+// ---------------------------------------------------------------------------
+// Internal helpers
+// ---------------------------------------------------------------------------
+function extractCalleeName(expr) {
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    if (ts.isPropertyAccessExpression(expr))
+        return expr.name.text;
+    return null;
+}
+/**
+ * Heuristic: does typeA appear to be a subset of typeB?
+ * E.g., 'string' is a subset of 'string | number'.
+ * This is approximate — use the TypeScript checker for precise results.
+ */
+function isTypeSubsetHeuristic(typeA, typeB) {
+    // Exact match
+    if (typeA === typeB)
+        return true;
+    // typeA is in a union that contains typeB
+    const bParts = typeB.split('|').map((p) => p.trim());
+    const aParts = typeA.split('|').map((p) => p.trim());
+    // Every part of A must be in B
+    return aParts.every((a) => bParts.some((b) => b === a || b === typeA));
+}
+//# sourceMappingURL=compatibility.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compatibility.js","sourceRoot":"","sources":["../../../src/analysis/ts/compatibility.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAsC5B;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,OAAmB,EACnB,YAAoB,EACpB,QAAgB,EAChB,WAAmB,EACnB,WAAmB;IAEnB,MAAM,eAAe,GAAqB,EAAE,CAAC;IAC7C,MAAM,iBAAiB,GAAqB,EAAE,CAAC;IAE/C,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,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBACtD,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;oBAC5B,MAAM,IAAI,GAAG,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;oBAC1E,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;oBACvC,MAAM,UAAU,GAAG,QAAQ,IAAI,WAAW,IAAI,QAAQ,IAAI,WAAW,CAAC;oBACtE,MAAM,MAAM,GAAmB;wBAC7B,QAAQ,EAAE,EAAE,CAAC,QAAQ;wBACrB,IAAI;wBACJ,QAAQ;wBACR,UAAU;wBACV,KAAK,EAAE,UAAU;4BACf,CAAC,CAAC,IAAI;4BACN,CAAC,CAAC,QAAQ,GAAG,WAAW;gCACtB,CAAC,CAAC,iBAAiB,QAAQ,YAAY,WAAW,WAAW;gCAC7D,CAAC,CAAC,kBAAkB,QAAQ,gBAAgB,WAAW,EAAE;qBAC9D,CAAC;oBACF,IAAI,UAAU;wBAAE,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;wBAAM,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,QAAQ;QACR,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,eAAe,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;QAC9D,eAAe;QACf,iBAAiB;QACjB,aAAa,EAAE,WAAW;QAC1B,QAAQ,EAAE,WAAW;KACtB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAmB,EACnB,eAAuB,EACvB,WAAmB,EACnB,WAAmB;IAEnB,MAAM,EAAE,GAAG,OAAO,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC;IAClD,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAE1B,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,IAAI,CAAC;QACH,wEAAwE;QACxE,0EAA0E;QAC1E,IAAI,WAAW,KAAK,WAAW;YAAE,OAAO,YAAY,CAAC;QAErD,+DAA+D;QAC/D,MAAM,WAAW,GAAG,qBAAqB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACpE,MAAM,WAAW,GAAG,qBAAqB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QAEpE,IAAI,WAAW,IAAI,WAAW;YAAE,OAAO,YAAY,CAAC;QACpD,IAAI,WAAW,IAAI,CAAC,WAAW;YAAE,OAAO,WAAW,CAAC,CAAC,kBAAkB;QACvE,IAAI,WAAW,IAAI,CAAC,WAAW;YAAE,OAAO,UAAU,CAAC,CAAE,iBAAiB;QACtE,OAAO,cAAc,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,iBAAiB,CAAC,IAAmB;IAC5C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,KAAa,EAAE,KAAa;IACzD,cAAc;IACd,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACjC,0CAA0C;IAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACrD,+BAA+B;IAC/B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;AACzE,CAAC"}

package/dist/analysis/ts/diffDeclarationShape.d.ts

@@ -0,0 +1,26 @@
+import type { DeclarationShape } from './extractDeclarationShape.js';
+export type DeclRisk = 'breaking' | 'risky' | 'safe';
+export interface DeclarationDiff {
+    kind: 'added' | 'removed' | 'renamed' | 'param_added' | 'param_removed' | 'param_required' | 'return_type_changed' | 'interface_shape_changed' | 'enum_member_added' | 'enum_member_removed' | 'reexport_changed' | 'type_changed' | 'signature_changed' | 'unknown';
+    /** Semantic risk level of this change. */
+    risk: DeclRisk;
+    reason: string;
+    details: string[];
+}
+/**
+ * Diff two declaration shapes and return a list of changes.
+ */
+export declare function diffDeclarationShapes(base: DeclarationShape, current: DeclarationShape): DeclarationDiff[];
+export interface ExportSetDiff {
+    name: string;
+    status: 'added' | 'removed' | 'changed';
+    risk: DeclRisk;
+    diffs: DeclarationDiff[];
+    baseShape?: DeclarationShape;
+    currentShape?: DeclarationShape;
+}
+/**
+ * Diff two sets of exports: find added, removed, and changed declarations.
+ * Each result includes risk, the originating shapes, and per-change diffs.
+ */
+export declare function diffExportSets(baseShapes: DeclarationShape[], currentShapes: DeclarationShape[]): ExportSetDiff[];