SGF/docs/SGF_FIXED_ASSETS_DELIVERY.md

# Activos integrados no SGF — entrega QA

11/11/2026. Implementação local na **mesma8085**, sem SGC ou outra demonstração. Autorização: «Autorizar o ciclo integrado de activos QA», conforme [âmbito](SGF_FIXED_ASSETS_SCOPE.md) e [direitos/contas](integration/sgf-fixed-assets-access-proposal.json). Não é aceitação do utilizador, publicação ou validação de implantação.

## Percurso disponível

Em Contabilidade → **Activos e depreciações internas QA**, os perfis Contabilidade de preparação, revisão e consulta têm acessos próprios. Cadastro, localização/custódia, plano, quota e abate são versionados. A listagem pesquisa literalmente e pagina25/100 no servidor; referências de activos/planos são pesquisáveis e escolhidas explicitamente. O histórico conserva preparador, revisor, data, fundamento e estado anterior/posterior.

Uma preparação não activa um plano nem aplica um lançamento. A prévia administrativa é vinculada à pessoa/contexto/versão/dependências e vale600segundos; confirmação revalida tudo e conserva recibo append-only. A revisão exige pessoa distinta e mantém a autoridade do preparador actual. Quotas com custo/residual/vida desconhecidos não são aprovadas como zero. Custódia/localização são administrativas, sem Stock, ligação automática a RH ou novo custo.

A origem revista entra no **mesmo PayableJournal**: prévia do comando num savepoint revertido, revisão distinta, aplicação explícita e recuperação no recibo original. A versão administrativa invalida conferências pendentes mesmo quando a mudança não altera o valor financeiro; a revisão financeira estável não obriga a estornar uma admissão já aplicada só por mudança de custódia. Não há segundo escritor nem INSERT directo de diários nos adaptadores.

Os tipos de activos são capturados por LedgerAssets com contas/data/período/valores explícitos. O schema conserva os ramos anteriores e acrescenta guardas tipadas de activos e do par de correcção. Versões de código e definições SQL anteriores estão guardadas em privado. Os três ficheiros de ligação antigos não mudaram. A inicialização HTTP reutiliza ComposedLedger/ReceiptRuntime para conferir a ligação nativa, sem copiar parâmetros de acesso para o produto.

## Exemplo efectivo8085

|Elemento|Estado observado|
|---|---|
|Cadastro|QA-ACTIVO-01, origem QA-ABERTURA-ACTIVO-01, revisto|
|Custódia/localização|QA-RESPONSAVEL-ACTIVO-01 / QA-SALA-A; códigos fictícios|
|Custo/residual/uso|1200MZN /0 explícito /01-10-2026|
|Plano|12meses artificiais; revisto distintamente|
|Admissão|01-10: D QA-ACTIVO-CUSTO / C QA-ACTIVO-ORIGEM-QA,1200|
|Quota Outubro|31-10: D QA-ACTIVO-GASTO-DEP / C QA-ACTIVO-DEP-ACUM,100|
|Saldo|1200 custo /100 acumulado /1100 líquido; activo não abatido|
|Administração|Seis versões e seis recibos: preparar/rever cadastro, plano e quota|
|Diário|Dois novos lançamentos; total29, mantendo os27 anteriores idênticos|
|Plano de contas|Cinco novas contas artificiais; total24, mantendo as19 anteriores|

Não repetir confirmações para apresentar este exemplo. Progresso e chaves recuperáveis estão em ficheiro privado, fora do repositório. Abate, transferência de custódia, suspensão/retoma e correcção foram ensaiados na regressão; não mudaram o activo8085 nem acrescentaram outros lançamentos aí.

## Demonstração interna e período

Quatro comandos adicionais prepararam/reviram a correspondência ampliada e o novo resultado parcial. São24 contas no catálogo/correspondência e **23 contas com movimento** no resultado: a conta de gasto de abate tem zero movimentos e o leitor original não a materializa. Não foi alterado o leitor para fabricar uma linha. O corte novo é01-01–11-11-2026; o antigo relatório tinha o seu próprio corte.

