v1.7.0

A regressão capturada passa a falar mais alto que o self-heal: se o re-plano também falhar (resposta truncada, chave inválida), a falha de postcondição continua sendo a manchete — com expected/actual e kind=verification — e o problema do re-plano vira uma nota. Antes o run lia '[plan_invalid] transient API failure', ou seja 'o Windup teve um problema', quando a verdade era 'o app quebrou e a ferramenta pegou'. Além disso: truncation agora é retentada com budget de saída maior (8k→16k) em vez de repetir a mesma chamada, com mensagem acionável; docs de custo explicitam o caminho de retry (10-30x).