ucn 4.1.3 → 4.2.1

package/core/output/analysis.js

@@ -75,9 +75,9 @@ function isTestEntry(entry) {
 }
 
 /**
- * Render the conservation contract lines: ACCOUNT (always), WARNING (unparsed
- * files containing the symbol), FILTERED (display-filter hides). Returns [].
- * when no account is present (e.g. class-type context).
+ * Render the conservation contract lines: ACCOUNT and CONTRACT (always),
+ * WARNING (unparsed files containing the symbol), FILTERED (display-filter
+ * hides). Returns [] when no account is present (e.g. class-type context).
  */
 function formatAccountLines(account) {
     if (!account) return [];
@@ -93,6 +93,18 @@ function formatAccountLines(account) {
         line += ` (+${account.beyondText.count} beyond-text caller${account.beyondText.count === 1 ? '' : 's'})`;
     }
     lines.push(line);
+    const contract = account.contract || {};
+    const textComplete = contract.textComplete !== undefined
+        ? contract.textComplete
+        : Boolean(account.conserved) && !(account.unparsed && account.unparsed.fileCount > 0) &&
+            !(account.unreadableFiles && account.unreadableFiles.length > 0);
+    if (!textComplete) {
+        lines.push('CONTRACT: literal-name text partition is DEGRADED; review WARNING and unaccounted lines before acting. Semantic completeness is not claimed.');
+    } else if (contract.observedTextZero) {
+        lines.push('CONTRACT: observed-text zero only; every literal-name line was classified, but aliases, indirect calls, generated code, and runtime dispatch may exist. Not safe-delete proof.');
+    } else {
+        lines.push('CONTRACT: literal-name text partition complete; semantic completeness is not claimed (aliases, indirect calls, generated code, and runtime dispatch may exist).');
+    }
     if (account.unparsed && account.unparsed.fileCount > 0) {
         lines.push(`WARNING: ${account.unparsed.fileCount} unparsed file${account.unparsed.fileCount === 1 ? '' : 's'} ` +
             `contain${account.unparsed.fileCount === 1 ? 's' : ''} "${account.symbol}" ` +
@@ -184,6 +196,8 @@ function formatContextJson(context) {
                     // Tier parity with the function-path callers list: class
                     // usages are the confirmed-tier answer for type symbols.
                     ...(c.confidence !== undefined && { confidence: c.confidence }),
+                    ...(c.evidenceScore !== undefined && { evidenceScore: c.evidenceScore }),
+                    ...(c.scoreKind && { scoreKind: c.scoreKind }),
                     ...(c.resolution && { resolution: c.resolution }),
                     ...(c.tier && { tier: c.tier })
                 })),
@@ -193,6 +207,10 @@ function formatContextJson(context) {
                     expression: c.content,
                     callerName: c.callerName ?? null,
                     tier: 'unverified',
+                    ...(c.confidence !== undefined && { confidence: c.confidence }),
+                    ...(c.evidenceScore !== undefined && { evidenceScore: c.evidenceScore }),
+                    ...(c.scoreKind && { scoreKind: c.scoreKind }),
+                    ...(c.resolution && { resolution: c.resolution }),
                     ...(c.reason && { reason: c.reason }),
                     ...(c.dispatchVia && { dispatchVia: c.dispatchVia }),
                     ...(c.dispatchCandidates != null && { dispatchCandidates: c.dispatchCandidates }),
@@ -225,6 +243,8 @@ function formatContextJson(context) {
                 ...(c.calledAs && { calledAs: c.calledAs }),
                 ...(c.isFunctionReference && { functionReference: true }),
                 ...(c.confidence != null && { confidence: c.confidence, resolution: c.resolution }),
+                ...(c.evidenceScore != null && { evidenceScore: c.evidenceScore }),
+                ...(c.scoreKind && { scoreKind: c.scoreKind }),
                 ...(c.tier && { tier: c.tier }),
                 ...(c.reachable !== undefined && { reachable: c.reachable }),
             })),
