scip-query 0.23.0 → 0.26.0

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

@@ -0,0 +1,205 @@
+import * as TypeScript from 'typescript';
+import { I as IndexedDefinition } from '../symbol-types-BIQwfoAx.js';
+import { S as ScipDatabase } from '../db-BwIVAYNB.js';
+import 'better-sqlite3';
+import '../config-types-B9B60MiR.js';
+
+interface CandidatePipelineCounters {
+    pipeline: string | undefined;
+    loadedCandidates: number;
+    filteredCandidates: number;
+    scannedCandidates: number;
+    evaluatedCandidates: number;
+    matchedResults: number;
+    emittedResults: number;
+    scanLimitApplied: boolean;
+    resultLimitApplied: boolean;
+}
+interface CandidateScanProgress {
+    evaluated: number;
+    scanned: number;
+    matched: number;
+}
+
+/** What a function hands to the outside world: a value, a field of a returned object, an effect, a write, or an exit. */
+type SliceCohesionOutputKind = 'return' | 'return-property' | 'effect-call' | 'mutation' | 'throw';
+/**
+ * One control-flow unit of the body. `jump` and `declaration` units are
+ * placed but not counted: they carry no analyzable data flow.
+ */
+type SliceCohesionUnitKind = 'statement' | 'predicate' | 'return' | 'throw' | 'jump' | 'declaration';
+/** `signal` when the split is backed by a complete local model and a narrow extraction; `support` when a reviewer must confirm it. */
+type SliceCohesionActionTier = 'signal' | 'support';
+/**
+ * What kind of body was sliced. A React component or hook is bound by hook
+ * rules, and an orchestration root sequences independent operations by
+ * design, so each is read differently from a plain calculation.
+ */
+type SliceCohesionArchetype = 'calculation' | 'react-component' | 'react-hook' | 'orchestration';
+/**
+ * What an extracted cluster would be: a pure calculation, an operation that
+ * computes a result while awaiting or affecting the outside, a custom hook,
+ * or a sequence of effects.
+ */
+type SliceCohesionClusterKind = 'calculation' | 'operation' | 'hook' | 'effects';
+/** The largest qualifying cluster stays in place; the others are the extractions; the rest are below threshold. */
+type SliceCohesionClusterRole = 'remainder' | 'extraction' | 'below-threshold';
+interface SliceCohesionUnit {
+    index: number;
+    kind: SliceCohesionUnitKind;
+    startLine: number;
+    endLine: number;
+    label: string;
+}
+interface SliceCohesionOutput {
+    id: string;
+    kind: SliceCohesionOutputKind;
+    label: string;
+    /** Zero-based line of the first unit producing the output. */
+    line: number;
+    /** Counted units that produce this output; a function's return value merges every non-guard return statement. */
+    units: number[];
+    /** True when the output carries no computed value: an exit whose slice is only itself. */
+    guard: boolean;
+    /** True for a React hook call such as `useEffect`: a lifecycle effect rather than a plain call. */
+    hook: boolean;
+    /** Size of the computation slice: counted units reached backward through data edges and non-guard control edges. */
+    sliceSize: number;
+    /** Size of the full slice: counted units reached through data edges and every control edge, guards included. */
+    fullSliceSize: number;
+    /** The computation slice itself; present when the candidate was requested in detail. */
+    slice?: number[];
+    /** The full slice itself; present when the candidate was requested in detail. */
+    fullSlice?: number[];
+}
+interface SliceCohesionLineRange {
+    startLine: number;
+    endLine: number;
+}
+interface SliceCohesionCluster {
+    outputs: string[];
+    /** Counted units exclusive to this cluster after shared setup is removed. */
+    units: number[];
+    /** Zero-based line ranges covering the cluster's units. */
+    lineRanges: SliceCohesionLineRange[];
+    /**
+     * The parameters an extraction would take: function parameters, `this`,
+     * shared-setup bindings, and locals of an enclosing function the cluster
+     * reads. Imports, module-level names, globals, and JSX tags stay imports.
+     */
+    inputs: string[];
+    kind: SliceCohesionClusterKind;
+    role: SliceCohesionClusterRole;
+    /** Whether `inputs` is within the signal bound; the remainder never needs an interface. */
+    narrow: boolean;
+    /** Hook calls the cluster contains, for hook-candidate wording. */
+    hooks: string[];
+    /** True when every output in the cluster is a throw: validation, not a computation. */
+    guardOnly: boolean;
+}
+interface SliceCohesionMetrics {
+    /** Share of counted statements in every value output's computation slice (Ott and Thuss tightness). */
+    tightness: number;
+    /** Tightness over full slices, guards included. */
+    fullTightness: number;
+    /** Mean computation-slice size as a share of counted statements (Ott and Thuss coverage). */
+    sliceShare: number;
+    fullSliceShare: number;
+    /** Mean share of each computation slice that lies in the intersection of all of them (overlap). */
+    overlap: number;
+    /** Statements in every full slice. */
+    superglue: number;
+    /** Statements in two or more full slices. */
+    glue: number;
+}
+interface SliceCohesionCoverage {
+    /** `partial` only when a gap can drop dependencies; conservative approximations keep `complete`. */
+    status: 'complete' | 'partial';
+    /**
+     * What `complete` covers: the function-local flow model. Runtime order,
+     * callee behavior, and framework scheduling are outside it.
+     */
+    model: 'function-local-flow';
+    basis: 'typescript-local-flow-backward-slices';
+    unsupported: string[];
+    /** Flow edges used whose strength is candidate rather than exact. */
+    candidateEdges: number;
+    /** Candidate edges are treated as dependencies, so they can merge clusters but never separate them. */
+    candidateEdgeEffect: 'merge-only';
+}
+interface SliceCohesionCandidate {
+    symbol: string;
+    shortName: string;
+    relativePath: string;
+    startLine: number;
+    endLine: number;
+    loc: number;
+    archetype: SliceCohesionArchetype;
+    /** True under a scripts, tools, bin, or migrations directory: operational code that legitimately sequences steps. */
+    operational: boolean;
+    /** Every body unit; present when the candidate was requested in detail. */
+    units?: SliceCohesionUnit[];
+    /** Units that carry data flow: statements, predicates, returns, and throws. */
+    statementCount: number;
+    outputs: SliceCohesionOutput[];
+    metrics: SliceCohesionMetrics;
+    /** Independent computations, largest first. */
+    clusters: SliceCohesionCluster[];
+    /** Value outputs that depend on shared setup only; they belong to whichever function keeps the setup. */
+    preambleOnlyOutputs: string[];
+    /** Counted units derived only from inputs and read by several outputs. */
+    preamble: number[];
+    /** Counted units no output depends on. */
+    orphans: number[];
+    /** Statements in the extraction clusters: what could leave the function while the largest computation stays. */
+    separableStatements: number;
+    splitCandidate: boolean;
+    actionTier: SliceCohesionActionTier;
+    tierReason: string;
+    evidenceReasons: string[];
+    recommendation: string;
+    coverage: SliceCohesionCoverage;
+}
+interface SourceFileCache {
+    files: Map<string, TypeScript.SourceFile | null>;
+}
+/**
+ * Measure functional cohesion from backward slices.
+ *
+ * For each thing a function hands to the outside world (its return value,
+ * each property of a returned object, an effect call, a write to state it
+ * does not own, a throw) the analysis takes the backward slice over the
+ * local definition-use and control-dependence graph. Outputs whose slices
+ * share statements belong to one computation; outputs whose slices are
+ * disjoint are separate local computations that happen to live in one
+ * body. Statements derived only from the inputs and read by several
+ * outputs are shared setup, not glue. The partition is the finding: the
+ * largest computation stays in place and every other qualifying cluster is
+ * an extraction with its parameters already named.
+ */
+declare function sliceCohesion(db: ScipDatabase, opts?: {
+    scope?: string;
+    symbol?: string;
+    minLoc?: number;
+    minStatements?: number;
+    minClusterUnits?: number;
+    limit?: number;
+    scanLimit?: number;
+    /** Include every unit and slice in each candidate; defaults to true for a targeted symbol. */
+    detail?: boolean;
+    onProgress?: (progress: CandidateScanProgress) => void;
+    /** Receives the scan counters, so a caller can report how much of the repository the result covers. */
+    onProfile?: (counters: CandidatePipelineCounters) => void;
+}): SliceCohesionCandidate[];
+/**
+ * Slice one callable. Null when the file is not TypeScript-like, the
+ * compiler is unavailable, no function-like body sits inside the
+ * definition range, or the flow analysis reports no support at all.
+ */
+declare function sliceCohesionForDefinition(db: ScipDatabase, definition: IndexedDefinition, opts?: {
+    minStatements?: number;
+    minClusterUnits?: number;
+    detail?: boolean;
+}, cache?: SourceFileCache): SliceCohesionCandidate | null;
+
+export { type SliceCohesionActionTier, type SliceCohesionArchetype, type SliceCohesionCandidate, type SliceCohesionCluster, type SliceCohesionClusterKind, type SliceCohesionClusterRole, type SliceCohesionCoverage, type SliceCohesionLineRange, type SliceCohesionMetrics, type SliceCohesionOutput, type SliceCohesionOutputKind, type SliceCohesionUnit, type SliceCohesionUnitKind, sliceCohesion, sliceCohesionForDefinition };

