Align five-stage pipeline with manuscript

1 files changed, 11 insertions, 3 deletions

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",
+        }
+    }