ucn 5.1.1 → 5.2.0

package/core/graph-build.js

@@ -451,6 +451,12 @@ function buildInheritanceGraph(index) {
                 }
                 index.extendsGraph.get(symbol.name).push({
                     file: filePath,
+                    // Per-def anchor (fix #300, attrs-measured): five
+                    // function-local `class C2Slots(...)` defs in one file
+                    // carry DIFFERENT parents — file-granular lookup returned
+                    // the first entry for all of them. startLine lets scope-
+                    // aware consumers pick the def the call site actually sees.
+                    startLine: symbol.startLine,
                     parents: resolvedParents
                 });
 

package/core/index-ir.js

@@ -66,7 +66,7 @@ function createFileEntryFromIR({
 
 const OPTIONAL_SYMBOL_FIELDS = Object.freeze([
     'returnedFunctionResult', 'isFunctionVariable', 'paramTypes', 'isAsync',
-    'isGenerator', 'generics', 'extends', 'implements', 'indent', 'isNested',
+    'isGenerator', 'generics', 'genericBounds', 'extends', 'implements', 'indent', 'isNested',
     'enclosingType', 'isMethod', 'receiver', 'memberType', 'fieldType',
     'aliasOf', 'derefTarget', 'decorators', 'decoratorsWithArgs',
     'annotationsWithArgs', 'attributesWithArgs', 'nameLine', 'traitImpl',
@@ -76,8 +76,9 @@ const OPTIONAL_SYMBOL_FIELDS = Object.freeze([
     'lexicalScopeStartLine', 'lexicalScopeEndLine',
     'returnTypeQualifier', 'macroNeverReturns', 'callbackParamTypes', 'iteratorItemType',
     'returnedConcreteType', 'returnedConstructors', 'templateDependent',
+    'isSpecialization',
     'linkage', 'functionLike', 'callableAlias', 'exportedAlias',
-    'aliasOwner', 'aliasMember',
+    'aliasOwner', 'aliasMember', 'macroParamEffects',
 ]);
 
 function materializeSymbol(fileEntry, item) {

package/core/ir.js

@@ -43,7 +43,7 @@ function normalizeSymbol(symbol, family, language, kind, owner = null) {
     };
     const passthrough = [
         'docstring', 'returnedFunctionResult', 'isFunctionVariable', 'paramTypes',
-        'isAsync', 'isGenerator', 'generics', 'extends', 'implements', 'indent',
+        'isAsync', 'isGenerator', 'generics', 'genericBounds', 'extends', 'implements', 'indent',
         'isNested', 'enclosingType', 'isMethod', 'memberType', 'fieldType',
         'aliasOf', 'derefTarget', 'decorators', 'decoratorsWithArgs',
         'annotationsWithArgs', 'attributesWithArgs', 'nameLine', 'traitImpl',
@@ -53,8 +53,9 @@ function normalizeSymbol(symbol, family, language, kind, owner = null) {
         'namespace', 'lexicalScopeStartLine', 'lexicalScopeEndLine',
         'returnTypeQualifier', 'macroNeverReturns', 'callbackParamTypes', 'iteratorItemType',
         'returnedConcreteType', 'returnedConstructors', 'templateDependent',
+        'isSpecialization',
         'linkage', 'functionLike', 'callableAlias', 'exportedAlias',
-        'aliasOwner', 'aliasMember',
+        'aliasOwner', 'aliasMember', 'macroParamEffects',
     ];
     for (const field of passthrough) {
         if (symbol[field] !== undefined && symbol[field] !== null) {

package/core/output/refactoring.js

@@ -70,7 +70,7 @@ function formatPlan(plan, options = {}) {
     lines.push(`  Files affected: ${plan.filesAffected}`);
     if (plan.changeSummary) {
         const summary = plan.changeSummary;
-        lines.push(`  Definition ${summary.definitions}, calls/references ${summary.calls}, imports ${summary.imports}, exports ${summary.exports}; manual review required for ${summary.reviewRequired} of these changes`);
+        lines.push(`  Definition ${summary.definitions}, calls ${summary.calls}, references ${summary.references || 0}, imports ${summary.imports}, exports ${summary.exports}; manual review required for ${summary.reviewRequired} of these changes`);
     }
     if (plan.unchangedSites > 0) {
         lines.push(`  ${plan.unchangedSites} existing call site${plan.unchangedSites === 1 ? '' : 's'} require no edit because the new parameter has a default.`);

package/core/project.js

@@ -444,6 +444,9 @@ class ProjectIndex {
         this._completenessCache = null;
         this._attrTypeCache = null;
         this._computedDispatchBlindspots = null;
+        this._cppVisibleFilesCache?.clear();
+        this._cppTargetVisibilityCache?.clear();
+        this._cppMacroParamOutcomesCache?.clear();
         // Endpoints cache (server routes / client requests / bridges) becomes
         // stale when files change; clear on every rebuild.
         this._endpointsCache = null;
@@ -589,6 +592,13 @@ class ProjectIndex {
             return false;
         }
 
+        // These query caches depend on project symbols and include closure.
+        // A changed file can alter either even before a full rebuild reaches
+        // its graph phase, so no prior call-identity verdict may survive.
+        this._cppVisibleFilesCache?.clear();
+        this._cppTargetVisibilityCache?.clear();
+        this._cppMacroParamOutcomesCache?.clear();
+
         if (existing) {
             this.removeFileSymbols(filePath);
         }
@@ -942,6 +952,28 @@ class ProjectIndex {
         return entries;
     }
 
+    /**
+     * Def-exact inheritance parents (fix #300): resolve parents for ONE
+     * specific class definition by (file, startLine). Same-name classes in
+     * one file (function-local test classes) carry different parents; the
+     * file-granular lookup above conflates them. Returns null when no entry
+     * matches — for a known def that means it extends nothing (entries are
+     * only recorded for extends-bearing defs), which callers must treat as
+     * "no parents", never fall back to a sibling def's edges.
+     * @param {string} className
+     * @param {string} contextFile
+     * @param {number} defStartLine
+     * @returns {string[]|null}
+     */
+    _getInheritanceParentsAt(className, contextFile, defStartLine) {
+        const entries = this.extendsGraph.get(className);
+        if (!entries || entries.length === 0) return null;
+        if (typeof entries[0] !== 'object' || entries[0].file === undefined) return null;
+        const match = entries.find(e => e.file === contextFile &&
+            e.startLine === defStartLine);
+        return match ? match.parents : null;
+    }
+
     /**
      * Resolve which file a class is defined in, preferring contextFile.
      * Used during inheritance BFS to find grandparent chains.

package/core/search.js

@@ -352,6 +352,15 @@ function usages(index, name, options = {}) {
                         usageType: u.usageType,
                         isDefinition: false,
                         ...(u.receiver && { receiver: u.receiver }),
+                        // Refactoring internals need the exact AST token and
+                        // receiver provenance, but the public usages JSON is a
+                        // stable line-oriented inventory. Keep this opt-in so
+                        // plan gains precision without changing that surface.
+                        ...(options.internalEvidence && {
+                            ...(Number.isInteger(u.column) && { column: u.column }),
+                            ...(u.receiverIsModule && { receiverIsModule: true }),
+                            ...(u.receiverLocalBinding && { receiverLocalBinding: true }),
+                        }),
                         ...(callerSym && {
                             callerName: callerSym.name,
                             callerStartLine: callerSym.startLine