One thing I looked at, as an alternative if White descends:
Now white a is self-atari, and if White b, Black c catches the stones in a snapback. (White can capture black c, but then black plays at d and it's not really a ko because there's no eye there.) Does it still kill, or did I miss something?
is wrong here: at b lives. There's no snapback.