Valores classificados do corte novo: activos3255MZN, fornecedor100, rendimentos2586,21, gastos2300 e subtotal conhecido286,21. Permanecem dez contas por classificar; a origem artificial de activos não é capital nem dívida presumidos. Capital, resultado completo e balanço legal continuam indeterminados. O snapshot anterior19contas/27lançamentos e o CSV original mantêm os mesmos bytes/SHA e aparecem como históricos.

A conferência actual da8085 foi apenas lida: **40factos, zero pendentes e débitos iguais a créditos**. Nenhum fecho foi executado aí. Na regressão, o fecho do recorte de activos foi preparado/revisto/aplicado e integralmente revertido: o harness isolou as outras origens financeiras de suporte não contabilizadas. Essa prova não equivale ao fecho integral da instalação ou de uma empresa. Ambos os períodos permanecem abertos.

## Provas dirigidas

[Consolidação verificável](proofs/sgf-fixed-assets-20261111.json): **141verificações dirigidas**, mais um cenário de concorrência e **87verificações de preservação**. As13 provas aritméticas anteriores foram reutilizadas, não repetidas nem somadas. Não se repetiram os percursos antigos de Compras/Stock/RH/recebimentos para gerar novas provas.

- Admissão/quota pelo escritor comum; custo1200, acumulado100, líquido1100.
- Correcção100→120 após plano12→10 revisto: estorno/substituição indivisíveis. A falha injectada após o primeiro lançamento revertia o par; a asserção concluída foi reutilizada de um ensaio cujo passo posterior encontrou outro erro, entretanto corrigido. Não foi contada uma segunda vez.
- Abate original Dacumulado100+Dperda1100/Ccusto1200, numa fixture revertida; também abate após correcção,120+1080/1200.
- Acesso/perfil/módulo/unidade, pessoa/contexto/chave, versões/dependências, custo já lançado, desconhecidos, plano suspenso/retoma, pesquisa literal/páginas25/100, recibos e falha entre versão/recibo. Fixtures de volume e fronteiras revertidas.
- Concorrência: bloqueio na linha host de empresa por FOR UPDATE, espera transactionid observada com pg_blocking_pids;503 após5,24segundos. Após libertação, a segunda decisão recusou409 por versão antiga; replay da primeira200, duas versões/dois recibos, sem duplicação. A regressão conserva o cadastro de suporte revisto, ainda sem admissão, explicitamente pendente na conferência de activos.
- 15handlers de interface com API simulada, build privado e JavaScript servido com MIME/SHA correctos; HTTP8085 real efectuou o percurso uma vez. Nenhum destes ensaios é revisão visual de navegador.

O runner SSR legado de navegação não terminou e foi interrompido sem resultado. As suas importações/expectativas precedem o dropdown aceite; não foi apresentado como aprovado nem usado para justificar a entrega. Os testes dirigidos do novo menu/handlers e a compilação privada passaram.

## Preservação e limites

As linhas originais dos78conjuntos verificados são idênticas. Os appends são apenas os discriminados na autorização/prova: cinco direitos por livro QA existente(dez concessões no total), cinco contas/seis regras tipadas por livro, decisões/diário deste exemplo e quatro comandos da nova demonstração parcial. Sem utilizadores/perfis/PGroles novos ou direitos PUBLIC. Seis registos protegidos, Caixa950, RH, Stock, dados/documentos antigos e três bindings preservados; cache bloqueada não foi limpa.

Contas e política de depreciação são artificiais: cêntimos/racionais exactos, truncagem intermédia e ajuste final ao residual; sem pro-rata, taxa fiscal legal, dedução IRPC, venda, contraprestação, pagamento, reabertura ou correcção do custo já admitido. Correcção técnica por original é um par único, sem cadeias posteriores presumidas. Não é gestão geral de activos concluída.

Matrizv29 continua com produto amplo incompleto. Fiscalidade/modelos oficiais, operação geral, revisão visual, carga sustentada, armazenamento e implantação conservam as suas pendências. Sem publicação, SGC, nova demonstração, candidata de Compras, aceitação ou checkpoint.

Guardas finais: quotas novas exigem sequência/acumulado coerentes; alteração de vida com várias quotas já aplicadas fica fora da correcção individual e é recusada. Abate é recusado com plano/quota pendentes ou correcção de quota ainda não aplicada. Seis provas adicionais em fixtures revertidas, sem novas operações8085.