package/dist/queries/slice-cohesion.js

@@ -0,0 +1,2 @@
+import{a,b}from"../chunk-BUTWYEPH.js";import"../chunk-NOWINRRN.js";import"../chunk-N2WN6I3L.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 sliceCohesion,b as sliceCohesionForDefinition};
+//# sourceMappingURL=slice-cohesion.js.map

package/dist/queries/source-inspection.d.ts

@@ -1,209 +1,13 @@
-import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import { B as BehaviorSignal, d as BehaviorSkeleton, e as BoundaryEvidenceStrength, f as BoundaryResolutionState, S as SystemMapNextAnchorPacket } from '../next-anchor-candidates-BwMczMvX.js';
-import { EvidenceOptions, EvidenceResult } from './evidence.js';
-import { g as ExplorationCompletionStatus } from '../exploration-topology-BG4v30HZ.js';
-import { B as BindingClosure } from '../code-B17qEMbt.js';
-export { a as BindingDefinitionEvidence } from '../code-B17qEMbt.js';
-import { g as SourceSearchTextCoverage } from '../source-search-types-Dwz8KeuW.js';
-import { a as SourceUnitSnippet } from '../source-snippet-_wrcgmZc.js';
+import '../db-BwIVAYNB.js';
+export { B as BehaviorSignal, a as BehaviorSkeleton, S as SourceInspectionChannelCoverage, f as SourceInspectionContinuation, g as SourceInspectionEvidenceBudgets, h as SourceInspectionEvidenceChannel, i as SourceInspectionLocation, j as SourceInspectionOmissionAnchor, k as SourceInspectionOmissionGroup, l as SourceInspectionOptions, m as SourceInspectionPacketCoverage, n as SourceInspectionPathUnit, o as SourceInspectionResult, p as SourceInspectionRuntimeFact, q as SourceInspectionSearch, r as SourceInspectionSearchScope, s as SourceInspectionSlice, t as SourceInspectionSourceUnit, u as SourceInspectionStoppingStatus, v as SourceInspectionStoppingSummary, w as SourceInspectionUnit, x as SourceInspectionUnitRole, y as SourceInspectionView, z as inspectSource } from '../source-inspection-91U9zdO3.js';
+import '../exploration-topology-CSgEyAz-.js';
+export { B as BindingClosure, a as BindingDefinitionEvidence } from '../code-BNyrCF3_.js';
+import '../source-search-types-DWGYNg8M.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
 import '../symbol-types-BIQwfoAx.js';
 import './deps.js';
