"1... e5 Grandmaster E selects this. It is probably that 1...c5 draws as well and 1...e6 and/or 1...c6 might draw as well, but a weak solution only calls for one strategy to achieve the game-theoretic value of the draw.
From now on no positions with a black pawn on e7 are relevant. This shrinks the search space."
"7...Nf5 Grandmaster E selects this. Only 1 way to draw needed."
yeah but you havent ruled out that black could be playing to win.
you have to search every single one and prove a draw/win for each black move.
yes i saw i could have taken that if i would have stopped for a nanosecond, but who gives a f i won anyway