From 708f2af9c6985e9cb5cd53e434a7d3b8dfa2b4ac Mon Sep 17 00:00:00 2001 From: Anonymous Authors Date: Fri, 24 Jul 2026 14:03:51 -0500 Subject: Validate path-structured proof-plan DAG --- tests/test_pipeline.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'tests/test_pipeline.py') 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 -- cgit v1.2.3