From 15efc30e9e7179accd30375d3edb2e34a3b4dc5f Mon Sep 17 00:00:00 2001 From: Oscar Wan Date: Fri, 24 Jul 2026 20:45:42 -0700 Subject: updated generation process --- tests/test_e2e.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tests/test_e2e.py') diff --git a/tests/test_e2e.py b/tests/test_e2e.py index 9da1190..9672527 100644 --- a/tests/test_e2e.py +++ b/tests/test_e2e.py @@ -28,3 +28,7 @@ def test_offline_end_to_end_smoke(tmp_path: Path) -> None: "garbled_string", "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" -- cgit v1.2.3