Quando o passado vira contrato: snapshots de execução imutáveis