prodc 0.3.1__tar.gz → 0.3.2__tar.gz

{prodc-0.3.1 → prodc-0.3.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: prodc
-Version: 0.3.1
+Version: 0.3.2
 Summary: Product management as code: personas, flows, and features traced to evidence.
 Project-URL: Homepage, https://gitlab.com/jorgeecardona/prodc
 Project-URL: Repository, https://gitlab.com/jorgeecardona/prodc

{prodc-0.3.1 → prodc-0.3.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "prodc"
-version = "0.3.1"
+version = "0.3.2"
 description = "Product management as code: personas, flows, and features traced to evidence."
 readme = "README.md"
 requires-python = ">=3.12"

{prodc-0.3.1 → prodc-0.3.2}/src/prodc/adapters.py

@@ -201,13 +201,21 @@ class PytestAdapter:
         return out
 
     def resolve(self, payload: str) -> ProofResult:
-        file_part, _, node = payload.partition("::")
-        func = node.split("[")[0]  # strip parametrisation
+        # Node id: file[::Class[::Nested]]::test_name, each segment may carry [params].
+        parts = [p.split("[")[0] for p in payload.split("::")]
+        file_part = parts[0]
+        node = parts[1:]
+        func = node[-1] if node else ""
+        classes = node[:-1]  # class path for class-based tests (file::TestX::test_y)
         fp = self._root / file_part
         if not fp.exists():
             return ProofResult(ProofState.BROKEN, False, f"no file '{file_part}'")
-        if func and f"def {func}" not in fp.read_text(encoding="utf-8"):
-            return ProofResult(ProofState.BROKEN, False, f"no test '{func}' in {file_part}")
+        text = fp.read_text(encoding="utf-8")
+        missing = [f"class {c}" for c in classes if f"class {c}" not in text]
+        if func and f"def {func}" not in text:
+            missing.append(f"def {func}")
+        if missing:
+            return ProofResult(ProofState.BROKEN, False, f"no {', '.join(missing)} in {file_part}")
         results = self._load_results()
         if func in results:
             ok = results[func]
@@ -217,3 +225,21 @@ class PytestAdapter:
                 "junit: passed" if ok else "junit: failing",
             )
         return ProofResult(ProofState.DELIVERED, True, "test exists")
+
+
+class FilesAdapter:
+    """Resolves ``path`` to a verification script's existence.
+
+    For proofs that are executable models/scripts, not pytest tests. Existence is a
+    *declared* DELIVERED — a script existing is not a script passing; a run/result
+    marker (confirmed) is left for later, mirroring the gherkin/pytest results split.
+    """
+
+    def __init__(self, root: Path) -> None:
+        self._root = root
+
+    def resolve(self, payload: str) -> ProofResult:
+        fp = self._root / payload
+        if not fp.exists():
+            return ProofResult(ProofState.BROKEN, False, f"no file '{payload}'")
+        return ProofResult(ProofState.DELIVERED, True, "script exists")

{prodc-0.3.1 → prodc-0.3.2}/src/prodc/config.py

@@ -7,7 +7,7 @@ from dataclasses import dataclass, field
 from pathlib import Path
 from typing import cast
 
-from .adapters import Adapter, GherkinAdapter, PytestAdapter
+from .adapters import Adapter, FilesAdapter, GherkinAdapter, PytestAdapter
 
 
 class ConfigError(Exception):
@@ -70,6 +70,11 @@ class Config:
                     root=root / (sub if isinstance(sub, str) else "."),
                     results=results_s,
                 )
+            elif kind == "files":
+                sub = tbl.get("root", ".")
+                adapters[name] = FilesAdapter(root=root / (sub if isinstance(sub, str) else "."))
             else:
-                raise ConfigError(f"[proofs.{name}]: unknown kind {kind!r} (gherkin|pytest)")
+                raise ConfigError(
+                    f"[proofs.{name}]: unknown kind {kind!r} (gherkin|pytest|files)"
+                )
         return cls(root=root, need_globs=need_globs, adapters=adapters)

prodc-0.3.2/tests/test_adapters.py

@@ -0,0 +1,54 @@
+"""Adapters: pytest class-based node ids (#6) and the files adapter (#7)."""
+
+from __future__ import annotations
+
+from pathlib import Path
+
+from prodc.adapters import FilesAdapter, PytestAdapter
+from prodc.model import ProofState
+
+
+def _pytest_file(tmp_path: Path) -> PytestAdapter:
+    (tmp_path / "test_x.py").write_text(
+        "class TestX:\n"
+        "    def test_y(self):\n"
+        "        assert True\n"
+        "\n"
+        "def test_z():\n"
+        "    assert True\n",
+        encoding="utf-8",
+    )
+    return PytestAdapter(root=tmp_path, results=None)
+
+
+def test_pytest_resolves_class_based_node_id(tmp_path: Path) -> None:
+    adapter = _pytest_file(tmp_path)
+    r = adapter.resolve("test_x.py::TestX::test_y")
+    assert r.state is ProofState.DELIVERED and r.declared  # existence only
+
+
+def test_pytest_resolves_plain_function(tmp_path: Path) -> None:
+    assert _pytest_file(tmp_path).resolve("test_x.py::test_z").state is ProofState.DELIVERED
+
+
+def test_pytest_missing_method_in_class_is_broken(tmp_path: Path) -> None:
+    assert _pytest_file(tmp_path).resolve("test_x.py::TestX::test_nope").state is ProofState.BROKEN
+
+
+def test_pytest_missing_class_is_broken(tmp_path: Path) -> None:
+    assert _pytest_file(tmp_path).resolve("test_x.py::TestNope::test_y").state is ProofState.BROKEN
+
+
+def test_pytest_strips_parametrisation(tmp_path: Path) -> None:
+    r = _pytest_file(tmp_path).resolve("test_x.py::TestX::test_y[case1]")
+    assert r.state is ProofState.DELIVERED
+
+
+def test_files_adapter_existence_is_declared(tmp_path: Path) -> None:
+    (tmp_path / "verify.py").write_text("# a model\n", encoding="utf-8")
+    r = FilesAdapter(root=tmp_path).resolve("verify.py")
+    assert r.state is ProofState.DELIVERED and r.declared  # existence != passing
+
+
+def test_files_adapter_missing_is_broken(tmp_path: Path) -> None:
+    assert FilesAdapter(root=tmp_path).resolve("gone.py").state is ProofState.BROKEN