prodc 0.3.0__tar.gz → 0.3.2__tar.gz

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: prodc
-Version: 0.3.0
+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.0 → prodc-0.3.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "prodc"
-version = "0.3.0"
+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.0 → 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.0 → prodc-0.3.2}/src/prodc/cli.py

@@ -9,6 +9,7 @@ from __future__ import annotations
 
 import argparse
 import json
+import shutil
 import sys
 from pathlib import Path
 
@@ -53,6 +54,18 @@ def _warrant(need: Need) -> str:
     return strongest.value
 
 
+def _provenance_line(results: list[NeedResult]) -> str:
+    """Per-persona provenance mix — makes internal-only ('0 OPINION' but unvalidated) visible.
+
+    OPINION (no source) stays distinct from a weak INTERNAL source; the headline a PM
+    wants is how many needs trace to a real user (interview), not just 'has any source'.
+    """
+    counts = {"interview": 0, "artifact": 0, "internal": 0, "opinion": 0}
+    for r in results:
+        counts[_warrant(r.need).split(":", 1)[0]] += 1
+    return "provenance: " + "  ·  ".join(f"{counts[k]} {k}" for k in counts)
+
+
 def _summary_line(s: Summary) -> str:
     """The leading gap-count line: what needs attention, and overall coverage."""
     parts: list[str] = []
@@ -75,10 +88,18 @@ def _render(results: list[NeedResult]) -> str:
     for r in results:
         groups.setdefault(r.need.who or "(unassigned)", []).append(r)
 
+    # Size the need column to the terminal; ~54 cols go to the fixed id/state/nm
+    # prefix and the warrant suffix. Falls back to 100 cols when there is no tty.
+    width = max(30, shutil.get_terminal_size(fallback=(100, 24)).columns - 54)
+
     out: list[str] = []
     # The Toulmin split: GROUNDS (does a test prove it?) vs WARRANT (user signal it
     # matters?). A need can be green on one and empty on the other — that gap is the point.
-    out.append(f"  {'':2} {'id':<9} {'GROUNDS':<10}{'':5} {'need':<48}  WARRANT")
+    out.append(f"  {'':2} {'id':<9} {'GROUNDS':<10}{'':5} {'need':<{width}}  WARRANT")
+    out.append(
+        "  legend: * declared (no results artifact)  ·  !! must  ·  "
+        "GROUNDS = test proof  ·  WARRANT = evidence source"
+    )
     for who in sorted(groups):
         rs = sorted(groups[who], key=_priority)
         label = next((x.need.label for x in rs if x.need.label), None)
@@ -86,13 +107,14 @@ def _render(results: list[NeedResult]) -> str:
         head = "  ·  ".join(f"{counts[s]} {_LABEL[s]}" for s in NeedState if counts[s])
         title = f"{who}" + (f" ({label})" if label else "")
         out.append(f"\n{title}    {head}")
+        out.append(f"    {_provenance_line(rs)}")
         for r in rs:
             bang = "!!" if r.need.must else "  "
             star = "*" if r.declared and r.state is NeedState.DELIVERED else " "
             nm = f"{r.delivered}/{r.total}" if r.total else ""
             out.append(
                 f"  {bang} {r.need.id:<9} {_LABEL[r.state]:<9}{star} {nm:<5} "
-                f"{r.need.text[:48]:<48}  {_warrant(r.need)}"
+                f"{r.need.text[:width]:<{width}}  {_warrant(r.need)}"
             )
             for w in r.warnings:
                 out.append(f"       ⚠ {w}")

{prodc-0.3.0 → 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

{prodc-0.3.0 → prodc-0.3.2}/tests/test_cli.py

@@ -70,6 +70,9 @@ def test_board_shows_summary_and_warrant(tmp_path: Path, capsys: pytest.CaptureF
     assert "WARRANT" in out  # the warrant column header (#3)
     assert "interview:John" in out  # strongest warrant for D-1
     assert "opinion" in out  # O-1's warrant
+    assert "legend:" in out  # glyph legend (#10)
+    # provenance mix (#11): 1 interview, 1 artifact, 0 internal, 1 opinion
+    assert "provenance:" in out and "1 interview" in out and "1 artifact" in out
 
 
 def test_json_has_summary_and_grounds_warrant(