Recover the disk-backed revocation current-state index from the newest valid immutable checkpoint and replay only the authoritative log suffix. Preserve bounded memory, deterministic seed convergence, and the global transition log as the sole revocation authority.