/**
 * One-time migration of CLI state directories from pre-v0.12.0 to v0.12.0:
 *
 *   - Renames `claim-citations.json` → `citations.json`.
 *   - Rewrites the wrapper field `claimCitations` → `connections`.
 *   - Renames per-citation field names:
 *       citingClaimId        → claimId
 *       citingClaimVersion   → claimVersion
 *       sourceClaimId        → supportingClaimId
 *       sourceClaimVersion   → supportingClaimVersion
 *   - Recomputes each citation's checksum with the v0.12 field set.
 *   - Creates `axioms.json` if absent, initialized to `{ connections: [] }`.
 *
 * Each step is idempotent: a partial-failure rerun lands on the same end
 * state. The `.proposit-v0.12` marker is the last write; if any prior step
 * failed, the next CLI invocation re-runs all prior steps.
 *
 * Note: a v0.10→v0.12 jump is supported because `migrateV010` runs first and
 * writes the legacy `claim-citations.json`/`claimCitations` shape; this
 * migration then converts that fresh-from-migration file alongside genuine
 * pre-v0.12 state.
 */
export declare function migrateV012(): Promise<void>;
//# sourceMappingURL=migrate-v0.12.d.ts.map