scip-query 0.20.0 → 0.21.0

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

@@ -0,0 +1,449 @@
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
+import { F as FileKind } from '../file-kind-BKCVMNUf.js';
+import { B as BehaviorSignal, a as BoundarySourceScope, S as SystemMapNextAnchorPacket } from '../next-anchor-candidates-BwMczMvX.js';
+export { b as SystemMapNextAnchor, c as SystemMapNextAnchorAlternative } from '../next-anchor-candidates-BwMczMvX.js';
+import { c as SymbolResolutionCandidate } from '../symbol-types-BIQwfoAx.js';
+import { a as CalleeEvidenceSource } from '../call-graph-evidence-lZa2dwQA.js';
+import { E as ExplorationSourceLocation, b as ExplorationTopologyNode, c as ExplorationEvidenceSource, a as ExplorationEvidenceStrength, d as ExplorationTopology } from '../exploration-topology-BG4v30HZ.js';
+import 'better-sqlite3';
+import '../config-types-Cm-VSEBb.js';
+
+type ConnectedBehaviorStepRole = 'anchor' | 'connector' | 'junction';
+interface ConnectedBehaviorLine {
+    line: number;
+    endLine: number;
+    depth: number;
+    signals: BehaviorSignal[];
+    text: string;
+    copied: boolean;
+}
+interface ConnectedBehaviorSupportingDeclaration {
+    kind: 'compiler-referenced-declaration' | 'focused-causal-target' | 'return-value-transformer';
+    symbol: string;
+    label: string;
+    file: string;
+    line: number;
+    endLine: number;
+    text: string;
+}
+/**
+ * One source-faithful description of a selected construct. An outline accounts
+ * for every source statement; exact source is used when outlining would not
+ * save characters or the installed parser cannot build a faithful outline.
+ */
+interface ConnectedBehaviorRepresentation {
+    kind: 'connector-slice' | 'outline' | 'source';
+    constructKind: string;
+    signature: string;
+    lines: ConnectedBehaviorLine[];
+    coverage: {
+        sourceStatements: number;
+        representedStatements: number;
+        copiedStatements: number;
+        omittedStatements: number;
+    };
+    rawCharacters: number;
+    renderedCharacters: number;
+    supportingDeclarations?: ConnectedBehaviorSupportingDeclaration[];
+    omittedSupportingDeclarations?: Array<Omit<ConnectedBehaviorSupportingDeclaration, 'kind' | 'text'> & {
+        reason: 'source-too-large';
+    }>;
+}
+/** One selected repository construct or non-source junction in connector order. */
+interface ConnectedBehaviorStep {
+    id: string;
+    nodeId: string;
+    order: number;
+    role: ConnectedBehaviorStepRole;
+    kind: string;
+    label: string;
+    location: ExplorationTopologyNode['location'];
+    behavior: ConnectedBehaviorRepresentation | null;
+}
+/** One original directed graph edge connecting two returned behavior steps. */
+interface ConnectedBehaviorTransition {
+    id: string;
+    edgeId: string;
+    order: number;
+    kind: string;
+    fromStepId: string;
+    toStepId: string;
+    directed: true;
+    pathTraversal: 'forward' | 'reverse' | 'adjacent';
+    evidence: ExplorationEvidenceSource[];
+}
+interface ConnectedBehaviorPath {
+    id: string;
+    status: 'connected' | 'partial' | 'candidate';
+    stepIds: string[];
+    transitionIds: string[];
+}
+/**
+ * A connected behavior packet is a graph-ordered source explanation: selected
+ * constructs plus the exact relationships that make them one explored slice.
+ */
+interface ConnectedBehaviorPacket {
+    status: 'connected' | 'partial' | 'ambiguous' | 'unavailable';
+    steps: ConnectedBehaviorStep[];
+    transitions: ConnectedBehaviorTransition[];
+    paths: ConnectedBehaviorPath[];
+    coverage: {
+        candidateNodes: number;
+        returnedNodes: number;
+        omittedNodeIds: string[];
+        returnedTransitions: number;
+        withheldStatements: number;
+        requestedFocusLocations: ExplorationSourceLocation[];
+        matchedFocusLocations: ExplorationSourceLocation[];
+        unmatchedFocusLocations: ExplorationSourceLocation[];
+    };
+    behaviorCommand: string | null;
+    exactSourceCommand: string | null;
+}
+interface ConnectedBehaviorOptions {
+    /** Soft limit: matched anchors and nodes on an anchor-connector path are never omitted. */
+    maxSteps?: number;
+    /** Exact source locations that should focus behavior inside otherwise-large selected constructs. */
+    focusLocations?: readonly ExplorationSourceLocation[];
+}
+
+type SystemMapRelationKind = 'call' | 'contract-symbol' | 'import' | 'reference' | 'runtime-boundary';
+
+type SystemMapAnchorKind = 'literal' | 'symbol';
+type SystemMapAnchorStatus = 'matched' | 'ambiguous' | 'missing';
+
+type SystemMapEvidenceFloor = 'exact' | 'derived';
+type SystemMapSourceScope = BoundarySourceScope;
+type SystemMapReferenceScope = 'none' | 'all' | 'forward-regions' | 'cross-workspace-or-forward';
+type SystemMapRelationEvidence = CalleeEvidenceSource | 'ast-constructed-member-callsite' | 'ast-factory-callback-callsite' | 'ast-service-member-callsite' | 'ast-member-import-candidate' | 'scip-occurrence-callsite' | 'scip-occurrence-reference' | 'compiler-cross-workspace-symbol' | 'indexed-or-source-reference' | 'indexed-or-source-import' | `runtime-boundary:${string}`;
+type SystemMapRelationStrength = ExplorationEvidenceStrength;
+
+interface SystemMapOptions {
+    searches?: readonly string[];
+    symbols?: readonly string[];
+    behaviorFocusLocations?: readonly {
+        file: string;
+        line: number;
+    }[];
+    maxDepth?: number;
+    expand?: readonly string[];
+    relations?: readonly SystemMapRelationKind[];
+    evidenceFloor?: SystemMapEvidenceFloor;
+    sourceScopes?: readonly SystemMapSourceScope[];
+    maxTopologyCharacters?: number;
+    topologyFrontiers?: readonly string[];
+    /** Stable upstream route IDs to materialize together. */
+    routeIds?: readonly string[];
+    fullLiteralTraversal?: boolean;
+    /** @deprecated Accepted as a no-op; query vocabulary no longer affects graph selection. */
+    selectionTerms?: readonly string[];
+}
+interface SystemMapAnchorCandidate extends SymbolResolutionCandidate {
+    endLine: number;
+}
+interface SystemMapAnchor {
+    kind: SystemMapAnchorKind;
+    query: string;
+    status: SystemMapAnchorStatus;
+    matchedRegionIds: string[];
+    matchingLines?: number;
+    /** Matches actually materialized as graph traversal seeds. */
+    seedMatchingLines?: number;
+    /** Embedded-substring and out-of-scope matches that are not traversal eligible. */
+    matchOnlyLines?: number;
+    /** Matches eligible to seed traversal before a broad-selector guard is applied. */
+    eligibleSeedMatchingLines?: number;
+    materializedMatchingLines?: number;
+    withheldMatchingLines?: number;
+    literalTraversal?: 'materialized' | 'withheld-broad';
+    representativeMatches?: SystemMapLiteralHit[];
+    narrowingCommands?: string[];
+    exhaustiveTraversalCommand?: string;
+    seedRegionIds?: string[];
+    matchOnlyRegionIds?: string[];
+    symbolCandidates?: SystemMapAnchorCandidate[];
+    totalSymbolCandidates?: number;
+    omittedSymbolCandidates?: number;
+}
+interface SystemMapLiteralHit {
+    query: string;
+    file: string;
+    line: number;
+    ownerSymbol: string | null;
+    ownerShortName: string | null;
+    ownerStartLine?: number | null;
+    ownerEndLine?: number | null;
+    sourceLine: string;
+    matchKind?: 'exact-value' | 'boundary' | 'embedded';
+    traversalSeed?: boolean;
+}
+interface SystemMapFile {
+    file: string;
+    kind: FileKind;
+    depth: number;
+    origins: string[];
+}
+interface SystemMapSymbol {
+    symbol: string;
+    shortName: string;
+    file: string;
+    startLine: number;
+    endLine: number;
+    depth: number;
+    origins: string[];
+    anchorQueries: string[];
+    referenceExpansion: boolean;
+    referenceScope: SystemMapReferenceScope;
+}
+interface SystemMapRelation {
+    kind: SystemMapRelationKind;
+    evidence: SystemMapRelationEvidence;
+    fromRegionId: string;
+    fromFile: string;
+    fromSymbol: string | null;
+    toRegionId: string;
+    toFile: string;
+    toSymbol: string | null;
+    /** Source-backed runtime participant used when this endpoint has no compiler symbol. */
+    fromBoundaryParticipant?: SystemMapBoundaryParticipant;
+    /** Source-backed runtime participant used when this endpoint has no compiler symbol. */
+    toBoundaryParticipant?: SystemMapBoundaryParticipant;
+    /** Exact source callable used when this endpoint has no compiler symbol. */
+    fromSourceConstruct?: SystemMapSourceConstruct;
+    /** Exact source callable used when this endpoint has no compiler symbol. */
+    toSourceConstruct?: SystemMapSourceConstruct;
+    /** Exact normalized rendezvous key that joined the runtime participants. */
+    runtimeBoundaryKey?: string;
+    line: number | null;
+    /** Present in results produced by schema version 1 topology-aware builds. */
+    strength?: SystemMapRelationStrength;
+}
+/** One parser-delimited callable that is absent from the compiler symbol catalog. */
+interface SystemMapSourceConstruct {
+    file: string;
+    name: string;
+    startLine: number;
+    endLine: number;
+}
+/** One exact producer or consumer observation at a runtime crossing. */
+interface SystemMapBoundaryParticipant {
+    observationId: string;
+    action: string;
+    protocol: string;
+    role: string;
+    /** Stable, source-derived key parts that distinguish operations sharing one owner file. */
+    address?: string;
+    file: string;
+    line: number;
+    endLine: number;
+    ownerName: string | null;
+    ownerSymbol: string | null;
+}
+interface SystemMapRegionRelation {
+    fromRegionId: string;
+    toRegionId: string;
+    kinds: SystemMapRelationKind[];
+    relationCount: number;
+    fromFiles: string[];
+    toFiles: string[];
+    fromSymbols: string[];
+    toSymbols: string[];
+    evidence: SystemMapRelationEvidence[];
+    /** Present in results produced by schema version 1 topology-aware builds. */
+    strengths?: SystemMapRelationStrength[];
+}
+interface SystemMapExternalBoundary {
+    kind: 'external-import';
+    name: string;
+    fromRegionIds: string[];
+    fromFiles: string[];
+}
+interface SystemMapBoundaryFrontier {
+    observationId: string;
+    action: string;
+    strength: 'exact' | 'derived' | 'candidate';
+    file: string;
+    line: number;
+    ownerShortName: string | null;
+    address: string;
+    reason: string;
+    /** Exact observation context retained even when its runtime peer is unresolved. */
+    protocol?: string;
+    role?: string;
+    modality?: 'must' | 'may' | 'unknown';
+    resolution?: 'locally-linked' | 'external' | 'unresolved' | 'ambiguous';
+    sourceScope?: BoundarySourceScope;
+    keyParts?: Array<{
+        name: string;
+        value: string;
+        evidence: string;
+    }>;
+}
+interface SystemMapNotableSymbol {
+    shortName: string;
+    file: string;
+    origins: string[];
+}
+interface SystemMapRegion {
+    id: string;
+    label: string;
+    workspace: string;
+    structuralPath: string;
+    minDepth: number;
+    fileCount: number;
+    sourceFileCount: number;
+    testFileCount: number;
+    symbolCount: number;
+    literalHitCount: number;
+    anchorQueries: string[];
+    relationKinds: SystemMapRelationKind[];
+    incomingRegionIds: string[];
+    outgoingRegionIds: string[];
+    memberCallCandidateRelationCount: number;
+    notableSymbols: SystemMapNotableSymbol[];
+    omittedNotableSymbols: number;
+    expanded: boolean;
+    files: SystemMapFile[];
+    symbols: SystemMapSymbol[];
+    literalHits: SystemMapLiteralHit[];
+    relations: SystemMapRelation[];
+}
+interface SystemMapDrilldownAnchor {
+    kind: 'symbol' | 'literal';
+    regionId: string;
+    file: string;
+    line: number;
+    endLine: number | null;
+    label: string;
+}
+interface SystemMapDrilldown {
+    command: string | null;
+    definitionCommand: string | null;
+    candidateAnchors: number;
+    selectedAnchors: number;
+    omittedAnchors: number;
+    anchors: SystemMapDrilldownAnchor[];
+}
+interface SystemMapExpansion {
+    command: string | null;
+    regionCount: number;
+    regionIds: string[];
+    candidateRegionCount?: number;
+    omittedRegionIds?: string[];
+}
+/** The bounded human topology view; the structured result still retains every region and relation. */
+interface SystemMapPresentation {
+    maxCharacters: number;
+    estimatedCharacters: number;
+    totalEstimatedCharacters: number;
+    regionIds: string[];
+    omittedRegionIds: string[];
+    relationKeys: string[];
+    omittedRelations: number;
+    complete: boolean;
+    expansionCommand: string | null;
+}
+interface SystemMapRelationFamilyCoverage {
+    evidence: 'compiler-graph' | 'exact-source' | 'mixed';
+    scope: string;
+    completeWithinScope: true;
+}
+interface SystemMapCoverage {
+    explicitAnchorCount: number;
+    requestedRelationKinds: SystemMapRelationKind[];
+    evidenceFloor: SystemMapEvidenceFloor;
+    includedSourceScopes: BoundarySourceScope[];
+    matchedAnchorCount: number;
+    literalSearchesComplete: true;
+    broadLiteralAnchors?: number;
+    withheldLiteralMatches?: number;
+    symbolCandidateSetsComplete: boolean;
+    omittedSymbolCandidates: number;
+    maxTraversalDepth: number;
+    frontierSymbols: number;
+    frontierFiles: number;
+    supportFilesNotTraversed: number;
+    filteredUnverifiedCallEdges: number;
+    memberCallCandidateEdges: number;
+    unresolvedMemberCallsites: number;
+    runtimeBoundaryEvidenceAvailable: boolean;
+    runtimeBoundaryObservations: number;
+    runtimeBoundaryExactLinks: number;
+    runtimeBoundaryDerivedLinks: number;
+    runtimeBoundaryCandidateLinks: number;
+    repositoryRuntimeBoundaryExactLinks: number;
+    repositoryRuntimeBoundaryDerivedLinks: number;
+    repositoryRuntimeBoundaryCandidateLinks: number;
+    runtimeBoundaryTraversedLinks: number;
+    runtimeBoundaryFrontiers: number;
+    referenceExpansionEligibleSymbols: number;
+    referenceExpansionSkippedSymbols: number;
+    dynamicDispatchRepresented: boolean;
+    runtimeGeneratedLinksRepresented: boolean;
+    regionBoundariesAreStructural: true;
+    relationFamilies: Record<SystemMapRelationKind | 'literal-anchor', SystemMapRelationFamilyCoverage>;
+    blindSpots: string[];
+}
+/** Accounting for the declared query, not a claim that the English task is globally understood. */
+interface SystemMapQueryClosure {
+    status: 'accounted' | 'incomplete';
+    emitted: {
+        regions: number;
+        relations: number;
+        runtimeLinks: number;
+    };
+    withheld: {
+        symbols: number;
+        files: number;
+        regions: number;
+        drillAnchors: number;
+        literalMatches?: number;
+    };
+    ambiguous: {
+        anchors: number;
+        omittedSymbolCandidates: number;
+    };
+    external: number;
+    unresolved: number;
+    explanation: string;
+}
+interface SystemMapResult {
+    anchors: SystemMapAnchor[];
+    regions: SystemMapRegion[];
+    regionRelations: SystemMapRegionRelation[];
+    externalBoundaries: SystemMapExternalBoundary[];
+    boundaryFrontiers: SystemMapBoundaryFrontier[];
+    unmatchedExpansions: string[];
+    expansion?: SystemMapExpansion;
+    drilldown?: SystemMapDrilldown;
+    presentation: SystemMapPresentation;
+    /** Additive universal graph contract; absent only in results serialized by older builds. */
+    topology?: ExplorationTopology;
+    /** Graph-ordered constructs and the evidence-bearing transitions between them. */
+    behavior?: ConnectedBehaviorPacket;
+    /** Structurally important callable targets not yet materialized in behavior. */
+    nextAnchors?: SystemMapNextAnchorPacket;
+    closure: SystemMapQueryClosure;
+    coverage: SystemMapCoverage;
+}
+/**
+ * Build a layered repository map from explicit literal and symbol anchors.
+ *
+ * The query does not infer a feature or system from English. It preserves all
+ * supplied anchor matches, follows named compiler/source evidence families,
+ * and exposes traversal and runtime blind spots in the result.
+ */
+declare function systemMap(db: ScipDatabase, opts: SystemMapOptions): SystemMapResult;
+/**
+ * Build only the canonical typed topology for an explicit system-map request.
+ *
+ * Unlike {@link systemMap}, this operation does not materialize connected
+ * behavior, causal corridors, adjacent-recovery candidates, legacy
+ * presentation, or expansion commands. Canonical graph projections use this
+ * seam so compatibility-only presentation work cannot leak into their cost or
+ * semantics.
+ */
+declare function systemMapTopology(db: ScipDatabase, opts: SystemMapOptions): ExplorationTopology;
+declare function systemMapRegionRelationKey(relation: Pick<SystemMapRegionRelation, 'fromRegionId' | 'toRegionId'>): string;
+
+export { type ConnectedBehaviorLine, type ConnectedBehaviorOptions, type ConnectedBehaviorPacket, type ConnectedBehaviorPath, type ConnectedBehaviorRepresentation, type ConnectedBehaviorStep, type ConnectedBehaviorStepRole, type ConnectedBehaviorTransition, type SystemMapAnchor, type SystemMapAnchorCandidate, type SystemMapAnchorKind, type SystemMapAnchorStatus, type SystemMapBoundaryFrontier, type SystemMapBoundaryParticipant, type SystemMapCoverage, type SystemMapDrilldown, type SystemMapDrilldownAnchor, type SystemMapEvidenceFloor, type SystemMapExpansion, type SystemMapExternalBoundary, type SystemMapFile, type SystemMapLiteralHit, SystemMapNextAnchorPacket, type SystemMapNotableSymbol, type SystemMapOptions, type SystemMapPresentation, type SystemMapQueryClosure, type SystemMapReferenceScope, type SystemMapRegion, type SystemMapRegionRelation, type SystemMapRelation, type SystemMapRelationEvidence, type SystemMapRelationFamilyCoverage, type SystemMapRelationKind, type SystemMapRelationStrength, type SystemMapResult, type SystemMapSourceConstruct, type SystemMapSourceScope, type SystemMapSymbol, systemMap, systemMapRegionRelationKey, systemMapTopology };

