diff --git a/.changeset/public-plants-win.md b/.changeset/public-plants-win.md
new file mode 100644
index 0000000000..af65137426
--- /dev/null
+++ b/.changeset/public-plants-win.md
@@ -0,0 +1,5 @@
+---
+'svelte': patch
+---
+
+fix: recover from errors that leave a corrupted effect tree
diff --git a/packages/svelte/src/internal/client/reactivity/batch.js b/packages/svelte/src/internal/client/reactivity/batch.js
index cb115994f3..a09654bfc0 100644
--- a/packages/svelte/src/internal/client/reactivity/batch.js
+++ b/packages/svelte/src/internal/client/reactivity/batch.js
@@ -225,7 +225,12 @@ export class Batch {
 		var updates = (legacy_updates = []);
 
 		for (const root of roots) {
-			this.#traverse(root, effects, render_effects);
+			try {
+				this.#traverse(root, effects, render_effects);
+			} catch (e) {
+				reset_all(root);
+				throw e;
+			}
 		}
 
 		// any writes should take effect in a subsequent batch
@@ -959,6 +964,20 @@ function reset_branch(effect, tracked) {
 	}
 }
 
+/**
+ * Mark an entire effect tree clean following an error
+ * @param {Effect} effect
+ */
+function reset_all(effect) {
+	set_signal_status(effect, CLEAN);
+
+	var e = effect.first;
+	while (e !== null) {
+		reset_all(e);
+		e = e.next;
+	}
+}
+
 /**
  * Creates a 'fork', in which state changes are evaluated but not applied to the DOM.
  * This is useful for speculatively loading data (for example) when you suspect that
diff --git a/packages/svelte/tests/runtime-runes/samples/error-recovery/_config.js b/packages/svelte/tests/runtime-runes/samples/error-recovery/_config.js
new file mode 100644
index 0000000000..52c1bbd1bf
--- /dev/null
+++ b/packages/svelte/tests/runtime-runes/samples/error-recovery/_config.js
@@ -0,0 +1,32 @@
+import { flushSync } from 'svelte';
+import { test } from '../../test';
+
+export default test({
+	async test({ assert, target, compileOptions }) {
+		const [toggle, increment] = target.querySelectorAll('button');
+
+		flushSync(() => increment.click());
+		assert.htmlEqual(
+			target.innerHTML,
+			`
+				<button>toggle</button>
+				<button>count: 1</button>
+				<p>show: false</p>
+			`
+		);
+
+		assert.throws(() => {
+			flushSync(() => toggle.click());
+		}, /NonExistent is not defined/);
+
+		flushSync(() => increment.click());
+		assert.htmlEqual(
+			target.innerHTML,
+			`
+				<button>toggle</button>
+				<button>count: 2</button>
+				<p>show: ${compileOptions.experimental?.async ? 'false' : 'true'}</p>
+			`
+		);
+	}
+});
diff --git a/packages/svelte/tests/runtime-runes/samples/error-recovery/main.svelte b/packages/svelte/tests/runtime-runes/samples/error-recovery/main.svelte
new file mode 100644
index 0000000000..03bfae2596
--- /dev/null
+++ b/packages/svelte/tests/runtime-runes/samples/error-recovery/main.svelte
@@ -0,0 +1,13 @@
+<script>
+	let show = $state(false);
+	let count = $state(0);
+</script>
+
+<button onclick={() => show = !show}>toggle</button>
+<button onclick={() => count += 1}>count: {count}</button>
+
+<p>show: {show}</p>
+
+{#if show}
+	<NonExistent />
+{/if}