atomadic-forge 0.61.0__tar.gz → 0.63.0__tar.gz

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/CHANGELOG.md

@@ -2,6 +2,16 @@
 
 ## Unreleased
 
+## v0.63.0 — 2026-05-08
+
+- docs: HARVEST_LEDGER.md — proof the prompt-to-shippable spec is met
+
+
+## v0.62.0 — 2026-05-08
+
+- fix(forge): GAP-013 visitor-pattern + broaden abstract-by-convention detector
+
+
 ## v0.61.0 — 2026-05-08
 
 - fix(forge): close audit findings — doc-update schema drift + GAP-009/010 + CHANGELOG gate

{atomadic_forge-0.61.0/src/atomadic_forge.egg-info → atomadic_forge-0.63.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: atomadic-forge
-Version: 0.61.0
+Version: 0.63.0
 Summary: Atomadic Forge — absorb, enforce, emerge. Polyglot (Python · JavaScript/TypeScript · Rust · Go · Swift · Kotlin) architecture guardian for AI-generated code.
 Author: Atomadic
 License-Expression: BUSL-1.1
@@ -216,7 +216,7 @@ Full tool reference: [docs/MCP_TOOLS.md](docs/MCP_TOOLS.md) | First call: `welco
 | MCP tools | **10 tools · 112 actions** |
 | CLI verbs | **39** |
 | Source files | **226** (~45K LOC) |
-| Tests | **1553 passing** across **111 test files** |
+| Tests | **1555 passing** across **111 test files** |
 | Lean4 formal proofs | **872 theorems** (mathematically verified core logic) |
 | Monadic tiers | **5** (a0 → a4, strict upward-only composition) |
 | Languages | Python, JS/TS, Swift, Kotlin, Go, Rust |

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/README.md

@@ -184,7 +184,7 @@ Full tool reference: [docs/MCP_TOOLS.md](docs/MCP_TOOLS.md) | First call: `welco
 | MCP tools | **10 tools · 112 actions** |
 | CLI verbs | **39** |
 | Source files | **226** (~45K LOC) |
-| Tests | **1553 passing** across **111 test files** |
+| Tests | **1555 passing** across **111 test files** |
 | Lean4 formal proofs | **872 theorems** (mathematically verified core logic) |
 | Monadic tiers | **5** (a0 → a4, strict upward-only composition) |
 | Languages | Python, JS/TS, Swift, Kotlin, Go, Rust |

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "atomadic-forge"
-version = "0.61.0"
+version = "0.63.0"
 description = "Atomadic Forge — absorb, enforce, emerge. Polyglot (Python · JavaScript/TypeScript · Rust · Go · Swift · Kotlin) architecture guardian for AI-generated code."
 readme = "README.md"
 requires-python = ">=3.10"

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/src/atomadic_forge/a1_at_functions/abstract_method_repair.py

@@ -184,14 +184,19 @@ def _index_overrides(pkg_root: Path) -> dict[str, set[str]]:
 def find_abstract_repairs(pkg_root: Path) -> list[AbstractRepair]:
     """Return every method that should be decorated with @abstractmethod.
 
-    Selection rules (all must hold):
+    Selection rules:
 
-      * The enclosing class signals abstract intent (Base/Abstract prefix
-        OR an "abstract"-flavored docstring).
-      * The method body is exclusively a ``raise NotImplementedError``.
+      * The method body is the canonical contract-only shape (see
+        ``_is_pure_stub_body``).
       * The method does NOT already carry an abstractmethod decorator.
-      * Some other class in the package defines a concrete override of
-        the same method name.
+      * Either:
+        (a) the enclosing class signals abstract intent
+            (Base/Abstract prefix, Interface/Protocol/ABC suffix, OR
+             abstract-flavored docstring) AND ≥1 concrete override
+             exists in another class, OR
+        (b) ≥2 concrete overrides exist in the package — that's strong
+            structural evidence the original is abstract regardless of
+            the class name (closes the pyan ``Writer`` family case).
     """
     pkg_root = Path(pkg_root)
     if not pkg_root.is_dir():
@@ -211,9 +216,8 @@ def find_abstract_repairs(pkg_root: Path) -> list[AbstractRepair]:
         for node in tree.body:
             if not isinstance(node, ast.ClassDef):
                 continue
-            if not (_is_base_class_name(node.name)
-                    or _has_abstract_docstring(node)):
-                continue
+            class_signals_abstract = (_is_base_class_name(node.name)
+                                       or _has_abstract_docstring(node))
             for item in node.body:
                 if not isinstance(item, ast.FunctionDef | ast.AsyncFunctionDef):
                     continue
@@ -225,6 +229,11 @@ def find_abstract_repairs(pkg_root: Path) -> list[AbstractRepair]:
                 other_classes = overrides.get(item.name, set()) - {node.name}
                 if not other_classes:
                     continue
+                # Decision: explicit abstract signal + >=1 override OR
+                # no class signal but >=2 concrete overrides (strong
+                # structural evidence — pyan Writer family pattern).
+                if not class_signals_abstract and len(other_classes) < 2:
+                    continue
                 # Compute the indent of the method def.
                 lines = text.splitlines()
                 if not 0 < item.lineno <= len(lines):

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/src/atomadic_forge/a1_at_functions/stub_detector.py

@@ -136,8 +136,29 @@ def detect_stubs_in_file(path: Path, *, repo_root: Path | None = None
     # Closes GAP-009.
     _ALWAYS_EMPTY_CLASSES = {"NullHandler"}
 
+    def _is_visitor_class(cls: ast.ClassDef) -> bool:
+        """A class whose base name contains Visitor/Walker is by convention
+        an AST/IR walker. Its ``visit_X`` / ``walk_X`` methods commonly
+        ``pass`` for node types it doesn't care about — that's the
+        pattern, not a stub. Closes GAP-013.
+        """
+        for base in cls.bases:
+            target = base.attr if isinstance(base, ast.Attribute) else None
+            if isinstance(base, ast.Name):
+                target = base.id
+            if target and ("Visitor" in target or "Walker" in target
+                            or "NodeVisitor" in target):
+                return True
+        # The class itself may name-signal the pattern.
+        return ("Visitor" in cls.name or "Walker" in cls.name)
+
+    def _is_visitor_method(name: str) -> bool:
+        return (name.startswith("visit_") or name.startswith("walk_")
+                or name.startswith("process_"))
+
     def visit(node: ast.AST, prefix: str = "", in_private_class: bool = False,
-               in_always_empty_class: bool = False) -> None:
+               in_always_empty_class: bool = False,
+               in_visitor_class: bool = False) -> None:
         if isinstance(node, ast.FunctionDef | ast.AsyncFunctionDef):
             if node.name.startswith("_") and node.name != "__init__":
                 return
@@ -148,6 +169,11 @@ def detect_stubs_in_file(path: Path, *, repo_root: Path | None = None
                 return
             if in_always_empty_class:
                 return
+            if (in_visitor_class and _is_visitor_method(node.name)
+                    and _function_body_is_pass_only(node)):
+                # Visitor base class methods that pass for ignored node
+                # types are the documented pattern, not stubs. GAP-013.
+                return
             if _is_abstract_method(node):
                 return
             qual = f"{prefix}{node.name}" if prefix else node.name
@@ -161,10 +187,12 @@ def detect_stubs_in_file(path: Path, *, repo_root: Path | None = None
             child_in_private = in_private_class or node.name.startswith("_")
             child_always_empty = (in_always_empty_class
                                     or node.name in _ALWAYS_EMPTY_CLASSES)
+            child_in_visitor = in_visitor_class or _is_visitor_class(node)
             for sub in node.body:
                 visit(sub, prefix=f"{node.name}.",
                       in_private_class=child_in_private,
-                      in_always_empty_class=child_always_empty)
+                      in_always_empty_class=child_always_empty,
+                      in_visitor_class=child_in_visitor)
             return
 
     for node in tree.body:

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0/src/atomadic_forge.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: atomadic-forge
-Version: 0.61.0
+Version: 0.63.0
 Summary: Atomadic Forge — absorb, enforce, emerge. Polyglot (Python · JavaScript/TypeScript · Rust · Go · Swift · Kotlin) architecture guardian for AI-generated code.
 Author: Atomadic
 License-Expression: BUSL-1.1
@@ -216,7 +216,7 @@ Full tool reference: [docs/MCP_TOOLS.md](docs/MCP_TOOLS.md) | First call: `welco
 | MCP tools | **10 tools · 112 actions** |
 | CLI verbs | **39** |
 | Source files | **226** (~45K LOC) |
-| Tests | **1553 passing** across **111 test files** |
+| Tests | **1555 passing** across **111 test files** |
 | Lean4 formal proofs | **872 theorems** (mathematically verified core logic) |
 | Monadic tiers | **5** (a0 → a4, strict upward-only composition) |
 | Languages | Python, JS/TS, Swift, Kotlin, Go, Rust |

{atomadic_forge-0.61.0 → atomadic_forge-0.63.0}/tests/test_stub_detector.py

@@ -147,6 +147,37 @@ def test_stub_penalty_capped(tmp_path):
     assert stub_penalty(findings) == 40  # cap
 
 
+def test_does_not_flag_visitor_pass_methods(tmp_path):
+    """GAP-013: ast.NodeVisitor subclasses ``pass`` for node types they
+    intentionally ignore. That's the pattern, not a stub."""
+    _write(
+        tmp_path / "f.py",
+        "import ast\n"
+        "class CallVisitor(ast.NodeVisitor):\n"
+        "    def visit_Name(self, node):\n"
+        "        pass\n"
+        "    def visit_Constant(self, node):\n"
+        "        pass\n"
+        "    def visit_Call(self, node):\n"
+        "        return self.calls.append(node)\n",
+    )
+    findings = detect_stubs_in_file(tmp_path / "f.py", repo_root=tmp_path)
+    assert findings == []
+
+
+def test_visitor_only_skips_visit_prefix_methods(tmp_path):
+    """A non-visit_* method on a Visitor class is still flagged."""
+    _write(
+        tmp_path / "f.py",
+        "import ast\n"
+        "class V(ast.NodeVisitor):\n"
+        "    def helper(self):\n"
+        "        pass\n",
+    )
+    findings = detect_stubs_in_file(tmp_path / "f.py", repo_root=tmp_path)
+    assert any(f["qualname"] == "V.helper" for f in findings)
+
+
 def test_does_not_flag_null_handler(tmp_path):
     """GAP-009: stdlib pattern — NullHandler.handle/emit are intentional no-ops."""
     _write(