-import './trace.js';
+import '../trace-BMjw3prn.js';
 import '../repository-text-C0Q8VYdN.js';
 import './outline.js';
 import '../file-kind-BKCVMNUf.js';
-
-type SourceInspectionEvidenceChannel = 'search' | 'exact-source' | 'definition' | 'caller' | 'callee' | 'production-reference' | 'test-reference' | 'dependency' | 'consumer';
-type SourceInspectionEvidenceBudgets = Partial<Record<SourceInspectionEvidenceChannel, number>>;
-interface SourceInspectionChannelCoverage {
-    candidateUnits: number;
-    returnedUnits: number;
-    omittedUnits: number;
-    maxUnits: number;
-}
-type SourceInspectionUnitRole = 'search' | 'location' | 'definition' | 'reference' | 'caller' | 'callee' | 'dependency' | 'consumer';
-type SourceInspectionView = 'source' | 'behavior';
-
-interface SourceInspectionSlice extends SourceUnitSnippet {
-    reasons: string[];
-    focusLines: number[];
-    ownerSymbol: string | null;
-    ownerShort: string | null;
-}
-interface SourceInspectionSourceUnit extends SourceInspectionSlice {
-    kind: 'source';
-    id: string;
-    roles: SourceInspectionUnitRole[];
-    symbols: string[];
-    omittedCharacters: number;
-    behavior?: BehaviorSkeleton;
-    runtimeFacts?: SourceInspectionRuntimeFact[];
-    /** @deprecated Inspect omits whole ranked units rather than clipping source within a returned unit. */
-    exactFollowup?: string;
-}
-/** A compact, source-recoverable projection of one mechanically grounded runtime operation. */
-interface SourceInspectionRuntimeFact {
-    observationId: string;
-    protocol: string;
-    action: string;
-    role: string;
-    strength: BoundaryEvidenceStrength;
-    resolution: BoundaryResolutionState;
-    line: number;
-    endLine: number;
-    keyParts: Array<{
-        name: string;
-        value: string;
-        evidence: string;
-    }>;
-    derivation: {
-        kind: string;
-        rule: string;
-        sourceSpans: number;
-    };
-}
-interface SourceInspectionPathUnit {
-    kind: 'path';
-    id: string;
-    roles: Array<'dependency' | 'consumer'>;
-    relativePath: string;
-    relationship: string;
-    reasons: string[];
-    symbols: string[];
-    exactFollowup: string;
-}
-/** One independently useful source excerpt or unresolved file relationship in the shared packet. */
-type SourceInspectionUnit = SourceInspectionSourceUnit | SourceInspectionPathUnit;
-/** @deprecated Inspect no longer emits semantic packet continuations. */
-interface SourceInspectionContinuation {
-    cursor: string;
-    command: string;
-    indexGeneration: string;
-}
-interface SourceInspectionSearch {
-    pattern: string;
-    matchingLines: number;
-    returnedMatches: number;
-    omittedMatches: number;
-    matchingFiles?: number;
-    returnedFiles?: number;
-    omittedFiles?: number;
-    candidateUnits?: number;
-    selectedUnits?: number;
-    omittedUnits?: number;
-    scopeHints?: SourceInspectionSearchScope[];
-    omittedScopeHints?: number;
-    textCoverage?: SourceSearchTextCoverage;
-    exactFollowup?: string;
-}
-interface SourceInspectionSearchScope {
-    scope: string;
-    matchingLines: number;
-    returnedMatches: number;
-    exactFollowup: string;
-}
-interface SourceInspectionLocation {
-    target: string;
-    matched: boolean;
-}
-interface SourceInspectionPacketCoverage {
-    mode: 'bounded' | 'complete';
-    candidateUnits: number;
-    returnedUnits: number;
-    omittedUnits: number;
-    omittedByRole: Partial<Record<SourceInspectionUnitRole, number>>;
-    exactSelectorsComplete: boolean;
-    maxUnits: number;
-    maxCharacters: number;
-    channels?: Record<SourceInspectionEvidenceChannel, SourceInspectionChannelCoverage>;
-    expansionCommand?: string;
-}
-interface SourceInspectionOmissionAnchor {
-    relativePath: string;
-    line: number;
-    ownerShort: string | null;
-    roles: SourceInspectionUnitRole[];
-    behaviorSignals: BehaviorSignal[];
-}
-interface SourceInspectionOmissionGroup {
-    id: string;
-    scope: string;
-    channel?: SourceInspectionEvidenceChannel;
-    roles: SourceInspectionUnitRole[];
-    behaviorSignals: BehaviorSignal[];
-    candidateUnits: number;
-    sourceCharacters: number;
-    anchors: SourceInspectionOmissionAnchor[];
-    drillCommand: string;
-}
-type SourceInspectionStoppingStatus = 'stop-ready' | 'relevance-check-required' | 'exact-evidence-withheld';
-interface SourceInspectionStoppingSummary {
-    /** Query-scoped completion; it never claims that the user's task is finished. */
-    queryStatus?: ExplorationCompletionStatus;
-    /** @deprecated Use queryStatus. Retained for one compatibility window. */
-    status: SourceInspectionStoppingStatus;
-    openEvidence: number;
-    guidance: string;
-    drillCommands: string[];
-}
-interface SourceInspectionResult {
-    searches: SourceInspectionSearch[];
-    evidence: EvidenceResult[];
-    locations: SourceInspectionLocation[];
-    /** @deprecated Prefer units, which includes every evidence role in one deduplicated packet. */
-    slices: SourceInspectionSlice[];
-    /** @deprecated Prefer candidateUnits. */
-    candidateSlices: number;
-    /** @deprecated Prefer omittedUnits. */
-    omittedSlices: number;
-    /** @deprecated Prefer packetCoverage.maxUnits. */
-    maxSlices: number;
-    maxTotalLines: number;
-    units?: SourceInspectionUnit[];
-    candidateUnits?: number;
-    omittedUnits?: number;
-    maxUnits?: number;
-    maxCharacters?: number;
-    returnedLines?: number;
-    returnedCharacters?: number;
-    returnedViewCharacters?: number;
-    view?: SourceInspectionView;
-    omissionGroups?: SourceInspectionOmissionGroup[];
-    packetCoverage?: SourceInspectionPacketCoverage;
-    stoppingSummary?: SourceInspectionStoppingSummary;
-    /** Exact downstream call targets outside the materialized behavior constructs. */
-    causalFrontier?: SystemMapNextAnchorPacket;
-    bindingClosure?: BindingClosure;
-    /** @deprecated Inspect no longer emits semantic packet continuations. */
-    continuation?: SourceInspectionContinuation | null;
-}
-interface SourceInspectionOptions {
-    searches?: readonly string[];
-    symbols?: readonly string[];
-    locations?: readonly string[];
-    scope?: string;
-    context?: number;
-    searchLimit?: number;
-    maxUnits?: number;
-    full?: boolean;
-    view?: SourceInspectionView;
-    /** @deprecated Inspect returns complete syntax units. */
-    unitLines?: number;
-    /** @deprecated Inspect no longer applies a packet line budget. */
-    totalLines?: number;
-    /** @deprecated Inspect no longer applies a packet unit budget. */
-    sliceLimit?: number;
-    /** Displayed-evidence character ceiling; source view may surface one whole oversized unit for CLI refusal. */
-    maxCharacters?: number;
-    evidence?: EvidenceOptions;
-    /** Independent unit ceilings; omitted channel evidence remains recoverable in coverage and omission groups. */
-    evidenceBudgets?: SourceInspectionEvidenceBudgets;
-    /** @deprecated Inspect no longer accepts semantic packet cursors. */
-    cursor?: string;
-}
-/** Build one ranked, deduplicated semantic packet from several known source questions. */
-declare function inspectSource(db: ScipDatabase, opts: SourceInspectionOptions): SourceInspectionResult;
-
-export { BehaviorSignal, BehaviorSkeleton, BindingClosure, type SourceInspectionChannelCoverage, type SourceInspectionContinuation, type SourceInspectionEvidenceBudgets, type SourceInspectionEvidenceChannel, type SourceInspectionLocation, type SourceInspectionOmissionAnchor, type SourceInspectionOmissionGroup, type SourceInspectionOptions, type SourceInspectionPacketCoverage, type SourceInspectionPathUnit, type SourceInspectionResult, type SourceInspectionRuntimeFact, type SourceInspectionSearch, type SourceInspectionSearchScope, type SourceInspectionSlice, type SourceInspectionSourceUnit, type SourceInspectionStoppingStatus, type SourceInspectionStoppingSummary, type SourceInspectionUnit, type SourceInspectionUnitRole, type SourceInspectionView, inspectSource };

