@octocodeai/octocode-tools-core 16.6.2 → 16.6.3

package/dist/oql/adapters/graphProof.d.ts

@@ -0,0 +1,6 @@
+import type { ResearchEvidencePacket } from '../research/packets.js';
+import type { OqlDiagnostic, OqlQuery } from '../types.js';
+import { type GraphFilters } from './graphView.js';
+export declare function shouldRunLspProof(mode: 'plan' | 'analyze' | 'prove', p: Record<string, unknown>): boolean;
+export declare function graphProofLimit(query: OqlQuery, p: Record<string, unknown>): number;
+export declare function escalateGraphPacketsWithLsp(root: string, query: OqlQuery, packets: ResearchEvidencePacket[], filters: GraphFilters, limit: number): Promise<OqlDiagnostic[]>;

package/dist/oql/adapters/graphView.d.ts

@@ -0,0 +1,28 @@
+import type { analyzeResearchFlow } from '../research/analyze.js';
+import type { ResearchEvidencePacket, ResearchGraphSummary } from '../research/packets.js';
+import type { OqlGraphData, OqlQuery, Pagination } from '../types.js';
+export declare function packetPage(query: OqlQuery, totalItems: number): {
+    packetsStart: number;
+    packetsEnd: number;
+    pagination: Pagination;
+};
+type GraphDirection = 'incoming' | 'outgoing' | 'both';
+export interface GraphFilters {
+    subject?: string;
+    subjectKind?: string;
+    relations?: ReadonlySet<string>;
+    verdicts?: ReadonlySet<string>;
+    direction: GraphDirection;
+    includePackets: boolean;
+    includeFacts: boolean;
+    includeEdges: boolean;
+}
+export declare function graphFilters(p: Record<string, unknown>): GraphFilters;
+export declare function packetMatchesGraphFilters(packet: ResearchEvidencePacket, filters: GraphFilters): boolean;
+export declare function buildGraphView(query: OqlQuery, packets: ResearchEvidencePacket[], graphSummary: ResearchGraphSummary, filters: GraphFilters, nativeGraphFacts: Awaited<ReturnType<typeof analyzeResearchFlow>>['graphFacts'], root: string): {
+    data: OqlGraphData;
+    pagination: Pagination;
+};
+export declare function nativeGraphSummary(facts: Awaited<ReturnType<typeof analyzeResearchFlow>>['graphFacts']): Record<string, number>;
+export declare function summarizePacketGraph(packets: readonly ResearchEvidencePacket[]): ResearchGraphSummary;
+export {};

package/dist/oql/adapters/resultMap.d.ts

@@ -9,6 +9,13 @@ export interface MappedResult {
     pagination?: Pagination;
 }
 export declare function mapCodeResult(result: LocalSearchCodeToolResult, source: QuerySource): MappedResult;
+/**
+ * Mark file-unit code pagination: `page`/`itemsPerPage` count matched FILES
+ * while OQL code rows are individual matches. `filesUnit` forces the marker
+ * for providers (GitHub code search) whose totalItemsKind carries exactness
+ * (`lowerBound`/`reported`) instead of the local `'files'` unit tag.
+ */
+export declare function enrichCodePagination(pagination: Pagination | undefined, rowCount: number, filesUnit?: boolean): Pagination | undefined;
 export declare function mapFilesResult(result: LocalFindFilesToolResult, source: QuerySource): MappedResult;
 export declare function mapStructureResult(result: LocalViewStructureToolResult, source: QuerySource): MappedResult;
 export declare function mapContentResult(result: LocalGetFileContentToolResult, source: QuerySource, path: string, 

package/dist/oql/adapters/runner.d.ts

@@ -12,3 +12,10 @@
 import type { CallToolResult } from '@modelcontextprotocol/sdk/types.js';
 /** Run one backing tool with a single query, via the shared direct-tool path. */
 export declare function runDirect(name: string, query: Record<string, unknown>): Promise<CallToolResult>;
+/** Pull the single query's `{data,status}` out of a bulk-shaped tool result. */
+export declare function firstQueryData<T = Record<string, unknown>>(result: CallToolResult): {
+    data?: T;
+    status?: string;
+};
+export declare function numberFrom(value: unknown): number | undefined;
+export declare function stringFrom(value: unknown): string | undefined;