sourcecode 1.65.0__py3-none-any.whl → 1.67.0__py3-none-any.whl

sourcecode/__init__.py

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

sourcecode/cli.py

@@ -4896,7 +4896,8 @@ def migrate_check_cmd(
         output, output_path, copy,
         success_msg=(
             f"Migration check written to {output_path} "
-            f"(score: {report.readiness_score}/100, {_total} findings)"
+            f"(score: {report.readiness_score if report.readiness_score is not None else 'N/A'}"
+            f"{'/100' if report.readiness_score is not None else ''}, {_total} findings)"
         ),
     )
 
@@ -5524,6 +5525,91 @@ def fix_bug_cmd(
     )
 
 
+# Method signatures that are almost always FRAMEWORK ENTRY POINTS, not dead code —
+# invoked by a dispatcher (reflection / XML / SPI), invisible to a static Java
+# call-graph. Generalizes beyond any one framework.
+_DYNAMIC_ENTRY_SIGNATURE_RE = __import__("re").compile(
+    r"\(\s*DispatchContext\b"                       # OFBiz Service Engine service
+    r"|HttpServletRequest\s+\w+\s*,\s*HttpServletResponse"  # OFBiz event / servlet handler
+    r"|@(?:Scheduled|PostConstruct|PreDestroy|EventListener|Bean|"
+    r"RequestMapping|GetMapping|PostMapping|Path|GET|POST|Provider|"
+    r"ApplicationScoped|Singleton)\b",              # annotation-dispatched entry
+)
+# Config file extensions where a framework wires classes by name (XML/props/yaml).
+_CONFIG_REF_EXTS: frozenset = frozenset({".xml", ".properties", ".yml", ".yaml", ".groovy"})
+_CONFIG_SCAN_MAX_FILES: int = 12000
+_CONFIG_SCAN_MAX_BYTES: int = 256 * 1024
+
+
+def _partition_static_unreferenced(nodes: list[dict], root: Path) -> tuple[list[dict], list[dict]]:
+    """Split zero-degree classes into (truly_unreferenced, framework_dispatched).
+
+    A class with no static callers is NOT necessarily dead: frameworks invoke
+    classes via reflection, XML/SPI config, or annotations that a static call-graph
+    cannot see (e.g. Apache OFBiz Service Engine services, JAX-RS resources,
+    ServiceLoader providers, scheduled beans). We exclude a candidate when EITHER:
+      1. its source declares a dynamic-entry method signature, OR
+      2. its simple name / FQN is referenced from a non-Java config file.
+    Whatever survives is reported as *statically_unreferenced* — never a confident
+    "dead zone".
+    """
+    import os
+    if not nodes:
+        return [], []
+    by_simple: dict[str, list[dict]] = {}
+    for n in nodes:
+        simple = (n.get("fqn") or "").rsplit(".", 1)[-1]
+        if simple:
+            by_simple.setdefault(simple, []).append(n)
+
+    dispatched_fqns: set[str] = set()
+
+    # 1. Source-signature allowlist (bounded — candidate set is small).
+    for n in nodes:
+        src = n.get("source_file")
+        if not src:
+            continue
+        try:
+            txt = (root / src).read_text(encoding="utf-8", errors="replace")
+        except OSError:
+            continue
+        if _DYNAMIC_ENTRY_SIGNATURE_RE.search(txt):
+            dispatched_fqns.add(n["fqn"])
+
+    # 2. Config-reference scan — find candidate names wired from XML/props/yaml.
+    unresolved_simple = {s for s, ns in by_simple.items()
+                         if any(x["fqn"] not in dispatched_fqns for x in ns)}
+    if unresolved_simple:
+        files_scanned = 0
+        for dirpath, dirnames, filenames in os.walk(root):
+            dirnames[:] = [d for d in dirnames
+                           if d not in {".git", "build", "out", "target", "node_modules", ".gradle"}]
+            for fname in filenames:
+                ext = os.path.splitext(fname)[1].lower()
+                if ext not in _CONFIG_REF_EXTS:
+                    continue
+                if files_scanned >= _CONFIG_SCAN_MAX_FILES or not unresolved_simple:
+                    break
+                fpath = os.path.join(dirpath, fname)
+                try:
+                    with open(fpath, "r", encoding="utf-8", errors="replace") as fh:
+                        text = fh.read(_CONFIG_SCAN_MAX_BYTES)
+                except OSError:
+                    continue
+                files_scanned += 1
+                for simple in list(unresolved_simple):
+                    if simple in text:
+                        for x in by_simple.get(simple, []):
+                            dispatched_fqns.add(x["fqn"])
+                        unresolved_simple.discard(simple)
+            if files_scanned >= _CONFIG_SCAN_MAX_FILES or not unresolved_simple:
+                break
+
+    unreferenced = [n for n in nodes if n["fqn"] not in dispatched_fqns]
+    dispatched = [n for n in nodes if n["fqn"] in dispatched_fqns]
+    return unreferenced, dispatched
+
+
 @app.command("modernize")
 def modernize_cmd(
     path: Path = typer.Argument(
@@ -5625,13 +5711,21 @@ def modernize_cmd(
         key=lambda n: (-n.get("in_degree", 0), n.get("fqn", "")),
     )[:20]
 
-    # Dead zones: symbols with zero in-degree AND zero out-degree (isolated)
-    dead_zones = sorted(
+    # Statically-unreferenced zones: classes with zero in-degree AND zero out-degree
+    # in the Java call-graph. These are NOT necessarily dead — framework dispatch
+    # (reflection / XML / SPI / annotations) is invisible to a static graph — so we
+    # partition out framework-dispatched entry points before reporting, and never
+    # call the survivors "dead". (Defect 5: OFBiz Service-Engine services and event
+    # handlers were false-positive "dead zones".)
+    _zero_degree = sorted(
         [n for n in graph_nodes
          if n.get("in_degree", 0) == 0 and n.get("out_degree", 0) == 0
          and n.get("type") in ("class", "interface")],
         key=lambda n: n.get("fqn", ""),
-    )[:20]
+    )
+    dead_zones, framework_dispatched = _partition_static_unreferenced(_zero_degree, root)
+    dead_zones = dead_zones[:20]
+    framework_dispatched = framework_dispatched[:20]
 
     # Hotspot candidates: high in-degree service/repository/controller nodes,
     # ranked by composite score (in_degree × 2 + git_churn) for volatility signal.
@@ -5680,7 +5774,8 @@ def modernize_cmd(
         "total_classes": len([n for n in graph_nodes if n.get("type") in ("class", "interface")]),
         "total_subsystems": len(subsystems),
         "high_coupling_nodes": len(coupling_nodes),
-        "dead_zone_candidates": len(dead_zones),
+        "statically_unreferenced": len(dead_zones),
+        "framework_dispatched": len(framework_dispatched),
     }
     _subsystem_summary = [
         {
@@ -5723,10 +5818,20 @@ def modernize_cmd(
                 {"fqn": n["fqn"], "in_degree": n.get("in_degree", 0), "role": n.get("role", "other")}
                 for n in coupling_nodes
             ],
-            "dead_zone_candidates": [
+            "statically_unreferenced": [
                 {"fqn": n["fqn"], "type": n.get("type", ""), "role": n.get("role", "other")}
                 for n in dead_zones
             ],
+            "statically_unreferenced_note": (
+                "Zero static callers in the Java call-graph. NOT confirmed dead: verify "
+                "no framework dispatch (reflection, XML/SPI config, annotations) before "
+                "removing. Classes detected as framework-dispatched are listed separately "
+                "under framework_dispatched and excluded from this list."
+            ),
+            "framework_dispatched": [
+                {"fqn": n["fqn"], "type": n.get("type", ""), "role": n.get("role", "other")}
+                for n in framework_dispatched
+            ],
             "subsystem_summary": _subsystem_summary,
             "cross_module_tangles": [
                 {
@@ -5742,7 +5847,8 @@ def modernize_cmd(
                     if hotspots else
                     "high_coupling_nodes shows the most-referenced classes — start there. "
                 )
-                + "Dead zones are safe to remove or refactor. "
+                + "statically_unreferenced lists classes with no Java callers — review "
+                + "for framework dispatch (XML/reflection/SPI) before removing. "
                 + "Cross-module tangles indicate coupling worth decomposing."
             ),
         }

sourcecode/context_summarizer.py

@@ -28,7 +28,11 @@ _STACK_LABELS: dict[str, str] = {
 
 _TYPE_LABELS: dict[str, str] = {
     "api": "REST API",
-    "web_mvc": "Spring MVC web app",
+    # Vendor-neutral: web_mvc is triggered by server-side template engines
+    # (Thymeleaf/FreeMarker), which are NOT exclusive to Spring (e.g. Apache OFBiz
+    # uses FreeMarker with its own framework). The detected frameworks list carries
+    # the actual stack; the type label must not assert "Spring".
+    "web_mvc": "Server-side MVC web app",
     "webapp": "Web app",
     "fullstack": "Full-stack app",
     "cli": "CLI tool",

sourcecode/dependency_analyzer.py

@@ -1278,9 +1278,42 @@ class DependencyAnalyzer:
         return records, limitations
 
     def _strip_gradle_comments(self, content: str) -> str:
-        content = re.sub(r"/\*.*?\*/", "", content, flags=re.DOTALL)
-        content = re.sub(r"//[^\n]*", "", content)
-        return content
+        """Strip // and /* */ comments WITHOUT touching string literals.
+
+        A naive regex treats `/*` inside a string as a block-comment open. Gradle
+        build files routinely embed `/*` in Ant-style glob strings (e.g.
+        '**/*.java') and `//` in URL strings — a regex stripper then eats the entire
+        dependencies block up to the next literal `*/` (real defect on Apache OFBiz,
+        where ~100 deps vanished). This scanner skips quoted strings (single, double,
+        and triple-quoted, with backslash escapes) so only genuine comments are removed.
+        """
+        out: list[str] = []
+        i, n = 0, len(content)
+        quote: Optional[str] = None  # active string delimiter
+        while i < n:
+            if quote is not None:
+                # Inside a string literal — copy verbatim until the matching delimiter.
+                if len(quote) == 1 and content[i] == "\\" and i + 1 < n:
+                    out.append(content[i:i + 2]); i += 2; continue
+                if content.startswith(quote, i):
+                    out.append(quote); i += len(quote); quote = None; continue
+                out.append(content[i]); i += 1; continue
+            if content.startswith("//", i):
+                j = content.find("\n", i)
+                if j == -1:
+                    break
+                i = j; continue
+            if content.startswith("/*", i):
+                j = content.find("*/", i + 2)
+                if j == -1:
+                    break
+                i = j + 2; continue
+            for q in ('"""', "'''", '"', "'"):
+                if content.startswith(q, i):
+                    quote = q; out.append(q); i += len(q); break
+            else:
+                out.append(content[i]); i += 1
+        return "".join(out)
 
     def _analyze_gradle(self, root: Path) -> tuple[list[DependencyRecord], list[str]]:
         for filename in ("build.gradle", "build.gradle.kts"):
@@ -1307,7 +1340,20 @@ class DependencyAnalyzer:
                         except OSError:
                             pass
 
-                return self._dedupe(records), ["gradle: no compatible lockfile found; transitive dependencies unavailable"]
+                deduped = self._dedupe(records)
+                gradle_limitations = [
+                    "gradle: no compatible lockfile found; transitive dependencies unavailable"
+                ]
+                # Honest-zero guard: if the build file declares a dependencies block but
+                # nothing was resolved, report a GAP rather than a confident "0 deps".
+                if not deduped and re.search(r"\bdependencies\s*\{", content):
+                    jar_count = sum(1 for _ in root.glob("lib/**/*.jar"))
+                    gap = ("gradle: dependencies declared but none resolved by static "
+                           "parsing (non-standard declaration syntax)")
+                    if jar_count:
+                        gap += f"; {jar_count} jar(s) present under lib/ (not parsed)"
+                    gradle_limitations.append(gap)
+                return deduped, gradle_limitations
         return [], []
 
     def _parse_gradle_properties(self, root: Path, content: str) -> dict[str, str]:

sourcecode/mcp/orchestrator.py

@@ -774,7 +774,7 @@ def run_migrate_flow_impl(repo_path: str, min_severity: str = "low") -> dict[str
     if not _is_java_repo(repo_path):
         quality_warnings.append(
             "not_a_java_repo: migration analysis targets Spring Boot / Java repos. "
-            "Result will be empty (readiness_score=100, no findings)."
+            "Result will be empty (readiness_score=null/N/A, no findings)."
         )
 
     report = _exec(["migrate-check", repo_path, "--min-severity", min_severity])

sourcecode/mcp/registry.py

@@ -798,7 +798,7 @@ depth: BFS depth for indirect caller traversal (1–8, default: 4).
 Analyzes codebase for modernization opportunities: dead zones, hotspot scores, upgrade candidates.
 
 Maps to: sourcecode modernize <repo_path>
-Returns: hotspot_candidates (high fan-in + git churn), dead_zone_candidates (isolated classes),
+Returns: hotspot_candidates (high fan-in + git churn), statically_unreferenced (zero-caller classes — NOT confirmed dead; verify no framework dispatch) + framework_dispatched,
          high_coupling_nodes, subsystem_summary, cross_module_tangles, recommendation.
 
 Best for: refactor planning, identifying where to start, finding safe removal candidates.
@@ -1403,7 +1403,7 @@ Spring Boot 2→3 migration readiness: javax→jakarta namespace blockers. JAVA
 When to call: when asked about Spring Boot migration readiness, javax vs jakarta imports,
 or upgrading from Spring Boot 2.x to 3.x. Use BEFORE get_spring_audit when the goal
 is migration planning rather than ongoing Spring semantic audit.
-Do NOT call on non-Java repositories — returns readiness_score=100 with no findings.
+Do NOT call on non-Java repositories — returns readiness_score=null (N/A) with no findings.
 
 Rules detected:
   MIG-001 critical — javax.persistence imports (JPA; will not compile after migration)
@@ -1415,7 +1415,7 @@ Rules detected:
   MIG-007 medium   — javax.inject imports (DI annotations)
   MIG-008 medium   — javax.ws.rs imports (JAX-RS API)
 
-Returns: schema_version, readiness_score (0–100; 100=ready to migrate),
+Returns: schema_version, readiness_score (0–100, or null=N/A when no migration target applies; 100=ready to migrate),
   jakarta_readiness / boot3_readiness / jdk_modernization (per-dimension 0–100),
   blocking_count, estimated_effort_days, spring_boot_2_detected (true|false|null —
   null=undetermined, never assumed true), spring_boot_version_detected,

sourcecode/mcp/server.py

@@ -517,7 +517,7 @@ def run_migrate_flow(repo_path: str = ".", min_severity: str = "low") -> dict:
     Primary high-value entry point for migration planning. Wraps migrate-check and
     lifts the headline numbers to the top level so the agent can plan a 2→3 upgrade
     without parsing the full report:
-      - readiness_score (0–100; 100 = ready), blocking_count, estimated_effort_days
+      - readiness_score (0–100, or null=N/A when no migration target applies; 100 = ready), blocking_count, estimated_effort_days
       - by_severity and by_target breakdown (jakarta / spring_security_6 / java_11)
 
     Use this instead of calling get_migration_readiness and interpreting it by hand.
@@ -788,10 +788,10 @@ def get_migration_readiness(repo_path: str = ".", min_severity: str = "low") ->
     When to call: when asked about Spring Boot migration readiness, javax vs jakarta imports,
     or upgrading from Spring Boot 2.x to 3.x. Call this BEFORE get_spring_audit when
     the goal is migration planning — not ongoing audit.
-    Do NOT call on non-Java repositories — returns readiness_score=100 with no findings.
+    Do NOT call on non-Java repositories — returns readiness_score=null (N/A) with no findings.
 
     Maps to: sourcecode migrate-check <repo_path> --min-severity <min_severity>
-    Returns: MigrationReport with schema_version, readiness_score (0–100; 100=ready to migrate),
+    Returns: MigrationReport with schema_version, readiness_score (0–100, or null=N/A when no migration target applies; 100=ready to migrate),
              jakarta_readiness / boot3_readiness / jdk_modernization / hibernate_readiness
              (per-dimension 0–100), headline_blocker (e.g. "hibernate_rewrite" or null),
              hibernate (Hibernate 5→6 stratified model: 4-layer risk_matrix, rewrite_targets[]
@@ -1335,7 +1335,7 @@ def modernize_context(repo_path: str = ".", format: str = "json") -> dict:
     """Analyzes codebase for modernization opportunities: dead zones, hotspot scores, upgrade candidates.
 
     Maps to: sourcecode modernize <repo_path>
-    Returns: hotspot_candidates (high fan-in + git churn), dead_zone_candidates (isolated classes),
+    Returns: hotspot_candidates (high fan-in + git churn), statically_unreferenced (zero-caller classes — NOT confirmed dead; verify no framework dispatch) + framework_dispatched,
              high_coupling_nodes, subsystem_summary, cross_module_tangles, recommendation.
 
     Best for: refactor planning, identifying where to start, finding safe removal candidates.

sourcecode/migrate_check.py

@@ -608,29 +608,79 @@ def _classify_code_context(finding: "MigrationFinding") -> str:
     return "main"
 
 
-# BUG #2: Spring presence signal. The Boot3 dimension only applies to repos that
-# actually use Spring — a Quarkus/Micronaut/Helidon/Jakarta-pure repo has no
-# Spring Boot 2→3 axis. Detected from build coordinates or framework imports.
-_SPRING_BUILD_RE: re.Pattern = re.compile(
-    r"org\.springframework(?:\.boot)?\b|spring-boot-starter", re.IGNORECASE
+# BUG #1/#2: Spring presence must be SCOPE- and ARTIFACT-aware. The Boot 2→3 axis
+# only applies to repos that use Spring AT RUNTIME — a Quarkus/Micronaut/Jakarta-pure
+# repo (or one like Apache OFBiz whose ONLY Spring coordinate is spring-test, a TEST
+# support library declared under a legacy `compile` block) has no Spring Boot axis.
+# We therefore split Spring usage into runtime vs test-only and NEVER let a test
+# artifact poison spring_present (which gates the boot3 readiness dimension).
+
+# Test-only Spring artifacts: their presence — even when declared in a compile/
+# implementation block — never implies Spring at runtime. The ARTIFACT itself is a
+# test library, regardless of the declared scope.
+_SPRING_TEST_ARTIFACT_RE: re.Pattern = re.compile(
+    r"\bspring-(?:test|boot-test(?:-autoconfigure)?|boot-starter-test|security-test)\b",
+    re.IGNORECASE,
 )
+# Any `spring-<artifact>` coordinate token (matches both Gradle `org.springframework:
+# spring-core:…` strings and Maven `<artifactId>spring-core</artifactId>` text).
+_SPRING_ARTIFACT_TOKEN_RE: re.Pattern = re.compile(
+    r"\bspring-[a-z][a-z0-9]*(?:-[a-z0-9]+)*\b", re.IGNORECASE
+)
+# Spring Boot Gradle plugin / BOM group — an unambiguous runtime signal.
+_SPRING_BOOT_PLUGIN_RE: re.Pattern = re.compile(
+    r"""(?:id\s*['"]\s*org\.springframework\.boot|"""
+    r"""org\.springframework\.boot\s*[:'"])""",
+    re.IGNORECASE,
+)
+# Import-side split: a Spring import in a TEST package (org.springframework.*.test
+# or org.springframework.test / .boot.test) is a test-only signal; any other
+# org.springframework import in MAIN sources is a runtime signal.
 _SPRING_IMPORT_RE: re.Pattern = re.compile(
-    r"^[ \t]*import\s+org\.springframework\.", re.MULTILINE
+    r"^[ \t]*import\s+(?:static\s+)?org\.springframework\.([\w.]+)", re.MULTILINE
 )
 
 
-def _detect_spring_present(root: Path, spring_import_seen: bool) -> bool:
-    """True when Spring is actually used (build coordinate or org.springframework import)."""
-    if spring_import_seen:
-        return True
+def _build_text_spring_signals(text: str) -> tuple[bool, bool]:
+    """(runtime, any_spring) for one build-file's text — artifact/scope aware.
+
+    A `spring-*` artifact token that is not a test library, or the Spring Boot
+    plugin/BOM group, counts as runtime. spring-test (and friends) alone count as
+    "spring present but test-only" — never runtime.
+    """
+    runtime = False
+    any_spring = False
+    if _SPRING_BOOT_PLUGIN_RE.search(text):
+        runtime = True
+        any_spring = True
+    for m in _SPRING_ARTIFACT_TOKEN_RE.finditer(text):
+        any_spring = True
+        if not _SPRING_TEST_ARTIFACT_RE.match(m.group(0)):
+            runtime = True
+    return runtime, any_spring
+
+
+def _detect_spring_usage(
+    root: Path, runtime_import_seen: bool, test_import_seen: bool
+) -> tuple[bool, bool]:
+    """Return (runtime_present, test_only).
+
+    runtime_present  — Spring is on the runtime/compile path (build coordinate or a
+                       MAIN-source org.springframework import that is not a test pkg).
+    test_only        — Spring appears ONLY as a test dependency (e.g. spring-test);
+                       the Boot 2→3 migration axis is N/A.
+    """
+    runtime = runtime_import_seen
+    any_spring = runtime_import_seen or test_import_seen
     for abs_path, _rel in _find_build_files(root):
         try:
             text = abs_path.read_text(encoding="utf-8", errors="replace")
         except OSError:
             continue
-        if _SPRING_BUILD_RE.search(text):
-            return True
-    return False
+        r, s = _build_text_spring_signals(text)
+        runtime = runtime or r
+        any_spring = any_spring or s
+    return runtime, (any_spring and not runtime)
 
 # G-1: cap on total readiness deduction from low-severity (advisory, non-blocking)
 # findings, so optional modernization cleanups cannot collapse the migration-readiness
@@ -648,6 +698,19 @@ _BOOT3_MIGRATION_TARGETS: frozenset[str] = frozenset(
 # upgrade. It is advisory only and must never sink a readiness dimension to 0 —
 # reported as a separate hygiene metric, excluded from JDK-modernization scoring.
 _BEST_PRACTICE_TARGETS: frozenset[str] = frozenset({"java_8_best_practice"})
+
+# BUG #3: the migration dimensions that feed the readiness_score aggregate, in
+# order. jdk_modernization is deliberately NOT here — it is orthogonal upkeep debt
+# reported on its own axis, never folded into the migration headline.
+_MIGRATION_DIMENSIONS: tuple[str, ...] = ("jakarta", "boot3", "hibernate")
+
+
+def _parse_major(version: "Optional[str]") -> "Optional[int]":
+    """Leading integer of a version string ('4.0.3' → 4); None when not parseable."""
+    if not version:
+        return None
+    m = re.match(r"\s*(\d+)", version)
+    return int(m.group(1)) if m else None
 # Cap on total readiness deduction from JDK-modernization findings (medium/low),
 # so reflection/date cleanups cannot collapse a jakarta-ready repo's headline.
 _JDK_ADVISORY_DEDUCTION_CAP: int = 15
@@ -1152,7 +1215,9 @@ class MigrationReport:
     repo_id: str = ""
     git_head: str = ""
 
-    readiness_score: int = 100
+    # Optional[int]: None == N/A (no applicable migration dimension), never a
+    # manufactured 100 on a repo with nothing to migrate.
+    readiness_score: Optional[int] = 100
     # Per-dimension readiness (0-100). javax→jakarta namespace, full Boot 2→3
     # migration, and orthogonal JDK modernization are scored independently so
     # JDK debt (java.util.Date, reflection) does not sink a jakarta-ready repo.
@@ -1170,14 +1235,25 @@ class MigrationReport:
     # is excluded from the aggregate — it is never counted as 0. Maps dimension →
     # {"applicable": bool, "score": int|None, "reason": str}.
     applicable_dimensions: dict = field(default_factory=dict)
+    # BUG #3: how readiness_score was derived (method + the exact applicable
+    # dimension scores it aggregates) so the headline number is fully traceable.
+    readiness_aggregate: dict = field(default_factory=dict)
     blocking_count: int = 0
     estimated_effort_days: float = 0.0
     # Tri-state: True = Boot 2 confirmed, False = Boot 3+ confirmed,
     # None = could not determine. Absence of evidence is never reported as True.
     spring_boot_2_detected: Optional[bool] = None
     spring_boot_version_detected: Optional[str] = None
-    # BUG #2: whether Spring is used at all. The Boot3 dimension is N/A without it.
+    # BUG #2: whether Spring is used AT RUNTIME. The Boot3 dimension is N/A without it.
     spring_present: bool = True
+    # BUG #1/#2: Spring appears ONLY as a test dependency (e.g. spring-test). Reported
+    # so a consumer can see WHY boot3 is N/A despite an org.springframework coordinate.
+    spring_test_only: bool = False
+    # BUG #3/#4: the repo imports the jakarta.* namespace (already on Jakarta EE 9+).
+    # Evidence that the namespace axis is RELEVANT (and complete) — distinguishes an
+    # already-migrated Jakarta repo (jakarta applicable, 100) from a repo that was
+    # never Java EE at all (jakarta N/A).
+    jakarta_namespace_adopted: bool = False
     # BUG #6 / #8: findings that do NOT count toward blocking_count or readiness —
     # best-practice hygiene (java.util.Date…) and test/fixture/generated buckets,
     # surfaced separately so the headline reflects real product migration risk.
@@ -1238,90 +1314,142 @@ class MigrationReport:
             1 for f in main_findings if f.severity in ("critical", "high")
         )
 
-        # BUG #4 / #6: readiness deduction. FRAMEWORK blockers (jakarta / Boot3 /
-        # Security — critical+high) are UNCAPPED so a genuinely blocked repo floors
-        # at 0. Orthogonal JDK-modernization debt (SecurityManager, sun.*, reflection)
-        # is advisory-CAPPED so it can never sink the framework headline. Best-practice
-        # hygiene (java.util.Date) is EXCLUDED entirely — it blocks no version upgrade.
-        fw = _BOOT3_MIGRATION_TARGETS
-        fw_crit = _files_by_sev(main_findings, "critical", targets=fw)
-        fw_high = _files_by_sev(main_findings, "high", targets=fw)
-        fw_med = _files_by_sev(main_findings, "medium", targets=fw)
-        fw_low = _files_by_sev(main_findings, "low", targets=fw)
-        _jdk_exclude = fw | _BEST_PRACTICE_TARGETS
-        jdk_crit = {f.source_file for f in main_findings
-                    if f.severity == "critical" and f.migration_target not in _jdk_exclude}
-        jdk_high = {f.source_file for f in main_findings
-                    if f.severity == "high" and f.migration_target not in _jdk_exclude}
-        jdk_med = {f.source_file for f in main_findings
-                   if f.severity == "medium" and f.migration_target not in _jdk_exclude}
-        jdk_low = {f.source_file for f in main_findings
-                   if f.severity == "low" and f.migration_target not in _jdk_exclude}
-        jdk_raw = len(jdk_crit) * 15 + len(jdk_high) * 8 + len(jdk_med) * 3 + len(jdk_low) * 1
-
-        deduction = (
-            len(fw_crit) * 15
-            + len(fw_high) * 8
-            + len(fw_med) * 3
-            + min(len(fw_low) * 1, _LOW_SEVERITY_DEDUCTION_CAP)
-            + min(jdk_raw, _JDK_ADVISORY_DEDUCTION_CAP)
-        )
-        self.readiness_score = max(0, 100 - deduction)
-
         # Per-dimension readiness — independent severity-weighted scores (MAIN only).
         self.jakarta_readiness = _dimension_score(main_findings, _JAKARTA_TARGETS)
         self.boot3_readiness = _dimension_score(main_findings, _BOOT3_MIGRATION_TARGETS)
         self.jdk_modernization = _dimension_score(main_findings, None)
+        if not self.spring_present:
+            self.boot3_readiness = 100
 
-        # BUG #1: Hibernate 5→6 is its own rewrite axis and applies ONLY when the
-        # repo is actually on Hibernate < 6. A resolved Hibernate 6+ (Keycloak:
-        # 6.2.13) means the migration is already done → N/A, never a blocker. An
-        # unresolved version degrades to a low-confidence hypothesis (no headline).
-        hib = self.hibernate
-        _hibernate_applies = (
-            hib is not None and hib.detected and hib.migration_applicable
+        # BUG #3/#4: the jakarta dimension is applicable ONLY with POSITIVE evidence the
+        # namespace axis is relevant — either migratable javax.* code (a javax→jakarta
+        # finding, axis in-progress) OR the jakarta.* namespace already adopted (axis
+        # complete → 100). A repo with neither was never Java EE: jakarta is N/A, never a
+        # manufactured 100 folded into the headline.
+        _jakarta_applies = (
+            any(f.migration_target in _JAKARTA_TARGETS for f in main_findings)
+            or self.jakarta_namespace_adopted
         )
-        if hib is not None and hib.detected:
-            # Already on H6+ → nothing to migrate → 100; else the rewrite score.
-            self.hibernate_readiness = hib.readiness if hib.migration_applicable else 100
-        if _hibernate_applies and hib.classification == "rewrite_zone" \
+
+        # ── BUG #2: Hibernate applicability — version-driven, never heuristic ────
+        # The 5→6 axis is applicable ONLY when the repo is actually on Hibernate < 6.
+        #   resolved < 6        → applicable (rewrite score is a measurement)
+        #   resolved ≥ 6        → N/A (already migrated)
+        #   unresolved, Boot≥3  → N/A (Boot 3/4 BOM manages Hibernate ORM ≥6)
+        #   unresolved, Boot==2 → applicable (Boot 2 BOM manages Hibernate 5.x)
+        #   unresolved, no BOM  → N/A, status "unresolved" (NEVER a heuristic number
+        #                          that looks like a measurement on absent data)
+        hib = self.hibernate
+        hib_detected = hib is not None and hib.detected
+        boot_major = _parse_major(self.spring_boot_version_detected)
+        _hibernate_applies = False
+        _hib_score: Optional[int] = None
+        hib_status = "not_detected"
+        _hib_reason = "N/A — no Hibernate dependency or import detected"
+        if hib_detected:
+            if hib.version_confidence == "high":
+                if hib.migration_applicable:              # resolved major < 6
+                    _hibernate_applies, _hib_score = True, hib.readiness
+                    hib_status = "resolved_h5"
+                    _hib_reason = f"Hibernate 5→6 rewrite axis (resolved {hib.effective_version})"
+                else:                                     # resolved major ≥ 6
+                    hib_status = "managed_ge6"
+                    _hib_reason = (f"N/A — resolved Hibernate {hib.effective_version} (≥6); "
+                                   f"no 5→6 migration pending")
+            elif boot_major is not None and boot_major >= 3:
+                hib_status = "managed_ge6"
+                _hib_reason = (f"N/A — Hibernate version managed by Spring Boot "
+                               f"{self.spring_boot_version_detected} BOM (Hibernate ORM ≥6); "
+                               f"5→6 axis inapplicable")
+            elif boot_major == 2:
+                _hibernate_applies, _hib_score = True, hib.readiness
+                hib_status = "managed_h5"
+                _hib_reason = (f"Hibernate 5→6 rewrite axis (Hibernate 5.x managed by Spring "
+                               f"Boot {self.spring_boot_version_detected} BOM)")
+            else:
+                hib_status = "unresolved"
+                _hib_reason = ("N/A — Hibernate version unresolved (not declared and no Spring "
+                               "Boot BOM to infer from); not penalized on absent data")
+        # Top-level scalar: the rewrite score only when applicable; else 100 (nothing
+        # pending) — never a heuristic penalty on an inapplicable/unresolved axis.
+        self.hibernate_readiness = _hib_score if _hibernate_applies else 100
+        # Headline blocker only on a DIRECTLY-resolved Hibernate-5 rewrite zone.
+        if _hibernate_applies and hib is not None and hib.classification == "rewrite_zone" \
                 and hib.version_confidence == "high":
-            # Only a CONFIRMED Hibernate-5 rewrite zone earns the headline blocker.
             self.headline_blocker = "hibernate_rewrite"
 
-        # BUG #2 / #3: declare which dimensions apply. jakarta + JDK are always
-        # applicable to a Java repo; boot3 applies only when Spring is actually used
-        # (Quarkus/Micronaut/Jakarta-pure repos have no Boot 2→3 axis); hibernate
-        # applies only for a real Hibernate < 6. N/A dimensions carry score=None and
-        # are excluded from the aggregate — never scored as 0.
-        if not self.spring_present:
-            self.boot3_readiness = 100
-        if _hibernate_applies:
-            _hib_reason = f"Hibernate 5→6 rewrite axis (detected {hib.effective_version or 'version unknown'})"
-        elif hib is not None and hib.detected and not hib.migration_applicable:
-            _hib_reason = (f"N/A — already on Hibernate {hib.version_major} "
-                           f"({hib.effective_version}); no 5→6 migration pending")
-        else:
-            _hib_reason = "N/A — no Hibernate dependency or import detected"
+        # BUG #3: declare which dimensions apply, then derive readiness_score as a
+        # DOCUMENTED aggregate over the applicable MIGRATION dimensions only. jakarta
+        # is always applicable; boot3 only with Spring; hibernate only for a real
+        # Hibernate < 6. jdk_modernization is an orthogonal upkeep axis (SecurityManager,
+        # reflection, java.time) — reported but EXCLUDED from the headline so JDK debt
+        # cannot sink a framework-complete repo. N/A dimensions carry score=None and
+        # never enter the aggregate.
         self.applicable_dimensions = {
-            "jakarta": {"applicable": True, "score": self.jakarta_readiness,
-                        "reason": "javax→jakarta namespace migration"},
+            "jakarta": {
+                "applicable": _jakarta_applies,
+                "score": self.jakarta_readiness if _jakarta_applies else None,
+                "reason": ("javax→jakarta namespace migration"
+                           if _jakarta_applies
+                           else "N/A — no migratable javax.* imports detected"),
+            },
             "boot3": {
                 "applicable": self.spring_present,
                 "score": self.boot3_readiness if self.spring_present else None,
                 "reason": ("Spring Boot 2→3 / Security 6 migration"
                            if self.spring_present
-                           else "N/A — no Spring usage detected (non-Spring stack)"),
+                           else ("N/A — Spring present only as a TEST dependency "
+                                 "(spring-test); no runtime Spring"
+                                 if self.spring_test_only
+                                 else "N/A — no Spring usage detected (non-Spring stack)")),
             },
             "jdk_modernization": {"applicable": True, "score": self.jdk_modernization,
-                                  "reason": "orthogonal JDK modernization debt"},
+                                  "reason": "orthogonal JDK modernization debt (excluded from "
+                                            "the readiness_score aggregate)",
+                                  "in_aggregate": False},
             "hibernate": {
                 "applicable": _hibernate_applies,
                 "score": self.hibernate_readiness if _hibernate_applies else None,
                 "reason": _hib_reason,
+                "status": hib_status,
             },
         }
 
+        # ── BUG #3: aggregate invariant ─────────────────────────────────────────
+        # readiness_score == min(score of every applicable migration dimension).
+        # MIN (not mean): a migration is only as ready as its weakest applicable
+        # axis. _MIGRATION_DIMENSIONS lists exactly which dimensions feed it; the
+        # consistency invariant is asserted in finalize and covered by a unit test.
+        agg_inputs = {
+            name: self.applicable_dimensions[name]["score"]
+            for name in _MIGRATION_DIMENSIONS
+            if self.applicable_dimensions[name]["applicable"]
+        }
+        # BUG #4: when NO migration dimension applies (non-Spring repo, no migratable
+        # javax.*, no Hibernate 5), readiness is N/A (None) — NOT a manufactured 100.
+        # Absence of a migration target is "not applicable", never "100% ready".
+        self.readiness_score = min(agg_inputs.values()) if agg_inputs else None
+        self.readiness_aggregate = {
+            "method": "min",
+            "inputs": agg_inputs,
+            "excluded": ["jdk_modernization"],
+            "applicable": bool(agg_inputs),
+            "note": ("readiness_score = min over applicable migration dimensions "
+                     "(jakarta / boot3 / hibernate). jdk_modernization is an orthogonal "
+                     "upkeep axis and is intentionally excluded."
+                     if agg_inputs else
+                     "N/A — no migration target detected (no migratable javax.*, no "
+                     "runtime Spring, no Hibernate 5). JDK-modernization findings, if "
+                     "any, are reported on their own axis."),
+        }
+        # Internal consistency guard — the headline cannot diverge from the dimensions
+        # it claims to summarize (catches a future scorer change that breaks the model).
+        if agg_inputs:
+            assert self.readiness_score == min(agg_inputs.values()), (
+                "readiness_score must equal min(applicable migration dimensions); "
+                f"got {self.readiness_score} vs inputs {agg_inputs}"
+            )
+
         # BUG #5: effort over MAIN findings only — N/A axes (Hibernate-6 phantom,
         # test fixtures) no longer pad the estimate.
         self.estimated_effort_days = round(
@@ -1375,10 +1503,13 @@ class MigrationReport:
             "jdk_modernization": self.jdk_modernization,
             "hibernate_readiness": self.hibernate_readiness,
             "applicable_dimensions": self.applicable_dimensions,
+            "readiness_aggregate": self.readiness_aggregate,
             "readiness_note": (
-                "readiness_score is a DERIVED aggregate over applicable dimensions only "
-                "(N/A dimensions excluded, never counted as 0). For migration decisions read "
-                "the per-dimension breakdown + blocking_count, not the single number."
+                "readiness_score = min over applicable MIGRATION dimensions "
+                "(jakarta / boot3 / hibernate); see readiness_aggregate for the exact "
+                "inputs. N/A dimensions are excluded (never counted as 0); "
+                "jdk_modernization is orthogonal upkeep and is NOT in the aggregate. "
+                "For decisions read the per-dimension breakdown + blocking_count."
             ),
             "headline_blocker": self.headline_blocker,
             "blocking_count": self.blocking_count,
@@ -1386,6 +1517,7 @@ class MigrationReport:
             "hygiene_findings": self.hygiene_findings,
             "non_blocking": self.non_blocking,
             "spring_present": self.spring_present,
+            "spring_test_only": self.spring_test_only,
             "spring_boot_2_detected": self.spring_boot_2_detected,
             "spring_boot_version_detected": self.spring_boot_version_detected,
             "summary": self.summary,
@@ -1419,8 +1551,10 @@ class MigrationReport:
         main_high = sum(1 for f in self.findings
                         if f.code_context == "main" and f.severity == "high")
         nb = self.non_blocking.get("count", 0)
+        _headline = (f"{self.readiness_score}/100" if self.readiness_score is not None
+                     else "N/A (no migration target detected)")
         lines: list[str] = [
-            f"Migration Readiness: {self.readiness_score}/100",
+            f"Migration Readiness: {_headline}",
             f"  {_dim('jakarta')}  {_dim('boot3')}  "
             f"{_dim('jdk_modernization')}  {_dim('hibernate')}",
             *([f"  ⚠ Headline blocker: {self.headline_blocker} "
@@ -1598,7 +1732,12 @@ def run_migrate_check(
     limitations: list[str] = []
     read_errors = 0
     jakarta_import_count = 0
-    spring_import_seen = False
+    # BUG #1/#2: split Spring imports into runtime vs test. A test-tree file, or a
+    # test-only Spring package (org.springframework.test / .boot.test), is a
+    # test-only signal and must NOT mark the repo as runtime-Spring.
+    spring_runtime_import_seen = False
+    spring_test_import_seen = False
+    from sourcecode.path_filters import is_test_path as _is_test_path
 
     # ── Java source scan ────────────────────────────────────────────────────
     for rel_path in file_paths:
@@ -1611,8 +1750,14 @@ def run_migrate_check(
 
         # Jakarta EE 9+ namespace adoption signal (vetoes a false Boot-2 verdict).
         jakarta_import_count += len(_JAKARTA_IMPORT_RE.findall(source))
-        if not spring_import_seen and _SPRING_IMPORT_RE.search(source):
-            spring_import_seen = True
+        _in_test = _is_test_path(rel_path)
+        for _m in _SPRING_IMPORT_RE.finditer(source):
+            _sub = _m.group(1)
+            _is_test_pkg = _sub.startswith(("test.", "boot.test.")) or _sub in ("test", "boot.test")
+            if _in_test or _is_test_pkg:
+                spring_test_import_seen = True
+            else:
+                spring_runtime_import_seen = True
 
         file_findings = _scan_file(source, rel_path, _ALL_RULES)
         filtered = [f for f in file_findings if SEVERITY_ORDER.get(f.severity, 3) <= min_order]
@@ -1668,7 +1813,9 @@ def run_migrate_check(
     limitations.extend(_STATIC_LIMITATIONS)
 
     spring_boot_2, spring_boot_version = _detect_spring_boot(root, jakarta_import_count)
-    spring_present = _detect_spring_present(root, spring_import_seen)
+    spring_present, spring_test_only = _detect_spring_usage(
+        root, spring_runtime_import_seen, spring_test_import_seen
+    )
 
     # BUG #8: classify each finding's code context (main / test / generated) so the
     # report can keep test fixtures and autogenerated sources out of blocking_count.
@@ -1684,6 +1831,8 @@ def run_migrate_check(
         spring_boot_2_detected=spring_boot_2,
         spring_boot_version_detected=spring_boot_version,
         spring_present=spring_present,
+        spring_test_only=spring_test_only,
+        jakarta_namespace_adopted=jakarta_import_count > 0,
         findings=all_findings,
         hibernate=hibernate_strat,
         limitations=limitations,

sourcecode/path_filters.py

@@ -154,5 +154,36 @@ def is_vendor_path(path: str) -> bool:
         for part in dir_parts:
             if part in _LIB_SEGMENTS:
                 return True
+        # Vendored web libraries shipped into a theme/webapp by file name, e.g.
+        # jquery-3.5.1.js, jquery-migrate-1.2.1.js, bootstrap.bundle.js. These carry
+        # third-party comments (jQuery's own "BUG:" notes) that must not be reported
+        # as the project's own code notes.
+        if _is_vendored_web_lib(filename) or any(part in _VENDOR_WEB_LIB_DIRS for part in dir_parts):
+            return True
+
+    return False
+
 
+# Stems of common vendored JS/CSS libraries. A web-asset file whose name starts with
+# one of these (optionally followed by a version/qualifier) is third-party, not the
+# project's own source — wherever it physically sits in the tree.
+_VENDOR_WEB_LIB_STEMS: tuple[str, ...] = (
+    "jquery", "bootstrap", "angular", "react", "vue", "svelte", "ember",
+    "lodash", "underscore", "moment", "d3", "three", "chart", "popper",
+    "modernizr", "select2", "datatables", "ckeditor", "tinymce", "fontawesome",
+    "font-awesome", "backbone", "knockout", "prototype", "scriptaculous",
+    "highcharts", "leaflet", "axios", "polyfill", "babel", "require", "requirejs",
+    "handlebars", "mustache", "dojo", "extjs", "swiper", "slick", "fullcalendar",
+)
+# Directory names that hold only vendored web assets.
+_VENDOR_WEB_LIB_DIRS: frozenset[str] = frozenset({"jquery", "bootstrap", "webjars"})
+
+
+def _is_vendored_web_lib(filename: str) -> bool:
+    base = filename.lower()
+    for stem in _VENDOR_WEB_LIB_STEMS:
+        s = stem.strip()
+        # match "jquery.js", "jquery-3.5.1.js", "jquery.min.js", "jquery-ui.js"
+        if base == f"{s}.js" or base == f"{s}.css" or base.startswith((f"{s}-", f"{s}.")):
+            return True
     return False

sourcecode/serializer.py

@@ -291,17 +291,65 @@ _JAKARTA_RENAMED_NAMESPACES: tuple[str, ...] = (
 )
 
 
+# Permanent JDK / JSR javax.* namespaces. These are part of the Java SE platform
+# (or standalone JCP specs) and were NEVER renamed to jakarta.* — Spring Boot 3/4
+# still uses them under javax.*. They must be excluded from EVERY javax→jakarta
+# detection rule (dependency coordinates AND import scanning). This is the single
+# source of truth for the allowlist — do NOT re-implement prefix checks elsewhere.
+# Counterpart in migrate_check._JAKARTA_NO_MIGRATE_PREFIXES (import side); keep both
+# in sync. NOTE: `javax.annotation.processing` is permanent (JSR-269, compiler API)
+# but bare `javax.annotation` (JSR-250 EE subset) DID move — handled below.
+_JAVAX_PERMANENT_NAMESPACES: tuple[str, ...] = (
+    "javax.cache",              # JSR-107 (JCache) — never renamed
+    "javax.sql",                # JDBC standard extension (Java SE)
+    "javax.xml",                # JAXP (parsers/transform/xpath/stream/namespace…)
+    "javax.naming",             # JNDI (Java SE)
+    "javax.management",         # JMX (Java SE)
+    "javax.crypto",             # JCE (Java SE)
+    "javax.net",                # incl. javax.net.ssl (Java SE)
+    "javax.security.auth",      # JAAS (Java SE)
+    "javax.security.cert",      # Java SE
+    "javax.security.sasl",      # Java SE
+    "javax.annotation.processing",  # JSR-269 compiler API (NOT the JSR-250 subset)
+    "javax.tools",              # Java SE compiler API
+    "javax.lang.model",         # Java SE annotation-processing model
+    "javax.sound",              # Java SE
+    "javax.imageio",            # Java SE
+    "javax.print",              # Java SE
+    "javax.accessibility",      # Java SE
+    "javax.swing",              # Java SE
+    "javax.smartcardio",        # Java SE
+)
+
+
+def _longest_namespace_match(nl: str, namespaces: "tuple[str, ...]") -> int:
+    """Length of the longest namespace in *namespaces* that is a prefix of *nl*.
+
+    Matches an exact namespace or a dotted sub-package (javax.xml → javax.xml.bind);
+    returns 0 when none match.
+    """
+    best = 0
+    for ns in namespaces:
+        if (nl == ns or nl.startswith(ns + ".")) and len(ns) > best:
+            best = len(ns)
+    return best
+
+
 def _is_jakarta_renamed_namespace(nl: str) -> bool:
     """True only for javax.* namespaces actually renamed to jakarta.* in Jakarta EE 9.
 
-    Matches exact namespace or a sub-package (e.g. javax.servlet → javax.servlet.http).
+    Decided by LONGEST-prefix match across the renamed list and the permanent
+    JDK/JSR allowlist — the more specific namespace wins. This keeps both nuanced
+    cases correct simultaneously:
+      - javax.xml.bind (renamed, len 14) beats javax.xml (permanent, len 9) → flag.
+      - javax.annotation.processing (permanent, len 27) beats javax.annotation
+        (renamed, len 16) → no flag.
     JDK/JSR namespaces that keep javax.* forever (javax.cache, javax.sql, javax.xml
-    JAXP, javax.naming, …) return False.
+    JAXP, javax.naming, …) never flag. A bare javax.* with no match also never flags.
     """
-    for ns in _JAKARTA_RENAMED_NAMESPACES:
-        if nl == ns or nl.startswith(ns + "."):
-            return True
-    return False
+    renamed = _longest_namespace_match(nl, _JAKARTA_RENAMED_NAMESPACES)
+    permanent = _longest_namespace_match(nl, _JAVAX_PERMANENT_NAMESPACES)
+    return renamed > 0 and renamed >= permanent
 
 
 def _dep_risk_flags(name: str, version: "Optional[str]") -> list[str]:

sourcecode/summarizer.py

@@ -296,7 +296,7 @@ class ProjectSummarizer:
     _TYPE_LABELS: dict[str, str] = {
         "cli": "CLI",
         "api": "API",
-        "web_mvc": "Spring MVC web app",
+        "web_mvc": "Server-side MVC web app",
         "webapp": "Web application",
         "library": "Library",
         "monorepo": "Monorepo",

{sourcecode-1.65.0.dist-info → sourcecode-1.67.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 1.65.0
+Version: 1.67.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
@@ -738,9 +738,21 @@ evidence. `migrate-check` enforces:
   usage; Quarkus / Micronaut / Helidon / Jakarta-pure repos report `boot3` as N/A
   (`spring_present: false`), not a contradictory `applicable: true`.
 - **Permanent `javax.*` are never jakarta debt.** JDK/JSR namespaces
-  (`javax.xml.*`, `javax.crypto.*`, `javax.naming.*`, `javax.sql.*`,
-  `javax.management.*`, `javax.security.auth.*`, …) are allowlisted across every
-  jakarta scorer.
+  (`javax.cache`, `javax.sql`, `javax.xml` JAXP, `javax.crypto`, `javax.naming`,
+  `javax.management`, `javax.security.auth`, `javax.annotation.processing`, …) are
+  allowlisted across every jakarta scorer (single source of truth:
+  `serializer._JAVAX_PERMANENT_NAMESPACES` + `migrate_check._JAKARTA_NO_MIGRATE_PREFIXES`).
+  The `javax→jakarta` dependency flag decides via **longest-prefix match**, so
+  `javax.xml.bind` (JAXB — moved) flags while `javax.xml` (JAXP) does not, and
+  `javax.annotation` (JSR-250 — moved) flags while `javax.annotation.processing`
+  (JSR-269) does not. The allowlist never silences a real migration.
+- **`readiness_score` is a traceable aggregate.** It is `min` over the applicable
+  **migration** dimensions (`jakarta` / `boot3` / `hibernate`); `jdk_modernization`
+  is orthogonal upkeep and is excluded. The exact inputs are in `readiness_aggregate{}`
+  and an invariant (`readiness_score == min(applicable migration dims)`) is asserted in
+  code. When the Hibernate version is undeclared it is inferred from the Spring Boot
+  BOM (Boot ≥3 → Hibernate ≥6 → N/A; Boot 2 → Hibernate 5 → applicable; no BOM →
+  `status: unresolved`, never a heuristic score).
 - **Three buckets: blocker ≠ hygiene ≠ test.** Only product (`main`) code counts
   toward `blocking_count`, readiness, and effort. Test harnesses
   (`testsuite/`, `test-framework/`, `integration-arquillian/`, `*-test*`,

{sourcecode-1.65.0.dist-info → sourcecode-1.67.0.dist-info}/RECORD

@@ -1,4 +1,4 @@
-sourcecode/__init__.py,sha256=p8-GKiFQV7kVIfsCmKNXmTPDXKUpvscoIAbYoLSteFs,103
+sourcecode/__init__.py,sha256=PwGPkSaAcBTadA2mRPMQcETHoR9cW1WtQrx9s5Clpqw,103
 sourcecode/adaptive_scanner.py,sha256=XffluXKzJUXrMtjEiAOnSNPZnztdIcts17T9ouHeID0,10521
 sourcecode/architecture_analyzer.py,sha256=liCwQmLgb5vplohy8arjYxs_HOIv5C9MjLh_gY6bc5Q,44115
 sourcecode/architecture_summary.py,sha256=z34_6v7cSwy98cof2UVciGho7SCrZ93tiqMmq5WNzRQ,20405
@@ -7,15 +7,15 @@ sourcecode/cache.py,sha256=1V3vsaODAa2UBJAC0xpvxpmRdriCezQx5Q8JCcfgziE,31892
 sourcecode/canonical_ir.py,sha256=DEwucOPJguLsVtg5cV8mWXNi112l5jmBhv73KGGebVk,24849
 sourcecode/cir_graphs.py,sha256=9G0HHj1kw2325IDyzo2OpX73BNswEckecf4MZUXB4JM,12078
 sourcecode/classifier.py,sha256=hKzg-nQ47htqqIUzSGvYxv15cXrA3KgICTwJmdqal0o,8095
-sourcecode/cli.py,sha256=PwLLelj1ACLkWQBCEThD6vhn4sGMn5kEg-6gRX1IAb8,276536
+sourcecode/cli.py,sha256=lVkoLKPfPPJT5YGr1_IskcAKfQ0Qvfc-zRF5xF8WTjc,281985
 sourcecode/code_notes_analyzer.py,sha256=EJemNCNc9Dn-1RZYu-aNbK0ELzmsyC4s6FdHi3XyNEI,9392
 sourcecode/confidence_analyzer.py,sha256=_jckZSxksV-OU38vbkxfVNBnWCtlCq8Vwfg23x1uspA,19054
 sourcecode/context_scorer.py,sha256=QpChSpsmaAYz91rXA4Ue5xzQmNz_ZboZN09YOHScq1U,14679
-sourcecode/context_summarizer.py,sha256=zlbm8ytdvJToohU108-dwBmEl52xl0gXpf6PZBOW_2A,6540
+sourcecode/context_summarizer.py,sha256=cI2TZMvEhl0BEma12VtPaX6z03ZVBAetVzuK5GaCOvg,6852
 sourcecode/contract_model.py,sha256=nRxJKPMs1VHwFTa8AVXhGmaLjti3Lr2sjHDpWgv1bfE,3917
 sourcecode/contract_pipeline.py,sha256=bNn9SYtwfI1CGKlYGxewexlp7_IWhpwSCae-BMuuVwQ,28895
 sourcecode/coverage_parser.py,sha256=q0LeZJaX1bnntLu-ImksdBsMlpsVmk_iUfSaB4eaJGo,19702
-sourcecode/dependency_analyzer.py,sha256=qEnRiKFkleZJyLf_DyznJbWD1GJ881iG4RRDqH9oGQ4,61524
+sourcecode/dependency_analyzer.py,sha256=fQCaWQ7_BNcVgZv8gweJCwJ1CGlXsz8nw_tqN3aHJNE,63952
 sourcecode/doc_analyzer.py,sha256=05bjTUbDbmnbajD_cgRnACzS8T7xxBKVX4CjkJlhZg8,24411
 sourcecode/entrypoint_classifier.py,sha256=jhTYlyqDJH2AtdEcLVaRU3lYRTJuF8DkxVzl4-W3zWE,5322
 sourcecode/env_analyzer.py,sha256=aNTyYgQk5noJDfJU6FmasmESOHfiomyJw5EvZqjy6qc,22213
@@ -33,10 +33,10 @@ sourcecode/integration_detector.py,sha256=mQulsXN1P-4V_3ueh3xy_N9x3Aqlvm7GQ-3YGq
 sourcecode/license.py,sha256=wckiLuiwaE35KMCStUf1gYzleJuFe6qsSyxUQJvit3s,23500
 sourcecode/mcp_nudge.py,sha256=5ELU_ixzh6uA83NXLOZT8h00OhL53okfQdji3jyKOjg,2917
 sourcecode/metrics_analyzer.py,sha256=m0ENgtqKeBL17kUIK3fmGkgo7UfXBNHxCMj0H_Y5K7c,22750
-sourcecode/migrate_check.py,sha256=pv7jZGhHRaw160sWYk0NWR-jWZERl_2S_gFAJ72maFI,80133
+sourcecode/migrate_check.py,sha256=psBbL8P7vz8LUtWr0ykoKfUhDb9ss8_J3SB6UUHbMHo,88702
 sourcecode/openapi_surface.py,sha256=BTt0K-woZbkbWTN77IkqeBm_Okag9owR0848fmot8sk,16207
 sourcecode/output_budget.py,sha256=Js9yUlfQtPhqBl9R6wn_9UHVjjJc3GtLcqyfjf5t50Q,9869
-sourcecode/path_filters.py,sha256=DMea0KIlmj2pzTkuy-3YYFF4ktP0q5zP9mH4v4uXh84,5237
+sourcecode/path_filters.py,sha256=VnaD9jxZVNzluackNSTCdIddwzAqIseuSCs_A-gpCDM,6898
 sourcecode/pr_comment_renderer.py,sha256=smHslxiG14lrytCkq5nFrFu-qTHgA-t-LFYfdrfjz2o,14423
 sourcecode/pr_impact.py,sha256=dCDVw83EDbyVf6F9ZmEQmsFz8ruVH7d4mpeKQCIZHM0,16805
 sourcecode/prepare_context.py,sha256=PsRaKeABMh964niCS578WRgcccW9bajnm2yHS9zcKuM,222655
@@ -53,7 +53,7 @@ sourcecode/scanner.py,sha256=WdOQ78mMzjR1NjmKTlbxdgwinnCTfAhxCVLBEFQiFHU,8899
 sourcecode/schema.py,sha256=aHNXDf8LGyUC8ZDE_VS9kiskC2-Oswhi_WnpdGy6HDw,24897
 sourcecode/security_config.py,sha256=_m8oQAy2gP7Ho2I-IIMTFFjFVWbJIGlLEOiAWK2TDjs,3503
 sourcecode/semantic_analyzer.py,sha256=4OdG6tTSnTvq3_dSWMbQu8Ad1ndSCKeG-b9qM4hIxkw,89176
-sourcecode/serializer.py,sha256=6YoGyRqkjtp34ELwgRGCZ1r1b6zu6SqiAWT8ySjs-M8,126516
+sourcecode/serializer.py,sha256=MSxYZ-_UYDPKMvg-hVk-MnKN-TfrmxXL202siCssa9U,129110
 sourcecode/spring_event_topology.py,sha256=5_ON_21Le5zbG-1GRc5GLIi5HJfy_QjcXLVPC5WeUGQ,18055
 sourcecode/spring_findings.py,sha256=G7Or2lKBUQbcTDqudLvSs9XvNg_YoAa-_lBOG_ULs8E,5457
 sourcecode/spring_impact.py,sha256=qLwLfItX_o9LU-k_qjhD2hFpTX3PpEQ85TsYTAArzvg,56016
@@ -61,7 +61,7 @@ sourcecode/spring_model.py,sha256=zOAgFmrRbG4a6KLm1TJl55aWMyPNsz3OS3FSczqPG6A,16
 sourcecode/spring_security_audit.py,sha256=XtPJ1SXlZJ8k6VYmaWuAp7Bbir4UmreAL7doIGQ5I7o,20595
 sourcecode/spring_semantic.py,sha256=O1nKSGVzlukuxLHQVuCPxc-XrcrMFxwlHA20_dmEGgM,13307
 sourcecode/spring_tx_analyzer.py,sha256=FdFcyqPp3aT9oJ-PKrnXcTA6s69wdvzG-NBm0GMGPTU,30717
-sourcecode/summarizer.py,sha256=zgdps7yS2IktAbWe7IWz0oUcr3QIuNPRGrsScbZ4R1g,21797
+sourcecode/summarizer.py,sha256=hV-kPFXXh15GnIvmLZnmVWTEbmr35C-yKVtPiR25U2g,21802
 sourcecode/tree_utils.py,sha256=8GAkIfQAsvtEudIeW1l4ooH_oRtrWR8cpJQJsEa_Pfw,2093
 sourcecode/validation_surface.py,sha256=2Ojfzhw9R4XpemAFqb9RXf4FKyI3DYjGo4Dp0AHZMQo,22600
 sourcecode/version_check.py,sha256=CHp6ZxTIfo8kyHPCBgJA1uFC0xQCoXMuuOfrW8QTL8o,4942
@@ -88,10 +88,10 @@ sourcecode/detectors/systems.py,sha256=nYaKbGDFu0EOXFcd_1doWFT3tTUdkbxc2DjHUF5Tc
 sourcecode/detectors/terraform.py,sha256=cxORPR_zVLOJpHlh4e9JnFpkQsn_UnqMMom5yG65hZ4,1693
 sourcecode/detectors/tooling.py,sha256=8CKbtxwQoABP-WyBRNmdAmHDOvAH57AR1cF4UKuWEdQ,2074
 sourcecode/mcp/__init__.py,sha256=XU4HfRGbdid8wdUA0x_4f7uKZD1z3mv_XUY_WU_T9Mw,179
-sourcecode/mcp/orchestrator.py,sha256=kT7IssYNyQXVtDf2Q69qrMSTuyJlJ1Rhkp6_EHqc_38,36520
-sourcecode/mcp/registry.py,sha256=8ot8A9_ccPNUvHgFkUO8lIlbp4XT_UcHR101nc71Gjc,65840
+sourcecode/mcp/orchestrator.py,sha256=diVoQgn24QmgPL3Ev8Sp6hsvh02OqY3MktHXOzrlodo,36525
+sourcecode/mcp/registry.py,sha256=jLCUG7-m53Fbxqjzpt_OWu6NUp7b46S2ixTDixsTRyo,65975
 sourcecode/mcp/runner.py,sha256=-Dp2qPGRkfNTVen6bKh7WtzQqpcEtsrXoiuajvshlKk,2866
-sourcecode/mcp/server.py,sha256=DV7aiUObBGekShSDc7Iu67ISdesByutto3JOFbcYBFk,63693
+sourcecode/mcp/server.py,sha256=1jwMR0OwJcLi1GoAKT300RSQAhfd_nYLrvABG7s0pUU,63874
 sourcecode/mcp/onboarding/__init__.py,sha256=sj2PWqEBmMc4zBNkomg89WtL0M6S7A9yb7_wAuSWNP4,66
 sourcecode/mcp/onboarding/applier.py,sha256=B9CneieWTpaDSDIyW3S5nrlRlBpvfqUcgi93-mm_ApQ,2135
 sourcecode/mcp/onboarding/backup.py,sha256=ihqGOR8QTX8HASRSEDyfFyXr5bkXrygPHamv4p9KTmk,1452
@@ -103,8 +103,8 @@ sourcecode/telemetry/consent.py,sha256=H5z2Wu63pZqbaKucRPoJQJ0zCo4cke9ZlBrJC-MaW
 sourcecode/telemetry/events.py,sha256=LtzYfaX9Ilckj5PTvAcTpDa9mLqDsYPDUiDkRa58piY,2580
 sourcecode/telemetry/filters.py,sha256=NHa5T-6DaZduQPFuC34jOqHWQgSizM-Ygq8aZ4j19ng,5834
 sourcecode/telemetry/transport.py,sha256=4gGHsq0WeY9VywEZXA3vUxykfiYnw9uuqfjAAec7F8o,1681
-sourcecode-1.65.0.dist-info/METADATA,sha256=tuUMAq5_nLV0J0Zrsl8TAS1NdxLSgunoAtnhlFoYv2U,46300
-sourcecode-1.65.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
-sourcecode-1.65.0.dist-info/entry_points.txt,sha256=ex3F9rmbXeyDIoFQHtkEqTsKSaJow8F0LrVu8XfIktQ,57
-sourcecode-1.65.0.dist-info/licenses/LICENSE,sha256=7DdHrU9Z_3e7dSvq4ISijZNjnuHo5NIHNiHDouMQ9JU,10491
-sourcecode-1.65.0.dist-info/RECORD,,
+sourcecode-1.67.0.dist-info/METADATA,sha256=2UUp86qduBBVjyFuifvdUOmahDSseKPyZ8rsy7j2P8g,47341
+sourcecode-1.67.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
+sourcecode-1.67.0.dist-info/entry_points.txt,sha256=ex3F9rmbXeyDIoFQHtkEqTsKSaJow8F0LrVu8XfIktQ,57
+sourcecode-1.67.0.dist-info/licenses/LICENSE,sha256=7DdHrU9Z_3e7dSvq4ISijZNjnuHo5NIHNiHDouMQ9JU,10491
+sourcecode-1.67.0.dist-info/RECORD,,