Concordo bastante. “Prova de que o sistema externo mudou ou permaneceu intacto” é uma boa forma de resumir o problema.

Acho que muita implementação de agente para no “salvei o estado local”, mas o caso difícil está justamente no intervalo entre efeito externo e persistência local.

Esse contrato por ferramenta que você descreveu parece um bom checklist mínimo: chave idempotente, consulta de resultado anterior, tipo de efeito e regra para estado incerto. Sem isso, retry automático vira aposta.