purecontext-mcp 1.5.2 → 1.11.0

package/dist/server/tools/symbol-risk.d.ts

@@ -0,0 +1,109 @@
+/**
+ * symbol-risk.ts
+ *
+ * Composite, explainable "how risky is it to change this symbol?" scoring —
+ * the Phase 76 fusion of risk primitives PureContext already computes:
+ *   churn        — how often the symbol's file changes (git_metadata, 90d)
+ *   centrality    — how many other files depend on it (afferent coupling) +
+ *                   reverse blast radius
+ *   complexity   — cyclomatic complexity of the symbol
+ *   testGap       — whether the symbol appears to have any test coverage
+ *   coChange      — how many files historically move with it (confidence ≥ 0.4)
+ *
+ * Each factor is normalized REPO-RELATIVE (percentile rank within the repo) so
+ * the score is comparable inside a repo and not dominated by absolute size.
+ * The blend is a config-weighted sum rescaled to 0–100, banded low/review/high.
+ * Every score ships with `factors` (normalized + raw) and human `reasons[]` —
+ * never a black-box number.
+ *
+ * Deliberately NO author / ownership / productivity metrics — code-centered only.
+ */
+import type Database from 'better-sqlite3';
+import { type CoChangeResult } from './co-change.js';
+export interface RiskFactor {
+    /** Repo-relative normalized value in [0,1] (percentile rank or binary). */
+    value: number;
+    /** The raw underlying measurement (commits, dependents, complexity, …). */
+    raw: number;
+}
+export interface SymbolRiskResult {
+    symbolId: string;
+    name: string;
+    kind: string;
+    filePath: string;
+    riskScore: number;
+    band: 'low' | 'review' | 'high';
+    factors: {
+        churn: RiskFactor;
+        centrality: RiskFactor;
+        complexity: RiskFactor;
+        testGap: RiskFactor;
+        coChange: RiskFactor;
+    };
+    reasons: string[];
+    /** "low" when the underlying signals are sparse (shallow history, tiny repo). */
+    signalQuality: 'ok' | 'low';
+}
+/**
+ * Pre-computed repo-relative distributions + lookups shared across many symbol
+ * scorings. Built ONCE per call to `synthesizeChange` / `computeSymbolRisk`,
+ * then reused so scoring N symbols is O(N × symbol) instead of O(N × repo).
+ *
+ * Holds: the 90d churn map + distribution, the afferent-coupling lookup +
+ * distribution, the cyclomatic-complexity distribution, the (decoded) contents
+ * of all test files, the co-change window size, and a per-file memoized
+ * `getCoChange` cache (many changed symbols share a file).
+ */
+export interface RiskContext {
+    /** file path → distinct commits touching it in the churn window. */
+    fileCommitCounts: Map<string, number>;
+    /** windowed commit counts across all files (the churn percentile basis). */
+    churnDist: number[];
+    /** file path → afferent coupling (distinct importers). */
+    afferentByFile: Map<string, number>;
+    /** afferent coupling across all files (the centrality percentile basis). */
+    centralityDist: number[];
+    /** cyclomatic complexity across all symbols (the complexity percentile basis). */
+    complexityDist: number[];
+    /** decoded UTF-8 contents of every test file (the test-ref scan basis). */
+    testFileContents: string[];
+    /** distinct commits captured for co-change (0 ⇒ no co-change data). */
+    windowCommits: number;
+    /** mega-commit exclusion threshold for co-change scoring. */
+    megaCommitThreshold: number;
+    /** risk blend weights. */
+    weights: {
+        churn: number;
+        centrality: number;
+        complexity: number;
+        testGap: number;
+        coChange: number;
+    };
+    /** memoized getCoChange results, keyed by file path. */
+    coChangeCache: Map<string, CoChangeResult>;
+}
+/**
+ * Build the shared {@link RiskContext} once: all repo-wide distributions, the
+ * afferent-coupling lookup, and the test-file content set. This is the
+ * expensive part — callers should build it once and score many symbols against
+ * it via {@link computeSymbolRiskWithContext}.
+ */
+export declare function buildRiskContext(db: Database.Database, repoId: string): RiskContext;
+/**
+ * Score a single symbol against a prebuilt {@link RiskContext}. Pure scoring —
+ * no repo-wide queries beyond the symbol row + its reverse blast radius.
+ * Returns null if the symbol does not exist in the repo.
+ *
+ * Output is byte-identical to {@link computeSymbolRisk} for the same symbol.
+ */
+export declare function computeSymbolRiskWithContext(db: Database.Database, repoId: string, symbolId: string, ctx: RiskContext): SymbolRiskResult | null;
+/**
+ * Compute the composite risk verdict for a symbol. Returns null if the symbol
+ * does not exist in the repo.
+ *
+ * Thin wrapper over {@link computeSymbolRiskWithContext}: builds a fresh
+ * {@link RiskContext} for the single symbol. Callers scoring many symbols
+ * should build the context once and call `computeSymbolRiskWithContext`.
+ */
+export declare function computeSymbolRisk(db: Database.Database, repoId: string, symbolId: string): SymbolRiskResult | null;
+//# sourceMappingURL=symbol-risk.d.ts.map