package/dist/queries/system-map.js

@@ -0,0 +1,2 @@
+import{a,b,c}from"../chunk-YIEFEPG6.js";import"../chunk-U7LRSQG6.js";import"../chunk-3TNRNKAT.js";import"../chunk-B7ECWJAZ.js";import"../chunk-VETXXOYU.js";import"../chunk-WB6LGCFB.js";import"../chunk-FEQIQ26E.js";import"../chunk-TM5XEDDR.js";import"../chunk-YRVERHJR.js";import"../chunk-7TWP3MCP.js";import"../chunk-BOJ5SVE2.js";import"../chunk-JVZNWJBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-6BJ7SOY7.js";import"../chunk-63MBA7EG.js";import"../chunk-P5XHIJHI.js";import"../chunk-ICUQONOG.js";import"../chunk-ZDVDSDFG.js";import"../chunk-RGCJ4646.js";import"../chunk-ELNRLMC5.js";import"../chunk-LPGDO2XA.js";import"../chunk-MYUKI5VN.js";import"../chunk-HEOMG7IM.js";import"../chunk-35IW3P4H.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-7COHFNJK.js";import"../chunk-MTDBHTSF.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{a as systemMap,c as systemMapRegionRelationKey,b as systemMapTopology};
+//# sourceMappingURL=system-map.js.map

