scip-query 0.7.2 → 0.8.0

package/dist/health-C6r2VgpA.d.ts

@@ -0,0 +1,234 @@
+import { S as ScipDatabase } from './db-DdTPetj5.js';
+import { stats } from './queries/stats.js';
+
+/**
+ * Structural copy of analysis/git-history's ChangeAmplification — defined
+ * here so the report envelope consumed by runtime/ does not pull analysis/
+ * types across the layer boundary.
+ */
+interface ChangeAmplificationSummary {
+    medianFilesPerCommit: number;
+    p90FilesPerCommit: number;
+    commitsAnalyzed: number;
+}
+interface CountLocSummary {
+    count: number;
+    loc: number;
+    /** Files contributing findings — feeds fix-density validation. */
+    files?: string[];
+}
+interface StaleSummary extends CountLocSummary {
+    unused: number;
+    singleUse: number;
+}
+interface DriftSummary {
+    count: number;
+    unusedImports: number;
+    layerViolations: number;
+}
+interface ComplexitySummary {
+    top: Array<{
+        symbol: string;
+        score: number;
+        file?: string;
+    }>;
+    extremeCount: number;
+}
+interface GitEvidenceSummary {
+    amplification: ChangeAmplificationSummary | null;
+    hiddenCoupling: {
+        pairCount: number;
+        top: Array<{
+            fileA: string;
+            fileB: string;
+            together: number;
+            confidence: number;
+        }>;
+    };
+    /** Per-file change counts over the analyzed window (tracked files only). */
+    fileStats: Record<string, {
+        changes: number;
+        fixChanges: number;
+    }>;
+}
+interface SuppressionSummary {
+    total: number;
+    byCategory: Record<string, number>;
+}
+
+type FindingEvidence = 'graph-fact' | 'heuristic' | 'change-graph';
+interface HealthAction {
+    category: string;
+    description: string;
+    effort: 'low' | 'medium' | 'high';
+    impact: 'low' | 'medium' | 'high';
+    count: number;
+    locRecoverable: number;
+    /** What kind of evidence backs this action — agents should trust accordingly. */
+    evidence: FindingEvidence;
+}
+/** One deduction line — the score is the sum of these, so it is auditable. */
+interface ScoreDeduction {
+    axis: string;
+    points: number;
+    detail: string;
+    /** Risk deductions are empirically validated predictors; hygiene are tidiness signals. */
+    kind: 'risk' | 'hygiene';
+}
+interface HealthAxes {
+    /** LOC provably removable with behavior preserved (dead + isolated). */
+    deletable: {
+        loc: number;
+        symbols: number;
+    };
+    cycles: {
+        count: number;
+    };
+    /** Files touched per commit — the measured cost of one conceptual change. */
+    changeAmplification: ChangeAmplificationSummary | null;
+    /** File pairs that co-change without a dependency edge — concepts the reference graph can't see. */
+    hiddenCoupling: {
+        pairCount: number;
+        top: Array<{
+            fileA: string;
+            fileB: string;
+            together: number;
+            confidence: number;
+        }>;
+    } | null;
+    /** Complexity hotspots weighted by churn — complex code nobody touches costs nothing. */
+    churnWeightedComplexity: Array<{
+        symbol: string;
+        file?: string;
+        score: number;
+        changes: number;
+        weighted: number;
+    }> | null;
+    /** What fraction of findings rest on graph facts vs heuristics, and how many the user has rejected. */
+    evidenceQuality: {
+        graphFindings: number;
+        heuristicFindings: number;
+        userSuppressed: number;
+    };
+}
+/** Do flagged files attract more fix commits than the rest? The falsifiability check. */
+interface HealthValidation {
+    flaggedFiles: number;
+    flaggedFixDensity: number;
+    baselineFixDensity: number;
+    /** > 1 means findings concentrate where fixes happen — predictive signal. */
+    ratio: number | null;
+    /** Per-detector lift — which detectors actually predict fixes, auditable. */
+    byCategory: Record<string, {
+        flaggedFiles: number;
+        fixDensity: number;
+        lift: number | null;
+    }>;
+}
+interface HealthReport {
+    /** Headline = min(riskScore, hygieneScore); kept for compatibility. */
+    score: number;
+    /** Empirically validated predictors only (graph facts, change-graph signals). */
+    riskScore: number;
+    /** Tidiness signals (candidate detectors) — real but not fix-predictive. */
+    hygieneScore: number;
+    scoreBreakdown: ScoreDeduction[];
+    overview: {
+        documents: number;
+        symbols: number;
+        indexSizeBytes: number;
+    };
+    findings: {
+        deadSymbols: number;
+        deadLoc: number;
+        isolatedSymbols: number;
+        isolatedLoc: number;
+        cycles: number;
+        similarPairs: number;
+        extractionCandidates: number;
+        wrappers: number;
+        passthroughs: number;
+        staleTypes: number;
+        driftedFiles: number;
+        complexityHotspotCount: number;
+        hiddenCouplingPairs: number | null;
+    };
+    axes: HealthAxes;
+    validation: HealthValidation | null;
+    suppressions: {
+        total: number;
+        byCategory: Record<string, number>;
+    } | null;
+    actions: HealthAction[];
+    topComplexity: Array<{
+        symbol: string;
+        score: number;
+        file?: string;
+    }>;
+    warnings?: string[];
+}
+
+declare const HEALTH_PHASES: readonly ["overview", "dead", "isolated", "cycles", "similar", "extract-candidates", "wrapper-candidates", "passthrough-candidates", "stale-abstractions", "drift", "complexity-hotspots", "git-evidence", "suppressions"];
+type HealthPhaseName = typeof HEALTH_PHASES[number];
+type HealthPhaseResult = {
+    phase: 'overview';
+    statsResult: ReturnType<typeof stats>;
+    warnings: string[];
+} | {
+    phase: 'dead';
+    dead: CountLocSummary;
+} | {
+    phase: 'isolated';
+    isolated: CountLocSummary;
+} | {
+    phase: 'cycles';
+    realCycleCount: number;
+} | {
+    phase: 'similar';
+    similarCount: number;
+} | {
+    phase: 'extract-candidates';
+    extractCount: number;
+} | {
+    phase: 'wrapper-candidates';
+    wrappers: CountLocSummary;
+} | {
+    phase: 'passthrough-candidates';
+    passthroughs: CountLocSummary;
+} | {
+    phase: 'stale-abstractions';
+    stale: StaleSummary;
+} | {
+    phase: 'drift';
+    drift: DriftSummary;
+} | {
+    phase: 'complexity-hotspots';
+    complexity: ComplexitySummary;
+} | {
+    phase: 'git-evidence';
+    gitEvidence: GitEvidenceSummary | null;
+} | {
+    phase: 'suppressions';
+    suppressions: SuppressionSummary;
+};
+/**
+ * Single composite health report that runs all de-bloat analyses
+ * and produces a prioritized action list.
+ *
+ * The scoring formula accounts for common false positives:
+ * - Entry points (CLI, workers, barrels) appearing as "dead code"
+ * - Typed result interfaces with 1 consumer (normal for APIs)
+ * - Consistent import patterns across sibling modules (not duplication)
+ * - Barrel and orchestrator files deviating from sibling patterns (expected)
+ */
+declare function health(db: ScipDatabase, opts?: {
+    scope?: string;
+    full?: boolean;
+}): HealthReport;
+declare function healthPhase(db: ScipDatabase, phase: HealthPhaseName, opts?: {
+    scope?: string;
+    full?: boolean;
+}): HealthPhaseResult;
+declare function healthReportFromPhases(phaseResults: HealthPhaseResult[]): HealthReport;
+
+export { HEALTH_PHASES as H, type HealthAction as a, type HealthReport as b, healthPhase as c, healthReportFromPhases as d, type HealthPhaseName as e, health as h };

