import type { AgentMessage } from "@earendil-works/pi-agent-core";
import type { ExtensionContext } from "@earendil-works/pi-coding-agent";
import type { AdapterState } from "../activation/state.ts";
/** Resolve checkpoint provenance from Pi's effective summary, never a Notes marker. */
export declare function captureNativeCompactionContext(messages: readonly AgentMessage[], ctx: ExtensionContext, state: AdapterState): void;