fix(heal): fail closed on tampered resume checkpoints

.github/workflows/ci.yml

@@ -400,7 +400,7 @@ jobs:
     if: github.event_name != 'pull_request' || github.event.action != 'closed'
     needs: [ quick-checks ]
     runs-on: sm-standard-4
-    timeout-minutes: 90
+    timeout-minutes: 45
     env:
       FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: "true"
     steps:
@@ -440,7 +440,7 @@ jobs:
     if: github.event_name != 'pull_request' || github.event.action != 'closed'
     needs: [ quick-checks ]
     runs-on: sm-standard-4
-    timeout-minutes: 90
+    timeout-minutes: 60
     env:
       FORCE_JAVASCRIPT_ACTIONS_TO_NODE24: "true"
     steps:
@@ -470,7 +470,7 @@ jobs:
     if: github.event_name != 'pull_request' || github.event.action != 'closed'
     needs: [ quick-checks ]
     runs-on: sm-standard-4
-    timeout-minutes: 90
+    timeout-minutes: 60
     strategy:
       # On a PR, one failing protocol leg is enough to know the PR is not ready,
       # so stop the sibling leg instead of paying another ~40 minutes for it.

Cargo.lock

@@ -9587,6 +9587,7 @@ dependencies = [
  "serde",
  "serde_json",
  "serial_test",
+ "sha2 0.11.0",
  "temp-env",
  "tempfile",
  "thiserror 2.0.20",

crates/heal/Cargo.toml

@@ -91,6 +91,7 @@ metrics = { workspace = true }
 base64 = { workspace = true }
 bytes = { workspace = true }
 crc-fast = { workspace = true }
+sha2 = { workspace = true }
 
 [dev-dependencies]
 serde_json = { workspace = true, features = ["raw_value"] }

crates/heal/src/heal/erasure_healer.rs

@@ -13,7 +13,7 @@
 // limitations under the License.
 
 use crate::heal::{
-    progress::{HealProgress, add_bytes, increment_counter},
+    progress::HealProgress,
     resume::{
         CheckpointManager, ReplacementTargetIdentity, ResumeManager, ResumeUtils, compose_key,
         replacement_target_identities_match,
@@ -373,6 +373,11 @@ impl ErasureSetHealer {
         set_disk_id: &str,
         buckets: &[String],
     ) -> Result<(ResumeManager, CheckpointManager)> {
+        if self.replacement_task_id.is_none() && CheckpointManager::is_blocked(&self.disk, task_id).await {
+            return Err(Error::TaskExecutionFailed {
+                message: format!("Resume task {task_id} has a blocked checkpoint"),
+            });
+        }
         // check if resume state exists
         let has_resume_state = if self.replacement_task_id.is_some() {
             ResumeManager::has_replacement_intent(&self.disk, task_id).await
@@ -410,9 +415,6 @@ impl ErasureSetHealer {
                 && state.successful_objects == 0
                 && state.failed_objects == 0
                 && state.skipped_objects == 0
-                && state.skipped_new_versions == 0
-                && state.skipped_ilm_expired == 0
-                && state.processed_bytes == 0
             {
                 // schedule_retry persists the authoritative resume reset before
                 // resetting the checkpoint. Reapply the checkpoint reset after
@@ -477,23 +479,6 @@ impl ErasureSetHealer {
 
         // 2. initialize progress
         self.initialize_progress(buckets, &state).await;
-        let (baseline_known, baseline_count, baseline_size, baseline_generation) = {
-            let baseline = self.progress.read().await;
-            (
-                baseline.baseline_known,
-                baseline.objects_total_count,
-                baseline.objects_total_size,
-                baseline.baseline_generation,
-            )
-        };
-        if baseline_known {
-            resume_manager
-                .set_progress_baseline(baseline_count, baseline_size, baseline_generation)
-                .await?;
-            checkpoint_manager
-                .set_progress_baseline(baseline_count, baseline_size, baseline_generation)
-                .await?;
-        }
 
         // 3. continue from checkpoint
         let current_bucket_index = checkpoint.current_bucket_index;
@@ -503,58 +488,6 @@ impl ErasureSetHealer {
         let mut successful_objects = state.successful_objects;
         let mut failed_objects = state.failed_objects;
         let mut skipped_objects = state.skipped_objects;
-        let checkpoint_has_progress = checkpoint.baseline_known
-            || checkpoint.successful_objects > 0
-            || checkpoint.failed_object_count > 0
-            || checkpoint.skipped_object_count > 0
-            || checkpoint.skipped_new_versions > 0
-            || checkpoint.skipped_ilm_expired > 0
-            || checkpoint.processed_bytes > 0
-            || checkpoint.total_objects > 0
-            || checkpoint.total_bytes > 0
-            || checkpoint.baseline_generation.is_some()
-            || checkpoint.counter_unknown;
-        let checkpoint_generation_mismatch = checkpoint.baseline_known && checkpoint.baseline_generation != baseline_generation;
-        let mut restored_counter_unknown = state.counter_unknown || checkpoint.counter_unknown;
-        if checkpoint_has_progress {
-            successful_objects = checkpoint.successful_objects;
-            failed_objects = checkpoint.failed_object_count;
-            skipped_objects = checkpoint.skipped_object_count;
-            let restored_processed_objects = successful_objects
-                .checked_add(failed_objects)
-                .and_then(|value| value.checked_add(skipped_objects))
-                .and_then(|value| value.checked_add(checkpoint.skipped_new_versions))
-                .and_then(|value| value.checked_add(checkpoint.skipped_ilm_expired));
-            let checkpoint_counter_overflow = restored_processed_objects.is_none();
-            restored_counter_unknown |= checkpoint_counter_overflow;
-            processed_objects = restored_processed_objects.unwrap_or(u64::MAX);
-            let mut progress = self.progress.write().await;
-            progress.objects_scanned = processed_objects;
-            progress.objects_healed = successful_objects;
-            progress.objects_failed = failed_objects;
-            progress.skipped_objects = skipped_objects;
-            progress.skipped_new_versions = checkpoint.skipped_new_versions;
-            progress.skipped_ilm_expired = checkpoint.skipped_ilm_expired;
-            if checkpoint.baseline_known && !checkpoint_generation_mismatch {
-                progress.objects_total_count = checkpoint.total_objects;
-                progress.objects_total_size = checkpoint.total_bytes;
-                progress.baseline_generation = checkpoint.baseline_generation;
-                progress.baseline_known = true;
-            }
-            progress.bytes_processed = checkpoint.processed_bytes;
-            progress.counter_unknown = state.counter_unknown || checkpoint.counter_unknown;
-            progress.refresh_progress_percentage();
-            if checkpoint_generation_mismatch || checkpoint_counter_overflow || progress.counter_unknown {
-                progress.mark_unknown();
-            }
-        }
-        if checkpoint_generation_mismatch {
-            restored_counter_unknown = true;
-        }
-        if restored_counter_unknown {
-            checkpoint_manager.mark_counter_unknown().await?;
-            resume_manager.mark_counter_unknown().await?;
-        }
         let mut failed_buckets = 0u64;
 
         // 4. process remaining buckets
@@ -588,42 +521,13 @@ impl ErasureSetHealer {
                 return bucket_result;
             }
 
-            // update progress
-            let progress_snapshot = self.progress.read().await;
-            let bytes_processed = progress_snapshot.bytes_processed;
-            let skipped_new_versions = progress_snapshot.skipped_new_versions;
-            let skipped_ilm_expired = progress_snapshot.skipped_ilm_expired;
-            let counter_unknown = progress_snapshot.counter_unknown;
-            drop(progress_snapshot);
-            // The checkpoint is the recovery authority for object progress.
-            // Publish its counters and fence before the resume summary so a
-            // crash between the two stores cannot make recovery select newer
-            // summary bytes with an older checkpoint ledger.
-            if counter_unknown {
-                checkpoint_manager.mark_counter_unknown().await?;
-            }
-            checkpoint_manager
-                .update_progress(successful_objects, failed_objects, skipped_objects, bytes_processed)
-                .await?;
-            checkpoint_manager
-                .set_skipped_version_counts(skipped_new_versions, skipped_ilm_expired)
-                .await?;
+            // update checkpoint position
             checkpoint_manager.update_position(bucket_idx, current_object_index).await?;
+
+            // update progress
             resume_manager
-                .update_progress_with_bytes(
-                    processed_objects,
-                    successful_objects,
-                    failed_objects,
-                    skipped_objects,
-                    bytes_processed,
-                )
+                .update_progress(processed_objects, successful_objects, failed_objects, skipped_objects)
                 .await?;
-            resume_manager
-                .set_skipped_version_counts(skipped_new_versions, skipped_ilm_expired)
-                .await?;
-            if counter_unknown {
-                resume_manager.mark_counter_unknown().await?;
-            }
 
             // check cancel status
             if self.cancel_token.is_cancelled() {
@@ -882,36 +786,14 @@ impl ErasureSetHealer {
 
                 if should_skip_new_version(item.mod_time_unix_nanos, started_at_secs) {
                     checkpoint_manager.add_processed_object(key).await?;
-                    let counter_ok = increment_counter(processed_objects);
+                    *processed_objects = processed_objects.saturating_add(1);
                     completed_in_page = completed_in_page.saturating_add(1);
                     counter!("rustfs_heal_skipped_new_versions_total").increment(1);
-                    let (skipped_new, skipped_ilm, counter_unknown) = {
+                    {
                         let mut progress = self.progress.write().await;
                         progress.record_skipped_new_version();
                         progress.set_current_object(Some(format!("skipped_new: {bucket}/{}", item.name)));
-                        progress.update_object_progress(
-                            *processed_objects,
-                            *successful_objects,
-                            *failed_objects,
-                            *skipped_objects,
-                            bytes_processed,
-                        );
-                        if !counter_ok {
-                            progress.mark_unknown();
-                        }
-                        (progress.skipped_new_versions, progress.skipped_ilm_expired, progress.counter_unknown)
-                    };
-                    if !counter_ok || counter_unknown {
-                        checkpoint_manager.mark_counter_unknown().await?;
-                    }
-                    checkpoint_manager
-                        .set_skipped_version_counts(skipped_new, skipped_ilm)
-                        .await?;
-                    checkpoint_manager
-                        .update_progress(*successful_objects, *failed_objects, *skipped_objects, bytes_processed)
-                        .await?;
-                    if !counter_ok || counter_unknown {
-                        resume_manager.mark_counter_unknown().await?;
+                        progress.update_progress(*processed_objects, *successful_objects, *failed_objects, bytes_processed);
                     }
                     debug!(
                         target: "rustfs::heal::erasure_healer",
@@ -944,36 +826,14 @@ impl ErasureSetHealer {
                         .await?
                 {
                     checkpoint_manager.add_processed_object(key).await?;
-                    let counter_ok = increment_counter(processed_objects);
+                    *processed_objects = processed_objects.saturating_add(1);
                     completed_in_page = completed_in_page.saturating_add(1);
                     counter!("rustfs_heal_skipped_ilm_expired_total").increment(1);
-                    let (skipped_new, skipped_ilm, counter_unknown) = {
+                    {
                         let mut progress = self.progress.write().await;
                         progress.record_skipped_ilm_expired();
                         progress.set_current_object(Some(format!("skipped_ilm: {bucket}/{}", item.name)));
-                        progress.update_object_progress(
-                            *processed_objects,
-                            *successful_objects,
-                            *failed_objects,
-                            *skipped_objects,
-                            bytes_processed,
-                        );
-                        if !counter_ok {
-                            progress.mark_unknown();
-                        }
-                        (progress.skipped_new_versions, progress.skipped_ilm_expired, progress.counter_unknown)
-                    };
-                    if !counter_ok || counter_unknown {
-                        checkpoint_manager.mark_counter_unknown().await?;
-                    }
-                    checkpoint_manager
-                        .set_skipped_version_counts(skipped_new, skipped_ilm)
-                        .await?;
-                    checkpoint_manager
-                        .update_progress(*successful_objects, *failed_objects, *skipped_objects, bytes_processed)
-                        .await?;
-                    if !counter_ok || counter_unknown {
-                        resume_manager.mark_counter_unknown().await?;
+                        progress.update_progress(*processed_objects, *successful_objects, *failed_objects, bytes_processed);
                     }
                     debug!(
                         target: "rustfs::heal::erasure_healer",
@@ -1099,11 +959,10 @@ impl ErasureSetHealer {
 
             while let Some((key, object, version_id, result)) = page_tasks.next().await {
                 let (object_size, result) = result;
-                let mut telemetry_unknown = false;
                 match result {
                     Ok(true) => {
-                        telemetry_unknown |= !increment_counter(successful_objects);
-                        telemetry_unknown |= !add_bytes(&mut bytes_processed, object_size);
+                        *successful_objects += 1;
+                        bytes_processed = bytes_processed.saturating_add(object_size);
                         checkpoint_manager.add_processed_object(key).await?;
                         debug!(
                             target: "rustfs::heal::erasure_healer",
@@ -1120,8 +979,8 @@ impl ErasureSetHealer {
                     }
                     Ok(false) => {
                         checkpoint_manager.add_processed_object(key).await?;
-                        telemetry_unknown |= !increment_counter(successful_objects);
-                        telemetry_unknown |= !add_bytes(&mut bytes_processed, object_size);
+                        *successful_objects += 1;
+                        bytes_processed = bytes_processed.saturating_add(object_size);
                         debug!(
                             target: "rustfs::heal::erasure_healer",
                             event = EVENT_HEAL_ERASURE_OBJECT_STATE,
@@ -1137,8 +996,8 @@ impl ErasureSetHealer {
                     }
                     Err(err @ Error::TaskCancelled) | Err(err @ Error::TaskTimeout) => return Err(err),
                     Err(Error::TransientSkip { message }) => {
-                        telemetry_unknown |= !increment_counter(skipped_objects);
-                        telemetry_unknown |= !add_bytes(&mut bytes_processed, object_size);
+                        *skipped_objects += 1;
+                        bytes_processed = bytes_processed.saturating_add(object_size);
                         checkpoint_manager.add_skipped_object(key).await?;
                         demote_to_debug_when!(!take_failure_log_sample(&mut transient_skip_samples_logged), warn, target: "rustfs::heal::erasure_healer", {
                             event = EVENT_HEAL_ERASURE_OBJECT_STATE,
@@ -1154,8 +1013,8 @@ impl ErasureSetHealer {
                         });
                     }
                     Err(err) => {
-                        telemetry_unknown |= !increment_counter(failed_objects);
-                        telemetry_unknown |= !add_bytes(&mut bytes_processed, object_size);
+                        *failed_objects += 1;
+                        bytes_processed = bytes_processed.saturating_add(object_size);
                         checkpoint_manager.add_failed_object(key).await?;
                         demote_to_debug_when!(!take_failure_log_sample(&mut failure_samples_logged), warn, target: "rustfs::heal::erasure_healer", {
                             event = EVENT_HEAL_ERASURE_OBJECT_STATE,
@@ -1172,31 +1031,12 @@ impl ErasureSetHealer {
                     }
                 }
 
-                telemetry_unknown |= !increment_counter(processed_objects);
+                *processed_objects += 1;
                 completed_in_page += 1;
-                let progress_unknown = {
+                {
                     let mut progress = self.progress.write().await;
                     progress.set_current_object(Some(format!("{bucket}/{object}")));
-                    progress.update_object_progress(
-                        *processed_objects,
-                        *successful_objects,
-                        *failed_objects,
-                        *skipped_objects,
-                        bytes_processed,
-                    );
-                    if telemetry_unknown {
-                        progress.mark_unknown();
-                    }
-                    progress.counter_unknown
-                };
-                if telemetry_unknown || progress_unknown {
-                    checkpoint_manager.mark_counter_unknown().await?;
-                }
-                checkpoint_manager
-                    .update_progress(*successful_objects, *failed_objects, *skipped_objects, bytes_processed)
-                    .await?;
-                if telemetry_unknown || progress_unknown {
-                    resume_manager.mark_counter_unknown().await?;
+                    progress.update_progress(*processed_objects, *successful_objects, *failed_objects, bytes_processed);
                 }
 
                 if completed_in_page.is_multiple_of(100) {
@@ -1248,66 +1088,10 @@ impl ErasureSetHealer {
     /// initialize progress tracking
     async fn initialize_progress(&self, _buckets: &[String], state: &crate::heal::resume::ResumeState) {
         let mut progress = self.progress.write().await;
-        let existing_baseline = (
-            progress.objects_total_count,
-            progress.objects_total_size,
-            progress.baseline_generation,
-            progress.progress_state,
-            progress.baseline_known,
-        );
-        let baseline_generation_mismatch =
-            state.baseline_known && existing_baseline.4 && state.baseline_generation != existing_baseline.2;
-        let use_persisted_baseline = state.baseline_known && !baseline_generation_mismatch;
-        progress.objects_scanned = state.processed_objects;
+        progress.objects_scanned = state.total_objects;
         progress.objects_healed = state.successful_objects;
         progress.objects_failed = state.failed_objects;
-        progress.skipped_objects = state.skipped_objects;
-        progress.skipped_new_versions = state.skipped_new_versions;
-        progress.skipped_ilm_expired = state.skipped_ilm_expired;
-        progress.bytes_processed = state.processed_bytes;
-        progress.counter_unknown = state.counter_unknown;
-        if use_persisted_baseline
-            || existing_baseline.0 > 0
-            || existing_baseline.1 > 0
-            || existing_baseline.2.is_some()
-            || existing_baseline.4
-        {
-            progress.objects_total_count = if use_persisted_baseline {
-                state.total_objects
-            } else {
-                existing_baseline.0
-            };
-            progress.objects_total_size = if use_persisted_baseline {
-                state.total_bytes
-            } else {
-                existing_baseline.1
-            };
-            progress.baseline_generation = if use_persisted_baseline {
-                state.baseline_generation
-            } else {
-                existing_baseline.2
-            };
-            progress.baseline_known = use_persisted_baseline
-                || existing_baseline.0 > 0
-                || existing_baseline.1 > 0
-                || existing_baseline.2.is_some()
-                || existing_baseline.4;
-        }
-        progress.progress_state = if use_persisted_baseline
-            || existing_baseline.0 > 0
-            || existing_baseline.1 > 0
-            || existing_baseline.2.is_some()
-            || existing_baseline.4
-        {
-            crate::heal::progress::HealProgressState::Running
-        } else {
-            crate::heal::progress::HealProgressState::Indeterminate
-        };
-        if baseline_generation_mismatch || state.counter_unknown {
-            progress.mark_unknown();
-        }
-        progress.ledger_complete = false;
-        progress.refresh_progress_percentage();
+        progress.bytes_processed = 0; // Resume state tracks object counts, not byte counters.
         progress.start_time = UNIX_EPOCH.checked_add(Duration::from_secs(state.start_time));
         progress.last_update_time = UNIX_EPOCH.checked_add(Duration::from_secs(state.last_update));
         progress.set_current_object(state.current_object.clone());

crates/heal/src/heal/manager.rs

@@ -1917,44 +1917,16 @@ impl HealManager {
         }
 
         let mut snapshot = HealProgress::default();
-        let mut has_object_sweep = false;
-        let mut all_object_baselines_known = true;
-        let mut counter_overflow = false;
-        let mut stage_current = 0_u64;
-        let mut stage_total = 0_u64;
         for task in active_tasks {
             let progress = task.get_progress().await;
-            let object_sweep = matches!(progress.kind, crate::heal::progress::HealProgressKind::ObjectSweep);
-            has_object_sweep |= object_sweep;
-            if object_sweep {
-                all_object_baselines_known &= progress.baseline_known;
-            }
-            counter_overflow |=
-                progress.counter_unknown || matches!(progress.progress_state, crate::heal::progress::HealProgressState::Unknown);
-            match stage_current.checked_add(progress.stage_current) {
-                Some(sum) => stage_current = sum,
-                None => counter_overflow = true,
-            }
-            match stage_total.checked_add(progress.stage_total) {
-                Some(sum) => stage_total = sum,
-                None => counter_overflow = true,
-            }
-            for (target, value) in [
-                (&mut snapshot.objects_scanned, progress.objects_scanned),
-                (&mut snapshot.objects_healed, progress.objects_healed),
-                (&mut snapshot.objects_failed, progress.objects_failed),
-                (&mut snapshot.skipped_objects, progress.skipped_objects),
-                (&mut snapshot.skipped_new_versions, progress.skipped_new_versions),
-                (&mut snapshot.skipped_ilm_expired, progress.skipped_ilm_expired),
-                (&mut snapshot.objects_total_count, progress.objects_total_count),
-                (&mut snapshot.objects_total_size, progress.objects_total_size),
-                (&mut snapshot.bytes_processed, progress.bytes_processed),
-            ] {
-                match target.checked_add(value) {
-                    Some(sum) => *target = sum,
-                    None => counter_overflow = true,
-                }
-            }
+            snapshot.objects_scanned = snapshot.objects_scanned.saturating_add(progress.objects_scanned);
+            snapshot.objects_healed = snapshot.objects_healed.saturating_add(progress.objects_healed);
+            snapshot.objects_failed = snapshot.objects_failed.saturating_add(progress.objects_failed);
+            snapshot.skipped_new_versions = snapshot.skipped_new_versions.saturating_add(progress.skipped_new_versions);
+            snapshot.skipped_ilm_expired = snapshot.skipped_ilm_expired.saturating_add(progress.skipped_ilm_expired);
+            snapshot.objects_total_count = snapshot.objects_total_count.saturating_add(progress.objects_total_count);
+            snapshot.objects_total_size = snapshot.objects_total_size.saturating_add(progress.objects_total_size);
+            snapshot.bytes_processed = snapshot.bytes_processed.saturating_add(progress.bytes_processed);
             snapshot.start_time = match (snapshot.start_time, progress.start_time) {
                 (Some(current), Some(next)) => Some(current.min(next)),
                 (None, next) => next,
@@ -1969,36 +1941,7 @@ impl HealManager {
                 snapshot.current_object = progress.current_object;
             }
         }
-        snapshot.kind = if has_object_sweep {
-            crate::heal::progress::HealProgressKind::ObjectSweep
-        } else {
-            crate::heal::progress::HealProgressKind::Stage
-        };
-        snapshot.stage_current = stage_current;
-        snapshot.stage_total = stage_total;
-        snapshot.baseline_known = has_object_sweep && all_object_baselines_known;
-        snapshot.progress_state = if counter_overflow {
-            crate::heal::progress::HealProgressState::Unknown
-        } else if has_object_sweep && !all_object_baselines_known {
-            crate::heal::progress::HealProgressState::Indeterminate
-        } else if has_object_sweep {
-            crate::heal::progress::HealProgressState::Running
-        } else if stage_total == 0 {
-            crate::heal::progress::HealProgressState::Indeterminate
-        } else {
-            crate::heal::progress::HealProgressState::Running
-        };
-        if counter_overflow {
-            snapshot.progress_percentage = 0.0;
-        } else if !has_object_sweep {
-            snapshot.progress_percentage = if stage_total == 0 {
-                0.0
-            } else {
-                ((stage_current as f64 / stage_total as f64) * 100.0).min(99.999)
-            };
-        } else {
-            snapshot.refresh_progress_percentage();
-        }
+        snapshot.refresh_progress_percentage();
         snapshot.refresh_estimated_completion_time();
         Some(snapshot)
     }

crates/heal/src/heal/progress.rs

@@ -15,70 +15,15 @@
 use serde::{Deserialize, Serialize};
 use std::time::{Duration, SystemTime};
 
-pub(crate) fn increment_counter(counter: &mut u64) -> bool {
-    match counter.checked_add(1) {
-        Some(next) => {
-            *counter = next;
-            true
-        }
-        None => {
-            *counter = u64::MAX;
-            false
-        }
-    }
-}
-
-pub(crate) fn add_bytes(total: &mut u64, amount: u64) -> bool {
-    match total.checked_add(amount) {
-        Some(next) => {
-            *total = next;
-            true
-        }
-        None => {
-            *total = u64::MAX;
-            false
-        }
-    }
-}
-
-#[derive(Debug, Default, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
-#[serde(rename_all = "camelCase")]
-pub enum HealProgressKind {
-    #[default]
-    Unknown,
-    Stage,
-    ObjectSweep,
-}
-
-/// Whether the object ledger can produce a meaningful percentage.
-///
-/// A zero-valued baseline is not a completed scan: it means that no complete
-/// usage snapshot was available.  Keep this state explicit so callers do not
-/// mistake the legacy `0.0` wire value for a measured zero-percent result.
-#[derive(Debug, Default, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
-#[serde(rename_all = "camelCase")]
-pub enum HealProgressState {
-    #[default]
-    Unknown,
-    Indeterminate,
-    Running,
-    Completed,
-}
-
 #[derive(Debug, Default, Clone, Serialize, Deserialize)]
 #[serde(rename_all = "camelCase")]
 pub struct HealProgress {
-    #[serde(default)]
-    pub kind: HealProgressKind,
     /// Objects scanned
     pub objects_scanned: u64,
     /// Objects healed
     pub objects_healed: u64,
     /// Objects failed
     pub objects_failed: u64,
-    /// Versions deferred for a later retry pass.
-    #[serde(default)]
-    pub skipped_objects: u64,
     /// Versions skipped because they were written after this heal started
     pub skipped_new_versions: u64,
     /// Versions skipped because lifecycle already selected them for expiry
@@ -99,38 +44,11 @@ pub struct HealProgress {
     pub last_update_time: Option<SystemTime>,
     /// Estimated completion time
     pub estimated_completion_time: Option<SystemTime>,
-    /// Current stage number. Stage updates are intentionally independent from
-    /// the object ledger below.
-    #[serde(default)]
-    pub stage_current: u64,
-    /// Number of stages in the current task.
-    #[serde(default)]
-    pub stage_total: u64,
-    /// Explicitly distinguishes a missing usage baseline from measured 0%.
-    #[serde(default)]
-    pub progress_state: HealProgressState,
-    /// True only after the task's durable completion ledger was committed.
-    #[serde(default)]
-    pub ledger_complete: bool,
-    /// Generation of the usage snapshot used for the baseline, if available.
-    #[serde(default)]
-    pub baseline_generation: Option<u64>,
-    /// Whether the baseline was explicitly observed.  This is separate from
-    /// the counters so a known empty scope (0 objects, 0 bytes) is not
-    /// confused with a legacy snapshot that omitted the baseline fields.
-    #[serde(default)]
-    pub baseline_known: bool,
-    /// Internal telemetry fence set when an aggregate counter overflows or
-    /// becomes inconsistent.  It prevents a later refresh from fabricating a
-    /// percentage from the poisoned values.
-    #[serde(default)]
-    pub counter_unknown: bool,
 }
 
 impl HealProgress {
     pub fn new() -> Self {
         Self {
-            kind: HealProgressKind::Unknown,
             start_time: Some(SystemTime::now()),
             last_update_time: Some(SystemTime::now()),
             ..Default::default()
@@ -138,87 +56,12 @@ impl HealProgress {
     }
 
     pub fn update_progress(&mut self, scanned: u64, healed: u64, failed: u64, bytes: u64) {
-        self.update_object_sweep_progress(scanned, healed, failed, bytes);
-    }
-
-    pub fn update_object_sweep_progress(&mut self, scanned: u64, healed: u64, failed: u64, bytes: u64) {
-        self.kind = HealProgressKind::ObjectSweep;
         self.objects_scanned = scanned;
         self.objects_healed = healed;
         self.objects_failed = failed;
         self.bytes_processed = bytes;
         self.last_update_time = Some(SystemTime::now());
 
-        let explicit_skipped = match self.skipped_new_versions.checked_add(self.skipped_ilm_expired) {
-            Some(value) => value,
-            None => {
-                self.mark_unknown();
-                0
-            }
-        };
-        let skipped = healed
-            .checked_add(failed)
-            .and_then(|value| value.checked_add(explicit_skipped))
-            .and_then(|value| scanned.checked_sub(value))
-            .unwrap_or(0);
-        self.update_object_progress(scanned, healed, failed, skipped, bytes);
-    }
-
-    /// Update task stage progress without modifying object counters.
-    pub fn update_stage(&mut self, current: u64, total: u64) {
-        let object_sweep_active = matches!(self.kind, HealProgressKind::ObjectSweep);
-        if !object_sweep_active {
-            self.kind = HealProgressKind::Stage;
-        }
-        self.ledger_complete = false;
-        self.stage_current = current.min(total);
-        self.stage_total = total;
-        if object_sweep_active {
-            self.last_update_time = Some(SystemTime::now());
-            self.refresh_progress_percentage();
-            return;
-        }
-        self.progress_state = if total == 0 {
-            HealProgressState::Indeterminate
-        } else {
-            HealProgressState::Running
-        };
-        self.progress_percentage = if total == 0 {
-            0.0
-        } else {
-            (current as f64 / total as f64 * 100.0).min(100.0)
-        };
-        self.last_update_time = Some(SystemTime::now());
-    }
-
-    /// Update the disjoint object ledger. `scanned` is the number of terminal
-    /// object outcomes and must equal healed + failed + deferred skipped plus
-    /// the two terminal skip classes. Overflow is a corrupt/unknown counter
-    /// state, not a reason to abort a completed heal.
-    pub fn update_object_progress(&mut self, scanned: u64, healed: u64, failed: u64, skipped: u64, bytes: u64) {
-        self.kind = HealProgressKind::ObjectSweep;
-        // `skipped` is the transient/deferred class.  The two explicit skip
-        // counters are terminal classifications too, so include them in the
-        // same ledger without making callers maintain a second aggregate.
-        let outcomes = healed
-            .checked_add(failed)
-            .and_then(|value| value.checked_add(skipped))
-            .and_then(|value| value.checked_add(self.skipped_new_versions))
-            .and_then(|value| value.checked_add(self.skipped_ilm_expired));
-        self.objects_scanned = scanned;
-        self.objects_healed = healed;
-        self.objects_failed = failed;
-        self.skipped_objects = skipped;
-        self.bytes_processed = bytes;
-        self.last_update_time = Some(SystemTime::now());
-        self.ledger_complete = false;
-        if outcomes != Some(scanned) {
-            // Telemetry corruption must not abort a heal.  Preserve the
-            // counters for diagnostics, but do not derive a percentage from a
-            // double-counted or overflowing ledger.
-            self.mark_unknown();
-            return;
-        }
         self.refresh_progress_percentage();
         self.refresh_estimated_completion_time();
     }
@@ -226,88 +69,50 @@ impl HealProgress {
     pub fn set_total_baseline(&mut self, objects_total_count: u64, objects_total_size: u64) {
         self.objects_total_count = objects_total_count;
         self.objects_total_size = objects_total_size;
-        self.baseline_known = true;
         self.last_update_time = Some(SystemTime::now());
         self.refresh_progress_percentage();
         self.refresh_estimated_completion_time();
     }
 
-    pub fn set_total_baseline_with_generation(&mut self, objects_total_count: u64, objects_total_size: u64, generation: u64) {
-        self.baseline_generation = Some(generation);
-        self.set_total_baseline(objects_total_count, objects_total_size);
-    }
-
     pub fn record_skipped_new_version(&mut self) {
-        let Some(next) = self.skipped_new_versions.checked_add(1) else {
-            self.mark_unknown();
-            return;
-        };
-        self.skipped_new_versions = next;
+        self.skipped_new_versions = self.skipped_new_versions.saturating_add(1);
         self.last_update_time = Some(SystemTime::now());
         self.refresh_progress_percentage();
         self.refresh_estimated_completion_time();
     }
 
     pub fn record_skipped_ilm_expired(&mut self) {
-        let Some(next) = self.skipped_ilm_expired.checked_add(1) else {
-            self.mark_unknown();
-            return;
-        };
-        self.skipped_ilm_expired = next;
+        self.skipped_ilm_expired = self.skipped_ilm_expired.saturating_add(1);
         self.last_update_time = Some(SystemTime::now());
         self.refresh_progress_percentage();
         self.refresh_estimated_completion_time();
     }
 
-    fn completed_for_baseline(&self) -> Option<u64> {
+    fn completed_for_baseline(&self) -> u64 {
         self.objects_healed
-            .checked_add(self.objects_failed)?
-            .checked_add(self.skipped_objects)?
-            .checked_add(self.skipped_new_versions)?
-            .checked_add(self.skipped_ilm_expired)
+            .saturating_add(self.objects_failed)
+            .saturating_add(self.skipped_new_versions)
+            .saturating_add(self.skipped_ilm_expired)
     }
 
     pub(crate) fn refresh_progress_percentage(&mut self) {
-        if self.ledger_complete {
-            self.progress_state = HealProgressState::Completed;
-            self.progress_percentage = 100.0;
-            return;
-        }
-        if self.counter_unknown {
-            self.progress_state = HealProgressState::Unknown;
-            self.progress_percentage = 0.0;
-            return;
-        }
-        if !self.baseline_known {
-            self.progress_state = HealProgressState::Indeterminate;
-            self.progress_percentage = 0.0;
-            self.estimated_completion_time = None;
-            return;
-        }
         if self.objects_total_size > 0 {
             self.progress_percentage = ((self.bytes_processed as f64 / self.objects_total_size as f64) * 100.0).min(100.0);
-            self.progress_percentage = self.progress_percentage.min(99.999);
-            self.progress_state = HealProgressState::Running;
             return;
         }
         if self.objects_total_count > 0 {
-            let Some(completed) = self.completed_for_baseline() else {
-                self.progress_state = HealProgressState::Unknown;
-                self.progress_percentage = 0.0;
-                return;
-            };
+            let completed = self.completed_for_baseline();
             self.progress_percentage = ((completed as f64 / self.objects_total_count as f64) * 100.0).min(100.0);
-            self.progress_percentage = self.progress_percentage.min(99.999);
-            self.progress_state = HealProgressState::Running;
             return;
         }
-        if self.baseline_known {
-            self.progress_state = HealProgressState::Running;
-            self.progress_percentage = 0.0;
-            return;
+
+        let total = self
+            .objects_scanned
+            .saturating_add(self.objects_healed)
+            .saturating_add(self.objects_failed);
+        if total > 0 {
+            self.progress_percentage = (self.objects_healed as f64 / total as f64) * 100.0;
         }
-        self.progress_state = HealProgressState::Indeterminate;
-        self.progress_percentage = 0.0;
     }
 
     pub fn set_current_object(&mut self, object: Option<String>) {
@@ -320,11 +125,7 @@ impl HealProgress {
             self.estimated_completion_time = None;
             return;
         };
-        if self.is_completed()
-            || self.progress_percentage <= 0.0
-            || self.progress_percentage >= 100.0
-            || self.bytes_processed == 0
-        {
+        if self.is_completed() || !(0.0..100.0).contains(&self.progress_percentage) || self.bytes_processed == 0 {
             self.estimated_completion_time = None;
             return;
         }
@@ -341,39 +142,18 @@ impl HealProgress {
     }
 
     pub fn is_completed(&self) -> bool {
-        self.ledger_complete
-    }
-
-    /// Mark telemetry unknown while allowing the underlying heal operation to
-    /// continue.  This is used for corrupt/overflowing counters at the
-    /// observability boundary; it must never turn a successful heal into an
-    /// execution error.
-    pub fn mark_unknown(&mut self) {
-        self.counter_unknown = true;
-        self.progress_state = HealProgressState::Unknown;
-        self.ledger_complete = false;
-        self.progress_percentage = 0.0;
-        self.estimated_completion_time = None;
-        self.last_update_time = Some(SystemTime::now());
-    }
-
-    /// Mark the object ledger terminal only after the enclosing task has
-    /// committed all durable resume state and cleanup fences.
-    pub fn mark_completed(&mut self) {
-        let telemetry_unknown = self.counter_unknown || self.progress_state == HealProgressState::Unknown;
-        self.ledger_complete = true;
-        if !telemetry_unknown {
-            self.progress_state = HealProgressState::Completed;
+        if self.progress_percentage >= 100.0 {
+            return true;
         }
-        self.progress_percentage = 100.0;
-        self.last_update_time = Some(SystemTime::now());
-        self.estimated_completion_time = None;
+        if self.objects_total_count > 0 || self.objects_total_size > 0 {
+            return false;
+        }
+
+        self.objects_scanned > 0 && self.objects_healed.saturating_add(self.objects_failed) >= self.objects_scanned
     }
 
     pub fn get_success_rate(&self) -> f64 {
-        let Some(total) = self.objects_healed.checked_add(self.objects_failed) else {
-            return 0.0;
-        };
+        let total = self.objects_healed + self.objects_failed;
         if total > 0 {
             (self.objects_healed as f64 / total as f64) * 100.0
         } else {
@@ -450,7 +230,6 @@ mod tests {
         assert_eq!(progress.objects_scanned, 0);
         assert_eq!(progress.objects_healed, 0);
         assert_eq!(progress.objects_failed, 0);
-        assert_eq!(progress.skipped_objects, 0);
         assert_eq!(progress.skipped_new_versions, 0);
         assert_eq!(progress.skipped_ilm_expired, 0);
         assert_eq!(progress.objects_total_count, 0);
@@ -471,8 +250,10 @@ mod tests {
         assert_eq!(progress.objects_healed, 8);
         assert_eq!(progress.objects_failed, 2);
         assert_eq!(progress.bytes_processed, 1024);
-        assert_eq!(progress.progress_state, HealProgressState::Indeterminate);
-        assert_eq!(progress.progress_percentage, 0.0);
+        // Progress percentage should be calculated based on healed/total
+        // total = scanned + healed + failed = 10 + 8 + 2 = 20
+        // healed/total = 8/20 = 0.4 = 40%
+        assert!((progress.progress_percentage - 40.0).abs() < 0.001);
         assert!(progress.last_update_time.is_some());
     }
 
@@ -481,8 +262,7 @@ mod tests {
         let mut progress = HealProgress::new();
         progress.start_time = Some(SystemTime::now() - Duration::from_secs(10));
 
-        progress.set_total_baseline(100, 16384);
-        progress.update_progress(25, 25, 0, 4096);
+        progress.update_progress(100, 25, 0, 4096);
 
         let eta = progress
             .estimated_completion_time
@@ -495,7 +275,7 @@ mod tests {
         let mut progress = HealProgress::new();
         progress.set_total_baseline(10, 8192);
 
-        progress.update_progress(25, 25, 0, 4096);
+        progress.update_progress(100, 25, 0, 4096);
 
         assert!((progress.progress_percentage - 50.0).abs() < 0.001);
     }
@@ -505,7 +285,7 @@ mod tests {
         let mut progress = HealProgress::new();
         progress.set_total_baseline(10, 0);
 
-        progress.update_progress(5, 3, 2, 0);
+        progress.update_progress(100, 3, 2, 0);
 
         assert!((progress.progress_percentage - 50.0).abs() < 0.001);
     }
@@ -515,7 +295,7 @@ mod tests {
         let mut progress = HealProgress::new();
         progress.set_total_baseline(10, 0);
 
-        progress.update_progress(5, 3, 2, 0);
+        progress.update_progress(100, 3, 2, 0);
         progress.record_skipped_new_version();
 
         assert_eq!(progress.skipped_new_versions, 1);
@@ -556,8 +336,7 @@ mod tests {
     fn test_heal_progress_update_progress_all_healed() {
         let mut progress = HealProgress::new();
         // When scanned=0, healed=10, failed=0: total=10, progress = 10/10 = 100%
-        progress.update_progress(10, 10, 0, 2048);
-        progress.mark_completed();
+        progress.update_progress(0, 10, 0, 2048);
 
         // All healed, should be 100%
         assert!((progress.progress_percentage - 100.0).abs() < 0.001);
@@ -615,7 +394,6 @@ mod tests {
         assert_eq!(json["objectsScanned"], 10);
         assert_eq!(json["objectsHealed"], 8);
         assert_eq!(json["objectsFailed"], 2);
-        assert_eq!(json["skippedObjects"], 0);
         assert_eq!(json["skippedNewVersions"], 0);
         assert_eq!(json["skippedIlmExpired"], 0);
         assert_eq!(json["bytesProcessed"], 1024);
@@ -627,7 +405,6 @@ mod tests {
     fn test_heal_progress_is_completed_by_percentage() {
         let mut progress = HealProgress::new();
         progress.update_progress(10, 10, 0, 1024);
-        progress.mark_completed();
 
         assert!(progress.is_completed());
     }
@@ -638,7 +415,7 @@ mod tests {
         progress.objects_scanned = 10;
         progress.objects_healed = 8;
         progress.objects_failed = 2;
-        progress.mark_completed();
+        // healed + failed = 8 + 2 = 10 >= scanned = 10
         assert!(progress.is_completed());
     }
 
@@ -678,66 +455,6 @@ mod tests {
         assert!((progress.get_success_rate() - 100.0).abs() < 0.001);
     }
 
-    #[test]
-    fn single_object_progress_reaches_terminal_100() {
-        let mut progress = HealProgress::new();
-        progress.update_object_progress(1, 1, 0, 0, 128);
-        assert!(!progress.is_completed());
-        progress.mark_completed();
-        assert!(progress.is_completed());
-        assert_eq!(progress.progress_percentage, 100.0);
-    }
-
-    #[test]
-    fn progress_without_baseline_is_indeterminate() {
-        let mut progress = HealProgress::new();
-        progress.update_object_progress(1, 1, 0, 0, 128);
-        assert_eq!(progress.progress_state, HealProgressState::Indeterminate);
-        assert_eq!(progress.progress_percentage, 0.0);
-        assert!(progress.estimated_completion_time.is_none());
-    }
-
-    #[test]
-    fn progress_retry_is_exactly_once() {
-        let mut progress = HealProgress::new();
-        progress.set_total_baseline(1, 128);
-        progress.update_object_progress(1, 1, 0, 0, 128);
-        progress.update_object_progress(1, 1, 0, 0, 128);
-        assert_eq!(progress.objects_scanned, 1);
-        assert_eq!(progress.objects_healed, 1);
-        assert_eq!(progress.bytes_processed, 128);
-    }
-
-    #[test]
-    fn progress_never_triggers_cleanup_before_terminal_ledger_empty() {
-        let mut progress = HealProgress::new();
-        progress.progress_percentage = 100.0;
-        assert!(!progress.is_completed());
-        progress.mark_completed();
-        assert!(progress.is_completed());
-    }
-
-    #[test]
-    fn progress_counter_overflow_is_marked_unknown_without_aborting_completed_heal() {
-        let mut progress = HealProgress::new();
-        progress.update_object_progress(u64::MAX, u64::MAX, 1, 0, 0);
-        assert_eq!(progress.progress_state, HealProgressState::Unknown);
-        progress.mark_completed();
-        assert!(progress.is_completed());
-        assert_eq!(progress.progress_state, HealProgressState::Unknown);
-    }
-
-    #[test]
-    fn stage_updates_do_not_double_count_object_outcomes() {
-        let mut progress = HealProgress::new();
-        progress.update_object_progress(2, 1, 0, 1, 256);
-        progress.update_stage(3, 4);
-        assert_eq!(progress.kind, HealProgressKind::ObjectSweep);
-        assert_eq!(progress.objects_scanned, 2);
-        assert_eq!(progress.objects_healed, 1);
-        assert_eq!(progress.skipped_objects, 1);
-    }
-
     #[test]
     fn test_heal_statistics_new() {
         let stats = HealStatistics::new();

crates/heal/src/heal/resume.rs

@@ -51,6 +51,7 @@ const RESUME_STATE_FILE: &str = "ahm_resume_state.json";
 const REPLACEMENT_INTENT_FILE: &str = "ahm_replacement_intent.json";
 const RESUME_PROGRESS_FILE: &str = "ahm_progress.json";
 pub(super) const RESUME_CHECKPOINT_FILE: &str = "ahm_checkpoint.json";
+pub(super) const RESUME_CHECKPOINT_BLOCKED_FILE: &str = "ahm_checkpoint.blocked";
 const REPLACEMENT_COMPLETION_PROOF_FILE: &str = "ahm_replacement_completion_proof.json";
 const REPLACEMENT_RECOVERY_DIR: &str = "ahm-replacement";
 const REPLACEMENT_INTENT_SEAL_FILE: &str = "ahm_replacement_intent_seal";
@@ -340,12 +341,6 @@ pub struct ResumeState {
     pub failed_objects: u64,
     /// skipped objects
     pub skipped_objects: u64,
-    /// Terminal versions skipped because they were newer than the heal start.
-    #[serde(default)]
-    pub skipped_new_versions: u64,
-    /// Terminal versions handed to lifecycle expiry.
-    #[serde(default)]
-    pub skipped_ilm_expired: u64,
     /// current bucket
     pub current_bucket: Option<String>,
     /// current object
@@ -360,24 +355,6 @@ pub struct ResumeState {
     pub retry_count: u32,
     /// max retries
     pub max_retries: u32,
-    /// Bytes accounted by the object ledger; additive for old snapshots.
-    #[serde(default)]
-    pub processed_bytes: u64,
-    /// Total bytes from a complete usage snapshot, when available.
-    #[serde(default)]
-    pub total_bytes: u64,
-    /// Generation of the usage snapshot used for the baseline.
-    #[serde(default)]
-    pub baseline_generation: Option<u64>,
-    /// Whether the usage baseline is known. Missing in old snapshots means
-    /// indeterminate rather than a measured zero baseline.
-    #[serde(default)]
-    pub baseline_known: bool,
-    /// Persistent telemetry fence for counter/byte overflow or corruption.
-    /// It must survive a restart so a saturated snapshot is never presented as
-    /// a measured percentage on the next resume.
-    #[serde(default)]
-    pub counter_unknown: bool,
 }
 
 impl ResumeState {
@@ -401,8 +378,6 @@ impl ResumeState {
             successful_objects: 0,
             failed_objects: 0,
             skipped_objects: 0,
-            skipped_new_versions: 0,
-            skipped_ilm_expired: 0,
             current_bucket: None,
             current_object: None,
             completed_buckets: Vec::new(),
@@ -410,11 +385,6 @@ impl ResumeState {
             error_message: None,
             retry_count: 0,
             max_retries: 3,
-            processed_bytes: 0,
-            total_bytes: 0,
-            baseline_generation: None,
-            baseline_known: false,
-            counter_unknown: false,
         }
     }
 
@@ -443,39 +413,6 @@ impl ResumeState {
         self.last_update = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
     }
 
-    pub fn update_progress_with_bytes(
-        &mut self,
-        processed: u64,
-        successful: u64,
-        failed: u64,
-        skipped: u64,
-        processed_bytes: u64,
-    ) {
-        self.update_progress(processed, successful, failed, skipped);
-        self.processed_bytes = processed_bytes;
-    }
-
-    pub fn set_skipped_version_counts(&mut self, new_versions: u64, ilm_expired: u64) {
-        self.skipped_new_versions = new_versions;
-        self.skipped_ilm_expired = ilm_expired;
-        self.last_update = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
-    }
-
-    pub fn set_progress_baseline(&mut self, total_objects: u64, total_bytes: u64, generation: Option<u64>) {
-        self.total_objects = total_objects;
-        self.total_bytes = total_bytes;
-        self.baseline_generation = generation;
-        // This method is called only after a complete usage snapshot has been
-        // validated.  A complete but empty snapshot is still a known baseline.
-        self.baseline_known = true;
-        self.last_update = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
-    }
-
-    pub fn mark_counter_unknown(&mut self) {
-        self.counter_unknown = true;
-        self.last_update = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
-    }
-
     pub fn set_current_item(&mut self, bucket: Option<String>, object: Option<String>) {
         self.current_bucket = bucket;
         self.current_object = object;
@@ -518,10 +455,6 @@ impl ResumeState {
         self.successful_objects = 0;
         self.failed_objects = 0;
         self.skipped_objects = 0;
-        self.skipped_new_versions = 0;
-        self.skipped_ilm_expired = 0;
-        self.processed_bytes = 0;
-        self.counter_unknown = false;
         self.completed = false;
         // A retry re-scans every bucket from the beginning, so the version
         // cursor must be cleared too — otherwise the retry would resume mid-scan.
@@ -544,28 +477,14 @@ impl ResumeState {
     }
 
     pub fn get_progress_percentage(&self) -> f64 {
-        if self.completed {
-            return 100.0;
-        }
-        if self.counter_unknown {
-            return 0.0;
-        }
-        if !self.baseline_known {
-            return 0.0;
-        }
-        if self.total_bytes > 0 {
-            return ((self.processed_bytes as f64 / self.total_bytes as f64) * 100.0).min(99.999);
-        }
         if self.total_objects == 0 {
             return 0.0;
         }
-        ((self.processed_objects as f64 / self.total_objects as f64) * 100.0).min(99.999)
+        (self.processed_objects as f64 / self.total_objects as f64) * 100.0
     }
 
     pub fn get_success_rate(&self) -> f64 {
-        let Some(total) = self.successful_objects.checked_add(self.failed_objects) else {
-            return 0.0;
-        };
+        let total = self.successful_objects + self.failed_objects;
         if total == 0 {
             return 0.0;
         }
@@ -836,14 +755,6 @@ impl ResumeManager {
             state.successful_objects = 0;
             state.failed_objects = 0;
             state.skipped_objects = 0;
-            state.skipped_new_versions = 0;
-            state.skipped_ilm_expired = 0;
-            state.processed_bytes = 0;
-            state.total_objects = 0;
-            state.total_bytes = 0;
-            state.baseline_generation = None;
-            state.baseline_known = false;
-            state.counter_unknown = false;
             state.completed = false;
             state.completed_buckets.clear();
             state.schema_version = CURRENT_RESUME_SCHEMA;
@@ -928,41 +839,6 @@ impl ResumeManager {
         self.save_state_throttled().await
     }
 
-    pub async fn update_progress_with_bytes(
-        &self,
-        processed: u64,
-        successful: u64,
-        failed: u64,
-        skipped: u64,
-        processed_bytes: u64,
-    ) -> Result<()> {
-        let mut state = self.state.write().await;
-        state.update_progress_with_bytes(processed, successful, failed, skipped, processed_bytes);
-        drop(state);
-        self.save_state_throttled().await
-    }
-
-    pub async fn set_progress_baseline(&self, total_objects: u64, total_bytes: u64, generation: Option<u64>) -> Result<()> {
-        let mut state = self.state.write().await;
-        state.set_progress_baseline(total_objects, total_bytes, generation);
-        drop(state);
-        self.save_state_throttled().await
-    }
-
-    pub async fn mark_counter_unknown(&self) -> Result<()> {
-        let mut state = self.state.write().await;
-        state.mark_counter_unknown();
-        drop(state);
-        self.save_state().await
-    }
-
-    pub async fn set_skipped_version_counts(&self, new_versions: u64, ilm_expired: u64) -> Result<()> {
-        let mut state = self.state.write().await;
-        state.set_skipped_version_counts(new_versions, ilm_expired);
-        drop(state);
-        self.save_state_throttled().await
-    }
-
     /// Set current item. Called once per healed object, so persistence is
     /// throttled: the in-memory state always updates, but the snapshot is only
     /// written every `PERSIST_EVERY_MUTATIONS` calls or `PERSIST_INTERVAL`.

crates/heal/src/heal/resume/checkpoint.rs

@@ -13,21 +13,25 @@
 // limitations under the License.
 
 use crate::{Error, Result};
+use base64::Engine as _;
 use serde::{Deserialize, Serialize};
+use sha2::{Digest, Sha256};
 use std::collections::HashSet;
 use std::path::Path;
 use std::sync::{Arc, Mutex};
 use std::time::{SystemTime, UNIX_EPOCH};
-use tokio::sync::RwLock;
+use tokio::sync::{Mutex as AsyncMutex, RwLock};
 use tracing::{debug, warn};
 
-use super::super::{BUCKET_META_PREFIX, DiskStore, HealDiskExt as _, RUSTFS_META_BUCKET};
+use super::super::storage_api::owner::{EcstoreConditionalFileUpdate, EcstoreDiskAPI, EcstoreDiskBytes};
+use super::super::{BUCKET_META_PREFIX, DiskStore, HealDiskExt, RUSTFS_META_BUCKET};
 use super::{
-    LOG_COMPONENT_HEAL, LOG_SUBSYSTEM_RESUME, PersistThrottle, RESUME_CHECKPOINT_FILE, delete_resume_file, path_to_str,
-    validate_resume_task_id,
+    LOG_COMPONENT_HEAL, LOG_SUBSYSTEM_RESUME, PersistThrottle, RESUME_CHECKPOINT_BLOCKED_FILE, RESUME_CHECKPOINT_FILE,
+    delete_resume_file, path_to_str, validate_resume_task_id,
 };
 
 const EVENT_HEAL_CHECKPOINT_STATE: &str = "heal_checkpoint_state";
+const RESUME_CHECKPOINT_DIGEST_FILE: &str = "ahm_checkpoint.sha256";
 
 /// Current on-disk schema version for `ResumeCheckpoint`. Same rationale as
 /// `CURRENT_RESUME_SCHEMA`: pre-per-version dedup identities are not comparable
@@ -57,30 +61,6 @@ pub struct ResumeCheckpoint {
     pub failed_objects: HashSet<String>,
     /// skipped objects
     pub skipped_objects: HashSet<String>,
-    /// Aggregate object ledger counters restored alongside the dedup sets.
-    #[serde(default)]
-    pub successful_objects: u64,
-    #[serde(default)]
-    pub failed_object_count: u64,
-    #[serde(default)]
-    pub skipped_object_count: u64,
-    #[serde(default)]
-    pub skipped_new_versions: u64,
-    #[serde(default)]
-    pub skipped_ilm_expired: u64,
-    #[serde(default)]
-    pub processed_bytes: u64,
-    #[serde(default)]
-    pub total_objects: u64,
-    #[serde(default)]
-    pub total_bytes: u64,
-    #[serde(default)]
-    pub baseline_generation: Option<u64>,
-    #[serde(default)]
-    pub baseline_known: bool,
-    /// Persistent telemetry fence for counter/byte overflow or corruption.
-    #[serde(default)]
-    pub counter_unknown: bool,
 }
 
 impl ResumeCheckpoint {
@@ -94,17 +74,6 @@ impl ResumeCheckpoint {
             processed_objects: HashSet::new(),
             failed_objects: HashSet::new(),
             skipped_objects: HashSet::new(),
-            successful_objects: 0,
-            failed_object_count: 0,
-            skipped_object_count: 0,
-            skipped_new_versions: 0,
-            skipped_ilm_expired: 0,
-            processed_bytes: 0,
-            total_objects: 0,
-            total_bytes: 0,
-            baseline_generation: None,
-            baseline_known: false,
-            counter_unknown: false,
         }
     }
 
@@ -126,34 +95,6 @@ impl ResumeCheckpoint {
         self.skipped_objects.insert(object);
     }
 
-    pub fn update_progress(&mut self, successful: u64, failed: u64, skipped: u64, bytes: u64) {
-        self.successful_objects = successful;
-        self.failed_object_count = failed;
-        self.skipped_object_count = skipped;
-        self.processed_bytes = bytes;
-    }
-
-    pub fn set_progress_baseline(&mut self, total_objects: u64, total_bytes: u64, generation: Option<u64>) {
-        self.total_objects = total_objects;
-        self.total_bytes = total_bytes;
-        self.baseline_generation = generation;
-        // The caller has already validated that this is a complete snapshot;
-        // preserve the distinction between a known empty scope and an old
-        // checkpoint that omitted all baseline fields.
-        self.baseline_known = true;
-    }
-
-    pub fn mark_counter_unknown(&mut self) {
-        self.counter_unknown = true;
-        self.checkpoint_time = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
-    }
-
-    pub fn set_skipped_version_counts(&mut self, new_versions: u64, ilm_expired: u64) {
-        self.skipped_new_versions = new_versions;
-        self.skipped_ilm_expired = ilm_expired;
-        self.checkpoint_time = SystemTime::now().duration_since(UNIX_EPOCH).unwrap_or_default().as_secs();
-    }
-
     /// Advance past a fully-processed page: objects below `object_index` are
     /// skipped by position on resume, so the per-object sets no longer need
     /// their entries and would otherwise grow with the whole bucket.
@@ -170,17 +111,6 @@ impl ResumeCheckpoint {
         self.update_position(0, 0);
         self.processed_objects.clear();
         self.skipped_objects.clear();
-        self.successful_objects = 0;
-        self.failed_object_count = 0;
-        self.skipped_object_count = 0;
-        self.skipped_new_versions = 0;
-        self.skipped_ilm_expired = 0;
-        self.processed_bytes = 0;
-        self.total_objects = 0;
-        self.total_bytes = 0;
-        self.baseline_generation = None;
-        self.baseline_known = false;
-        self.counter_unknown = false;
         self.failed_objects.clear();
     }
 }
@@ -190,17 +120,111 @@ pub struct CheckpointManager {
     disk: DiskStore,
     checkpoint: Arc<RwLock<ResumeCheckpoint>>,
     throttle: Mutex<PersistThrottle>,
+    save_lock: AsyncMutex<()>,
+    last_saved: Mutex<Option<EcstoreDiskBytes>>,
 }
 
 impl CheckpointManager {
+    fn blocked_path(task_id: &str) -> std::path::PathBuf {
+        Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_BLOCKED_FILE}"))
+    }
+
+    /// Return whether a checkpoint was permanently isolated after a malformed
+    /// or unsupported snapshot was observed.
+    pub(crate) async fn is_blocked(disk: &DiskStore, task_id: &str) -> bool {
+        if validate_resume_task_id(task_id).is_err() {
+            return false;
+        }
+        let blocked_path = Self::blocked_path(task_id);
+        let Ok(path) = path_to_str(&blocked_path) else {
+            return false;
+        };
+        match HealDiskExt::read_all(disk.as_ref(), RUSTFS_META_BUCKET, path).await {
+            Ok(_) => true,
+            Err(crate::heal::DiskError::FileNotFound) => false,
+            Err(_) => true,
+        }
+    }
+
+    /// Validate the checkpoint while enumerating resumable state. This reads
+    /// the checkpoint once and also isolates malformed or unsupported data.
+    pub(crate) async fn is_resumable(disk: &DiskStore, task_id: &str) -> Result<bool> {
+        validate_resume_task_id(task_id)?;
+        if Self::is_blocked(disk, task_id).await {
+            return Err(Error::InvalidCheckpoint(format!("Resume task {task_id} has a blocked checkpoint")));
+        }
+        let file_path = Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_FILE}"));
+        let Ok(path) = path_to_str(&file_path) else {
+            return Err(Error::InvalidCheckpoint("Resume checkpoint path is not valid UTF-8".to_string()));
+        };
+        match HealDiskExt::read_all(disk.as_ref(), RUSTFS_META_BUCKET, path).await {
+            Ok(bytes) if bytes.is_empty() => Ok(true),
+            Ok(bytes) => Self::load_from_data(disk.clone(), task_id, bytes.to_vec())
+                .await
+                .map(|_| true),
+            Err(crate::heal::DiskError::FileNotFound) => Ok(true),
+            Err(error) => Err(error.into()),
+        }
+    }
+
+    async fn block_invalid_snapshot(disk: &DiskStore, task_id: &str) {
+        // This marker is intentionally version-agnostic: an unsupported reader
+        // must stop selector retries until an operator cleans up the snapshot.
+        let blocked_path = Self::blocked_path(task_id);
+        let Ok(path) = path_to_str(&blocked_path) else {
+            return;
+        };
+        let result = EcstoreDiskAPI::compare_and_update_file(
+            disk.as_ref(),
+            RUSTFS_META_BUCKET,
+            path,
+            None,
+            Some(EcstoreDiskBytes::from_static(b"blocked")),
+        )
+        .await;
+        match result {
+            Ok(EcstoreConditionalFileUpdate::Updated | EcstoreConditionalFileUpdate::Mismatch) => {}
+            Ok(EcstoreConditionalFileUpdate::Missing) => warn!(
+                target: "rustfs::heal::resume",
+                event = EVENT_HEAL_CHECKPOINT_STATE,
+                component = LOG_COMPONENT_HEAL,
+                subsystem = LOG_SUBSYSTEM_RESUME,
+                task_id,
+                state = "blocked_marker_write_failed",
+                error = "marker target disappeared",
+                "Heal checkpoint could not persist its blocked marker"
+            ),
+            Err(error) => warn!(
+                target: "rustfs::heal::resume",
+                event = EVENT_HEAL_CHECKPOINT_STATE,
+                component = LOG_COMPONENT_HEAL,
+                subsystem = LOG_SUBSYSTEM_RESUME,
+                task_id,
+                state = "blocked_marker_write_failed",
+                error = %error,
+                "Heal checkpoint could not persist its blocked marker"
+            ),
+        }
+    }
+
     /// create new checkpoint manager
     pub async fn new(disk: DiskStore, task_id: String) -> Result<Self> {
         validate_resume_task_id(&task_id)?;
+        let checkpoint_volume = format!("{RUSTFS_META_BUCKET}/{BUCKET_META_PREFIX}");
+        if let Err(error) = EcstoreDiskAPI::make_volume(disk.as_ref(), &checkpoint_volume).await
+            && error != crate::heal::DiskError::VolumeExists
+        {
+            return Err(Error::TaskExecutionFailed {
+                message: format!("Failed to create checkpoint volume: {error}"),
+            });
+        }
         let checkpoint = ResumeCheckpoint::new(task_id);
         let manager = Self {
             disk,
             checkpoint: Arc::new(RwLock::new(checkpoint)),
             throttle: Mutex::new(PersistThrottle::new()),
+            save_lock: AsyncMutex::new(()),
+            last_saved: Mutex::new(None),
         };
 
         // save initial checkpoint
@@ -214,6 +238,7 @@ impl CheckpointManager {
                 error = %e,
                 "Heal checkpoint persistence failed"
             );
+            return Err(e);
         }
         Ok(manager)
     }
@@ -222,11 +247,22 @@ impl CheckpointManager {
     pub async fn load_from_disk(disk: DiskStore, task_id: &str) -> Result<Self> {
         validate_resume_task_id(task_id)?;
         let checkpoint_data = Self::read_checkpoint_file(&disk, task_id).await?;
-        let mut checkpoint: ResumeCheckpoint =
-            serde_json::from_slice(&checkpoint_data).map_err(|e| Error::TaskExecutionFailed {
-                message: format!("Failed to deserialize checkpoint: {e}"),
-            })?;
+        Self::load_from_data(disk, task_id, checkpoint_data).await
+    }
+
+    async fn load_from_data(disk: DiskStore, task_id: &str, checkpoint_data: Vec<u8>) -> Result<Self> {
+        validate_resume_task_id(task_id)?;
+        let mut checkpoint: ResumeCheckpoint = match serde_json::from_slice(&checkpoint_data) {
+            Ok(checkpoint) => checkpoint,
+            Err(error) => {
+                Self::block_invalid_snapshot(&disk, task_id).await;
+                return Err(Error::TaskExecutionFailed {
+                    message: format!("Failed to deserialize checkpoint: {error}"),
+                });
+            }
+        };
         if checkpoint.task_id != task_id {
+            Self::block_invalid_snapshot(&disk, task_id).await;
             return Err(Error::TaskExecutionFailed {
                 message: "Resume checkpoint task id does not match filename".to_string(),
             });
@@ -237,6 +273,7 @@ impl CheckpointManager {
         // identities. Discard the stale sets and position, then stamp the
         // current schema so the scan restarts cleanly.
         if checkpoint.schema_version > CURRENT_CHECKPOINT_SCHEMA {
+            Self::block_invalid_snapshot(&disk, task_id).await;
             return Err(Error::TaskExecutionFailed {
                 message: format!(
                     "Checkpoint schema {} is newer than supported schema {CURRENT_CHECKPOINT_SCHEMA}",
@@ -259,17 +296,6 @@ impl CheckpointManager {
             checkpoint.processed_objects.clear();
             checkpoint.failed_objects.clear();
             checkpoint.skipped_objects.clear();
-            checkpoint.successful_objects = 0;
-            checkpoint.failed_object_count = 0;
-            checkpoint.skipped_object_count = 0;
-            checkpoint.skipped_new_versions = 0;
-            checkpoint.skipped_ilm_expired = 0;
-            checkpoint.processed_bytes = 0;
-            checkpoint.total_objects = 0;
-            checkpoint.total_bytes = 0;
-            checkpoint.baseline_generation = None;
-            checkpoint.baseline_known = false;
-            checkpoint.counter_unknown = false;
             checkpoint.current_bucket_index = 0;
             checkpoint.current_object_index = 0;
             checkpoint.schema_version = CURRENT_CHECKPOINT_SCHEMA;
@@ -279,6 +305,8 @@ impl CheckpointManager {
             disk,
             checkpoint: Arc::new(RwLock::new(checkpoint)),
             throttle: Mutex::new(PersistThrottle::new()),
+            save_lock: AsyncMutex::new(()),
+            last_saved: Mutex::new(Some(EcstoreDiskBytes::from(checkpoint_data))),
         })
     }
 
@@ -289,7 +317,7 @@ impl CheckpointManager {
         }
         let file_path = Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_FILE}"));
         match path_to_str(&file_path) {
-            Ok(path_str) => match disk.read_all(RUSTFS_META_BUCKET, path_str).await {
+            Ok(path_str) => match HealDiskExt::read_all(disk.as_ref(), RUSTFS_META_BUCKET, path_str).await {
                 Ok(data) => !data.is_empty(),
                 Err(_) => false,
             },
@@ -352,34 +380,6 @@ impl CheckpointManager {
         self.save_checkpoint_if_due().await
     }
 
-    pub async fn update_progress(&self, successful: u64, failed: u64, skipped: u64, bytes: u64) -> Result<()> {
-        let mut checkpoint = self.checkpoint.write().await;
-        checkpoint.update_progress(successful, failed, skipped, bytes);
-        drop(checkpoint);
-        self.save_checkpoint_if_due().await
-    }
-
-    pub async fn set_progress_baseline(&self, total_objects: u64, total_bytes: u64, generation: Option<u64>) -> Result<()> {
-        let mut checkpoint = self.checkpoint.write().await;
-        checkpoint.set_progress_baseline(total_objects, total_bytes, generation);
-        drop(checkpoint);
-        self.save_checkpoint_throttled().await
-    }
-
-    pub async fn mark_counter_unknown(&self) -> Result<()> {
-        let mut checkpoint = self.checkpoint.write().await;
-        checkpoint.mark_counter_unknown();
-        drop(checkpoint);
-        self.save_checkpoint().await
-    }
-
-    pub async fn set_skipped_version_counts(&self, new_versions: u64, ilm_expired: u64) -> Result<()> {
-        let mut checkpoint = self.checkpoint.write().await;
-        checkpoint.set_skipped_version_counts(new_versions, ilm_expired);
-        drop(checkpoint);
-        self.save_checkpoint_throttled().await
-    }
-
     async fn save_checkpoint_if_due(&self) -> Result<()> {
         let should_save = self.throttle.lock().map(|mut throttle| throttle.record()).unwrap_or(true);
         if !should_save {
@@ -405,6 +405,8 @@ impl CheckpointManager {
 
         let checkpoint_file = Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_FILE}"));
         delete_resume_file(&self.disk, &checkpoint_file).await?;
+        delete_resume_file(&self.disk, &Self::digest_path(&task_id)).await?;
+        delete_resume_file(&self.disk, &Self::blocked_path(&task_id)).await?;
 
         debug!(
             target: "rustfs::heal::resume",
@@ -420,21 +422,139 @@ impl CheckpointManager {
 
     /// save checkpoint to disk
     async fn save_checkpoint(&self) -> Result<()> {
-        let checkpoint = self.checkpoint.read().await;
+        // Serialize saves and take the snapshot only after acquiring the lock:
+        // a slower writer must not publish a snapshot taken before a newer one.
+        let _save_guard = self.save_lock.lock().await;
+        let checkpoint = self.checkpoint.read().await.clone();
         validate_resume_task_id(&checkpoint.task_id)?;
-        let checkpoint_data = serde_json::to_vec(&*checkpoint).map_err(|e| Error::TaskExecutionFailed {
-            message: format!("Failed to serialize checkpoint: {e}"),
-        })?;
+        let checkpoint_data =
+            EcstoreDiskBytes::from(serde_json::to_vec(&checkpoint).map_err(|e| Error::TaskExecutionFailed {
+                message: format!("Failed to serialize checkpoint: {e}"),
+            })?);
 
         let file_path = Path::new(BUCKET_META_PREFIX).join(format!("{}_{}", checkpoint.task_id, RESUME_CHECKPOINT_FILE));
 
         let path_str = path_to_str(&file_path)?;
-        self.disk
-            .write_all(RUSTFS_META_BUCKET, path_str, checkpoint_data.into())
+        let last_saved = self
+            .last_saved
+            .lock()
+            .map_err(|_| Error::TaskExecutionFailed {
+                message: "Checkpoint save state lock is poisoned; refusing to save".to_string(),
+            })?
+            .clone();
+        let update = EcstoreDiskAPI::compare_and_update_file(
+            self.disk.as_ref(),
+            RUSTFS_META_BUCKET,
+            path_str,
+            last_saved.clone(),
+            Some(checkpoint_data.clone()),
+        )
+        .await
+        .map_err(|e| Error::TaskExecutionFailed {
+            message: format!("Failed to save checkpoint: {e}"),
+        })?;
+
+        let expected = match update {
+            EcstoreConditionalFileUpdate::Updated => None,
+            EcstoreConditionalFileUpdate::Missing => {
+                return Err(Error::TaskExecutionFailed {
+                    message: "Checkpoint was removed after this manager saved it; refusing to recreate it".to_string(),
+                });
+            }
+            EcstoreConditionalFileUpdate::Mismatch => {
+                // A healthy manager normally completes the CAS above without
+                // another read or JSON parse. Inspect only after a mismatch so
+                // corruption and future schemas cannot be overwritten blindly.
+                let existing = match HealDiskExt::read_all(self.disk.as_ref(), RUSTFS_META_BUCKET, path_str).await {
+                    Ok(existing) => existing,
+                    Err(crate::heal::DiskError::FileNotFound) => {
+                        return Err(Error::TaskExecutionFailed {
+                            message: "Checkpoint was removed after this manager saved it; refusing to recreate it".to_string(),
+                        });
+                    }
+                    Err(error) => {
+                        return Err(Error::TaskExecutionFailed {
+                            message: format!("Failed to inspect checkpoint after CAS mismatch: {error}"),
+                        });
+                    }
+                };
+
+                if existing.is_empty() && last_saved.is_none() {
+                    Some(existing)
+                } else {
+                    let current: ResumeCheckpoint = match serde_json::from_slice(&existing) {
+                        Ok(current) => current,
+                        Err(error) => {
+                            Self::block_invalid_snapshot(&self.disk, &checkpoint.task_id).await;
+                            return Err(Error::TaskExecutionFailed {
+                                message: format!("Existing checkpoint is corrupt: {error}"),
+                            });
+                        }
+                    };
+                    if current.task_id != checkpoint.task_id {
+                        Self::block_invalid_snapshot(&self.disk, &checkpoint.task_id).await;
+                        return Err(Error::TaskExecutionFailed {
+                            message: "Existing checkpoint task id does not match filename".to_string(),
+                        });
+                    }
+                    if current.schema_version > CURRENT_CHECKPOINT_SCHEMA {
+                        Self::block_invalid_snapshot(&self.disk, &checkpoint.task_id).await;
+                        return Err(Error::TaskExecutionFailed {
+                            message: format!(
+                                "Existing checkpoint schema {} is newer than supported schema {CURRENT_CHECKPOINT_SCHEMA}",
+                                current.schema_version
+                            ),
+                        });
+                    }
+                    if last_saved.as_ref().is_none_or(|saved| saved.as_ref() != existing.as_ref()) {
+                        return Err(Error::TaskExecutionFailed {
+                            message: "Checkpoint changed since this manager loaded it; refusing to overwrite newer progress"
+                                .to_string(),
+                        });
+                    }
+                    Some(existing)
+                }
+            }
+        };
+
+        if let Some(expected) = expected {
+            match EcstoreDiskAPI::compare_and_update_file(
+                self.disk.as_ref(),
+                RUSTFS_META_BUCKET,
+                path_str,
+                Some(expected),
+                Some(checkpoint_data.clone()),
+            )
             .await
             .map_err(|e| Error::TaskExecutionFailed {
-                message: format!("Failed to save checkpoint: {e}"),
-            })?;
+                message: format!("Failed to save checkpoint after CAS mismatch: {e}"),
+            })? {
+                EcstoreConditionalFileUpdate::Updated => {}
+                EcstoreConditionalFileUpdate::Missing | EcstoreConditionalFileUpdate::Mismatch => {
+                    return Err(Error::TaskExecutionFailed {
+                        message: "Checkpoint changed while saving; refusing to overwrite newer progress".to_string(),
+                    });
+                }
+            }
+        }
+
+        let digest_path = Self::digest_path(&checkpoint.task_id);
+        let digest = base64::engine::general_purpose::STANDARD.encode(Sha256::digest(checkpoint_data.as_ref()));
+        HealDiskExt::write_all(
+            self.disk.as_ref(),
+            RUSTFS_META_BUCKET,
+            path_to_str(&digest_path)?,
+            EcstoreDiskBytes::from(digest.into_bytes()),
+        )
+        .await
+        .map_err(|e| Error::TaskExecutionFailed {
+            message: format!("Failed to save checkpoint digest: {e}"),
+        })?;
+
+        let mut last_saved = self.last_saved.lock().map_err(|_| Error::TaskExecutionFailed {
+            message: "Checkpoint save state lock is poisoned after save".to_string(),
+        })?;
+        *last_saved = Some(checkpoint_data);
 
         debug!(
             target: "rustfs::heal::resume",
@@ -454,11 +574,35 @@ impl CheckpointManager {
         let file_path = Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_FILE}"));
 
         let path_str = path_to_str(&file_path)?;
-        disk.read_all(RUSTFS_META_BUCKET, path_str)
+        let checkpoint = HealDiskExt::read_all(disk.as_ref(), RUSTFS_META_BUCKET, path_str)
             .await
             .map(|bytes| bytes.to_vec())
             .map_err(|e| Error::TaskExecutionFailed {
                 message: format!("Failed to read checkpoint file: {e}"),
-            })
+            })?;
+        let digest_path = Self::digest_path(task_id);
+        let digest_path = path_to_str(&digest_path)?;
+        match HealDiskExt::read_all(disk.as_ref(), RUSTFS_META_BUCKET, digest_path).await {
+            Ok(expected) => {
+                let actual = base64::engine::general_purpose::STANDARD.encode(Sha256::digest(&checkpoint));
+                if expected.as_ref() != actual.as_bytes() {
+                    Self::block_invalid_snapshot(disk, task_id).await;
+                    return Err(Error::InvalidCheckpoint(format!(
+                        "Resume checkpoint digest does not match task {task_id}"
+                    )));
+                }
+            }
+            Err(crate::heal::DiskError::FileNotFound) => {}
+            Err(error) => {
+                return Err(Error::TaskExecutionFailed {
+                    message: format!("Failed to read checkpoint digest: {error}"),
+                });
+            }
+        }
+        Ok(checkpoint)
+    }
+
+    fn digest_path(task_id: &str) -> std::path::PathBuf {
+        Path::new(BUCKET_META_PREFIX).join(format!("{task_id}_{RESUME_CHECKPOINT_DIGEST_FILE}"))
     }
 }

crates/heal/src/heal/resume/tests.rs

@@ -1296,7 +1296,6 @@ async fn test_resume_state_progress() {
     assert_eq!(progress, 0.0); // total_objects is 0
 
     state.total_objects = 100;
-    state.baseline_known = true;
     let progress = state.get_progress_percentage();
     assert_eq!(progress, 10.0);
 }
@@ -1640,120 +1639,6 @@ async fn current_normal_resume_schema_preserves_progress() {
     temp_dir.close().expect("remove schema test directory");
 }
 
-#[test]
-fn progress_checkpoint_restores_bytes_and_generation() {
-    let mut checkpoint = ResumeCheckpoint::new("progress-checkpoint".to_string());
-    checkpoint.set_progress_baseline(9, 4096, Some(77));
-    checkpoint.update_progress(4, 1, 2, 2048);
-    checkpoint.set_skipped_version_counts(3, 1);
-    checkpoint.mark_counter_unknown();
-
-    let restored: ResumeCheckpoint =
-        serde_json::from_slice(&serde_json::to_vec(&checkpoint).expect("serialize checkpoint")).expect("deserialize checkpoint");
-    assert_eq!(restored.processed_bytes, 2048);
-    assert_eq!(restored.total_objects, 9);
-    assert_eq!(restored.total_bytes, 4096);
-    assert_eq!(restored.baseline_generation, Some(77));
-    assert!(restored.baseline_known);
-    assert_eq!(restored.skipped_new_versions, 3);
-    assert_eq!(restored.skipped_ilm_expired, 1);
-    assert!(restored.counter_unknown);
-}
-
-#[test]
-fn old_progress_schema_migrates_missing_fields_to_unknown() {
-    let state = ResumeState::new(
-        "legacy-progress".to_string(),
-        "erasure_set".to_string(),
-        "pool_0_set_0".to_string(),
-        Vec::new(),
-    );
-    let mut value = serde_json::to_value(state).expect("serialize legacy-compatible state");
-    let object = value.as_object_mut().expect("state must be an object");
-    for field in [
-        "processed_bytes",
-        "total_bytes",
-        "baseline_generation",
-        "baseline_known",
-        "skipped_new_versions",
-        "skipped_ilm_expired",
-    ] {
-        object.remove(field);
-    }
-    object.insert("total_objects".to_string(), serde_json::json!(10));
-    object.insert("processed_objects".to_string(), serde_json::json!(5));
-    let restored: ResumeState = serde_json::from_value(value).expect("deserialize old progress state");
-    assert_eq!(restored.processed_bytes, 0);
-    assert_eq!(restored.total_bytes, 0);
-    assert_eq!(restored.baseline_generation, None);
-    assert!(!restored.baseline_known, "missing baseline must remain unknown");
-    assert_eq!(restored.get_progress_percentage(), 0.0);
-    assert_eq!(restored.skipped_new_versions, 0);
-    assert_eq!(restored.skipped_ilm_expired, 0);
-}
-
-#[test]
-fn progress_counter_unknown_survives_resume_round_trip() {
-    let mut state = ResumeState::new(
-        "overflow-progress".to_string(),
-        "erasure_set".to_string(),
-        "pool_0_set_0".to_string(),
-        Vec::new(),
-    );
-    state.mark_counter_unknown();
-
-    let restored: ResumeState =
-        serde_json::from_slice(&serde_json::to_vec(&state).expect("serialize resume state")).expect("deserialize resume state");
-    assert!(restored.counter_unknown);
-}
-
-#[tokio::test]
-async fn checkpoint_progress_survives_a_torn_resume_summary_write() {
-    let (_temp_dir, disk) = schema_test_disk().await;
-    let task_id = ResumeUtils::generate_task_id();
-    let _resume = ResumeManager::new(
-        disk.clone(),
-        task_id.clone(),
-        "erasure_set".to_string(),
-        "pool_0_set_0".to_string(),
-        vec!["bucket".to_string()],
-    )
-    .await
-    .expect("resume state should persist");
-    let checkpoint = CheckpointManager::new(disk.clone(), task_id.clone())
-        .await
-        .expect("checkpoint should persist");
-
-    // This is the ordering used by the erasure-set loop: the checkpoint is
-    // durable before the summary write.  Stop here to model a crash in the
-    // inter-store window and verify that the recovery authority retains the
-    // telemetry fence and bytes.
-    checkpoint
-        .update_progress(3, 0, 0, 1024)
-        .await
-        .expect("checkpoint progress should persist");
-    checkpoint.mark_counter_unknown().await.expect("unknown fence should persist");
-    checkpoint
-        .update_position(0, 3)
-        .await
-        .expect("checkpoint position should persist");
-
-    let restored_checkpoint = CheckpointManager::load_from_disk(disk.clone(), &task_id)
-        .await
-        .expect("checkpoint should reload")
-        .get_checkpoint()
-        .await;
-    let restored_resume = ResumeManager::load_from_disk(disk, &task_id)
-        .await
-        .expect("resume summary should reload")
-        .get_state()
-        .await;
-    assert!(restored_checkpoint.counter_unknown);
-    assert_eq!(restored_checkpoint.processed_bytes, 1024);
-    assert_eq!(restored_checkpoint.current_object_index, 3);
-    assert!(!restored_resume.counter_unknown, "summary is intentionally the torn/older store");
-}
-
 #[tokio::test]
 async fn future_resume_and_checkpoint_schemas_are_rejected() {
     let (temp_dir, disk) = schema_test_disk().await;
@@ -1790,6 +1675,285 @@ async fn future_resume_and_checkpoint_schemas_are_rejected() {
     temp_dir.close().expect("remove schema test directory");
 }
 
+#[tokio::test]
+async fn checkpoint_save_does_not_replace_a_non_empty_truncated_snapshot() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create checkpoint manager");
+    let checkpoint_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_FILE}");
+    let truncated = b"{\"schema_version\":5,\"task_id\":";
+    disk.write_all(RUSTFS_META_BUCKET, &checkpoint_path, truncated.as_slice().into())
+        .await
+        .expect("write truncated checkpoint fixture");
+
+    let error = manager
+        .update_position(2, 7)
+        .await
+        .expect_err("a truncated checkpoint must fail closed during save");
+    assert!(error.to_string().contains("Existing checkpoint is corrupt"));
+    assert_eq!(
+        disk.read_all(RUSTFS_META_BUCKET, &checkpoint_path)
+            .await
+            .expect("read truncated checkpoint fixture"),
+        truncated.as_slice()
+    );
+    assert!(CheckpointManager::is_blocked(&disk, &task_id).await);
+    temp_dir.close().expect("remove checkpoint save test directory");
+}
+
+#[tokio::test]
+async fn checkpoint_save_does_not_replace_a_future_schema_snapshot() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create checkpoint manager");
+    let checkpoint_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_FILE}");
+    let mut future = ResumeCheckpoint::new(task_id.clone());
+    future.schema_version = CURRENT_CHECKPOINT_SCHEMA + 1;
+    let future_bytes = serde_json::to_vec(&future).expect("serialize future checkpoint fixture");
+    disk.write_all(RUSTFS_META_BUCKET, &checkpoint_path, future_bytes.clone().into())
+        .await
+        .expect("write future checkpoint fixture");
+
+    let error = manager
+        .update_position(2, 7)
+        .await
+        .expect_err("a future schema must fail closed during save");
+    assert!(error.to_string().contains("Existing checkpoint schema"));
+    assert_eq!(
+        disk.read_all(RUSTFS_META_BUCKET, &checkpoint_path)
+            .await
+            .expect("read future checkpoint fixture"),
+        future_bytes
+    );
+    assert!(CheckpointManager::is_blocked(&disk, &task_id).await);
+    temp_dir.close().expect("remove future schema test directory");
+}
+
+#[tokio::test]
+async fn checkpoint_digest_rejects_same_length_progress_tampering() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create checkpoint manager");
+    manager
+        .add_processed_object("victim-a".to_string())
+        .await
+        .expect("persist checkpoint progress");
+    manager.update_position(1, 1).await.expect("flush checkpoint progress");
+    let checkpoint_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_FILE}");
+    let original = disk
+        .read_all(RUSTFS_META_BUCKET, &checkpoint_path)
+        .await
+        .expect("read checkpoint fixture");
+    let tampered = original
+        .windows(b"victim-a".len())
+        .position(|window| window == b"victim-a")
+        .map(|index| {
+            let mut bytes = original.to_vec();
+            bytes[index..index + b"victim-a".len()].copy_from_slice(b"victim-b");
+            bytes
+        })
+        .expect("checkpoint should contain the processed object");
+    disk.write_all(RUSTFS_META_BUCKET, &checkpoint_path, tampered.into())
+        .await
+        .expect("write tampered checkpoint fixture");
+
+    assert!(CheckpointManager::load_from_disk(disk.clone(), &task_id).await.is_err());
+    assert!(CheckpointManager::is_blocked(&disk, &task_id).await);
+    temp_dir.close().expect("remove digest test directory");
+}
+
+#[tokio::test]
+async fn new_checkpoint_manager_rebuilds_an_empty_snapshot() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let checkpoint_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_FILE}");
+    disk.write_all(RUSTFS_META_BUCKET, &checkpoint_path, EcstoreDiskBytes::new())
+        .await
+        .expect("write empty checkpoint fixture");
+
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("a new manager must rebuild an empty checkpoint");
+    manager
+        .update_position(3, 11)
+        .await
+        .expect("rebuilt checkpoint must remain writable");
+    assert!(CheckpointManager::has_checkpoint(&disk, &task_id).await);
+    temp_dir.close().expect("remove empty checkpoint test directory");
+}
+
+#[tokio::test]
+async fn deleted_checkpoint_is_not_recreated_by_an_old_manager() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create checkpoint manager");
+    manager.cleanup().await.expect("delete checkpoint fixture");
+
+    let error = manager
+        .update_position(1, 2)
+        .await
+        .expect_err("an old manager must not resurrect a deleted checkpoint");
+    assert!(error.to_string().contains("removed after this manager saved it"));
+    assert!(!CheckpointManager::has_checkpoint(&disk, &task_id).await);
+    temp_dir.close().expect("remove deleted checkpoint test directory");
+}
+
+#[tokio::test]
+async fn an_empty_blocked_marker_still_blocks_resume_selection() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let manager = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create checkpoint manager");
+    let blocked_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_BLOCKED_FILE}");
+    disk.write_all(RUSTFS_META_BUCKET, &blocked_path, EcstoreDiskBytes::new())
+        .await
+        .expect("write empty blocked marker fixture");
+
+    assert!(CheckpointManager::is_blocked(&disk, &task_id).await);
+    assert!(CheckpointManager::is_resumable(&disk, &task_id).await.is_err());
+    // Recovery requires replacing/cleaning the snapshot, then removing the
+    // marker; ordinary selector retries are intentionally not an unlock path.
+    manager.cleanup().await.expect("clean blocked checkpoint");
+    assert!(!CheckpointManager::is_blocked(&disk, &task_id).await);
+    temp_dir.close().expect("remove empty blocked marker test directory");
+}
+
+#[tokio::test]
+async fn resumable_selector_skips_healthy_tasks_with_blocked_markers() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let tasks = [
+        (ResumeUtils::generate_task_id(), EcstoreDiskBytes::new()),
+        (ResumeUtils::generate_task_id(), EcstoreDiskBytes::from_static(b"blocked")),
+    ];
+    for (task_id, marker) in &tasks {
+        ResumeManager::new(
+            disk.clone(),
+            task_id.clone(),
+            "erasure_set".to_string(),
+            "pool_0_set_0".to_string(),
+            vec!["bucket".to_string()],
+        )
+        .await
+        .expect("create healthy resume state");
+        CheckpointManager::new(disk.clone(), task_id.clone())
+            .await
+            .expect("create healthy checkpoint");
+        let checkpoint_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_FILE}");
+        let checkpoint_bytes = disk
+            .read_all(RUSTFS_META_BUCKET, &checkpoint_path)
+            .await
+            .expect("read healthy checkpoint before blocking");
+        let marker_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_BLOCKED_FILE}");
+        disk.write_all(RUSTFS_META_BUCKET, &marker_path, marker.clone())
+            .await
+            .expect("write blocked marker");
+
+        assert!(ResumeUtils::get_resumable_tasks(&disk).await.is_err());
+        assert_eq!(
+            disk.read_all(RUSTFS_META_BUCKET, &checkpoint_path)
+                .await
+                .expect("read healthy checkpoint after blocking"),
+            checkpoint_bytes
+        );
+    }
+    temp_dir.close().expect("remove blocked selector test directory");
+}
+
+#[tokio::test]
+async fn stale_checkpoint_manager_cannot_overwrite_newer_progress() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let task_id = ResumeUtils::generate_task_id();
+    let first = CheckpointManager::new(disk.clone(), task_id.clone())
+        .await
+        .expect("create first checkpoint manager");
+    let second = CheckpointManager::load_from_disk(disk.clone(), &task_id)
+        .await
+        .expect("load second checkpoint manager");
+
+    second
+        .update_position(4, 20)
+        .await
+        .expect("persist newer checkpoint progress");
+    let error = first
+        .update_position(1, 3)
+        .await
+        .expect_err("stale checkpoint manager must not overwrite newer progress");
+    assert!(error.to_string().contains("newer progress"));
+
+    let persisted = CheckpointManager::load_from_disk(disk.clone(), &task_id)
+        .await
+        .expect("load newer checkpoint progress")
+        .get_checkpoint()
+        .await;
+    assert_eq!(persisted.current_bucket_index, 4);
+    assert_eq!(persisted.current_object_index, 20);
+    temp_dir.close().expect("remove stale manager test directory");
+}
+
+#[tokio::test]
+async fn resumable_selector_isolates_future_and_corrupt_checkpoints() {
+    let (temp_dir, disk) = schema_test_disk().await;
+    let future_task = ResumeUtils::generate_task_id();
+    let corrupt_task = ResumeUtils::generate_task_id();
+    for task_id in [&future_task, &corrupt_task] {
+        ResumeManager::new(
+            disk.clone(),
+            task_id.to_string(),
+            "erasure_set".to_string(),
+            "pool_0_set_0".to_string(),
+            vec!["bucket".to_string()],
+        )
+        .await
+        .expect("create resumable state fixture");
+    }
+
+    let future_path = format!("{BUCKET_META_PREFIX}/{future_task}_{RESUME_CHECKPOINT_FILE}");
+    let mut future = ResumeCheckpoint::new(future_task.clone());
+    future.schema_version = CURRENT_CHECKPOINT_SCHEMA + 1;
+    let future_bytes = serde_json::to_vec(&future).expect("serialize future checkpoint fixture");
+    disk.write_all(RUSTFS_META_BUCKET, &future_path, future_bytes.clone().into())
+        .await
+        .expect("write future checkpoint fixture");
+    let corrupt_path = format!("{BUCKET_META_PREFIX}/{corrupt_task}_{RESUME_CHECKPOINT_FILE}");
+    let corrupt_bytes = b"{truncated";
+    disk.write_all(RUSTFS_META_BUCKET, &corrupt_path, corrupt_bytes.as_slice().into())
+        .await
+        .expect("write corrupt checkpoint fixture");
+
+    assert!(CheckpointManager::is_resumable(&disk, &future_task).await.is_err());
+    assert!(CheckpointManager::is_resumable(&disk, &corrupt_task).await.is_err());
+    assert!(ResumeUtils::get_resumable_tasks(&disk).await.is_err());
+    for (task_id, path, bytes) in [
+        (&future_task, future_path, future_bytes),
+        (&corrupt_task, corrupt_path, corrupt_bytes.to_vec()),
+    ] {
+        assert_eq!(
+            disk.read_all(RUSTFS_META_BUCKET, &path)
+                .await
+                .expect("read isolated checkpoint bytes"),
+            bytes
+        );
+        let blocked_path = format!("{BUCKET_META_PREFIX}/{task_id}_{RESUME_CHECKPOINT_BLOCKED_FILE}");
+        assert!(
+            !disk
+                .read_all(RUSTFS_META_BUCKET, &blocked_path)
+                .await
+                .expect("read checkpoint blocked marker")
+                .is_empty()
+        );
+    }
+    temp_dir.close().expect("remove selector isolation test directory");
+}
+
 #[test]
 fn test_persist_throttle_batches_until_threshold() {
     let mut throttle = PersistThrottle::new();

crates/heal/src/heal/resume/utils.rs

@@ -21,7 +21,7 @@ use uuid::Uuid;
 use super::super::{BUCKET_META_PREFIX, DiskError, DiskStore, HealDiskExt as _, RUSTFS_META_BUCKET};
 use super::replacement::{ReplacementPhase, ReplacementRecoveryRecord};
 use super::{
-    EVENT_HEAL_RESUME_STATE, LOG_COMPONENT_HEAL, LOG_SUBSYSTEM_RESUME, REPLACEMENT_COMPLETION_PROOF_FILE,
+    CheckpointManager, EVENT_HEAL_RESUME_STATE, LOG_COMPONENT_HEAL, LOG_SUBSYSTEM_RESUME, REPLACEMENT_COMPLETION_PROOF_FILE,
     REPLACEMENT_INTENT_FILE, RESUME_STATE_FILE, ResumeManager, ResumeStateFile, is_replacement_intent, path_to_str,
     replacement_recovery_corruption_for_state_load, replacement_recovery_dir, validate_resume_task_id,
 };
@@ -67,6 +67,7 @@ impl ResumeUtils {
                 // Extract task ID from filename: {task_id}_ahm_resume_state.json
                 if let Some(task_id) = entry.strip_suffix(&format!("_{RESUME_STATE_FILE}"))
                     && validate_resume_task_id(task_id).is_ok()
+                    && CheckpointManager::is_resumable(disk, task_id).await?
                 {
                     task_ids.push(task_id.to_string());
                 }

crates/heal/src/heal/storage.rs

@@ -19,8 +19,6 @@ use base64::engine::general_purpose::URL_SAFE_NO_PAD;
 use rustfs_common::heal_channel::{HealOpts, HealScanMode};
 use rustfs_madmin::heal_commands::HealResultItem;
 use serde::{Deserialize, Serialize};
-use std::collections::hash_map::DefaultHasher;
-use std::hash::{Hash, Hasher};
 use std::sync::Arc;
 use tracing::{debug, error, warn};
 
@@ -36,9 +34,6 @@ pub use super::{HealObjectInfo, HealObjectOptions, HealPutObjReader};
 pub struct HealBucketUsageBaseline {
     pub objects_count: u64,
     pub bytes: u64,
-    /// Stable identity of the validated usage snapshot and selected scope.
-    /// `None` is retained for test/legacy providers that cannot expose one.
-    pub generation: Option<u64>,
 }
 
 pub struct HealLifecycleExpiryContext {
@@ -790,30 +785,11 @@ impl HealStorageAPI for ECStoreHealStorage {
         let mut baseline = HealBucketUsageBaseline::default();
         for bucket in buckets {
             if let Some(usage) = info.buckets_usage.get(bucket) {
-                baseline.objects_count = match baseline.objects_count.checked_add(usage.objects_count) {
-                    Some(total) => total,
-                    // A corrupt/overflowing usage snapshot is not a usable
-                    // denominator.  Leave progress indeterminate instead of
-                    // turning saturation into a plausible percentage.
-                    None => return Ok(None),
-                };
-                baseline.bytes = match baseline.bytes.checked_add(usage.size) {
-                    Some(total) => total,
-                    None => return Ok(None),
-                };
+                baseline.objects_count = baseline.objects_count.saturating_add(usage.objects_count);
+                baseline.bytes = baseline.bytes.saturating_add(usage.size);
             }
         }
 
-        let identity = info.snapshot_identity();
-        let mut hasher = DefaultHasher::new();
-        identity.last_update.hash(&mut hasher);
-        identity.scanner_cycle.hash(&mut hasher);
-        identity.scanner_epoch.hash(&mut hasher);
-        let mut scope = buckets.to_vec();
-        scope.sort_unstable();
-        scope.hash(&mut hasher);
-        baseline.generation = Some(hasher.finish());
-
         Ok(Some(baseline))
     }
 

crates/heal/src/heal/task.rs

@@ -649,7 +649,7 @@ impl HealTask {
 
         let mut progress = self.progress.write().await;
         progress.set_current_object(Some(format!("skipped: {bucket}/{object}")));
-        progress.update_stage(1, 1);
+        progress.update_progress(0, 1, 0, 0);
         Ok(())
     }
 
@@ -733,7 +733,7 @@ impl HealTask {
             "Heal object skipped for data usage cache after transient error"
         );
         let mut progress = self.progress.write().await;
-        progress.update_stage(3, 3);
+        progress.update_progress(3, 3, 0, 0);
         true
     }
 
@@ -757,7 +757,7 @@ impl HealTask {
         );
         let mut progress = self.progress.write().await;
         progress.set_current_object(Some(format!("skipped: {bucket}/{object}")));
-        progress.update_stage(4, 4);
+        progress.update_progress(4, 4, 0, 0);
         true
     }
 
@@ -831,10 +831,6 @@ impl HealTask {
 
         match &result {
             Ok(_) => {
-                // A stage can reach its final step before the durable resume
-                // ledger and cleanup fences commit. Publish terminal 100 only
-                // after the enclosing operation has returned success.
-                self.progress.write().await.mark_completed();
                 let mut status = self.status.write().await;
                 *status = HealTaskStatus::Completed;
                 demote_to_debug_when!(self.heal_type.is_per_object(), info, target: "rustfs::heal::task", {

crates/heal/src/heal/task/heal_bucket.rs

@@ -13,7 +13,6 @@
 // limitations under the License.
 /// bucket/cluster/prefix heal: the recursive bucket-objects sweep and the erasure-set usage baseline
 use super::*;
-use crate::heal::progress::{add_bytes, increment_counter};
 
 impl HealTask {
     pub(super) async fn heal_bucket(&self, bucket: &str) -> Result<()> {
@@ -33,7 +32,7 @@ impl HealTask {
         {
             let mut progress = self.progress.write().await;
             progress.set_current_object(Some(format!("bucket: {bucket}")));
-            progress.update_stage(0, 3);
+            progress.update_progress(0, 3, 0, 0);
         }
 
         // Step 1: Check if bucket exists
@@ -67,7 +66,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(1, 3);
+            progress.update_progress(1, 3, 0, 0);
         }
 
         // Step 2: Perform bucket heal using ecstore
@@ -123,7 +122,7 @@ impl HealTask {
 
                 if !self.options.recursive {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
                 Ok(())
             }
@@ -143,7 +142,7 @@ impl HealTask {
                 );
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
                 Err(Error::TaskExecutionFailed {
                     message: format!("Failed to heal bucket {bucket}: {e}"),
@@ -246,7 +245,6 @@ impl HealTask {
         let mut scanned = 0u64;
         let mut healed = 0u64;
         let mut failed = 0u64;
-        let mut skipped = 0u64;
         let mut retryable_failed = 0u64;
         let mut permanent_failed = 0u64;
         let mut bytes = 0u64;
@@ -288,14 +286,14 @@ impl HealTask {
                 let mut retry = Vec::with_capacity(pending.len());
                 for item in pending {
                     self.check_control_flags().await?;
-                    let mut telemetry_unknown = false;
                     let object = item.name.as_str();
                     if retry_attempt == 0 {
-                        telemetry_unknown |= !increment_counter(&mut scanned);
+                        scanned = scanned.saturating_add(1);
                     }
                     {
                         let mut progress = self.progress.write().await;
                         progress.set_current_object(Some(format!("{bucket}/{object}")));
+                        progress.update_progress(scanned, healed, failed, bytes);
                     }
 
                     let error = match self
@@ -306,13 +304,13 @@ impl HealTask {
                         .await
                     {
                         Ok((result, None)) => {
-                            telemetry_unknown |= !increment_counter(&mut healed);
-                            telemetry_unknown |= !add_bytes(&mut bytes, u64::try_from(result.object_size).unwrap_or(u64::MAX));
+                            healed = healed.saturating_add(1);
+                            bytes = bytes.saturating_add(u64::try_from(result.object_size).unwrap_or_default());
                             self.record_result_item(result).await;
                             None
                         }
                         Ok((_, Some(err))) if is_missing_object_dir_heal_result(object, &err) => {
-                            telemetry_unknown |= !increment_counter(&mut healed);
+                            healed = healed.saturating_add(1);
                             debug!(
                                 target: "rustfs::heal::task",
                                 event = EVENT_HEAL_BUCKET_RESULT,
@@ -331,7 +329,6 @@ impl HealTask {
 
                     if let Some(err) = error {
                         if Self::should_skip_data_usage_cache_heal_error(bucket, object, &err) {
-                            telemetry_unknown |= !increment_counter(&mut skipped);
                             warn!(
                                 target: "rustfs::heal::task",
                                 event = EVENT_HEAL_BUCKET_RESULT,
@@ -360,7 +357,7 @@ impl HealTask {
                             );
                             retry.push(item);
                         } else {
-                            telemetry_unknown |= !increment_counter(&mut failed);
+                            failed = failed.saturating_add(1);
                             if err.is_recoverable_heal() {
                                 retryable_failed = retryable_failed.saturating_add(1);
                             } else {
@@ -387,10 +384,7 @@ impl HealTask {
                     }
 
                     let mut progress = self.progress.write().await;
-                    progress.update_object_progress(scanned, healed, failed, skipped, bytes);
-                    if telemetry_unknown {
-                        progress.mark_unknown();
-                    }
+                    progress.update_progress(scanned, healed, failed, bytes);
                 }
                 pending = retry;
                 retry_attempt = retry_attempt.saturating_add(1);
@@ -437,7 +431,7 @@ impl HealTask {
         Ok(())
     }
 
-    pub(super) async fn apply_erasure_set_usage_baseline(&self, buckets: &[String], set_disk_id: &str) -> Result<()> {
+    pub(super) async fn apply_erasure_set_usage_baseline(&self, buckets: &[String]) -> Result<()> {
         let baseline = match self
             .await_with_control(self.storage.erasure_set_usage_baseline(buckets))
             .await
@@ -448,26 +442,9 @@ impl HealTask {
             Err(_) => return Ok(()),
         };
 
-        let HealBucketUsageBaseline {
-            objects_count,
-            bytes,
-            generation,
-        } = baseline;
-        let generation = generation.map(|snapshot_generation| {
-            use std::hash::{Hash, Hasher};
-            let mut hasher = std::collections::hash_map::DefaultHasher::new();
-            snapshot_generation.hash(&mut hasher);
-            set_disk_id.hash(&mut hasher);
-            self.options.pool_index.hash(&mut hasher);
-            self.options.set_index.hash(&mut hasher);
-            hasher.finish()
-        });
+        let HealBucketUsageBaseline { objects_count, bytes } = baseline;
         let mut progress = self.progress.write().await;
-        if let Some(generation) = generation {
-            progress.set_total_baseline_with_generation(objects_count, bytes, generation);
-        } else {
-            progress.set_total_baseline(objects_count, bytes);
-        }
+        progress.set_total_baseline(objects_count, bytes);
         Ok(())
     }
 }

crates/heal/src/heal/task/heal_erasure_set.rs

@@ -32,7 +32,7 @@ impl HealTask {
         {
             let mut progress = self.progress.write().await;
             progress.set_current_object(Some(format!("erasure_set: {} ({} buckets)", set_disk_id, buckets.len())));
-            progress.update_stage(0, 4);
+            progress.update_progress(0, 4, 0, 0);
         }
 
         let is_auto_replacement = matches!(self.source, HealRequestSource::AutoHeal) && !self.heal_endpoints.is_empty();
@@ -158,7 +158,7 @@ impl HealTask {
             None
         };
 
-        self.apply_erasure_set_usage_baseline(&buckets, &set_disk_id).await?;
+        self.apply_erasure_set_usage_baseline(&buckets).await?;
 
         let healing_marker = format!("{set_disk_id}:{}", self.id);
         if let Some((disk, resume_manager, _)) = replacement_resume.as_ref() {
@@ -244,7 +244,7 @@ impl HealTask {
                         );
                         {
                             let mut progress = self.progress.write().await;
-                            progress.update_stage(4, 4);
+                            progress.update_progress(4, 4, 0, 0);
                         }
                         return Err(Error::TaskExecutionFailed {
                             message: format!("Failed to heal disk format for {set_disk_id}: {e}"),
@@ -297,7 +297,7 @@ impl HealTask {
                 );
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(4, 4);
+                    progress.update_progress(4, 4, 0, 0);
                 }
                 return Err(Error::TaskExecutionFailed {
                     message: format!("Failed to heal disk format for {set_disk_id}: {e}"),
@@ -307,7 +307,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(1, 4);
+            progress.update_progress(1, 4, 0, 0);
         }
 
         // The rebuilt disks are formatted now: mark them as healing so
@@ -336,7 +336,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(2, 4);
+            progress.update_progress(2, 4, 0, 0);
         }
 
         // Step 3: Heal bucket structure
@@ -420,7 +420,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(3, 4);
+            progress.update_progress(3, 4, 0, 0);
         }
 
         // Step 4: Execute erasure set heal with resume
@@ -463,7 +463,9 @@ impl HealTask {
         };
 
         {
-            self.progress.write().await.update_stage(4, 4);
+            let mut progress = self.progress.write().await;
+            let bytes_processed = progress.bytes_processed;
+            progress.update_progress(4, 4, 0, bytes_processed);
         }
 
         match result {

crates/heal/src/heal/task/heal_metadata.rs

@@ -32,7 +32,7 @@ impl HealTask {
         {
             let mut progress = self.progress.write().await;
             progress.set_current_object(Some(format!("metadata: {bucket}/{object}")));
-            progress.update_stage(0, 3);
+            progress.update_progress(0, 3, 0, 0);
         }
 
         // Step 1: Check if object exists
@@ -74,7 +74,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(1, 3);
+            progress.update_progress(1, 3, 0, 0);
         }
 
         // Step 2: Perform metadata heal using ecstore
@@ -122,7 +122,7 @@ impl HealTask {
                     );
                     {
                         let mut progress = self.progress.write().await;
-                        progress.update_stage(3, 3);
+                        progress.update_progress(3, 3, 0, 0);
                     }
                     return Err(Error::TaskExecutionFailed {
                         message: format!("Failed to heal metadata {bucket}/{object}: {e}"),
@@ -145,7 +145,7 @@ impl HealTask {
 
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
                 self.record_result_item(result).await;
                 Ok(())
@@ -167,7 +167,7 @@ impl HealTask {
                 );
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
                 Err(Error::TaskExecutionFailed {
                     message: format!("Failed to heal metadata {bucket}/{object}: {e}"),
@@ -194,7 +194,7 @@ impl HealTask {
         {
             let mut progress = self.progress.write().await;
             progress.set_current_object(Some(format!("ec_decode: {bucket}/{object}")));
-            progress.update_stage(0, 3);
+            progress.update_progress(0, 3, 0, 0);
         }
 
         // Step 1: Check if object exists
@@ -236,7 +236,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(1, 3);
+            progress.update_progress(1, 3, 0, 0);
         }
 
         // Step 2: Perform EC decode heal using ecstore
@@ -284,7 +284,7 @@ impl HealTask {
                     );
                     {
                         let mut progress = self.progress.write().await;
-                        progress.update_stage(3, 3);
+                        progress.update_progress(3, 3, 0, 0);
                     }
                     return Err(Error::TaskExecutionFailed {
                         message: format!("Failed to heal EC decode {bucket}/{object}: {e}"),
@@ -309,7 +309,7 @@ impl HealTask {
 
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_object_progress(1, 1, 0, 0, object_size);
+                    progress.update_progress(3, 3, 0, object_size);
                 }
                 self.record_result_item(result).await;
                 Ok(())
@@ -331,7 +331,7 @@ impl HealTask {
                 );
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
                 Err(Error::TaskExecutionFailed {
                     message: format!("Failed to heal EC decode {bucket}/{object}: {e}"),

crates/heal/src/heal/task/heal_object.rs

@@ -36,7 +36,7 @@ impl HealTask {
         {
             let mut progress = self.progress.write().await;
             progress.set_current_object(Some(format!("{bucket}/{object}")));
-            progress.update_stage(0, 4);
+            progress.update_progress(0, 4, 0, 0);
         }
 
         // Step 1: Check if object exists and get metadata
@@ -132,7 +132,7 @@ impl HealTask {
 
         {
             let mut progress = self.progress.write().await;
-            progress.update_stage(1, 3);
+            progress.update_progress(1, 3, 0, 0);
         }
 
         // Step 2: directly call ecstore to perform heal
@@ -187,7 +187,7 @@ impl HealTask {
                         );
                         {
                             let mut progress = self.progress.write().await;
-                            progress.update_stage(3, 3);
+                            progress.update_progress(3, 3, 0, 0);
                         }
                         return Ok(());
                     }
@@ -207,7 +207,7 @@ impl HealTask {
 
                     {
                         let mut progress = self.progress.write().await;
-                        progress.update_stage(3, 3);
+                        progress.update_progress(3, 3, 0, 0);
                     }
 
                     if Self::should_return_typed_heal_error(&e) {
@@ -249,7 +249,7 @@ impl HealTask {
 
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_object_progress(1, 1, 0, 0, object_size);
+                    progress.update_progress(3, 3, 0, object_size);
                 }
                 self.record_result_item(result).await;
                 Ok(())
@@ -275,7 +275,7 @@ impl HealTask {
                     );
                     {
                         let mut progress = self.progress.write().await;
-                        progress.update_stage(3, 3);
+                        progress.update_progress(3, 3, 0, 0);
                     }
                     return Ok(());
                 }
@@ -295,7 +295,7 @@ impl HealTask {
 
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_stage(3, 3);
+                    progress.update_progress(3, 3, 0, 0);
                 }
 
                 if Self::should_return_typed_heal_error(&e) {
@@ -414,7 +414,7 @@ impl HealTask {
 
                 {
                     let mut progress = self.progress.write().await;
-                    progress.update_object_progress(1, 1, 0, 0, object_size);
+                    progress.update_progress(4, 4, 0, object_size);
                 }
                 self.record_result_item(result).await;
                 Ok(())

crates/heal/src/heal/task/tests.rs

@@ -2096,7 +2096,6 @@ async fn erasure_set_heal_applies_usage_baseline_to_progress() {
         usage_baseline: Mutex::new(Some(HealBucketUsageBaseline {
             objects_count: 10,
             bytes: 8,
-            generation: Some(1),
         })),
         ..Default::default()
     });
@@ -2120,8 +2119,6 @@ async fn erasure_set_heal_applies_usage_baseline_to_progress() {
     let progress = task.get_progress().await;
     assert_eq!(progress.objects_total_count, 10);
     assert_eq!(progress.objects_total_size, 8);
-    assert!(progress.baseline_generation.is_some());
-    assert!(progress.baseline_known);
     assert_eq!(progress.bytes_processed, 2);
     assert!((progress.progress_percentage - 25.0).abs() < 0.001);
 }