scip-query 0.24.0 → 0.26.0

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

@@ -1,449 +0,0 @@
-import { S as ScipDatabase } from '../db-BwIVAYNB.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-BociKRpF.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-B9B60MiR.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

@@ -1,2 +0,0 @@
-import{a,b,c}from"../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 systemMap,c as systemMapRegionRelationKey,b as systemMapTopology};
-//# sourceMappingURL=system-map.js.map

package/dist/queries/trace.js

@@ -1,2 +0,0 @@
-import{a,b,c}from"../chunk-ROPJDEJZ.js";import"../chunk-A4WEAK35.js";import"../chunk-WSA52GOR.js";import"../chunk-Y5DFAW5W.js";import"../chunk-BJWFVAA5.js";import"../chunk-YSYPDRD5.js";import"../chunk-P5XHIJHI.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-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{c as qualifiedTraceEvidence,a as trace,b as traceEvidence};
-//# sourceMappingURL=trace.js.map

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

@@ -1,66 +0,0 @@
-import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import 'better-sqlite3';
-import '../config-types-B9B60MiR.js';
-
-/**
- * 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
- * resolves both referents, verifies they are callable and importable, and
- * emits a ready-to-fill vitest file — the agent fills the input table and
- * runs it.
- */
-interface TwinAbSymbol {
-    ref: string;
-    symbol: string;
-    shortName: string;
-    file: string;
-    startLine: number;
-    /** Cleaned SCIP signature text (e.g. `(value: string): string`); null when the index has none. */
-    signature: string | null;
-    /** Top-level parameter count parsed from `signature`; null when unparseable. */
-    paramCount: number | null;
-}
-interface TwinAbSuccess {
-    ok: true;
-    a: TwinAbSymbol;
-    b: TwinAbSymbol;
-    /** Null when either side's param count is unknown — compatibility cannot be judged. */
-    signatureCompatible: boolean | null;
-    testSource: string;
-}
-interface TwinAbRefusal {
-    ok: false;
-    reason: string;
-}
-type TwinAbOutcome = TwinAbSuccess | TwinAbRefusal;
-interface TwinAbOptions {
-    refA: string;
-    refB: string;
-    /** Absolute path used to derive import specifiers in the generated test. */
-    outFile: string;
-}
-/**
- * Project-root-relative default `--out` path when the caller doesn't pass
- * one — a deterministic, ref-derived path under a dedicated generated-
- * artifacts directory, mirroring `tla scaffold`'s convention of a fixed
- * project-relative directory (`specs/<moduleName>`) rather than an OS tmp
- * dir. Derived from the raw ref strings (not the resolved symbols) so the
- * caller can compute it before resolution — `twinAb` needs the output path
- * up front to compute import specifiers.
- */
-declare function defaultTwinAbOutPath(refA: string, refB: string): string;
-/**
- * `outFile` is the absolute path the caller intends to write the generated
- * vitest file to — needed up front so the generated `import` specifiers are
- * correct relative paths, not just the twin's own file paths.
- */
-declare function twinAb(db: ScipDatabase, options: TwinAbOptions): TwinAbOutcome;
-/**
- * @deprecated Use `twinAb(db, { refA, refB, outFile })` so symbol references
- * cannot be transposed with the output path.
- */
-declare function twinAb(db: ScipDatabase, refA: string, refB: string, outFile: string): TwinAbOutcome;
-
-export { type TwinAbOptions, type TwinAbOutcome, type TwinAbRefusal, type TwinAbSuccess, type TwinAbSymbol, defaultTwinAbOutPath, twinAb };

package/dist/queries/twin-ab.js

@@ -1,2 +0,0 @@
-import{a,b}from"../chunk-IKQVBVQL.js";import"../chunk-NODFZ6ED.js";import"../chunk-CFE6PSG6.js";import"../chunk-2GJSD5GY.js";import"../chunk-VBV6ALJE.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 defaultTwinAbOutPath,b as twinAb};
-//# sourceMappingURL=twin-ab.js.map

package/dist/queries/value-flow.d.ts

