@spikedpunch/mast 0.1.0

package/dist/mcp/tools/reindex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reindex.js","sourceRoot":"","sources":["../../../src/mcp/tools/reindex.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EAAE,QAAQ,EAAoB,MAAM,wBAAwB,CAAC;AAEpE,MAAM,UAAU,mBAAmB,CAAC,MAAiB,EAAE,GAAe;IACpE,MAAM,CAAC,IAAI,CACT,cAAc,EACd,2LAA2L,EAC3L;QACE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mFAAmF,CAAC;KAC3H,EACD,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC;QAElF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;QAC9C,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;IACvF,CAAC,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,MAAmB;IACjD,OAAO;QACL,aAAa,EAAI,MAAM,CAAC,YAAY;QACpC,aAAa,EAAI,MAAM,CAAC,YAAY;QACpC,YAAY,EAAK,MAAM,CAAC,WAAW;QACnC,cAAc,EAAG,MAAM,CAAC,aAAa;QACrC,YAAY,EAAK,MAAM,CAAC,WAAW;QACnC,YAAY,EAAK,MAAM,CAAC,WAAW;QACnC,sBAAsB,EAAE,MAAM,CAAC,oBAAoB;QACnD,gBAAgB,EAAE,MAAM,CAAC,eAAe,CAAC,KAAK;QAC9C,WAAW,EAAM,MAAM,CAAC,UAAU;KACnC,CAAC;AACJ,CAAC"}

package/dist/mcp/tools/rename-impact.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { AppContext } from '../context.js';
+export declare function registerRenameImpactTool(server: McpServer, ctx: AppContext): void;
+//# sourceMappingURL=rename-impact.d.ts.map

package/dist/mcp/tools/rename-impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rename-impact.d.ts","sourceRoot":"","sources":["../../../src/mcp/tools/rename-impact.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AA2BhD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,CA0HjF"}

package/dist/mcp/tools/rename-impact.js

@@ -0,0 +1,124 @@
+import { z } from 'zod';
+import { buildToolStats, recordToolCall } from '../../telemetry/metrics.js';
+import { countTokens, estimateFullFileBound } from '../../telemetry/tokenizer.js';
+import { querySymbolByName, queryVerifiedCallers, queryBarrelExports } from '../../graph/queries.js';
+import { jitRefreshFile, collectPotentialMatches, isIndexEmpty } from './_helpers.js';
+/**
+ * Compose the "N verified sites, M review-required sites, K barrel exports"
+ * framing the agent acts on. A sentence rather than only counts so the tool
+ * output reads as a checklist even when the agent skims.
+ */
+function buildChecklist(verified, potential, barrels) {
+    return [
+        `${verified} verified call site(s) to update`,
+        `${potential} review-required identifier match(es)`,
+        `${barrels} barrel export(s) to update`,
+    ].join(', ') + '.';
+}
+export function registerRenameImpactTool(server, ctx) {
+    server.tool('mast_rename_impact', 'Refactor checklist for renaming a symbol: declaration sites, verified call sites (graph), review-required identifier matches (FTS), and barrel re-exports. Composes mast_callers + graph re-export data in one call. Shares mast_callers\' potential-match semantics, including `mast index --checker` verdict filtering (summary.checker_classified_* report what was dropped).', {
+        symbol: z.string().describe('Symbol to be renamed (methods qualified as ClassName.methodName)'),
+        file_path: z.string().nullable().optional().describe('File that declares the symbol (disambiguates duplicate names)'),
+    }, async (args) => {
+        const start = Date.now();
+        const filePath = args.file_path ?? null;
+        // §9.0 staleness: same JIT policy as mast_callers — refresh the named
+        // file so declaration/caller line numbers reflect disk. Busy flag goes
+        // at the envelope, not per-VerifiedCaller — see
+        // CallersResponse.file_busy_returning_stale_cache for the reasoning
+        // (this JITs the declaring file, not each caller's own file).
+        let fileBusy = false;
+        if (filePath != null) {
+            const r = await jitRefreshFile(ctx.db, ctx.config, filePath);
+            fileBusy = r.busy;
+        }
+        const symbols = await querySymbolByName(ctx.db, args.symbol, filePath ?? undefined);
+        const declaration_sites = symbols.map((s) => ({
+            file_path: s.file_path,
+            line: s.line,
+            kind: s.kind,
+            is_exported: s.is_exported === 1,
+        }));
+        // Impact is computed against the best declaration match — same
+        // first-symbol convention as mast_callers. All declarations are still
+        // listed so an ambiguous rename is visible in the checklist.
+        const target = symbols[0];
+        let verified_callers = [];
+        let potential_matches = [];
+        let barrel_exports = [];
+        let checkerClassifiedNonCallSite = 0;
+        let checkerClassifiedDifferentDeclaration = 0;
+        let potentialTruncated;
+        if (target !== undefined) {
+            // Direct callers only — a rename edits call sites, and every call site
+            // is a direct caller; transitive callers need no edit (deliberate v1 scope).
+            const verifiedRows = await queryVerifiedCallers(ctx.db, target.id, false);
+            verified_callers = verifiedRows.map((r) => ({
+                file_path: r.file_path,
+                line: r.line,
+                caller_symbol: r.caller_symbol,
+                context: r.context,
+                resolution: r.resolution,
+            }));
+            const potentialResult = await collectPotentialMatches(ctx.db, ctx.chunkStore, target.id, args.symbol, verified_callers);
+            potential_matches = potentialResult.matches;
+            checkerClassifiedNonCallSite = potentialResult.checkerClassifiedNonCallSite;
+            checkerClassifiedDifferentDeclaration = potentialResult.checkerClassifiedDifferentDeclaration;
+            potentialTruncated = potentialResult.truncatedMatchCount;
+            const barrelRows = await queryBarrelExports(ctx.db, target.id, args.symbol, target.file_id);
+            barrel_exports = barrelRows.map((b) => ({
+                file_path: b.file_path,
+                line: b.line,
+                exported_as: b.exported_as,
+                via: b.via,
+            }));
+        }
+        const filesReferenced = [
+            ...new Set([
+                ...declaration_sites.map((d) => d.file_path),
+                ...verified_callers.map((c) => c.file_path),
+                ...potential_matches.map((m) => m.file_path),
+                ...barrel_exports.map((b) => b.file_path),
+            ]),
+        ];
+        const body = { declaration_sites, verified_callers, potential_matches, barrel_exports };
+        const tokens = countTokens(JSON.stringify(body));
+        const tokensFullFileBound = estimateFullFileBound(filesReferenced, ctx.config.resolved_project_root);
+        const durationMs = Date.now() - start;
+        // M6 (§13.8 item 4): checked ONLY when ALL FOUR sections came back empty.
+        const indexEmptyField = declaration_sites.length === 0 &&
+            verified_callers.length === 0 &&
+            potential_matches.length === 0 &&
+            barrel_exports.length === 0 &&
+            (await isIndexEmpty(ctx))
+            ? { index_empty: true }
+            : {};
+        const response = {
+            symbol: args.symbol,
+            ...body,
+            // §9.0 TOCTOU policy: omitted when false, never present-and-false.
+            ...(fileBusy ? { file_busy_returning_stale_cache: true } : {}),
+            ...indexEmptyField,
+            summary: {
+                declaration_count: declaration_sites.length,
+                verified_count: verified_callers.length,
+                potential_count: potential_matches.length,
+                barrel_count: barrel_exports.length,
+                checklist: target === undefined
+                    ? `Symbol "${args.symbol}" not found in the index — nothing to rename.`
+                    : buildChecklist(verified_callers.length, potential_matches.length, barrel_exports.length),
+                checker_classified_non_call_site: checkerClassifiedNonCallSite,
+                checker_classified_different_declaration: checkerClassifiedDifferentDeclaration,
+                // F10: omitted-when-false — present only when the identifier-FTS cap was hit.
+                ...(potentialTruncated !== undefined ? { potential_truncated: potentialTruncated } : {}),
+            },
+            _stats: buildToolStats('mast_rename_impact', tokens, tokensFullFileBound, filesReferenced, durationMs),
+        };
+        void recordToolCall(ctx.db, {
+            toolName: 'mast_rename_impact', tokensReturned: tokens, tokensFullFileBound,
+            durationMs, sessionId: ctx.sessionId, status: 'ok',
+        }).catch(() => { });
+        return { content: [{ type: 'text', text: JSON.stringify(response) }] };
+    });
+}
+//# sourceMappingURL=rename-impact.js.map

