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 /GAP_End_to_End.ipynb | |
| parent | 15efc30e9e7179accd30375d3edb2e34a3b4dc5f (diff) | |
Align five-stage pipeline with manuscript
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']}\")" |