package/dist/index.d.ts

@@ -130,22 +130,7 @@ declare function crossFileCallerEvidenceMap(db: ScipDatabase, definitions?: Read
 }): Map<number, Set<string>>;
 declare function sourceFallbackCallerEvidenceMap(db: ScipDatabase, definitions: ReadonlyArray<IndexedDefinition>): Map<number, Set<string>>;
 
-interface CallableSignature {
-    paramCount: number;
-}
-/**
- * Pull a function's parameter count from the AST. Used by similar-pair
- * filtering to avoid declaring a 1-arg helper similar to a 7-arg orchestrator
- * just because they happen to share infrastructure callees.
- *
- * On first call per file, walks the entire AST once and indexes every
- * callable's signature by (startLine, endLine). Subsequent calls are O(1)
- * Map lookups — critical when called for thousands of candidates.
- *
- * scip-query: ignore-wrapper — public AST-signature primitive used through
- * ProjectIndex; callers should not know the per-tree signature cache shape.
- */
-declare function getCallableSignature(db: ScipDatabase, relativePath: string, startLine: number, endLine: number): CallableSignature | null;
+type FrameworkSourceReferenceKind = 'cross-language-dispatch' | 'rust-attribute';
 
 /**
  * Identifier-attribution module — one owner of "given a textual identifier
@@ -182,7 +167,7 @@ interface SymbolRef {
  */
 declare function attributeIdentifier(db: ScipDatabase, file: string, identifier: string): SymbolRef[];
 
