@octocodeai/octocode-tools-core 17.0.2 → 18.0.1

package/dist/oql/capabilities.d.ts

@@ -1,31 +0,0 @@
-/**
- * OQL capability registry — makes backend limits explicit and testable.
- *
- * Given the source kind, target, materialization stance, and a single leaf
- * predicate, decide how that predicate can be evaluated:
- *   PUSHDOWN   backend evaluates it directly (exact or approximate)
- *   RESIDUAL   fetch bounded candidates and filter locally
- *   ROUTE      move to another lane (materialize -> local)
- *   UNSUPPORTED cannot be evaluated; emit a diagnostic
- *
- * This is intentionally conservative: anything that cannot be proven exactly is
- * flagged so the planner never reports `proof` it cannot back.
- */
-import type { DiagnosticCode, LeafPredicate, MaterializePolicy, OqlActiveTarget, PlanRoute, QuerySource } from './types.js';
-export interface CapabilityContext {
-    sourceKind: QuerySource['kind'];
-    target: OqlActiveTarget;
-    materialize: MaterializePolicy | undefined;
-}
-export interface CapabilityDecision {
-    route: PlanRoute;
-    backend: string;
-    /** Whether the backend evaluates the predicate exactly (proof-grade). */
-    exact: boolean;
-    reason: string;
-    diagnostic?: {
-        code: DiagnosticCode;
-        message: string;
-    };
-}
-export declare function routeLeafPredicate(ctx: CapabilityContext, predicate: LeafPredicate, inNegation?: boolean): CapabilityDecision;

package/dist/oql/defaults.d.ts

@@ -1,26 +0,0 @@
-/**
- * OQL defaults (see OCTOCODE_QUERY_LANGUAGE.md §defaults). `--explain` must
- * surface every applied default, so they live in one place.
- */
-import type { OqlQuery } from './types.js';
-export declare const DEFAULTS: {
-    schema: "oql";
-    view: "paginated";
-    page: number;
-    itemsPerPage: number;
-    githubMaterializeMode: "never";
-    textCase: "smart";
-    regexDialectLocal: "rust";
-    regexCase: "smart";
-    contentView: "standard";
-    contentCharLength: number;
-    matchContentLength: number;
-    maxPlanNodes: number;
-    maxBooleanExpansion: number;
-    normalCodeContext: number;
-    detailedCodeContext: number;
-    localSearchSort: "relevance";
-    localRankingProfile: "auto";
-};
-/** The subset of defaults actually applied to (or relevant for) this query. */
-export declare function appliedDefaults(query: OqlQuery): Record<string, unknown>;

package/dist/oql/diagnostics.d.ts

@@ -1,25 +0,0 @@
-/**
- * OQL diagnostic helpers. Diagnostics are first-class typed output, not prose
- * hints. `blocksAnswer:true` marks diagnostics that prevent `proof`.
- */
-import type { DiagnosticCode, OqlContinuation, OqlDiagnostic, OqlSearchInput } from './types.js';
-export interface DiagnosticOptions {
-    queryPath?: string;
-    predicateId?: string;
-    backend?: string;
-    blocksAnswer?: boolean;
-    severity?: OqlDiagnostic['severity'];
-    repair?: {
-        message: string;
-        suggestedQuery?: OqlSearchInput;
-    };
-    continuation?: OqlContinuation;
-}
-export declare function diagnostic(code: DiagnosticCode, message: string, options?: DiagnosticOptions): OqlDiagnostic;
-export declare function blocksAnswer(diagnostics: OqlDiagnostic[]): boolean;
-export declare function hasErrors(diagnostics: OqlDiagnostic[]): boolean;
-/** Error raised when validation/normalization cannot produce a canonical query. */
-export declare class OqlValidationError extends Error {
-    readonly diagnostics: OqlDiagnostic[];
-    constructor(diagnostics: OqlDiagnostic[]);
-}

package/dist/oql/diffLanes.d.ts

@@ -1,29 +0,0 @@
-/**
- * Single source of truth for the `target:"diff"` lane discriminant.
- *
- * `target:"diff"` has two typed execution lanes plus an invalid shape:
- *   - prPatch:    { prNumber, files? }        -> ghHistoryResearch (PR patches)
- *   - directFile: { baseRef, headRef, path }  -> 2× ghGetFileContent + line diff
- *   - neither:    repair diagnostic, no call
- *
- * Both the planner (to announce the right backend in `--explain --dry-run`) and
- * the diff adapter (to dispatch execution) classify a query off this one
- * helper, so the plan can never contradict execution. Pure: no imports beyond
- * its own return types.
- */
-export type DiffLane = {
-    kind: 'prPatch';
-    prNumber: number;
-    files?: string[];
-} | {
-    kind: 'directFile';
-    baseRef: string;
-    headRef: string;
-    path: string;
-} | {
-    kind: 'neither';
-};
-/** Unified lane discriminant for target:"diff". Single source of truth. */
-export declare function classifyDiffLane(params: Record<string, unknown> | undefined): DiffLane;
-/** Backend name the planner should announce for a lane (`''` = no call). */
-export declare function diffLaneBackend(lane: DiffLane): string;

