sourcecode 1.51.0__tar.gz → 1.52.0__tar.gz

{sourcecode-1.51.0 → sourcecode-1.52.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 1.51.0
+Version: 1.52.0
 Summary: Persistent structural context and ultra-fast repeated analysis for AI coding agents
 License-File: LICENSE
 Keywords: agents,ai,codebase,context,developer-tools,llm
@@ -40,7 +40,7 @@ Description-Content-Type: text/markdown
 
 **Persistent structural context and ultra-fast repeated analysis for AI coding agents.**
 
-![Version](https://img.shields.io/badge/version-1.50.0-blue)
+![Version](https://img.shields.io/badge/version-1.52.0-blue)
 ![Python](https://img.shields.io/badge/python-3.9%2B-green)
 
 ---
@@ -114,7 +114,7 @@ pipx install sourcecode
 
 ```bash
 sourcecode version
-# sourcecode 1.44.0
+# sourcecode 1.52.0
 ```
 
 ---

{sourcecode-1.51.0 → sourcecode-1.52.0}/README.md

@@ -2,7 +2,7 @@
 
 **Persistent structural context and ultra-fast repeated analysis for AI coding agents.**
 
-![Version](https://img.shields.io/badge/version-1.50.0-blue)
+![Version](https://img.shields.io/badge/version-1.52.0-blue)
 ![Python](https://img.shields.io/badge/python-3.9%2B-green)
 
 ---
@@ -76,7 +76,7 @@ pipx install sourcecode
 
 ```bash
 sourcecode version
-# sourcecode 1.44.0
+# sourcecode 1.52.0
 ```
 
 ---

{sourcecode-1.51.0 → sourcecode-1.52.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "sourcecode"
-version = "1.51.0"
+version = "1.52.0"
 description = "Persistent structural context and ultra-fast repeated analysis for AI coding agents"
 readme = "README.md"
 requires-python = ">=3.9"

{sourcecode-1.51.0 → sourcecode-1.52.0}/src/sourcecode/__init__.py

@@ -1,3 +1,3 @@
 """sourcecode — Deterministic codebase context maps for AI coding agents."""
 
-__version__ = "1.51.0"
+__version__ = "1.52.0"

{sourcecode-1.51.0 → sourcecode-1.52.0}/src/sourcecode/repository_ir.py

@@ -1514,6 +1514,34 @@ def _build_relations(
                         evidence={"type": "method_call", "value": f"new {_tgt.split('.')[-1]}(...)"},
                     ))
 
+    # ── Static-utility calls: `Type.method(...)` edges (G-2 / static-call gap) ──
+    # A static call `AnnotationHelper.foo(...)` couples the calling class to the
+    # utility type, but the call/DI graph misses it: only an `imports` edge is
+    # recorded (and impact-chain skips imports), so a static helper showed 0
+    # callers and impact-chain reported a false-confident "no blast radius".
+    # Mirror the instantiation scan: regex over comment-stripped source, resolve the
+    # receiver type via the import map (so JDK/unresolved receivers like Math/LOGGER
+    # yield None and are skipped), attribute at class level. Unlike `instantiates`
+    # this INCLUDES controllers — a controller statically calling a utility is a real
+    # caller and has no `returns`-edge overlap. Emitted as `calls` (traversed by the
+    # caller BFS). Instance calls go through lower-case variables and never match.
+    if _class_syms:
+        _call_targets: set[str] = set()
+        for _m in re.finditer(r'\b([A-Z]\w*)\.\w+\s*\(', _source_no_comments):
+            _ct_fqn = _resolve_dep_type(_m.group(1))
+            if _ct_fqn:
+                _call_targets.add(_ct_fqn)
+        for cls_sym in _class_syms:
+            for _tgt in sorted(_call_targets):
+                if _tgt != cls_sym.symbol:
+                    edges.append(RelationEdge(
+                        from_symbol=cls_sym.symbol,
+                        to_symbol=_tgt,
+                        type="calls",
+                        confidence="medium",
+                        evidence={"type": "method_call", "value": f"{_tgt.split('.')[-1]}.…(…)"},
+                    ))
+
     seen: set[tuple[str, str, str]] = set()
     unique: list[RelationEdge] = []
     for e in edges:

{sourcecode-1.51.0 → sourcecode-1.52.0}/src/sourcecode/spring_impact.py

@@ -872,10 +872,35 @@ class ImpactOrchestrator:
                 "An empty result is NOT proof the type is unused."
             )
 
+        # G-2 residual guard: something imports this symbol but no call/DI/instantiation
+        # edge resolved to it. With static-call edges now extracted, the common static
+        # utility case is covered; this catches what remains (static imports invoked
+        # without a qualifier, reflection, method references) — usages the call-graph
+        # cannot bind. An empty blast radius here is NOT proof of dead code, so it must
+        # not be reported as a high-confidence "safe to change".
+        unresolved_ref_blind_spot = False
+        if (
+            empty_blast
+            and class_level_seed
+            and not framework_di_blind_spot
+            and not value_type_blind_spot
+        ):
+            _rev = cir.reverse_graph.get(resolved_symbol) or {}
+            _importers = sorted(set(_rev.get("imports") or []))
+            if _importers:
+                unresolved_ref_blind_spot = True
+                warnings.append(
+                    f"Unresolved inbound references (G-2): {len(_importers)} in-repo "
+                    "file(s) import this symbol but no call/DI/instantiation edge "
+                    "resolves to it — the usage may be a static import, reflection, or "
+                    "method reference the call-graph does not model. 0 callers is NOT "
+                    "proof this symbol is unused."
+                )
+
         confidence: str
         if resolution == "not_found":
             confidence = "low"
-        elif framework_di_blind_spot or value_type_blind_spot:
+        elif framework_di_blind_spot or value_type_blind_spot or unresolved_ref_blind_spot:
             confidence = "low"
         elif resolution == "partial" or confidence_reducing:
             confidence = "medium"
@@ -908,6 +933,7 @@ class ImpactOrchestrator:
                 "blind_spots": (
                     (["framework_di"] if framework_di_blind_spot else [])
                     + (["value_type"] if value_type_blind_spot else [])
+                    + (["unresolved_refs"] if unresolved_ref_blind_spot else [])
                 ),
                 "external_supertypes": external_supertypes,
             },