[dbsp] Fix CircuitHandle::is_replay_complete.

ryzhyk · ryzhyk · commit 95b9a45dde12 · 2026-05-12T16:49:38.000-07:00
Bootstrapping is considered completed when all replay sources are complete and
the bootstrapping transaction has committed. The latter condition was missing.
This did not cause any issues because we only called this function between
transactions.

Signed-off-by: Leonid Ryzhyk &lt;ryzhyk@gmail.com&gt;
diff --git a/crates/dbsp/src/circuit/circuit_builder.rs b/crates/dbsp/src/circuit/circuit_builder.rs
@@ -7545,10 +7545,16 @@ impl CircuitHandle {
             return true;
         };
 
-        replay_info.replay_sources.keys().all(|node_id| {
+        // Bootstrapping is finished when all replay sources have completed their replay and the
+        // transaction has been committed.
+
+        let all_complete = replay_info.replay_sources.keys().all(|node_id| {
             self.circuit
                 .map_local_node_mut(*node_id, &mut |node| node.is_replay_complete())
-        })
+        });
+
+        all_complete && self.is_commit_complete()
+
     }
 
     /// Finalize the replay phase of the circuit.
