From 15efc30e9e7179accd30375d3edb2e34a3b4dc5f Mon Sep 17 00:00:00 2001 From: Oscar Wan Date: Fri, 24 Jul 2026 20:45:42 -0700 Subject: updated generation process --- src/gap_pipeline/release.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'src/gap_pipeline/release.py') 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 -- cgit v1.2.3