import { type LiveFailureClass } from './semantic-tuple.js';
import type { AgentSafeBenchmarkCase, SemanticTuple } from './types.js';
export interface TelemetryStep {
    tool: 'query' | 'context' | 'cypher';
    input: Record<string, unknown>;
    output: unknown;
    durationMs: number;
    totalTokensEst: number;
    timestamp: string;
}
export interface SubagentFinalResult {
    resource_anchor?: string;
    symbol_anchor?: string;
    proof_edge?: unknown;
    proof_edges?: unknown;
    closure_status?: SemanticTuple['closure_status'];
    summary?: string;
}
export interface SubagentLiveResult {
    prompt: string;
    prompt_path: string;
    result_path: string;
    telemetry_path: string;
    final_result: SubagentFinalResult;
    steps: TelemetryStep[];
    semantic_tuple: SemanticTuple;
    normalized_tuple_pass: boolean;
    evidence_validation_pass: boolean;
    failure_class?: LiveFailureClass;
    semantic_tuple_pass: boolean;
    tool_calls_to_completion: number;
    tokens_to_completion: number;
    stop_reason: 'semantic_tuple_satisfied' | 'agent_result_incomplete';
}
export declare function buildSubagentPrompt(benchmarkCase: AgentSafeBenchmarkCase, options: {
    repo: string;
    runDir: string;
    resultPath: string;
}): string;
export declare function prepareSubagentCaseRun(runDir: string, benchmarkCase: AgentSafeBenchmarkCase, options: {
    repo: string;
}): Promise<{
    promptPath: string;
    resultPath: string;
    prompt: string;
}>;
export declare function loadSubagentLiveCaseResult(runDir: string, benchmarkCase: AgentSafeBenchmarkCase): Promise<SubagentLiveResult>;