package/dist/server/tools/symbol-risk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-risk.d.ts","sourceRoot":"","sources":["../../../src/server/tools/symbol-risk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,QAAQ,MAAM,gBAAgB,CAAC;AAK3C,OAAO,EAAe,KAAK,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAGlE,MAAM,WAAW,UAAU;IACzB,2EAA2E;IAC3E,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAChC,OAAO,EAAE;QACP,KAAK,EAAE,UAAU,CAAC;QAClB,UAAU,EAAE,UAAU,CAAC;QACvB,UAAU,EAAE,UAAU,CAAC;QACvB,OAAO,EAAE,UAAU,CAAC;QACpB,QAAQ,EAAE,UAAU,CAAC;KACtB,CAAC;IACF,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iFAAiF;IACjF,aAAa,EAAE,IAAI,GAAG,KAAK,CAAC;CAC7B;AAgED;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtC,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,0DAA0D;IAC1D,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,4EAA4E;IAC5E,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,kFAAkF;IAClF,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,2EAA2E;IAC3E,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,uEAAuE;IACvE,aAAa,EAAE,MAAM,CAAC;IACtB,6DAA6D;IAC7D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,0BAA0B;IAC1B,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACtG,wDAAwD;IACxD,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;CAC5C;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,WAAW,CAqDnF;AAwBD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,WAAW,GACf,gBAAgB,GAAG,IAAI,CAsFzB;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,EAAE,EAAE,QAAQ,CAAC,QAAQ,EACrB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,GACf,gBAAgB,GAAG,IAAI,CAEzB"}

package/dist/server/tools/symbol-risk.js

