diff options
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) |