package/dist/queries/system.d.ts

@@ -1,7 +1,7 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import { SymbolResult } from './symbols.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 interface SystemResult {
     files: string[];
@@ -15,5 +15,7 @@ interface SystemResult {
  * source-corrected and match `scip symbols` output.
  */
 declare function system(db: ScipDatabase, modulePattern: string): SystemResult;
+/** One-hop module summary; this does not infer a repository subsystem boundary. */
+declare function moduleMap(db: ScipDatabase, modulePattern: string): SystemResult;
 
-export { type SystemResult, system };
+export { type SystemResult, moduleMap, system };

package/dist/queries/system.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-L7JDSCDF.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 system};
+import{a,b}from"../chunk-73Z33VFI.js";import"../chunk-HUZNZ3H2.js";import"../chunk-LPGDO2XA.js";import"../chunk-7COHFNJK.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{b as moduleMap,a as system};
 //# sourceMappingURL=system.js.map

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

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 /**
  * test-quality (D3): the biggest uncovered surface — test files are not

package/dist/queries/test-quality.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-DQGFVPUV.js";import"../chunk-RUJURYSV.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.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{a as testQuality};
+import{a}from"../chunk-3653GTR7.js";import"../chunk-DEUGHURX.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-HEOMG7IM.js";import"../chunk-35IW3P4H.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-7COHFNJK.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{a as testQuality};
 //# sourceMappingURL=test-quality.js.map

package/dist/queries/trace.d.ts

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 interface TraceResult {
     definitions: Array<{
@@ -17,8 +17,52 @@ interface TraceResult {
         enclosingShort: string;
     }>;
 }
+interface TraceEvidenceResult {
+    definitions: TraceResult['definitions'];
+    referencedBy: Array<TraceResult['referencedBy'][number] & {
+        sourceStartLine: number | null;
+        sourceEndLine: number | null;
+        source: string | null;
+    }>;
+}
+type TraceReferenceProvenance = 'source-attribution' | 'scip-reference-chunk';
+type TraceReferenceSourceKind = 'complete-call-expression' | 'non-call-reference' | 'bounded-context' | 'unavailable';
+interface TraceReferenceEvidence {
+    relativePath: string;
+    line: number;
+    provenance: TraceReferenceProvenance;
+    sourceKind: TraceReferenceSourceKind;
+}
+interface QualifiedTraceEvidenceResult extends TraceEvidenceResult {
+    referenceEvidence: TraceReferenceEvidence[];
+    claimSupport: TraceClaimSupport | null;
+}
+type TraceClaimEligibility = {
+    status: 'eligible';
+    scope: string;
+    limitations: string[];
+} | {
+    status: 'ineligible';
+    scope: string;
+    reason: string;
+    followup: string | null;
+};
+interface TraceClaimSupport {
+    referenceAbsence: TraceClaimEligibility;
+    callsitePredicates: TraceClaimEligibility;
+}
 declare function trace(db: ScipDatabase, symbolPattern: string, opts?: {
     semantic?: boolean;
 }): TraceResult;
+/** Trace a symbol and include bounded source around each reference. */
+declare function traceEvidence(db: ScipDatabase, symbolPattern: string, opts?: {
+    semantic?: boolean;
+    referenceContext?: number;
+}): TraceEvidenceResult;
+/** Trace a symbol with explicit metadata governing which claims its source can support. */
+declare function qualifiedTraceEvidence(db: ScipDatabase, symbolPattern: string, opts?: {
+    semantic?: boolean;
+    referenceContext?: number;
+}): QualifiedTraceEvidenceResult;
 
