import type { GitCheckpoint, GitRunner, GitRunnerFactory, NavigationPort, NavigationResult, NavigationState, TurnCheckpoint } from "./types.js";
import { type CheckpointApplyResult } from "./checkpoints.js";
type ApplyCheckpoint = (checkpoint: GitCheckpoint, sourceHash: string, targetHash: string) => Promise<CheckpointApplyResult>;
export declare class SessionNavigation {
    private readonly port;
    private checkpoints;
    private currentIndex;
    private navigateTree;
    private expectedTreeNavigation;
    private readonly gitForRepository;
    private navigationTail;
    private readonly stateChanged;
    private readonly applyGit;
    constructor(port: Omit<NavigationPort, "navigateTree"> & {
        navigateTree?: NavigationPort["navigateTree"];
    }, git: GitRunner, gitFactory?: GitRunnerFactory, stateChanged?: (state: NavigationState) => Promise<void>, applyGit?: ApplyCheckpoint);
    /** Teardown-only: runs outside the navigation chain. Callers guarantee no
     *  concurrent undo/redo/turn finalization touches this instance yet
     *  (initializeNavigation owns the object until it publishes it). */
    restoreState(state: NavigationState): void;
    snapshot(): NavigationState;
    private persistState;
    setNavigateTree(navigateTree: NavigationPort["navigateTree"]): void;
    private serializeNavigation;
    private navigateTo;
    handleSessionTreeNavigation(oldLeafId: string | null, newLeafId: string | null): Promise<void>;
    invalidateRedo(): Promise<void>;
    private performInvalidateRedo;
    private convertEarlierFileCheckpoints;
    private releaseFileCheckpoints;
    recordTurnEnd(checkpoint: TurnCheckpoint): Promise<void>;
    private performRecordTurnEnd;
    /** Teardown-only: runs outside the navigation chain (suspend/resume path). */
    suspend(): Promise<void>;
    private navigateSession;
    private sessionOnlyResult;
    private applyFileCheckpoint;
    undo(): Promise<NavigationResult>;
    private performUndo;
    redo(): Promise<NavigationResult>;
    private performRedo;
}
export {};