package/dist/oql/envelope.d.ts

@@ -1,21 +0,0 @@
-import type { OqlBackendCall, OqlDiagnostic, OqlExplainPlan, OqlProofGradedResultRow, OqlProvenance, OqlResultEnvelope, Pagination } from './types.js';
-export interface BuildEnvelopeArgs {
-    queryId?: string;
-    queryIndex?: number;
-    results: OqlProofGradedResultRow[];
-    shared?: OqlResultEnvelope['shared'];
-    pagination?: Pagination;
-    next?: OqlResultEnvelope['next'];
-    nextHints?: OqlResultEnvelope['nextHints'];
-    diagnostics: OqlDiagnostic[];
-    provenance: OqlProvenance[];
-    /** Whether the plan was executable (no UNSUPPORTED nodes / blocking errors). */
-    executable: boolean;
-    /** Whether any backend call was approximate (exact:false). */
-    approximate?: boolean;
-    plan?: OqlExplainPlan;
-}
-export declare function buildEnvelope(args: BuildEnvelopeArgs): OqlResultEnvelope;
-export declare function backendsApproximate(calls: OqlBackendCall[]): boolean;
-/** Envelope for a query that failed validation/planning (no execution). */
-export declare function unsupportedEnvelope(diagnostics: OqlDiagnostic[], plan?: OqlExplainPlan, queryId?: string, queryIndex?: number, next?: OqlResultEnvelope['next']): OqlResultEnvelope;

package/dist/oql/features.d.ts

@@ -1,7 +0,0 @@
-import type { OqlDiagnostic, OqlQuery } from './types.js';
-/**
- * Diagnose requested-but-unbackable output features. Pure; emits zero or more
- * non-blocking diagnostics. Called by the planner so the limitation rides in the
- * plan and the envelope alike.
- */
-export declare function checkOutputFeatures(query: OqlQuery): OqlDiagnostic[];

package/dist/oql/index.d.ts

@@ -1,27 +0,0 @@
-/**
- * Octocode Query Language (OQL) public surface.
- *
- * `octocode search` (CLI) and the OQL MCP tool both consume this module:
- *   - `runOqlSearch` executes a query/batch and returns a typed envelope.
- *   - `normalizeInput` / `planQuery` expose the normalize + explain stages.
- *   - `oqlSchemaText()` / `OQL_SCHEMA_JSON` back `octocode search --scheme`.
- *
- * Schemas/types co-locate here for now (tools-core). They may migrate to
- * `@octocodeai/octocode-core/oql` once a second consumer needs OQL validation
- * without the rest of tools-core.
- */
-export * from './types.js';
-export { OqlQuerySchema, OqlBatchSchema, OqlCanonicalInputSchema, OqlInputQuerySchema, OqlInputBatchSchema, OqlSearchInputSchema, PredicateSchema, QuerySourceSchema, StructuralRuleSchema, } from './schema.js';
-export { normalizeInput, normalizeQuery } from './normalize.js';
-export { planQuery, type PlanQueryResult } from './planner.js';
-export { DEFAULTS, appliedDefaults } from './defaults.js';
-export { diagnostic, blocksAnswer, hasErrors, OqlValidationError, } from './diagnostics.js';
-export { buildEnvelope, unsupportedEnvelope, backendsApproximate, } from './envelope.js';
-export { runOqlSearch, type RunOptions } from './run.js';
-export { buildShorthandInput, type SearchShorthand, type ShorthandCorpus, type ShorthandResult, } from './shorthand.js';
-export { listTransformerEntries, findTransformerById, findTransformerEntry, backendCallsForTransformer, } from './transformers/registry.js';
-export type { TransformerRegistryEntry, TransformerStatus, } from './transformers/contract.js';
-export { oqlSchemaText, oqlCompactSchemeText, oqlCompactSchemeJson, OQL_SCHEMA_DOC, } from './schemeText.js';
-export { sanitizeStructuredContent } from '../responses.js';
-export { analyzeResearchFlow, type AnalyzeResearchOptions, type ResearchAnalysisResult, type ResearchDependencyIssue, type ResearchFileIssue, type ResearchFlowStep, type ResearchIntent, type ResearchManifestSummary, type ResearchMode, type ResearchSymbolRow, type ResearchSymbolVerdict, } from './research/analyze.js';
-export { buildResearchPackets, type EvidenceClaim, type EvidenceConfidence, type EvidenceEdge, type EvidenceFact, type EvidenceFlag, type EvidenceLocation, type EvidenceRelation, type EvidenceSource, type EvidenceSubject, type MissingProof, type MissingProofKind, type PacketProofStatus, type PacketVerdict, type ResearchEvidencePacket, type ResearchGraphSummary, type ResearchPacketBundle, } from './research/packets.js';