pa(7;6) ≥ 25 — a 25-block witness exists

Verification Notes

OPEN. Running on the fleet. Text sealed until resolution. Status at last publish: 794 of 1,024 cubes decided, 230 still undecided, 0 SAT. The prediction is losing, but a lower-bound hunt that finds nothing proves nothing — only a witness would settle it in the affirmative. CORRECTION: this previously read '3,614 cubes, 0 SAT'. That was a count of solver TASKS presented as cubes — 3.5x the entire cube space — and it counted 230 undecided cubes as if decided, overstating the negative.