@@ -236,6 +256,8 @@ function formatContextJson(context) {
                 ...(c.calledAs && { calledAs: c.calledAs }),
                 ...(c.isFunctionReference && { functionReference: true }),
                 ...(c.confidence != null && { confidence: c.confidence, resolution: c.resolution }),
+                ...(c.evidenceScore != null && { evidenceScore: c.evidenceScore }),
+                ...(c.scoreKind && { scoreKind: c.scoreKind }),
                 tier: 'unverified',
                 ...(c.reason && { reason: c.reason }),
                 ...(c.dispatchVia && { dispatchVia: c.dispatchVia }),
@@ -250,6 +272,8 @@ function formatContextJson(context) {
                 params: c.params,  // FULL params
                 weight: c.weight || 'normal',  // Dependency weight: core, setup, utility
                 ...(c.confidence != null && { confidence: c.confidence, resolution: c.resolution }),
+                ...(c.evidenceScore != null && { evidenceScore: c.evidenceScore }),
+                ...(c.scoreKind && { scoreKind: c.scoreKind }),
                 ...(c.tier && { tier: c.tier }),
                 ...(c.sites && { sites: c.sites }),
                 ...(c.functionReference && { functionReference: true }),
@@ -377,7 +401,7 @@ function formatContext(ctx, options = {}) {
     if (ctx.meta) {
         const notes = [];
         if (ctx.meta.dynamicImports) { const dn = dynamicImportsNote(ctx.meta.dynamicImports, ctx.meta); if (dn) notes.push(dn); }
-        if (ctx.meta.confidenceFiltered) notes.push(`${ctx.meta.confidenceFiltered} edge(s) below confidence threshold hidden`);
+        if (ctx.meta.confidenceFiltered) notes.push(`${ctx.meta.confidenceFiltered} edge(s) below evidence threshold hidden`);
         if (notes.length) {
             lines.push(`  Note: ${notes.join(', ')}`);
         }
@@ -401,7 +425,7 @@ function formatContext(ctx, options = {}) {
         : `CALLERS — CONFIRMED (${callers.length}):`;
     lines.push(`${compact ? '' : '\n'}${tierHeader}`);
     const callerEvidence = options.showConfidence !== false ? formatEvidenceLine(callers) : null;
-    if (callerEvidence && !compact) lines.push(callerEvidence);
+    if (callerEvidence) lines.push(callerEvidence);
     const callerReach = reachabilityDisplay(callers, hasEntrypoints, 'caller');
     const renderCaller = (c) => {
         const callerName = c.callerName ? ` [${c.callerName}]` : '';
@@ -470,7 +494,7 @@ function formatContext(ctx, options = {}) {
     const callees = ctx.callees || [];
     lines.push(`${compact ? '' : '\n'}CALLEES (${callees.length}):`);
     const calleeEvidence = options.showConfidence !== false ? formatEvidenceLine(callees) : null;
-    if (calleeEvidence && !compact) lines.push(calleeEvidence);
+    if (calleeEvidence) lines.push(calleeEvidence);
     const calleeReach = reachabilityDisplay(callees, hasEntrypoints, 'callee');
     for (const c of callees) {
         const weight = c.weight && c.weight !== 'normal' ? ` [${c.weight}]` : '';
@@ -709,14 +733,18 @@ function formatAbout(about, options = {}) {
         }
     }
     if (about.confidenceFiltered) {
-        lines.push(`  Note: ${about.confidenceFiltered} edge(s) below confidence threshold hidden`);
+        lines.push(`  Note: ${about.confidenceFiltered} edge(s) below evidence threshold hidden`);
     }
 
     // Usage summary (fast-path approximation; ACCOUNT below is the exact
     // text-ground truth — both are labeled to avoid confusion)
     lines.push('');
-    lines.push(`USAGES: ${about.totalUsages} total`);
-    lines.push(`  ${about.usages.calls} calls, ${about.usages.imports} imports, ${about.usages.references} references`);
+    if (compact) {
+        lines.push(`USAGES: ${about.totalUsages} total (${about.usages.calls} calls, ${about.usages.imports} imports, ${about.usages.references} references)`);
+    } else {
+        lines.push(`USAGES: ${about.totalUsages} total`);
+        lines.push(`  ${about.usages.calls} calls, ${about.usages.imports} imports, ${about.usages.references} references`);
+    }
 
     // Callers — CONFIRMED tier, prod before test
     const hasEntrypoints = about.hasEntrypoints !== false;
@@ -740,7 +768,7 @@ function formatAbout(about, options = {}) {
             const caller = c.callerName ? `[${c.callerName}]` : '';
             const unreachableMark = (aboutCallerReach.perLine && c.reachable === false) ? ' [unreachable]' : '';
             lines.push(`  ${c.file}:${c.line} ${caller}${unreachableMark}`);
-            lines.push(`    ${c.expression}`);
+            if (!compact && c.expression) lines.push(`    ${c.expression}`);
         };
         for (const c of prodTop) renderAboutCaller(c);
         if (testTop.length > 0) {
@@ -773,7 +801,7 @@ function formatAbout(about, options = {}) {
         for (const u of aboutUnverified.top) {
             const caller = u.callerName ? ` [${u.callerName}]` : '';
             const reason = u.reason ? ` (${unverifiedReasonLabel(u)})` : '';
-            const expr = u.expression ? `: ${u.expression.replace(/\s+/g, ' ').slice(0, 100)}` : '';
+            const expr = !compact && u.expression ? `: ${u.expression.replace(/\s+/g, ' ').slice(0, 100)}` : '';
             lines.push(`  ${u.file}:${u.line}${caller}${expr}${reason}`);
         }
         if (aboutUnverified.total > aboutUnverified.top.length) {
@@ -799,13 +827,13 @@ function formatAbout(about, options = {}) {
             const sideEffects = (c.sideEffects && c.sideEffects.length) ? ` {${c.sideEffects.join(',')}}` : '';
             const unreachableMark = (aboutCalleeReach.perLine && c.reachable === false) ? ' [unreachable]' : '';
             lines.push(`  ${c.name}${weight}${returnSuffix}${sideEffects} - ${c.file}:${c.line} (${c.callCount}x)${unreachableMark}`);
-            if (c.docstring) {
+            if (!compact && c.docstring) {
                 const snip = calleeDocstringSnippet(c.docstring);
                 if (snip) lines.push(`    "${snip}"`);
             }
 
             // Inline expansion: show first 3 lines of callee code
-            if (expand && root && c.file && c.startLine) {
+            if (!compact && expand && root && c.file && c.startLine) {
                 try {
                     const filePath = path.isAbsolute(c.file) ? c.file : path.join(root, c.file);
                     const content = fs.readFileSync(filePath, 'utf-8');
@@ -840,6 +868,13 @@ function formatAbout(about, options = {}) {
     // Tests
     if (about.tests.totalMatches > 0) {
         lines.push('');
+        if (compact) {
+            const shown = about.tests.files.length > 0 ? `: ${about.tests.files.join(', ')}` : '';
+            const partial = about.tests.fileCount > about.tests.files.length
+                ? ` (showing ${about.tests.files.length} of ${about.tests.fileCount} files)`
+                : '';
+            lines.push(`TESTS: ${about.tests.totalMatches} matches${partial}${shown}`);
+        } else {
         if (about.tests.fileCount > about.tests.files.length) {
             lines.push(`TESTS: ${about.tests.totalMatches} matches in ${about.tests.fileCount} file(s), showing ${about.tests.files.length}:`);
             aboutTruncated = true;
@@ -849,6 +884,7 @@ function formatAbout(about, options = {}) {
         for (const f of about.tests.files) {
             lines.push(`  ${f}`);
         }
+        }
     }
 
     // Other definitions
@@ -881,10 +917,13 @@ function formatAbout(about, options = {}) {
     }
 
     // Code
-    if (about.code) {
+    if (about.code && !compact) {
         lines.push('');
         lines.push('─── CODE ───');
         lines.push(about.code);
+    } else if (about.code && compact) {
+        lines.push('');
+        lines.push(`SOURCE: omitted in compact mode; use fn ${sym.handle || sym.name} to extract it.`);
     }
 
     if (aboutTruncated) {

package/core/output/check.js

@@ -13,6 +13,16 @@ function formatCheck(result) {
     const lines = [];
     lines.push(`Pre-commit Check vs ${result.base}${result.staged ? ' (staged)' : ''}`);
     lines.push('═'.repeat(60));
+    if (result.trust) {
+        lines.push(`TRUST: ${result.trust.status} — UCN evidence is not semantic proof; compiler and tests are required`);
+        const trustDetails = [];
+        if (result.trust.incompleteAccounts) trustDetails.push(`${result.trust.incompleteAccounts} incomplete account(s)`);
+        if (result.trust.unverifiedCallSites) trustDetails.push(`${result.trust.unverifiedCallSites} unverified caller(s)`);
+        if (result.trust.signatureMismatches) trustDetails.push(`${result.trust.signatureMismatches} signature mismatch(es)`);
+        if (result.trust.filteredEdges) trustDetails.push(`${result.trust.filteredEdges} filtered edge(s)`);
+        if (result.trust.usageReviewSymbols) trustDetails.push(`${result.trust.usageReviewSymbols} symbol(s) need usages review`);
+        if (trustDetails.length > 0) lines.push(`  ${trustDetails.join(' · ')}`);
+    }
 
     // Changed functions section
     const items = result.changed || [];
@@ -29,6 +39,7 @@ function formatCheck(result) {
             if (it.kind && it.kind !== 'changed') tags.push(it.kind.toUpperCase());
             if (it.signatureMismatches > 0) tags.push(`SIG-DRIFT(${it.signatureMismatches})`);
             if (it.orphan) tags.push('ORPHAN');
+            if (it.account && !it.account.textComplete) tags.push('ACCOUNT-INCOMPLETE');
             const tagStr = tags.length ? ' [' + tags.join(', ') + ']' : '';
             let callers = it.callerCount != null ? `${it.callerCount} caller${it.callerCount === 1 ? '' : 's'}` : '';
             if (it.unverifiedCallerCount > 0) {

package/core/output/doctor.js

@@ -4,10 +4,6 @@
 
 'use strict';
 
-function pad(n, width = 4) {
-    return String(n).padStart(width);
-}
-
 function formatDoctor(result) {
     if (!result) return 'No project to analyze.';
     const lines = [];
@@ -32,23 +28,31 @@ function formatDoctor(result) {
         const buildHint = result.cache.buildMs ? `, ${result.cache.buildMs}ms build` : '';
         lines.push(`Cache: ${state}${buildHint}`);
     }
+    if (result.commandTrust) {
+        const c = result.commandTrust;
+        lines.push(`Command proofs: ${c.classified}/${c.commands} classified, ${c.oracleBacked} external-oracle-backed, ${c.unclassified} unclassified`);
+        lines.push('  Classification describes shipped proof coverage, not this repository\'s runtime accuracy.');
+    }
 
-    // Coverage (if computed)
-    if (result.coverage && result.coverage.total > 0) {
+    // Evidence profile (if computed). Confidence scores are rule labels, not
+    // empirically calibrated probabilities, so never call this accuracy.
+    const profile = result.evidenceProfile || result.coverage;
+    if (profile && profile.total > 0) {
         lines.push('');
-        lines.push('Resolution coverage (sampled):');
-        const c = result.coverage;
+        lines.push('Resolution evidence profile (sampled; not semantic accuracy):');
+        const c = profile;
         const total = c.total || 1;
-        lines.push(`  High confidence (>0.8): ${c.high} (${(c.high / total * 100).toFixed(1)}%)`);
-        lines.push(`  Medium (0.5-0.8):       ${c.medium} (${(c.medium / total * 100).toFixed(1)}%)`);
-        lines.push(`  Low (<0.5):             ${c.low} (${(c.low / total * 100).toFixed(1)}%)`);
-        lines.push(`  Sampled ${c.sampled} symbols → ${c.total} edges examined`);
-    } else if (result.coverage) {
+        lines.push(`  Confirmed evidence: ${c.confirmed} (${(c.confirmed / total * 100).toFixed(1)}%)`);
+        lines.push(`  Unverified:         ${c.unverified} (${(c.unverified / total * 100).toFixed(1)}%)`);
+        lines.push(`  Score bands: high ${c.high}, medium ${c.medium}, low ${c.low}`);
+        lines.push(`  Sampled ${c.sampled}/${c.candidateSymbols} pinned definitions → ${c.total} unique edge candidates`);
+        lines.push(`  Sample quality: ${c.adequate ? 'adequate' : 'insufficient'}${c.representative ? ', all indexed languages represented' : ''}`);
+    } else if (profile) {
         lines.push('');
-        lines.push('Resolution coverage: no edges in sample — likely a small or isolated project.');
+        lines.push('Resolution evidence profile: no caller edges in the stratified sample.');
     } else {
         lines.push('');
-        lines.push('Resolution coverage: not computed (use --deep for sampled analysis)');
+        lines.push('Resolution evidence profile: not computed (use --deep)');
     }
 
     // Blind spots
@@ -60,8 +64,12 @@ function formatDoctor(result) {
         ['Eval/exec calls', bs.evalCalls],
         ['Reflection',      bs.reflection],
         ['Parse failures',  bs.parseFailures],
+        ['Parser recovery', bs.parseRecoveries],
     ];
-    const unitFor = { 'Dynamic imports': 'import', 'Eval/exec calls': 'use', 'Reflection': 'use', 'Parse failures': 'failure' };
+    const unitFor = {
+        'Dynamic imports': 'import', 'Eval/exec calls': 'use', Reflection: 'use',
+        'Parse failures': 'failure',
+    };
     let anyBlindSpot = false;
     for (const [label, info] of bsLines) {
         if (info && info.count > 0) {
@@ -72,7 +80,11 @@ function formatDoctor(result) {
             // never present the display cap as the population (field-report #2).
             const fileCount = info.fileCount != null ? info.fileCount : info.files.length;
             const unit = unitFor[label] || 'use';
-            lines.push(`  ${label}: ${info.count} ${unit}${info.count === 1 ? '' : 's'} in ${fileCount} file${fileCount === 1 ? '' : 's'}`);
+            if (label === 'Parser recovery') {
+                lines.push(`  ${label}: ${fileCount} recovered file${fileCount === 1 ? '' : 's'} (results may be partial)`);
+            } else {
+                lines.push(`  ${label}: ${info.count} ${unit}${info.count === 1 ? '' : 's'} in ${fileCount} file${fileCount === 1 ? '' : 's'}`);
+            }
             const shownFiles = info.files.slice(0, 3);
             const sample = shownFiles.map(f => `    - ${f}`).join('\n');
             const moreFiles = fileCount - shownFiles.length;
@@ -82,9 +94,18 @@ function formatDoctor(result) {
     }
     if (!anyBlindSpot) lines.push('  (none detected)');
 
-    // Verdict
+    // Task-specific readiness. One scalar cannot honestly describe navigation,
+    // refactoring, and deletion risk.
     lines.push('');
-    lines.push(`Trust level: ${result.trust}${result.trustReason ? ' — ' + result.trustReason : ''}`);
+    if (result.dimensions) {
+        lines.push('Readiness:');
+        for (const key of ['navigation', 'refactor', 'deletion']) {
+            const d = result.dimensions[key];
+            if (d) lines.push(`  ${key}: ${d.level} — ${d.reason}`);
+        }
+        lines.push(`  semantic recall: ${result.dimensions.semanticRecall.level} — ${result.dimensions.semanticRecall.reason}`);
+    }
+    lines.push(`Overall (${result.trustScope || 'legacy'}): ${result.trust}${result.trustReason ? ' — ' + result.trustReason : ''}`);
     return lines.join('\n');
 }
 

package/core/output/endpoints.js

@@ -15,8 +15,6 @@
 const { advisoryLine } = require('./shared');
 const { codeUnitCompare } = require('../shared');
 
-const SEP_TIER = { exact: 'EXACT', partial: 'PARTIAL', uncertain: 'UNCERTAIN' };
-
 function pad(s, n) {
     if (typeof s !== 'string') s = String(s);
     return s.length >= n ? s : s + ' '.repeat(n - s.length);

package/core/output/search.js

@@ -151,6 +151,10 @@ function formatStructuralSearchJson(result) {
  * Format example result as text
  */
 function formatExample(result, name) {
+    if (result && !result.best && result.unverifiedCalls > 0) {
+        const n = result.unverifiedCalls;
+        return `No confirmed call example for "${name}". ${n} unverified candidate${n === 1 ? '' : 's'} require receiver/binding review (use impact or usages).`;
+    }
     // MEDIUM-8: when only test-file callers exist and the user didn't ask
     // for them, surface that fact explicitly instead of saying nothing was
     // found.
@@ -172,6 +176,7 @@ function formatExample(result, name) {
     lines.push(`${best.relativePath}:${best.line}`);
     const exAdvisory = advisoryLine(result.advisory);
     if (exAdvisory) lines.push(exAdvisory);
+    lines.push(`Evidence: ${best.evidenceTier || 'unverified'}${best.resolution ? ` (${best.resolution})` : ''}`);
     lines.push('');
 
     if (best.before) {
@@ -224,6 +229,7 @@ function formatExampleDiverse(result, name) {
         lines.push(`[${i + 1}] ${shape}  — ${c.count} call${c.count === 1 ? '' : 's'} in this cluster`);
         if (!rep) continue;
         lines.push(`    ${rep.relativePath || rep.file}:${rep.line}`);
+        lines.push(`    evidence: ${rep.evidenceTier || 'unverified'}${rep.resolution ? ` (${rep.resolution})` : ''}`);
 
         if (rep.before) {
             for (let j = 0; j < rep.before.length; j++) {
@@ -256,10 +262,17 @@ function formatExampleJson(result, name) {
         // Surface the excluded-test-usages count in JSON too (fix #237 — the
         // handler note that used to carry it duplicated the text body).
         const excluded = result?.excludedTestCalls || 0;
+        const unverified = result?.unverifiedCalls || 0;
         return JSON.stringify({
             found: false, query: name,
             ...(excluded > 0 && { excludedTestCalls: excluded }),
-            error: excluded > 0
+            ...(unverified > 0 && {
+                unverifiedCalls: unverified,
+                unverifiedCandidates: result.unverifiedCandidates || [],
+            }),
+            error: unverified > 0
+                ? `No confirmed call example for "${name}". ${unverified} unverified candidate${unverified === 1 ? '' : 's'} require receiver/binding review.`
+                : excluded > 0
                 ? `No call examples found for "${name}" (excluded ${excluded} test-file usage${excluded === 1 ? '' : 's'} — pass --include-tests to include them)`
                 : `No call examples found for "${name}"`,
         }, null, 2);
@@ -271,12 +284,17 @@ function formatExampleJson(result, name) {
         query: name,
         ...(result.advisory && { advisory: result.advisory }),
         totalCalls: result.totalCalls,
+        confirmedCalls: result.confirmedCalls || 0,
+        unverifiedCalls: result.unverifiedCalls || 0,
         best: {
             file: best.relativePath || best.file,
             line: best.line,
             content: best.content,
             score: best.score,
             reasons: best.reasons || [],
+            evidenceTier: best.evidenceTier || 'unverified',
+            ...(best.resolution && { resolution: best.resolution }),
+            ...(best.reason && { reason: best.reason }),
             ...(best.before && best.before.length > 0 && { before: best.before }),
             ...(best.after && best.after.length > 0 && { after: best.after })
         }
@@ -383,6 +401,11 @@ function formatTests(tests, name) {
     } else {
         const totalMatches = tests.reduce((sum, t) => sum + t.matches.length, 0);
         lines.push(`Found ${totalMatches} matches in ${tests.length} test file(s):\n`);
+        const unverified = tests.reduce((sum, t) => sum +
+            t.matches.filter(m => ['unverified-call', 'unverified-reference'].includes(m.matchType)).length, 0);
+        if (unverified > 0) {
+            lines.push(`UNVERIFIED: ${unverified} possible test call${unverified === 1 ? '' : 's'} need receiver/binding review.\n`);
+        }
 
         for (const testFile of tests) {
             lines.push(testFile.file);
@@ -390,6 +413,8 @@ function formatTests(tests, name) {
                 const typeLabel = match.matchType === 'test-case' ? '[test]' :
                     match.matchType === 'import' ? '[import]' :
                     match.matchType === 'call' ? '[call]' :
+                    match.matchType === 'unverified-call' ? '[unverified-call]' :
+                    match.matchType === 'unverified-reference' ? '[unverified-ref]' :
                     match.matchType === 'string-ref' ? '[string]' : '[ref]';
                 lines.push(`  ${match.line}: ${typeLabel} ${match.content}`);
             }

package/core/parser.js

@@ -6,7 +6,6 @@
  */
 
 const fs = require('fs');
-const path = require('path');
 const { detectLanguage, getParser, getLanguageModule, isSupported } = require('../languages');
 
 /**
@@ -58,6 +57,7 @@ const { detectLanguage, getParser, getLanguageModule, isSupported } = require('.
  * @property {StateDef[]} stateObjects - All state objects
  * @property {Array} imports - Import statements (from imports.js)
  * @property {Array} exports - Export statements (from imports.js)
+ * @property {boolean} [parseRecovery] - Tree-sitter recovered from syntax errors; results may be partial
  */
 
 /**

package/core/project.js

@@ -9,7 +9,7 @@ const fs = require('fs');
 const path = require('path');
 const crypto = require('crypto');
 const { expandGlob, findProjectRoot, detectProjectPattern, isTestFile, parseGitignore, DEFAULT_IGNORES, compareNames } = require('./discovery');
-const { extractImports, extractExports, resolveImport } = require('./imports');
+const { extractImports, extractExports } = require('./imports');
 const { parse, cleanHtmlScriptTags } = require('./parser');
 const { detectLanguage, getParser, getLanguageModule, safeParse, langTraits, PARSE_OPTIONS } = require('../languages');
 const { getTokenTypeAtPosition } = require('../languages/utils');
@@ -54,6 +54,8 @@ class ProjectIndex {
         this._opUsagesCache = null;      // per-operation findUsagesInCode cache (Map<"file:name", usages[]>)
         this._opTreeCache = null;        // per-operation parsed-tree cache (Map<filePath, tree|null>, bounded FIFO)
         this._opLinesCache = null;       // per-operation split-lines cache (Map<filePath, string[]>, bounded FIFO)
+        this._opInnerSymbolRangesCache = null; // per-operation sorted class-method ranges by file
+        this._opFlowTypeOriginCache = null; // per-operation annotation type identity results
         this.calleeIndex = null;         // name -> Set<filePath> — inverted call index (built lazily)
     }
 
@@ -83,6 +85,15 @@ class ProjectIndex {
             this._opEnclosingFnCache = new Map();
             this._opTreeCache = new Map();
             this._opLinesCache = new Map();
+            // Query-time semantic derivations that depend only on one file's
+            // immutable call records. Reachability may ask findCallees() for
+            // thousands of symbols in the same few large files; rebuilding
+            // these structures per symbol turns the walk quadratic.
+            this._opReturnTypeFlowCache = new Map();
+            this._opCallsByLineCache = new Map();
+            this._opInnerSymbolRangesCache = new Map();
+            this._opFlowTypeOriginCache = new Map();
+            this._opImportReachCache = new Map();
             this._opDepth = 0;
         }
         this._opDepth++;
@@ -99,6 +110,11 @@ class ProjectIndex {
             this._opEnclosingFnCache = null;
             this._opTreeCache = null;
             this._opLinesCache = null;
+            this._opReturnTypeFlowCache = null;
+            this._opCallsByLineCache = null;
+            this._opInnerSymbolRangesCache = null;
+            this._opFlowTypeOriginCache = null;
+            this._opImportReachCache = null;
             // Free cached file content from callsCache entries (retained during
             // operation for _readFile caching, not needed between operations)
             for (const entry of this.callsCache.values()) {
@@ -120,7 +136,7 @@ class ProjectIndex {
         if (!this._opTreeCache) return null;
         const cached = this._opTreeCache.get(filePath);
         if (cached !== undefined) return cached;
-        let tree = null;
+        let tree;
         try {
             const parser = getParser(language);
             tree = parser ? safeParse(parser, content, undefined, PARSE_OPTIONS) : null;
@@ -495,6 +511,7 @@ class ProjectIndex {
             exportDetails: exports,
             symbols: [],
             bindings: [],
+            ...(parsed.parseRecovery && { parseRecovery: true }),
             ...(importAliases && { importAliases }),
             // Module-scope assignment targets (fix #217): names a module can
             // expose WITHOUT a def/class/import binding (`render = impl`,
@@ -518,6 +535,8 @@ class ProjectIndex {
                 params: item.params,
                 paramsStructured: item.paramsStructured,
                 returnType: item.returnType,
+                ...(item.returnedFunctionResult && { returnedFunctionResult: item.returnedFunctionResult }),
+                ...(item.isFunctionVariable && { isFunctionVariable: true }),
                 ...(item.paramTypes && { paramTypes: item.paramTypes }),
                 ...(item.isAsync && { isAsync: true }),
                 ...(item.isGenerator && { isGenerator: true }),
@@ -550,7 +569,9 @@ class ProjectIndex {
                 // just the traitImpl flag (fix #210).
                 ...(item.traitName && { traitName: item.traitName }),
                 ...(item.isSignature && { isSignature: true }),
-                ...(item.memberAssigned && { memberAssigned: true })
+                ...(item.memberAssigned && { memberAssigned: true }),
+                ...(item.registryMember && { registryMember: true }),
+                ...(item.registryContainer && { registryContainer: item.registryContainer })
             };
             fileEntry.symbols.push(symbol);
             // Property-assignment defs (fix #269: Reply.prototype.serialize
@@ -1418,7 +1439,7 @@ class ProjectIndex {
         // Match both "TypeName" and "*TypeName" receivers (for Go/Rust pointer receivers)
         const baseTypeName = typeName.replace(/^\*/, '');
 
-        for (const [name, symbols] of this.symbols) {
+        for (const [, symbols] of this.symbols) {
             for (const symbol of symbols) {
                 // Skip non-method types (fields, properties, etc.)
                 if (symbol.type === 'field' || symbol.type === 'property') {

package/core/registry.js

@@ -125,7 +125,7 @@ const FLAG_APPLICABILITY = {
     reverseTrace: ['name', 'file', 'exclude', 'className', 'line', 'includeMethods', 'includeUncertain', 'depth', 'all', 'minConfidence', 'expandUnverified'],
     smart:        ['name', 'file', 'exclude', 'className', 'line', 'includeMethods', 'includeUncertain', 'withTypes', 'minConfidence'],
     trace:        ['name', 'file', 'exclude', 'className', 'line', 'includeMethods', 'includeUncertain', 'depth', 'all', 'minConfidence'],
-    example:      ['name', 'file', 'className', 'diverse', 'top', 'includeTests'],
+    example:      ['name', 'file', 'className', 'line', 'diverse', 'top', 'includeTests'],
     related:      ['name', 'file', 'className', 'line', 'top', 'all'],
     brief:        ['name', 'file', 'className', 'line', 'git'],
     // Finding code
@@ -162,7 +162,7 @@ const FLAG_APPLICABILITY = {
     stacktrace:   ['stack'],
     api:          ['file', 'limit'],
     stats:        ['functions', 'hot', 'top'],
-    doctor:       ['file', 'in', 'limit', 'deep'],
+    doctor:       ['file', 'in', 'deep'],
     orient:       ['top'],
     auditAsync:   ['file', 'exclude', 'limit'],
 };