Method headerFor

src/mcp/tools.ts:5570–5581

(symbols: readonly string[])

      // from cluster scoring + edge-source lines, dwarfing the per-file
      // body cap. Show top names by frequency, with a "+N more" tail.
      const headerFor = (symbols: readonly string[]): string => {
        const symbolCounts = new Map<string, number>();
        for (const s of symbols) symbolCounts.set(s, (symbolCounts.get(s) ?? 0) + 1);
        const sortedSymbols = [...symbolCounts.entries()]
          .sort((a, b) => b[1] - a[1])
          .map(([name]) => name);
        const headerSymbols = sortedSymbols.slice(0, budget.maxSymbolsInFileHeader);
        const omittedCount = sortedSymbols.length - headerSymbols.length;
        return fileSectionHeader(filePath, omittedCount > 0
          ? `${headerSymbols.join(', ')}, +${omittedCount} more`
          : headerSymbols.join(', '));
      };

      // Last stop before the hard ceiling. The reservation already bounded cluster
      // selection above, so reaching this means the bounded overshoot (an oversize