Lichess says that 4. Bxf7+ is a mate in 6 for white, which is clearly untrue. I think it is referencing cloud analysis for three check rules, where it would indeed be a mate in 6. This seems like the only move in the analysis that has this issue.
This topic has been archived and can no longer be replied to.