Unfiltered backup of /work/nvme/bhvj/ahe4/rollout_traces/ei2_collect (Delta,
Lean v4.31, collected 2026-07-16..18, incl. the CRASH_ATTEMPTS=8 recovery pass):
summaries (7,679 finalized + 200 .tmp), *.rolloutDrafts.jsonl (318,957 rows),
*.rolloutPremises.jsonl, .cost, run.json. 128,190 completed theorems /
19,485 solved / 17,286 draft-closed (skip-listed residue population).
Run log:… See the full description on the dataset page:
https://huggingface.co/datasets/awhecmu/canonical-drafter-ei2-traces.
