import { Static, Type } from "typebox"; //#region src/schemas/relaunchHandoff.d.ts /** * The relaunch handoff between a DoomPi runtime and its process supervisor. * * A launcher-class session cannot recompose its extension closure in place, so * a relaunch-class transition normally stays pending until a human reruns the * launcher with the new selection. A supervisor that owns the agent process * (doompi-server) opts into performing that relaunch itself: it points this * environment variable at a file path, the runtime writes the target selection * there and exits, and the supervisor respawns the agent with the recorded * major mode under the same session id. */ export declare const DOOM_RELAUNCH_FILE_ENV = "DOOMPI_RELAUNCH_FILE"; export declare const RelaunchHandoffSchema: Type.TObject<{ version: Type.TLiteral<1>; majorMode: Type.TString; operationId: Type.TString; }>; export type RelaunchHandoff = Static; export declare function serializeRelaunchHandoff(handoff: RelaunchHandoff): string; /** The handoff a supervisor read back, or undefined for anything malformed. */ export declare function parseRelaunchHandoff(text: string): RelaunchHandoff | undefined; //#endregion //# sourceMappingURL=relaunchHandoff.d.cts.map