-type SourceReferenceKind = 'identifier' | 'cross-language-dispatch' | 'rust-attribute';
+type SourceReferenceKind = 'identifier' | FrameworkSourceReferenceKind;
 type DefaultSourceReferenceTarget = ReturnType<typeof attributeIdentifier>[number];
 interface SourceReferenceTarget {
     symbolId: number;
@@ -221,6 +206,12 @@ interface ProductionCallableDefinitionsOptions {
     excludeSymbol?: string;
     excludeEntrySurfaces?: boolean;
     excludeTypesFiles?: boolean;
+    /**
+     * Skip externally-live symbols (package surface / entryRoots config).
+     * For detectors whose advice is "inline or delete this" — published API
+     * has consumers the index cannot see, so that advice would be wrong.
+     */
+    excludeRootedSymbols?: boolean;
     excludeRustTraitImplMembers?: boolean;
     includeSuppressed?: boolean;
     requireFunctionLikeSymbol?: boolean;
@@ -255,7 +246,9 @@ declare class ProjectIndex {
     hasSuppressionComment(definition: Pick<IndexedDefinition, 'relativePath' | 'startLine'>): boolean;
     sourceFiles(): string[];
     scanSourceReferences(opts: Parameters<typeof scanSourceReferences>[1], visit: Parameters<typeof scanSourceReferences>[2]): void;
-    callableSignature(definition: Pick<IndexedDefinition, 'relativePath' | 'startLine' | 'endLine'>): ReturnType<typeof getCallableSignature>;
+    callableSignature(definition: Pick<IndexedDefinition, 'relativePath' | 'startLine' | 'endLine'>): {
+        paramCount: number;
+    } | null;
 }
 
 /**

package/dist/index.js

@@ -1,4 +1,4 @@
-import{a}from"./chunk-TKDJQ2WD.js";import{a as s}from"./chunk-NBUINPSH.js";import"./chunk-NKJKI6SE.js";import"./chunk-IODTPF5H.js";import"./chunk-P3PVY6TX.js";import"./chunk-YH6TTQEI.js";import"./chunk-4GPWGSOE.js";import"./chunk-5RGK4YA5.js";import"./chunk-EVXQF7DM.js";import"./chunk-RCJEFQOK.js";import"./chunk-BOVNTAKQ.js";import"./chunk-KJ6CW6EK.js";import{a as i,c as n,d as l}from"./chunk-4VYIZV3S.js";import"./chunk-5TT47UMX.js";import"./chunk-NHDPYW7O.js";import"./chunk-NN3O7TPH.js";import c from"better-sqlite3";var d=["node_modules",".git","dist","build","out","coverage","target",".next",".nuxt",".cache",".turbo",".scipquery-cache","__pycache__",".venv","venv"],o=class{db;config;pathFilter;constructor(t,e){this.config=t,this.pathFilter=e??null,this.db=new c(t.dbPath,{readonly:!0}),this.db.pragma("busy_timeout = 5000")}isIgnored(t){return this.pathFilter?.isIgnored(t)??!1}get localSymbolPredicate(){return`(
+import{a}from"./chunk-TKDJQ2WD.js";import{a as s}from"./chunk-NOVKLH2F.js";import"./chunk-TQTVM27C.js";import"./chunk-RIXOMSOR.js";import"./chunk-EAU4RDFG.js";import"./chunk-PCMVXWDC.js";import"./chunk-6ZFKI5EP.js";import"./chunk-64UY7VTR.js";import"./chunk-7I6KNKE3.js";import"./chunk-APLCSDXL.js";import"./chunk-WEJYUS5O.js";import"./chunk-PBGTMPJ7.js";import{a as i,c as n,d as l}from"./chunk-SOGLYIJ4.js";import"./chunk-WQFOZIID.js";import"./chunk-NN3O7TPH.js";import"./chunk-VDZL45XI.js";import c from"better-sqlite3";var d=["node_modules",".git","dist","build","out","coverage","target",".next",".nuxt",".cache",".turbo",".scipquery-cache","__pycache__",".venv","venv"],o=class{db;config;pathFilter;constructor(t,e){this.config=t,this.pathFilter=e??null,this.db=new c(t.dbPath,{readonly:!0}),this.db.pragma("busy_timeout = 5000")}isIgnored(t){return this.pathFilter?.isIgnored(t)??!1}get localSymbolPredicate(){return`(
       EXISTS (
         SELECT 1
         FROM defn_enclosing_ranges local_der

package/dist/postinstall.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
-import{b as u,c as k,d as f,e as g}from"./chunk-LWYIGRHR.js";import{existsSync as p,mkdirSync as L,symlinkSync as v,readlinkSync as C,unlinkSync as b}from"fs";import{join as c,dirname as m,resolve as d}from"path";import{homedir as S,platform as q}from"os";import{fileURLToPath as R}from"url";var D=q()==="win32",N=["concrete-plan","scip-explore","scip-debloat","scip-verify","scip-language-playbook"];function T(t={}){let i=t.quiet?()=>{}:console.log,e=R(import.meta.url),I=d(m(e),"..","skills"),$=[c(S(),".claude","skills"),c(S(),".codex","skills")],s={installed:[],skipped:[],alreadyLinked:[]};for(let o of $){let h=m(o);if(!p(h))continue;L(o,{recursive:!0});let n=o.includes(".codex")?"Codex":"Claude";for(let l of N){let a=c(I,l),r=c(o,l);if(!p(a)){s.skipped.push(`${n}/${l}`);continue}if(p(r)){try{let x=C(r);if(d(x)===d(a)){s.alreadyLinked.push(`${n}/${l}`),i(`  ok:   ${l} \u2192 ${n} (already linked)`);continue}}catch{s.skipped.push(`${n}/${l}`),i(`  skip: ${l} \u2192 ${n} (exists, not a symlink)`);continue}b(r)}v(a,r,D?"junction":"dir"),s.installed.push(`${n}/${l}`),i(`  done: ${l} \u2192 ${n}`)}}return s}function y(){console.log("scip-query: installing skills...");let t=T({quiet:!1});if(t.installed.length+t.alreadyLinked.length>0&&console.log(`
-${t.installed.length} skill(s) installed, ${t.alreadyLinked.length} already linked.`),!u())console.log(`
-scip CLI not found on PATH. Attempting auto-install...`),g(console.log)||f();else{let e=k();console.log(`
-scip CLI: ${e??"installed"}`)}console.log("")}y();
+import{b as k,c as g,d as f,e as m}from"./chunk-LWYIGRHR.js";import{existsSync as p,mkdirSync as L,symlinkSync as v,readlinkSync as b,unlinkSync as C}from"fs";import{join as s,dirname as S,resolve as d}from"path";import{homedir as u,platform as q}from"os";import{fileURLToPath as N}from"url";var R=q()==="win32",T=["concrete-plan","scip-ai-cleanup","scip-explore","scip-debloat","scip-maintainability","scip-verify","scip-language-playbook"];function A(n={}){let e=n.quiet?()=>{}:console.log,o=N(import.meta.url),I=d(S(o),"..","skills"),$=[s(u(),".claude","skills"),s(u(),".codex","skills"),s(u(),".agents","skills")],i={installed:[],skipped:[],alreadyLinked:[]};for(let r of $){let h=S(r);if(!p(h))continue;L(r,{recursive:!0});let t=j(r);for(let l of T){let a=s(I,l),c=s(r,l);if(!p(a)){i.skipped.push(`${t}/${l}`);continue}if(p(c)){try{let x=b(c);if(d(x)===d(a)){i.alreadyLinked.push(`${t}/${l}`),e(`  ok:   ${l} \u2192 ${t} (already linked)`);continue}}catch{i.skipped.push(`${t}/${l}`),e(`  skip: ${l} \u2192 ${t} (exists, not a symlink)`);continue}C(c)}v(a,c,R?"junction":"dir"),i.installed.push(`${t}/${l}`),e(`  done: ${l} \u2192 ${t}`)}}return i}function j(n){return n.includes(".codex")?"Codex":n.includes(".agents")?"Agents":"Claude"}function y(){console.log("scip-query: installing skills...");let n=A({quiet:!1});if(n.installed.length+n.alreadyLinked.length>0&&console.log(`
+${n.installed.length} skill(s) installed, ${n.alreadyLinked.length} already linked.`),!k())console.log(`
+scip CLI not found on PATH. Attempting auto-install...`),m(console.log)||f();else{let o=g();console.log(`
+scip CLI: ${o??"installed"}`)}console.log("")}y();
 //# sourceMappingURL=postinstall.js.map

package/dist/queries/affected.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-LXJTDFOV.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as affected};
+import{a}from"../chunk-UUDYI3FF.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as affected};
 //# sourceMappingURL=affected.js.map

package/dist/queries/bottlenecks.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-TGNL3ZKZ.js";import"../chunk-MX6F756F.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as bottlenecks};
+import{a}from"../chunk-XSZ5NC4O.js";import"../chunk-MX6F756F.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as bottlenecks};
 //# sourceMappingURL=bottlenecks.js.map

package/dist/queries/by-kind.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-P7UMQ7R7.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as byKind,b as kindCounts};
+import{a,b}from"../chunk-RCRK4E7E.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as byKind,b as kindCounts};
 //# sourceMappingURL=by-kind.js.map

package/dist/queries/call-graph.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-2QNKEJ7R.js";import"../chunk-MX6F756F.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as callGraph};
+import{a}from"../chunk-D43L5PQF.js";import"../chunk-MX6F756F.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as callGraph};
 //# sourceMappingURL=call-graph.js.map

package/dist/queries/change-surface.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-QBXTQODK.js";import"../chunk-SDPP5KVQ.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as changeSurface};
+import{a}from"../chunk-4B7YLRXX.js";import"../chunk-WC43FMAB.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as changeSurface};
 //# sourceMappingURL=change-surface.js.map

package/dist/queries/cleanup-plan.d.ts

@@ -0,0 +1,66 @@
+import { S as ScipDatabase } from '../db-DdTPetj5.js';
+import 'better-sqlite3';
+import '../config-types-CGIeLEpY.js';
+
+interface CleanupPlanEntry {
+    symbol: string;
+    shortName: string;
+    file: string;
+    startLine: number;
+    endLine: number;
+    loc: number;
+    /**
+     * 'graph-fact': zero references anywhere — deletable today.
+     * 'cascade':    becomes dead once earlier batches are deleted.
+     */
+    evidence: 'graph-fact' | 'cascade';
+}
+interface CleanupBatch {
+    /** 0 = deletable now; n = deletable after batch n-1 is applied. */
+    depth: number;
+    entries: CleanupPlanEntry[];
+    loc: number;
+    /** Files whose every definition is removed once this batch lands. */
+    filesEmptied: string[];
+}
+interface CleanupPlanResult {
+    batches: CleanupBatch[];
+    totalSymbols: number;
+    totalLoc: number;
+    /** Cascade candidates blocked by references outside the removal set. */
+    blocked: Array<{
+        shortName: string;
+        file: string;
+        blockingFiles: string[];
+    }>;
+}
+/**
+ * Cascade cleanup plan: dead-code analysis is single-pass, but deletion
+ * cascades — once batch 0 is gone, symbols referenced only from batch 0
+ * become dead too. This runs the fixpoint and emits an ordered plan.
+ *
+ * Cascade rule (conservative): a symbol joins batch n+1 only when every
+ * resolved reference site lies inside an already-removed definition's range.
+ * Any reference that can't be placed inside the removal set — including
+ * unattributable file-level references — blocks the cascade for that symbol.
+ *
+ * Apply batch by batch, re-running the project's typecheck between batches.
+ */
+declare function cleanupPlan(db: ScipDatabase, opts?: {
+    scope?: string;
+    minLoc?: number;
+    maxDepth?: number;
+    scanLimit?: number;
+}): CleanupPlanResult;
+/** Line-range membership for the removal set, per file. */
+declare class RemovedRangeIndex {
+    private readonly ranges;
+    add(entry: {
+        file: string;
+        startLine: number;
+        endLine: number;
+    }): void;
+    contains(file: string, line: number): boolean;
+}
+
+export { type CleanupBatch, type CleanupPlanEntry, type CleanupPlanResult, RemovedRangeIndex, cleanupPlan };

package/dist/queries/cleanup-plan.js

@@ -0,0 +1,2 @@
+import{a,b}from"../chunk-FTBT4RP2.js";import"../chunk-OIMM7KMI.js";import"../chunk-MX6F756F.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{b as RemovedRangeIndex,a as cleanupPlan};
+//# sourceMappingURL=cleanup-plan.js.map

package/dist/queries/co-change.d.ts

@@ -0,0 +1,42 @@
+import { S as ScipDatabase } from '../db-DdTPetj5.js';
+import 'better-sqlite3';
+import '../config-types-CGIeLEpY.js';
+
+interface CoChangeFinding {
+    fileA: string;
+    fileB: string;
+    /** Commits in the analyzed window where both files changed. */
+    together: number;
+    /** max(P(B|A), P(A|B)) over the analyzed window. */
+    confidence: number;
+    changesA: number;
+    changesB: number;
+    /** True when a dependency edge already explains the coupling. */
+    structurallyLinked: boolean;
+}
+interface CoChangeResult {
+    /** False when git history is unavailable (not a repo, git missing). */
+    available: boolean;
+    commitsAnalyzed: number;
+    findings: CoChangeFinding[];
+}
+declare function isCoChangeNoiseFile(file: string): boolean;
+/**
+ * Hidden coupling from the change graph: file pairs that repeatedly change
+ * in the same commits but have NO dependency edge between them.
+ *
+ * The reference graph cannot see that two mechanisms implement one concept —
+ * a config list and the test that checks it share no symbols. The commit
+ * history can: if editing one reliably means editing the other, a maintainer
+ * who edits only one is probably introducing drift. With a `file` argument,
+ * reports that file's co-change partners instead (including structurally
+ * linked ones — exploration mode).
+ */
+declare function coChange(db: ScipDatabase, file?: string, opts?: {
+    minTogether?: number;
+    minConfidence?: number;
+    limit?: number;
+    includeLinked?: boolean;
+}): CoChangeResult;
+
+export { type CoChangeFinding, type CoChangeResult, coChange, isCoChangeNoiseFile };

package/dist/queries/co-change.js

@@ -0,0 +1,2 @@
+import{a,b}from"../chunk-4A4JFNWG.js";import"../chunk-N5D5ZCBW.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{b as coChange,a as isCoChangeNoiseFile};
+//# sourceMappingURL=co-change.js.map

package/dist/queries/code.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-4T35WUCX.js";import"../chunk-SDPP5KVQ.js";import"../chunk-EVXQF7DM.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as code};
+import{a}from"../chunk-Z2AJQ7VA.js";import"../chunk-WC43FMAB.js";import"../chunk-7I6KNKE3.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as code};
 //# sourceMappingURL=code.js.map

