sourcecode 1.30.17__tar.gz → 1.30.18__tar.gz

sourcecode-1.30.18/.continue-here.md

@@ -0,0 +1,150 @@
+# Continue Here — atlas-cli sesión 15
+
+**Paused:** 2026-05-18 (sesión 15)
+**Repo:** `/Users/user/Downloads/atlas-cli`
+**Branch:** master
+**Working tree:** 3 ficheros modificados, SIN commit
+
+---
+
+## Trabajo de esta sesión
+
+### Ya commiteado (66db10b)
+
+`fix(cli): three flag-routing bugs in compact/repo-ir paths`
+
+| Bug | Fichero | Fix |
+|---|---|---|
+| `--changed-only` = `--compact` (byte idéntico) | `cli.py` | Filtrar `sm.file_paths`, `entry_points`, `code_notes` antes de `compact_view`; `_allowed_changed_files` se computaba pero nunca se aplicaba porque `compact` forzaba `mode=raw` |
+| `--compact --format yaml` ignorado | `cli.py` | Rama compact hardcodeaba `json.dumps`; añadir bloque `if format == "yaml"` igual al de contract_view |
+| `sourcecode repo-ir .` → "No such command '.'" | `cli.py` | `"repo-ir"` ausente de `_SUBCOMMANDS`; preprocessor consumía token como PATH antes de que Click pudiera dispatchar |
+
+---
+
+### Pendiente de commit (3 ficheros modificados)
+
+**Para commitear (primera acción al retomar):**
+
+```bash
+cd /Users/user/Downloads/atlas-cli
+git add src/sourcecode/contract_pipeline.py \
+        src/sourcecode/repository_ir.py \
+        src/sourcecode/prepare_context.py
+
+git commit -m "fix(encoding): utf-8 en subprocess + symptom boost por commit messages
+
+- repository_ir.py _get_git_old_content: añadir encoding='utf-8', errors='replace'
+  al subprocess.run de git show — causa raíz del UnicodeDecodeError cp1252 en Windows
+- contract_pipeline.py grep -rl: mismo fix (fallback Python en Windows, defensivo)
+- prepare_context.py: symptom boost refactor en 6 passes
+  - Nuevo: _recent_commits_for_symptom extraído en bloque 5b (sin coste extra)
+  - Nuevo: commit message index (file → n commits con keyword en mensaje)
+  - Nuevo: inyección desde commit index para ficheros no en candidate pool
+  - Fix: content scan +0.05/hit, cap +0.50 (era +0.02, cap +0.30)
+  - Fix: code notes matching → back-propagate score al fichero (+0.20/note)
+  - Fix: path-kw boost aplicado a candidatos pre-existentes (no solo inyectados)
+  - Multi-signal boost en un solo file-read pass; reason string explica cada boost"
+```
+
+---
+
+## Qué hace cada cambio pendiente
+
+### `repository_ir.py` + `contract_pipeline.py` — encoding fix
+
+```python
+# Antes (crash en Windows cp1252):
+result = subprocess.run([...], text=True, timeout=5)
+
+# Después:
+result = subprocess.run([...], text=True, encoding="utf-8", errors="replace", timeout=5)
+```
+
+Causa raíz del bug reportado: `sourcecode repo-ir . --since HEAD~3` en Windows 11 Python 3.10
+crasheaba con `UnicodeDecodeError: 'charmap' codec can't decode byte 0x81` porque
+`subprocess` hereda `cp1252` como encoding por defecto en Windows.
+
+### `prepare_context.py` — symptom boost overhaul
+
+**Problema original:** `--symptom "sesiones"` = output idéntico al baseline porque:
+- Ningún path Java contiene "sesiones" (clases no se nombran en español)
+- Content scan era demasiado débil (+0.02/hit → max +0.20 para 10 hits)
+- Git commit messages no se escaneaban
+
+**Nuevo pipeline (6 passes):**
+
+| Pass | Señal | Boost | Cap |
+|---|---|---|---|
+| 1 | Code notes text match → `related_notes` + `_note_matched_paths` | — | — |
+| 2 | **Commit index**: `file → n_commits` con keyword en mensaje | — | — |
+| 3 | **Inyección desde commit index** (ficheros no en pool) | +0.15/commit desde 0.5 | 0.85 |
+| 4 | Path injection (sin cambios lógicos) | +0.20/kw desde 0.5 | 1.0 |
+| 5 | **Multi-signal boost** en 1 file-read: commit (+0.25/commit, cap+0.40), note (+0.20/note, cap+0.30), path-kw (+0.20/kw), content (+0.05/hit, cap+0.50) | acumulativo | 1.0 |
+| 6 | Cross-layer synonym frontend→backend (sin cambios) | sin cambios | — |
+
+**Before/after verificado** en BroadleafCommerce:
+- `--symptom "pagination"`: top 10 pasa de servicios genéricos (0.67) a `PageDao.java` (0.90, role=`symptom_match`, reason="commit-msg symptom ×1 (+0.25)")
+- `--symptom "zookeeper"`: `pom.xml` (1.00, 2 commit hits), `ZookeeperUtil.java` (1.00, path+content)
+
+---
+
+## Estado de tests
+
+```
+920 passed, 3 skipped
+```
+
+Pre-existing failures (no tocar):
+- `tests/test_block2_coverage.py` — bug `DocRecord` en `doc_analyzer.py`
+- `tests/test_dependency_analyzer_node_python.py::test_python_requirements_without_lockfile_keeps_declared_versions`
+
+---
+
+## Pendientes (próxima sesión)
+
+### Heredados de sesión 14 (aún vigentes)
+
+1. **Spring bean wiring graph** — `_build_relations` emite `injects` edges para `@Autowired`. Falta: trazar `@Configuration → @Bean → @Autowired` completo, exponer como `wiring_graph`.
+
+2. **Smoke test en repo spring-boot real:**
+   ```bash
+   cd ~/Documents/workspace/spring-boot-realworld-example-app
+   sourcecode repo-ir . --since HEAD~1 2>/dev/null | python3 -c "
+   import json, sys; d=json.load(sys.stdin)
+   print('nodes:', len(d['graph']['nodes']))
+   print('route_surface:', d.get('route_surface', []))
+   print('reverse_graph keys:', len(d.get('reverse_graph', {})))
+   "
+   ```
+
+3. **Transaction boundary tracking** — `@Transactional` detectado. Falta: emitir `transactional_boundary` edges.
+
+4. **`_diff_routes` para `@RequestMapping` en clase** — class-level mapping change debería propagarse a todos los endpoints del controller.
+
+### Nuevos de sesión 15
+
+5. **Tests para el symptom fix** — validar que `--symptom "sesiones"` con commits mock que contengan "sesiones" en mensaje produce ranking diferente al baseline. Cobertura en `tests/test_prepare_context_symptom.py` o similar.
+
+6. **`_FRONTEND_SYMPTOM_MAP`** — añadir "sesiones"/"session" como frontend keyword con backend terms `["httpsession", "sessionmanager", "sessionservice", "sessionrepository"]`.
+
+---
+
+## Para retomar
+
+```bash
+cd /Users/user/Downloads/atlas-cli
+git log --oneline -3   # debe mostrar 66db10b como más reciente
+git status             # 3 ficheros M: contract_pipeline, prepare_context, repository_ir
+
+# Primera acción: commitear (comando arriba)
+
+python3 -m pytest tests/ \
+  --ignore=tests/test_block2_coverage.py \
+  --ignore=tests/test_dependency_analyzer_node_python.py \
+  -q
+# Expected: 920 passed, 3 skipped
+```
+
+---
+
+*Pausado 2026-05-18 sesión 15 — gsd:pause-work*

