descry-codegraph 1.2.0__tar.gz → 1.2.1__tar.gz

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/AGENTS.md

@@ -23,7 +23,7 @@ just test tests/test_config.py::TestFromToml::test_from_toml_basic  # one test
 just test -k "cross_lang and not slow"                            # by expression
 ```
 
-Python 3.11+ required (enforced by `pyproject.toml`). Pre-commit gate: `just lint && just fmt && just test` all pass (3380 tests pass; a handful more are skipped where the environment lacks their fixture — a drop is a regression signal).
+Python 3.11+ required (enforced by `pyproject.toml`). Pre-commit gate: `just lint && just fmt && just test` all pass (3382 tests pass; a handful more are skipped where the environment lacks their fixture — a drop is a regression signal).
 
 Invoke the tool while developing:
 

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/CHANGELOG.md

@@ -4,6 +4,18 @@ All notable changes to Descry will be documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project adheres to [semver](https://semver.org/) from 1.0.0.
 
+## [1.2.1] — 2026-11-13
+
+### Fixed
+
+- Python: an index no longer ends with `RecursionError` on a class statement
+  in a method whose base is written through `self` or `cls`
+  (`class Extra(self.form_class)`). The base is read in the scope around the
+  class statement, as Python evaluates it.
+- Python: an index no longer ends with `TypeError: unhashable type: 'list'`
+  where a method assigns an attribute that a base declares as a property
+  with a setter and then reads it.
+
 ## [1.2.0] — 2026-11-04
 
 ### Added

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: descry-codegraph
-Version: 1.2.0
+Version: 1.2.1
 Summary: Codebase knowledge graph: polyglot indexer, semantic search, call-graph analysis
 Project-URL: Homepage, https://github.com/06chaynes/descry
 Project-URL: Repository, https://github.com/06chaynes/descry

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/src/descry/__init__.py

@@ -1,4 +1,4 @@
 """Descry — Codebase knowledge graph: polyglot indexer, semantic search, call-graph analysis."""
 
-__version__ = "1.2.0"
+__version__ = "1.2.1"
 __all__ = ["__version__"]

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/src/descry/resolver.py

@@ -5823,10 +5823,19 @@ class CallResolver:
     def _py_std_key(self, name, scope_id):
         """What the Python name ``name``, written in ``scope_id`` or as an
         origin path, is called in the standard library's data."""
+        scope_id = name and self._py_written_in(name, scope_id)
         value = self._value(name, scope_id, set()) if name else None
         library = isinstance(value, tuple) and value[0] == "library"
         return value[1] if library else None
 
+    def _py_written_in(self, name, scope_id):
+        """Scope the Python name ``name``, written for ``scope_id``, is read
+        in: a class statement's bases are evaluated around it, so `self` and
+        `cls` there are those of the nearest scope that is no class."""
+        if name.split(".")[0] not in ("self", "cls"):
+            return scope_id
+        return next(s for s in self._scopes(scope_id) if not self._is_class(s))
+
     def _blanket(self, name):
         """The blanket impls that are for the outside type ``name``: those
         whose every bound it may meet. A trait the project declares it meets
@@ -6508,7 +6517,8 @@ class CallResolver:
                 if mine in self._ancestors(hit.rpartition("::")[0])
             )
             self._candidates_now = sorted(derived) or None
-        if called or kind != "self":
+        if called or kind != "self" or python:
+            # A Python attribute is kept as the origins of its values.
             return None
         return self._part(value, f"{self._name(ref)}@{name}", ref)
 
@@ -6547,7 +6557,7 @@ class CallResolver:
         if lang == "python":
             # A base class is written as its origin path.
             if (scope_id, name) not in self.base_types:
-                value = self._value(name, scope_id, set())
+                value = self._value(name, self._py_written_in(name, scope_id), set())
                 found = None
                 if value == _EXTERNAL or value and value[0] == "library":
                     found = _EXTERNAL

{descry_codegraph-1.2.0 → descry_codegraph-1.2.1}/tests/test_generate.py

@@ -3223,6 +3223,60 @@ class TestPythonCallResolution:
         )
         assert "REF:x.use" in _calls(builder, "FILE:m.py::matched")
 
+    def test_self_in_a_base_is_the_method_s_self(self, tmp_path):
+        """The bases of a class statement are evaluated around it: in a
+        method, `self.form_class` is read on the method's class."""
+        builder = _index(
+            tmp_path,
+            {
+                "m.py": """
+                class Form:
+                    def is_valid(self): ...
+
+                class Case:
+                    form_class = Form
+
+                    def test(self):
+                        class Extra(self.form_class):
+                            pass
+
+                        Extra().is_valid()
+                """
+            },
+        )
+        assert _bases(builder, "FILE:m.py::Case::test::Extra") == ["FILE:m.py::Form"]
+        assert _calls(builder, "FILE:m.py::Case::test") == [
+            "FILE:m.py::Case::test::Extra",
+            "FILE:m.py::Form::is_valid",
+        ]
+
+    def test_an_attribute_a_base_has_a_property_and_setter_for(self, tmp_path):
+        """An attribute assigned where a base declares it as a property
+        with a setter is of a value not told."""
+        builder = _index(
+            tmp_path,
+            {
+                "m.py": """
+                class Base:
+                    @property
+                    def choices(self):
+                        return self._choices
+
+                    @choices.setter
+                    def choices(self, value):
+                        self._choices = value
+
+                class Child(Base):
+                    def __init__(self):
+                        self.choices = []
+                        self.choices.extend([1])
+                """
+            },
+        )
+        assert _calls(builder, "FILE:m.py::Child::__init__") == [
+            "REF:self.choices.extend"
+        ]
+
 
 class TestRustCallResolution:
     def test_a_method_two_traits_give_a_type_is_the_trait_in_scope_s(self, tmp_path):