13 is indeed the theoretical best possible. Playing 100% optimally in cheat mode (getting the egg, gold chests, and gnome very first thing, getting the mine king and all the mines as soon as you get 10 hearts, and not touching any brick walls until the very end) that’s all you get.