# Correção — resolução relacional de contestação

## Regra

`resolved_value` representa um valor efetivamente resolvido/validado para o `subject` da transação.
Um valor apenas informado pelo usuário é `candidate_value` até a pré-validação autoritativa confirmar a relação `subject + valor` contra a evidência da fatura.

## Invariantes

1. Um valor divergente não é promovido a `resolved_value`.
2. Se o mesmo subject aparece com vários valores na fatura, o subject sozinho não escolhe um valor arbitrário.
3. Se dois produtos diferentes têm o mesmo valor, o valor não substitui um subject já identificado por evidência mais forte do usuário.
4. Quando a pré-validação rejeita um parâmetro, ela pode declarar `clear_fields` para invalidar derivados dependentes; o framework aplica essa lista sem conhecer semântica de domínio.
5. A extração do turno atual ocorre antes da reconciliação. A reconciliação pode canonicalizar o candidato, mas não apagá-lo antes da pré-validação.
6. Somente uma validação relacional bem-sucedida promove o candidato a `resolved_value`.
