diff --git a/graphify/extractors/engine.py b/graphify/extractors/engine.py
index dc841cd87..6fb2616b9 100644
--- a/graphify/extractors/engine.py
+++ b/graphify/extractors/engine.py
@@ -7689,6 +7689,7 @@ def _extract_generic(
             # self): kept apart from member_receiver, which feeds the
             # receiver-typed resolvers and raw_calls.
             self_receiver: str | None = None
+            is_scoped_call: bool = False
             swift_receiver: str | None = None
             member_receiver: str | None = None
             kotlin_qualified_prefix: str | None = None
@@ -8014,6 +8015,7 @@ def _extract_generic(
                     # qualified-call branch here, so a dedicated PHP resolver can
                     # bind it to the actual method on that class.
                     is_member_call = True
+                    is_scoped_call = True
                     name_node = node.child_by_field_name("name")
                     if name_node:
                         callee_name = _read_text(name_node, source)
@@ -8264,7 +8266,7 @@ def _extract_generic(
                     and is_member_call
                     and not lua_self_qualified
                 )
-                if _python_defer or _java_defer or (_builtin_member_call and not php_builtin_self_call) or _lua_member_defer or (
+                if _python_defer or _java_defer or (_builtin_member_call and not php_builtin_self_call) or _lua_member_defer or is_scoped_call or (
                     is_member_call
                     and member_receiver
                     and (
diff --git a/tests/test_php_static_call_resolution.py b/tests/test_php_static_call_resolution.py
index c97cfcba5..0f49bc5d8 100644
--- a/tests/test_php_static_call_resolution.py
+++ b/tests/test_php_static_call_resolution.py
@@ -48,16 +48,40 @@ def test_same_namespace_static_call_is_extracted_not_inferred(tmp_path):
 
 
 def test_self_and_static_scope_resolve_to_enclosing_class(tmp_path):
-    calls, _ = _extract(tmp_path, {"Widget.php": (
-        "<?php\nnamespace App;\nclass Widget {\n"
-        "    public static function build() { return self::helper(); }\n"
-        "    public static function render() { return static::helper(); }\n"
-        "    public static function helper() { return 1; }\n}\n")})
+    """A same-named decoy method on an unrelated class proves `self::`/
+    `static::` bind to the ENCLOSING class, not to any node sharing the bare
+    method name (review finding on PR #3874: without a decoy, a bare-name
+    coincidence would pass this test even if self/static were never scoped)."""
+    calls, _ = _extract(tmp_path, {
+        "Widget.php": (
+            "<?php\nnamespace App;\nclass Widget {\n"
+            "    public static function build() { return self::helper(); }\n"
+            "    public static function render() { return static::helper(); }\n"
+            "    public static function helper() { return 1; }\n}\n"),
+        "Decoy.php": (
+            "<?php\nnamespace App;\nclass Decoy {\n"
+            "    public static function helper() { return 2; }\n}\n"),
+    })
     assert (".build()", ".helper()") in calls
     assert (".render()", ".helper()") in calls
     assert calls[(".build()", ".helper()")]["confidence"] == "EXTRACTED"
 
 
+def test_self_scope_does_not_resolve_to_other_class(tmp_path):
+    """`self::helper()` must NOT bind to another class's `helper()` even when
+    the enclosing class has no method of that name - `self::` names the
+    enclosing class, not a bare method-name match anywhere in the corpus."""
+    calls, _ = _extract(tmp_path, {
+        "A.php": (
+            "<?php\nnamespace App;\nclass A {\n"
+            "    public function build() { return self::helper(); }\n}\n"),
+        "B.php": (
+            "<?php\nnamespace App;\nclass B {\n"
+            "    public function helper() { return 1; }\n}\n"),
+    })
+    assert not any(s == ".build()" for s, _t in calls)
+
+
 def test_parent_scope_resolves_through_inheritance(tmp_path):
     calls, _ = _extract(tmp_path, {
         "Base.php": (
@@ -72,10 +96,16 @@ def test_parent_scope_resolves_through_inheritance(tmp_path):
 
 def test_dynamic_scope_produces_no_phantom_edge(tmp_path):
     """`$cls::method()` has no declared-type table to resolve against - it
-    must stay unresolved rather than guess and mint a wrong edge."""
+    must stay unresolved rather than guess and mint a wrong edge. A same-file,
+    same-named decoy method proves the resolver actually ran and declined to
+    bind, rather than the guard never being exercised (review finding on PR
+    #3874: without the decoy, the old bare-name path would silently produce
+    the same "no edge to a DIFFERENT-labeled node" result for the wrong
+    reason)."""
     calls, r = _extract(tmp_path, {"Caller.php": (
         "<?php\nnamespace App;\nclass Caller {\n"
-        "    public function run($cls) { return $cls::helper(); }\n}\n")})
+        "    public function run($cls) { return $cls::helper(); }\n"
+        "    public function helper() { return 1; }\n}\n")})
     assert not any(s == ".run()" for s, _t in calls)