fix(script): prevent --verify without --broadcast from causing deployment not found error

crates/forge/tests/cli/script.rs

@@ -3169,3 +3169,29 @@ Traces:
 Error: script failed: call to non-contract address [..]
 "#]]);
 });
+
+// Test that --verify without --broadcast fails with a clear error message
+forgetest!(verify_without_broadcast_fails, |prj, cmd| {
+    let script = prj.add_source(
+        "Counter",
+        r#"
+import "forge-std/Script.sol";
+
+contract CounterScript is Script {
+    function run() external {
+        // Simple script that does nothing
+    }
+}
+   "#,
+    );
+
+    cmd.args([
+        "script",
+        script.to_str().unwrap(),
+        "--verify",
+        "--rpc-url",
+        "https://sepolia.infura.io/v3/test",
+    ])
+    .assert_failure()
+    .stderr_matches("The --verify flag requires --broadcast to be specified. Verification without broadcasting is not meaningful.");
+});

crates/script/src/lib.rs

@@ -248,10 +248,16 @@ impl ScriptArgs {
         let create2_deployer = state.script_config.evm_opts.create2_deployer;
         let compiled = state.compile()?;
 
+        // Validate that --verify is only used with --broadcast
+        if compiled.args.verify && !compiled.args.should_broadcast() {
+            eyre::bail!(
+                "The --verify flag requires --broadcast to be specified. Verification without broadcasting is not meaningful."
+            );
+        }
+
         // Move from `CompiledState` to `BundledState` either by resuming or executing and
         // simulating script.
-        let bundled = if compiled.args.resume || (compiled.args.verify && !compiled.args.broadcast)
-        {
+        let bundled = if compiled.args.resume {
             compiled.resume().await?
         } else {
             // Drive state machine to point at which we have everything needed for simulation.