Overplay in orthodox fuseki - Leela AI fails miserably?
W1 should be N11, then black dies, I'd claim from memory.

W1 at R13 is probably not a complete disaster in itself, but O12 should then be O11, or maybe P10 should be O10. That would force black to capture and white would at least build some influence -- not thickness, as she can't protect all cuts.

Even before that, white should probably descend at T13 and later throw in to induce the infamous "hammer" shape, which would probably give white one or two additional sente moves.

That Leela is not seeing your sequence does seem like a clear case of a bug to me. Maybe Leela figured something like "black is losing the ladder, so black must capture. And because playing out ladders that do not work is bad, black will capture there immediately!" (pure speculation on my part).