-export { type TraceResult, trace };
+export { type QualifiedTraceEvidenceResult, type TraceClaimEligibility, type TraceClaimSupport, type TraceEvidenceResult, type TraceReferenceEvidence, type TraceReferenceProvenance, type TraceReferenceSourceKind, type TraceResult, qualifiedTraceEvidence, trace, traceEvidence };

package/dist/queries/trace.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-RVLDN63O.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-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 trace};
+import{a,b,c}from"../chunk-BBEDPVPB.js";import"../chunk-FUG6RPYY.js";import"../chunk-B7ECWJAZ.js";import"../chunk-TM5XEDDR.js";import"../chunk-6BJ7SOY7.js";import"../chunk-63MBA7EG.js";import"../chunk-P5XHIJHI.js";import"../chunk-ZDVDSDFG.js";import"../chunk-RGCJ4646.js";import"../chunk-ELNRLMC5.js";import"../chunk-LPGDO2XA.js";import"../chunk-MYUKI5VN.js";import"../chunk-35IW3P4H.js";import"../chunk-7COHFNJK.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{c as qualifiedTraceEvidence,a as trace,b as traceEvidence};
 //# sourceMappingURL=trace.js.map

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

@@ -1,9 +1,9 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 /**
- * twin-ab (Q4): mechanical support for the scip-audit integrity scenario
+ * twin-ab (Q4): mechanical support for the cleanup integrity scenario
  * ("cross-examine same-concept twins" — feed both the same input and
  * require the same answer). v1 is a scaffold generator, not an executor:
  * generating realistic inputs for arbitrary types is a rabbit hole, so this

package/dist/queries/twin-ab.js

@@ -1,2 +1,2 @@
-import{a,b}from"../chunk-32LVLCLN.js";import"../chunk-6O5TICIZ.js";import"../chunk-N5W4YZMK.js";import"../chunk-ZTETIQ35.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 defaultTwinAbOutPath,b as twinAb};
+import{a,b}from"../chunk-ZHSARYVS.js";import"../chunk-CKDOY6JA.js";import"../chunk-ZYREOING.js";import"../chunk-VETXXOYU.js";import"../chunk-QBANU5BQ.js";import"../chunk-BOJ5SVE2.js";import"../chunk-JVZNWJBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-6BJ7SOY7.js";import"../chunk-63MBA7EG.js";import"../chunk-P5XHIJHI.js";import"../chunk-ICUQONOG.js";import"../chunk-ZDVDSDFG.js";import"../chunk-RGCJ4646.js";import"../chunk-ELNRLMC5.js";import"../chunk-LPGDO2XA.js";import"../chunk-MYUKI5VN.js";import"../chunk-HEOMG7IM.js";import"../chunk-35IW3P4H.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-7COHFNJK.js";import"../chunk-MTDBHTSF.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{a as defaultTwinAbOutPath,b as twinAb};
 //# sourceMappingURL=twin-ab.js.map

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

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 /**
  * Twin-drift: same leaf name (or a near-name variant like escapeRegex vs
@@ -65,7 +65,7 @@ declare function twinDrift(db: ScipDatabase, opts?: {
 /**
  * Every classified twin group (identical, divergent, homonym) — including
  * the 'identical' groups `twinDrift` always defers to duplicate-bodies.
- * Internal consumers like diff-gate's twin-partner check need 'identical'
+ * Internal consumers that classify twin partners need 'identical'
  * groups too (a same-name pair that WAS byte-identical is exactly the kind
  * of pair a one-sided edit should alarm on).
  */

