diff options
| author | Oscar Wan <oscarwan@stanford.edu> | 2026-07-24 20:45:42 -0700 |
|---|---|---|
| committer | Oscar Wan <oscarwan@stanford.edu> | 2026-07-24 20:45:42 -0700 |
| commit | 15efc30e9e7179accd30375d3edb2e34a3b4dc5f (patch) | |
| tree | ba1c49eb128e7906ba451141723d763e1dcda53a /tests/test_e2e.py | |
| parent | 708f2af9c6985e9cb5cd53e434a7d3b8dfa2b4ac (diff) | |
updated generation process
Diffstat (limited to 'tests/test_e2e.py')
| -rw-r--r-- | tests/test_e2e.py | 4 |
1 files changed, 4 insertions, 0 deletions
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" |