{sourcecode-1.30.17 → sourcecode-1.30.18}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 1.30.17
+Version: 1.30.18
 Summary: Deterministic codebase context for AI coding agents
 License:                                  Apache License
                                    Version 2.0, January 2004
@@ -221,7 +221,7 @@ Description-Content-Type: text/markdown
 
 **Deterministic, behavior-aware codebase context for AI agents and PR review.**
 
-![Version](https://img.shields.io/badge/version-1.30.17-blue)
+![Version](https://img.shields.io/badge/version-1.30.18-blue)
 ![Python](https://img.shields.io/badge/python-3.10%2B-green)
 
 ---
@@ -257,7 +257,7 @@ pipx install sourcecode
 
 ```bash
 sourcecode version
-# sourcecode 1.30.17
+# sourcecode 1.30.18
 ```
 
 ---

{sourcecode-1.30.17 → sourcecode-1.30.18}/README.md

@@ -2,7 +2,7 @@
 
 **Deterministic, behavior-aware codebase context for AI agents and PR review.**
 
-![Version](https://img.shields.io/badge/version-1.30.17-blue)
+![Version](https://img.shields.io/badge/version-1.30.18-blue)
 ![Python](https://img.shields.io/badge/python-3.10%2B-green)
 
 ---
@@ -38,7 +38,7 @@ pipx install sourcecode
 
 ```bash
 sourcecode version
-# sourcecode 1.30.17
+# sourcecode 1.30.18
 ```
 
 ---

{sourcecode-1.30.17 → sourcecode-1.30.18}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "sourcecode"
-version = "1.30.17"
+version = "1.30.18"
 description = "Deterministic codebase context for AI coding agents"
 readme = "README.md"
 requires-python = ">=3.9"

{sourcecode-1.30.17 → sourcecode-1.30.18}/src/sourcecode/__init__.py

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

{sourcecode-1.30.17 → sourcecode-1.30.18}/src/sourcecode/contract_pipeline.py

@@ -623,6 +623,8 @@ def _find_symbol_files(
             cwd=str(root),
             capture_output=True,
             text=True,
+            encoding="utf-8",
+            errors="replace",
             timeout=20,
         )
         for line in result.stdout.splitlines():

{sourcecode-1.30.17 → sourcecode-1.30.18}/src/sourcecode/prepare_context.py

@@ -561,17 +561,23 @@ _ARTIFACT_CHANGE_EFFECT: dict[str, str] = {
 # Maps frontend symptom keywords → backend terms likely to contain the root cause.
 # Used to boost service/interceptor files when the symptom is UI-only.
 _FRONTEND_SYMPTOM_MAP: dict[str, list[str]] = {
-    "spinner":  ["loading", "setloading", "finalize", "httpinterceptor", "interceptor", "service"],
-    "loading":  ["loading", "setloading", "finalize", "httpinterceptor", "interceptor", "service"],
-    "login":    ["authcontroller", "securityconfig", "filterconfig", "jwtfilter", "auth", "authentication"],
-    "logout":   ["authcontroller", "securityconfig", "jwtfilter", "auth", "session"],
-    "dropdown": ["getmapping", "findall", "obtenertodos", "listall", "findby"],
-    "modal":    ["controller", "getmapping", "findby", "search"],
-    "popup":    ["controller", "getmapping", "findby", "search"],
-    "table":    ["paginated", "findby", "search", "getmapping", "listall"],
-    "grid":     ["paginated", "findby", "search", "getmapping"],
-    "button":   ["postmapping", "putmapping", "deletemapping", "controller", "service"],
-    "form":     ["postmapping", "putmapping", "controller", "service", "dto"],
+    "spinner":    ["loading", "setloading", "finalize", "httpinterceptor", "interceptor", "service"],
+    "loading":    ["loading", "setloading", "finalize", "httpinterceptor", "interceptor", "service"],
+    "login":      ["authcontroller", "securityconfig", "filterconfig", "jwtfilter", "auth", "authentication"],
+    "logout":     ["authcontroller", "securityconfig", "jwtfilter", "auth", "session"],
+    "dropdown":   ["getmapping", "findall", "obtenertodos", "listall", "findby"],
+    "modal":      ["controller", "getmapping", "findby", "search"],
+    "popup":      ["controller", "getmapping", "findby", "search"],
+    "table":      ["paginated", "findby", "search", "getmapping", "listall"],
+    "grid":       ["paginated", "findby", "search", "getmapping"],
+    "button":     ["postmapping", "putmapping", "deletemapping", "controller", "service"],
+    "form":       ["postmapping", "putmapping", "controller", "service", "dto"],
+    # session-related symptoms (Spanish + English)
+    "sesion":     ["httpsession", "sessionmanager", "sessionservice", "sessionrepository", "sessionfactory", "authentication"],
+    "sesiones":   ["httpsession", "sessionmanager", "sessionservice", "sessionrepository", "sessionfactory", "authentication"],
+    "session":    ["httpsession", "sessionmanager", "sessionservice", "sessionrepository", "sessionfactory", "authentication"],
+    # worker/assignment domain terms (common in RRHH/HR systems)
+    "trabajador": ["trabajador", "empleado", "worker", "asignacion", "trabajadordao", "trabajadorservice"],
 }
 
 
@@ -826,12 +832,14 @@ class TaskContextBuilder:
         # ── 5b. Git signals for ranking ────────────────────────────────────
         git_hotspots: dict[str, int] = {}
         uncommitted_files: set[str] = set()
+        _recent_commits_for_symptom: list = []
         try:
             from sourcecode.git_analyzer import GitAnalyzer
             _gc = GitAnalyzer().analyze(self.root, depth=30, days=90)
             _bad = {"no_git_repo", "git_not_found", "git_timeout"}
             if _gc and not (_bad & set(_gc.limitations)):
                 git_hotspots = {h.file: h.commit_count for h in _gc.change_hotspots}
+                _recent_commits_for_symptom = list(_gc.recent_commits)
                 if _gc.uncommitted_changes:
                     _uc = _gc.uncommitted_changes
                     uncommitted_files = set(_uc.staged) | set(_uc.unstaged)
@@ -1208,19 +1216,52 @@ class TaskContextBuilder:
                 if len(w) > 2
             ]
             if symptom_keywords:
-                # Surface code notes whose text contains any keyword
+                # Pass 1: surface code notes whose text contains any keyword
+                # Also track which file paths have matching notes (for score boost below).
+                _note_matched_paths: dict[str, int] = {}  # path → count of matching notes
                 for _n in cn_notes_for_ranking:
                     _text = (getattr(_n, "text", "") or "").lower()
                     if any(kw in _text for kw in symptom_keywords):
+                        _np = getattr(_n, "path", "")
                         related_notes.append({
                             "kind": getattr(_n, "kind", ""),
-                            "path": getattr(_n, "path", ""),
+                            "path": _np,
                             "line": getattr(_n, "line", None),
                             "text": getattr(_n, "text", ""),
                         })
-                # Secondary pass: inject files whose path matches symptom keywords
-                # but weren't in the candidate pool (no structural/git signals).
+                        _note_matched_paths[_np] = _note_matched_paths.get(_np, 0) + 1
+
+                # Pass 2: build commit message index — files touched in commits whose
+                # message matches a symptom keyword get a strong recency signal.
+                # This is the primary signal for functional keywords like "sesiones"
+                # that don't appear in file paths but do appear in commit messages.
+                _commit_file_hits: dict[str, int] = {}  # path → n matching commits
+                for _cr in _recent_commits_for_symptom:
+                    _msg_lower = (_cr.message or "").lower()
+                    if any(kw in _msg_lower for kw in symptom_keywords):
+                        for _cf in (_cr.files_changed or []):
+                            _cf_norm = _cf.replace("\\", "/")
+                            _commit_file_hits[_cf_norm] = _commit_file_hits.get(_cf_norm, 0) + 1
+
+                # Pass 3: inject files from commit index not yet in candidate pool
                 _existing_paths = {rf.path for rf in relevant_files}
+                for _cp, _nhits in _commit_file_hits.items():
+                    if _cp in _existing_paths:
+                        continue
+                    if Path(_cp).suffix.lower() not in _ALL_EXTENSIONS:
+                        continue
+                    _ci_score = round(min(0.5 + 0.15 * _nhits, 0.85), 2)
+                    relevant_files.append(RelevantFile(
+                        path=_cp,
+                        role="symptom_match",
+                        score=_ci_score,
+                        reason=f"commit message matches symptom ({_nhits} commit{'s' if _nhits > 1 else ''})",
+                        why=f"symptom commit-index: {', '.join(symptom_keywords)}",
+                    ))
+                    _existing_paths.add(_cp)
+
+                # Pass 4: inject files whose path matches symptom keywords
+                # but weren't in the candidate pool (no structural/git signals).
                 for _p in all_paths:
                     if _p in _existing_paths:
                         continue
@@ -1242,17 +1283,38 @@ class TaskContextBuilder:
                     ))
                     _existing_paths.add(_p)
 
-                # Re-rank all relevant_files: boost files whose path matches keywords
-                def _symptom_score(rf: "RelevantFile") -> float:
-                    path_lower = rf.path.lower()
-                    return rf.score + 0.2 * sum(1.0 for kw in symptom_keywords if kw in path_lower)
-                relevant_files = sorted(relevant_files, key=lambda rf: -_symptom_score(rf))
-
-                # Content scan boost: read file body for symptom keywords
+                # Pass 5: multi-signal boost — apply commit, note, content, and path
+                # signals in one pass to avoid redundant file reads.
                 _src_exts = frozenset({".java", ".py", ".ts", ".js", ".kt", ".go"})
-                _content_boosted: list[RelevantFile] = []
+                _boosted: list[RelevantFile] = []
                 for _rf in relevant_files:
                     _extra = 0.0
+                    _reasons: list[str] = []
+                    _p_lower = _rf.path.lower()
+
+                    # Commit message boost: +0.25/commit, cap +0.40
+                    _c_hits = _commit_file_hits.get(_rf.path, 0)
+                    if _c_hits:
+                        _cb = min(0.40, _c_hits * 0.25)
+                        _extra += _cb
+                        _reasons.append(f"commit-msg symptom ×{_c_hits} (+{_cb:.2f})")
+
+                    # Code note boost: +0.20/note, cap +0.30
+                    _n_hits = _note_matched_paths.get(_rf.path, 0)
+                    if _n_hits:
+                        _nb = min(0.30, _n_hits * 0.20)
+                        _extra += _nb
+                        _reasons.append(f"note-match symptom ×{_n_hits} (+{_nb:.2f})")
+
+                    # Path keyword boost: +0.20/keyword already in score for injected
+                    # files; re-apply for pre-existing candidates whose path matches.
+                    _path_kws = [kw for kw in symptom_keywords if kw in _p_lower]
+                    if _path_kws and _rf.role != "symptom_match":
+                        _pb = 0.20 * len(_path_kws)
+                        _extra += _pb
+                        _reasons.append(f"path-kw symptom ({', '.join(_path_kws)}) (+{_pb:.2f})")
+
+                    # Content scan boost: +0.05/hit, cap +0.50 (was +0.02, cap +0.30)
                     if Path(_rf.path).suffix.lower() in _src_exts:
                         try:
                             _lines = (self.root / _rf.path).read_text(
@@ -1260,26 +1322,33 @@ class TaskContextBuilder:
                             ).splitlines()[:300]
                             _body = "\n".join(_lines).lower()
                             _hits = sum(_body.count(kw) for kw in symptom_keywords)
-                            _extra = min(0.30, _hits * 0.02)
+                            _content_b = min(0.50, _hits * 0.05)
+                            if _content_b > 0:
+                                _extra += _content_b
+                                _reasons.append(f"content-match symptom ×{_hits} (+{_content_b:.2f})")
                         except OSError:
                             pass
-                    _content_boosted.append(RelevantFile(
+
+                    _new_reason = _rf.reason
+                    if _reasons:
+                        _new_reason = _rf.reason + ", " + ", ".join(_reasons)
+                    _boosted.append(RelevantFile(
                         path=_rf.path,
                         role=_rf.role,
                         score=round(min(_rf.score + _extra, 1.0), 2),
-                        reason=_rf.reason + (f", content-match symptom (+{_extra:.2f})" if _extra > 0 else ""),
+                        reason=_new_reason,
                         why=_rf.why,
                     ))
-                relevant_files = sorted(_content_boosted, key=lambda rf: -rf.score)
+                relevant_files = sorted(_boosted, key=lambda rf: -rf.score)
 
-                # Cross-layer synonym boost: frontend keywords → backend equivalents
+                # Pass 6: cross-layer synonym boost — frontend keywords → backend equivalents
                 _synonym_note: Optional[str] = None
                 _frontend_kws = [kw for kw in symptom_keywords if kw in _FRONTEND_SYMPTOM_MAP]
                 if _frontend_kws:
                     _backend_terms: list[str] = []
                     for _fkw in _frontend_kws:
                         _backend_terms.extend(_FRONTEND_SYMPTOM_MAP[_fkw])
-                    _backend_terms_set = list(dict.fromkeys(_backend_terms))  # dedup, preserve order
+                    _backend_terms_set = list(dict.fromkeys(_backend_terms))
                     _synonym_boosted: list[RelevantFile] = []
                     for _rf in relevant_files:
                         _extra_syn = 0.0

{sourcecode-1.30.17 → sourcecode-1.30.18}/src/sourcecode/repository_ir.py

@@ -997,6 +997,8 @@ def _get_git_old_content(git_root: Path, rel_path: str, since: str) -> Optional[
             cwd=str(git_root),
             capture_output=True,
             text=True,
+            encoding="utf-8",
+            errors="replace",
             timeout=5,
         )
         if result.returncode == 0:

sourcecode-1.30.17/.continue-here.md

@@ -1,231 +0,0 @@
-# Continue Here — atlas-cli sesión 14
-
-**Paused:** 2026-05-17 (sesión 14)
-**Repo:** `/Users/user/Downloads/atlas-cli`
-**Branch:** master
-**Working tree:** 4 ficheros modificados, SIN commit (trabajo listo para commit)
-
----
-
-## Trabajo de esta sesión (NO commiteado)
-
-Esta sesión completó 3 tareas sobre `repository_ir.py`. Todo el trabajo incluye la sesión 13 (stable IDs) + sesión 14 (route diffing + reverse graph). Hacer UN solo commit con todo.
-
----
-
-### Tarea 1 (sesión 13): Rearchitecture Directive — eliminar lenguaje especulativo
-
-**Ficheros:** `src/sourcecode/prepare_context.py`, `src/sourcecode/flow_analyzer.py`
-
-| Eliminado | Reemplazado con |
-|---|---|
-| `_ARTIFACT_CHANGE_EFFECT` con "may affect/inferred from role" | Labels estructurales: `"HTTP routing layer (request-to-handler mapping)"` |
-| `"type": "inferred"` en `_role_obj` | `{basis, has_annotation_signal, has_symbol_signal}` |
-| `"confidence": _f_conf` en runtime change entries | `"evidence_completeness"` del impact dict |
-| `_score_to_confidence()` function | Deleted completely |
-| `"confidence": score_band` en `impact_score_per_file` | `"evidence": {has_reverse_edges, has_route_diff, has_security_diff, has_wiring_evidence}` |
-| `behavioral_changes` sin graph evidence | Gateado en `has_graph_evidence == True` |
-
----
-
-### Tarea 2 (sesión 13): Stable Symbol Identities
-
-**Ficheros:** `src/sourcecode/repository_ir.py`, `tests/test_repository_ir.py`
-
-**Nuevas funciones helper:**
-- `_normalize_type_name(raw)` — strip annotations/modifiers/param names → solo tipo
-- `_parse_param_types(params_str)` — `"Long id, String name"` → `["Long", "String"]` (depth-aware, maneja generics)
-- `_compute_stable_id(package, class_simple, kind, name, param_types, return_type)` — ID determinista
-
-**`SymbolRecord`** — 8 nuevos campos: `stable_id`, `symbol_kind`, `canonical_name`, `source_file`, `signature`, `param_types`, `return_type`, `annotation_values`
-
-**`symbol_kind` values:** `enum`, `annotation`, `endpoint`, `bean`, `constructor` (además de `class`, `interface`, `method`, `field`)
-
-**Formato stable_id:**
-```
-{package}:{class_simple}:{kind}:{name}[:{(param_types)}[:{return_type}]]
-```
-
----
-
-### Tarea 3 (sesión 14): Spring Route-Surface Diffing
-
-**Ficheros:** `src/sourcecode/repository_ir.py`, `tests/test_repository_ir.py`
-
-**Qué se implementó:**
-
-| Componente | Cambio |
-|---|---|
-| `_ANN_WITH_ARGS_RE` | Captura args de anotaciones (`@GetMapping("/path")`) |
-| `SymbolRecord.annotation_values` | `dict[str, str]` — ann_name → raw args string |
-| `_HTTP_METHOD_MAP` | `@GetMapping → GET` etc. |
-| `_parse_route_path/http_method/extras` | Extraen path, method, produces/consumes |
-| `_is_route_symbol / _route_annotation_name / _enclosing_class` | Helpers de routes |
-| `_symbol_fingerprint` | Incluye valores de route annotations — cambio de path → fingerprint cambia |
-| `_diff_symbols` | Detecta `route_surface_change` antes de `annotation_change` genérico |
-| `_DIFF_INTENSITY_MAP` | `route_surface_change: 1.0` |
-| `_diff_routes` | Diff estructurado: old/new path, HTTP method, produces/consumes, evidence dict |
-| `_assemble` | Emite `route_surface: [...]` |
-
-**Output cuando route cambia:**
-```json
-{
-  "route_surface": [{
-    "symbol": "com.example.HealthController#health",
-    "controller": "com.example.HealthController",
-    "route_surface_changed": true,
-    "old_route": "/health",
-    "new_route": "/health/v3",
-    "stable_id": "com.example:HealthController:endpoint:health:():String",
-    "evidence": {
-      "annotation_value_changed": true,
-      "mapping_annotation": "RequestMapping",
-      "old_value": "/health",
-      "new_value": "/health/v3"
-    }
-  }]
-}
-```
-
----
-
-### Tarea 4 (sesión 14): Reverse Impact Graph
-
-**Ficheros:** `src/sourcecode/repository_ir.py`, `tests/test_repository_ir.py`
-
-**Problema raíz resuelto:** `_propagate_impact` traversaba grafo hacia ADELANTE (si A cambia → impacta B que A usa). Incorrecto. Impact analysis necesita grafo INVERSO (si A cambia → impacta quién DEPENDE de A).
-
-**Qué se implementó:**
-
-| Componente | Cambio |
-|---|---|
-| `contained_in` edges | `_build_relations` emite `method/field → enclosing class` |
-| `_build_reverse_adjacency` | Invierte todas las relaciones (excluye `annotated_with`, `mapped_to`) |
-| `_EDGE_REASON_TEMPLATES` + `_edge_reason` | Edge → string legible |
-| `_bfs_impact_with_paths` | Reemplaza `_propagate_impact`. BFS en grafo inverso con path tracking |
-| `enclosing_seeds` param | Omite `contained_in` edges al sembrar desde clase enclosing para no incluir métodos hermanos |
-| `reverse_graph` en output | `{target_fqn: {edge_type: [from_fqn, ...]}}` — índice para agentes |
-
-**Cadena de propagación funcional:**
-```
-UserRepository#findById cambia →
-  [1] UserService         ← "UserService depends on UserRepository (import)"
-  [2] UserService#getUser ← "... is a member of UserService"
-  [2] OrderController     ← "OrderController depends on UserService (import)"
-  [3] OrderController#getUser ← "... is a member of OrderController"
-```
-
-`UserRepository#save` (hermano, sin cambios) correctamente excluido.
-
-**Cada entidad impactada expone:**
-```json
-{
-  "entity": "com.example.web.OrderController",
-  "depth": 2,
-  "impact_score": 0.0113,
-  "via": "com.example.service.UserService",
-  "graph_path": ["com.example.repo.UserRepository", "com.example.service.UserService", "com.example.web.OrderController"],
-  "included_because": [
-    "com.example.service.UserService depends on com.example.repo.UserRepository (import)",
-    "com.example.web.OrderController depends on com.example.service.UserService (import)"
-  ]
-}
-```
-
----
-
-## Estado de tests
-
-```
-920 passed, 3 skipped   (era 885 antes de sesión 13)
-```
-
-Pre-existing failures (no tocar):
-- `tests/test_block2_coverage.py` — bug `DocRecord` en `doc_analyzer.py`
-- `tests/test_dependency_analyzer_node_python.py::test_python_requirements_without_lockfile_keeps_declared_versions`
-
----
-
-## Cambios sin commitear
-
-```
-src/sourcecode/flow_analyzer.py       |  22 +-
-src/sourcecode/prepare_context.py     | 113 ++++---
-src/sourcecode/repository_ir.py       | 522 +++++++++++++++++++++++++++++--
-tests/test_repository_ir.py           | 635 +++++++++++++++++++++++++++++++++++++-
-```
-
-**Para commitear TODO (primera acción al retomar):**
-```bash
-cd /Users/user/Downloads/atlas-cli
-git add src/sourcecode/flow_analyzer.py \
-        src/sourcecode/prepare_context.py \
-        src/sourcecode/repository_ir.py \
-        tests/test_repository_ir.py
-
-git commit -m "feat: stable IDs + route-surface diffing + reverse impact graph
-
-- Stable deterministic IDs for all symbol kinds (class/interface/enum/
-  method/constructor/field/endpoint/bean) — survives formatting/body changes
-- symbol_kind, canonical_name, signature, annotation_values on all graph nodes
-- Replace heuristic confidence scoring with evidence completeness dicts
-- Remove speculative behavioral prose (may affect / inferred from role)
-- Gate behavioral_changes on has_graph_evidence
-- Route-surface diffing: annotation value changes detected as route_surface_change;
-  evidence dict with old/new path, HTTP method, produces/consumes
-- Reverse impact graph: BFS on inverted graph; each impacted symbol carries
-  graph_path + included_because explaining the dependency chain
-- contained_in edges expose method/field → class membership for propagation
-- reverse_graph output: {target: {edge_type: [from_fqns]}} for agent queries
-- 35 new acceptance tests (920 total passing)"
-```
-
----
-
-## Pendientes (próxima sesión)
-
-### Prioridad alta
-1. **Spring bean wiring graph** — `_build_relations` ya emite `injects` edges para `@Autowired` fields. Falta: trazar grafo completo `@Configuration → @Bean → @Autowired` y exponer como `wiring_graph` en IR output.
-
-2. **Smoke test en repo spring-boot real:**
-   ```bash
-   cd ~/Documents/workspace/spring-boot-realworld-example-app
-   sourcecode repo-ir . --since HEAD~1 2>/dev/null | python3 -c "
-   import json, sys
-   d = json.load(sys.stdin)
-   print('schema:', d['schema_version'])
-   print('nodes:', len(d['graph']['nodes']))
-   print('route_surface:', d.get('route_surface', []))
-   rg = d.get('reverse_graph', {})
-   print('reverse_graph keys:', len(rg))
-   "
-   ```
-
-3. **Transaction boundary tracking** — `@Transactional` ya detectado. Falta: emitir `transactional_boundary` edges.
-
-### Prioridad media
-4. **`_diff_routes` para `@RequestMapping` en clase** — si class-level mapping cambia (`/api/v1` → `/api/v2`), debería propagarse a todos los endpoints del controller.
-
-5. **Tests unitarios para `_classify_diff_severity`** — sin cobertura
-
----
-
-## Para retomar
-
-```bash
-cd /Users/user/Downloads/atlas-cli
-git log --oneline -5   # último commit: 31aa91a
-git status             # debe mostrar 4 ficheros modificados sin trackear
-
-python3 -m pytest tests/ \
-  --ignore=tests/test_block2_coverage.py \
-  --ignore=tests/test_dependency_analyzer_node_python.py \
-  -q
-# Expected: 920 passed, 3 skipped
-
-# Primera acción: commitear (comando arriba)
-```
-
----
-
-*Pausado 2026-05-17 sesión 14 — gsd:pause-work*