Seeing Re7 played instead of the bishop move would be irrational, irresponsible and would come without reason as it doesn't seem to accomplish much unless if Black was to resign completely by giving up it's Rook or if Black simply wanted to lose in a much faster and stylish way.
It seems that you're right about Re7 to block the White Bishop. It doesn't work. I thought it would give the Black King a backdoor to escape. But, unfortunately, it doesn't because the White Queen is controlling the f7 square. Just out of curiosity, I gave Black the first move instead of White to see if Black could avoid a mate. See a couple of solutions below.
Wow, nice. Even though the games are all over and all is said and done analyzing from a different perspective really does open a new chapter in the field of curiosity. I like the exploration of tactics and checkmating and potential sacrifices made to the king to deliver faster checkmates however analyzing with Stockfish 15 it showed Bd5 after 1... Bxd6 2. cxd6 2... Qxd6 3. Bg5+ 3... Re7 as a way to start weaving the mating net by blocking the square on f7 and still guarding the b7 in case there were to be any mistakes in the process of checkmate, which wouldn't be likely in the case of Stockfish 15.
Anyway, I love the exploring of the different sides of the battle and taking into perspective what indeed would have happened if Komodo had a chance to move a specific piece. Keep at it! I will try to find games similar to those of Stockfish 15 and/or Komodo 25. Perhaps even find another one where the checkmate may be a little harder to find to the average person.
Seeing Re7 played instead of the bishop move would be irrational, irresponsible and would come without reason as it doesn't seem to accomplish much unless if Black was to resign completely by giving up it's Rook or if Black simply wanted to lose in a much faster and stylish way.
It seems that you're right about Re7 to block the White Bishop. It doesn't work. I thought it would give the Black King a backdoor to escape. But, unfortunately, it doesn't because the White Queen is controlling the f7 square. Just out of curiosity, I gave Black the first move instead of White to see if Black could avoid a mate. See a couple of solutions below.