Historical evaluation archives (V1-V4.1b + PlanExec + V5)

9 rounds of historical evaluation snapshots (V1, V2, V3.1, V4, V4 gold, PlanExec, V5 specialty, V5 formal-failed).

Excluded .git directories. tar preserves cross-file hardlinks; extracts to ~1.8GB.

Not required to use the evaluation harness - only for historical reference and reproducibility of past results.