keyless/immutable test generalization

Author: roberto-bayardo

storage/src/qmdb/current/db.rs

@@ -274,10 +274,6 @@ where
     /// the receiver's grafted-pin derivation requires chunk-aligned, absorbed state at the start
     /// of the range, and locations above this boundary place that derivation in the
     /// delayed-merge-unstable region (relevant for MMB).
-    ///
-    /// For families without delayed merges this is the inactivity floor rounded down to the
-    /// nearest chunk boundary. For families with delayed merges (MMB) it is held back further,
-    /// until the youngest pruned chunk-pair's height-`gh+1` parent has been born in the ops tree.
     pub fn sync_boundary(&self) -> Result<Location<F>, Error<F>> {
         self.settled_bitmap_prune_loc()
     }
@@ -397,14 +393,15 @@ where
     /// Prunes historical operations prior to `prune_loc`. This does not affect the db's root or
     /// snapshot.
     ///
-    /// Pruning is clipped to the settled bitmap boundary (see [`Db::sync_boundary`]): the ops
-    /// log's lower bound is never advanced past where the grafting overlay has been pruned. The
-    /// bitmap and grafted tree advance to that same settled boundary regardless of `prune_loc`.
+    /// Pruning is clipped to the settled bitmap boundary (see [`Db::sync_boundary`]): the ops log's
+    /// lower bound is never advanced past where the grafting overlay has been pruned. The bitmap
+    /// and grafted tree advance to that same settled boundary regardless of `prune_loc`.
     ///
     /// # Errors
     ///
     /// - Returns [Error::PruneBeyondMinRequired] if `prune_loc` > inactivity floor.
-    /// - Returns [`crate::merkle::Error::LocationOverflow`] if `prune_loc` > [crate::merkle::Family::MAX_LEAVES].
+    /// - Returns [`crate::merkle::Error::LocationOverflow`] if `prune_loc` >
+    ///   [crate::merkle::Family::MAX_LEAVES].
     pub async fn prune(&mut self, prune_loc: Location<F>) -> Result<(), Error<F>> {
         let inactivity_floor = self.inactivity_floor_loc();
         if prune_loc > inactivity_floor {

storage/src/qmdb/current/mod.rs

@@ -1820,10 +1820,10 @@ pub mod tests {
         });
     }
 
-    /// Verify that on a non-delayed-merge (MMR) family `pruning_boundary()` lags the
-    /// inactivity floor only by chunk alignment (less than one chunk) — never by a
-    /// delayed-merge absorption window. Guards against an accidental regression that
-    /// would introduce a larger lag on families that don't need it.
+    /// Verify that on a non-delayed-merge (MMR) family `pruning_boundary()` lags the inactivity
+    /// floor only by chunk alignment (less than one chunk) — never by a delayed-merge absorption
+    /// window. Guards against an accidental regression that would introduce a larger lag on
+    /// families that don't need it.
     #[test_traced]
     fn test_current_mmr_prune_boundary_lag_is_only_chunk_alignment() {
         let executor = deterministic::Runner::default();
@@ -1867,9 +1867,8 @@ pub mod tests {
         });
     }
 
-    /// Verify that `prune(loc)` with `loc < pruning_boundary()` prunes the ops journal only
-    /// as far as the caller requested. The clip must pick the smaller of the two — it must
-    /// not over-prune when the caller asked for less than the settled boundary.
+    /// Verify that `prune(loc)` with `loc < pruning_boundary()` prunes the ops journal only as far
+    /// as the caller requested.
     #[test_traced]
     fn test_current_prune_below_settled_boundary_is_honored() {
         let executor = deterministic::Runner::default();

storage/src/qmdb/current/sync/tests.rs

@@ -1,18 +1,17 @@
 //! Tests for [crate::qmdb::current] state sync.
 //!
-//! This module reuses the shared sync test functions from [crate::qmdb::any::sync::tests]
-//! by implementing [SyncTestHarness] for current database types. The key difference from
-//! `any` harnesses is that `sync_target_root` returns the **ops root** (via
+//! This module reuses the shared sync test functions from [crate::qmdb::any::sync::tests] by
+//! implementing [SyncTestHarness] for current database types. The key difference from `any`
+//! harnesses is that `sync_target_root` returns the **ops root** (via
 //! [qmdb::sync::Database::root](crate::qmdb::sync::Database::root)), not the canonical root
 //! returned by `Db::root()`.
 //!
 //! Harnesses are instantiated for **both** MMR and MMB merkle families across each (ordered,
-//! unordered) x (fixed, variable) database variant, so the shared suite runs twice per
-//! variant.
+//! unordered) x (fixed, variable) database variant, so the shared suite runs twice per variant.
 //!
 //! In addition to the shared harness-based suite, this module contains focused tests for
-//! `current`-specific sync behavior: overlay-state authentication (canonical-root check),
-//! pruned MMB round-trip, and target-update regression coverage.
+//! `current`-specific sync behavior: overlay-state authentication (canonical-root check), pruned
+//! MMB round-trip, and target-update regression coverage.
 
 use crate::qmdb::{
     any::sync::tests::{ConfigOf, SyncTestHarness},