export declare const ACTIVE_AUTHORITY_TRANSITION_POLICY: {
    readonly compile_first: {
        readonly reads_authority: "none";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_null";
    };
    readonly compile_revise: {
        readonly reads_authority: "active_snapshot";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_identity";
    };
    readonly verify: {
        readonly reads_authority: "active_snapshot";
        readonly modifies_authority: false;
        readonly requires_lock: false;
        readonly cas: "recheck_before_progress_write";
    };
    readonly final_gate: {
        readonly reads_authority: "active_snapshot";
        readonly modifies_authority: false;
        readonly requires_lock: false;
        readonly cas: "recheck_before_acceptance";
    };
    readonly stop_accepted_clear: {
        readonly reads_authority: "accepted_identity";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_identity";
    };
    readonly close_accepted_clear: {
        readonly reads_authority: "accepted_identity";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_identity";
    };
    readonly abandon_valid: {
        readonly reads_authority: "active_snapshot";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_identity";
    };
    readonly abandon_corrupt: {
        readonly reads_authority: "deterministic_local_paths";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "explicit_force";
    };
    readonly legacy_migration: {
        readonly reads_authority: "legacy_plus_matching_cache";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_legacy_identity";
    };
    readonly verifier_migration: {
        readonly reads_authority: "active_snapshot";
        readonly modifies_authority: true;
        readonly requires_lock: true;
        readonly cas: "expected_identity";
    };
};