package/dist/mcp/tools/rename-impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rename-impact.js","sourceRoot":"","sources":["../../../src/mcp/tools/rename-impact.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAWxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AACrG,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAEtF;;;;GAIG;AACH,SAAS,cAAc,CAAC,QAAgB,EAAE,SAAiB,EAAE,OAAe;IAC1E,OAAO;QACL,GAAG,QAAQ,kCAAkC;QAC7C,GAAG,SAAS,uCAAuC;QACnD,GAAG,OAAO,6BAA6B;KACxC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAiB,EAAE,GAAe;IACzE,MAAM,CAAC,IAAI,CACT,oBAAoB,EACpB,kXAAkX,EAClX;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kEAAkE,CAAC;QAC/F,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,+DAA+D,CAAC;KACtH,EACD,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;QAExC,sEAAsE;QACtE,uEAAuE;QACvE,gDAAgD;QAChD,oEAAoE;QACpE,8DAA8D;QAC9D,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC7D,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC;QACpB,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC;QAEpF,MAAM,iBAAiB,GAAsB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC/D,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,CAAC;SACjC,CAAC,CAAC,CAAC;QAEJ,+DAA+D;QAC/D,sEAAsE;QACtE,6DAA6D;QAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAE1B,IAAI,gBAAgB,GAAqB,EAAE,CAAC;QAC5C,IAAI,iBAAiB,GAA8B,EAAE,CAAC;QACtD,IAAI,cAAc,GAAuB,EAAE,CAAC;QAC5C,IAAI,4BAA4B,GAAG,CAAC,CAAC;QACrC,IAAI,qCAAqC,GAAG,CAAC,CAAC;QAC9C,IAAI,kBAAsC,CAAC;QAE3C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,uEAAuE;YACvE,6EAA6E;YAC7E,MAAM,YAAY,GAAG,MAAM,oBAAoB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC1E,gBAAgB,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC1C,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,aAAa,EAAE,CAAC,CAAC,aAAa;gBAC9B,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,UAAU,EAAE,CAAC,CAAC,UAA8B;aAC7C,CAAC,CAAC,CAAC;YAEJ,MAAM,eAAe,GAAG,MAAM,uBAAuB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;YACxH,iBAAiB,GAAG,eAAe,CAAC,OAAO,CAAC;YAC5C,4BAA4B,GAAG,eAAe,CAAC,4BAA4B,CAAC;YAC5E,qCAAqC,GAAG,eAAe,CAAC,qCAAqC,CAAC;YAC9F,kBAAkB,GAAG,eAAe,CAAC,mBAAmB,CAAC;YAEzD,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;YAC5F,cAAc,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACtC,SAAS,EAAE,CAAC,CAAC,SAAS;gBACtB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,WAAW,EAAE,CAAC,CAAC,WAAW;gBAC1B,GAAG,EAAE,CAAC,CAAC,GAAG;aACX,CAAC,CAAC,CAAC;QACN,CAAC;QAED,MAAM,eAAe,GAAG;YACtB,GAAG,IAAI,GAAG,CAAC;gBACT,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5C,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3C,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5C,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;aAC1C,CAAC;SACH,CAAC;QACF,MAAM,IAAI,GAAG,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,cAAc,EAAE,CAAC;QACxF,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QACjD,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QACrG,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAEtC,0EAA0E;QAC1E,MAAM,eAAe,GACnB,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAC9B,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAC7B,iBAAiB,CAAC,MAAM,KAAK,CAAC;YAC9B,cAAc,CAAC,MAAM,KAAK,CAAC;YAC3B,CAAC,MAAM,YAAY,CAAC,GAAG,CAAC,CAAC;YACvB,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE;YAChC,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,QAAQ,GAAyB;YACrC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,GAAG,IAAI;YACP,mEAAmE;YACnE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,+BAA+B,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvE,GAAG,eAAe;YAClB,OAAO,EAAE;gBACP,iBAAiB,EAAE,iBAAiB,CAAC,MAAM;gBAC3C,cAAc,EAAE,gBAAgB,CAAC,MAAM;gBACvC,eAAe,EAAE,iBAAiB,CAAC,MAAM;gBACzC,YAAY,EAAE,cAAc,CAAC,MAAM;gBACnC,SAAS,EACP,MAAM,KAAK,SAAS;oBAClB,CAAC,CAAC,WAAW,IAAI,CAAC,MAAM,+CAA+C;oBACvE,CAAC,CAAC,cAAc,CAAC,gBAAgB,CAAC,MAAM,EAAE,iBAAiB,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC;gBAC9F,gCAAgC,EAAE,4BAA4B;gBAC9D,wCAAwC,EAAE,qCAAqC;gBAC/E,8EAA8E;gBAC9E,GAAG,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzF;YACD,MAAM,EAAE,cAAc,CAAC,oBAAoB,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,UAAU,CAAC;SACvG,CAAC;QACF,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE;YAC1B,QAAQ,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,EAAE,mBAAmB;YAC3E,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI;SACnD,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;IAClF,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/mcp/tools/search.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { AppContext } from '../context.js';
+export declare function registerSearchTool(server: McpServer, ctx: AppContext): void;
+//# sourceMappingURL=search.d.ts.map