@@ -0,0 +1,251 @@
+/**
+ * symbol-risk.ts
+ *
+ * Composite, explainable "how risky is it to change this symbol?" scoring —
+ * the Phase 76 fusion of risk primitives PureContext already computes:
+ *   churn        — how often the symbol's file changes (git_metadata, 90d)
+ *   centrality    — how many other files depend on it (afferent coupling) +
+ *                   reverse blast radius
+ *   complexity   — cyclomatic complexity of the symbol
+ *   testGap       — whether the symbol appears to have any test coverage
+ *   coChange      — how many files historically move with it (confidence ≥ 0.4)
+ *
+ * Each factor is normalized REPO-RELATIVE (percentile rank within the repo) so
+ * the score is comparable inside a repo and not dominated by absolute size.
+ * The blend is a config-weighted sum rescaled to 0–100, banded low/review/high.
+ * Every score ships with `factors` (normalized + raw) and human `reasons[]` —
+ * never a black-box number.
+ *
+ * Deliberately NO author / ownership / productivity metrics — code-centered only.
+ */
+import { getCommitsInWindow } from '../../core/db/git-metadata-store.js';
+import { getCouplingMap } from '../../core/db/dep-store.js';
+import { getBlastRadius } from '../../graph/graph-traversal.js';
+import { countCommits } from '../../core/db/co-change-store.js';
+import { getCoChange } from './co-change.js';
+import { getConfig } from '../../config/config-loader.js';
+const CHURN_DAY_WINDOW = 90;
+/**
+ * Midrank percentile of `value` within `dist`, in [0,1]:
+ *   (count_less + 0.5 × count_equal) / N
+ * Midrank (rather than fraction-<=) avoids tie inflation — a value that ties
+ * with the repo minimum does not jump to a high percentile just because many
+ * other symbols share that minimum. Empty distribution → 0.
+ */
+function percentileRank(dist, value) {
+    if (dist.length === 0)
+        return 0;
+    let less = 0;
+    let equal = 0;
+    for (const v of dist) {
+        if (v < value)
+            less++;
+        else if (v === value)
+            equal++;
+    }
+    return (less + 0.5 * equal) / dist.length;
+}
+function band(score) {
+    if (score > 66)
+        return 'high';
+    if (score >= 33)
+        return 'review';
+    return 'low';
+}
+// ─── Test-coverage heuristic (mirrors find_untested_symbols) ──────────────────
+function isTestFile(filePath) {
+    const norm = filePath.replace(/\\/g, '/');
+    if (/(?:^|\/)(?:tests?|specs?|__tests__)\//.test(norm))
+        return true;
+    if (/[._](?:test|spec)\.[a-z]+$/.test(norm))
+        return true;
+    const filename = norm.split('/').pop() ?? '';
+    if (/^(?:test|spec)_/.test(filename))
+        return true;
+    return false;
+}
+/**
+ * True when any of the pre-collected test-file contents contains a
+ * word-boundary-anchored reference to `symbolName`. Operates on the
+ * RiskContext's prebuilt content list so we never re-read all files per symbol.
+ */
+function contentsHaveTestRef(testFileContents, symbolName) {
+    const re = new RegExp(`\\b${symbolName.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}\\b`);
+    for (const c of testFileContents) {
+        if (re.test(c))
+            return true;
+    }
+    return false;
+}
+/**
+ * Build the shared {@link RiskContext} once: all repo-wide distributions, the
+ * afferent-coupling lookup, and the test-file content set. This is the
+ * expensive part — callers should build it once and score many symbols against
+ * it via {@link computeSymbolRiskWithContext}.
+ */
+export function buildRiskContext(db, repoId) {
+    // ── Churn: distinct commits per file in the 90d window. ─────────────────────
+    const sinceTs = Math.floor(Date.now() / 1000) - CHURN_DAY_WINDOW * 86_400;
+    const windowCommitRows = getCommitsInWindow(db, repoId, sinceTs);
+    const fileCommitSets = new Map();
+    for (const c of windowCommitRows) {
+        let s = fileCommitSets.get(c.filePath);
+        if (!s) {
+            s = new Set();
+            fileCommitSets.set(c.filePath, s);
+        }
+        s.add(c.commitSha);
+    }
+    const fileCommitCounts = new Map();
+    for (const [fp, s] of fileCommitSets)
+        fileCommitCounts.set(fp, s.size);
+    const churnDist = [...fileCommitCounts.values()];
+    // ── Centrality: afferent coupling per file. ─────────────────────────────────
+    const coupling = getCouplingMap(db, repoId);
+    const centralityDist = coupling.map((c) => c.afferentCoupling);
+    const afferentByFile = new Map();
+    for (const c of coupling)
+        afferentByFile.set(c.filePath, c.afferentCoupling);
+    // ── Complexity distribution across all symbols. ─────────────────────────────
+    const complexityRows = db
+        .prepare('SELECT cyclomatic_complexity FROM symbols WHERE repo_id = ? AND cyclomatic_complexity IS NOT NULL')
+        .all(repoId);
+    const complexityDist = complexityRows.map((r) => r.cyclomatic_complexity ?? 0);
+    // ── Test-file content set (scanned once, not per symbol). ───────────────────
+    const fileRows = db
+        .prepare('SELECT path, raw_content FROM files WHERE repo_id = ?')
+        .all(repoId);
+    const testFileContents = [];
+    for (const f of fileRows) {
+        if (isTestFile(f.path) && f.raw_content) {
+            testFileContents.push(f.raw_content.toString('utf8'));
+        }
+    }
+    return {
+        fileCommitCounts,
+        churnDist,
+        afferentByFile,
+        centralityDist,
+        complexityDist,
+        testFileContents,
+        windowCommits: countCommits(db, repoId),
+        megaCommitThreshold: getConfig().git?.megaCommitThreshold ?? 30,
+        weights: getConfig().risk.weights,
+        coChangeCache: new Map(),
+    };
+}
+/** Co-change result for a file, memoized on the RiskContext. */
+function cachedCoChange(db, repoId, filePath, ctx) {
+    let res = ctx.coChangeCache.get(filePath);
+    if (!res) {
+        res = getCoChange(db, repoId, filePath, {
+            megaCommitThreshold: ctx.megaCommitThreshold,
+            topN: 50,
+        });
+        ctx.coChangeCache.set(filePath, res);
+    }
+    return res;
+}
+function round2(n) {
+    return Math.round(n * 100) / 100;
+}
+/**
+ * Score a single symbol against a prebuilt {@link RiskContext}. Pure scoring —
+ * no repo-wide queries beyond the symbol row + its reverse blast radius.
+ * Returns null if the symbol does not exist in the repo.
+ *
+ * Output is byte-identical to {@link computeSymbolRisk} for the same symbol.
+ */
+export function computeSymbolRiskWithContext(db, repoId, symbolId, ctx) {
+    const sym = db
+        .prepare(`SELECT id, name, kind, file_path,
+              cyclomatic_complexity, cognitive_complexity, line_count
+       FROM symbols WHERE repo_id = ? AND id = ?`)
+        .get(repoId, symbolId);
+    if (!sym)
+        return null;
+    const reasons = [];
+    // ── Churn ────────────────────────────────────────────────────────────────
+    const churnRaw = ctx.fileCommitCounts.get(sym.file_path) ?? 0;
+    const churnNorm = percentileRank(ctx.churnDist, churnRaw);
+    if (churnRaw > 0)
+        reasons.push(`churn ${churnRaw}/${CHURN_DAY_WINDOW}d`);
+    // ── Centrality ───────────────────────────────────────────────────────────
+    const afferent = ctx.afferentByFile.get(sym.file_path) ?? 0;
+    const centralityNorm = percentileRank(ctx.centralityDist, afferent);
+    const blast = getBlastRadius(symbolId, repoId, db, 3);
+    if (afferent > 0)
+        reasons.push(`${afferent} file(s) import ${sym.file_path}`);
+    if (blast.files.length > 1)
+        reasons.push(`${blast.files.length} files in reverse blast radius`);
+    // ── Complexity ───────────────────────────────────────────────────────────
+    const cc = sym.cyclomatic_complexity ?? 0;
+    const complexityNorm = percentileRank(ctx.complexityDist, cc);
+    if (cc >= 5)
+        reasons.push(`cyclomatic complexity ${cc}`);
+    // ── Test gap ─────────────────────────────────────────────────────────────
+    const tested = contentsHaveTestRef(ctx.testFileContents, sym.name);
+    const testGapNorm = tested ? 0 : 1;
+    if (!tested)
+        reasons.push('no direct test reference');
+    // ── Co-change spread ───────────────────────────────────────────────────────
+    let coChangeNorm = 0;
+    let coChangeRaw = 0;
+    let coChangeLow = false;
+    if (ctx.windowCommits > 0) {
+        const cocc = cachedCoChange(db, repoId, sym.file_path, ctx);
+        coChangeLow = cocc.signalQuality === 'low';
+        const strong = cocc.partners.filter((p) => p.confidence >= 0.4);
+        coChangeRaw = strong.length;
+        coChangeNorm = Math.min(coChangeRaw / 5, 1);
+        if (strong.length > 0) {
+            const top = strong[0];
+            reasons.push(`co-changes with ${top.filePath} (conf ${top.confidence})`);
+        }
+    }
+    else {
+        coChangeLow = true;
+    }
+    // ── Blend (config-weighted, rescaled to 0–100) ─────────────────────────────
+    const w = ctx.weights;
+    const weightSum = w.churn + w.centrality + w.complexity + w.testGap + w.coChange || 1;
+    const weighted = w.churn * churnNorm +
+        w.centrality * centralityNorm +
+        w.complexity * complexityNorm +
+        w.testGap * testGapNorm +
+        w.coChange * coChangeNorm;
+    const riskScore = Math.round((weighted / weightSum) * 100);
+    if (reasons.length === 0)
+        reasons.push('no elevated risk factors detected');
+    // Signal quality: low when churn/co-change history is thin.
+    const signalQuality = ctx.churnDist.length < 5 && coChangeLow ? 'low' : 'ok';
+    return {
+        symbolId: sym.id,
+        name: sym.name,
+        kind: sym.kind,
+        filePath: sym.file_path,
+        riskScore,
+        band: band(riskScore),
+        factors: {
+            churn: { value: round2(churnNorm), raw: churnRaw },
+            centrality: { value: round2(centralityNorm), raw: afferent },
+            complexity: { value: round2(complexityNorm), raw: cc },
+            testGap: { value: testGapNorm, raw: tested ? 1 : 0 },
+            coChange: { value: round2(coChangeNorm), raw: coChangeRaw },
+        },
+        reasons,
+        signalQuality,
+    };
+}
+/**
+ * Compute the composite risk verdict for a symbol. Returns null if the symbol
+ * does not exist in the repo.
+ *
+ * Thin wrapper over {@link computeSymbolRiskWithContext}: builds a fresh
+ * {@link RiskContext} for the single symbol. Callers scoring many symbols
+ * should build the context once and call `computeSymbolRiskWithContext`.
+ */
+export function computeSymbolRisk(db, repoId, symbolId) {
+    return computeSymbolRiskWithContext(db, repoId, symbolId, buildRiskContext(db, repoId));
+}
+//# sourceMappingURL=symbol-risk.js.map

package/dist/server/tools/symbol-risk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbol-risk.js","sourceRoot":"","sources":["../../../src/server/tools/symbol-risk.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAChE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,WAAW,EAAuB,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAC;AA4B1D,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAE5B;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,IAAc,EAAE,KAAa;IACnD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAChC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,GAAG,KAAK;YAAE,IAAI,EAAE,CAAC;aACjB,IAAI,CAAC,KAAK,KAAK;YAAE,KAAK,EAAE,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,IAAI,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;AAC5C,CAAC;AAED,SAAS,IAAI,CAAC,KAAa;IACzB,IAAI,KAAK,GAAG,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,IAAI,KAAK,IAAI,EAAE;QAAE,OAAO,QAAQ,CAAC;IACjC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AAEjF,SAAS,UAAU,CAAC,QAAgB;IAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,IAAI,uCAAuC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpE,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,mBAAmB,CAAC,gBAA0B,EAAE,UAAkB;IACzE,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,UAAU,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IACpF,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA+CD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAqB,EAAE,MAAc;IACpE,+EAA+E;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,GAAG,MAAM,CAAC;IAC1E,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAuB,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACjC,IAAI,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,CAAC,EAAE,CAAC;YAAC,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;YAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAAC,CAAC;QAC7D,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACnD,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,cAAc;QAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,SAAS,GAAG,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC;IAEjD,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC,CAAC;IAE7E,+EAA+E;IAC/E,MAAM,cAAc,GAAG,EAAE;SACtB,OAAO,CACN,mGAAmG,CACpG;SACA,GAAG,CAAC,MAAM,CAAC,CAAC;IACf,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC;IAE/E,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,EAAE;SAChB,OAAO,CACN,uDAAuD,CACxD;SACA,GAAG,CAAC,MAAM,CAAC,CAAC;IACf,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACxC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,OAAO;QACL,gBAAgB;QAChB,SAAS;QACT,cAAc;QACd,cAAc;QACd,cAAc;QACd,gBAAgB;QAChB,aAAa,EAAE,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC;QACvC,mBAAmB,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,mBAAmB,IAAI,EAAE;QAC/D,OAAO,EAAE,SAAS,EAAE,CAAC,IAAI,CAAC,OAAO;QACjC,aAAa,EAAE,IAAI,GAAG,EAAE;KACzB,CAAC;AACJ,CAAC;AAED,gEAAgE;AAChE,SAAS,cAAc,CACrB,EAAqB,EACrB,MAAc,EACd,QAAgB,EAChB,GAAgB;IAEhB,IAAI,GAAG,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,WAAW,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE;YACtC,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;YAC5C,IAAI,EAAE,EAAE;SACT,CAAC,CAAC;QACH,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,4BAA4B,CAC1C,EAAqB,EACrB,MAAc,EACd,QAAgB,EAChB,GAAgB;IAEhB,MAAM,GAAG,GAAG,EAAE;SACX,OAAO,CACN;;iDAE2C,CAC5C;SACA,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACzB,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAEtB,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,QAAQ,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,SAAS,QAAQ,IAAI,gBAAgB,GAAG,CAAC,CAAC;IAEzE,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC5D,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IACpE,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACtD,IAAI,QAAQ,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,mBAAmB,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC;IAC9E,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,gCAAgC,CAAC,CAAC;IAEhG,4EAA4E;IAC5E,MAAM,EAAE,GAAG,GAAG,CAAC,qBAAqB,IAAI,CAAC,CAAC;IAC1C,MAAM,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC9D,IAAI,EAAE,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;IAEzD,4EAA4E;IAC5E,MAAM,MAAM,GAAG,mBAAmB,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAEtD,8EAA8E;IAC9E,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,GAAG,CAAC,aAAa,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,cAAc,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QAC5D,WAAW,GAAG,IAAI,CAAC,aAAa,KAAK,KAAK,CAAC;QAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;QAChE,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,mBAAmB,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IACtB,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;IACtF,MAAM,QAAQ,GACZ,CAAC,CAAC,KAAK,GAAG,SAAS;QACnB,CAAC,CAAC,UAAU,GAAG,cAAc;QAC7B,CAAC,CAAC,UAAU,GAAG,cAAc;QAC7B,CAAC,CAAC,OAAO,GAAG,WAAW;QACvB,CAAC,CAAC,QAAQ,GAAG,YAAY,CAAC;IAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,GAAG,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC;IAE3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAE5E,4DAA4D;IAC5D,MAAM,aAAa,GACjB,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAEzD,OAAO;QACL,QAAQ,EAAE,GAAG,CAAC,EAAE;QAChB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,QAAQ,EAAE,GAAG,CAAC,SAAS;QACvB,SAAS;QACT,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;QACrB,OAAO,EAAE;YACP,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE;YAClD,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE;YAC5D,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;YACtD,OAAO,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;YACpD,QAAQ,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE;SAC5D;QACD,OAAO;QACP,aAAa;KACd,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,EAAqB,EACrB,MAAc,EACd,QAAgB;IAEhB,OAAO,4BAA4B,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;AAC1F,CAAC"}

package/dist/server/tools/verify-change.d.ts

@@ -0,0 +1,40 @@
+/**
+ * verify-change.ts
+ *
+ * MCP tool: verify_change (Phase 79, Group B)
+ *
+ * The POST-EDIT half of PureContext's refactoring loop, and the capability a
+ * fast symbol index (or a tool that only applies edits) does not have:
+ * plan-vs-actual reconciliation. Given the real diff of what the agent did and
+ * the prediction from `prepare_change`, it answers "is this change complete?":
+ *
+ *   - unaddressedCoChange — files prepare_change flagged as historically coupled
+ *     that the agent STILL did not touch ("you planned around X; it's untouched")
+ *   - addressedCoChange   — predicted partners that WERE touched (good)
+ *   - unplannedChanges    — files in the diff that were NOT predicted (scope creep)
+ *   - coverageGapsRemaining — changed symbols still without test coverage
+ *   - verdict: complete | incomplete | scope_expanded, with reasons[]
+ *
+ * Reuses analyze_diff verbatim for the "actual" synthesis — no duplicated diff
+ * parsing or synthesis logic. Stateless: the agent passes the prediction back
+ * inline (predictedFilePaths / predictedCoChange from prepare_change).
+ */
+import { z } from 'zod';
+import type { CallToolResult } from '@modelcontextprotocol/sdk/types.js';
+export declare const name = "verify_change";
+export declare const description: string;
+export declare const inputSchema: {
+    repoId: z.ZodString;
+    diff: z.ZodString;
+    predictedFilePaths: z.ZodArray<z.ZodString>;
+    predictedCoChange: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    predictionId: z.ZodOptional<z.ZodString>;
+};
+export declare function handler(args: {
+    repoId: string;
+    diff: string;
+    predictedFilePaths: string[];
+    predictedCoChange?: string[];
+    predictionId?: string;
+}): Promise<CallToolResult>;
+//# sourceMappingURL=verify-change.d.ts.map

package/dist/server/tools/verify-change.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-change.d.ts","sourceRoot":"","sources":["../../../src/server/tools/verify-change.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAEzE,eAAO,MAAM,IAAI,kBAAkB,CAAC;AAEpC,eAAO,MAAM,WAAW,QAS8C,CAAC;AAEvE,eAAO,MAAM,WAAW;;;;;;CAiBvB,CAAC;AAwCF,wBAAsB,OAAO,CAAC,IAAI,EAAE;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,kBAAkB,EAAE,MAAM,EAAE,CAAC;IAC7B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG,OAAO,CAAC,cAAc,CAAC,CA8F1B"}

package/dist/server/tools/verify-change.js

@@ -0,0 +1,149 @@
+/**
+ * verify-change.ts
+ *
+ * MCP tool: verify_change (Phase 79, Group B)
+ *
+ * The POST-EDIT half of PureContext's refactoring loop, and the capability a
+ * fast symbol index (or a tool that only applies edits) does not have:
+ * plan-vs-actual reconciliation. Given the real diff of what the agent did and
+ * the prediction from `prepare_change`, it answers "is this change complete?":
+ *
+ *   - unaddressedCoChange — files prepare_change flagged as historically coupled
+ *     that the agent STILL did not touch ("you planned around X; it's untouched")
+ *   - addressedCoChange   — predicted partners that WERE touched (good)
+ *   - unplannedChanges    — files in the diff that were NOT predicted (scope creep)
+ *   - coverageGapsRemaining — changed symbols still without test coverage
+ *   - verdict: complete | incomplete | scope_expanded, with reasons[]
+ *
+ * Reuses analyze_diff verbatim for the "actual" synthesis — no duplicated diff
+ * parsing or synthesis logic. Stateless: the agent passes the prediction back
+ * inline (predictedFilePaths / predictedCoChange from prepare_change).
+ */
+import { z } from 'zod';
+import { parseDiff } from '../../core/diff-parser.js';
+import { buildMeta } from './_meta.js';
+import { handler as analyzeDiffHandler } from './analyze-diff.js';
+export const name = 'verify_change';
+export const description = 'Post-edit refactoring reconciliation: given the real diff and the prediction ' +
+    'from prepare_change, confirm the change is COMPLETE. Reports historically ' +
+    'co-changing files you planned around but still did not touch ' +
+    '(unaddressedCoChange), predicted partners you did touch (addressedCoChange), ' +
+    'files changed that were not predicted (unplannedChanges / scope creep), and ' +
+    'changed symbols still lacking tests (coverageGapsRemaining). Returns a verdict ' +
+    '(complete / incomplete / scope_expanded) with plain-English reasons. Stateless: ' +
+    'pass predictedFilePaths and predictedCoChange from the prepare_change output. ' +
+    'Co-change reconciliation is suppressed when the git signal is low.';
+export const inputSchema = {
+    repoId: z.string().describe('Repo ID from index_folder or resolve_repo'),
+    diff: z.string().describe('Unified diff of what you actually changed (output of `git diff`)'),
+    predictedFilePaths: z
+        .array(z.string())
+        .describe('predictedChange.changedFilePaths from the prepare_change output'),
+    predictedCoChange: z
+        .array(z.string())
+        .optional()
+        .describe('File paths prepare_change flagged in missingCoChange (the partners you were ' +
+        'advised to consider). Pass missingCoChange[].filePath. Defaults to empty.'),
+    predictionId: z
+        .string()
+        .optional()
+        .describe('Optional echo of prepare_change.predictionId (label only; not stored).'),
+};
+function norm(p) {
+    return p.replace(/\\/g, '/');
+}
+function parseAnalyzeDiff(result) {
+    if (result.isError)
+        return null;
+    const text = result.content[0].text;
+    if (!text)
+        return null;
+    try {
+        return JSON.parse(text);
+    }
+    catch {
+        return null;
+    }
+}
+// ─── Handler ──────────────────────────────────────────────────────────────────
+export async function handler(args) {
+    const t0 = Date.now();
+    const { repoId, diff, predictedFilePaths, predictedCoChange = [], predictionId } = args;
+    // ── 1. Actual change set + synthesis via analyze_diff (no duplication) ──────
+    const analysis = parseAnalyzeDiff(await analyzeDiffHandler({
+        repoId,
+        diff,
+        includeBlastRadius: false,
+        includeRisk: false,
+        includeCoChangeGaps: false,
+        includeTests: true,
+        includeArchitectureFlags: false,
+    }));
+    // Actual files = diff file headers ∪ resolved changed-symbol files (robust to
+    // files with no indexed symbols).
+    const actual = new Set();
+    for (const fd of parseDiff(diff)) {
+        if (fd.newPath)
+            actual.add(norm(fd.newPath));
+        if (fd.oldPath)
+            actual.add(norm(fd.oldPath));
+    }
+    for (const cs of analysis?.changedSymbols ?? []) {
+        if (cs.filePath)
+            actual.add(norm(cs.filePath));
+    }
+    const signalQuality = analysis?.signalQuality ?? 'low';
+    const coverageGapsRemaining = analysis?.coverageGaps ?? [];
+    // ── 2. Reconcile against the prediction ────────────────────────────────────
+    const predictedSet = new Set(predictedFilePaths.map(norm));
+    const predictedCo = [...new Set(predictedCoChange.map(norm))];
+    // Co-change reconciliation is only trustworthy when the git signal is ok.
+    const coChangeTrusted = signalQuality === 'ok';
+    const addressedCoChange = coChangeTrusted ? predictedCo.filter((f) => actual.has(f)) : [];
+    const unaddressedCoChange = coChangeTrusted ? predictedCo.filter((f) => !actual.has(f)) : [];
+    const unplannedChanges = [...actual].filter((f) => !predictedSet.has(f)).sort();
+    // ── 3. Verdict + reasons ───────────────────────────────────────────────────
+    const reasons = [];
+    let verdict;
+    if (unaddressedCoChange.length > 0 || coverageGapsRemaining.length > 0) {
+        verdict = 'incomplete';
+        if (unaddressedCoChange.length > 0) {
+            reasons.push(`${unaddressedCoChange.length} historically co-changing file(s) you planned around are still ` +
+                `untouched: ${unaddressedCoChange.slice(0, 3).join(', ')}. Consider editing them in this change.`);
+        }
+        if (coverageGapsRemaining.length > 0) {
+            reasons.push(`${coverageGapsRemaining.length} changed symbol(s) still have no test coverage: ` +
+                `${coverageGapsRemaining.slice(0, 3).map((c) => c.name).join(', ')}.`);
+        }
+    }
+    else if (unplannedChanges.length > 0) {
+        verdict = 'scope_expanded';
+        reasons.push(`Change is complete relative to the plan, but ${unplannedChanges.length} file(s) were touched that ` +
+            `were not predicted: ${unplannedChanges.slice(0, 3).join(', ')}. Confirm this scope was intended.`);
+    }
+    else {
+        verdict = 'complete';
+        reasons.push('Change matches the prediction: all planned files touched, no co-change gaps, no coverage gaps.');
+    }
+    if (addressedCoChange.length > 0) {
+        reasons.push(`Addressed ${addressedCoChange.length} predicted co-change partner(s): ${addressedCoChange.slice(0, 3).join(', ')}.`);
+    }
+    if (!coChangeTrusted && predictedCo.length > 0) {
+        reasons.push('Co-change reconciliation suppressed — git signal is low (shallow/squashed history).');
+    }
+    const out = {
+        verdict,
+        actualFilePaths: [...actual].sort(),
+        addressedCoChange,
+        unaddressedCoChange,
+        unplannedChanges,
+        coverageGapsRemaining,
+        signalQuality,
+        reasons,
+        _meta: buildMeta({ timingMs: Date.now() - t0 }),
+    };
+    if (predictionId)
+        out.predictionId = predictionId;
+    return { content: [{ type: 'text', text: JSON.stringify(out, null, 2) }] };
+}
+//# sourceMappingURL=verify-change.js.map

package/dist/server/tools/verify-change.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-change.js","sourceRoot":"","sources":["../../../src/server/tools/verify-change.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AACtD,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAGlE,MAAM,CAAC,MAAM,IAAI,GAAG,eAAe,CAAC;AAEpC,MAAM,CAAC,MAAM,WAAW,GACtB,+EAA+E;IAC/E,4EAA4E;IAC5E,+DAA+D;IAC/D,+EAA+E;IAC/E,8EAA8E;IAC9E,iFAAiF;IACjF,kFAAkF;IAClF,gFAAgF;IAChF,oEAAoE,CAAC;AAEvE,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,2CAA2C,CAAC;IACxE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,kEAAkE,CAAC;IAC7F,kBAAkB,EAAE,CAAC;SAClB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,CAAC,iEAAiE,CAAC;IAC9E,iBAAiB,EAAE,CAAC;SACjB,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACjB,QAAQ,EAAE;SACV,QAAQ,CACP,8EAA8E;QAC9E,2EAA2E,CAC5E;IACH,YAAY,EAAE,CAAC;SACZ,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,CAAC,wEAAwE,CAAC;CACtF,CAAC;AAuBF,SAAS,IAAI,CAAC,CAAS;IACrB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAsB;IAC9C,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAuB,CAAC,IAAI,CAAC;IAC3D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAqB,CAAC;IAC9C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,IAM7B;IACC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,iBAAiB,GAAG,EAAE,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAExF,+EAA+E;IAC/E,MAAM,QAAQ,GAAG,gBAAgB,CAC/B,MAAM,kBAAkB,CAAC;QACvB,MAAM;QACN,IAAI;QACJ,kBAAkB,EAAE,KAAK;QACzB,WAAW,EAAE,KAAK;QAClB,mBAAmB,EAAE,KAAK;QAC1B,YAAY,EAAE,IAAI;QAClB,wBAAwB,EAAE,KAAK;KAChC,CAAC,CACH,CAAC;IAEF,8EAA8E;IAC9E,kCAAkC;IAClC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7C,IAAI,EAAE,CAAC,OAAO;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,EAAE,CAAC,QAAQ;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,aAAa,GAAiB,QAAQ,EAAE,aAAa,IAAI,KAAK,CAAC;IACrE,MAAM,qBAAqB,GAAG,QAAQ,EAAE,YAAY,IAAI,EAAE,CAAC;IAE3D,8EAA8E;IAC9E,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE9D,0EAA0E;IAC1E,MAAM,eAAe,GAAG,aAAa,KAAK,IAAI,CAAC;IAC/C,MAAM,iBAAiB,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,MAAM,mBAAmB,GAAG,eAAe,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7F,MAAM,gBAAgB,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAEhF,8EAA8E;IAC9E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAsC,CAAC;IAE3C,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvE,OAAO,GAAG,YAAY,CAAC;QACvB,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnC,OAAO,CAAC,IAAI,CACV,GAAG,mBAAmB,CAAC,MAAM,iEAAiE;gBAC9F,cAAc,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yCAAyC,CAClG,CAAC;QACJ,CAAC;QACD,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,OAAO,CAAC,IAAI,CACV,GAAG,qBAAqB,CAAC,MAAM,kDAAkD;gBACjF,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,GAAG,gBAAgB,CAAC;QAC3B,OAAO,CAAC,IAAI,CACV,gDAAgD,gBAAgB,CAAC,MAAM,6BAA6B;YACpG,uBAAuB,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CACnG,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,UAAU,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,gGAAgG,CAAC,CAAC;IACjH,CAAC;IAED,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CACV,aAAa,iBAAiB,CAAC,MAAM,oCAAoC,iBAAiB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,eAAe,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,IAAI,CAAC,qFAAqF,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,GAAG,GAAuB;QAC9B,OAAO;QACP,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE;QACnC,iBAAiB;QACjB,mBAAmB;QACnB,gBAAgB;QAChB,qBAAqB;QACrB,aAAa;QACb,OAAO;QACP,KAAK,EAAE,SAAS,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;KAChD,CAAC;IACF,IAAI,YAAY;QAAE,GAAG,CAAC,YAAY,GAAG,YAAY,CAAC;IAElD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AAC7E,CAAC"}

package/dist/version.d.ts

@@ -1,2 +1,2 @@
-export declare const VERSION = "1.5.2";
+export declare const VERSION = "1.11.0";
 //# sourceMappingURL=version.d.ts.map

package/dist/version.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,UAAU,CAAC"}
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,WAAW,CAAC"}

package/dist/version.js

@@ -1,2 +1,2 @@
-export const VERSION = '1.5.2';
+export const VERSION = '1.11.0';
 //# sourceMappingURL=version.js.map

package/dist/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,OAAO,CAAC"}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,OAAO,GAAG,QAAQ,CAAC"}

package/docs/01-introduction.md

@@ -3,7 +3,7 @@
 
 ## What is PureContext MCP?
 
-PureContext MCP is a **token-efficient source code navigation server** for AI agents. Instead of reading entire files, AI agents can retrieve exactly the symbols they need — functions, classes, methods, routes, and more — saving 90–98% of context tokens.
+PureContext MCP is a **code-intelligence server for AI coding agents**. It gives an agent what it needs to *change* code safely — impact (blast radius), temporal coupling (which files change together), and a composite change-risk score — *before* it edits. That sits on a **token-efficient retrieval** foundation: instead of reading entire files, agents retrieve exactly the symbols they need — functions, classes, methods, routes, and more — saving 90–98% of context tokens.
 
 It implements the **Model Context Protocol (MCP)** so it works natively with Claude Code and any other MCP-compatible AI client.
 
@@ -61,7 +61,7 @@ PureContext builds a **structured index** of your codebase using tree-sitter AST
 
 ## What PureContext is not
 
-PureContext is a navigation and indexing layer, not a general-purpose tool:
+PureContext is a code-intelligence and indexing layer, not a general-purpose tool:
 
 - Not a code editor or IDE
 - Not a runtime debugger or test runner