package/dist/queries/complexity-hotspots.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-WJQFABZN.js";import"../chunk-V76FCF5F.js";import"../chunk-MX6F756F.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as complexityHotspots};
+import{a}from"../chunk-K6YIGVL7.js";import"../chunk-V76FCF5F.js";import"../chunk-MX6F756F.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as complexityHotspots};
 //# sourceMappingURL=complexity-hotspots.js.map

package/dist/queries/complexity.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-LLL7THVV.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as complexity};
+import{a}from"../chunk-EM2PPDN7.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as complexity};
 //# sourceMappingURL=complexity.js.map

package/dist/queries/convergence.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-5TB4N27G.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as convergence};
+import{a}from"../chunk-I7OTKWNY.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as convergence};
 //# sourceMappingURL=convergence.js.map

package/dist/queries/coupling.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-SVSLAUSJ.js";import"../chunk-SDPP5KVQ.js";import"../chunk-EVXQF7DM.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as coupling,b as topCoupling};
+import{a,b}from"../chunk-46ILZVMX.js";import"../chunk-WC43FMAB.js";import"../chunk-7I6KNKE3.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as coupling,b as topCoupling};
 //# sourceMappingURL=coupling.js.map

package/dist/queries/cycles.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-BI4F6GXI.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as cycles};
+import{a}from"../chunk-EKP7XJ6L.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as cycles};
 //# sourceMappingURL=cycles.js.map