package/dist/queries/source-inspection.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-DULC3QFP.js";import"../chunk-VMPRET3I.js";import"../chunk-3WR4E3A3.js";import"../chunk-2R3V3PSD.js";import"../chunk-EG2CPZMJ.js";import"../chunk-MNV5FSBW.js";import"../chunk-ZF5KHH7C.js";import"../chunk-CIYLO6SI.js";import"../chunk-M2O5NY6W.js";import"../chunk-HEHOQQKH.js";import"../chunk-3SVF22I5.js";import"../chunk-WIWY3CRX.js";import"../chunk-BRV7PIFF.js";import"../chunk-TPFHAQ2G.js";import"../chunk-OR2E3AGZ.js";import"../chunk-6VVV4WRR.js";import"../chunk-VUPHCS7Y.js";import"../chunk-WOIKCX6A.js";import"../chunk-BOJ5SVE2.js";import"../chunk-CJZXN4NU.js";import"../chunk-BGBBVSH4.js";import"../chunk-W7CXK74K.js";import"../chunk-NWQXSFFU.js";import"../chunk-P5XHIJHI.js";import"../chunk-E73UNJTF.js";import"../chunk-WB3WYIRE.js";import"../chunk-DYGHBZ2N.js";import"../chunk-KK7GPALL.js";import"../chunk-OSSESPDX.js";import"../chunk-TRNAEQ6P.js";import"../chunk-XRYABF57.js";import"../chunk-NJITK2GP.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-TEBQMNVI.js";import"../chunk-MTDBHTSF.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{a as inspectSource};
+import{a}from"../chunk-AC566WBP.js";import"../chunk-F56GCXXS.js";import"../chunk-55UQAMZO.js";import"../chunk-D3NX5XIE.js";import"../chunk-VTY3VK6E.js";import"../chunk-ZR4HBC2H.js";import"../chunk-F4LUHJTF.js";import"../chunk-ZIBYCYKK.js";import"../chunk-DIO3FUSG.js";import"../chunk-MOQQBQRD.js";import"../chunk-YGVRMGYN.js";import"../chunk-GMVSHUKZ.js";import"../chunk-AOSIYPTA.js";import"../chunk-F2V2LPET.js";import"../chunk-NLOQOBXI.js";import"../chunk-PKN354TH.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 inspectSource};
 //# sourceMappingURL=source-inspection.js.map

