Made a separate message directly to a moderator but per the category rules for this full-game leaderboard the official time is the in-game time, which is recorded and displayed in the game after completing each world in-game.