package/dist/queries/twin-drift.js

@@ -1,2 +1,2 @@
-import{a,b,c,d,e}from"../chunk-B2PX5I6M.js";import"../chunk-JVYA47YU.js";import"../chunk-RUJURYSV.js";import"../chunk-26QA6FAI.js";import"../chunk-AQOFWNQJ.js";import"../chunk-DHEQMPLW.js";import"../chunk-B75HZHUP.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.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{b as allTwinGroups,c as groupTwins,d as isThinForwarderBody,e as splitTopLevelStatements,a as twinDrift};
+import{a,b,c,d,e}from"../chunk-R2MOKIVO.js";import"../chunk-PIZY2GX6.js";import"../chunk-DEUGHURX.js";import"../chunk-BOJ5SVE2.js";import"../chunk-BGBBVSH4.js";import"../chunk-P5XHIJHI.js";import"../chunk-HEOMG7IM.js";import"../chunk-35IW3P4H.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-7COHFNJK.js";import"../chunk-MTDBHTSF.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{b as allTwinGroups,c as groupTwins,d as isThinForwarderBody,e as splitTopLevelStatements,a as twinDrift};
 //# sourceMappingURL=twin-drift.js.map

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

@@ -1,4 +1,4 @@
-import '../db-B5PM5yNk.js';
+import '../db-LKJXAlNS.js';
 export { ImportResult, UnusedImportResult, importedBy, imports, unusedImports } from './imports.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';

