diff --git a/src/mir/verification/cfg.rs b/src/mir/verification/cfg.rs
index 62e1445b..90ef8b24 100644
--- a/src/mir/verification/cfg.rs
+++ b/src/mir/verification/cfg.rs
@@ -26,69 +26,6 @@ pub fn check_control_flow(function: &MirFunction) -> Result<(), Vec<Verification
                 });
             }
         }
-
-        // Phase 260 P0: Fail-fast if terminator edge-args and legacy jump_args diverge.
-        if block.has_legacy_jump_args() && block.legacy_jump_args_layout().is_none() {
-            errors.push(VerificationError::ControlFlowError {
-                block: *block_id,
-                reason: "Legacy jump_args layout missing".to_string(),
-            });
-        }
-        if let Some(term) = &block.terminator {
-            match term {
-                MirInstruction::Jump {
-                    edge_args: Some(edge_args),
-                    ..
-                } => {
-                    if block.has_legacy_jump_args() {
-                        let Some(legacy_layout) = block.legacy_jump_args_layout() else {
-                            errors.push(VerificationError::ControlFlowError {
-                                block: *block_id,
-                                reason: "Legacy jump_args layout missing with edge-args present"
-                                    .to_string(),
-                            });
-                            continue;
-                        };
-                        let legacy_values = block.legacy_jump_args_values().unwrap_or_default();
-                        if edge_args.values.as_slice() != legacy_values {
-                            errors.push(VerificationError::ControlFlowError {
-                                block: *block_id,
-                                reason: format!(
-                                    "Edge-args values mismatch: edge_args={:?}, legacy={:?}",
-                                    edge_args.values, legacy_values
-                                ),
-                            });
-                        }
-                        if edge_args.layout != legacy_layout {
-                            errors.push(VerificationError::ControlFlowError {
-                                block: *block_id,
-                                reason: format!(
-                                    "Edge-args layout mismatch: edge_args={:?}, legacy={:?}",
-                                    edge_args.layout, legacy_layout
-                                ),
-                            });
-                        }
-                    }
-                }
-                MirInstruction::Jump { edge_args: None, .. } => {
-                    if block.has_legacy_jump_args() {
-                        errors.push(VerificationError::ControlFlowError {
-                            block: *block_id,
-                            reason: "Legacy jump_args present but Jump edge-args missing".to_string(),
-                        });
-                    }
-                }
-                MirInstruction::Branch { .. } => {
-                    if block.has_legacy_jump_args() {
-                        errors.push(VerificationError::ControlFlowError {
-                            block: *block_id,
-                            reason: "Legacy jump_args present on Branch terminator".to_string(),
-                        });
-                    }
-                }
-                _ => {}
-            }
-        }
     }
     // Unreachable blocks are allowed in MIR.
     // They are created intentionally by break/continue/return statements via