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 --- src/gap_pipeline/release.py | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) (limited to 'src/gap_pipeline/release.py') diff --git a/src/gap_pipeline/release.py b/src/gap_pipeline/release.py index 7df6566..5bf8d95 100644 --- a/src/gap_pipeline/release.py +++ b/src/gap_pipeline/release.py @@ -89,21 +89,22 @@ def export_release( continue candidate = kernel_payload["accepted_candidate"] + method_nodes = kernel_payload["method_plan"]["nodes"] + replacement_changes = kernel_payload["accepted_replacement_plan"]["changes"] variants["kernel_variant"] = { "question": candidate["question"], "solution": candidate["solution"], "_meta": { - "proof_dag": kernel_payload["proof_dag"], - "method_plan": kernel_payload["method_plan"], - "replacement_plan": kernel_payload["accepted_replacement_plan"], - "diffused_proof": kernel_payload["accepted_diffused_proof"], - "terminal_answer": candidate["terminal_answer"], - "accepted_candidate_sha256": kernel_payload[ - "accepted_candidate_sha256" - ], - "accepted_bundle_sha256": kernel_payload[ - "accepted_bundle_sha256" + "core_steps": [ + node["method_label"] for node in method_nodes ], + "mutable_slots": { + change["slot_id"]: { + "description": change["description"], + "original": change["original_value"], + } + for change in replacement_changes + }, }, } output_record = copy.deepcopy(record) -- cgit v1.2.3