scip-query 0.20.0 → 0.21.1

package/dist/queries/coupling.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-7BAVHKMJ.js";import"../chunk-S7OYBOCK.js";import"../chunk-T7YQSHPQ.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as coupling,b as topCoupling};
+import{a,b,c,d}from"../chunk-OU6SDWAM.js";import"../chunk-QH5Q6M5C.js";import"../chunk-7MUHSZGN.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as coupling,b as sharedSymbolCoupling,c as topCoupling,d as topSharedSymbolCoupling};
 //# sourceMappingURL=coupling.js.map

package/dist/queries/cycles.d.ts

@@ -1,12 +1,23 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
+import { F as FileDependencyEdgeBasis } from '../file-dep-graph-Bqg3t3Px.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface CycleResult {
-    /** Files forming a cycle, in order */
+    /** One deterministic directed witness path; the first file is repeated at the end. */
     path: string[];
+    /** Every file in the cyclic strongly connected component represented by the witness. */
+    component?: string[];
+    /** The file edge relation on which cyclic reachability was computed. */
+    edgeBasis?: FileDependencyEdgeBasis;
+    /** Distinguishes a witness from an enumeration of every simple cycle. */
+    witness?: true;
+    classification?: 'dependency-cycle' | 'module-structure-candidate';
     /**
-     * Classification of the cycle:
+     * @deprecated Compatibility field. Prefer `classification`: “real” was too
+     * strong for a static dependency observation.
+     *
+     * Historical classification of the cycle:
      *   - 'real':            architectural cycle worth fixing
      *   - 'module-hierarchy': barrel-file pattern (mod.rs / index.ts /
      *                        __init__.py declaring children that re-import
@@ -18,14 +29,23 @@ interface CycleResult {
 interface CycleSummary {
     cycles: CycleResult[];
     truncated: boolean;
+    edgeBasis?: FileDependencyEdgeBasis;
     maxDepth: number;
 }
+interface DependencyCycleOptions {
+    scope?: string;
+    /** @deprecated Cycle enumeration is SCC-complete; this value is reported only for legacy callers. */
+    maxDepth?: number;
+    edgeBasis?: FileDependencyEdgeBasis;
+}
 /**
  * Detect circular dependency chains between files.
  * A cycle exists when file A depends on B, B depends on C, and C depends on A.
  *
- * Uses the same dependency edges as the `deps` command (symbol definitions
- * referenced across files), then runs DFS cycle detection.
+ * By default this uses the same symbol-reference plus source-import dependency
+ * edges as `deps`. `edgeBasis: 'imports'` selects the narrower import graph.
+ * Every cyclic strongly connected component is returned exactly once with one
+ * deterministic witness path; this is not an enumeration of every simple cycle.
  */
 declare function cycles(db: ScipDatabase, opts?: {
     scope?: string;
@@ -35,5 +55,12 @@ declare function cycleSummary(db: ScipDatabase, opts?: {
     scope?: string;
     maxDepth?: number;
 }): CycleSummary;
+/**
+ * Enumerate cyclic strongly connected components in a named file-dependency
+ * relation. This is the explicit replacement for selecting a different graph
+ * through the legacy `cycles` API.
+ */
+declare function dependencyCycles(db: ScipDatabase, opts?: DependencyCycleOptions): CycleResult[];
+declare function dependencyCycleSummary(db: ScipDatabase, opts?: DependencyCycleOptions): CycleSummary;
 
-export { type CycleResult, type CycleSummary, cycleSummary, cycles };
+export { type CycleResult, type CycleSummary, type DependencyCycleOptions, FileDependencyEdgeBasis, cycleSummary, cycles, dependencyCycleSummary, dependencyCycles };

package/dist/queries/cycles.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-FYLK2DEJ.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-C43RDDP4.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{b as cycleSummary,a as cycles};
+import{a,b,c,d}from"../chunk-KFFQURUZ.js";import"../chunk-35NLDRZC.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as cycleSummary,a as cycles,d as dependencyCycleSummary,c as dependencyCycles};
 //# sourceMappingURL=cycles.js.map

package/dist/queries/dataflow.d.ts

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface DataflowResult {
     symbol: string;
@@ -31,21 +31,47 @@ interface DataflowResult {
         file: string;
     }>;
 }
+interface ReferenceNeighborhoodResult {
+    symbol: string;
+    shortName: string;
+    relativePath: string;
+    definitionSites: Array<{
+        file: string;
+        line: number;
+    }>;
+    referenceSites: Array<{
+        file: string;
+        line: number;
+        enclosingSymbol: string;
+        enclosingShort: string;
+    }>;
+    outgoingCalls: Array<{
+        symbol: string;
+        shortName: string;
+        file: string;
+    }>;
+    incomingCalls: Array<{
+        symbol: string;
+        shortName: string;
+        file: string;
+    }>;
+}
+/**
+ * Compiler-identified definition/reference sites plus the static call
+ * neighborhood of one symbol. This projection deliberately makes no value-flow
+ * claim: an outgoing callee is not necessarily a producer and an incoming
+ * caller is not necessarily a consumer of a returned value.
+ */
+declare function referenceNeighborhood(db: ScipDatabase, symbolPattern: string, opts?: {
+    semantic?: boolean;
+}): ReferenceNeighborhoodResult | null;
 /**
- * Reference-level dataflow analysis: where does data around this symbol
- * come from and where does it go?
- *
- * This is not value-level dataflow (we can't trace x = foo(); bar(x);
- * as a chain). Instead it shows:
- * - Where the symbol is defined and used
- * - What other symbols appear in the same enclosing scope (co-occurring data)
- * - What feeds into the function that defines it (producers)
- * - What consumes the function that uses it (consumers)
- *
- * Language-agnostic: works with any SCIP index.
+ * @deprecated This historical command returns a reference/call neighborhood,
+ * not value-level data flow. Use `referenceNeighborhood` for that projection
+ * and `valueFlow` for proved data-dependence edges.
  */
 declare function dataflow(db: ScipDatabase, symbolPattern: string, opts?: {
     semantic?: boolean;
 }): DataflowResult | null;
 
-export { type DataflowResult, dataflow };
+export { type DataflowResult, type ReferenceNeighborhoodResult, dataflow, referenceNeighborhood };

package/dist/queries/dataflow.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-SRAFT254.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-Z4N3MZYA.js";import"../chunk-7O5IKBTZ.js";import"../chunk-HX7M4BDI.js";import"../chunk-P5XHIJHI.js";import"../chunk-T7YQSHPQ.js";import"../chunk-7WPLAODU.js";import"../chunk-BS2NMXQZ.js";import"../chunk-C43RDDP4.js";import"../chunk-MTDBHTSF.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as dataflow};
+import{a,b}from"../chunk-GTZFKDP3.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as dataflow,a as referenceNeighborhood};
 //# sourceMappingURL=dataflow.js.map

package/dist/queries/dead.d.ts

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface DeadOptions {
     scope?: string;

package/dist/queries/dead.js

@@ -1,2 +1,2 @@
-import{b as a}from"../chunk-GOUBFH5O.js";import"../chunk-6SHPK5ZE.js";import"../chunk-UJCOIXDY.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-Z4N3MZYA.js";import"../chunk-7O5IKBTZ.js";import"../chunk-HX7M4BDI.js";import"../chunk-P5XHIJHI.js";import"../chunk-T7YQSHPQ.js";import"../chunk-7WPLAODU.js";import"../chunk-BS2NMXQZ.js";import"../chunk-C43RDDP4.js";import"../chunk-MTDBHTSF.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as dead};
+import{b as a}from"../chunk-ZNW5A5VX.js";import"../chunk-V6XENWOF.js";import"../chunk-BOJ5SVE2.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as dead};
 //# sourceMappingURL=dead.js.map

package/dist/queries/decorative-checkers.d.ts

@@ -1,9 +1,9 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 /**
- * decorative-checkers (D2): mechanizes the scip-audit integrity scenario for a
+ * decorative-checkers (D2): mechanizes the cleanup integrity scenario for a
  * checker-naming family (`validate*`/`verify*`/`check*`/`assert*`,
  * `is*`/`has*`): a callable that LOOKS like a checker but has no reachable
  * failure exit anywhere in its body — no throw, no rejection, no

package/dist/queries/decorative-checkers.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-BDCC2NPY.js";import"../chunk-B2PX5I6M.js";import"../chunk-JVYA47YU.js";import"../chunk-6SHPK5ZE.js";import"../chunk-RUJURYSV.js";import"../chunk-UJCOIXDY.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-Z4N3MZYA.js";import"../chunk-7O5IKBTZ.js";import"../chunk-HX7M4BDI.js";import"../chunk-P5XHIJHI.js";import"../chunk-T7YQSHPQ.js";import"../chunk-7WPLAODU.js";import"../chunk-BS2NMXQZ.js";import"../chunk-C43RDDP4.js";import"../chunk-MTDBHTSF.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as decorativeCheckers};
+import{a}from"../chunk-CNT4ND5O.js";import"../chunk-QLWZUFDT.js";import"../chunk-DGM2RJ3I.js";import"../chunk-V6XENWOF.js";import"../chunk-BYXWXLKM.js";import"../chunk-BOJ5SVE2.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as decorativeCheckers};
 //# sourceMappingURL=decorative-checkers.js.map

package/dist/queries/deep-chains.d.ts

@@ -1,39 +1,5 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import '../db-BwIVAYNB.js';
+import '../file-dep-graph-Bqg3t3Px.js';
+export { DeepChainResult, deepChains, dependencyDepth } from './dependency-depth.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
-
-interface DeepChainResult {
-    /** Canonical representative file for each condensed dependency component. */
-    chain: string[];
-    /** Full component membership; arrays with multiple files are dependency cycles. */
-    components: string[][];
-    /** Number of condensed dependency components, not the number of files inside cycles. */
-    depth: number;
-    /** Total files represented by the condensed component path. */
-    fileCount: number;
-    actionTier: 'signal';
-    chainKind: 'transitive-dependency-depth';
-    evidenceReasons: string[];
-    recommendation: string;
-}
-/**
- * Find the longest transitive dependency chains between files.
- * A chain A → B → C → D means A depends on B, B on C, C on D.
- *
- * Long chains = high coupling depth = changes at the end ripple through many layers.
- *
- * Implementation: condense the graph into strongly-connected components
- * (each cycle becomes one super-node), then run a single-pass longest-path
- * DP over the resulting DAG via topological order. Linear in nodes+edges.
- * For each starting node we record one representative longest chain;
- * within a cycle we pick a canonical representative file. This avoids the
- * exponential blow-up of enumerating every simple path (which OOMs on
- * dense graphs with cycles, like cross-crate Rust workspaces).
- */
-declare function deepChains(db: ScipDatabase, opts?: {
-    limit?: number;
-    scope?: string;
-    minDepth?: number;
-}): DeepChainResult[];
-
-export { type DeepChainResult, deepChains };
+import '../config-types-B9B60MiR.js';

package/dist/queries/deep-chains.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-GMXWZP2B.js";import"../chunk-35NLDRZC.js";import"../chunk-C43RDDP4.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as deepChains};
+import{a,b}from"../chunk-FCGMQETU.js";import"../chunk-35NLDRZC.js";import"../chunk-YBWE6J32.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as deepChains,a as dependencyDepth};
 //# sourceMappingURL=deep-chains.js.map

