I did not include the ko diagram originally, even though I suspected that the best Black can do is ko, because the logic of the rule relies upon the assumption that Black to play can kill. We have all seen positions where the play to kill is different from the play to make ko.
However, upon reflection I think that the logic should also work with the disjunctive assumption that Black to play can kill or make ko. You just need to check for both ko and the kill for each choice of White play.
and
appear to be necessary to make ko after
, which means, in conjunction with the position starting with Wa,
is the first move, with Black to kill or make ko.
we cannot assume that Black can only make ko, so we try
.
at 9
If
at 11,
at 9. (White still dies.)
By convention the rest of the board is empty and White dies.
However, upon reflection I think that the logic should also work with the disjunctive assumption that Black to play can kill or make ko. You just need to check for both ko and the kill for each choice of White play.
$$W B to play
$$ ------------------
$$ | . . . 4 5 . . . .
$$ | . X X O . 1 . . X
$$ | . X O 2 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . a . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
$$ ------------------
$$ | . . . 4 5 . . . .
$$ | . X X O . 1 . . X
$$ | . X O 2 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . a . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$W B to play
$$ ------------------
$$ | . . . 4 5 . . . .
$$ | . X X O . 1 . . X
$$ | . X O 2 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . a . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .[/go]
$$B Variation 1
$$ ------------------
$$ | . . . . . . . . .
$$ | . X X O 2 . 4 . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . 3 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
$$ ------------------
$$ | . . . . . . . . .
$$ | . X X O 2 . 4 . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . 3 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$B Variation 1
$$ ------------------
$$ | . . . . . . . . .
$$ | . X X O 2 . 4 . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . 3 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .[/go]
$$Bm5 (continued)
$$ ------------------
$$ | . . . 7 . 6 3 5 8
$$ | . X X O O 2 O 4 X
$$ | . X O X O 1 . . X
$$ | . X O . O . X . X
$$ | . X O O . X . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
$$ ------------------
$$ | . . . 7 . 6 3 5 8
$$ | . X X O O 2 O 4 X
$$ | . X O X O 1 . . X
$$ | . X O . O . X . X
$$ | . X O O . X . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$Bm5 (continued)
$$ ------------------
$$ | . . . 7 . 6 3 5 8
$$ | . X X O O 2 O 4 X
$$ | . X O X O 1 . . X
$$ | . X O . O . X . X
$$ | . X O O . X . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .[/go]
If
By convention the rest of the board is empty and White dies.
$$B Variation 2
$$ ------------------
$$ | . . . 3 . . . 9 .
$$ | . X X O 4 2 8 6 X
$$ | . X O 1 O . 7 . X
$$ | . X O . O . X . X
$$ | . X O O . 5 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
$$ ------------------
$$ | . . . 3 . . . 9 .
$$ | . X X O 4 2 8 6 X
$$ | . X O 1 O . 7 . X
$$ | . X O . O . X . X
$$ | . X O O . 5 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$B Variation 2
$$ ------------------
$$ | . . . 3 . . . 9 .
$$ | . X X O 4 2 8 6 X
$$ | . X O 1 O . 7 . X
$$ | . X O . O . X . X
$$ | . X O O . 5 . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .[/go]
$$B Ko
$$ ------------------
$$ | . . . 3 4 . . . .
$$ | . X X O 5 2 . . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . . . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
$$ ------------------
$$ | . . . 3 4 . . . .
$$ | . X X O 5 2 . . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . . . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .
- Click Here To Show Diagram Code
[go]$$B Ko
$$ ------------------
$$ | . . . 3 4 . . . .
$$ | . X X O 5 2 . . X
$$ | . X O 1 O . . . X
$$ | . X O . O . X . X
$$ | . X O O . . . X .
$$ | . . X O O O X . .
$$ | . . X X X X X . .
$$ | . . . . . . . . .[/go]