package/dist/queries/dataflow.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-JDFWJ7VK.js";import"../chunk-MX6F756F.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as dataflow};
+import{a}from"../chunk-BCFED24F.js";import"../chunk-MX6F756F.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as dataflow};
 //# sourceMappingURL=dataflow.js.map

package/dist/queries/dead.js

@@ -1,2 +1,2 @@
-import{b as a}from"../chunk-EZQOVY3C.js";import"../chunk-MX6F756F.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as dead};
+import{b as a}from"../chunk-OIMM7KMI.js";import"../chunk-MX6F756F.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as dead};
 //# sourceMappingURL=dead.js.map

package/dist/queries/deep-chains.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-U75WH4XG.js";import"../chunk-IODTPF5H.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as deepChains};
+import{a}from"../chunk-PE4EJOLN.js";import"../chunk-RIXOMSOR.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as deepChains};
 //# sourceMappingURL=deep-chains.js.map

package/dist/queries/deps.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-GIRI7FHW.js";import"../chunk-SDPP5KVQ.js";import"../chunk-EVXQF7DM.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as deps,b as rdeps};
+import{a,b}from"../chunk-AGW2MVIO.js";import"../chunk-WC43FMAB.js";import"../chunk-7I6KNKE3.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as deps,b as rdeps};
 //# sourceMappingURL=deps.js.map

