fix: eliminate unnecessary cleanup I/O costs for empty tree deletions

docs/book/src/batch-operations.md

@@ -44,13 +44,24 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
-    Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
-    Skip,            // Check, and silently skip deletion if non-empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
+    Error,                  // Return Error::DeletingNonEmptyTree if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
+    Skip,                   // Check, and silently skip deletion if non-empty
 }
 ```
 
+| Variant | Tree state | Emptiness check | Deletes tree | Storage cleanup |
+|---|---|---|---|---|
+| `DontCheckWithNoCleanup` | empty | No | Yes | No |
+| `DontCheckWithNoCleanup` | non-empty | No | Yes | No |
+| `DeleteChildren` | empty | No | Yes | Yes |
+| `DeleteChildren` | non-empty | No | Yes | Yes |
+| `Error` | empty | Yes | Yes | Yes |
+| `Error` | non-empty | Yes | No (returns error) | No |
+| `Skip` | empty | Yes | Yes | Yes |
+| `Skip` | non-empty | Yes | No (silently skips) | No |
+
 Each operation is wrapped in a `QualifiedGroveDbOp` that includes the path:
 
 ```rust

docs/book/translations/ar/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/cs/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/de/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/es/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/fr/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/id/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/it/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/ja/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/ko/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/pl/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/pt/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/ru/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/th/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/tr/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/vi/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```

docs/book/translations/zh/src/batch-operations.md

@@ -44,9 +44,9 @@ pub enum NonMerkTreeMeta {
 
 ```rust
 pub enum SubelementsDeletionBehavior {
-    DontCheck,       // Skip emptiness check; caller guarantees tree is empty
+    DontCheckWithNoCleanup, // Skip emptiness check AND post-apply cleanup; caller guarantees tree is empty
     Error,           // Return Error::DeletingNonEmptyTree if non-empty
-    DeleteChildren,  // Check, and recursively delete children if non-empty
+    DeleteChildren,         // Skip emptiness check, but perform post-apply storage cleanup
     Skip,            // Check, and silently skip deletion if non-empty
 }
 ```