scip-query 0.24.0 → 0.26.0

package/dist/queries/complexity.d.ts

@@ -48,10 +48,12 @@ interface ComplexityResult {
     /** Branch count from AST when available, otherwise source-level regex fallback. */
     branches: number;
     estimateBasis: BranchEstimateBasis;
+    metricRules?: string;
     /** Cyclomatic complexity estimate: branches + 1 */
     cyclomaticEstimate: number;
-    /** Number of distinct callees within the definition */
+    /** Distinct compiler-resolved callees; candidate targets are reported separately. */
     calleeCount: number;
+    candidateCalleeCount: number;
     fanIn: number;
     fanOut: number;
 }
@@ -59,13 +61,14 @@ type BranchEstimateBasis = 'ast' | 'regex-fallback';
 interface BranchEstimate {
     branches: number;
     estimateBasis: BranchEstimateBasis;
+    metricRules?: string;
 }
 /**
  * Per-symbol complexity analysis combining source-level branch counting
  * with index-level metrics (fan-in, fan-out, callee count).
  *
- * Branch counting uses language-aware regex. The language is read from
- * the SCIP documents table, so it works for any indexed language.
+ * TS/JS uses function-local compiler syntax metrics. Other languages use
+ * a labeled AST or regex estimate; source must be available.
  */
 declare function complexity(db: ScipDatabase, symbolPattern: string, opts?: {
     semantic?: boolean;

package/dist/queries/complexity.js

@@ -1,2 +1,2 @@
-import{a,b,c,d}from"../chunk-NJT3ZEKY.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as branchEstimateForDefinition,c as branchEstimatesForDefinitions,a as complexity,d as countBranchesFromAst};
+import{a,b,c,d}from"../chunk-4WBDEVX2.js";import"../chunk-KI6NBKDY.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as branchEstimateForDefinition,c as branchEstimatesForDefinitions,a as complexity,d as countBranchesFromAst};
 //# sourceMappingURL=complexity.js.map

package/dist/queries/context.d.ts

@@ -5,12 +5,10 @@ import { CallGraphResult } from './call-graph.js';
 import { ChangeSurfaceResult } from './change-surface.js';
 import { SimilarSymbolResult } from './similar.js';
 import { ComplexityResult } from './complexity.js';
-import { DataflowResult } from './dataflow.js';
 import { DepResult } from './deps.js';
-import { SliceResult } from './reference-reachability.js';
 import { SurfaceResult } from './surface.js';
 import { SystemResult } from './system.js';
-import { TraceResult } from './trace.js';
+import { f as TraceResult } from '../trace-BMjw3prn.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
 import '../symbol-types-BIQwfoAx.js';
@@ -19,7 +17,6 @@ import './symbols.js';
 interface RepositoryContextOptions {
     semantic?: boolean;
     impactDepth?: number;
-    sliceDepth?: number;
     scope?: string;
     /** Already-resolved invocation HEAD for snapshot-consistent history evidence. */
     gitHead?: string;
@@ -107,9 +104,6 @@ interface RepositoryContextResult {
     trace: TraceResult;
     callGraph: CallGraphResult | null;
     complexity: ComplexityResult | null;
-    dataflow: DataflowResult | null;
-    backwardSlice: SliceResult | null;
-    forwardSlice: SliceResult | null;
     affected: AffectedResult[];
     changeSurface: ChangeSurfaceResult | null;
     deps: DepResult[];

package/dist/queries/context.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-O6BUXZEH.js";import"../chunk-3Z5AMSK6.js";import"../chunk-KXXORBZ2.js";import"../chunk-UXKURIVI.js";import"../chunk-SCPMZ73U.js";import"../chunk-ROPJDEJZ.js";import"../chunk-E65ELFKU.js";import"../chunk-PSZPMMWN.js";import"../chunk-OIOC5EHF.js";import"../chunk-FJF6VO2P.js";import"../chunk-VDSDOEWF.js";import"../chunk-HOBOVYPO.js";import"../chunk-KVQCECPR.js";import"../chunk-XKXTR6ZI.js";import"../chunk-4FR6GQIT.js";import"../chunk-A4WEAK35.js";import"../chunk-WSA52GOR.js";import"../chunk-NSM5IEVW.js";import"../chunk-NJT3ZEKY.js";import"../chunk-ZFVPWH62.js";import"../chunk-KMVGRIO2.js";import"../chunk-6D4F5VWG.js";import"../chunk-Y5DFAW5W.js";import"../chunk-BOJ5SVE2.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as discoverAffectedConsumerReuse,a as repositoryContext};
+import{a,b}from"../chunk-6YMNWD3H.js";import"../chunk-JFXSGAEB.js";import"../chunk-CFN45HFP.js";import"../chunk-55UQAMZO.js";import"../chunk-VTY3VK6E.js";import"../chunk-YTYWI7VB.js";import"../chunk-UXYXF7GV.js";import"../chunk-NOLZOVCU.js";import"../chunk-D254DNNQ.js";import"../chunk-4BP3UBDG.js";import"../chunk-ZR4HBC2H.js";import"../chunk-F4LUHJTF.js";import"../chunk-PWOASWEG.js";import"../chunk-UP5KXN2I.js";import"../chunk-KDDIE2DP.js";import"../chunk-VF5JZICY.js";import"../chunk-MOQQBQRD.js";import"../chunk-YGVRMGYN.js";import"../chunk-4WBDEVX2.js";import"../chunk-KI6NBKDY.js";import"../chunk-AOSIYPTA.js";import"../chunk-ZHSP366W.js";import"../chunk-BOJ5SVE2.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as discoverAffectedConsumerReuse,a as repositoryContext};
 //# sourceMappingURL=context.js.map

package/dist/queries/coupling.js

@@ -1,2 +1,2 @@
-import{a,b,c,d}from"../chunk-6ILKOOGH.js";import"../chunk-NSM5IEVW.js";import"../chunk-F5GSBHC6.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as coupling,b as sharedSymbolCoupling,c as topCoupling,d as topSharedSymbolCoupling};
+import{a,b,c,d}from"../chunk-CE357GEE.js";import"../chunk-AOSIYPTA.js";import"../chunk-FMRN2TRL.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as coupling,b as sharedSymbolCoupling,c as topCoupling,d as topSharedSymbolCoupling};
 //# sourceMappingURL=coupling.js.map

package/dist/queries/cycles.js

@@ -1,2 +1,2 @@
-import{a,b,c,d}from"../chunk-BBB5FBX4.js";import"../chunk-35NLDRZC.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as cycleSummary,a as cycles,d as dependencyCycleSummary,c as dependencyCycles};
+import{a,b,c,d}from"../chunk-TOU3CHK4.js";import"../chunk-HXENDJC6.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as cycleSummary,a as cycles,d as dependencyCycleSummary,c as dependencyCycles};
 //# sourceMappingURL=cycles.js.map

package/dist/queries/dead.js

@@ -1,2 +1,2 @@
-import{b as a}from"../chunk-OIAPEKMT.js";import"../chunk-E7QR35ST.js";import"../chunk-4FR6GQIT.js";import"../chunk-BOJ5SVE2.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as dead};
+import{b as a}from"../chunk-O3RHA6ZT.js";import"../chunk-GUUBXNN7.js";import"../chunk-VF5JZICY.js";import"../chunk-BOJ5SVE2.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as dead};
 //# sourceMappingURL=dead.js.map

package/dist/queries/decorative-checkers.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-DBBZ63ZX.js";import"../chunk-GG45PK4S.js";import"../chunk-OIOC5EHF.js";import"../chunk-FJF6VO2P.js";import"../chunk-E7QR35ST.js";import"../chunk-XKXTR6ZI.js";import"../chunk-BOJ5SVE2.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as decorativeCheckers};
+import{a}from"../chunk-Y2JHHTTA.js";import"../chunk-NEIWRNAZ.js";import"../chunk-D254DNNQ.js";import"../chunk-4BP3UBDG.js";import"../chunk-GUUBXNN7.js";import"../chunk-KDDIE2DP.js";import"../chunk-BOJ5SVE2.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as decorativeCheckers};
 //# sourceMappingURL=decorative-checkers.js.map

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

@@ -1,44 +1,68 @@
 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 TypeScriptLocalFlowPointKind = 'parameter-definition' | 'definition' | 'use' | 'predicate' | 'statement';
+type TypeScriptLocalFlowEdgeKind = 'reaching-definition' | 'value-source' | 'closure-capture' | 'field-definition-to-use' | 'control-dependence';
+interface TypeScriptLocalFlowPoint {
+    id: string;
+    kind: TypeScriptLocalFlowPointKind;
+    name: string;
+    symbolKey: string | null;
+    callableId: string;
+    start: number;
+    end: number;
+    line: number;
+    column: number;
+}
+interface TypeScriptLocalFlowEdge {
+    id: string;
+    kind: TypeScriptLocalFlowEdgeKind;
+    fromPointId: string;
+    toPointId: string;
+    strength: 'exact' | 'candidate';
+    reason: string;
+}
+interface TypeScriptLocalFlowCoverage {
+    status: 'complete' | 'partial' | 'unsupported';
+    basis: 'typescript-compiler-cfg-reaching-definitions';
+    unsupported: string[];
+}
 
 type DependenceSliceDirection = 'backward' | 'forward';
-interface DependenceSliceEdge extends GraphEvidenceEdge {
+interface DependenceSliceEdge extends TypeScriptLocalFlowEdge {
     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[];
+    status: 'complete' | 'bounded' | 'incomplete';
+    basis: 'function-local-dependence';
+    model: TypeScriptLocalFlowCoverage;
+    omittedEdges: number;
+    omittedPoints: number;
+    depthLimited: boolean;
+    candidateEdges: number;
 }
 interface DependenceSliceResult {
     kind: 'dependence-slice';
     direction: DependenceSliceDirection;
     criterion: string;
-    targets: GraphEvidenceTarget[];
-    nodeIds: string[];
+    variable?: string;
+    resolution: 'matched' | 'ambiguous' | 'missing' | 'unsupported';
+    /** Exact source candidates; narrow an ambiguous read with --variable and --column. */
+    candidates: TypeScriptLocalFlowPoint[];
+    /** Offsets, lines, and columns use the compiler's zero-based source coordinates. */
+    points: TypeScriptLocalFlowPoint[];
     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.
+ * Slice one variable occurrence through compiler-local value and control dependencies.
+ * The public location and optional column are one-based. Calls are not traversed;
+ * closure ordering, heap effects, and every provider limitation remain unproved.
  */
 declare function dependenceSlice(db: ScipDatabase, criterion: string, options?: {
+    variable?: string;
+    column?: number;
     direction?: DependenceSliceDirection;
     maxDepth?: number;
     maxEdges?: number;

package/dist/queries/dependence-slice.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-5PROPLHI.js";import"../chunk-VDGFWCQV.js";import"../chunk-XDAUYDFT.js";import"../chunk-CD6M6LS2.js";import"../chunk-PXTRBKRK.js";import"../chunk-3TNRNKAT.js";import"../chunk-WSA52GOR.js";import"../chunk-2GJSD5GY.js";import"../chunk-7R4V5ES6.js";import"../chunk-7H6VHWWJ.js";import"../chunk-Y5DFAW5W.js";import"../chunk-NU3KFF2O.js";import"../chunk-GC4DG2V5.js";import"../chunk-BOJ5SVE2.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as dependenceSlice};
+import{a}from"../chunk-AB5KCTEV.js";import"../chunk-N2WN6I3L.js";import"../chunk-KZBJWZJB.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-5TNQJUR2.js";export{a as dependenceSlice};
 //# sourceMappingURL=dependence-slice.js.map

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

@@ -39,11 +39,5 @@ declare function dependencyDepth(db: ScipDatabase, opts?: {
     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 };
+export { type DeepChainResult, dependencyDepth };

package/dist/queries/dependency-depth.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-64O2JHQA.js";import"../chunk-35NLDRZC.js";import"../chunk-BOW7SSQH.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as deepChains,a as dependencyDepth};
+import{a}from"../chunk-GS6KDO4R.js";import"../chunk-HXENDJC6.js";import"../chunk-GCKCF5FL.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as dependencyDepth};
 //# sourceMappingURL=dependency-depth.js.map

package/dist/queries/deps.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-E65ELFKU.js";import"../chunk-NSM5IEVW.js";import"../chunk-F5GSBHC6.js";import"../chunk-BOW7SSQH.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as deps,b as rdeps};
+import{a,b}from"../chunk-ZR4HBC2H.js";import"../chunk-AOSIYPTA.js";import"../chunk-FMRN2TRL.js";import"../chunk-GCKCF5FL.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as deps,b as rdeps};
 //# sourceMappingURL=deps.js.map

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

@@ -13,6 +13,8 @@ type SemanticConsumerReadiness = {
 
 interface DiffImpactResult {
     changedFiles: string[];
+    /** Changed paths omitted from symbol analysis because they are absent or excluded from this index. */
+    unindexedChangedFiles?: string[];
     changedSymbols: Array<{
         symbol: string;
         shortName: string;
@@ -137,7 +139,7 @@ declare function diffImpactPlan(db: ScipDatabase, opts?: {
     base?: string;
 }): DiffImpactPlan;
 declare function diffImpactPartial(db: ScipDatabase, filesToAnalyze: readonly string[], allChangedFiles: readonly string[], changedRanges?: readonly ChangedLineRange[], opts?: DiffImpactPartialOptions): DiffImpactPartial;
-declare function mergeDiffImpactPartials(changedFiles: readonly string[], partials: readonly DiffImpactPartial[]): DiffImpactResult;
+declare function mergeDiffImpactPartials(changedFiles: readonly string[], partials: readonly DiffImpactPartial[], unindexedChangedFiles?: readonly string[]): DiffImpactResult;
 declare function fileContentAtBase(options: BaseContentLookupOptions): string | null;
 /**
  * @deprecated Use `fileContentAtBase({ projectRoot, base, relativePath })` so

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-DBN7DMJB.js";import"../chunk-QOKYJ33H.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.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-LPCRK4A2.js";import"../chunk-QOKYJ33H.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.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.js

@@ -1,2 +1,2 @@
-import{a,b,c}from"../chunk-Q7CSKIDM.js";import"../chunk-QOKYJ33H.js";import"../chunk-XKXTR6ZI.js";import"../chunk-SV2LEFVM.js";import"../chunk-P5XHIJHI.js";import"../chunk-YUKYB54I.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as docDrift,c as docsCitingFiles,a as isArchivalDoc};
+import{a,b,c}from"../chunk-UQFR3NDH.js";import"../chunk-QOKYJ33H.js";import"../chunk-KDDIE2DP.js";import"../chunk-SV2LEFVM.js";import"../chunk-P5XHIJHI.js";import"../chunk-YUKYB54I.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as docDrift,c as docsCitingFiles,a as isArchivalDoc};
 //# sourceMappingURL=doc-drift.js.map

package/dist/queries/drift.d.ts

@@ -48,7 +48,7 @@ interface DriftSummary {
  * Three types of drift, each detecting a real problem:
  *
  * 1. **Unused imports** — file depends on a module but never references
- *    any of its symbols. Dead dependency, safe to remove.
+ *    any of its symbols. Inspect unused bindings and module-initialization side effects.
  *
  * 2. **Architecture violations** — one or more files cross a project-owned
  *    boundary whose declared dependency row rejects the target boundary.

package/dist/queries/drift.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-EHVEIEQN.js";import"../chunk-TAA7HXHE.js";import"../chunk-SV2LEFVM.js";import"../chunk-35NLDRZC.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as drift};
+import{a}from"../chunk-DKYQIM3C.js";import"../chunk-ETOIKRHO.js";import"../chunk-SV2LEFVM.js";import"../chunk-HXENDJC6.js";import"../chunk-2IWUT6CJ.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as drift};
 //# sourceMappingURL=drift.js.map

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

@@ -69,7 +69,7 @@ declare function normalizedBodyForDefinition(db: ScipDatabase, definition: Index
  * for its own comparison logic (e.g. twin-drift's token-level diffing) —
  * reuse this instead of re-deriving "read file, slice lines" per detector.
  */
-declare function definitionSourceSnippet(db: ScipDatabase, definition: IndexedDefinition): string | null;
+declare function definitionSourceSnippet(db: ScipDatabase, definition: Pick<IndexedDefinition, 'symbol' | 'relativePath' | 'startLine' | 'endLine'>): string | null;
 /**
  * Isolate a callable's implementation body (brace-delimited block, or the
  * expression after `=>`) from its raw source snippet. Exported so other

package/dist/queries/duplicate-bodies.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e,f,g,h}from"../chunk-OIOC5EHF.js";import"../chunk-FJF6VO2P.js";import"../chunk-XKXTR6ZI.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{g as definitionSourceSnippet,a as duplicateBodies,b as duplicateBodyScan,c as exactDuplicateBodyMatches,h as extractImplementationBody,e as groupByHash,d as normalizeBody,f as normalizedBodyForDefinition};
+import{a,b,c,d,e,f,g,h}from"../chunk-D254DNNQ.js";import"../chunk-4BP3UBDG.js";import"../chunk-KDDIE2DP.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-YNQCGEQE.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{g as definitionSourceSnippet,a as duplicateBodies,b as duplicateBodyScan,c as exactDuplicateBodyMatches,h as extractImplementationBody,e as groupByHash,d as normalizeBody,f as normalizedBodyForDefinition};
 //# sourceMappingURL=duplicate-bodies.js.map

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

@@ -1,6 +1,6 @@
 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-BociKRpF.js';
+import { a as CalleeEvidenceSource } from '../call-graph-evidence-CUtj8V2I.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
 
@@ -15,7 +15,7 @@ interface EntryPointResult {
     documentation: string | null;
     confidence: EntryPointConfidence;
     evidence: EntryPointEvidence[];
-    indexedCallerCount: number;
+    observedCallerCount: number;
 }
 interface EntryPointsOptions {
     search?: string;
@@ -74,8 +74,6 @@ interface EntryMapRegion {
     externalCalls: EntryMapExternalCall[];
 }
 interface EntryMapCoverage {
-    /** @deprecated Candidate SCIP chunk co-occurrence may also be present. */
-    completeWithinIndexedStaticCallEdges: true;
     completeWithinSelectedStaticEvidence?: true;
     candidateReachabilityIncluded?: boolean;
     dynamicDispatchRepresented: false;

package/dist/queries/entry-map.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-S4QZBKSR.js";import"../chunk-3TNRNKAT.js";import"../chunk-2GJSD5GY.js";import"../chunk-2BMSSRBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-NJQISBL4.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as entryCallMap,a as entryPoints};
+import{a,b}from"../chunk-DJ2NNSUK.js";import"../chunk-3TNRNKAT.js";import"../chunk-GMVSHUKZ.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as entryCallMap,a as entryPoints};
 //# sourceMappingURL=entry-map.js.map

package/dist/queries/evidence.d.ts

@@ -1,70 +1,130 @@
 import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import { c as SymbolResolutionCandidate } from '../symbol-types-BIQwfoAx.js';
-import { C as CodeResult } from '../code-B17qEMbt.js';
-import { DepResult } from './deps.js';
-import { S as SourceSnippet } from '../source-snippet-_wrcgmZc.js';
-import { TraceReferenceEvidence, TraceClaimSupport } from './trace.js';
+import { G as GraphEvidenceFamily, a as GraphProjectionDirection } from '../graph-exploration-contract-CqDsnPQL.js';
+export { b as GRAPH_EVIDENCE_FAMILIES } from '../graph-exploration-contract-CqDsnPQL.js';
+import { P as ProgramEdgeSemantic, E as ExplorationSourceLocation, a as ExplorationEvidenceStrength } from '../exploration-topology-CSgEyAz-.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
-import '../repository-text-C0Q8VYdN.js';
-import './outline.js';
 
-type EvidencePart = 'definition' | 'references' | 'callers' | 'callees' | 'dependencies' | 'consumers';
-interface EvidenceRelatedSymbol extends SourceSnippet {
-    symbol: string;
-    shortName: string;
-    omittedLines: number;
+declare const GRAPH_EVIDENCE_VIEWS: readonly ["causal", "structure", "complete"];
+type GraphEvidenceView = (typeof GRAPH_EVIDENCE_VIEWS)[number];
+interface GraphEvidenceSelectors {
+    symbols?: readonly string[];
+    locations?: readonly string[];
+    searches?: readonly string[];
 }
-interface EvidenceReferenceWindow {
-    relativePath: string;
-    startLine: number;
-    endLine: number;
-    source: string;
-    references: Array<{
-        line: number;
-        enclosingSymbol: string | null;
-        enclosingShort: string;
-    }>;
+interface GraphEvidenceOptions {
+    view?: GraphEvidenceView;
+    families?: readonly GraphEvidenceFamily[];
+    direction?: GraphProjectionDirection;
+    subtypes?: readonly string[];
+    connecting?: boolean;
+    inventoryOnly?: boolean;
+    /** Materialize the exact membership of recoverable folds from the same projection. */
+    foldIds?: readonly string[];
+    maxDepth?: number;
+    maxEdges?: number;
 }
-type EvidenceResult = {
-    kind: 'missing';
-    query: string;
-} | {
-    kind: 'ambiguous';
-    query: string;
-    total: number;
-    candidates: SymbolResolutionCandidate[];
-} | {
-    kind: 'matched';
+interface GraphEvidenceSelection {
+    direction: GraphProjectionDirection;
+    subtypes: string[];
+    connecting: boolean;
+    inventoryOnly: boolean;
+    foldIds: string[];
+}
+interface GraphEvidenceInventoryRow {
+    family: GraphEvidenceFamily;
+    subtype: string;
+    incoming: number;
+    outgoing: number;
+    both: number;
+}
+interface GraphEvidenceFold {
+    id: string;
+    mode: 'linear' | 'scc' | 'topology';
+    family: GraphEvidenceFamily;
+    /** One subtype name, or `mixed` when this structural fold contains several. */
+    subtype: string;
+    /** Complete subtype inventory for the folded relationships. */
+    subtypes?: string[];
+    /** Query-neutral structural region shared by the folded relationships. */
+    region?: string;
+    edgeCount: number;
+    edgeIds: string[];
+    nodeIds: string[];
+    minimumMaxEdges: number;
+}
+interface GraphEvidenceTarget {
+    kind: string;
     query: string;
-    symbol: string;
-    shortName: string;
-    file: string;
-    parts: EvidencePart[];
-    definition: CodeResult | null;
-    referenceWindows: EvidenceReferenceWindow[];
-    callers: EvidenceRelatedSymbol[];
-    callees: EvidenceRelatedSymbol[];
-    dependencies: DepResult[];
-    consumers: DepResult[];
-};
-type QualifiedEvidenceResult = Exclude<EvidenceResult, {
-    kind: 'matched';
-}> | (Extract<EvidenceResult, {
-    kind: 'matched';
-}> & {
-    referenceEvidence: TraceReferenceEvidence[];
-    claimSupport: TraceClaimSupport | null;
-});
-interface EvidenceOptions {
-    parts?: readonly EvidencePart[];
-    referenceContext?: number;
-    relatedSourceLines?: number;
-    semantic?: boolean;
+    status: 'matched' | 'ambiguous' | 'missing';
+    nodeIds: string[];
+    omittedCandidates: number;
+}
+interface GraphEvidenceNode {
+    id: string;
+    kind: string;
+    label: string;
+    symbol: string | null;
+    location: ExplorationSourceLocation | null;
+}
+interface GraphEvidenceEdge {
+    id: string;
+    family: GraphEvidenceFamily;
+    /** Original typed-program semantic family before presentation grouping. */
+    semanticFamily: ProgramEdgeSemantic['family'];
+    subtype: string;
+    from: GraphEvidenceNode;
+    to: GraphEvidenceNode;
+    sourceKind: string;
+    providerId: string;
+    supportCeiling: 'exact' | 'partial' | 'candidate';
+    establishes: string;
+    nonClaims: readonly string[];
+    recoverWith: readonly string[];
+    evidenceStrength: ExplorationEvidenceStrength;
+    evidenceMethods: string[];
+    evidenceConstituents?: Array<{
+        method: string;
+        strength: ExplorationEvidenceStrength;
+    }>;
+    context: ProgramEdgeSemantic['context'] | null;
+    attributes: ProgramEdgeSemantic['attributes'] | null;
+}
+interface GraphEvidenceCoverage {
+    status: 'accounted' | 'bounded' | 'incomplete';
+    topologyStatus: 'accounted' | 'incomplete';
+    scope: string;
+    maxDepth: number;
+    maxEdges: number;
+    /** Present for projection-aware callers; omitted by results produced before projection metadata existed. */
+    matchedEdges?: number;
+    eligibleEdges: number;
+    returnedEdges: number;
+    omittedEdges: number;
+    frontierGroups: number;
+    unsupportedFrontiers: number;
+    rejectedRelationships?: number;
+    blindSpots: string[];
+    explanation: string;
+}
+interface GraphEvidenceResult {
+    kind: 'graph';
+    view: GraphEvidenceView | 'custom';
+    families: GraphEvidenceFamily[];
+    /** Explicit projection applied by the current implementation. */
+    selection?: GraphEvidenceSelection;
+    targets: GraphEvidenceTarget[];
+    /** Complete relationship counts before materialization budgeting. */
+    inventory?: GraphEvidenceInventoryRow[];
+    edges: GraphEvidenceEdge[];
+    /** Recoverable membership for relationships withheld by the materialization budget. */
+    folds?: GraphEvidenceFold[];
+    coverage: GraphEvidenceCoverage;
 }
-/** Build one read-only view from a symbol and selected compiler relationships. */
-declare function evidence(db: ScipDatabase, query: string, opts?: EvidenceOptions): EvidenceResult;
-/** Build symbol evidence with explicit metadata governing source-derived claims. */
-declare function qualifiedEvidence(db: ScipDatabase, query: string, opts?: EvidenceOptions): QualifiedEvidenceResult;
+/**
+ * Compose the existing system-map topology into one small, agent-selected
+ * relationship packet. This function performs no task-relevance inference.
+ */
+declare function graphEvidence(db: ScipDatabase, selectors: GraphEvidenceSelectors, options?: GraphEvidenceOptions): GraphEvidenceResult;
 
-export { type EvidenceOptions, type EvidencePart, type EvidenceReferenceWindow, type EvidenceRelatedSymbol, type EvidenceResult, type QualifiedEvidenceResult, evidence, qualifiedEvidence };
+export { GRAPH_EVIDENCE_VIEWS, type GraphEvidenceCoverage, type GraphEvidenceEdge, GraphEvidenceFamily, type GraphEvidenceFold, type GraphEvidenceInventoryRow, type GraphEvidenceNode, type GraphEvidenceOptions, type GraphEvidenceResult, type GraphEvidenceSelection, type GraphEvidenceSelectors, type GraphEvidenceTarget, type GraphEvidenceView, GraphProjectionDirection, graphEvidence };

package/dist/queries/evidence.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-NTGUVNR2.js";import"../chunk-ROPJDEJZ.js";import"../chunk-E65ELFKU.js";import"../chunk-VDSDOEWF.js";import"../chunk-WFA35BGR.js";import"../chunk-A4WEAK35.js";import"../chunk-MHGDSBFX.js";import"../chunk-WSA52GOR.js";import"../chunk-2GJSD5GY.js";import"../chunk-NSM5IEVW.js";import"../chunk-ZGIQN2SX.js";import"../chunk-Y5DFAW5W.js";import"../chunk-GC4DG2V5.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.js";import"../chunk-U3SXIMII.js";import"../chunk-J6GLBBRK.js";import"../chunk-SKKXTABJ.js";import"../chunk-KK7GPALL.js";import"../chunk-F5GSBHC6.js";import"../chunk-QBQE7ZJ5.js";import"../chunk-FLMTCX5R.js";import"../chunk-YUKYB54I.js";import"../chunk-BOW7SSQH.js";import"../chunk-MTDBHTSF.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{a as evidence,b as qualifiedEvidence};
+import{a,b,c}from"../chunk-IIBAZNSW.js";import"../chunk-D3NX5XIE.js";import"../chunk-VTY3VK6E.js";import"../chunk-2FSBGL5P.js";import"../chunk-3TNRNKAT.js";import"../chunk-YGVRMGYN.js";import"../chunk-GMVSHUKZ.js";import"../chunk-N2WN6I3L.js";import"../chunk-F2V2LPET.js";import"../chunk-NLOQOBXI.js";import"../chunk-PKN354TH.js";import"../chunk-YRT2WLYY.js";import"../chunk-BOJ5SVE2.js";import"../chunk-6LSEIIF7.js";import"../chunk-BGBBVSH4.js";import"../chunk-36SGVCGX.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-4WTUBQ36.js";import"../chunk-NZAXKGRL.js";import"../chunk-KK7GPALL.js";import"../chunk-YNQCGEQE.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.js";import"../chunk-4WCUBZU3.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-KHWRRPV4.js";import"../chunk-72AD6ZRR.js";import"../chunk-YUKYB54I.js";import"../chunk-GCKCF5FL.js";import"../chunk-DVFP6PZI.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as GRAPH_EVIDENCE_FAMILIES,b as GRAPH_EVIDENCE_VIEWS,c as graphEvidence};
 //# sourceMappingURL=evidence.js.map

package/dist/queries/fan.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e,f}from"../chunk-SIAP5RGI.js";import"../chunk-NSM5IEVW.js";import"../chunk-F5GSBHC6.js";import"../chunk-BOW7SSQH.js";import"../chunk-C7C6AKAT.js";import"../chunk-RBAD4GJ2.js";import"../chunk-ZLMXIQLC.js";import"../chunk-ETC674NS.js";import"../chunk-KNLQGXVH.js";import"../chunk-JZ2A7LDM.js";export{b as externalSymbolFanOut,a as fanIn,d as fanOut,c as fileDependencyOutDegree,e as topFanIn,f as topFanOut};
+import{a,b,c,d,e,f}from"../chunk-HDR3AHSV.js";import"../chunk-KI6NBKDY.js";import"../chunk-AOSIYPTA.js";import"../chunk-FMRN2TRL.js";import"../chunk-GCKCF5FL.js";import"../chunk-5D2LVK7O.js";import"../chunk-7WTPQ4NX.js";import"../chunk-FVULPZDF.js";import"../chunk-D3FDISIC.js";import"../chunk-A2IIGFMJ.js";import"../chunk-PH52RA7D.js";import"../chunk-GVWX5T43.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{b as externalSymbolFanOut,a as fanIn,d as fanOut,c as fileDependencyOutDegree,e as topFanIn,f as topFanOut};
 //# sourceMappingURL=fan.js.map

package/dist/queries/files.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-ONPPQM4G.js";import"../chunk-ZGIQN2SX.js";import"../chunk-YUKYB54I.js";import"../chunk-JZ2A7LDM.js";export{a as files,b as pathMatchesGlob};
+import{a,b}from"../chunk-HQBSL74Y.js";import"../chunk-YNQCGEQE.js";import"../chunk-YUKYB54I.js";import"../chunk-PH52RA7D.js";import"../chunk-T6DK3ZP7.js";import"../chunk-5TNQJUR2.js";export{a as files,b as pathMatchesGlob};
 //# sourceMappingURL=files.js.map

package/dist/queries/health.d.ts

@@ -1,6 +1,6 @@
 import '../db-BwIVAYNB.js';
 import './stats.js';
-export { H as HEALTH_PHASES, g as HealthPhaseName, h as health, d as healthPhase, i as healthPhases, e as healthProvenance, f as healthReportFromPhases } from '../health-BI2a9WPy.js';
+export { H as HEALTH_PHASES, g as HealthPhaseName, h as health, d as healthPhase, i as healthPhases, e as healthProvenance, f as healthReportFromPhases } from '../health-BtfmNrfa.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
 import '../graph-exploration-contract-CqDsnPQL.js';