From 6de74d103926d9090f056aeebe7be393ec381ea1 Mon Sep 17 00:00:00 2001 From: Anonymous Authors Date: Sat, 25 Jul 2026 05:59:42 -0500 Subject: Align five-stage pipeline with manuscript --- tests/test_e2e.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'tests/test_e2e.py') diff --git a/tests/test_e2e.py b/tests/test_e2e.py index 9672527..ebf23a4 100644 --- a/tests/test_e2e.py +++ b/tests/test_e2e.py @@ -29,6 +29,14 @@ def test_offline_end_to_end_smoke(tmp_path: Path) -> None: "kernel_variant", } kernel_meta = record["variants"]["kernel_variant"]["_meta"] - assert kernel_meta["proof_dag"]["terminal_node_id"] == "n3" - assert kernel_meta["replacement_plan"]["changes"][0]["slot_id"] == "s1" - assert kernel_meta["diffused_proof"]["terminal_answer"] == "4" + assert kernel_meta["core_steps"] == [ + "use nonnegativity of a square", + "expand the square", + "divide by a positive quantity", + ] + assert kernel_meta["mutable_slots"] == { + "slot1": { + "description": "positive square root at equality", + "original": "1", + } + } -- cgit v1.2.3