package/dist/queries/diff-gate.d.ts

@@ -0,0 +1,52 @@
+import { S as ScipDatabase } from '../db-DdTPetj5.js';
+import 'better-sqlite3';
+import '../config-types-CGIeLEpY.js';
+
+type DiffGateCheck = 'echo' | 'co-change-partner' | 'doc-reference' | 'unused-params' | 'new-dead' | 'baseline';
+interface DiffGateFinding {
+    check: DiffGateCheck;
+    message: string;
+    /** Concrete remediation an agent can act on without human triage. */
+    remediation: string;
+}
+interface DiffGateResult {
+    base: string;
+    changedFiles: string[];
+    changedSymbols: number;
+    checksRun: DiffGateCheck[];
+    /** Checks that could not run (no git history, no baseline file, ...). */
+    skipped: Array<{
+        check: DiffGateCheck;
+        reason: string;
+    }>;
+    findings: DiffGateFinding[];
+    note?: string;
+}
+/**
+ * Slop prevention at the moment of creation: every detector, scoped to what
+ * THIS diff introduces. O(diff), no LLM calls, exit-code friendly — the
+ * leading-indicator companion to the repo-wide ratchet.
+ *
+ * Checks:
+ * - echo:               a symbol this diff touched closely resembles
+ *                       established code elsewhere — likely re-implementation.
+ * - co-change-partner:  a changed file's strong historical partner is NOT in
+ *                       the diff — the change-graph contract says they move
+ *                       together (auto-derived sync enforcement).
+ * - doc-reference:      a doc cites a changed file but isn't updated in the
+ *                       diff — the drift starts here.
+ * - unused-params:      changed files now contain trailing parameters no body
+ *                       uses — speculative generality landing fresh.
+ * - new-dead:           changed symbols with zero indexed consumers — possibly
+ *                       a half-wired feature.
+ * - baseline:           the committed health baseline gained new findings.
+ */
+declare function diffGate(db: ScipDatabase, opts?: {
+    base?: string;
+    minTogether?: number;
+    minConfidence?: number;
+    maxEchoChecks?: number;
+    minSimilarity?: number;
+}): DiffGateResult;
+
+export { type DiffGateCheck, type DiffGateFinding, type DiffGateResult, diffGate };

