diff --git a/src/mir/builder/control_flow/joinir/patterns/exit_binding.rs b/src/mir/builder/control_flow/joinir/patterns/exit_binding.rs
index cd9c3767..d219a469 100644
--- a/src/mir/builder/control_flow/joinir/patterns/exit_binding.rs
+++ b/src/mir/builder/control_flow/joinir/patterns/exit_binding.rs
@@ -176,8 +176,8 @@ impl<'a> ExitBindingBuilder<'a> {
 
     /// Allocate a new ValueId for a post-loop carrier
     ///
-    /// TODO: This should be delegated to a proper ValueId allocator
-    /// For now, we use a placeholder strategy
+    /// Phase 193-4: Temporary sequential allocation strategy.
+    /// Future improvement: Delegate to MirBuilder's next_value_id() for proper allocation.
     fn allocate_new_value_id(&self) -> ValueId {
         // Find the maximum ValueId in current variable_map
         let max_id = self.variable_map.values()