codmap 0.0.24__tar.gz → 0.0.25__tar.gz

{codmap-0.0.24/codmap.egg-info → codmap-0.0.25}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codmap
-Version: 0.0.24
+Version: 0.0.25
 Summary: Static analyzer that turns a package's source into a queryable code graph.
 Author-email: kogriv <kogriv@gmail.com>
 License-Expression: MIT
@@ -44,7 +44,7 @@ and a **SCIP index** for interop with Sourcegraph / Glean and other precise-code
 
 [![CI](https://github.com/kogriv/codemap/actions/workflows/ci.yml/badge.svg)](https://github.com/kogriv/codemap/actions/workflows/ci.yml)
 
-**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1128 tests with no failures on
+**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1130 tests with no failures on
 Python 3.11–3.14** ([in CI](docs/ci.md): the full suite including the dogfood pass, a determinism check, a
 wheel smoke test, and ctags/SCIP interop against the real CLIs), warm serve surface with 31 ops (28 exposed
 as MCP tools), and SCIP export. See **[DESIGN.md](DESIGN.md)** (product design &

{codmap-0.0.24 → codmap-0.0.25}/README.md

@@ -8,7 +8,7 @@ and a **SCIP index** for interop with Sourcegraph / Glean and other precise-code
 
 [![CI](https://github.com/kogriv/codemap/actions/workflows/ci.yml/badge.svg)](https://github.com/kogriv/codemap/actions/workflows/ci.yml)
 
-**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1128 tests with no failures on
+**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1130 tests with no failures on
 Python 3.11–3.14** ([in CI](docs/ci.md): the full suite including the dogfood pass, a determinism check, a
 wheel smoke test, and ctags/SCIP interop against the real CLIs), warm serve surface with 31 ops (28 exposed
 as MCP tools), and SCIP export. See **[DESIGN.md](DESIGN.md)** (product design &

{codmap-0.0.24 → codmap-0.0.25}/codemap/extract/behavior.py

@@ -682,7 +682,11 @@ def _resolve(call, modpath, class_prefix, imports, modmembers, members, reexport
             tgt = imports[head]
             if not _is_internal(tgt, modpath):
                 return f"{tgt}.{'.'.join(parts)}", "external"
-            cur = tgt
+            # R1-C75 (design ``reexported_class_calls.md``): the head first. A class bound through
+            # a package re-export (`from pkg import Cls`) is no node under the package's name, so
+            # `Cls.method()` died on its first hop while `Cls()` resolved. Unchanged for a head that
+            # is a node or names no re-export.
+            cur = _follow_reexport(tgt, reexports or {}, nodes)
             for part in parts:
                 cur = _follow_reexport(f"{cur}.{part}", reexports or {}, nodes)
             if len(parts) == 1 or cur in nodes:

{codmap-0.0.24 → codmap-0.0.25/codmap.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codmap
-Version: 0.0.24
+Version: 0.0.25
 Summary: Static analyzer that turns a package's source into a queryable code graph.
 Author-email: kogriv <kogriv@gmail.com>
 License-Expression: MIT
@@ -44,7 +44,7 @@ and a **SCIP index** for interop with Sourcegraph / Glean and other precise-code
 
 [![CI](https://github.com/kogriv/codemap/actions/workflows/ci.yml/badge.svg)](https://github.com/kogriv/codemap/actions/workflows/ci.yml)
 
-**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1128 tests with no failures on
+**Status:** 🟢 M0–M20 implemented + research track (R1/R2) — schema 0.13, **1130 tests with no failures on
 Python 3.11–3.14** ([in CI](docs/ci.md): the full suite including the dogfood pass, a determinism check, a
 wheel smoke test, and ctags/SCIP interop against the real CLIs), warm serve surface with 31 ops (28 exposed
 as MCP tools), and SCIP export. See **[DESIGN.md](DESIGN.md)** (product design &

{codmap-0.0.24 → codmap-0.0.25}/codmap.egg-info/SOURCES.txt

@@ -146,6 +146,7 @@ tests/test_r1c71_attribute_chain_calls.py
 tests/test_r1c72_flat_inference_in_packages.py
 tests/test_r1c73_cli_version.py
 tests/test_r1c74_call_site_conservation.py
+tests/test_r1c75_reexported_class_calls.py
 tests/test_r1c7_edge_vocab.py
 tests/test_r1c8_deadcode.py
 tests/test_r1c9_incremental.py

{codmap-0.0.24 → codmap-0.0.25}/pyproject.toml

@@ -9,7 +9,7 @@ build-backend = "setuptools.build_meta"
 # version. README says this plainly, since `pip install codmap` / `import codemap` is a
 # seam a reader will otherwise hit by surprise.
 name = "codmap"
-version = "0.0.24"
+version = "0.0.25"
 description = "Static analyzer that turns a package's source into a queryable code graph."
 readme = "README.md"
 # M20/D1: measured, not assumed. Each release of the declared range runs the full suite in

codmap-0.0.25/tests/test_r1c75_reexported_class_calls.py

@@ -0,0 +1,58 @@
+"""R1-C75 — a call through a class name that came in by a package re-export.
+
+`from pkg.indicators import LibraryManager` + `LibraryManager.create_indicator()` was unresolved in the
+fast tier, while the same call after a direct import of the defining module resolved, and so did a bare
+`LibraryManager()` through the re-export. Design: docs/design/reexported_class_calls.md.
+"""
+from codemap.extract import extract
+
+FILES = {
+    "__init__.py": "",
+    "indicators/__init__.py": "from .library.manager import LibraryManager\n",
+    "indicators/library/__init__.py": "",
+    "indicators/library/manager.py": (
+        "class LibraryManager:\n"
+        "    @classmethod\n    def create_indicator(cls, name):\n        return name\n\n"
+        "    @staticmethod\n    def load_all():\n        return 1\n"),
+    "analysis/__init__.py": "",
+    "analysis/s/__init__.py": "",
+    "analysis/s/direct.py": (
+        "from ...indicators.library.manager import LibraryManager\n\n\n"
+        "def direct():\n    return LibraryManager.create_indicator('x')\n"),
+    "analysis/s/viare.py": (
+        "from ...indicators import LibraryManager\n\n\n"
+        "def via_reexport():\n    return LibraryManager.create_indicator('x'), LibraryManager.load_all()\n\n\n"
+        "def construct():\n    return LibraryManager()\n"),
+    "analysis/s/absre.py": (
+        "from rpkg.indicators import LibraryManager\n\n\n"
+        "def absolute_reexport():\n    return LibraryManager.create_indicator('x')\n"),
+}
+M = "rpkg.indicators.library.manager.LibraryManager"
+
+
+def _graph(tmp_path):
+    root = tmp_path / "rpkg"
+    for rel, body in FILES.items():
+        p = root / rel
+        p.parent.mkdir(parents=True, exist_ok=True)
+        p.write_text(body)
+    return extract(str(root))
+
+
+def _calls(g, src):
+    return sorted(e.target for e in g.edges if e.type == "calls" and e.source == src)
+
+
+def test_a_method_of_a_reexported_class_resolves(tmp_path):
+    g = _graph(tmp_path)
+    assert _calls(g, "rpkg.analysis.s.viare.via_reexport") == [f"{M}.create_indicator", f"{M}.load_all"]
+    assert _calls(g, "rpkg.analysis.s.absre.absolute_reexport") == [f"{M}.create_indicator"]
+    for fn, n in (("viare.via_reexport", 2), ("absre.absolute_reexport", 1)):
+        c = g.nodes[f"rpkg.analysis.s.{fn}"].extras["calls"]
+        assert (c["resolved"], c["unresolved"]) == (n, 0)
+
+
+def test_the_direct_import_and_the_bare_constructor_are_unchanged(tmp_path):
+    g = _graph(tmp_path)
+    assert _calls(g, "rpkg.analysis.s.direct.direct") == [f"{M}.create_indicator"]
+    assert _calls(g, "rpkg.analysis.s.viare.construct") == [M]