import { type InstallEnv, type SignedProvenConfig } from './proven-config.js'; export declare const PROVEN_CONFIG_STAMP = ".proven-config-version"; /** The signed champion manifest shipped in the package (metadata; the RVFA payload rides alongside). */ export declare const PROVEN_CONFIG_FILE = "proven-config.signed.json"; /** The RVFA-packaged champion (ADR-177 final phase). Preferred when present. */ export declare const PROVEN_CONFIG_RVFA_FILE = "proven-config.signed.rvf"; /** Where an adopted champion is recorded in the project (consumed by the feedback applier, ADR-176 phase 9). */ export declare const ADOPTED_CONFIG_FILE = "proven-config.json"; /** * Read a shipped champion from either packaging. `.rvf` → unpack the RVFA * envelope (integrity-checked); anything else → parse as signed JSON. Returns * null (never throws) on any failure. The Ed25519 signature is still verified * downstream by adoptSignedConfig — this only decodes the transport. */ export declare function loadShippedChampion(srcPath: string): SignedProvenConfig | null; /** Build the local environment the champion's constraints are checked against. */ export declare function currentInstallEnv(cwd?: string): InstallEnv; export interface AdoptResult { adopted: boolean; from?: string; to?: string; reason?: string; skipped?: string; } /** * The testable adoption core: given a signed champion and the local env, adopt * it into `cwd/.claude` iff it is newer than the stamp AND passes both gates. * Fail-closed; never throws. `pubkeyPem` is injectable for tests. */ export declare function adoptSignedConfig(cwd: string, signed: SignedProvenConfig, env: InstallEnv, opts?: { pubkeyPem?: string; }): AdoptResult; /** * On CLI startup: if the package ships a signed champion newer than the * project's stamp, adopt it when authentic + suitable. Best-effort, never * throws. No-op when no manifest ships or the project isn't initialized. */ export declare function autoAdoptProvenConfigIfStale(cwd?: string): Promise; //# sourceMappingURL=proven-config-refresh.d.ts.map