package/dist/queries/source-search.d.ts

@@ -1,11 +1,10 @@
 import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import { d as SourceSearchOptions, e as SourceSearchResult } from '../source-search-types-Dwz8KeuW.js';
-export { S as SourceSearchFileCoverage, a as SourceSearchIdentity, b as SourceSearchIdentityCoverage, c as SourceSearchMatch, f as SourceSearchScopeHint, g as SourceSearchTextCoverage } from '../source-search-types-Dwz8KeuW.js';
+import { d as SourceSearchOptions, e as SourceSearchResult } from '../source-search-types-DWGYNg8M.js';
+export { S as SourceSearchFileCoverage, a as SourceSearchIdentity, b as SourceSearchIdentityCoverage, c as SourceSearchMatch, f as SourceSearchScopeHint, g as SourceSearchTextCoverage } from '../source-search-types-DWGYNg8M.js';
 export { S as SourceObservationFreshness, a as SourceSemanticFreshnessState } from '../repository-text-C0Q8VYdN.js';
 import 'better-sqlite3';
 import '../config-types-B9B60MiR.js';
 import '../file-kind-BKCVMNUf.js';
-import '../source-snippet-_wrcgmZc.js';
 
 /** Search the source of indexed documents and retain line and symbol ownership. */
 declare function searchSource(db: ScipDatabase, pattern: string, opts?: SourceSearchOptions): SourceSearchResult;