package/dist/mcp/tools/search.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../../src/mcp/tools/search.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAQhD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,CAuE3E"}

package/dist/mcp/tools/search.js

@@ -0,0 +1,69 @@
+import { z } from 'zod';
+import { buildToolStats, recordToolCall, buildArgsJson, buildResultsJson, buildDeclexJson } from '../../telemetry/metrics.js';
+import { countTokens, estimateFullFileBound } from '../../telemetry/tokenizer.js';
+import { fusedSearch } from '../../search/fused.js';
+import { findStaleFiles } from '../staleness.js';
+import { isIndexEmpty } from './_helpers.js';
+export function registerSearchTool(server, ctx) {
+    server.tool('mast_search', 'Lexical BM25 + declaration-exact search over the indexed codebase. Returns chunks (not full files) ranked by relevance. Use this for code discovery — replaces Grep, Glob, and exploratory Read.', {
+        query: z.string().describe('Natural language or identifier-based search query'),
+        limit: z.number().int().min(1).max(50).optional().describe('Max results to return (default: 10)'),
+        language: z.enum(['typescript', 'javascript', 'markdown']).nullable().optional(),
+        file_pattern: z.string().nullable().optional().describe('Glob pattern to restrict results to matching files'),
+        chunk_type: z.enum(['function', 'method', 'class_shell', 'interface', 'type', 'export', 'block', 'doc']).nullable().optional(),
+        only_exported: z.boolean().optional().describe('Restrict to exported symbols only'),
+    }, async (args) => {
+        const start = Date.now();
+        const { results, suggestions, declex } = await fusedSearch(ctx.db, args, { rrf_k: ctx.config.rrf_k, declaration_exact_ranker: ctx.config.declaration_exact_ranker }, ctx.chunkStore);
+        const filesReferenced = [...new Set(results.map((r) => r.file_path))];
+        // F7/C1: stat-and-flag, not JIT refresh — surfaced as `stale`, not
+        // `file_busy_returning_stale_cache` (that name is reserved for the
+        // JIT-refresh tools, where a refresh is actually attempted). See
+        // staleness.ts's `findStaleFiles` WHY-comment. Computed against the
+        // ranking fusedSearch already produced; flagged results are what gets
+        // token-counted and returned below.
+        const staleFiles = await findStaleFiles(ctx.db, ctx.config, filesReferenced);
+        const flaggedResults = staleFiles.size === 0
+            ? results
+            : results.map((r) => ({
+                ...r,
+                ...(staleFiles.has(r.file_path) ? { stale: true } : {}),
+            }));
+        // `suggestions` is present (possibly empty) only on the zero-result assist
+        // path; conditional spread keeps it out of the payload otherwise.
+        const suggestionsField = suggestions !== undefined ? { suggestions } : {};
+        const text = JSON.stringify({ results: flaggedResults, ...suggestionsField });
+        const tokens = countTokens(text);
+        const tokensFullFileBound = estimateFullFileBound(filesReferenced, ctx.config.resolved_project_root);
+        const durationMs = Date.now() - start;
+        // M6 (§13.8 item 4): checked ONLY on the empty-result path — a
+        // populated response never pays the chunkCount() query.
+        const indexEmptyField = flaggedResults.length === 0 && await isIndexEmpty(ctx)
+            ? { index_empty: true }
+            : {};
+        const response = {
+            results: flaggedResults,
+            ...suggestionsField,
+            ...indexEmptyField,
+            _stats: buildToolStats('mast_search', tokens, tokensFullFileBound, filesReferenced, durationMs),
+        };
+        // Identity pairs in rank order — the "did a later chain-analysis call
+        // target something this search returned?" evidence for the capsule
+        // instrumentation decision (IMPLEMENTATION_PLAN_VEXP.md §P, 2026-07-15).
+        const resultIdentities = results.map((r) => ({ file_path: r.file_path, symbol_name: r.symbol_name }));
+        // Stage 6.3 — D-fire telemetry (M2 decision memo condition 3). Present
+        // only when ranker D actually fired (fusedSearch's own contract);
+        // never threaded into `response`/`text` above, per this feature's
+        // no-leak requirement.
+        const declexJsonField = declex !== undefined ? { declexJson: buildDeclexJson(declex) } : {};
+        void recordToolCall(ctx.db, {
+            toolName: 'mast_search', tokensReturned: tokens, tokensFullFileBound,
+            durationMs, sessionId: ctx.sessionId, status: 'ok',
+            argsJson: buildArgsJson(args),
+            resultsJson: buildResultsJson(resultIdentities),
+            ...declexJsonField,
+        }).catch(() => { });
+        return { content: [{ type: 'text', text: JSON.stringify(response) }] };
+    });
+}
+//# sourceMappingURL=search.js.map

