# Cálculo QA por linhas e preço incluído — entrega local

10/11/2026 · `SGF-MULTI-LINE-INCLUDED-QA-v1`. Política expressamente aprovada pelo utilizador. Código, ecrã e persistência auditada integrados na instalação8085 existente, em **Contabilidade → Regras fiscais versionadas QA** (`/fiscal/rules`). Sem direito, concessão, esquema ou demonstração novos.

## Funcionalidade entregue

Preparador13 escolhe explicitamente uma versão revista, data, moeda e modalidade de preço, informa1–25 linhas de referência/quantidade/preço e fundamento, confere impacto por linha/agregado e confirma um retrato recuperável por chave. A taxa vem da definição QA conferida no servidor; o cliente não a fornece. Ausência, conflito, vigência, moeda ou fonte incompatíveis deixam o cálculo pendente. A confirmação revalida contexto, autoridade e dependências actuais. Consulta17 lê resultado conservado, avaliação actual e mapa CSV com checksum; referências são escapadas contra fórmulas de folhas de cálculo. Não se escolhe automaticamente a regra ao abrir o histórico.

A política `SGF-QA-LINE-TRUNCATE2-INCLUDED-RESIDUAL-v1` usa aritmética racional. Trunca o imposto de cada linha para duas casas; no preço incluído, base documental=bruto−imposto documental. Conserva exactos e as duas diferenças, somando os valores documentais das linhas. Base sem imposto ou bruto incluído que exijam fracções de cêntimo ficam pendentes, sem truncagem silenciosa.

|Caso efectivamente conservado na8085, taxa artificial16%|Base documental|Imposto documental|Total|
|---|---:|---:|---:|
|Sem imposto,400+600|1000,00|160,00|1160,00|
|Incluído,464+696|1000,00|160,00|1160,00|
|Incluído,100|86,21|13,79|100,00|

No último caso, base exacta2500/29, imposto exacto400/29, diferença base documental−exacta9/2900 e imposto exacto−documental9/2900. Existem agora **cinco cálculos**, incluindo os dois antigos byte a byte intactos; quatro eventos de regra sem alteração. Estes são cálculos/mapas internos, sem emissão de factura, dívida, pagamento ou lançamento.

## Provas dirigidas e concorrência

- 34 verificações de regressão com rollback: valores/modos, fracções/diferenças, soma por linha em vez de recálculo global, limites1/25/26, entradas indevidas, acesso, moeda/vigência, retirada de regra, histórico e preservação de dez tabelas.
- Três verificações de falha/recuperação: falha na gravação do recibo reverte também o cálculo; recuperar a mesma intenção não duplica.
- 29 verificações HTTP na8085: três confirmações guardadas, repetição das mesmas chaves, relatórios/checksums, quantidades exactas de registos, fonte actual e recusas de autoridade/contexto/campos.
- 16 verificações do cliente com encaminhamento ao HTTP real: uma prévia revertida, **zero confirmações**, edição de linhas, impacto exacto, bloqueio durante prévia, conservação do formulário ao paginar, histórico e recuperação.

Total80 verificações, mais ensaio concorrente apenas na regressão. A segunda confirmação da **mesma chave** aguardou o mutex administrativo de empresa já ocupado pela primeira e atingiu o limite de espera: HTTP503, `Retry-After:5`, cerca5,17s. Após a primeira transacção libertar o bloqueio, a recuperação terminou HTTP200 com `replayed=true` e **um único cálculo**. Isto distingue-se das provas anteriores de decisões diferentes/versão alterada, que recusaram409. A retirada de regra entre prévia e confirmação também recusa409 neste incremento. Não foi alterado o limite nem removido o bloqueio.

[Índice com SHA das provas e fontes](proofs/sgf-multi-line-included-20261110.json). As suites anteriores válidas foram reutilizadas, sem repetir operações financeiras ou reescrever os seus resultados históricos. O ensaio do cliente usa DOM simulado; não é revisão visual de navegador.

## Preservação e limites

Comparação de26 conjuntos de linhas originais e binding: intactos, incluindo os dois cálculos antigos e todas as concessões. Apenas três novos cálculos e respectivos recibos acrescentados. Diário27, Caixa fechada950, IVA4, regras4, bancos7, critérios4/resultados2 preservados. Sem comandos/conexões dirigidos aos seis registos protegidos ou à cache bloqueada; trabalho alheio preservado. Backup e dados privados permanecem fora do repositório.

A configuração do repositório permanece desligada por omissão. Apenas a modalidade QA aprovada foi disponibilizada na8085 existente. Sem SGC, publicação, candidata de Compras, aceitação ou checkpoint. Taxas16%/17% artificiais; não comprovam vigência legal. Impostos/regimes diferentes por linha, isenções, créditos negativos, dedução, emissão documental por múltiplas linhas, modelos oficiais e fiscalidade operacional geral não estão entregues por este bloco. Revisão visual, carga sustentada e capacidade de implantação continuam pendentes com evidência própria.