FrancescoPezzella · Oct 15, 2026 · Oct 16, 2026 · Oct 16, 2026 · Oct 11, 2026 · Oct 12, 2026
diff --git a/.gitignore b/.gitignore
@@ -234,3 +234,6 @@ __marimo__/
 **/*.dll
 **/.*.so
 **/*.dot
+
+# Folder containing relevant presentations made with Marp
+.marp_presentations
diff --git a/docs/TODO b/docs/TODO
@@ -1,4 +1,3 @@
-
 ## Documentation gaps: action points for docs
 
 ### Stub pages that need content
@@ -35,9 +34,12 @@
 
 15. **Scoping: skip and filter at the file level** (add to strategy-composition.md or a new page) — Java's `skipATU`, `globalFilter`, `sourceFilePostfixes`, and `sourceFileDirectories` provide coarse-grained scoping before any pattern matching runs. The Python equivalent concept needs documentation.
 
-
 ### New pages worth adding
 
 19. **Common parser problems** (new page, e.g., `docs/developer/modules/parser-known-limitations.md`) — Java has CommonCdtParsingProblems.md listing concrete CDT/MSVC-extension parsing failures with workarounds. A Python equivalent covering known tree-sitter, libcst, clang binding, and ANTLR limitations would be directly useful.
 
-20. **Related works and context** (new section in index.md or index.md) — The Java UserGuide.md relates the tool to WHARS and ADA tooling. Adding a "related works" section that situates Renaissance-Experiments relative to the Java version, comby, and other code transformation tools would help new contributors understand design choices.
+20. **Related works and context** (new section in index.md or index.md) — The Java UserGuide.md relates the tool to WHARS and ADA tooling. Adding a "related works" section that situates Renaissance-Experiments relative to the Java version, comby, and other code transformation tools would help new contributors understand design choices.
+
+### Naming
+
+21. **Type parameter modernization: rename the recipe and update its code references** — The page and rule links use `type-parameter-modernization`, but the recipe is still `TypeVarCheck` (`type_var_check.py`, `type_var_domain.py`, `test_type_var_*`). Rename the recipe to `TypeParameterCheck` and update its implementation and tests in one change (ADR 15 resolves recipe names with `snake_case()`), then update the docs that name the recipe.
diff --git a/docs/developer/architecture/position-consistency.md b/docs/developer/architecture/position-consistency.md
@@ -159,9 +159,10 @@ the two sides can silently disagree, producing incorrect or corrupted output.
 * `src/renaissance/syntax_tree/ast_rewriter.py` - derives the buffer a rewrite batch is applied to.
 * `src/renaissance/common/rewriter.py` - splices replacement text into that buffer, in bytes.
 * `src/renaissance/syntax_tree/ast_node.py` - `binary_file_content`, the root-owned buffer accessor.
-* `src/renaissance/integrations/python/ast/rst_node.py`, `src/renaissance/integrations/python/ast/cst_node.py`
-  and `src/renaissance/integrations/python/ast/util.py` - the Python adapters and the line/column to
-  offset conversion they share.
+* `src/renaissance/integrations/python/ast/rst_node.py` and `src/renaissance/integrations/python/ast/util.py` -
+  the RST adapter and its line/column to offset conversion.
+* `src/renaissance/integrations/python/ast/cst_node.py` - the CST adapter, which converts libcst's line/column
+  positions to byte offsets itself.
 * `src/renaissance/integrations/tree_sitter/lst.py` - the tree-sitter adapter.
 * `src/renaissance/integrations/clang/clang_ast_node.py` and
   `src/renaissance/integrations/clang/clang_json_ast_node.py` - the clang adapters.

diff --git a/docs/developer/feature-test-map/core.md b/docs/developer/feature-test-map/core.md
@@ -11,13 +11,47 @@ https://github.com/TNO/Renaissance.Py/blob/main/LICENSE
 ## 1. Pattern matching
 
 - **Feature:** [Pattern matching](../../user/features/pattern-matching.md)
-- **Suggested test modules:** `tests/matching/`
+- **Test file(s):**
+    - `test/syntax_tree/test_match_finder.py`
+    - `test/syntax_tree/test_match_finder_multi_assignments.py`
+    - `test/syntax_tree/test_match_tree.py`
+    - `test/syntax_tree/test_match_dict.py`
+    - `test/syntax_tree/test_pattern_match.py`
+    - `test/syntax_tree/test_pattern_kind.py`
+    - `test/python/ast/test_python_matcher.py`
+    - `test/c_cpp/test_c_match_finder.py`
+- **Code file(s):** `src/renaissance/syntax_tree/match_finder.py`, `src/renaissance/syntax_tree/pattern_kind.py`
 
 ## 2. Rewrite semantics
 
 - **Feature:** [Rewrite semantics](../../user/features/rewrite-semantics.md)
 - **Concepts:** [Rewrite semantics](../../user/concepts/rewrite-semantics.md)
 - **Test modules:** [Rewrite semantics test module](../../developer/modules/rewrite-semantics.md)
 - **BDD feature file:** `features/rewrite-semantics.feature`
-- **BDD steps:** `features/steps/test-rewrite-semantics.py`
+- **BDD steps:** `features/steps/test_rewrite_semantics.py`
+- **Test file(s):**
+    - `test/common/test_rewriter.py`
+    - `test/syntax_tree/test_ast_rewriter.py`
+    - `test/syntax_tree/test_rewrite_semantics_properties.py`
 - **Code files:** `src/renaissance/common/rewriter.py`, `src/renaissance/syntax_tree/ast_rewriter.py`
+
+## 3. Type parameter modernization
+
+- **Feature:** [Type parameter modernization](../../user/features/type-parameter-modernization.md)
+- **Concepts:** [Rewrite semantics](../../user/concepts/rewrite-semantics.md)
+- **Code modules:** [Refactoring recipes](../../developer/modules/recipes.md)
+- **Test file(s):**
+    - `test/recipes/test_type_var_check.py`
+    - `test/recipes/test_type_var_check_convert.py`
+    - `test/recipes/test_type_var_check_localize.py`
+    - `test/recipes/test_type_var_check_orphaned.py`
+    - `test/recipes/test_type_var_check_properties.py`
+    - `test/recipes/test_type_var_domain.py`
+    - `test/recipes/test_step_runner.py`
+    - `test/recipes/test_python_refactoring.py`
+    - `test/utils/test_import_resolution.py`
+    - `test/rejuvenation/test_migration_type_recipes.py`
+- **Code file(s):** `src/renaissance/recipes/type_var_check.py`, `src/renaissance/recipes/type_var_domain.py`,
+  `src/renaissance/recipes/step_runner.py`,
+  `src/renaissance/recipes/python_refactoring.py`,
+  `src/renaissance/utils/import_resolution.py`, `src/rejuvenation/migration-type-recipes.py`
diff --git a/docs/developer/modules/index.md b/docs/developer/modules/index.md
@@ -15,3 +15,6 @@ https://github.com/TNO/Renaissance.Py/blob/main/LICENSE
 5. [Transformation modules](transformation.md)
 6. [Observability modules](observability.md)
 7. [Strategy modules](strategy.md)
+8. [Rewrite semantics module](rewrite-semantics.md)
+9. [Refactoring recipes](recipes.md)
+10. [Rejected recipes](rejected-recipes.md)
diff --git a/docs/developer/modules/parser-and-ast.md b/docs/developer/modules/parser-and-ast.md
@@ -107,11 +107,16 @@ preserves comments and whitespace, or reparses source. Each adapter supplies
 those behaviors individually. Reference and data-flow collections
 (`references`, `referenced_by`) are also parser-specific because not every
 parser can provide the same analysis. Keep the original parser node available
-when callers need parser-specific data.
+when callers need parser-specific data. The Python CST adapter resolves them
+with libcst's scope analysis, which also finds names used inside string
+annotations. An annotation or type hint written above a definition in the
+same scope still refers to it, since it is evaluated lazily.
 
 The native Python `ast.AST` adapter is a lightweight structural adapter and
 does not preserve source trivia in the same way as the lossless Python RST/CST
 adapters. Use the lossless adapter when source-preserving rewriting is needed.
+`PythonRefactoring` parses with the RST adapter by default; pass
+`node_class=PythonCstNode` to use the CST adapter instead.
 
 ## Classify nodes