@@ -1,43 +0,0 @@
-import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import { G as GraphEvidenceCoverage, b as GraphEvidenceTarget, a as GraphEvidenceEdge } from '../graph-evidence-Bjyky2V4.js';
-import 'better-sqlite3';
-import '../config-types-B9B60MiR.js';
-import '../graph-exploration-contract-CqDsnPQL.js';
-import '../exploration-topology-BG4v30HZ.js';
-
-/** Coverage of the conservative value-flow relationships actually proved. */
-interface ValueFlowCoverage {
-    status: GraphEvidenceCoverage['status'];
-    basis: 'proved-bounded-static-value-flow';
-    analysisBasis: 'partial-system-definition-use';
-    providers: readonly ['bounded-static-value-flow', 'typescript-local-dependence'];
-    supportedRelations: string[];
-    unsupportedRelations: string[];
-    graph: GraphEvidenceCoverage;
-}
-interface ValueFlowResult {
-    kind: 'value-flow';
-    targets: GraphEvidenceTarget[];
-    edges: GraphEvidenceEdge[];
-    coverage: ValueFlowCoverage;
-}
-/**
- * Project proved value transfers around exact symbol or source-location roots.
- *
- * This is intentionally narrower than a whole-program dataflow claim. The
- * providers prove TypeScript local reaching definitions and right-hand-side
- * assignment flow, compiler-resolved argument-to-parameter forwarding,
- * bounded static argument values, and a callee-return-to-call-result transfer
- * when the call result is consumed. Unsupported heap, exception, and dynamic
- * flow remains in graph coverage rather than being relabeled as proved flow.
- */
-declare function valueFlow(db: ScipDatabase, selectors: {
-    symbols?: readonly string[];
-    locations?: readonly string[];
-    searches?: readonly string[];
-}, options?: {
-    maxDepth?: number;
-    maxEdges?: number;
-}): ValueFlowResult;
-
-export { type ValueFlowCoverage, type ValueFlowResult, valueFlow };

package/dist/queries/value-flow.js

@@ -1,2 +0,0 @@
-import{a}from"../chunk-EP63Y6LD.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 valueFlow};
-//# sourceMappingURL=value-flow.js.map

package/dist/queries/wrapper-candidates.d.ts

@@ -1,49 +0,0 @@
-import { S as ScipDatabase } from '../db-BwIVAYNB.js';
-import 'better-sqlite3';
-import '../config-types-B9B60MiR.js';
-
-type WrapperActionTier = 'direct' | 'signal';
-/**
- * `forwarding`: the body is exactly one call (optionally returned or awaited)
- * whose arguments are plain values — the shape the wrapper claim describes.
- * `helper`: the body prepares something first, passes a callback, a nested
- * call, or a literal it builds, or branches; it merely has one consumer.
- */
-type WrapperBodyShape = 'forwarding' | 'helper';
-interface WrapperCandidate {
-    symbol: string;
-    shortName: string;
-    file: string;
-    startLine: number;
-    endLine: number;
-    loc: number;
-    singleCaller: string;
-    singleCallerShort: string;
-    callerFanIn: number;
-    actionTier: WrapperActionTier;
-    bodyShape: WrapperBodyShape;
-    boundaryEvidence: string[];
-}
-/**
- * Find wrapper candidates: symbols called by only one other symbol.
- *
- * These are premature abstractions that add indirection without
- * providing reuse. A function with fan-in = 1 whose sole caller
- * is widely used is a strong signal of unnecessary wrapping.
- */
-declare function wrapperCandidates(db: ScipDatabase, opts?: {
-    scope?: string;
-    maxLoc?: number;
-    limit?: number;
-    scanLimit?: number;
-    semantic?: boolean;
-}): WrapperCandidate[];
-/**
- * A file of wrappers that all forward through one receiver (`copy.ts`
- * building notification copy from one catalog object) is a facade over that
- * collaborator: inlining any one of them would breach the surface the file
- * keeps, so the family is a boundary signal rather than inline advice.
- */
-declare function applyWrapperFacadeEvidence(candidates: readonly WrapperCandidate[], receivers: ReadonlyMap<string, string>): WrapperCandidate[];
-
-export { type WrapperActionTier, type WrapperBodyShape, type WrapperCandidate, applyWrapperFacadeEvidence, wrapperCandidates };

package/dist/queries/wrapper-candidates.js

