Koval deixou Leverkusen não por falha, mas porque seus dados revelam um padrão oculto: desempenho sob pressão, baixa ansiedade e um modelo preditivo que a box score ignora. Ajax não comprou um goleiro — comprou uma previsão.