The main line, as often seen in life-and-death problems, is this sequence from to .
Here, reduces the number of liberties of the chain to only two, so becomes an atari which nullifies the possible eye at .
If is played, then connects and White does not have enough eye space to make two eyes .
is a failure because it results in a ko.
seems to denote a willingness to save the corner, but then the tenuki at lets Black kill it.
13 moves later, does not revive the corner but creates endgame aji.
Reference: Link to game record in GoBase
Black can tenuki here at . If White captures at W0
recaptures and White is dead.
AWA's questions about the solution have been moved to /discussion.