Validate path-structured proof-plan DAGHEADmain

1 files changed, 6 insertions, 2 deletions

diff --git a/tests/test_pipeline.py b/tests/test_pipeline.py
index 864e967..04c3ea9 100644
--- a/tests/test_pipeline.py
+++ b/tests/test_pipeline.py
@@ -13,7 +13,7 @@ from conftest import changed_candidate
 def accept_review() -> dict[str, str]:
     return {
         "verdict": "accept",
-        "step_by_step_check": "every method label is instantiated",
+        "step_by_step_check": "n1 passes; n2 passes",
         "blocking_issues": "",
         "patch_suggestion": "",
     }
@@ -22,7 +22,9 @@ def accept_review() -> dict[str, str]:
 def reject_review(iteration: int) -> dict[str, str]:
     return {
         "verdict": "reject",
-        "step_by_step_check": f"terminal step fails at iteration {iteration}",
+        "step_by_step_check": (
+            f"n1 passes; n2 terminal step fails at iteration {iteration}"
+        ),
         "blocking_issues": "terminal algebra is incorrect",
         "patch_suggestion": "correct the terminal algebra",
     }
@@ -76,6 +78,8 @@ def test_two_consecutive_unanimous_passes_accept(
     final_path = tmp_path / "items" / item.item_id / "final.json"
     final = json.loads(final_path.read_text())
     assert final["accepted_candidate_sha256"]
+    assert final["proof_dag"]["structure"] == "path"
+    assert final["proof_dag"]["terminal_node_id"] == "n2"
     assert len(list((final_path.parent / "calls").glob("*.json"))) == 12