@@ -1,2 +0,0 @@
-import{a,b}from"../chunk-T6HRIROJ.js";import"../chunk-CFE6PSG6.js";import"../chunk-GTZZVLKJ.js";import"../chunk-GG45PK4S.js";import"../chunk-OIOC5EHF.js";import"../chunk-FJF6VO2P.js";import"../chunk-XKXTR6ZI.js";import"../chunk-VBV6ALJE.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 applyWrapperFacadeEvidence,a as wrapperCandidates};
-//# sourceMappingURL=wrapper-candidates.js.map

package/dist/refs-JNK5CLM7.js

@@ -1,2 +0,0 @@
-import{a}from"./chunk-T6DWDI5E.js";import"./chunk-WDSFQDPN.js";import"./chunk-ANLNLY66.js";import"./chunk-JCSAZ35V.js";import"./chunk-FI7VGOR4.js";import"./chunk-WRQXLNYE.js";import"./chunk-L7KTFEAV.js";import"./chunk-2USA3S3P.js";import"./chunk-BJT7LSPK.js";import"./chunk-5BIKR67W.js";import"./chunk-CZW5MZ5B.js";import"./chunk-F4FNK44D.js";import"./chunk-ODPDP7A4.js";import"./chunk-MOKUWRHO.js";import"./chunk-FVFDOIM3.js";import"./chunk-2VAHDDLM.js";import"./chunk-YXPUP5G2.js";import"./chunk-BL6DCHQP.js";import"./chunk-EHYDXE3Z.js";import"./chunk-2OOY75BW.js";import"./chunk-U6KCHXJ4.js";import"./chunk-T3I6NHBH.js";import"./chunk-ATXPTSEI.js";import"./chunk-CKBUBRYD.js";import"./chunk-IW5XQG5G.js";import"./chunk-T3CZAZSI.js";import"./chunk-B3PYOSCX.js";import"./chunk-H5EXS3HM.js";import"./chunk-HGFDYOVB.js";import"./chunk-JFMEXGFE.js";import"./chunk-7HXT6YLU.js";import"./chunk-7F45LJKI.js";export{a as refs};
-//# sourceMappingURL=refs-JNK5CLM7.js.map

package/dist/refs-pagination-6BLRYGMV.js