package/dist/queries/source-search.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-6I6L7Z62.js";import"../chunk-VMPRET3I.js";import"../chunk-3SVF22I5.js";import"../chunk-OR2E3AGZ.js";import"../chunk-6VVV4WRR.js";import"../chunk-NJITK2GP.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{a as searchSource};
+import{a}from"../chunk-4BHGBMNO.js";import"../chunk-F56GCXXS.js";import"../chunk-YGVRMGYN.js";import"../chunk-YNQCGEQE.js";import"../chunk-E3FDPXZK.js";import"../chunk-DHEQMPLW.js";import"../chunk-YUKYB54I.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 searchSource};
 //# sourceMappingURL=source-search.js.map

package/dist/queries/stats.d.ts

@@ -8,6 +8,7 @@ interface StatsResult {
     definitions: number;
     references: number;
     indexSizeBytes: number;
+    /** Database file modification time; legacy name, not evidence of source freshness. */
     lastBuilt: Date | null;
 }
 declare function stats(db: ScipDatabase): StatsResult;

package/dist/queries/stats.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-6YTSKJJ3.js";export{a as stats};
+import{a}from"../chunk-42EOW5VI.js";export{a as stats};
 //# sourceMappingURL=stats.js.map

package/dist/queries/surface.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-2LDBDR6J.js";import"../chunk-BRV7PIFF.js";import"../chunk-CJZXN4NU.js";import"../chunk-BGBBVSH4.js";import"../chunk-W7CXK74K.js";import"../chunk-NWQXSFFU.js";import"../chunk-P5XHIJHI.js";import"../chunk-E73UNJTF.js";import"../chunk-WB3WYIRE.js";import"../chunk-DYGHBZ2N.js";import"../chunk-KK7GPALL.js";import"../chunk-OSSESPDX.js";import"../chunk-TRNAEQ6P.js";import"../chunk-XRYABF57.js";import"../chunk-NJITK2GP.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-TEBQMNVI.js";import"../chunk-MTDBHTSF.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{b as consumerSurface,a as surface};
+import{a,b}from"../chunk-JFXSGAEB.js";import"../chunk-AOSIYPTA.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 consumerSurface,a as surface};
 //# sourceMappingURL=surface.js.map

package/dist/queries/symbols.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-FBN2FGXG.js";import"../chunk-BRV7PIFF.js";import"../chunk-OSSESPDX.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{a as symbols};
+import{a}from"../chunk-N3ORQT7L.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 symbols};
 //# sourceMappingURL=symbols.js.map

package/dist/queries/system.d.ts

