I think the playing engine saw the mate, but didn't write the correct full move format output that lichess needs, so lichess treated c2xb1 as a queen promotion. I see now that the computer analysis re…
Perhaps I should have said, it knows and doesn't know -- it plays the right move but it doesn't know how to enter the underpromotion on the board. Autoqueening is on?