Have a nice game, Leela!
Pretty standard josekis in the corner. Now black as to deal with the invasion.
Black opted to take the corner, after which white made the cut.
Black has no weak groups and has more territory.
What black needs to do now is to reduce the potential white territory on the right as effectively as possible.
Unfortunately, white's endgame was sufficiently better. White won by 9.5 points.