diff options
Diffstat (limited to 'GAP_End_to_End.ipynb')
| -rw-r--r-- | GAP_End_to_End.ipynb | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/GAP_End_to_End.ipynb b/GAP_End_to_End.ipynb index 2b8c10e..7555e81 100644 --- a/GAP_End_to_End.ipynb +++ b/GAP_End_to_End.ipynb @@ -149,18 +149,15 @@ "\n", "kernel = record[\"variants\"][\"kernel_variant\"]\n", "meta = kernel[\"_meta\"]\n", - "assert meta[\"proof_dag\"][\"nodes\"]\n", - "assert meta[\"method_plan\"][\"nodes\"]\n", - "assert meta[\"replacement_plan\"][\"changes\"]\n", - "assert meta[\"diffused_proof\"][\"nodes\"]\n", - "assert meta[\"accepted_bundle_sha256\"]\n", + "assert meta[\"core_steps\"]\n", + "assert meta[\"mutable_slots\"]\n", "\n", "print(\"END-TO-END PASS\")\n", "print(f\"Item: {record['index']}\")\n", "print(f\"Variant families: {sorted(record['variants'])}\")\n", "print(f\"Verification rounds: {result['verification_rounds']}\")\n", - "print(f\"Declared replacements: {len(meta['replacement_plan']['changes'])}\")\n", - "print(f\"Proof-DAG nodes: {len(meta['proof_dag']['nodes'])}\")\n", + "print(f\"Declared mutable slots: {len(meta['mutable_slots'])}\")\n", + "print(f\"Core proof steps: {len(meta['core_steps'])}\")\n", "print(f\"Kernel question preview: {kernel['question'][:500]}\")\n", "print(f\"Exported record: {result['release_record']}\")\n", "print(f\"Manifest: {result['manifest']}\")" |