1001kyu: I think the refutation to 7.B1 is wrong, since solver can still play B1D2E1. So probably opponent should take E1 instead of D2, then it would be a direct ko
posetcay: Can you provide the whole sequence or sgf?
Hrewsahgs: [current position] I think this line shouldn't be considered as correct (just a direct ko), since the other correct line is an approach ko in favor of the solver.
Ivan Detkov: I thoroughly agree. I made this line incorrect and added a comment.
Your move has been added.