package/dist/queries/dependence-slice.d.ts

@@ -0,0 +1,47 @@
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
+import { G as GraphEvidenceCoverage, a as GraphEvidenceEdge, b as GraphEvidenceTarget } from '../graph-evidence-Bjyky2V4.js';
+import 'better-sqlite3';
+import '../config-types-B9B60MiR.js';
+import '../graph-exploration-contract-CqDsnPQL.js';
+import '../exploration-topology-BG4v30HZ.js';
+
+type DependenceSliceDirection = 'backward' | 'forward';
+interface DependenceSliceEdge extends GraphEvidenceEdge {
+    traversalDepth: number;
+    supporting: boolean;
+}
+/** Coverage of the partial dependence graph used for this slice. */
+interface DependenceSliceCoverage {
+    status: GraphEvidenceCoverage['status'];
+    criterionKind: 'symbol-summary' | 'source-location-summary';
+    basis: 'partial-system-dependence-graph';
+    analysisBasis: 'typescript-cfg-reaching-definitions-plus-system-edges';
+    providers: readonly ['typescript-local-dependence', 'bounded-static-value-flow'];
+    graph: GraphEvidenceCoverage;
+    unsupportedRelations: string[];
+}
+interface DependenceSliceResult {
+    kind: 'dependence-slice';
+    direction: DependenceSliceDirection;
+    criterion: string;
+    targets: GraphEvidenceTarget[];
+    nodeIds: string[];
+    edges: DependenceSliceEdge[];
+    coverage: DependenceSliceCoverage;
+}
+/**
+ * Compute a directional slice over the currently proved program-dependence
+ * projection around one exact symbol or source location.
+ *
+ * The criterion is a summary root rather than the classic `(program point,
+ * variable)` pair. Data-transfer and control-dependence edges carry the slice;
+ * ownership, call, and exact runtime edges connect those dependencies across
+ * callable boundaries and are marked as supporting edges in the result.
+ */
+declare function dependenceSlice(db: ScipDatabase, criterion: string, options?: {
+    direction?: DependenceSliceDirection;
+    maxDepth?: number;
+    maxEdges?: number;
+}): DependenceSliceResult;
+
+export { type DependenceSliceCoverage, type DependenceSliceDirection, type DependenceSliceEdge, type DependenceSliceResult, dependenceSlice };