@@ -1,2 +0,0 @@
-import{a as y}from"./chunk-T6DWDI5E.js";import"./chunk-WDSFQDPN.js";import"./chunk-ANLNLY66.js";import"./chunk-JCSAZ35V.js";import{k as v,l as S,n as w}from"./chunk-FI7VGOR4.js";import"./chunk-WRQXLNYE.js";import"./chunk-L7KTFEAV.js";import{a as u}from"./chunk-2USA3S3P.js";import{c as d}from"./chunk-BJT7LSPK.js";import"./chunk-5BIKR67W.js";import"./chunk-CZW5MZ5B.js";import"./chunk-F4FNK44D.js";import"./chunk-ODPDP7A4.js";import"./chunk-MOKUWRHO.js";import"./chunk-FVFDOIM3.js";import"./chunk-2VAHDDLM.js";import"./chunk-YXPUP5G2.js";import{g}from"./chunk-BL6DCHQP.js";import"./chunk-EHYDXE3Z.js";import"./chunk-2OOY75BW.js";import"./chunk-U6KCHXJ4.js";import"./chunk-T3I6NHBH.js";import"./chunk-ATXPTSEI.js";import"./chunk-CKBUBRYD.js";import"./chunk-IW5XQG5G.js";import"./chunk-T3CZAZSI.js";import"./chunk-B3PYOSCX.js";import"./chunk-H5EXS3HM.js";import"./chunk-HGFDYOVB.js";import"./chunk-JFMEXGFE.js";import"./chunk-7HXT6YLU.js";import"./chunk-7F45LJKI.js";function j(t,r,e){if(!Number.isSafeInteger(e.limit)||e.limit<=0)throw new Error("Reference page limit must be a positive safe integer.");let n=u(t,r);if(!n)return{rows:[],hasMore:!1,producer:e.producer??"source-keyset",semanticEnrichment:!1};if(e.producer==="complete-only"||e.semantic===!0||n.relativePath.endsWith(".rb"))return m(t,r,e);let a=v(t,n);if(!a)return m(t,r,e);let i=F(t,n),c=x(t,i),f=[],R=e.producer==="source-keyset";for(let l of c){if(e.after&&l<e.after.relativePath)continue;e.instrumentation?.fileScanned?.(l);let h=S(t,a,l);h.length>0&&(R=!0);let P=new Set(h);i?.relativePath===l&&P.add(i.line);for(let k of[...P].sort((s,M)=>s-M)){let s={relativePath:l,line:k};if(!(e.after&&p(s,e.after)<=0)&&(f.push(s),e.instrumentation?.rowAccepted?.(s),R&&f.length>e.limit))return b(f,e.limit)}}return R?b(f,e.limit):m(t,r,e,i)}function p(t,r){return(t.relativePath<r.relativePath?-1:t.relativePath>r.relativePath?1:0)||t.line-r.line}function b(t,r){return{rows:t.slice(0,r),hasMore:t.length>r,producer:"source-keyset",semanticEnrichment:!1}}function m(t,r,e,n){let o=u(t,r),a=e.semantic===!0||o?.relativePath.endsWith(".rb")?y(t,r,{semantic:e.semantic}):D(t,r,n),i=E(a).filter(c=>!e.after||p(c,e.after)>0);for(let c of i.slice(0,e.limit+1))e.instrumentation?.rowAccepted?.(c);return{rows:i.slice(0,e.limit),hasMore:i.length>e.limit,producer:"complete-only",semanticEnrichment:e.semantic===!0}}function D(t,r,e){let n=u(t,r);if(!n)return[];let o=e===void 0?F(t,n):e,a=w(t,n).map(i=>({relativePath:i.file,line:i.line}));return o?[o,...a]:a}function F(t,r){return!g(r.symbol)&&!t.isIgnored(r.relativePath)?{relativePath:r.relativePath,line:r.startLine}:null}function x(t,r){let e=d(t);return!r||e.includes(r.relativePath)?e:[...e,r.relativePath].sort((n,o)=>n<o?-1:n>o?1:0)}function E(t){let r=new Map;for(let e of t)r.set(`${e.relativePath}\0${e.line}`,e);return[...r.values()].sort(p)}export{p as compareReferenceKey,j as referencePage};
-//# sourceMappingURL=refs-pagination-6BLRYGMV.js.map

package/dist/slice-PHPVNCWX.js

@@ -1,2 +0,0 @@
-import{a,b}from"./chunk-AN76MGUE.js";import"./chunk-JFMI5SGB.js";import"./chunk-BGBBVSH4.js";import"./chunk-AADQLOQ4.js";import"./chunk-MTDBHTSF.js";import"./chunk-WDSFQDPN.js";import"./chunk-ANLNLY66.js";import"./chunk-JCSAZ35V.js";import"./chunk-NJGKXKQF.js";import"./chunk-FI7VGOR4.js";import"./chunk-WRQXLNYE.js";import"./chunk-L7KTFEAV.js";import"./chunk-2USA3S3P.js";import"./chunk-YUKYB54I.js";import"./chunk-BJT7LSPK.js";import"./chunk-5BIKR67W.js";import"./chunk-CZW5MZ5B.js";import"./chunk-F4FNK44D.js";import"./chunk-ODPDP7A4.js";import"./chunk-MOKUWRHO.js";import"./chunk-FVFDOIM3.js";import"./chunk-2VAHDDLM.js";import"./chunk-YXPUP5G2.js";import"./chunk-BL6DCHQP.js";import"./chunk-EHYDXE3Z.js";import"./chunk-2OOY75BW.js";import"./chunk-DHEQMPLW.js";import"./chunk-U6KCHXJ4.js";import"./chunk-T3I6NHBH.js";import"./chunk-ATXPTSEI.js";import"./chunk-CKBUBRYD.js";import"./chunk-IW5XQG5G.js";import"./chunk-T3CZAZSI.js";import"./chunk-B3PYOSCX.js";import"./chunk-H5EXS3HM.js";import"./chunk-HGFDYOVB.js";import"./chunk-JFMEXGFE.js";import"./chunk-7HXT6YLU.js";import"./chunk-7F45LJKI.js";export{a as referenceReachability,b as slice};
-//# sourceMappingURL=slice-PHPVNCWX.js.map