/**
 * Deterministically synthesize from the evidence currently accepted by the
 * audit ledger. This recovery command does not invent completion, strand work,
 * or mutate execution state; uncovered tasks remain visible as uncovered.
 */
export declare function cmdForceSynthesis(argv: string[]): Promise<void>;
//# sourceMappingURL=forceSynthesisCommand.d.ts.map