Read spec.txt and ledger.json in this workspace. Produce summary.json exactly as specified. Do not modify spec.txt, ledger.json or verify.py. Run python3 verify.py and fix any failure. Use only files in this workspace, no network tools or delegation. After verification passes, finish with exactly BENCHMARK_DONE. Execute the tools; do not merely describe what to run.