package/dist/queries/diff-gate.js

@@ -0,0 +1,2 @@
+import{d as a}from"../chunk-XBFLIGWU.js";import"../chunk-HVGNOUYP.js";import"../chunk-AQYBOORI.js";import"../chunk-DJTJ3DLZ.js";import"../chunk-SSINY7HL.js";import"../chunk-CVRXOP6M.js";import"../chunk-QYQXPPDI.js";import"../chunk-SLOIQKY7.js";import"../chunk-K4Z3FCUJ.js";import"../chunk-RKTDEIHF.js";import"../chunk-HVXIXDLV.js";import"../chunk-6P5W4U6G.js";import"../chunk-OQSV6OS2.js";import"../chunk-2EC4JTHC.js";import"../chunk-OIMM7KMI.js";import"../chunk-4A4JFNWG.js";import"../chunk-N5D5ZCBW.js";import"../chunk-V76FCF5F.js";import"../chunk-EKP7XJ6L.js";import"../chunk-MX6F756F.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as diffGate};
+//# sourceMappingURL=diff-gate.js.map

package/dist/queries/diff-impact.js

@@ -1,2 +1,2 @@
-import{a,b,c,d}from"../chunk-PEU24CSY.js";import"../chunk-NBUINPSH.js";import"../chunk-NKJKI6SE.js";import"../chunk-IODTPF5H.js";import"../chunk-P3PVY6TX.js";import"../chunk-YH6TTQEI.js";import"../chunk-4GPWGSOE.js";import"../chunk-5RGK4YA5.js";import"../chunk-EVXQF7DM.js";import"../chunk-RCJEFQOK.js";import"../chunk-BOVNTAKQ.js";import"../chunk-KJ6CW6EK.js";import"../chunk-4VYIZV3S.js";import"../chunk-5TT47UMX.js";import"../chunk-NHDPYW7O.js";import"../chunk-NN3O7TPH.js";export{a as diffImpact,c as diffImpactPartial,b as diffImpactPlan,d as mergeDiffImpactPartials};
+import{a,b,c,d}from"../chunk-6P5W4U6G.js";import"../chunk-NOVKLH2F.js";import"../chunk-TQTVM27C.js";import"../chunk-RIXOMSOR.js";import"../chunk-EAU4RDFG.js";import"../chunk-PCMVXWDC.js";import"../chunk-6ZFKI5EP.js";import"../chunk-64UY7VTR.js";import"../chunk-7I6KNKE3.js";import"../chunk-APLCSDXL.js";import"../chunk-WEJYUS5O.js";import"../chunk-PBGTMPJ7.js";import"../chunk-SOGLYIJ4.js";import"../chunk-WQFOZIID.js";import"../chunk-NN3O7TPH.js";import"../chunk-VDZL45XI.js";export{a as diffImpact,c as diffImpactPartial,b as diffImpactPlan,d as mergeDiffImpactPartials};
 //# sourceMappingURL=diff-impact.js.map