package/dist/queries/dependence-slice.js

@@ -0,0 +1,2 @@
+import{a}from"../chunk-OA2BO4DR.js";import"../chunk-CQVDALWQ.js";import"../chunk-XDAUYDFT.js";import"../chunk-BMKTDJI6.js";import"../chunk-7YZGSLW6.js";import"../chunk-3TNRNKAT.js";import"../chunk-GBZCVYWA.js";import"../chunk-Z2QB75BS.js";import"../chunk-KGKCJFWZ.js";import"../chunk-L7WRUNKJ.js";import"../chunk-FSPENGSU.js";import"../chunk-ANCHW2R4.js";import"../chunk-U2MNECDU.js";import"../chunk-BOJ5SVE2.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as dependenceSlice};
+//# sourceMappingURL=dependence-slice.js.map

package/dist/queries/dependency-depth.d.ts

@@ -0,0 +1,49 @@
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
+import { F as FileDependencyEdgeBasis } from '../file-dep-graph-Bqg3t3Px.js';
+import 'better-sqlite3';
+import '../config-types-B9B60MiR.js';
+
+interface DeepChainResult {
+    /** Canonical representative file for each condensed dependency component. */
+    chain: string[];
+    /** Full component membership; arrays with multiple files are dependency cycles. */
+    components: string[][];
+    /** Number of condensed dependency components, not the number of files inside cycles. */
+    depth: number;
+    /** Total files represented by the condensed component path. */
+    fileCount: number;
+    /** The file relation whose condensed depth was measured. */
+    edgeBasis?: FileDependencyEdgeBasis;
+    actionTier: 'signal';
+    chainKind: 'transitive-dependency-depth';
+    evidenceReasons: string[];
+    recommendation: string;
+}
+/**
+ * Find the longest transitive dependency chains between files.
+ * A chain A → B → C → D means A depends on B, B on C, C on D.
+ *
+ * Long chains = high coupling depth = changes at the end ripple through many layers.
+ *
+ * Implementation: condense the graph into strongly-connected components
+ * (each cycle becomes one super-node), then run a single-pass longest-path
+ * DP over the resulting DAG via topological order. Linear in nodes+edges.
+ * For each starting node we record one representative longest chain;
+ * within a cycle we pick a canonical representative file. This avoids the
+ * exponential blow-up of enumerating every simple path (which OOMs on
+ * dense graphs with cycles, like cross-crate Rust workspaces).
+ */
+declare function dependencyDepth(db: ScipDatabase, opts?: {
+    limit?: number;
+    scope?: string;
+    minDepth?: number;
+    edgeBasis?: FileDependencyEdgeBasis;
+}): DeepChainResult[];
+/** @deprecated Prefer `dependencyDepth`, which names the computed graph property. */
+declare function deepChains(db: ScipDatabase, opts?: {
+    limit?: number;
+    scope?: string;
+    minDepth?: number;
+}): DeepChainResult[];
+
+export { type DeepChainResult, deepChains, dependencyDepth };

