Files
SGF/docs/SGF_MULTI_LINE_INCLUDED_DELIVERY.md
2026-11-11 09:00:17 +02:00

35 lines
4.9 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# 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.