package/dist/queries/unused-imports.js

@@ -1,2 +1,2 @@
-import{a,b,c}from"../chunk-L7AW2QB5.js";import"../chunk-S7OYBOCK.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-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 importedBy,a as imports,c as unusedImports};
+import{a,b,c}from"../chunk-EKZRF57O.js";import"../chunk-HUZNZ3H2.js";import"../chunk-63MBA7EG.js";import"../chunk-P5XHIJHI.js";import"../chunk-ZDVDSDFG.js";import"../chunk-ELNRLMC5.js";import"../chunk-LPGDO2XA.js";import"../chunk-MYUKI5VN.js";import"../chunk-7COHFNJK.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{b as importedBy,a as imports,c as unusedImports};
 //# sourceMappingURL=unused-imports.js.map

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

@@ -1,6 +1,6 @@
-import { S as ScipDatabase } from '../db-B5PM5yNk.js';
+import { S as ScipDatabase } from '../db-LKJXAlNS.js';
 import 'better-sqlite3';
-import '../config-types-jVM3D7MA.js';
+import '../config-types-Cm-VSEBb.js';
 
 interface UnusedParamsFinding {
     symbol: string;

package/dist/queries/unused-params.js

@@ -1,2 +1,2 @@
-import{a}from"../chunk-FKSELJQF.js";import"../chunk-ZTETIQ35.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 unusedParams};
+import{a}from"../chunk-D5W4UZY5.js";import"../chunk-QBANU5BQ.js";import"../chunk-BOJ5SVE2.js";import"../chunk-JVZNWJBH.js";import"../chunk-BGBBVSH4.js";import"../chunk-6BJ7SOY7.js";import"../chunk-63MBA7EG.js";import"../chunk-P5XHIJHI.js";import"../chunk-ICUQONOG.js";import"../chunk-ZDVDSDFG.js";import"../chunk-RGCJ4646.js";import"../chunk-ELNRLMC5.js";import"../chunk-LPGDO2XA.js";import"../chunk-MYUKI5VN.js";import"../chunk-HEOMG7IM.js";import"../chunk-35IW3P4H.js";import"../chunk-YUKYB54I.js";import"../chunk-DHEQMPLW.js";import"../chunk-7COHFNJK.js";import"../chunk-MTDBHTSF.js";import"../chunk-5IZTXSOL.js";import"../chunk-I3U2FN2T.js";import"../chunk-AA7K3XLM.js";import"../chunk-DMQ7ZKJG.js";import"../chunk-7HU2IJ2T.js";import"../chunk-MO226P4Q.js";export{a as unusedParams};
 //# sourceMappingURL=unused-params.js.map