package/dist/queries/dependency-depth.js

@@ -0,0 +1,2 @@
+import{a,b}from"../chunk-FCGMQETU.js";import"../chunk-35NLDRZC.js";import"../chunk-YBWE6J32.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as deepChains,a as dependencyDepth};
+//# sourceMappingURL=dependency-depth.js.map

package/dist/queries/deps.d.ts

@@ -1,9 +1,11 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface DepResult {
     relativePath: string;
+    edgeBasis?: 'symbol-references';
+    evidence?: 'cross-file SCIP references plus resolved source imports';
 }
 /** What internal files does this file depend on? (forward dependencies) */
 declare function deps(db: ScipDatabase, filePattern: string): DepResult[];

package/dist/queries/deps.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-ZJOOT3BG.js";import"../chunk-AFHORGLH.js";import"../chunk-S7OYBOCK.js";import"../chunk-T7YQSHPQ.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as deps,b as rdeps};
+import{a,b}from"../chunk-K2DZCH2K.js";import"../chunk-QH5Q6M5C.js";import"../chunk-7MUHSZGN.js";import"../chunk-YBWE6J32.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as deps,b as rdeps};
 //# sourceMappingURL=deps.js.map

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

@@ -1,8 +1,8 @@
-import { C as ChangedLineRange } from '../diff-gate-types-B0QYpDv1.js';
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { C as ChangedLineRange } from '../change-analysis-types-CCtoCHbC.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import { I as IndexedDefinition } from '../symbol-types-BIQwfoAx.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface DiffImpactResult {
     changedFiles: string[];

package/dist/queries/diff-impact.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e,f,g,h,i,j,k,l,m}from"../chunk-ZHXX42OH.js";import"../chunk-QOKYJ33H.js";import"../chunk-UJCOIXDY.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-BGBBVSH4.js";import"../chunk-Z4N3MZYA.js";import"../chunk-7O5IKBTZ.js";import"../chunk-HX7M4BDI.js";import"../chunk-P5XHIJHI.js";import"../chunk-T7YQSHPQ.js";import"../chunk-7WPLAODU.js";import"../chunk-BS2NMXQZ.js";import"../chunk-C43RDDP4.js";import"../chunk-MTDBHTSF.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as GIT_DIFF_UNAVAILABLE_NOTE,m as attributeResidue,k as baseContentPathsForDiffPlan,j as createBaseContentReader,i as createBaseContentResultReader,b as diffImpact,d as diffImpactPartial,c as diffImpactPlan,f as fileContentAtBase,l as fileContentsAtBase,e as mergeDiffImpactPartials,g as readBaseContent,h as readBaseContents};
+import{a,b,c,d,e,f,g,h,i,j,k,l,m}from"../chunk-DZNWXJN2.js";import"../chunk-QOKYJ33H.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as GIT_DIFF_UNAVAILABLE_NOTE,m as attributeResidue,k as baseContentPathsForDiffPlan,j as createBaseContentReader,i as createBaseContentResultReader,b as diffImpact,d as diffImpactPartial,c as diffImpactPlan,f as fileContentAtBase,l as fileContentsAtBase,e as mergeDiffImpactPartials,g as readBaseContent,h as readBaseContents};
 //# sourceMappingURL=diff-impact.js.map

