Understand that I'm not trying to refute anything you're saying, because it's all technically correct, just responding.
1. It's not that it's broken. It's that robots are literally better at playing this setup than humans are. That's what's concerning. When you have to do something completely unfun in order to get the best shot at winning, it's not fun for:
A. The person being lynched (cy/Lalendra) because they were just fucked by no fault of their own
B. The people playing to win, who, if they are to play their wincon to the best of their ability, must suck the fun out of the game (me)
C. The people playing to have fun, who, in NOT wanting to random lynch, are decreasing town's ability to win (Sky/Diamond/Mathblade)
D. The people who don't give a shit about that theory discussion (Kop/momo/Red/hyung) or are just waiting for something to happen after optimal strategy is discovered (sheep/Tora)
2. I think Diamond/Sky would only have been lynched if they showed themselves completely unwilling to lynch cy. Had they gotten lynched, I think the Math/Math/sheep/Tora bloc would've instantly gone back to cy, and then it would've been a coin flip for Kop/momo. Maybe we could've pulled it off, maybe not. Kop/momo weren't present enough for me to make that guess.
3. "Spot one town" has a 75% chance of working if you just pick a random person to be the token townie. This leads to expected 60% winrate (accounting for both the scenario in which they're town and in which they're scum). Since towns are generally good at townhunting once, I would argue it's higher, leading to a slightly >60% winrate.
4. Maybe. I probably agree with you on the D1 thing based on previous games. I think this is the first time this setup was run where someone legitimately suggested and pulled off the arbitrary lynch strat. It was a win, but at the cost of being interesting to play, I think.
Also I sigged cytheflyguy's comment