@@ -5,13 +5,15 @@ import '../config-types-B9B60MiR.js';
 
 interface SystemResult {
     files: string[];
-    symbols: SymbolResult[];
+    symbols: Array<SymbolResult & {
+        relativePath: string;
+    }>;
     dependsOn: string[];
     dependedOnBy: string[];
 }
 /** Full system map for a module path: files, symbols, deps in/out.
  *
- * Exported-symbol ranges come from getDefinitionsForFile so they are
+ * Symbol ranges come from getDefinitionsForFile so they are
  * source-corrected and match `scip symbols` output.
  */
 declare function system(db: ScipDatabase, modulePattern: string): SystemResult;

package/dist/queries/system.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-FDLOBR6P.js";import"../chunk-BRV7PIFF.js";import"../chunk-OSSESPDX.js";import"../chunk-TEBQMNVI.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{b as moduleMap,a as system};
+import{a,b}from"../chunk-CFN45HFP.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 moduleMap,a as system};
 //# sourceMappingURL=system.js.map

package/dist/queries/test-quality.d.ts

@@ -8,7 +8,7 @@ import '../config-types-B9B60MiR.js';
  * source-facts layer (raw source text + `classifyFile`'s test-file
  * classification), never the graph. Three independently reportable
  * sub-checks:
- *  - assertion-free: `it`/`test` bodies with no reachable assertion call.
+ *  - assertion-free: `it`/`test` bodies without recognized assertion syntax (not a reachability proof).
  *  - skipped: `it.skip`/`describe.skip`/`xit`/`.todo` inventory with
  *    git-blame age on the skip line.
  *  - mock-echo: a test asserting the same literal it stubbed into a mock.

package/dist/queries/test-quality.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-BHVUJOCQ.js";import"../chunk-6HFCYNYE.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-XRYABF57.js";import"../chunk-NJITK2GP.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-TEBQMNVI.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{a as testQuality};
+import{a}from"../chunk-3IVFU4FD.js";import"../chunk-KDDIE2DP.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.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{a as testQuality};
 //# sourceMappingURL=test-quality.js.map

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

@@ -12,7 +12,7 @@ import '../config-types-B9B60MiR.js';
  * - similar requires callee-set overlap (any names).
  * - similar-signatures requires the same type shape (any names).
  *
- * This one is the missing "same concept, drifted implementation" case:
+ * This is a candidate search by names and source tokens; shared conceptual ownership requires review:
  * React/Vue helper families with drifted thresholds, escapeRegex vs
  * escapeRegExp, etc.
  */