package/dist/queries/doc-drift.d.ts

@@ -1,8 +1,8 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import { G as GitHistoryMode } from '../git-history-ChNHbfZQ.js';
-import { b as DocCitationKind } from '../diff-gate-types-B0QYpDv1.js';
+import { D as DocCitationKind } from '../change-analysis-types-CCtoCHbC.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 type DocDriftIntent = 'current-guidance' | 'historical-note' | 'unknown';
 type DocDriftActionTier = 'direct' | 'signal' | 'support';
@@ -102,7 +102,7 @@ declare function docDrift(db: ScipDatabase, opts?: {
     historyMode?: GitHistoryMode;
 }): DocDriftResult;
 /**
- * Docs whose text cites any of the target files — diff-gate uses this to ask
+ * Docs whose text cites any of the target files — callers use this to ask
  * "you changed these files; which docs claim to describe them?"
  */
 declare function docsCitingFiles(db: ScipDatabase, targets: ReadonlySet<string>): Array<{

package/dist/queries/doc-drift.js

@@ -1,2 +1,2 @@
-import{c as a,d as b,e as c}from"../chunk-PXY7F6Y4.js";import"../chunk-QOKYJ33H.js";import"../chunk-RUJURYSV.js";import"../chunk-QZ4JVECJ.js";import"../chunk-AQOFWNQJ.js";import"../chunk-P5XHIJHI.js";import"../chunk-WCCFZ7V7.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{b as docDrift,c as docsCitingFiles,a as isArchivalDoc};
+import{a,b,c}from"../chunk-3XQLJG7V.js";import"../chunk-QOKYJ33H.js";import"../chunk-BYXWXLKM.js";import"../chunk-SV2LEFVM.js";import"../chunk-P5XHIJHI.js";import"../chunk-YUKYB54I.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as docDrift,c as docsCitingFiles,a as isArchivalDoc};
 //# sourceMappingURL=doc-drift.js.map

package/dist/queries/drift.d.ts

@@ -1,7 +1,7 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import { ArchitectureBoundaryEdge, ArchitectureReport } from './architecture.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 type DriftActionTier = 'direct' | 'signal';
 /** `inferred` and `unknown-layer` remain only for compatibility with older result consumers. */

package/dist/queries/drift.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-EW2NTSFA.js";import"../chunk-YTQVETEO.js";import"../chunk-QZ4JVECJ.js";import"../chunk-35NLDRZC.js";import"../chunk-UJCOIXDY.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-BGBBVSH4.js";import"../chunk-Z4N3MZYA.js";import"../chunk-7O5IKBTZ.js";import"../chunk-HX7M4BDI.js";import"../chunk-P5XHIJHI.js";import"../chunk-T7YQSHPQ.js";import"../chunk-7WPLAODU.js";import"../chunk-BS2NMXQZ.js";import"../chunk-C43RDDP4.js";import"../chunk-MTDBHTSF.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{a as drift};
+import{a}from"../chunk-NT4NVEHU.js";import"../chunk-4TOU7HHQ.js";import"../chunk-SV2LEFVM.js";import"../chunk-35NLDRZC.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{a as drift};
 //# sourceMappingURL=drift.js.map

package/dist/queries/duplicate-bodies.d.ts

@@ -1,7 +1,7 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
 import { I as IndexedDefinition } from '../symbol-types-BIQwfoAx.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-B9B60MiR.js';
 
 interface DuplicateBodyEntry {
     symbol: string;

package/dist/queries/duplicate-bodies.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e,f,g}from"../chunk-JVYA47YU.js";import"../chunk-RUJURYSV.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-EKZTZXHZ.js";import"../chunk-UJPRPGCO.js";import"../chunk-GH74ASD6.js";import"../chunk-WCCFZ7V7.js";import"../chunk-NGEXCJJW.js";import"../chunk-7S5E7KWT.js";import"../chunk-2KAZEZ6M.js";import"../chunk-C3KV2II6.js";export{f as definitionSourceSnippet,a as duplicateBodies,b as exactDuplicateBodyMatches,g as extractImplementationBody,d as groupByHash,c as normalizeBody,e as normalizedBodyForDefinition};
+import{a,b,c,d,e,f,g}from"../chunk-DGM2RJ3I.js";import"../chunk-BYXWXLKM.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{f as definitionSourceSnippet,a as duplicateBodies,b as exactDuplicateBodyMatches,g as extractImplementationBody,d as groupByHash,c as normalizeBody,e as normalizedBodyForDefinition};
 //# sourceMappingURL=duplicate-bodies.js.map

package/dist/queries/entry-map.d.ts

@@ -0,0 +1,121 @@
+import { c as SymbolResolutionCandidate } from '../symbol-types-BIQwfoAx.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
+import { a as CalleeEvidenceSource } from '../call-graph-evidence-lZa2dwQA.js';
+import 'better-sqlite3';
+import '../config-types-B9B60MiR.js';
+
+type EntryPointEvidence = 'package-public-export' | 'rust-public-library' | 'framework-dispatched-export' | 'configured-entry-root' | 'entry-surface-without-indexed-caller';
+type EntryPointConfidence = 'root' | 'candidate';
+interface EntryPointResult {
+    symbol: string;
+    shortName: string;
+    file: string;
+    startLine: number;
+    endLine: number;
+    documentation: string | null;
+    confidence: EntryPointConfidence;
+    evidence: EntryPointEvidence[];
+    indexedCallerCount: number;
+}
+interface EntryPointsOptions {
+    search?: string;
+    scope?: string;
+}
+interface EntryMapSymbol {
+    symbol: string;
+    shortName: string;
+    file: string;
+    depth: number;
+}
+interface EntryMapSymbolEdge {
+    fromSymbol: string;
+    fromShortName: string;
+    fromFile: string;
+    toSymbol: string;
+    toShortName: string;
+    toFile: string;
+    source: CalleeEvidenceSource;
+    evidenceStrength?: 'exact' | 'candidate';
+}
+interface EntryMapExternalCall {
+    fromSymbol: string;
+    fromShortName: string;
+    fromFile: string;
+    toSymbol: string;
+    toShortName: string;
+    reportedFile: string;
+    source: CalleeEvidenceSource;
+    evidenceStrength?: 'exact' | 'candidate';
+}
+interface EntryMapRegionEdge {
+    fromRegionId: string;
+    fromFile: string;
+    toRegionId: string;
+    toFile: string;
+    callCount: number;
+    exactCallCount?: number;
+    candidateCallCount?: number;
+    fromSymbols: string[];
+    toSymbols: string[];
+    evidence: CalleeEvidenceSource[];
+}
+interface EntryMapRegion {
+    id: string;
+    file: string;
+    minDepth: number;
+    symbolCount: number;
+    internalEdgeCount: number;
+    externalCallCount: number;
+    incomingRegionIds: string[];
+    outgoingRegionIds: string[];
+    expanded: boolean;
+    symbols: EntryMapSymbol[];
+    internalEdges: EntryMapSymbolEdge[];
+    externalCalls: EntryMapExternalCall[];
+}
+interface EntryMapCoverage {
+    /** @deprecated Candidate SCIP chunk co-occurrence may also be present. */
+    completeWithinIndexedStaticCallEdges: true;
+    completeWithinSelectedStaticEvidence?: true;
+    candidateReachabilityIncluded?: boolean;
+    dynamicDispatchRepresented: false;
+    symbolCount: number;
+    symbolEdgeCount: number;
+    exactSymbolEdgeCount?: number;
+    candidateSymbolEdgeCount?: number;
+    regionCount: number;
+    regionEdgeCount: number;
+    externalCallCount: number;
+}
+type EntryCallMapResult = {
+    kind: 'missing';
+    query: string;
+} | {
+    kind: 'ambiguous';
+    query: string;
+    total: number;
+    candidates: SymbolResolutionCandidate[];
+} | {
+    kind: 'not-entry';
+    query: string;
+    symbol: string;
+    shortName: string;
+    file: string;
+    reason: string;
+} | {
+    kind: 'matched';
+    query: string;
+    entry: EntryPointResult;
+    regions: EntryMapRegion[];
+    regionEdges: EntryMapRegionEdge[];
+    unmatchedExpansions: string[];
+    coverage: EntryMapCoverage;
+};
+/** Find callables where control may enter from outside the indexed call graph. */
+declare function entryPoints(db: ScipDatabase, opts?: EntryPointsOptions): EntryPointResult[];
+/** Build the complete indexed callee graph from one detected entry point, collapsed by file. */
+declare function entryCallMap(db: ScipDatabase, query: string, opts?: {
+    expand?: readonly string[];
+}): EntryCallMapResult;
+
+export { type EntryCallMapResult, type EntryMapCoverage, type EntryMapExternalCall, type EntryMapRegion, type EntryMapRegionEdge, type EntryMapSymbol, type EntryMapSymbolEdge, type EntryPointConfidence, type EntryPointEvidence, type EntryPointResult, type EntryPointsOptions, entryCallMap, entryPoints };

package/dist/queries/entry-map.js

@@ -0,0 +1,2 @@
+import{a,b}from"../chunk-BZCRHP46.js";import"../chunk-3TNRNKAT.js";import"../chunk-Z2QB75BS.js";import"../chunk-NODZYYGC.js";import"../chunk-BGBBVSH4.js";import"../chunk-G6VV7ROY.js";import"../chunk-GSHTVE56.js";import"../chunk-P5XHIJHI.js";import"../chunk-UM56ZET4.js";import"../chunk-XDQX6LDT.js";import"../chunk-B3AREUQK.js";import"../chunk-KK7GPALL.js";import"../chunk-7MUHSZGN.js";import"../chunk-FOP7HD6H.js";import"../chunk-743MEVFJ.js";import"../chunk-HW7FASEL.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-YBWE6J32.js";import"../chunk-MTDBHTSF.js";import"../chunk-7Z4GMCHM.js";import"../chunk-6LS3IG2I.js";import"../chunk-C7WSQA6A.js";import"../chunk-JSHDCVUM.js";import"../chunk-WEXQYJY3.js";export{b as entryCallMap,a as entryPoints};
+//# sourceMappingURL=entry-map.js.map