diff --git a/.changeset/red-ladybugs-turn.md b/.changeset/red-ladybugs-turn.md
new file mode 100644
index 0000000000..b647c442a5
--- /dev/null
+++ b/.changeset/red-ladybugs-turn.md
@@ -0,0 +1,5 @@
+---
+'svelte': patch
+---
+
+fix: treat pure call expressions as potentially reactive if they reference local bindings
diff --git a/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js b/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
index 0f0555d787..957b27ae9b 100644
--- a/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
+++ b/packages/svelte/src/compiler/phases/2-analyze/visitors/CallExpression.js
@@ -143,11 +143,6 @@ export function CallExpression(node, context) {
 			break;
 	}
 
-	if (context.state.expression && !is_pure(node.callee, context)) {
-		context.state.expression.has_call = true;
-		context.state.expression.has_state = true;
-	}
-
 	if (context.state.render_tag) {
 		// Find out which of the render tag arguments contains this call expression
 		const arg_idx = unwrap_optional(context.state.render_tag.expression).arguments.findIndex(
@@ -174,4 +169,15 @@ export function CallExpression(node, context) {
 	} else {
 		context.next();
 	}
+
+	if (context.state.expression) {
+		// TODO We assume that any dependencies are stateful, which isn't necessarily the case — see
+		// https://github.com/sveltejs/svelte/issues/13266. This check also includes dependencies
+		// outside the call expression itself (e.g. `{blah && pure()}`) resulting in additional
+		// false positives, but for now we accept that trade-off
+		if (!is_pure(node.callee, context) || context.state.expression.dependencies.size > 0) {
+			context.state.expression.has_call = true;
+			context.state.expression.has_state = true;
+		}
+	}
 }
diff --git a/packages/svelte/tests/migrate/samples/script-context-module/output.svelte b/packages/svelte/tests/migrate/samples/script-context-module/output.svelte
index e508049d5d..065e3ac651 100644
--- a/packages/svelte/tests/migrate/samples/script-context-module/output.svelte
+++ b/packages/svelte/tests/migrate/samples/script-context-module/output.svelte
@@ -1,3 +1,3 @@
 <script module>
 	let foo = true;
-</script>
+</script>
\ No newline at end of file
diff --git a/packages/svelte/tests/runtime-legacy/samples/state-imported-function/Data.svelte.js b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/Data.svelte.js
new file mode 100644
index 0000000000..8c8c1527be
--- /dev/null
+++ b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/Data.svelte.js
@@ -0,0 +1 @@
+export let obj = $state({ a: 1, b: 2 });
diff --git a/packages/svelte/tests/runtime-legacy/samples/state-imported-function/_config.js b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/_config.js
new file mode 100644
index 0000000000..0c806438d5
--- /dev/null
+++ b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/_config.js
@@ -0,0 +1,11 @@
+import { flushSync } from 'svelte';
+import { test } from '../../test';
+
+export default test({
+	async test({ assert, target }) {
+		const [b1] = target.querySelectorAll('button');
+		b1.click();
+		flushSync();
+		assert.htmlEqual(target.innerHTML, `<button>Replace</button>\n9,10,11`);
+	}
+});
diff --git a/packages/svelte/tests/runtime-legacy/samples/state-imported-function/main.svelte b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/main.svelte
new file mode 100644
index 0000000000..6bb2acd778
--- /dev/null
+++ b/packages/svelte/tests/runtime-legacy/samples/state-imported-function/main.svelte
@@ -0,0 +1,11 @@
+<script>
+	import { obj } from "./Data.svelte.js";
+
+	function replaceProp() {
+		Object.assign(obj, {a:9, b:10, c:11});
+	}
+</script>
+
+<button onclick={replaceProp}>Replace</button>
+
+{Object.values(obj)}
diff --git a/packages/svelte/tests/snapshot/samples/inline-module-vars/_expected/server/index.svelte.js b/packages/svelte/tests/snapshot/samples/inline-module-vars/_expected/server/index.svelte.js
index 6a9027e41f..9dad39d81e 100644
--- a/packages/svelte/tests/snapshot/samples/inline-module-vars/_expected/server/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/inline-module-vars/_expected/server/index.svelte.js
@@ -7,4 +7,4 @@ const __DECLARED_ASSET_3__ = "__VITE_ASSET__2AM7_y_g__";
 
 export default function Inline_module_vars($$payload) {
 	$$payload.out += `<picture><source${$.attr("srcset", __DECLARED_ASSET_0__)} type="image/avif"> <source${$.attr("srcset", __DECLARED_ASSET_1__)} type="image/webp"> <source${$.attr("srcset", __DECLARED_ASSET_2__)} type="image/png"> <img${$.attr("src", __DECLARED_ASSET_3__)} alt="production test" width="1440" height="1440"></picture>`;
-}
+}
\ No newline at end of file
diff --git a/packages/svelte/tests/snapshot/samples/purity/_expected/client/index.svelte.js b/packages/svelte/tests/snapshot/samples/purity/_expected/client/index.svelte.js
index e054bd0c4a..305e9aa0d7 100644
--- a/packages/svelte/tests/snapshot/samples/purity/_expected/client/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/purity/_expected/client/index.svelte.js
@@ -4,14 +4,10 @@ import * as $ from "svelte/internal/client";
 var root = $.template(`<p></p> <p></p> <!>`, 1);
 
 export default function Purity($$anchor) {
-	let min = 0;
-	let max = 100;
-	let number = 50;
-	let value = 'hello';
 	var fragment = root();
 	var p = $.first_child(fragment);
 
-	p.textContent = Math.max(min, Math.min(max, number));
+	p.textContent = Math.max(0, Math.min(0, 100));
 
 	var p_1 = $.sibling(p, 2);
 
@@ -19,6 +15,6 @@ export default function Purity($$anchor) {
 
 	var node = $.sibling(p_1, 2);
 
-	Child(node, { prop: encodeURIComponent(value) });
+	Child(node, { prop: encodeURIComponent('hello') });
 	$.append($$anchor, fragment);
 }
\ No newline at end of file
diff --git a/packages/svelte/tests/snapshot/samples/purity/_expected/server/index.svelte.js b/packages/svelte/tests/snapshot/samples/purity/_expected/server/index.svelte.js
index 3528e8d1b4..1eea71e4dd 100644
--- a/packages/svelte/tests/snapshot/samples/purity/_expected/server/index.svelte.js
+++ b/packages/svelte/tests/snapshot/samples/purity/_expected/server/index.svelte.js
@@ -1,12 +1,7 @@
 import * as $ from "svelte/internal/server";
 
 export default function Purity($$payload) {
-	let min = 0;
-	let max = 100;
-	let number = 50;
-	let value = 'hello';
-
-	$$payload.out += `<p>${$.escape(Math.max(min, Math.min(max, number)))}</p> <p>${$.escape(location.href)}</p> `;
-	Child($$payload, { prop: encodeURIComponent(value) });
+	$$payload.out += `<p>${$.escape(Math.max(0, Math.min(0, 100)))}</p> <p>${$.escape(location.href)}</p> `;
+	Child($$payload, { prop: encodeURIComponent('hello') });
 	$$payload.out += `<!---->`;
 }
\ No newline at end of file
diff --git a/packages/svelte/tests/snapshot/samples/purity/index.svelte b/packages/svelte/tests/snapshot/samples/purity/index.svelte
index 79db5dc7b1..05efe1802d 100644
--- a/packages/svelte/tests/snapshot/samples/purity/index.svelte
+++ b/packages/svelte/tests/snapshot/samples/purity/index.svelte
@@ -1,12 +1,4 @@
-<script>
-	let min = 0;
-	let max = 100;
-	let number = 50;
-
-	let value = 'hello';
-</script>
-
-<p>{Math.max(min, Math.min(max, number))}</p>
+<p>{Math.max(0, Math.min(0, 100))}</p>
 <p>{location.href}</p>
 
-<Child prop={encodeURIComponent(value)} />
+<Child prop={encodeURIComponent('hello')} />