diff options
| author | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 05:59:42 -0500 |
|---|---|---|
| committer | Anonymous Authors <anonymous@invalid.example> | 2026-07-25 05:59:42 -0500 |
| commit | 6de74d103926d9090f056aeebe7be393ec381ea1 (patch) | |
| tree | 2e64628eb932b570271bb7ecfcfa9336545b6291 /src/gap_pipeline/release.py | |
| parent | 15efc30e9e7179accd30375d3edb2e34a3b4dc5f (diff) | |
Align five-stage pipeline with manuscript
Diffstat (limited to 'src/gap_pipeline/release.py')
| -rw-r--r-- | src/gap_pipeline/release.py | 21 |
1 files changed, 11 insertions, 10 deletions
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) |