fix: empty map slot not inserted in forest (#1642)

Author: juan518munoz

CHANGELOG.md

@@ -5,6 +5,7 @@
 ### Fixes
 
 - Fixed network monitor displaying explorer URL as a "null" hyperlink when unset ([#1617](https://github.com/0xMiden/miden-node/pull/1617)).
+- Fixed empty storage maps not being inserted into `storage_entries` table when inserting storage delta ([#1642](https://github.com/0xMiden/miden-node/pull/1642)).
 
 ## v0.13.3 (2026-01-29)
 

Cargo.lock

@@ -28,7 +28,7 @@ license      = "MIT"
 readme       = "README.md"
 repository   = "https://github.com/0xMiden/miden-node"
 rust-version = "1.90"
-version      = "0.13.3"
+version      = "0.13.4"
 
 # Optimize the cryptography for faster tests involving account creation.
 [profile.test.package.miden-crypto]

Cargo.toml

@@ -500,11 +500,13 @@ impl InnerForest {
                 })
                 .collect();
 
-            // if the delta is empty, make sure we create an entry in the storage map roots map,
-            // but no need to do anything else
+            // if the delta is empty, make sure we create an entry in the storage map roots map
+            // and storage entries map (so storage_map_entries() queries work)
             if map_entries.is_empty() {
                 self.storage_map_roots
                     .insert((account_id, slot_name.clone(), block_num), prev_root);
+                self.storage_entries
+                    .insert((account_id, slot_name.clone(), block_num), BTreeMap::new());
 
                 continue;
             }

crates/store/src/inner_forest/mod.rs

@@ -444,3 +444,77 @@ fn test_storage_map_incremental_updates() {
     assert_ne!(root_2, root_3);
     assert_ne!(root_1, root_3);
 }
+
+#[test]
+fn test_empty_storage_map_entries_query() {
+    use miden_protocol::account::auth::PublicKeyCommitment;
+    use miden_protocol::account::{
+        AccountBuilder,
+        AccountComponent,
+        AccountStorageMode,
+        AccountType,
+        StorageMap,
+        StorageSlot,
+    };
+    use miden_standards::account::auth::AuthFalcon512Rpo;
+    use miden_standards::code_builder::CodeBuilder;
+
+    let mut forest = InnerForest::new();
+    let block_num = BlockNumber::GENESIS.child();
+    let slot_name = StorageSlotName::mock(0);
+
+    // Create an account with an empty storage map slot
+    let storage_map = StorageMap::with_entries(vec![]).unwrap();
+    let component_storage = vec![StorageSlot::with_map(slot_name.clone(), storage_map)];
+
+    let component_code = CodeBuilder::default()
+        .compile_component_code("test::interface", "pub proc test push.1 end")
+        .unwrap();
+    let account_component = AccountComponent::new(component_code, component_storage)
+        .unwrap()
+        .with_supports_all_types();
+
+    let account = AccountBuilder::new([1u8; 32])
+        .account_type(AccountType::RegularAccountImmutableCode)
+        .storage_mode(AccountStorageMode::Public)
+        .with_component(account_component)
+        .with_auth_component(AuthFalcon512Rpo::new(PublicKeyCommitment::from(EMPTY_WORD)))
+        .build_existing()
+        .unwrap();
+
+    let account_id = account.id();
+
+    // Convert to full-state delta (this triggers insert_account_storage path)
+    let full_delta = AccountDelta::try_from(account).unwrap();
+    assert!(full_delta.is_full_state(), "delta should be full-state");
+
+    // Apply the delta
+    forest.update_account(block_num, &full_delta).unwrap();
+
+    // Verify storage_map_roots has an entry
+    assert!(
+        forest
+            .storage_map_roots
+            .contains_key(&(account_id, slot_name.clone(), block_num)),
+        "storage_map_roots should have an entry for the empty map"
+    );
+
+    // Verify storage_map_entries returns Some (not None) - this is the bug fix validation
+    let result = forest.storage_map_entries(account_id, slot_name.clone(), block_num);
+    assert!(result.is_some(), "storage_map_entries should return Some for empty maps");
+
+    // Verify the entries are empty
+    let details = result.unwrap();
+    assert_eq!(details.slot_name, slot_name);
+    match details.entries {
+        StorageMapEntries::AllEntries(entries) => {
+            assert!(entries.is_empty(), "entries should be empty for an empty map");
+        },
+        StorageMapEntries::LimitExceeded => {
+            panic!("should not exceed limit for empty map");
+        },
+        StorageMapEntries::EntriesWithProofs(_) => {
+            panic!("should not have proofs for empty map query");
+        },
+    }
+}