1.1 KiB
1.1 KiB
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
- Um valor divergente não é promovido a
resolved_value. - Se o mesmo subject aparece com vários valores na fatura, o subject sozinho não escolhe um valor arbitrário.
- 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.
- Quando a pré-validação rejeita um parâmetro, ela pode declarar
clear_fieldspara invalidar derivados dependentes; o framework aplica essa lista sem conhecer semântica de domínio. - 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.
- Somente uma validação relacional bem-sucedida promove o candidato a
resolved_value.