import type { ActionPlan, ActionStep, AgentConfig, PlanExecution, PlanVerification, StepVerification } from './types.js';
export declare class RuntimeVerifier {
    private config;
    private cachedIndex;
    constructor(config: AgentConfig);
    /**
     * Verify an entire action plan before execution.
     * Returns a PlanVerification with per-step results and an aggregate verdict.
     */
    verifyPlan(plan: ActionPlan): Promise<PlanVerification>;
    /**
     * Verify a single action step.
     * Routes to the appropriate verification strategy based on operation type.
     */
    verifyStep(step: ActionStep): Promise<StepVerification>;
    /**
     * Post-execution verification: compare actual outcomes to planned postConditions.
     * Returns a PlanVerification reflecting what actually happened.
     */
    verifyPostExecution(plan: ActionPlan, execution: PlanExecution): Promise<PlanVerification>;
    /**
     * Verify a code_write step by running the code through Assay's
     * claim extraction + verification pipeline.
     */
    private verifyCodeWrite;
    /**
     * Verify a code_run step by checking the command and cwd against scope.
     */
    private verifyCodeRun;
    /**
     * Verify an api_call step by checking the URL against scope.
     */
    private verifyApiCall;
    /**
     * Verify a git step — always pass. Git operations are safe and reversible.
     */
    private verifyGit;
    /**
     * Verify a message step — always pass. Messages are informational.
     */
    private verifyMessage;
    private getCodebaseIndex;
    /** Invalidate the cached codebase index (call after code changes). */
    invalidateIndex(): void;
    private makeStepVerification;
}