diff options
Diffstat (limited to 'src/gap_pipeline/release.py')
| -rw-r--r-- | src/gap_pipeline/release.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/gap_pipeline/release.py b/src/gap_pipeline/release.py index 9afa117..7df6566 100644 --- a/src/gap_pipeline/release.py +++ b/src/gap_pipeline/release.py @@ -92,6 +92,19 @@ def export_release( 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" + ], + }, } output_record = copy.deepcopy(record) output_record["variants"] = variants |