package/dist/mcp/tools/search.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"search.js","sourceRoot":"","sources":["../../../src/mcp/tools/search.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAC9H,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,UAAU,kBAAkB,CAAC,MAAiB,EAAE,GAAe;IACnE,MAAM,CAAC,IAAI,CACT,aAAa,EACb,kMAAkM,EAClM;QACE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,mDAAmD,CAAC;QAC/E,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qCAAqC,CAAC;QACjG,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;QAChF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,oDAAoD,CAAC;QAC7G,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;QAC9H,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,mCAAmC,CAAC;KACpF,EACD,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,MAAM,WAAW,CACxD,GAAG,CAAC,EAAE,EACN,IAAI,EACJ,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,wBAAwB,EAAE,GAAG,CAAC,MAAM,CAAC,wBAAwB,EAAE,EAC1F,GAAG,CAAC,UAAU,CACf,CAAC;QACF,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACtE,mEAAmE;QACnE,mEAAmE;QACnE,iEAAiE;QACjE,oEAAoE;QACpE,sEAAsE;QACtE,oCAAoC;QACpC,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC7E,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,KAAK,CAAC;YAC1C,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAClB,GAAG,CAAC;gBACJ,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjE,CAAC,CAAC,CAAC;QACR,2EAA2E;QAC3E,kEAAkE;QAClE,MAAM,gBAAgB,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,gBAAgB,EAAE,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QACrG,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QACtC,+DAA+D;QAC/D,wDAAwD;QACxD,MAAM,eAAe,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,YAAY,CAAC,GAAG,CAAC;YAC5E,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE;YAChC,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,QAAQ,GAAmB;YAC/B,OAAO,EAAE,cAAc;YACvB,GAAG,gBAAgB;YACnB,GAAG,eAAe;YAClB,MAAM,EAAE,cAAc,CAAC,aAAa,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,UAAU,CAAC;SAChG,CAAC;QACF,sEAAsE;QACtE,mEAAmE;QACnE,yEAAyE;QACzE,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACtG,uEAAuE;QACvE,kEAAkE;QAClE,kEAAkE;QAClE,uBAAuB;QACvB,MAAM,eAAe,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE;YAC1B,QAAQ,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,EAAE,mBAAmB;YACpE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI;YAClD,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;YAC7B,WAAW,EAAE,gBAAgB,CAAC,gBAAgB,CAAC;YAC/C,GAAG,eAAe;SACnB,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;IAClF,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/mcp/tools/signature.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { AppContext } from '../context.js';
+export declare function registerSignatureTool(server: McpServer, ctx: AppContext): void;
+//# sourceMappingURL=signature.d.ts.map

package/dist/mcp/tools/signature.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../../src/mcp/tools/signature.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAgChD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,CAgH9E"}

package/dist/mcp/tools/signature.js

@@ -0,0 +1,127 @@
+import { z } from 'zod';
+import { join } from 'node:path';
+import { buildToolStats, recordToolCall, buildArgsJson, buildResultsJson } from '../../telemetry/metrics.js';
+import { countTokens, estimateFullFileBound } from '../../telemetry/tokenizer.js';
+import { querySymbolByName, resolveTypeContext } from '../../graph/queries.js';
+import { extractFileSignatures } from '../../ast/extract.js';
+import { jitRefreshFile, isIndexEmpty } from './_helpers.js';
+// TypeScript built-in types that are never worth resolving as user-defined types.
+const BUILTIN_TYPES = new Set([
+    'string', 'number', 'boolean', 'void', 'null', 'undefined', 'never', 'any',
+    'unknown', 'object', 'symbol', 'bigint', 'Function', 'Object', 'Promise',
+    'Array', 'Map', 'Set', 'WeakMap', 'WeakSet', 'Record', 'Partial', 'Required',
+    'Readonly', 'Pick', 'Omit', 'Exclude', 'Extract', 'NonNullable', 'ReturnType',
+    'InstanceType', 'Parameters', 'ConstructorParameters', 'Error',
+]);
+/**
+ * Extract user-defined PascalCase type names from a TypeScript signature.
+ * Used to populate `type_context` in `mast_signature` responses.
+ */
+function extractTypeNames(signature) {
+    const re = /\b([A-Z][A-Za-z0-9]*)\b/g;
+    const names = new Set();
+    let m;
+    while ((m = re.exec(signature)) !== null) {
+        const name = m[1];
+        if (!BUILTIN_TYPES.has(name))
+            names.add(name);
+    }
+    return [...names];
+}
+export function registerSignatureTool(server, ctx) {
+    server.tool('mast_signature', 'Declaration, TSDoc, and resolved parameter type context for a named symbol. Returns an array — always pass file_path to disambiguate when you expect a single result.', {
+        symbol: z.string().describe('Symbol name to look up (e.g. "handleLogin", "AuthService")'),
+        file_path: z.string().nullable().optional().describe('Narrow to a specific file; omit to search across the whole codebase'),
+    }, async (args) => {
+        const start = Date.now();
+        const filePath = args.file_path ?? null;
+        // §9.0 TOCTOU policy. When `file_path` narrows the query, every result
+        // necessarily comes from that one file, so a single busy check up front
+        // covers all of them (`topLevelBusy` below). When omitted, results can
+        // span many files and each gets its own JIT call inside the loop.
+        let topLevelBusy = false;
+        if (filePath != null) {
+            const r = await jitRefreshFile(ctx.db, ctx.config, filePath);
+            topLevelBusy = r.busy;
+        }
+        const symbols = await querySymbolByName(ctx.db, args.symbol, filePath ?? undefined);
+        // Parse each referenced file at most once for its signatures.
+        const sigsByFile = new Map();
+        const sigsFor = (relPath) => {
+            let s = sigsByFile.get(relPath);
+            if (s === undefined) {
+                s = extractFileSignatures(join(ctx.config.resolved_project_root, relPath));
+                sigsByFile.set(relPath, s);
+            }
+            return s;
+        };
+        const results = [];
+        for (const sym of symbols) {
+            // Per-result busy flag: when file_path is omitted, each symbol's own
+            // file is JIT-refreshed independently, so its busy status must not
+            // leak onto results from other (unaffected) files.
+            let resultBusy = topLevelBusy;
+            if (filePath == null) {
+                const r = await jitRefreshFile(ctx.db, ctx.config, sym.file_path);
+                resultBusy = r.busy;
+            }
+            const sigs = sigsFor(sym.file_path);
+            // Prefer an exact name+line match; fall back to name only.
+            const sig = sigs.find((s) => s.name === sym.name && s.line === sym.line) ??
+                sigs.find((s) => s.name === sym.name);
+            const params = sig?.params ?? [];
+            const returnType = sig?.returnType ?? null;
+            // type_context is resolved from the parameter/return TYPES only — not
+            // the body — so it no longer pulls in unrelated identifiers (§9).
+            const typeNames = extractTypeNames([...params.map((p) => p.type), returnType ?? ''].join(' '));
+            const typeContext = await resolveTypeContext(ctx.db, typeNames, sym.file_path);
+            results.push({
+                symbol: sym.name,
+                file_path: sym.file_path,
+                line: sym.line,
+                signature: sig?.signature ?? '',
+                doc: sig?.doc ?? null,
+                params,
+                return_type: returnType,
+                type_context: typeContext,
+                // §9.0 TOCTOU policy: omitted when false, never present-and-false.
+                ...(resultBusy ? { file_busy_returning_stale_cache: true } : {}),
+            });
+        }
+        const filesReferenced = [...new Set(results.map((r) => r.file_path))];
+        const text = JSON.stringify(results);
+        const tokens = countTokens(text);
+        const tokensFullFileBound = estimateFullFileBound(filesReferenced, ctx.config.resolved_project_root);
+        const durationMs = Date.now() - start;
+        // M6 (§13.8 item 4): checked ONLY on the empty-result path. Independent
+        // of the F14 busy-envelope flag above — both name different failure
+        // modes ("busy, can't tell you" vs "nothing indexed") and either, both,
+        // or neither may fire on the same empty response.
+        const indexEmptyField = results.length === 0 && await isIndexEmpty(ctx)
+            ? { index_empty: true }
+            : {};
+        const response = {
+            results,
+            // F14: with zero results the per-result busy carrier vanishes, and a
+            // stale index would read as "symbol doesn't exist" — surface the
+            // top-level busy signal on the envelope in exactly that case.
+            ...(topLevelBusy && results.length === 0
+                ? { file_busy_returning_stale_cache: true }
+                : {}),
+            ...indexEmptyField,
+            _stats: buildToolStats('mast_signature', tokens, tokensFullFileBound, filesReferenced, durationMs),
+        };
+        // Identity pairs — the "did this signature call target a symbol/file
+        // an earlier search surfaced?" evidence for the capsule instrumentation
+        // decision (IMPLEMENTATION_PLAN_VEXP.md §P, 2026-07-15).
+        const resultIdentities = results.map((r) => ({ file_path: r.file_path, symbol_name: r.symbol }));
+        void recordToolCall(ctx.db, {
+            toolName: 'mast_signature', tokensReturned: tokens, tokensFullFileBound,
+            durationMs, sessionId: ctx.sessionId, status: 'ok',
+            argsJson: buildArgsJson(args),
+            resultsJson: buildResultsJson(resultIdentities),
+        }).catch(() => { });
+        return { content: [{ type: 'text', text: JSON.stringify(response) }] };
+    });
+}
+//# sourceMappingURL=signature.js.map

package/dist/mcp/tools/signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../../src/mcp/tools/signature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC7G,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC/E,OAAO,EAAE,qBAAqB,EAA2B,MAAM,sBAAsB,CAAC;AACtF,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7D,kFAAkF;AAClF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK;IAC1E,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS;IACxE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU;IAC5E,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY;IAC7E,cAAc,EAAE,YAAY,EAAE,uBAAuB,EAAE,OAAO;CAC/D,CAAC,CAAC;AAEH;;;GAGG;AACH,SAAS,gBAAgB,CAAC,SAAiB;IACzC,MAAM,EAAE,GAAG,0BAA0B,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAiB,EAAE,GAAe;IACtE,MAAM,CAAC,IAAI,CACT,gBAAgB,EAChB,uKAAuK,EACvK;QACE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,4DAA4D,CAAC;QACzF,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,qEAAqE,CAAC;KAC5H,EACD,KAAK,EAAE,IAAI,EAAE,EAAE;QACb,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC;QAExC,uEAAuE;QACvE,wEAAwE;QACxE,uEAAuE;QACvE,kEAAkE;QAClE,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAC7D,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC;QACxB,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC;QAEpF,8DAA8D;QAC9D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAyC,CAAC;QACpE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAiC,EAAE;YACjE,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpB,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,qBAAqB,EAAE,OAAO,CAAC,CAAC,CAAC;gBAC3E,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QAEF,MAAM,OAAO,GAAsB,EAAE,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,qEAAqE;YACrE,mEAAmE;YACnE,mDAAmD;YACnD,IAAI,UAAU,GAAG,YAAY,CAAC;YAC9B,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,MAAM,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;gBAClE,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC;YACtB,CAAC;YAED,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpC,2DAA2D;YAC3D,MAAM,GAAG,GACP,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC;gBAC5D,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YAExC,MAAM,MAAM,GAAG,GAAG,EAAE,MAAM,IAAI,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,GAAG,EAAE,UAAU,IAAI,IAAI,CAAC;YAC3C,sEAAsE;YACtE,kEAAkE;YAClE,MAAM,SAAS,GAAG,gBAAgB,CAChC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAC3D,CAAC;YACF,MAAM,WAAW,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YAE/E,OAAO,CAAC,IAAI,CAAC;gBACX,MAAM,EAAE,GAAG,CAAC,IAAI;gBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,SAAS,EAAE,GAAG,EAAE,SAAS,IAAI,EAAE;gBAC/B,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,IAAI;gBACrB,MAAM;gBACN,WAAW,EAAE,UAAU;gBACvB,YAAY,EAAE,WAAW;gBACzB,mEAAmE;gBACnE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,+BAA+B,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC1E,CAAC,CAAC;QACL,CAAC;QAED,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,eAAe,EAAE,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QACrG,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAEtC,wEAAwE;QACxE,oEAAoE;QACpE,wEAAwE;QACxE,kDAAkD;QAClD,MAAM,eAAe,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,YAAY,CAAC,GAAG,CAAC;YACrE,CAAC,CAAC,EAAE,WAAW,EAAE,IAAa,EAAE;YAChC,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,QAAQ,GAAsB;YAClC,OAAO;YACP,qEAAqE;YACrE,iEAAiE;YACjE,8DAA8D;YAC9D,GAAG,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBACtC,CAAC,CAAC,EAAE,+BAA+B,EAAE,IAAa,EAAE;gBACpD,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,eAAe;YAClB,MAAM,EAAE,cAAc,CAAC,gBAAgB,EAAE,MAAM,EAAE,mBAAmB,EAAE,eAAe,EAAE,UAAU,CAAC;SACnG,CAAC;QACF,qEAAqE;QACrE,wEAAwE;QACxE,yDAAyD;QACzD,MAAM,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjG,KAAK,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE;YAC1B,QAAQ,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,EAAE,mBAAmB;YACvE,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI;YAClD,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC;YAC7B,WAAW,EAAE,gBAAgB,CAAC,gBAAgB,CAAC;SAChD,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;IAClF,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/mcp/tools/status.d.ts

@@ -0,0 +1,4 @@
+import type { McpServer } from '@modelcontextprotocol/sdk/server/mcp.js';
+import type { AppContext } from '../context.js';
+export declare function registerStatusTool(server: McpServer, ctx: AppContext): void;
+//# sourceMappingURL=status.d.ts.map

package/dist/mcp/tools/status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.d.ts","sourceRoot":"","sources":["../../../src/mcp/tools/status.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAMhD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,GAAG,IAAI,CA6B3E"}

package/dist/mcp/tools/status.js

@@ -0,0 +1,30 @@
+import { loadIndexMeta, freshnessCause } from '../../indexer/index.js';
+import { measureFreshness } from '../../indexer/freshness.js';
+import { CURRENT_SCHEMA_VERSION } from '../../store/config.js';
+export function registerStatusTool(server, ctx) {
+    server.tool('mast_status', 'Index health summary: last-indexed time, file/chunk counts, stale file count, freshness cause.', 
+    // No input parameters.
+    {}, async (_args) => {
+        const meta = loadIndexMeta(ctx.config.resolved_state_dir);
+        // The same producer `mast status` uses — the two surfaces answer one
+        // question and must not compute it twice
+        // (`mcp/tools/__tests__/status-surface-parity.test.ts`).
+        const stale_files = (await measureFreshness(ctx.config, ctx.db)).total;
+        const result = {
+            state_dir: ctx.config.resolved_state_dir,
+            // From the binary, never from index.json — see StatusResult.schema_version.
+            schema_version: CURRENT_SCHEMA_VERSION,
+            last_indexed: meta?.last_indexed ?? null,
+            indexed_files: meta?.file_count ?? 0,
+            chunk_count: meta?.chunk_count ?? 0,
+            stale_files,
+            parse_errors: meta?.parse_errors ?? 0,
+            write_errors: meta?.write_errors ?? 0,
+            index_fresh: meta !== null && stale_files === 0,
+            freshness_cause: freshnessCause(stale_files),
+            seed_commit: meta?.seed_commit,
+        };
+        return { content: [{ type: 'text', text: JSON.stringify(result) }] };
+    });
+}
+//# sourceMappingURL=status.js.map

package/dist/mcp/tools/status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status.js","sourceRoot":"","sources":["../../../src/mcp/tools/status.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,MAAM,UAAU,kBAAkB,CAAC,MAAiB,EAAE,GAAe;IACnE,MAAM,CAAC,IAAI,CACT,aAAa,EACb,gGAAgG;IAChG,uBAAuB;IACvB,EAAE,EACF,KAAK,EAAE,KAAK,EAAE,EAAE;QACd,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;QAC1D,qEAAqE;QACrE,yCAAyC;QACzC,yDAAyD;QACzD,MAAM,WAAW,GAAG,CAAC,MAAM,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACvE,MAAM,MAAM,GAAiB;YAC3B,SAAS,EAAO,GAAG,CAAC,MAAM,CAAC,kBAAkB;YAC7C,4EAA4E;YAC5E,cAAc,EAAE,sBAAsB;YACtC,YAAY,EAAI,IAAI,EAAE,YAAY,IAAI,IAAI;YAC1C,aAAa,EAAG,IAAI,EAAE,UAAU,IAAI,CAAC;YACrC,WAAW,EAAK,IAAI,EAAE,WAAW,IAAI,CAAC;YACtC,WAAW;YACX,YAAY,EAAI,IAAI,EAAE,YAAY,IAAI,CAAC;YACvC,YAAY,EAAI,IAAI,EAAE,YAAY,IAAI,CAAC;YACvC,WAAW,EAAK,IAAI,KAAK,IAAI,IAAI,WAAW,KAAK,CAAC;YAClD,eAAe,EAAE,cAAc,CAAC,WAAW,CAAC;YAC5C,WAAW,EAAK,IAAI,EAAE,WAAW;SAClC,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;IAChF,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/search/declex.d.ts

@@ -0,0 +1,109 @@
+/**
+ * Ranker D — the declaration-exact ranker: a match against `chunks.symbol_name`
+ * (full-name or final-dot-segment), case-insensitive, deterministically
+ * ordered.
+ *
+ * Ported from `eval/declex-ranker.mjs`, the Q1/DECLEX-measured construction
+ * (IMPLEMENTATION_PLAN.md § "Q1/DECLEX — the declaration-exact ranker" +
+ * AMENDMENT 1, commit dd10796; Stage 6 of the productization plan). PRIMARY
+ * ARM ONLY — this file intentionally does NOT port the escape variant
+ * (`escape`/`escapeCap` options, `escapeEligibleTerms`/
+ * `lowercaseTokenMatchCounts` diagnostics) or `classifyTargetReach`
+ * (instrument-analysis machinery, not product). The escape variant was
+ * measured harmful off-stratum (M2 decision memo) and is barred from
+ * shipping without a fresh pre-registration.
+ *
+ * Ranker D queries the `chunks` table DIRECTLY (not `chunk_fts`/
+ * `identifier_fts`): `chunk_fts.symbol_name` is stored UNINDEXED
+ * (`src/graph/db.ts`) — not reachable via FTS5 MATCH — and the registered
+ * match rule ("equals the chunk's own symbol_name OR its final dot-segment")
+ * is a structural string comparison, not a full-text match, so a direct SQL
+ * predicate against `chunks.symbol_name` is the correct primitive.
+ */
+import type { Db } from '../graph/db.js';
+import { type SearchScope } from './scope.js';
+/**
+ * Ranker D's candidate pool multiplier — 4x the caller's own `limit`, the
+ * SAME convention as ranker I (`eval/idfuse-ranker.mjs`, AMENDMENT 1 F8) and
+ * the pre-Stage-7 vector search helper: the caller multiplies by 4 and passes
+ * the already-multiplied limit directly; `searchRankerD` applies no further
+ * internal multiplication.
+ */
+export declare const RANKER_D_POOL_MULTIPLIER = 4;
+/** Raw token split — identical character class to ranker I's own derivation
+ * (`eval/idfuse-ranker.mjs`); no camelCase split, no lowercasing. `Class.method`
+ * splits into two independent terms (the dot is not in the character class). */
+export declare function deriveRankerDTerms(query: string): string[];
+/**
+ * Symbol-shaped eligibility predicate for ranker D's PRIMARY arm — reproduces
+ * `isSymbolShapedTerm` (`eval/idfuse-ranker.mjs`) MINUS the dead
+ * `term.includes('.')` clause (registration: "the implementation also tests
+ * term.includes('.'), but the upstream split character class
+ * `/[A-Za-z0-9_$]+/` never includes `.` in any surviving token ... Ranker D's
+ * eligibility gate reproduces this predicate but drops the dead clause rather
+ * than reimplementing dead code"). A term qualifies if it contains an
+ * uppercase letter, an underscore, a dollar sign, or a digit adjacent to a
+ * letter.
+ */
+export declare function isEligiblePrimaryTerm(term: string): boolean;
+/** Ranker D's PRIMARY-arm eligible terms: raw split, filtered to symbol-shaped. */
+export declare function deriveEligiblePrimaryTerms(query: string): string[];
+export interface DeclexRow {
+    readonly chunk_id: string;
+    readonly symbol_name: string;
+    readonly chunk_type: string;
+    readonly match_type: 'full' | 'segment';
+}
+export interface DeclexDiagnostics {
+    /** D produced >= 1 candidate. */
+    readonly fired: boolean;
+    /** The winning (first-ordered) candidate's match type, or null if D did not fire. */
+    readonly top_match_channel: 'full' | 'segment' | null;
+    /** Pre-cap candidate pool size. */
+    readonly candidate_count: number;
+    readonly primary_eligible_terms: readonly string[];
+}
+export interface DeclexSearchOptions {
+    /** The FINAL SQL limit to apply (the caller's already-multiplied candidate
+     * pool — same convention as ranker I; multiply by
+     * {@link RANKER_D_POOL_MULTIPLIER} before calling). */
+    readonly limit: number;
+    /**
+     * Restrict candidates to files matching the caller's `file_pattern` /
+     * `language`. Omitted means unrestricted, which is what the Q1/DECLEX
+     * measurement arms and their frozen reconstructions
+     * (`eval/declex-rank-check.mjs`) ran with — they pass `{ limit }` only, so
+     * their behaviour is unchanged by this option existing.
+     */
+    readonly scope?: SearchScope | undefined;
+}
+export interface DeclexSearchResult {
+    readonly rows: DeclexRow[];
+    readonly diagnostics: DeclexDiagnostics;
+}
+/**
+ * Ranker D: declaration-exact match against `chunks.symbol_name` (full-name
+ * or final-dot-segment), case-insensitive, deterministically ordered.
+ *
+ * Ordering (registration): full-name matches before segment-only matches;
+ * then fewer total same-matched-name candidates first; then ascending
+ * chunk_id. JUDGMENT CALL (flagged per this codebase's convention, e.g.
+ * `eval/idfuse-score.mjs`'s a-fortiori routing note): "same-name" is read as
+ * "same MATCHED name" — full-name candidates group by their own
+ * `symbol_name`; segment candidates group by the shared final dot-segment
+ * (the quantity the design review's F-4 finding is actually about — a
+ * `toJSON`-class query facing ~140 candidates that all share the SEGMENT
+ * "toJSON", not 140 candidates sharing one `symbol_name`, since each belongs
+ * to a different class). This groups the exact multiplicity class the
+ * registration's own fixture (Gate B, high-multiplicity segment) is built to
+ * exercise.
+ *
+ * `options.scope` restricts the candidate pool to the caller's `file_pattern` /
+ * `language` before any of the above is computed, so `diagnostics.candidate_count`
+ * and the ordering both describe the scoped pool — a scoped search behaves as
+ * though the index contained only the files in scope.
+ *
+ * @param query - the RAW query string (term derivation happens here).
+ */
+export declare function searchRankerD(db: Db, query: string, options: DeclexSearchOptions): Promise<DeclexSearchResult>;
+//# sourceMappingURL=declex.d.ts.map

package/dist/search/declex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declex.d.ts","sourceRoot":"","sources":["../../src/search/declex.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAGH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAA0C,KAAK,WAAW,EAAE,MAAM,YAAY,CAAC;AAEtF;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAM1C;;gFAEgF;AAChF,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAE1D;AAID;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO3D;AAED,mFAAmF;AACnF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAElE;AAiHD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;CACzC;AAED,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,qFAAqF;IACrF,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC;IACtD,mCAAmC;IACnC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC;CACpD;AAED,MAAM,WAAW,mBAAmB;IAClC;;2DAEuD;IACvD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;CAC1C;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAsB,aAAa,CACjC,EAAE,EAAE,EAAE,EACN,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,CA8E7B"}