sourcecode 1.42.0__tar.gz → 1.44.0__tar.gz

{sourcecode-1.42.0 → sourcecode-1.44.0}/CHANGELOG.md

@@ -1,5 +1,43 @@
 # Changelog
 
+## [1.44.0] — 2026-06-16
+
+### Fixed
+- **CH-004c — annotation-free structural classes dropped their inheritance edges.**
+  `build_repo_ir`'s fast pre-scan skips files with no recognized annotation marker,
+  emitting only minimal class-name symbols (for same-package resolution) and **no
+  relations**. A class with no annotation and no injected field of its own that
+  participates purely structurally — `class X extends Base implements I {}` — therefore
+  lost its `extends`/`implements` edges, so `implementation_graph` could not link
+  sub→supertype and impact analysis could not traverse the hierarchy. The pre-scan now
+  also keeps a file when a type declaration carries an `extends`/`implements` clause
+  (`_INHERIT_PRESCAN_RE`), routing it through full extraction so its inheritance edges
+  are built and resolved in pass 2 with the same-package map. Annotation-free leaf
+  classes with no inheritance still skip, preserving the pre-scan optimization. Closes
+  the last open layer of CH-004 (a/b shipped in 1.43.0).
+
+## [1.43.0] — 2026-06-16
+
+### Fixed
+- **CH-004a — impact graph dropped field-injection-only classes.** `build_repo_ir`'s fast
+  pre-scan skips files with no recognized annotation marker; the marker set included
+  `@Inject` but not `@Autowired`, `@Resource`, `@Qualifier`, or `@Value`. A class wired
+  purely by field injection with no class-level stereotype (e.g. an abstract base controller
+  that holds the services its concrete subclasses inherit) was skipped entirely, so its
+  `injects` edges never existed and `impact-chain` could not traverse through it. Added the
+  field/setter-injection annotations (`@Autowired`, `@Resource`, `@Qualifier`, `@Value`,
+  `@PersistenceContext`, `@PersistenceUnit`) to the pre-scan marker set.
+- **CH-004b — same-package supertypes were not FQN-resolved.** The `extends`/`implements`
+  edge builder resolved supertype names only via `import_map`, so a same-package
+  `extends Base` (which needs no Java import) produced a **bare-name** edge target. The
+  `implementation_graph` could then not link sub→supertype, making same-package class
+  hierarchies invisible to impact analysis. Supertypes are now resolved via
+  `_resolve_dep_type` (import + same-package + wildcard), matching `injects`/constructor edges.
+
+Both fixes were surfaced by a field test on BroadleafCommerce (2985-file monolith); they
+under-reported blast radius on any large repo, not just that one. See
+`docs/eval/2026-06-16-broadleaf-checkout-impact-fieldtest.md`.
+
 ## [1.42.0] — 2026-06-16
 
 ### Added

{sourcecode-1.42.0 → sourcecode-1.44.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 1.42.0
+Version: 1.44.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.39.0-blue)
+![Version](https://img.shields.io/badge/version-1.44.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.39.0
+# sourcecode 1.44.0
 ```
 
 ---

{sourcecode-1.42.0 → sourcecode-1.44.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.39.0-blue)
+![Version](https://img.shields.io/badge/version-1.44.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.39.0
+# sourcecode 1.44.0
 ```
 
 ---

{sourcecode-1.42.0 → sourcecode-1.44.0}/pyproject.toml

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

{sourcecode-1.42.0 → sourcecode-1.44.0}/src/sourcecode/__init__.py

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

{sourcecode-1.42.0 → sourcecode-1.44.0}/src/sourcecode/repository_ir.py

@@ -131,6 +131,15 @@ _CLASS_DECL_RE = re.compile(
     r'\s*\{',
 )
 
+# CH-004c: detect a type declaration that participates structurally via inheritance
+# (`class X extends Base` / `interface I extends A` / `class C implements I`). Used by
+# the fast pre-scan to NOT skip annotation-free files that still own extends/implements
+# edges the impact graph needs. `[^{;]*?` keeps the match within a single declaration
+# head (stops at the body `{` or a `;`), matching the precision of _CLASS_DECL_RE.
+_INHERIT_PRESCAN_RE = re.compile(
+    r'\b(?:class|interface)\s+[A-Z]\w*[^{;]*?\b(?:extends|implements)\b'
+)
+
 _METHOD_DECL_RE = re.compile(
     r'^(?P<modifiers>(?:(?:public|private|protected|static|final|synchronized'
     r'|abstract|default|native|strictfp|override)\s+)*)'
@@ -1265,7 +1274,11 @@ def _build_relations(
             # commas so each base produces its own edge and the reverse graph sees
             # every supertype (not a single mangled token).
             for base in _split_supertype_list(extends_str):
-                to = import_map.get(base, base)
+                # CH-004: resolve same-package / wildcard-imported supertypes to their
+                # FQN (not just import_map), else a same-package `extends Base` stays a
+                # bare name and the implementation_graph cannot link sub→supertype.
+                _sbase = re.sub(r'<.*', '', base).strip()
+                to = _resolve_dep_type(_sbase) or import_map.get(_sbase, base)
                 edges.append(RelationEdge(
                     from_symbol=class_fqn,
                     to_symbol=to,
@@ -1276,7 +1289,8 @@ def _build_relations(
 
         if implements_str:
             for base in _split_supertype_list(implements_str):
-                to = import_map.get(base, base)
+                _sbase = re.sub(r'<.*', '', base).strip()
+                to = _resolve_dep_type(_sbase) or import_map.get(_sbase, base)
                 edges.append(RelationEdge(
                     from_symbol=class_fqn,
                     to_symbol=to,
@@ -3127,6 +3141,14 @@ def build_repo_ir(
         '@RequiredArgsConstructor', '@AllArgsConstructor',
         '@Inject', '@ApplicationScoped', '@RequestScoped', '@Singleton',
         '@EnableMethodSecurity', '@EnableGlobalMethodSecurity',
+        # Field/setter injection markers (CH-004). A class wired purely by field
+        # injection — no class-level stereotype — is still a node in the DI graph:
+        # e.g. an abstract base controller that holds @Autowired/@Resource services
+        # its concrete subclasses inherit. Omitting these pre-scan-skips such classes,
+        # dropping their injects edges, so impact-chain cannot reach callers through
+        # them (Broadleaf: AbstractCheckoutController → checkout endpoints went missing).
+        '@Autowired', '@Resource', '@Qualifier', '@Value',
+        '@PersistenceContext', '@PersistenceUnit',
         # JPA / persistence (needed for stereotype detection in all commands)
         '@Entity', '@MappedSuperclass', '@Embeddable',
         # AOP / messaging / event sourcing
@@ -3173,7 +3195,8 @@ def build_repo_ir(
         _meta_chars_read += len(source)
         # Fast pre-scan: if file has no relevant annotations skip full extraction.
         # Still register package/class name for same-package resolution.
-        if not any(marker in source for marker in _effective_markers):
+        if not any(marker in source for marker in _effective_markers) \
+                and not _INHERIT_PRESCAN_RE.search(source):
             pkg_m = _PKG_RE.search(source)
             _pkg = pkg_m.group(1) if pkg_m else ""
             # Minimal class-name symbols for same-package map (no methods/fields)