@@ -54,6 +54,12 @@ interface TwinDriftRecord {
      * `isDelegatePair`/`buildDelegationChecker` for that.
      */
     isThinForwarder: boolean;
+    /**
+     * For a thin forwarder, the leaf name of the one call its body makes; a
+     * forwarder whose target has a different name than its own is a stub over
+     * another concept (an HTTP client, an adapter), not a twin of it.
+     */
+    forwardTargetLeaf?: string | null;
 }
 declare function twinDrift(db: ScipDatabase, opts?: {
     scope?: string;
@@ -85,11 +91,12 @@ declare function groupTwins(records: readonly TwinDriftRecord[], opts?: {
     minSimilarity?: number;
     /**
      * Injected so this stays a pure/DB-free function for `groupTwins`'s unit
-     * tests: `isDelegatePair(from, to, clusterMembers)` answers "is `from` a
-     * thin forwarder whose call target resolves to `to` (directly, or by
-     * chaining through same-leaf-name delegates found in `clusterMembers`)?"
-     * `allTwinGroups` wires the real, source/import-backed implementation
-     * via `buildDelegationChecker`.
+     * tests: `isDelegatePair(from, to, clusterMembers)` answers "does `from`
+     * call `to` (directly, or by chaining through same-leaf-name thin
+     * forwarders found in `clusterMembers`)?" A member that calls its
+     * same-name counterpart is a layer over it, not a parallel
+     * implementation. `allTwinGroups` wires the real, source/import-backed
+     * implementation via `buildDelegationChecker`.
      */
     isDelegatePair?: (from: TwinDriftRecord, to: TwinDriftRecord, clusterMembers: readonly TwinDriftRecord[]) => boolean;
 }): TwinGroup[];
@@ -107,6 +114,15 @@ declare function groupTwins(records: readonly TwinDriftRecord[], opts?: {
  * statement-count/control-flow/call-shape check.
  */
 declare function isThinForwarderBody(rawSnippet: string): boolean;
+/**
+ * Stricter than `isThinForwarderBody`: exactly one statement, that statement
+ * is one call (optionally returned or awaited), and its arguments are plain
+ * values — identifiers, member paths, literals, `??`/`||` defaults, spreads.
+ * A preparatory statement, a callback, a nested call, or an array/object
+ * literal the body builds makes the callable a helper rather than the
+ * "inline this into its only consumer" shape the wrapper claim describes.
+ */
+declare function isSingleForwardingCallBody(rawSnippet: string): boolean;
 /**
  * Split a statement block on top-level `;` (ignoring `;` nested inside
  * `()`/`[]`/`{}`). Exported so other detectors that need a body's top-level
@@ -116,4 +132,4 @@ declare function isThinForwarderBody(rawSnippet: string): boolean;
  */
 declare function splitTopLevelStatements(body: string): string[];
 
-export { type TwinDriftRecord, type TwinGroup, type TwinMember, type TwinRelationship, allTwinGroups, groupTwins, isThinForwarderBody, splitTopLevelStatements, twinDrift };
+export { type TwinDriftRecord, type TwinGroup, type TwinMember, type TwinRelationship, allTwinGroups, groupTwins, isSingleForwardingCallBody, isThinForwarderBody, splitTopLevelStatements, twinDrift };

package/dist/queries/twin-drift.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e}from"../chunk-4UX2F3JX.js";import"../chunk-JGKUET5J.js";import"../chunk-6HFCYNYE.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-XRYABF57.js";import"../chunk-NJITK2GP.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-TEBQMNVI.js";import"../chunk-MTDBHTSF.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{b as allTwinGroups,c as groupTwins,d as isThinForwarderBody,e as splitTopLevelStatements,a as twinDrift};
+import{a,b,c,d,e,f}from"../chunk-NEIWRNAZ.js";import"../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-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 allTwinGroups,c as groupTwins,e as isSingleForwardingCallBody,d as isThinForwarderBody,f as splitTopLevelStatements,a as twinDrift};
 //# sourceMappingURL=twin-drift.js.map

package/dist/queries/unused-imports.js

@@ -1,2 +1,2 @@
-import{a,b,c}from"../chunk-UHFYCMZO.js";import"../chunk-BRV7PIFF.js";import"../chunk-NWQXSFFU.js";import"../chunk-P5XHIJHI.js";import"../chunk-WB3WYIRE.js";import"../chunk-KK7GPALL.js";import"../chunk-OSSESPDX.js";import"../chunk-TRNAEQ6P.js";import"../chunk-TEBQMNVI.js";import"../chunk-N2ZSIIGR.js";import"../chunk-ODDUPDP7.js";import"../chunk-ZOHS7AQV.js";import"../chunk-FESCRNVV.js";import"../chunk-JWTGMPIT.js";import"../chunk-N5B2NILC.js";export{b as importedBy,a as imports,c as unusedImports};
+import{a,b,c}from"../chunk-LMO6PK3V.js";import"../chunk-AOSIYPTA.js";import"../chunk-AGWFSTXC.js";import"../chunk-P5XHIJHI.js";import"../chunk-73AAKPUC.js";import"../chunk-KZBJWZJB.js";import"../chunk-KK7GPALL.js";import"../chunk-FMRN2TRL.js";import"../chunk-DA7RPPDF.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 importedBy,a as imports,c as unusedImports};
 //# sourceMappingURL=unused-imports.js.map

package/dist/queries/unused-params.d.ts

@@ -12,21 +12,9 @@ interface UnusedParamsFinding {
     /** Trailing parameters never referenced in the body, in declaration order. */
     unusedTrailing: string[];
 }
-/**
- * Speculative generality: trailing parameters nobody uses — a signature AI
- * move (options and hooks added "for later" that never came).
- *
- * Deliberately conservative, TS/JS only:
- * - TRAILING runs only — removing a trailing parameter is type-safe under
- *   TypeScript's function variance; removing a mid-list one breaks the
- *   positional contract. (Rust is excluded: call sites break, and rustc
- *   already warns there.)
- * - `_`-prefixed names are declared-intentional and skipped.
- * - Functions with pattern/rest parameters are skipped entirely.
- * - One-line bodies are skipped (line-granular usage can't tell a use from
- *   the declaration itself).
- * - Externally-live (package surface / entryRoots) symbols are skipped —
- *   their signatures are API.
+/** Trailing simple parameters with no same-binding read. Defaults, rest parameters,
+ * parameter properties, dynamic eval/arguments, and rooted contracts are excluded.
+ * Findings are review candidates: changing a signature can affect callers and arity.
  */
 declare function unusedParams(db: ScipDatabase, opts?: {
     scope?: string;