Compare commits

..
23 changed files with 2996 additions and 8 deletions
+4
View File
@@ -46,6 +46,10 @@ final class InvestmentComplements
} else {
$reference = app(InvestorContext::class)->reference($origin);
abort_unless($reference['kind'] === 'opportunity', 422);
// The context resolver has already checked the actor's private scope.
// A private preparation is valid dossier input, not a public offer
// from which this public-complement catalogue can infer services.
if (($reference['visibility'] ?? 'public') === 'private') return [];
$principal = Opportunity::published()->findOrFail($reference['id']);
$text = $principal->summary;
$basis = 'Resumo cadastrado da oportunidade '.$principal->reference;
@@ -1052,6 +1052,110 @@ Entrega agrupada preparada com os sete casos novos compatíveis;incompatibilidad
Conferência de compatibilidade:main `a7434cd2` incorporado na candidata,com apresentação/catálogo e linhas não fiscais da matriz preservados. Recuperada a adenda históricaQA13 que tinha desaparecido do manual no main;isto é perda documental,não perda do cálculo13. Só tipos/build de integração foram conferidos novamente;provas fiscais aceites conservadas. A revisão servida não foi consultada nesta passagemQA.
## 26/10/2026 — Cumulações L7 entregues pelo Git
**Instalado `f8d57bddf96b4610604a013fcc5bdd703c7dc6d5`.** A anteriora7434cd2,que já incluía632dc069,fica preservada. Main/candidata compatíveis;apresentação ecatálogo sectorial entregues entretanto mantidos. A notaQA anterior é histórica:não há pendência de instalação deste incremento.
Medição inicial:5.06GiB,com inodes suficientes,mas sem margem para o backup fresco mais o mínimo5GiB do instalador. Recuperados0.21GiB somente da cache versionada de compilaçãoNode em`/tmp/node-compile-cache`,sem gestores de pacotes ou ficheiros abertos. Fontes,node_modules,releases,backups,logs,originais eSGF mantidos;permissões/proprietário da pasta preservados. Nova capacidade:5.26GiB e21374782inodes. Backup fresco`2026-10-26T14:20:47Z`:174tabelas/369ficheiros econfiguração;restauro isolado sem rede/55441 com174checksums iguais. Após o backup restavam5.10GiB,acima do mínimo5GiB de compilação;a guarda de um segundo backup não é requisito para repetir o backup acabado de executar. Nenhum limiar foi reduzido.
Só depois destas guardas,integraçãoGit sem forçar histórico;release anterior activa até a nova estar pronta. Compilação,tipos econtrolos automáticos do procedimento passaram:1054testesfrontend,API59testes/317asserções,preservação1teste/3106asserções. Reutilizadas as provasQA12testes/API133/UI/relatórios,não repetidas por iniciativa desta entrega. Conferidos4ficheiros fiscais do delta,68protegidos,31originais,369persistentes/configuração e174tabelas;172tabelas de negócio mantidas,cache/sessões reconciliadas com eventos operacionais/acessos públicos. Schema,roles/grants epermissões iguais;sem migrações/importações/escrita privada sintética. Revisão/manifest servidos,15marcadores,4assets eHTTP200 do simulador conferidos.
O recorte mantém a diferençaCBF16 de25MZN aplicada uma vez,com15recuperados já incluídos nos75deduzidos;depois aplica16% à base cooperativa integralmente elegível. No caso combinado,colecta496,80MZN;com despesa autónoma qualificada,512,80+35=547,80MZN. Valores são colecta simulada,não saldo finalL8. IncompatibilidadeCBF4/13,excepções sem correspondência e informação em falta permanecem explícitas;nenhum benefício é escolhido ouapagado automaticamente.
Após a instalação ficaram4.14GiB livres. Antes de outra compilação,voltar a resolver capacidade contra o mínimo existente e o backup dessa execução;esta entrega foi concluída e não autoriza apagar releases,backups ou provas. SaldoL7 e primeiro incrementoL8 são discriminados na secção seguinte. Recibo:`docs/investmoz/simulations/irpc-l7-combinations-delivery-20261026.json`;provas:`outputs/irpc-l7-combinations-delivery-20261026/`. **L7 parcial;L8 conserva saldo final.**
## 26/10/2026 — Saldo consolidado de L7 e primeiro incremento delimitado de L8
**L7 parcial,com a entrega de cumulaçõesf8d57bdd registada acima.** Deixam de estar pendentes de instalação a combinaçãoCIRPC12+CBF16 no recorte qualificado,a separação do imposto autónomo61(4) e os estados de incompatibilidade/falta/excepção não correspondida demonstrados. Isso não implementa todas as cumulações nem os tratamentos abaixo. Fontes oficiais e provas aceites permanecem válidas;documento em falta limita só o caso/campo que dele dependa.
| CódigoL7 ainda por implementar | Exemplo e condição concreta de retoma |
| --- | --- |
| Outras origens/segregações de despesas autónomas | Despesa100 com apenas60 correspondidos em36g ou encargo fora do resultado:ligar origem/parcela e incidência61(4),sem segundo acréscimo. |
| Cooperativas mistas/retidas e demais entidades9–14 | Base agrária com serviços não abrangidos ou rendimentos sujeitos a retenção:segregar proveitos/custos/base e aplicar o artigo específico;não reduzir tudo a16%. |
| ExtensõesCBF16 e outras combinações | Activo anterior a2025,usado/reabilitado/reavaliado,método/período fora da cobertura,ou excepção expressa à não cumulação:ligar regra temporal/base/método e disposição,ordem e limites à parcela;reutilizar activos/quotas,sem reescrever o passado. |
| Mais-valias61-A e operações54–56/41-A | Ganho já incluído no resultado ou transferência de activo/perda:implementar apuramento e reconciliação próprios,sem dupla incidência ou compensação presumida. |
| CBF17–19 e direito potencial15 | Formação/investimento com activos e despesas elegíveis/excluídos:implementar base,limite,janela temporal e compatibilidade. Direito/origem do crédito emL7;utilização anual e saldo emL8. |
| Regimes sectoriais/territoriais e benefícios específicos | EstatutoZEE ou projecto de infra-estruturas:aplicar disposição/período efectivos e excepção quando prevista;endereço/sector não concede benefício. |
| TransporteL7M20/M22 | Efeito calculado sem campo/edição correspondente:identificar exemplar,instrução,campo e representação;conservar o cálculo exacto independente. |
**Documentos por caso,distintos de código:**natureza/parcela/período;estatuto/reconhecimento exigido ou norma de excepção;saldos anteriores e distinção de exclusão temporária/permanente;disposição/ordem/limites da combinação;exemplar/edição/campo/representação. Não pedir nova validação genérica da autenticidade de fontes aceites,nem repetir pesquisas anteriores sem informação nova. Não preencher campo,código,taxa ou saldo por presunção.
### L8 — primeiro percurso a implementar em QA:colecta→pagamentos comprovados→saldo simulado
**Delimitado,não implementado ou instalado nesta passagem.** Recorte inicial:IRPC de residente no regime geral,ano civil2026,MZN,com colecta corrente determinada e suportes que permitem reconciliar o fecho. Parte de uma execuçãoL6 válida ou deL7 válida quando os efeitos aplicáveis estejam qualificados;guarda chave/versão/NUIT/período e valores de origem. Não soma colectaL6 com colectaL7 nem a colecta ordinária com uma colecta combinada que já a inclua. Não usa uma versãoL6 para ignorar um efeitoL7 positivo ou pendente que afecte o mesmo fecho. Um caso ordinário independente não espera pela implementação de outro benefício ou por um campoM20/M22 desconhecido.
**Dados reutilizados e qualificações novas apenas onde necessárias:**
1. **Colecta:**reutilizar a execução e as condições existentes,distinguindo colecta ordinária,imposto autónomo e colecta combinada. O primeiro fecho completo limita-se aos casos com ausência documentada de tributação autónoma/mais-valias que exija liquidação própria. Se existir imposto autónomo positivo,a parcela ordinária pode ser apresentada,mas não como saldo total até corresponder a articulação;não o apagar ou compensar por pressuposto.
2. **Retenções sofridas:**reutilizarL5 apenas quando `direction=received`,natureza `on_account`,origem efectiva,documento/prova e montante sofrido reconciliados,mesmo sujeito/NUIT/período e rendimento incluído na base apropriada. Retenção entregue pela empresa por pagamento a terceiros,retenção definitiva,mera projecção,guia sem pagamento ou montante ainda não comprovado não são crédito próprio. EmL7cooperativa,a declaração de ausência de rendimentos retidos não pode coexistir silenciosamente com retenção recebida positiva;esse caso exige a segregação própria,sem bloquear o regime normal independente.
3. **Pagamentos por conta efectuados:**registar/reutilizar comprovativo,identificador,data,exercício,sujeito e montanteMZN;reconciliar parcelas e pagamentos sem dupla utilização. Neste primeiro incremento,não calcular automaticamente a obrigaçãoPPC a partir do exercício anterior,nem transformar tesouraria prevista em pagamento efectuado.
4. **Outros créditos/PEC:**reutilizar a informação existente e distinguir valor conhecido,ausência declarada e falta de informação. O primeiro percurso completo exige ausência documentada dePEC e créditos por dupla tributação/investimento/outros créditos ainda sem limite/ordem correspondidos. Presença positiva mantém a parcela/fecho dependente indeterminado;não usar zero. CBF15 potencialL7 não é automaticamente crédito anual utilizável. PEC não se transforma em montante reembolsável nem recebe transporte de3/5anos por presunção.
5. **Identidade/duplicação:**contrapartes e documentos existentes são reutilizados;qualificar beneficiário e NUIT do próprio sujeito. Deduplicar por origem/documento/comprovativo e controlar afectações parciais;um comprovativo não pode aparecer integralmente em retenções ePPC,ou em dois exercícios. Preservar valores declarados e histórico,sem consumo de saldo oficial.
**Resultado e sequência a demonstrar:**colecta válida→deduções admissíveis e respectivas ausências→retenções efectivamente sofridas por conta→PPC comprovados→saldo aritmético→aplicação das regras de cobrança/reembolso do recorte→montante simulado a pagar ou recuperar. Mostrar a decomposição e o sinal;zero só com entradas completas ou ausência documentada. Informação em falta não transforma a colecta em saldo final. Como a base nasce do plano,o resultado continua uma simulação identificada,não autoliquidação submetida,pagamento efectuado ou reembolso deferido/recebido.
**Fontes já disponíveis para o cotejo dirigido de implementação:**CIRPC63/67,natureza das retenções com as alteraçõesLei12/2025;RegulamentoDecreto9/2008 art21(2–5),ordem/limites das deduções,eart27(1–2/6),pagamentos e reembolso. O exemplar aceite prevê no27(6) um mínimo de100MZN;esse parâmetro e a fronteira devem ser ligados à versão/período aplicáveis antes de activar o consumidor,não inferidos de um rótulo de formulário. O cotejo de aplicabilidade/alterações desta regra é trabalho de implementação da fonte aceite,não pedido de certificação genérica nem reabertura dos cálculosL6/L7. Arts64–66/PEC e créditos específicos mantêm as suas regras próprias;juros/multas/calendário,geração de guias,submissão e processamento de reembolso seguem incrementos próprios.
| Critério de aceitação a executar,sem prova reivindicada agora | Exemplo sintético proposto |
| --- | --- |
| Saldo positivo com pagamentos/retencões válidos | Colecta1408−retenção sofrida300−PPC500=608MZN de saldo aritmético;qualificar valor a pagar segundo a regra aplicável. |
| Saldo negativo | Colecta1408−retenção1000−PPC600=−192MZN;identificar192 a recuperar no recorte,se a regra permitir,sem afirmar reembolso recebido. |
| Zero e fronteiras do mínimo | Colecta1408−408−1000=0;demonstrar os lados inferior/igual/superior do mínimo do parâmetro versionado,sem arredondamento novo. |
| Ausência vs informação em falta | Ausência documentada de retenções/PPC/outros créditos permite saldo com parcelas zero justificadas;suporte ou natureza por determinar mantém só o fecho dependente indeterminado. |
| Reutilização e dupla dedução | Seleccionar retenção recebida e comprovativo existentes,recusar pagamento a terceiros/retenção definitiva/duplicado e demonstrar conservação dos originais e cenários anteriores. |
| Cálculo→gravação→recuperação→relatório | Novo livro/snapshotL8 ligado à chave da colecta e às provas seleccionadas;resultado13/14 eL5 anteriores imutáveis;mudança da fonte invalida a fotografia corrente sem recalcular históricos. Relatório/exportação apresenta colecta,abatimentos,saldo e lacunas concordantes. |
Só serão demonstradas estas novas regras/efeitos,emQA isolada e com as guardas existentes. Fracções continuam exactas;representação/campos oficiais sem correspondência ficam identificados e não bloqueiam cálculo independente. Pagamentos noutra moeda,períodos especiais,PEC/créditos positivos,liquidação autónoma e demais situações ficam no saldo concreto deL8,com condição de retoma por regra,origem,limite,período e prova. A documentação deste recorte não é novo cálculo executável.
### Esforço global:referência inicial não é previsão actual
As240–416horas deL8–L14 permanecem identificadas como referência inicial de planeamento,não saldo actual nem prazo assumido. Antes de estimar o conjunto:reconciliar por lote o que já está implementado/reutilizável e o que falta em código;descontar provas aceites sem as repetir;separar espera documental;incluir resíduosL1–L7,integrações/entregas eL15–L16,SISA/encargos imobiliários. Campos de entrada,fontes inventariadas ou percentagens isoladas não provam percurso executável completo. Contar apenas o delta necessário e não somar duas vezes componentes partilhados. Esta passagem entregaL7 e delimitaL8;gere uma estimativa reconciliada futura,sem converter os intervalos iniciais numa promessa global. **L7 parcial;saldo finalL8 ainda não implementado nesta entrega.**
## 26/10/2026 — L8: primeiro saldo anual simulado demonstrado em QA
**QA concluído em `11a6cee9`; ainda sem instalação.** `f8d57bdd` permanece a entrega comunicada no portal. Este incremento reutiliza a colecta corrente de L6 ou o total ordinário L7 aplicável, sem somar ambos nem contornar um tratamento pendente. Recorte: sujeito residente no regime geral, ano civil de 2026, MZN, sem PEC/créditos positivos ou imposto autónomo que exijam liquidação própria. L6 operacional no âmbito demonstrado; L7 mantém o saldo parcial já discriminado. Não há nova pesquisa ou reabertura das provas aceites.
**Percurso executável:** «Preparar saldo anual L8» reutiliza NUIT, exercício e chave/versão da colecta sem substituir edições deliberadas. Selecciona os comprovativos L5 recebidos, efectivos, por conta e reconciliados; confirma o próprio beneficiário e a inclusão do rendimento na base do exercício. Retenções entregues pela empresa por pagamentos a terceiros, definitivas ou projectadas não são abatimentos próprios. PPC exige recibo, emitente, data, titular, exercício, moeda, montante comprovado, parcela utilizada e confirmação do pagamento efectivo; não usa previsões do plano nem calcula a obrigação PPC. A reutilização não apaga provas ou consome saldos oficiais.
Conhecido, ausência declarada com suporte e informação em falta são estados distintos. Ausência contraditória, titular/exercício divergente, prova em falta ou origem desactualizada mantêm o saldo dependente indeterminado. A identidade normalizada do emitente/comprovativo detecta repetição mesmo com data alterada; a mesma prova não pode ser retenção e PPC. Controla limites do comprovativo e da afectação L5, incluindo parcelas em outros contextos do mesmo dossier. São simulações alternativas, sem reserva central ou consumo de crédito fiscal entre dossiers independentes.
| Caso demonstrado | Resultado L8 simulado |
| --- | --- |
| Colecta 1 408 − retenção sofrida 300 − PPC 500 | **608 MZN a pagar**. |
| Colecta 1 408 − retenção sofrida 1 000 − PPC 600 | Saldo aritmético −192: **192 MZN a recuperar**, sem afirmar reembolso recebido. |
| Colecta 1 408 − retenção 408 − PPC 1 000 | Saldo zero, com parcelas completas. |
| Ausência declarada de retenções/PPC, PEC ausente e outros créditos conhecidos zero | 1 408 MZN a pagar; estados conhecidos/ausentes conservados. |
| PPC por comprovar, prova repetida ou PEC positivo ainda sem regra própria | Saldo a pagar/recuperar indeterminado; entradas e subtotais conhecidos conservados. |
| Fronteiras do mínimo: saldos ±99,99 e ±100 | Aritmética exacta; abaixo de 100 MZN sem cobrança/reembolso neste recorte; em 100 aplica pagar/recuperar. Sem arredondamento ou transporte de crédito inventado. |
| Colecta anual L7 acelerada aceite de 1 996,80, sem abatimentos declarados | Reutilizada uma vez: saldo simulado 1 996,80, sem somar a referência L6 nem recalcular o benefício. |
**Fontes e limites:** CIRPC arts. 63/67, Lei 34/2007 e natureza da retenção na redacção aplicável da Lei 12/2025; Regulamento Decreto 9/2008 arts. 21(2–5) e 27(1–2/6). O mínimo de 100 MZN do art. 27(6) está ligado ao recorte ordinário de 2026; as alterações IRPC do acervo de 2025 não substituem essa regra. Exemplares, páginas e hashes constam do recibo, com aceitação oficial anterior preservada. Não generalizar este parâmetro a períodos/regimes não correspondidos. PEC positivo, crédito de investimento, dupla tributação e outros créditos não recebem abatimento, limite, transporte ou reembolso presumidos. Um crédito potencial L7 não passa automaticamente a crédito utilizável L8.
**Gravação e recuperação:** livro opcional `irpcAnnual` no snapshot existente, por contexto, sujeito e exercício; ligado à execução da colecta e às provas L5 seleccionadas. Guarda o input e o resultado simulado, acrescenta o resultado anterior ao histórico sem o recalcular, e invalida o resultado corrente quando mudam as fontes/entradas. HTML e dossier financeiro recuperam colecta, provas/parcelas, estados, saldo, lacunas e limites concordantes. Sem preparação L8, os relatórios anteriores não ganham linhas L8. Plano, originais, livros e históricos L5–L7 permanecem imutáveis. O saldo não é declaração submetida, pagamento efectuado ou reembolso recebido.
**Provas novas:** 19 testes frontend dirigidos; API privada QA, 1 teste/170 asserções, sete casos com cálculo → gravação → recuperação → HTML/dossier; base isolada `simulator_fiscal_delta_20261021_test`, loopback 55441, guarda de identidade e transacção com rollback. Interface real: preparar, preencher só dados em falta, seleccionar prova, impedir repetição, pagar/recuperar/zero/ausência/indeterminação, guardar/recarregar/recuperar/exportar, sem erros de página. Wayfinder `--with-form`, TypeScript e build QA passaram. Comparação de 2 832 ficheiros anteriores: só três pontos de integração alterados, mais os cinco ficheiros novos do incremento; motores L5/L6/L7, fontes, fixtures, schema, configuração e permissões preservados; 31 originais iguais. Não se repetiram suites aceites de L3, ISPC, câmbio ou L5–L7. SGF TEMPO separado.
### Saldo concreto L8 após este incremento
| Código ainda por implementar | Condição concreta de retoma |
| --- | --- |
| PEC e créditos positivos: investimento, dupla tributação e outros créditos próprios | Correspondência do crédito, titular/exercício, montante efectivamente disponível, ordem, limite e transporte aplicáveis; prova de cada saldo. Não presumir reembolsabilidade ou prazo de 3/5 anos. |
| Liquidação de imposto autónomo/61-A e articulação com o saldo anual | Segregar a parcela autónoma e corresponder quais abatimentos podem incidir sobre ela; não a ignorar nem compensar automaticamente com prejuízo/PPC. |
| Períodos especiais e comprovativos noutra moeda | Corresponder exercício/data de afectação e regra cambial fiscal do pagamento; reutilizar periodização/câmbio existentes sem confirmar pressupostos por omissão. |
| Cálculo da obrigação PPC/PEC, calendários, juros/multas e guias | Regra, parâmetros, factos e vencimentos próprios por período. O registo de PPC efectuado já demonstrado não calcula a obrigação. |
| Transporte oficial M20/M22, submissão e processamento de reembolso | Edição/campo, representação de fracções e fluxo de recepção correspondidos; sem preencher campos provisórios como oficiais. |
**Esclarecimentos documentais aguardados:** permanecem as dúvidas concretas L5/L6/L7 já registadas, sem nova pesquisa repetida. Exemplo: cooperativa com rendimentos mistos/retidos requer segregação antes de utilizar retenção positiva; excepção de cumulação exige disposição, período e limites correspondidos; campo M20/M22 divergente requer edição/campo exactos. Cada falta só bloqueia o seu caso. Ausência de documento num cenário não bloqueia o saldo normal independente acima.
**Próxima entrega:** compatibilidade conferida com `origin/main` em `f8d57bdd`, sem incorporar runtime do checkout raiz. Nenhum acesso ou operação no servidor nesta passagem. Os 4,14 GiB são o valor comunicado, não medição nova; antes de instalar, medir espaço/inodes, confirmar capacidade para backup/restauro fresco e compilação isolada, mantendo a versão activa até a nova estar pronta. Recibo: `docs/investmoz/simulations/irpc-l8-first-qa-20261026.json`; provas: `outputs/irpc-l8-settlement/`. Reprodução só do delta: `node --test tests/frontend/irpc-annual-settlement.test.mjs`; `php tools/irpc-annual-settlement-qa.php routes`; `php tools/irpc-annual-settlement-qa.php test`; `tsc --noEmit`; build com `INVESTMOZ_QA_BUILD=1`. **L8 parcial, QA pronto, sem instalação.** A referência inicial de 240–416 horas L8–L14 não é previsão actual; permanece necessária a reconciliação do trabalho reutilizado, resíduos e L15–L16 antes de assumir prazo global.
## 27/10/2026 — entrega L8 preparada; instalação adiada por capacidade
**Candidato `14360748` pronto; não instalado.** A conferência SSH autenticada de 27/10, 06:05 UTC (08:05 em Moçambique), confirmou `f8d57bdd` como revisão activa e `main` remoto. Compatibilidade por ancestralidade, pacote QA e 168 ficheiros do destino conferidos: 134 ficheiros protegidos, três integrações anteriores e 31 originais. O delta executável continua limitado a cinco ficheiros L8; os 19 testes, API/170 asserções, interface, recuperação/relatórios, tipos e build aceites foram reutilizados, sem nova ronda.
**Impedimento concreto:** partição `/dev/md2`, montada em `/`, com 4 402 343 936 bytes livres (**4,10 GiB**) e 21 340 182 inodes disponíveis. Inodes suficientes face à referência da release (31 259 entradas). O instalador existente exige **5 GiB livres após o backup**; com a referência observada do backup anterior de 175 917 490 bytes, faltam pelo menos **1,07 GiB adicionais antes do backup**. É uma estimativa mínima de capacidade, a medir novamente; não uma autorização para reduzir o limiar. Caches regeneráveis de Composer/Node somam cerca de 0,12 GiB e não cobrem a diferença. Diagnóstico apenas por leitura, sem limpeza de caches, releases, backups, provas, dependências ou ficheiros SGF TEMPO.
**Decisão expressa do utilizador: «Manter a entrega preparada por agora».** Não foram executados backup/restauro frescos, integração no `main` nem instalação. A versão activa foi preservada e a sessão SSH encerrada. Na retoma, seleccionar o ramo candidato `codex/irpc-l8-settlement-qa-20261026`, voltar a conferir `main` e revisão servida, medir capacidade/espaço/inodes, executar backup/restauro fresco e compilação isolada, mantendo o activo até a nova release estar pronta. Só depois conferir a revisão servida e o delta L8. As notas desta espera ficam no ramo documental `codex/irpc-l8-delivery-capacity-20261027`; não mudam o código candidato. L8 parcial, PEC/créditos próprios separados e saldo L7 preservado. Recibo: `docs/investmoz/simulations/irpc-l8-delivery-capacity-20261027.json`; provas e auxiliares preparados: `outputs/irpc-l8-first-delivery-20261027/` no checkout raiz.
## 27/10/2026 — identidade proactiva: primeiro incremento demonstrado em QA
**QA concluído em `3439f350`; sem instalação, publicação real ou análise económica validada.** Partida no `main` remoto `f8d57bdd`, conferido novamente antes da entrega. Ramo separado `codex/proactive-investment-first-qa-20261027`, worktree `C:/laragon/www/portal-investidor-proactive-qa-20261027`. A referência local `fa02c70` e o ramo `codex/proactive-investment-scope-20261027` não foram encontrados no repositório consultado; o âmbito expresso da Tempo foi suficiente e não se criou dependência desse commit. **L8 `14360748` mantém-se preparado, sem instalação e sem integração nesta candidata.** A capacidade do servidor continua fora deste trabalho local. Sem SSH, instalação, limpeza do servidor ou intervenção no SGF TEMPO nesta passagem.
@@ -1168,3 +1272,134 @@ Reutilizadas as14provas API/139asserções,7provas frontend,tipos ebuild de`1afa
| Divulgação ou uso no activo | Preparar eventual síntese pública separada só quando autorizada/revista;instalação do código não publica nem transporta automaticamente a ficha e o dossierQA. Capacidade,compatibilidade e backup/restauro serão tratados na execução futura aplicável. Nenhuma dependência de capacidade impede esta análise privada. |
**Estado:**primeira aplicação real demonstrada,análise económica/comercial preliminar. Preparadas perguntas para reunião exploratória com a HCB,sem as enviar. L8eSGF preservados;limites e pendências anteriores não foram eliminados.
## 27/10/2026 — orientação confirmada: oportunidades geradas pela procura
**Decisão expressa do responsável:** “a ideia não é gerir concursos mas sim as oportunidades que geram”. O anúncio é uma fonte de procura para preparar oportunidades complementares; não se cria um circuito de concursos, candidaturas ou adjudicações. O percurso técnico aceite em`1afab4a2` continua preparado para entrega independentemente da confirmação comercial do caso. Instalação e capacidade do servidor seguem separadas;sem nova intervenção no destino ou no SGF TEMPO. L8`14360748`preservado.
**Caso privado QA — evolução da mesma ficha e dossier:**ficha401,versão1→2;dossier`894343c7-c33d-452e-a6a5-b6675f77ee23`,contexto1→2. Sete evidências recuperadas. Modelo centrado em serviço recorrente de apoio metrológico no Songo,associando apoio local e laboratório competente:inventário/calendário,preparação,recolha/entrega controlada e documentação. Cliente potencial inicial:HCB. Outros clientes dependem de identificação própria. Sem contrato,parceria,procura recorrente ou vantagem económica declarados como confirmados. Título e campos deliberados do dossier conservados;fotografia anterior e388eventos de auditoria existentes intactos. Não se criou outra ficha,dossier,empresa,grant ou regra fiscal.
### O que a nova fonte esclarece
- **Procura e âmbito:**o anúncio da HCB,de17/08/2026,referência051/2026,identifica quinze famílias de instrumentos e outros a especificar nos TdR;por exemplo,manómetros,balanças,paquímetros/micrómetros,multímetros e instrumentos de análise eléctrica. O PDF tem2páginas,ambas lidas visualmente;SHA256`bb4c33064e5d49504d8a85ac88ad1b847cfa6c69e1016e3ab588ff785b205c1f`;exemplar`https://www.diarioeconomico.co.mz/wp-content/uploads/2026/08/concurso-hcb-tender-document-docu-mo-ambique-2026-1.pdf`. Não contém volumes,gamas,incertezas,periodicidade ou execução. O prazo04/09/2026é histórico,não oportunidade aberta presumida. Não se mapeou automaticamente este procedimento a uma das duas linhas do plano.
- **Qualificação:**o anúncio específico pede licença para o serviço,acreditação/credenciação para calibração,três anos de experiência,três referências e equipa qualificada. Isso esclarece aquela contratação;não se converte em condição para preparar a nova oportunidade nem em requisito universal para todo apoio logístico/metrológico futuro. A execução técnica de calibração deve corresponder à competência/âmbito e aos requisitos efectivos do serviço a prestar.
- **Possível prestação laboratorial:**a ficha pública IPAC`M0100`,INNOQ–Laboratório de Metrologia,Maputo,anexo17/02/2026,publica capacidades por âmbito:inclui electricidade,pesagem e pressão com gamas,incertezas e condições de local. Fonte`https://www.ipac.pt/pesquisa/ficha_lac.asp?ID=M0100`,consultada27/10/2026. É uma entidade a consultar sobre serviços,sem acordo ou capacidade disponível confirmados. Não se estende a cobertura a todas as famílias da HCB ou a uma instalação no Songo. Os prestadores históricos locais continuam por verificar.
A consulta pública dirigida não localizou prova identificável de adjudicação/execução ou compromisso para2027. Isso não prova que não houve contrato,que a compra continua aberta ou que existe procura por satisfazer. Rótulos“Em Curso” e campos0,00dos agregadores não são preço,volume ou estado confirmado. Não prolongar a mesma pesquisa sem novo documento ou resposta do cliente. O estado da compra passada é contexto para a procura futura,não o produto a gerir.
### Preparação da oportunidade e condição de retoma
| Questão de negócio | Informação concreta a obter e uso |
| --- | --- |
| Problema do cliente e recorrência | Que problema operacional existe no ciclo dos instrumentos,como é resolvido hoje e que necessidade futura permanece? Identificar instrumentos,quantidades,frequências e horizonte. Compra satisfeita pode cobrir só um ciclo;não autoriza presumir recorrência. |
| Âmbito da prestação | Por família/modelo/gama,pontos e incerteza:que trabalho é exigido,onde pode ocorrer e com que prazo? Separar inventário/logística/documentação local da execução técnica da calibração. |
| Parceiros e recursos | Confirmar capacidade real,disponibilidade e interesse dos prestadores locais e de laboratório(s). Corresponder âmbito a instrumentos concretos,com responsabilidades,custódia,segurança e condições comerciais;nenhum parceiro é designado automaticamente. |
| Valor e receitas | Testar menor custo total,menos tempo fora de serviço ou melhor organização/rastreabilidade,sem os declarar como benefícios já medidos. Serviço por lote ou avença são hipóteses de receita,sem preço ou vontade de pagar conhecidos. |
| Vantagem económica | Comparar solução actual e proposta para o mesmo âmbito,volume,qualidade,local e período:serviço laboratorial,transporte/retorno,embalagem/seguro,apoio local e custos incrementais sem duplicação. Medir prazos separadamente;monetizar impacto operacional só com base fornecida. Valores e vantagem permanecem indeterminados. |
**Resultados úteis previstos pelo responsável:**(1)procura recorrente/problema/interesse demonstrados→corresponder parceiros e dimensionar o serviço;(2)ciclo actual satisfeito,necessidade futura documentada→reformular horizonte;(3)cliente confirma necessidade satisfeita e sem necessidade futura para a solução→arquivar a hipótese com essa conclusão e conservar o dossier;(4)informação insuficiente→manter hipótese privada,sem declarar ausência de procura. Nenhum desses estados impede a entrega técnica do percurso proactivo.
Perguntas de descoberta e comparação foram preparadas,sem envio a terceiros. A ficha mantém`hypothesis`/`draft`,sem publicação. O contexto foi actualizado pelo mecanismo existente de prévia/confirmação e recuperado com os sete fundamentos;relatório existente reproduz as novas linhas. Sem alteração de código da aplicação,migração,novas entidades ou repetição das provas técnicas/fiscais aceites. Apenas a própria ficha e o seu dossier mudaram;52outrasfichas,17outrosdossiers,19projectos,1921territórios,12sectores,63documentos e históricos anteriores preservados.
Recibo:`docs/investmoz/unification/proactive-opportunity-model-qa-20261027.json`;análise privada actual:`outputs/proactive-commercial-followup-20261027/opportunity-private-brief.html`. A versão anterior da prova continua conservada. Esta passagem consolida o modelo da oportunidade e o saldo de validação comercial;não instala ou publica uma oportunidade real.
## 27/10/2026 — hipótese regional: outros clientes e sustentabilidade do apoio metrológico
**Pedido do responsável:** estudar outros clientes regionais,frequência,custos e capacidade dos parceiros,sem transformar sinais de procura em gestão de concursos. **Dado comercial expresso:** “Ainda não há dados comerciais”. A ficha permanece privada e a entrega técnica do percurso continua independente desta validação. Mantém-se`1afab4a2`como candidata técnica aceite,runtime`3439f350`,sem instalação nesta passagem. L8`14360748`eSGF TEMPO preservados.
**Resultado delimitado:** há base documental para prospectar três entidades adicionais — Vulcan/Moatize,EDM/Tete–Moatize e Nacala Logistics/segmentoMoatize — mas não há procura,recorrência,preço ou capacidade disponível confirmados para este serviço. Não se afirmou sustentabilidade,mercado dimensionado ou clientes contratados. A mesma ficha401e o dossier`894343c7-c33d-452e-a6a5-b6675f77ee23`foram actualizados da versão/contexto2para3,com11evidências. Origem Cahora Bassa/Energia,localização canónica,título e campos deliberados do dossier conservados;abrangência comercial regional identificada separadamente.
| Prospecto | Facto e fonte usados | Hipótese comercial e limite |
| --- | --- | --- |
| Vulcan Mozambique/Moatize | A própria empresa descreve mina,processamento de carvão e equipamentos produtivos em`https://www.vulcaninternational.com/products-services/`,consultado27/10/2026,página sem data editorial identificada. | Verificar instrumentos de processo/manutenção e necessidade de apoio metrológico. Não foi recebido pedido nem inventário;capacidade de produção da mina não é volume de calibração. |
| EDM/Tete–Moatize | **Plano de Actividades e Orçamento2025**,PDFp68/página impressa68,Direcção de Transporte:linha3,calibração/reparação de equipamentos de teste;linha7,activos deMoatize/móvelTete;linha17,automaçãoSETete. Fonte`https://cdn.edm.co.mz/website/imprensa/Plano_Actividades_Orcamento_2025.pdf`,86páginas;conferidos visualmente apenas a página68e o detalhe relevante. Hash/cópia privada no recibo. | Serviço de calibração planeado a nível empresarial em2025 e referências regionais não demonstram parcela de procura actual emTete. Identificar unidade compradora,inventário e solução actual. O orçamento não é preço unitário,receita ou mercado regional. Não atribuir activosHCBàEDM ou contá-los duas vezes. |
| Nacala Logistics/Moatize | A empresa descreve operação ferroviária atéMoatize e manutenção preventiva em`https://www.nacalalogistics.com/quem-somos/`e`https://www.nacalalogistics.com/faq/`,consultados27/10/2026. Na secção Accionistas,as concessionárias identificam Vulcan Mozambique como accionista. | Verificar instrumentos de manutenção e entidade/centro de compra. A marca agrega concessionárias;não equivale a uma contraparte contratual única. A ligação comVulcan impede assumir diversificação independente;não se somaram volumes ou clientes confirmados. |
| Mphanda Nkuwa/GMNK — futuro separado | Descrição institucional em`https://www.gmnk.co.mz/en/about-us/project-description/`,consultada27/10/2026,qualifica o projecto em desenvolvimento. | Sem entrada na procura recorrente de base,receita ou carga de trabalho actual. Retomar apenas com necessidade e horizonte concretos;não inferir encomenda da capacidade projectada ou localização. |
As páginas institucionais confirmam apenas os factos no seu âmbito;relevância metrológica de mineração/ferrovia e interesse em apoio associado são inferências a testar,identificadas como tal. Fontes,exemplar,data e hashes foram guardados em provas privadas;nenhuma empresa,lista,documento ou relação canónica foi importado/publicado. As referências históricas de parceiros locais e o âmbitoIPAC/INNOQjá demonstrado foram reutilizados,sem repetir a pesquisa nem alargar automaticamente a cobertura técnica.
### Dados mínimos por cliente e parceiro
Por **cliente/centro de compra**:instrumentos,famílias/modelos/gamas,pontos e critério de aceitação;quantidade por janela e programa efectivo;prazo fora de serviço;prestador,processo e custo actuais;necessidade ainda não satisfeita;interesse e condições de pagar por lote/missão ou avença. Frequência permanece indeterminada e deve vir do programa do proprietário;sem regra anual por defeito,sem converter prazo de anúncio ou quinze famílias em quantidade/recorrência.
Por **parceiro**:âmbito de competência e local permitido por instrumento;capacidade efectivamente disponível em cada janela,equipa,meios,prazo e preço. Verificar capacidade actual dos prestadores locais históricos,sem confundir reparação/CAEcom acreditação de calibração. O âmbito publicado doINNOQ–LMemMaputo é pista parcial,não reserva de capacidade nem cobertura de todas as famílias. Famílias não correspondidas continuam separadas das compatíveis.
### Comparação económica delimitada
A unidade de comparação é a **missão/lote**:mesmo âmbito,quantidade,qualidade,local e período que a solução actual. A contribuição da missão é a receita acordada menos laboratório,apoio directo,transporte de ida/retorno,embalagem/seguro e outros custos incrementais dessa missão. Custos de transporte partilhado entram uma vez;custos fixos incrementais são deduzidos uma vez no período,sem os duplicar também na contribuição. Para sustentabilidade,avaliar ainda investimento,reposição de meios,fundo de maneio e prazos de recebimento;resultado operacional isolado não basta.
Comparar atendimento individual noSongo,missões agrupadas Songo–Tete/Moatize com janelas compatíveis e uma organização de apoio emTete/Moatize com deslocação aoSongo. Essas alternativas são hipóteses de funcionamento,não mudança de localização,cotação de rota ou recomendação de investimento já aprovada. Nenhum quilómetro,custo de deslocação,preço,volume,receita,margem,poupança ou ponto de equilíbrio foi inventado. A agregação pode partilhar logística e também criar custos,prazos ou restrições de custódia;isso tem de ser medido.
**Condição de retoma:** obter inventários/programas e interesse dos prospectos;identificar entidade compradora e concentraçãoVulcan/Nacala;com o mesmo âmbito pedir propostas de laboratório,apoio local e transporte;comparar as alternativas e a solução actual. Sem esses dados,o resultado útil é “carteira regional prospectável,sustentabilidade por demonstrar”. Se os dados posteriores mostrarem procura insuficiente ou serviço já satisfatório,conservar essa conclusão e reformular/arquivar a hipótese. Não repetir pesquisa pública para substituir dados comerciais que o responsável confirmou ainda não existirem. Nenhuma mensagem foi enviada a terceiros.
**Preservação e prova desta evolução:**guardar→prévia/confirmação do contexto→recuperação no mesmo dossier→linhas do relatório existente,com11evidências e valores comerciais em falta. Apenas ficha401e o seu dossier foram actualizados;52outrasfichas,17outrosdossiers,19projectos,1921territórios,12sectores,63documentos e391eventos anteriores de auditoria intactos. Sem nova entidade,grant,migração,código da aplicação ou ronda das provas técnicas/fiscais aceites. Fonte e contexto anteriores conservados,sem publicar a ficha.
Recibo:`docs/investmoz/unification/proactive-regional-clients-qa-20261027.json`;estudo privado:`outputs/proactive-regional-clients-20261027/regional-private-brief.html`. A entrega técnica e a eventual instalação continuam separadas do estado comercial desta oportunidade.
## 27/10/2026 — passagem à prospecção e segundo piloto territorial privado
**Decisão do responsável:** o caso de apoio metrológico está suficientemente estruturado para prospecção. Fica privado e pendente de informação externa; não continuar a aprofundá-lo para concluir a funcionalidade. Nenhum contacto ou proposta comercial foi recebido ou enviado nesta passagem. A ficha401 e o dossier `894343c7-c33d-452e-a6a5-b6675f77ee23` mantêm fonte/contexto3, sem alterações.
**Ficha curta para a equipa:** `docs/investmoz/unification/prospeccao-apoio-metrologico-20261027.pdf`, PDF preenchível de duas páginas e42campos, com uma página por cliente e outra por parceiro. Cliente: instrumentos/gamas/quantidades, programa efectivo e janelas, requisitos, solução actual, contratação e próxima acção. Parceiro: âmbito, equipa/meios e capacidade disponível, prazo, preços discriminados, impostos/moeda, deslocações/custódia e validade da proposta. Sem resposta, os dados ficam por determinar. Guardar uma cópia por entidade/centro de compra ou parceiro, com evidência/data e responsável.
**Retoma da viabilidade do Songo:** quando chegarem inventários, programas, interesse e cotações comparáveis, actualizar a comparação já preparada para o mesmo âmbito, volume, qualidade, local e período. Distinguir entidade, utilizador e centro que decide/paga; a ligação Vulcan/Nacala impede presumir compradores independentes. Somar cada missão/transporte partilhado uma vez. Não usar ausência de resposta como ausência de procura ou zero. Necessidade satisfeita pode conduzir a reformulação futura ou arquivo fundamentado, preservando o dossier.
**Próximo piloto — Gurué:** foi criado, por serviços existentes e apenas na base QA isolada, o caso `GUR-CHA-20261027`, ficha402/fonte1 e dossier `883c8ec3-59a3-4074-b91c-b7d4a5d88ff0`/contexto1. Ideia privada: estudar apoio associado à colheita, qualidade da folha verde e organização das entregas na cadeia do chá. Reutilizados o distrito canónico de Gurué e o sector Agronegócio; nenhum novo mestre, promotor empresarial, montante ou coordenada presumidos.
Cinco referências distinguem actividade de procura: INE2020–2024, edição2025, PDFp9/Quadro1.1; página do próprio Asian Tea Group sobre Chá de Magoma; IGC2014, PDFp75,78–79/impressas60,63–64; e referências privadas da lista já fornecida, com datas2021–2023 e códigos declarados. INE e produtor documentam actividades; o estudo2014 é histórico e orienta perguntas, sem transportar volumes, preços, capacidades ou intenções para2026. Cadastros antigos não comprovam competência ou disponibilidade actual. Não se presume compra de folha externa, oferta em falta, nova fábrica ou interesse em contratar.
**Acção delimitada do Gurué:** compreender como se colhe, avalia e entrega hoje; identificar problema mensurável, intervenientes, critérios do processador, quantidades/janelas, solução/custo actuais e quem contrataria/pagaria pelo apoio. Magoma é unidade potencial a consultar; Chazeiras é referência histórica cuja situação actual deve ser confirmada. Beneficiário não equivale a pagador. Necessidade, parceiros, custos e viabilidade permanecem em hipótese, sem bloquear a funcionalidade técnica ou exigir prolongamento de pesquisa pública.
**Demonstração apenas do delta:** criação→gravação→prévia/confirmação→recuperação→linhas do relatório existente, com5evidências e pressupostos visíveis. Conservados todos os53registos anteriores de oportunidades,18dossiers,19projectos,1921territórios,12sectores,63documentos,394eventos de auditoria,40utilizadores e3organizações. Novos apenas a ficha/dossier/percurso QA e respectivos registos de histórico. Sem alteração de código, schema, permissões ou provas técnicas/fiscais aceites. O formulário foi reaberto e ensaiado com valores sintéticos numa cópia; a versão para a equipa está em branco, com campos interactivos verificados e as duas páginas revistas visualmente.
**Entrega técnica independente:** `1afab4a2` continua candidata técnica aceite, runtime `3439f350`, sem instalação ou publicação nesta passagem. A capacidade do servidor deve ser novamente medida no procedimento da futura entrega; não se declarou resolvida nem se apagou conteúdo. L8 `14360748`, SGF TEMPO e demais provas preservados. Esta passagem não envia a ficha a terceiros nem publica oportunidades reais.
Recibo: `docs/investmoz/unification/proactive-handoff-gurue-qa-20261027.json`. Prova privada e nota do piloto: `outputs/proactive-handoff-gurue-20261027/gurue-proof.json` e `gurue-private-brief.html`. Saldo do Songo: recolha externa; saldo do Gurué: descoberta dirigida da necessidade; saldo da instalação: capacidade e procedimento de entrega. Estes três estados permanecem independentes.
## 27/10/2026 — autonomia pela interface e candidata técnica consolidada
**Âmbito pedido:** reutilizar as provas aceites; demonstrar apenas anexar respostas, rever a ideia privada e encaminhar/actualizar o mesmo dossier pela interface, sem intervenção de código ou SQL na operação da equipa. Songo aguarda respostas externas e Gurué mantém a hipótese agrícola privada; ambos ficaram intactos. Não foram recolhidas respostas comerciais reais nem observada uma sessão de formação com funcionários.
### Guia curto da equipa
1. Entrar com o perfil operacional já autorizado e o MFA normal. Em **Minhas oportunidades → Nova oportunidade → Preparar análise e ideia**, indicar título, sector e apenas o território conhecido. Não substituir o promotor real por quem prepara a análise; a preparação interna permite que ainda seja desconhecido.
2. Em **Evidências e proveniência**, separar facto e interpretação, identificar fonte/exemplar, trecho, período, abrangência e limitações. Manter **Interna — análise privada**. Guardar o rascunho e aguardar a confirmação do servidor.
3. Para uma resposta recebida, abrir **Imagens, documentos e localizações → Documentos**, escolher o original, identificar emissor/versão/data quando conhecidos, página e afirmação fundamentada. Escolher classificação e consulta internas e **Guardar recurso**. O ficheiro fica privado e o seu estado de scan é visível; o download só fica disponível após scan limpo dos mesmos bytes.
4. Regressar ao rascunho e escolher esse ficheiro em **Documento existente associado** na evidência correspondente. Rever a oferta/procura observadas, solução, pressupostos, pendências e próxima acção. Uma resposta parcial não confirma procura, preços ou sustentabilidade. Guardar e recuperar a ficha para conferir os dados.
5. Usar **Preparar ou continuar investimento com esta ficha**. Se já existir, escolher o dossier e **Preparar neste dossier**; não criar outro para uma nova edição. Criar um dossier apenas para um investimento novo, com o título escolhido e consentimento de reutilização do próprio perfil.
6. Confirmar a localização, usar **Rever dados antes de guardar**, conferir divergências e impactos e **Guardar dados do investimento**. O título e as edições deliberadas conservam-se. A referência à resposta acompanha a análise; o original permanece no gestor documental da ficha, acessível pelo link da ficha de origem e seus recursos, sem cópia ou divulgação automática dos bytes.
7. Para novas respostas/edições, voltar à mesma ficha, guardar a revisão e continuar o mesmo dossier com nova prévia/confirmação. O dossier recebe a versão actual após confirmação; o estado anterior conserva-se no histórico. Informação em falta continua por determinar, sem zero presumido.
8. **Divulgação promocional** é uma acção separada. Nada neste percurso publica o piloto, os anexos ou o dossier. A eventual decisão de publicação real continua independente da demonstração sintética e da instalação técnica.
### Delta demonstrado e correcção delimitada
Ensaio com o operador QA existente, login/MFA normais e apenas controlos da interface: nova ficha sintética403, resposta PDF de ensaio anexada e recuperada, ClamAV real limpo, hash do download igual ao original; documento associado à evidência; ideia revista; dossier `5bc28554-a2d1-4e60-9181-93ba0ecede59` criado e depois continuado sem duplicação. Fonte4/contexto2, hipótese e título deliberado preservados. O anexo e os dados são sintéticos; não constituem resposta de clientes ou parceiros reais.
Foi reproduzido e corrigido um aviso enganador: o pedido de complementos públicos tratava uma análise privada autorizada como referência pública desaparecida. **InvestmentComplements** consulta primeiro a autorização existente e devolve uma lista vazia para essa preparação privada; não a transforma em oferta pública. Origens públicas continuam a produzir os seus complementos; pedidos sem acesso continuam sem obter a fonte privada. Dois testes novos dirigidos,18asserções, passaram em transacção QA. A demonstração privada foi retomada sem o aviso. Não se alteraram permissões, tabelas, frontend ou motores fiscais.
Todos os54registos anteriores de oportunidades,19dossiers,63documentos,19projectos,1921territórios,12sectores,3organizações e399eventos de auditoria preservados por comparação de hashes. Novos apenas a amostra QA e seus registos. As provas anteriores de criação/edição, publicação expressa, anonimato, histórico, relatório, Wayfinder, TypeScript e build foram reutilizadas; não se repetiram suites fiscais ou a análise económica dos pilotos. Foi conferida a recuperação da referência documental e das novas linhas pelo relatório existente.
### Candidata para instalação futura
Runtime desta correcção: `51d536b7`; inclui o percurso técnico `3439f350`/candidata aceite `1afab4a2`, documentação e ficha de prospecção `403c444a`. A comparação com main remoto `f8d57bdd` confirmou ancestralidade, sem alterações entretanto integradas a perder. O delta de runtime face à candidata anterior limita-se à consulta de complementos; frontend, schema e configuração mantêm-se.
**Não instalado.** Antes da entrega activa, medir novamente espaço/inodes na partição do instalador e dos backups, confrontar com a necessidade efectiva de compilação isolada/backup, conferir o main então actual, executar backup/restauro fresco e manter a versão activa até a nova estar pronta. Depois conferir revisão servida e apenas o delta. A preparação dos pilotos QA não integra dados na base activa nem publica oportunidades. L8 `14360748` permanece separado; SGF TEMPO intocado. Não se fizeram SSH, limpeza, backup ou instalação nesta passagem.
Recibo: `docs/investmoz/unification/proactive-team-autonomy-qa-20261027.json`. Provas e pacote local: `outputs/proactive-team-autonomy-20261027/`. A verificação comprova que o percurso está disponível aos perfis autorizados através da interface; não declara formação da equipa, viabilidade dos pilotos ou conclusão integral dos requisitos nacionais.
## 27/10/2026 — duas entregas autorizadas: L8 primeiro, percurso proactivo depois
O responsável autorizou expressamente a execução das duas entregas pelo procedimento existente, sem nova ronda de autorização. A indicação histórica de manter preparado em `c85e772d` foi reconciliada: o commit acrescenta documentação de capacidade, sem mudar o código de L8 `14360748`/runtime `11a6cee9`. A autorização actual permite retomar; não substitui a medição de capacidade nem o backup/restauro frescos.
**Etapa1:** L8 em `c85e772d`, com a colecta válida, retenções efectivamente sofridas e PPC comprovados no recorte aceite; PEC e créditos próprios continuam separados. **Etapa2:** ramo `codex/sequential-delivery-20261027`, merge de L8 e do percurso proactivo `0ff402a1`, runtime reconciliado `74f7f93a`. A etapa2 só segue após confirmar a revisão efectivamente servida na etapa1.
O relatório comum tinha um conflito de imports. Foram conservados ambos e as chamadas de linhas anuais e proactivas. Os restantes ficheiros de runtime de cada candidata ficaram idênticos à origem. Verificação apenas da integração partilhada:6linhas anuais e10linhas proactivas recuperadas, entradas intactas e sem inferência cruzada. TypeScript e compilação QA isolada passaram; suites económicas/fiscais aceites não repetidas. Documentação de ambas as linhas conservada, sem importação de fixtures ou escrita em bases.
**Estado efectivo desta passagem: preparado, sem instalação.** O main remoto permanece `f8d57bdd` e a revisão pública servida foi conferida por HTTP em27/10/2026,10:14UTC, também `f8d57bdd`. A ponte SSH local estava `closed`; a autenticação por chave foi recusada com a chave do servidor registada e conferida. Não havia aqui uma sessão autenticada utilizável. Não foram executados backup/restauro frescos, alteração de main ou instalação. A capacidade antiga de4,10GiB é histórica e não foi apresentada como medição actual.
Retomar na sessão local com SSH autenticado, usando a autorização já registada: medir espaço/inodes na partição efectiva, comparar com compilação e backup, conferir main e revisão activa, criar e ensaiar backup fresco, instalar L8 e conferir apenas o seu delta. Depois repetir as guardas necessárias para a candidata conjunta e conferir o delta proactivo preservando L8. Manter a versão activa até a nova estar pronta. Excluir fixtures QA dos inputs de instalação; não executar seeders/importações de amostras, não publicar pilotos privados nem usar o pacote QA como cópia da base activa. SGF TEMPO separado.
Recibo de preparação: `docs/investmoz/unification/sequential-delivery-preparation-20261027.json`. Provas e instrução de passagem: `outputs/sequential-delivery-20261027/`. Os recibos de execução e as duas revisões servidas serão registados apenas depois de execução real na sessão autenticada; este recibo não os substitui.
@@ -0,0 +1,789 @@
{
"status": "L7_combinations_installed",
"installed": {
"status": "installed",
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"release": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"previous_release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"database_migrations": 0,
"content_imports": 0
},
"previous_installed": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"preserved_fiscal_delivery": "632dc069",
"backup": {
"stage": "/var/backups/investmoz-irpc-l7-combinations-delivery-20261026/backup",
"created_at": "2026-10-26T14:20:47Z",
"target": {
"database": "teste_investidor",
"port": 5432
},
"tables": 174,
"files_verified": 369,
"dump_sha256": "2a069fcda7a89368323cda9d5339e76e545b85088de594c1e5a585891dd7b3c3",
"files_sha256": "289ebdcb8cf1983f8fcdb237d3fb947d43fbe71a575064cede233368d43b4584",
"restore_verified": false
},
"restore": {
"restore_verified": true,
"tables_verified": 174,
"container_network": "none",
"database": "irpc_l7_combinations_restore_20261026",
"port": 55441,
"source_dump_sha256": "2a069fcda7a89368323cda9d5339e76e545b85088de594c1e5a585891dd7b3c3",
"active_database_writes": 0
},
"backup_restore_verified": true,
"capacity_before_recovery": {
"checked_at_UTC": "2026-10-26T14:16:50.285126+00:00",
"installed": {
"status": "installed",
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"previous_release": "/var/www/investmoz-homologacao/releases/632dc06930d6b4f1b012feb3b4daa3b1cfc53f39-4c020686",
"database_migrations": 0,
"content_imports": 0
},
"current_link": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"release_revision": {
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"branch": "main",
"built_at": "2026-10-26T14:07:54.031522+00:00",
"manifest_sha256": "06af8bbd9ffabeac215cbb0357531f4e4169955461d8cfac380f3776e923e64e"
},
"service": "MainPID=0\nExecMainStatus=0\nActiveState=inactive\nSubState=dead\n",
"volumes": [
{
"path": "/var/www/investmoz-homologacao/releases",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5430136832,
"available_inodes": 21367883,
"total_inodes": 29089792
},
{
"path": "/var/lib/investmoz-deploy",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5430136832,
"available_inodes": 21367883,
"total_inodes": 29089792
},
{
"path": "/var/backups",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5430136832,
"available_inodes": 21367883,
"total_inodes": 29089792
},
{
"path": "/tmp",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5430136832,
"available_inodes": 21367883,
"total_inodes": 29089792
},
{
"path": "/var/lib/docker",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5430136832,
"available_inodes": 21367883,
"total_inodes": 29089792
}
],
"free_bytes": 5430136832,
"existing_pipeline_minimum_bytes": 5368709120,
"observed_previous_backup_bytes": 175918494,
"same_partition_release_and_backup": true,
"space_guard_satisfied": false,
"current_release_entry_reference": 31237,
"inodes_available_vs_reference": true,
"inode_note": "Observed current release footprint for scale;no new arbitrary inode threshold. Capacity rechecked after fresh backup.",
"pipeline_sha256": "adec1c17654f3a8658b83b134f1e75f95391b235738552721906c3236e388604",
"active_writes": 0
},
"regenerable_Node_cache_recovery": {
"at_UTC": "2026-10-26T14:18:26.184720+00:00",
"target": "/tmp/node-compile-cache",
"kind": "Node versioned compilation cache;source and node_modules retained;regenerable by Node",
"files_removed": 6893,
"logical_bytes": 206715844,
"free_before": 5429366784,
"free_after": 5652504576,
"recovered_bytes": 223137792,
"installed_record_unchanged": true,
"directory_owner_permissions_preserved": true,
"projects_releases_backups_originals_logs_untouched": true,
"active_business_writes": 0
},
"capacity_before": {
"checked_at_UTC": "2026-10-26T14:19:01.971003+00:00",
"installed": {
"status": "installed",
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"previous_release": "/var/www/investmoz-homologacao/releases/632dc06930d6b4f1b012feb3b4daa3b1cfc53f39-4c020686",
"database_migrations": 0,
"content_imports": 0
},
"current_link": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"release_revision": {
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"branch": "main",
"built_at": "2026-10-26T14:07:54.031522+00:00",
"manifest_sha256": "06af8bbd9ffabeac215cbb0357531f4e4169955461d8cfac380f3776e923e64e"
},
"service": "MainPID=0\nExecMainStatus=0\nActiveState=inactive\nSubState=dead\n",
"volumes": [
{
"path": "/var/www/investmoz-homologacao/releases",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5652262912,
"available_inodes": 21374782,
"total_inodes": 29089792
},
{
"path": "/var/lib/investmoz-deploy",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5652262912,
"available_inodes": 21374782,
"total_inodes": 29089792
},
{
"path": "/var/backups",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5652262912,
"available_inodes": 21374782,
"total_inodes": 29089792
},
{
"path": "/tmp",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5652262912,
"available_inodes": 21374782,
"total_inodes": 29089792
},
{
"path": "/var/lib/docker",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5652242432,
"available_inodes": 21374780,
"total_inodes": 29089792
}
],
"free_bytes": 5652262912,
"existing_pipeline_minimum_bytes": 5368709120,
"observed_previous_backup_bytes": 175918494,
"same_partition_release_and_backup": true,
"space_guard_satisfied": true,
"current_release_entry_reference": 31237,
"inodes_available_vs_reference": true,
"inode_note": "Observed current release footprint for scale;no new arbitrary inode threshold. Capacity rechecked after fresh backup.",
"pipeline_sha256": "adec1c17654f3a8658b83b134f1e75f95391b235738552721906c3236e388604",
"active_writes": 0
},
"capacity_after_backup": {
"checked_at_UTC": "2026-10-26T14:22:54.407089+00:00",
"installed": {
"status": "installed",
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"previous_release": "/var/www/investmoz-homologacao/releases/632dc06930d6b4f1b012feb3b4daa3b1cfc53f39-4c020686",
"database_migrations": 0,
"content_imports": 0
},
"current_link": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"release_revision": {
"commit": "a7434cd27c09df3d8e6c586f9676b67abcde798e",
"branch": "main",
"built_at": "2026-10-26T14:07:54.031522+00:00",
"manifest_sha256": "06af8bbd9ffabeac215cbb0357531f4e4169955461d8cfac380f3776e923e64e"
},
"service": "MainPID=0\nExecMainStatus=0\nActiveState=inactive\nSubState=dead\n",
"volumes": [
{
"path": "/var/www/investmoz-homologacao/releases",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5472501760,
"available_inodes": 21374766,
"total_inodes": 29089792
},
{
"path": "/var/lib/investmoz-deploy",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5472501760,
"available_inodes": 21374766,
"total_inodes": 29089792
},
{
"path": "/var/backups",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5472501760,
"available_inodes": 21374766,
"total_inodes": 29089792
},
{
"path": "/tmp",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5472501760,
"available_inodes": 21374766,
"total_inodes": 29089792
},
{
"path": "/var/lib/docker",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 5472501760,
"available_inodes": 21374766,
"total_inodes": 29089792
}
],
"free_bytes": 5472501760,
"existing_pipeline_minimum_bytes": 5368709120,
"observed_previous_backup_bytes": 175918494,
"same_partition_release_and_backup": true,
"space_guard_satisfied": false,
"current_release_entry_reference": 31237,
"inodes_available_vs_reference": true,
"inode_note": "Observed current release footprint for scale;no new arbitrary inode threshold. Capacity rechecked after fresh backup.",
"pipeline_sha256": "adec1c17654f3a8658b83b134f1e75f95391b235738552721906c3236e388604",
"active_writes": 0
},
"post_backup_existing_build_minimum_satisfied": true,
"post_backup_next_fresh_backup_guard_not_required_for_already_completed_backup": true,
"capacity_after_installation": {
"checked_at_UTC": "2026-10-26T14:29:30.537317+00:00",
"installed": {
"status": "installed",
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"release": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"previous_release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"database_migrations": 0,
"content_imports": 0
},
"current_link": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"release_revision": {
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"branch": "main",
"built_at": "2026-10-26T14:26:51.629481+00:00",
"manifest_sha256": "367be71b25b56a83571d610e211ea11beae2af87989d62ef6cc7b9c54eabf580"
},
"service": "MainPID=0\nExecMainStatus=0\nActiveState=inactive\nSubState=dead\n",
"volumes": [
{
"path": "/var/www/investmoz-homologacao/releases",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 4441751552,
"available_inodes": 21342698,
"total_inodes": 29089792
},
{
"path": "/var/lib/investmoz-deploy",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 4441751552,
"available_inodes": 21342698,
"total_inodes": 29089792
},
{
"path": "/var/backups",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 4441751552,
"available_inodes": 21342698,
"total_inodes": 29089792
},
{
"path": "/tmp",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 4441747456,
"available_inodes": 21342697,
"total_inodes": 29089792
},
{
"path": "/var/lib/docker",
"mount": "/dev/md2 / ext4",
"device": 2306,
"available_bytes": 4441747456,
"available_inodes": 21342696,
"total_inodes": 29089792
}
],
"free_bytes": 4441751552,
"existing_pipeline_minimum_bytes": 5368709120,
"observed_previous_backup_bytes": 175918494,
"same_partition_release_and_backup": true,
"space_guard_satisfied": false,
"current_release_entry_reference": 31259,
"inodes_available_vs_reference": true,
"inode_note": "Observed current release footprint for scale;no new arbitrary inode threshold. Capacity rechecked after fresh backup.",
"pipeline_sha256": "adec1c17654f3a8658b83b134f1e75f95391b235738552721906c3236e388604",
"active_writes": 0
},
"next_delivery_capacity_adjustment_required": true,
"delta": [
{
"path": "resources/js/lib/irpc-special.ts",
"sha256_LF": "aea0e55b9317ca8ebb313a02e5e92c5b0bac805157d67d54f7c30c71068f46e6"
},
{
"path": "resources/js/lib/irpc-normal.ts",
"sha256_LF": "bce82366ab4ae41fc5f889d9a68d041604e1c032823e4a9384a1227e170c649b"
},
{
"path": "resources/js/components/simulation-irpc-special.tsx",
"sha256_LF": "de77c20af4f07cb2fda31b94cb2c163b627b987d816b43e196590afe59d22fb8"
},
{
"path": "resources/js/lib/irpc-special-combinations.ts",
"sha256_LF": "0c80d39930e2a3f598ba2fed6d7e31252bc24211b5a908778367e2451fcbc90c"
}
],
"preservation": {
"previous_release_preserved": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"installed": {
"status": "installed",
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"release": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"previous_release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"database_migrations": 0,
"content_imports": 0
},
"runtime_files_verified": 4,
"preserved_L3_ISPC_FX_runtime_files_verified": 68,
"documentary_files_verified": 31,
"persistent_files_and_env_verified": 369,
"tables_compared": 174,
"changed_tables": {
"cache": {
"before": {
"rows": 106,
"checksum": "0d909f267cc44165e41d5ac5e966448f"
},
"after": {
"rows": 106,
"checksum": "8381b51b093febcc81854e20cb22bec8"
}
},
"sessions": {
"before": {
"rows": 12,
"checksum": "aa6448d95c23f325f4e2004fb48315ce"
},
"after": {
"rows": 13,
"checksum": "e64cf16446c054a7e852f4944574dabf"
}
}
},
"preserved_counts": {
"published_fiches": 29,
"relations": 28,
"geometries": 408
},
"migration_count": 0,
"content_imports": 0,
"comparison_role": "postgres_before_and_after;sameexportedsnapshotbaseline;noapplicationRLSvisibilityinference",
"writes_by_verification": 0
},
"schema_permissions_after": {
"schema_sha256": "5045b3e51d2185377aa3d9ac7fa07a44fad3ec620cdfa83ffe31c8884ee1601d",
"roles_grants_sha256": "1530c33cb016e67bfdc64891ddfce7f185b13b56b2cd87c012871a685e118109",
"filesystem_permissions": {
".env": {
"mode": 416,
"uid": 1001,
"gid": 33
},
"storage": {
"mode": 1533,
"uid": 1001,
"gid": 33
},
"storage/app": {
"mode": 1533,
"uid": 1001,
"gid": 33
},
"bootstrap/cache": {
"mode": 1528,
"uid": 1001,
"gid": 33
}
},
"comparison_identity": "postgres;catalogue read only;no passwords collected",
"unchanged": true
},
"operational_delta": {
"status": "operational_delta_reconciled",
"comparison_identity": "postgres before/after;isolated restored baseline;no RLS visibility inference",
"cache": "queue:restart;requestthrottle;identical home-sector cached value with refreshed expiry(HomeController remember10min);no deletedcache",
"sessions": "anonymous sessions from delivery user-agent or exactUA/time correlated with nginx public request;deleted sessions individually expired beyond configured lifetime,normal database session garbage collection(config/session lottery2/100)",
"delta": {
"cache": {
"before_rows": 106,
"after_rows": 106,
"changes": [
{
"key_sha256": "7f7dd83f47f5bf404d55e6e9f1367948721579970b195680645e356031a070ff",
"kind": "updated",
"fields": [
"value",
"expiration"
],
"key_pattern": "investemoz-cache-illuminate:queue:restart",
"is_queue_restart_key": true,
"expiration_unchanged": false,
"throttle_timer_pair": false,
"same_value_home_cache_expiry_refresh": false
}
]
},
"sessions": {
"before_rows": 12,
"after_rows": 14,
"changes": [
{
"key_sha256": "d8e8fff391c7cb6369d141adae95227c9616f39055ffd58b5fda3f0cc6eda2a4",
"kind": "added",
"fields": [
"id",
"ip_address",
"user_agent",
"payload",
"last_activity"
],
"anonymous_user": true,
"delivery_user_agent": true,
"expired_before_comparison": false,
"session_lifetime_minutes": 120,
"anonymous_public_request_logged": true
},
{
"key_sha256": "1618c52511f4c5d1fba6bbf74167ce464d7fbe7a121a937cab645415fa7f0878",
"kind": "added",
"fields": [
"id",
"ip_address",
"user_agent",
"payload",
"last_activity"
],
"anonymous_user": true,
"delivery_user_agent": true,
"expired_before_comparison": false,
"session_lifetime_minutes": 120,
"anonymous_public_request_logged": true
}
]
}
},
"business_tables_to_confirm_separately": 172,
"active_data_writes_by_comparison": 0,
"restore_network": "none"
},
"public": {
"status": "installed_delta_verified",
"served_revision": {
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"branch": "main",
"built_at": "2026-10-26T14:26:51.629481+00:00",
"manifest_sha256": "367be71b25b56a83571d610e211ea11beae2af87989d62ef6cc7b9c54eabf580"
},
"manifest_hash_matches": true,
"compiled_delta_markers": {
"IRPC-normal-adjustments/14": [
"assets/project-dossier-JLJx7klI.js"
],
"Preparar cumulações dos tratamentos L7 registados": [
"assets/services-BKUDFoA6.js"
],
"Combinação incompatível": [
"assets/project-dossier-JLJx7klI.js"
],
"única diferença adicional:": [
"assets/project-dossier-JLJx7klI.js"
],
"IRPC-normal-adjustments/13": [
"assets/project-dossier-JLJx7klI.js"
],
"Preparar CBF16 para início de actividade": [
"assets/services-BKUDFoA6.js"
],
"Preparar CBF16 para cessação e quotas anteriores": [
"assets/services-BKUDFoA6.js"
],
"sem consumo de saldos oficiais": [
"assets/project-dossier-JLJx7klI.js"
],
"Preparar CBF16 com duodécimos": [
"assets/services-BKUDFoA6.js"
],
"CBF16 — duodécimos reutilizados de L6": [
"assets/project-dossier-JLJx7klI.js"
],
"Suporte dos duodécimos CBF16": [
"assets/services-BKUDFoA6.js"
],
"Manter preparação anual CBF16": [
"assets/services-BKUDFoA6.js"
],
"CBF16 por duodécimos — ": [
"assets/project-dossier-JLJx7klI.js"
],
"diferença adicional:": [
"assets/project-dossier-JLJx7klI.js"
],
"IRPC-normal-adjustments/10": [
"assets/project-dossier-JLJx7klI.js"
]
},
"assets": [
{
"file": "assets/project-dossier-document-W46BRNSe.js",
"status": 200,
"sha256": "80e14fba26e9e81f840ba09eb3f9e24a70404bbe7e6933b490b3085299a6186f"
},
{
"file": "assets/services-BKUDFoA6.js",
"status": 200,
"sha256": "0ac8c266fcecec0e564619948f4cec28cd2572975aff70acc6997971a67fcfd9"
},
{
"file": "assets/project-dossier-JLJx7klI.js",
"status": 200,
"sha256": "1016cb33e4476a95e1a06ce17fad4312efc93aef01994a2674e251d00c884f0b"
},
{
"file": "assets/simulation-form-zFZ4YNrB.js",
"status": 200,
"sha256": "338068b86cce1c3215ee71b1328a6cb2f754b903ed78ff1886f8554df506d2d6"
}
],
"simulator_status": 200,
"simulator_entry": "assets/app-BPLj40Iz.js",
"synthetic_private_writes": 0,
"method": "Read-only installedrevision/manifest/newcompiledcatalogueandreaders/simulatorentry;acceptedQAproofsreused"
},
"pipeline": {
"service": "ExecMainStatus=0\nActiveState=inactive\nSubState=dead\n",
"installed": {
"status": "installed",
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"release": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"previous_release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"database_migrations": 0,
"content_imports": 0
},
"latest_report": {
"status": "installed",
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"release": "/var/www/investmoz-homologacao/releases/f8d57bddf96b4610604a013fcc5bdd703c7dc6d5-7a31e8ac",
"previous_release": "/var/www/investmoz-homologacao/releases/a7434cd27c09df3d8e6c586f9676b67abcde798e-60070b10",
"database_migrations": 0,
"content_imports": 0,
"requested_commits": [
"f8d57bddf96b4610604a013fcc5bdd703c7dc6d5"
],
"finished_at": "2026-10-26T14:26:54.452008+00:00"
},
"log_file": "1793024604346159017.log",
"summaries": [
"OK (1 test, 3106 assertions)",
"built in 32.14s",
"OK (59 tests, 317 assertions)",
"# tests 1054",
"# pass 1054",
"# fail 0"
],
"log_bytes": 299642
},
"accepted_QA_proofs_reused": {
"new_frontend_tests": 12,
"API_tests": 1,
"API_assertions": 133,
"QA_database": "simulator_fiscal_delta_20261021_test",
"QA_host": "127.0.0.1",
"QA_port": 55441,
"QA_transaction_rollback": true,
"wayfinder_with_form": true,
"typescript": true,
"build": true,
"recovered_HTML_and_financial_dossier": 7,
"UI": {
"actualComponent": true,
"explicitPrepareCancel": true,
"assetsPeriodsBenefitsNotEdited": true,
"missingOnlyDependentL7": true,
"CBF16Additional25ThenCooperative16": true,
"prior15AlreadyIncluded": true,
"specificGenericIncompatibilityNoAutomaticChoice": true,
"unmappedExceptionIndeterminate": true,
"autonomous35NotHalved": true,
"saveRecoverDownload": true,
"accepted13InputPreserved": true,
"L8FinalUnknown": true,
"errors": []
},
"accepted13_exact_model_key_history_comparison": true,
"accepted_suites_not_rerun": true,
"typescript_build_after_main": true
},
"no_custom_QA_suite_repeated": true,
"L7_remaining_code": [
"other combinations and express exceptions",
"CBF17-19 and potential15 entitlement",
"specific sector/territorial regimes",
"mixed/withheld cooperativeincome and otherentities",
"other autonome expense origins",
"furtherCBF16 scopes",
"capitalgains/specialoperations",
"officialL7M20M22transport"
],
"L7_resume_conditions": [
"disposition/article/scope/period/order/limit and segregatedparcel for combination",
"implement not-yet-supported treatment before adding its effect",
"specific document only for dependentcase/field"
],
"L8_first_increment": {
"status": "L8_first_increment_delimited_not_implemented",
"date": "2026-10-26",
"installed_L7": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"no_new_L8_calculator_installed": true,
"initial_scope": "resident general IRPC,annualcivil2026,MZN,currentdetermined assessment,documented absence of positive PEC/unmappedcredits and autonomoustax needing ownsettlement",
"inputs_reused": [
"current L6 or applicable qualifiedL7 assessment key/version/subjectNUIT/period;never add both",
"L5 received/effective/on_account qualified and reconciled withholding proofs",
"actual documented PPC payments by subject/period/receipt",
"known/declaredabsence/missing states for every credit/paymentfamily"
],
"wrong_credits_excluded": [
"withholding remitted by enterprise on payments to others",
"definitive withholding",
"projected amount without effective proof",
"duplicate receipt/allocation/year",
"unmapped positive PEC/investment/doubletax credit"
],
"sequence": [
"validassessment",
"admissibledeductions and explicitabsence",
"effective onaccount withholdings",
"actual PPC",
"signed arithmeticbalance",
"applicable collection/refund minimum rules",
"simulatedpayable orrecoverable;not submittedor receivedrefund"
],
"proposed_acceptance_cases": [
{
"colecta": "1408",
"withholdings": "300",
"PPC": "500",
"arithmetic_balance": "608"
},
{
"colecta": "1408",
"withholdings": "1000",
"PPC": "600",
"arithmetic_balance": "-192"
},
{
"colecta": "1408",
"withholdings": "408",
"PPC": "1000",
"arithmetic_balance": "0"
},
"minimumrule boundaries afterperiod/version mapping",
"knownzero vs declaredabsence vs missing",
"wrongbeneficiary/definitive/duplicates",
"calculation-save-recover-report with oldhistories unchanged"
],
"cases_tested_now": false,
"rule_work_before_implementation": [
"CIRPC63/67 with Lei12/2025 nature applicable",
"Decreto9/2008 art21(2-5) deductionorder/limits and27(1-2/6) settlement",
"100MZN minimum in accepted2008 exemplar:link to applicable version/period before enabling parameter;no generic credibility revalidation",
"retain PEC/credits distinct and nonrefundable limits;no3/5year automaticcarry"
],
"boundaries": [
"qualified cooperative withoutwithheldincome cannot silently acceptpositivereceivedwithholdings without L7segregation",
"no L6fallback toignore applicablependingL7effect",
"autonomoustax/61Apositive needs own settlement articulation",
"fraction exact;unmapped formrepresentation onlyblocks affectedtransport"
],
"deferred": [
"automatic PPC/PEC obligationcalculation",
"positivePEC/creditorderlimitscarry",
"autonomoustaxsettlement",
"specialperiods/foreigncurrencypayments",
"interest/penalties/calendar/guideremittance",
"AT submission/refundprocessing",
"unmappedM20M22fields"
],
"sources_reused": [
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\Lei-34-2007-BR52.pdf",
"sha256": "cdbef875ad7ccc1517b12faf5de0e893a70ed2ed81e33913cd6dc4a674474e6e",
"articles": "CIRPC63/67",
"PDF_pages": [
18,
19
],
"official_source_acceptance_preserved": true
},
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\Decreto-9-2008-BR16.pdf",
"sha256": "96fccdecbfdc11c9eafb90fbc6c7bc259f88bbd4c7507d1ac3af1fa03f960697",
"articles": "RIRPC21/27",
"PDF_pages": [
6,
7
],
"official_source_acceptance_preserved": true
},
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\BR-248-I-Suplemento-1-2025.pdf",
"sha256": "ccf2a8deeca820f2dd076b4b2141b1efe3f6a806568c3a587ca59a8e92f4c251",
"articles": "Lei12/2025 IRPC67/version2026",
"PDF_pages": [
18,
19,
20
],
"official_source_acceptance_preserved": true
}
],
"global_effort": {
"initial_L8_L14_reference_hours": [
240,
416
],
"is_current_remainingforecast": false,
"reconciliation_before_globalforecast": [
"implemented/reusable vs remainingcode perlot",
"reuseacceptedproofs;no duplicate sharedcomponentestimate",
"documentarywait separately",
"L1-L7residuals,integration/delivery,L15-L16 included"
]
},
"L7_partial": true,
"L8_final_still_not_implemented": true
},
"global_effort_forecast_not_assumed": true,
"L6_operational_delimited": true,
"L7_partial": true,
"L8_final_separate": true,
"SGF_TEMPO_untouched": true
}
@@ -0,0 +1,95 @@
{
"status": "prepared_delivery_deferred_by_user_capacity_not_satisfied",
"date": "2026-10-27",
"candidate": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"QA_runtime_commit": "11a6cee981f0a425b0fceefb6ed85485bb298245",
"candidate_branch": "codex/irpc-l8-settlement-qa-20261026",
"remote_main_verified": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"installed_remote_verified": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"capacity": {
"checked_at_UTC": "2026-10-27T06:05:28.744338+00:00",
"partition": "/dev/md2 / ext4",
"free_bytes": 4402343936,
"free_GiB": 4.100002288818359,
"required_after_backup_bytes": 5368709120,
"previous_backup_reference_bytes": 175917490,
"estimated_required_before_backup_bytes": 5544626610,
"additional_free_bytes_needed": 1142282674,
"additional_GiB_needed_rounded_up": 1.07,
"inodes_available": 21340182,
"release_entries_reference": 31259,
"inodes_sufficient_against_reference": true,
"fresh_measurement_required_on_resume": true,
"installer_threshold_not_changed": true
},
"baseline": {
"baseline": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"files_verified": 168,
"active_writes": 0
},
"prepared_runtime_delta_files": 5,
"preserved_runtime_files": 134,
"originals_preserved": 31,
"caches_read_only": {
"caches": [
{
"path": "/root/.cache/composer/files",
"resolved": "/root/.cache/composer/files",
"symlink": false,
"bytes": 127242240,
"first_entries": [
"carbonphp",
"maatwebsite",
"iamcal",
"bordoni",
"fidry",
"mockery",
"symfony",
"mtdowling",
"inertiajs",
"tcg",
"nyholm",
"dflydev"
]
},
{
"path": "/tmp/node-compile-cache",
"resolved": "/tmp/node-compile-cache",
"symlink": false,
"bytes": 4009984,
"first_entries": [
"v22.23.4-x64-d04b8edd-1001"
]
}
],
"package_manager_processes": [],
"open_cache_handles": [],
"service": "ActiveState=inactive\nSubState=dead\n",
"active_writes": 0
},
"caches_insufficient_to_resolve_gap": true,
"cleanup_performed": false,
"fresh_backup_executed": false,
"fresh_restore_executed": false,
"main_push_executed": false,
"installation_executed": false,
"server_persistent_writes": 0,
"business_database_writes": 0,
"user_decision": "Manter a entrega preparada por agora",
"next_action": "New space/inode and main/servedrevision checks;confirm capacity for freshbackup/restore and isolatedbuild;then authorized Git delivery and onlydelta verification. Keep active release until new is ready.",
"QA_proofs_reused": {
"frontend": 19,
"API_assertions": 170,
"UI_round_trip": true,
"typescript": true,
"isolatedbuild": true,
"not_repeated": true
},
"L8_partial": true,
"PEC_and_own_credits_separate": true,
"L7_residuals_unchanged": true,
"SGF_TEMPO_untouched": true,
"preflight_pipeline_sha256": "adec1c17654f3a8658b83b134f1e75f95391b235738552721906c3236e388604",
"resume_candidate_branch": "codex/irpc-l8-settlement-qa-20261026",
"notes_branch": "codex/irpc-l8-delivery-capacity-20261027"
}
@@ -0,0 +1,382 @@
{
"status": "QA_complete_ready_for_grouped_delivery_not_installed",
"date": "2026-10-26",
"branch": "codex/irpc-l8-settlement-qa-20261026",
"runtime_revision": "11a6cee981f0a425b0fceefb6ed85485bb298245",
"installed_revision_per_user": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"remote_main_checked": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"version": "IRPC-annual-settlement/1",
"scope": "resident general IRPC,annualcivil2026,MZN,currentdetermined assessment,documented absence of positive PEC/unmappedcredits and autonomoustax needing ownsettlement",
"inputs_reused": [
"current L6 or applicable qualifiedL7 assessment key/version/subjectNUIT/period;never add both",
"L5 received/effective/on_account qualified and reconciled withholding proofs",
"actual documented PPC payments by subject/period/receipt",
"known/declaredabsence/missing states for every credit/paymentfamily"
],
"PEC_and_special_credits_separate": true,
"official_credit_consumption_or_central_reservation": false,
"duplicate_guards": [
"same L5 allocation/pair",
"normalised issuer/document even if date changed",
"same receipt as withholding and PPC",
"receipt total including partial allocations in other contexts in same dossier",
"same sourceKey L5 allocation cannot consume larger receipt twice",
"different entity/year or inconsistent proven amount"
],
"cases": {
"payable": {
"status": "payable",
"knownWithholdings": {
"numerator": "300",
"denominator": "1"
},
"knownPpc": {
"numerator": "500",
"denominator": "1"
},
"arithmeticBalance": {
"numerator": "608",
"denominator": "1"
},
"payable": {
"numerator": "608",
"denominator": "1"
},
"recoverable": {
"numerator": "0",
"denominator": "1"
},
"pending": []
},
"recoverable": {
"status": "recoverable",
"knownWithholdings": {
"numerator": "1000",
"denominator": "1"
},
"knownPpc": {
"numerator": "600",
"denominator": "1"
},
"arithmeticBalance": {
"numerator": "-192",
"denominator": "1"
},
"payable": {
"numerator": "0",
"denominator": "1"
},
"recoverable": {
"numerator": "192",
"denominator": "1"
},
"pending": []
},
"balanced": {
"status": "balanced",
"knownWithholdings": {
"numerator": "408",
"denominator": "1"
},
"knownPpc": {
"numerator": "1000",
"denominator": "1"
},
"arithmeticBalance": {
"numerator": "0",
"denominator": "1"
},
"payable": {
"numerator": "0",
"denominator": "1"
},
"recoverable": {
"numerator": "0",
"denominator": "1"
},
"pending": []
},
"absent": {
"status": "payable",
"knownWithholdings": {
"numerator": "0",
"denominator": "1"
},
"knownPpc": {
"numerator": "0",
"denominator": "1"
},
"arithmeticBalance": {
"numerator": "1408",
"denominator": "1"
},
"payable": {
"numerator": "1408",
"denominator": "1"
},
"recoverable": {
"numerator": "0",
"denominator": "1"
},
"pending": []
},
"missing": {
"status": "indeterminate",
"knownWithholdings": {
"numerator": "300",
"denominator": "1"
},
"knownPpc": {
"numerator": "0",
"denominator": "1"
},
"arithmeticBalance": null,
"payable": null,
"recoverable": null,
"pending": [
"QA-PPC-2026-1: Error: PPC exige comprovativo efectivo,MZN,data,entidade e exercício correspondentes;projecção/tesouraria não é pagamento"
]
},
"duplicate": {
"status": "indeterminate",
"knownWithholdings": {
"numerator": "300",
"denominator": "1"
},
"knownPpc": {
"numerator": "0",
"denominator": "1"
},
"arithmeticBalance": null,
"payable": null,
"recoverable": null,
"pending": [
"QA-PPC-2026-1: Comprovativo utilizado além do montante disponível ou com montantes divergentes neste/outro mapa."
]
},
"pec": {
"status": "indeterminate",
"knownWithholdings": {
"numerator": "300",
"denominator": "1"
},
"knownPpc": {
"numerator": "500",
"denominator": "1"
},
"arithmeticBalance": null,
"payable": null,
"recoverable": null,
"pending": [
"PEC: Error: montante positivo fora deste recorte:corresponder ordem,limite e transporte próprios;sem abatimento ou reembolso automático"
]
}
},
"checks": {
"frontend_tests": 19,
"frontend_pass": 19,
"API_tests": 1,
"API_assertions": 170,
"API_cases": 7,
"database": "simulator_fiscal_delta_20261021_test",
"host": "127.0.0.1",
"port": 55441,
"transaction_rollback": true,
"actual_components_UI": {
"actualComponents": true,
"explicitPreparation": true,
"onlyActualOnAccountProofSelectable": true,
"duplicateSelectionDisabled": true,
"missingNotZero": true,
"ownBeneficiaryAndIncludedIncomeConfirmed": true,
"actualPPCConfirmed": true,
"PECAndCreditsSeparate": true,
"payable608": true,
"recoverable192": true,
"balanced": true,
"duplicateIndeterminate": true,
"positivePECIndeterminate": true,
"oldBooksAndPlanUnchanged": true,
"saveReloadRecoverReportDownload": true,
"errors": []
},
"wayfinder_with_form": "passed",
"typescript": "passed",
"isolated_QA_build": "passed",
"build_existing_warnings": [
"chunk size over500kB;plugin timing diagnostic"
],
"prior_accepted_suites_not_repeated": true
},
"runtime_delta": [
"resources/js/components/simulation-form.tsx",
"resources/js/components/simulation-irpc-annual.tsx",
"resources/js/lib/irpc-annual-settlement.ts",
"resources/js/lib/project-dossier-report.ts",
"resources/js/lib/project-dossier.ts",
"tests/Feature/IrpcAnnualSettlementDraftTest.php",
"tests/frontend/irpc-annual-settlement.test.mjs",
"tools/irpc-annual-settlement-qa.php"
],
"preservation": {
"baseline": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"documentation_base": "d5f11462",
"existing_tracked_files": 2832,
"changed_existing_files": [
"docs/investmoz/consolidated-review-matrix-2026-10-03.md",
"docs/investmoz/unification/traceability-and-manual.md",
"docs/investmoz/v2/auditoria-portal/matriz-requisitos.csv",
"resources/js/components/simulation-form.tsx",
"resources/js/lib/project-dossier-report.ts",
"resources/js/lib/project-dossier.ts"
],
"all_other_existing_files_byte_identical": true,
"schema_configuration_permissions_unchanged": true,
"L5_L6_L7_engines_and_fixtures_byte_identical": true,
"originals_count": 31,
"originals": {
"docs/investmoz/simulations/source-archive/AT-Comunicado-9-2026-ISPC.pdf": "106f8a9ce9255c03549c70bf07fe999d32e6e55302d009b509862aa74ccb4973",
"docs/investmoz/simulations/source-archive/AT-MRFTA-19-39.pdf": "8ea62c53066b482f87078a7a7b1ecf15ca98a12a122e8d7abca63acfc993186b",
"docs/investmoz/simulations/source-archive/AT-Modelo-30-ISPC.pdf": "6802edd06b6ff638a0b851a3ec7ecf69af8f07840faa47446becad67d35d445c",
"docs/investmoz/simulations/source-archive/AT-Modelo-B-Geral.pdf": "bd977c7c59d4d98befd92e2c566b1bf168cb1343bb519f51b41a3807f431fc57",
"docs/investmoz/simulations/source-archive/BM-Mercado-Monetario-MAIBOR-20261025.html": "00e8a7e0d3a1db4ca3beb56d5361b2084a0f1684f3d40fc1c203702a2190e063",
"docs/investmoz/simulations/source-archive/BR-16-I-Serie-2008-04-16.pdf": "fc373ff5637edf75ec6a9595dec8763a8503d4ee786e3b7d8f1c742eae9d80ee",
"docs/investmoz/simulations/source-archive/BR-248-I-Suplemento-1-2025.pdf": "ccf2a8deeca820f2dd076b4b2141b1efe3f6a806568c3a587ca59a8e92f4c251",
"docs/investmoz/simulations/source-archive/BR-89-I-Serie-2017-06-08.pdf": "11f0cab15eb6e51010952203ffa24fdc533a24fd642e19525fe4f46b17a1f5e5",
"docs/investmoz/simulations/source-archive/BR-95-I-Suplemento-2025-05-21.pdf": "e0e682e2c027c3cd9c1d46a73a3f48bc5f6bdbf05667fd97314d7a3f6a456358",
"docs/investmoz/simulations/source-archive/BR252-I-Serie-2022-Lei20-PESOE.pdf": "1159fd3ce1ba5581671796d083534da48bd3c5578298819e896f1c2a8026318d",
"docs/investmoz/simulations/source-archive/Decreto-22-2021-BR70.pdf": "a8fac38dcfe08f9c7a8e46254cff10e1ec82fc4f7a8d88ad6e4fe7d91ffc21a5",
"docs/investmoz/simulations/source-archive/Decreto-27-2026-BR123.pdf": "26249c3fa58f149c81de36e99d1aac2819a4771379d9e8833159660dabf539bb",
"docs/investmoz/simulations/source-archive/Decreto-29-1998-BR22-5-suplemento.pdf": "6242cbe675faadf085f43f95ec8c7e8868aafe67c3b2ab2bb010992288f954f8",
"docs/investmoz/simulations/source-archive/Decreto-3-2011-BR-11-I-mineiros.pdf": "5bca1133666ba9c69870b89823420175b7b5b8d0eccb667ecdf5c29716f3b6be",
"docs/investmoz/simulations/source-archive/Decreto-37-2023-BR124.pdf": "7e680b191481faa0e2e9057fa5053587eb2a29d1d8c819e0eb9f02814255a04c",
"docs/investmoz/simulations/source-archive/Decreto-9-2008-BR16.pdf": "96fccdecbfdc11c9eafb90fbc6c7bc259f88bbd4c7507d1ac3af1fa03f960697",
"docs/investmoz/simulations/source-archive/Lei-13-2016-CIVA-BR-156-10-suplemento.pdf": "b90dc7c14ecea2e378c4a62e8e5a47d54a5644c457baeb8b8053b92fd2a5710b",
"docs/investmoz/simulations/source-archive/Lei-14-1992-BR42.pdf": "089fff7423e99a70a230a73ca379e4ea3a91d124703f91016e57ff82794b9e56",
"docs/investmoz/simulations/source-archive/Lei-17-2022-BR251-exemplar-MCNet5.pdf": "14eb34f0af91a8f5cb1770c7b52d6ff839c6818302d1ed96d79afbfb9fe999d4",
"docs/investmoz/simulations/source-archive/Lei-17-2022-IPP-BR250-Parlamento.pdf": "978cd22403ffd336a631704ecd7a5bbd814a427c815b9acdaca5515591dd9e2a",
"docs/investmoz/simulations/source-archive/Lei-19-2013-BR76.pdf": "bba96d645cc935ffc3d1a79b9f0f73ac1c693d6459c2ad41f56cd2841accae76",
"docs/investmoz/simulations/source-archive/Lei-19-2017-IRPS-BR-OCAM.pdf": "c3a0186cb9ad090d7a9533006295dc9bb6a62ad0d6150173cbd49dba4ee4b52d",
"docs/investmoz/simulations/source-archive/Lei-2-2011-BR-1-4-suplemento-MCNet.pdf": "a7543a68cc3287a46a83c39a04821b40f649dd06c4e9b5dc51ff0b47fba08899",
"docs/investmoz/simulations/source-archive/Lei-20-2009-BR36-AT-exemplar19.pdf": "fc1c8144db42960cbf73e717e095896f511ece0f907f58f78819b27d6917a7ee",
"docs/investmoz/simulations/source-archive/Lei-22-2022-IVA-republicada-BR-250-2-suplemento.pdf": "ea1b0dc6f5cf6e595f6d9a19e7042f398999e0087caef1785f6e8fac571b5f53",
"docs/investmoz/simulations/source-archive/Lei-34-2007-BR52.pdf": "cdbef875ad7ccc1517b12faf5de0e893a70ed2ed81e33913cd6dc4a674474e6e",
"docs/investmoz/simulations/source-archive/Lei-4-1994-BR37-3-suplemento.pdf": "210df9db8980d0a5690cd187a6eeec7e37a900d743e39062c16f4e0d12215c7e",
"docs/investmoz/simulations/source-archive/Lei-4-2012-BR3.pdf": "b8845cef41dcbd9ba50c43dbfa743a56030dd3d348242a107e1ae30279eec121",
"docs/investmoz/simulations/source-archive/Lei-7-1991-Partidos-IFES.pdf": "6b783a0bb3330688ef10660a58060d9724aa2da6a873d234fe902f0eaaeda42d",
"docs/investmoz/simulations/source-archive/PT-MZ-CDT-1992.pdf": "d504e1024b28aee5c6acf4592acb96ec9c915a8414f67a61ab6984d6acf9df9d",
"docs/investmoz/simulations/source-archive/PT-MZ-Protocolo-2009.pdf": "f353773dcf41f09f4daa6cf5ba5a5f7994f3e02615867c2dcffc61c3d901bf9b"
},
"all_seven_recovered_cases_match_final_inputs": true,
"no_active_database_or_server_operations": true,
"no_SGF_TEMPO_operations": true,
"runtime_changed_existing_files": [
"resources/js/components/simulation-form.tsx",
"resources/js/lib/project-dossier-report.ts",
"resources/js/lib/project-dossier.ts"
],
"documentation_changed_existing_files": [
"docs/investmoz/consolidated-review-matrix-2026-10-03.md",
"docs/investmoz/unification/traceability-and-manual.md",
"docs/investmoz/v2/auditoria-portal/matriz-requisitos.csv"
],
"documentation_only_appends_and_target_AUD_record": true
},
"sources_reused": [
{
"file": "docs/investmoz/simulations/source-archive/Lei-34-2007-BR52.pdf",
"sha256": "cdbef875ad7ccc1517b12faf5de0e893a70ed2ed81e33913cd6dc4a674474e6e",
"articles": "CIRPC63/67",
"PDF_pages": [
18,
19
],
"official_source_acceptance_preserved": true
},
{
"file": "docs/investmoz/simulations/source-archive/Decreto-9-2008-BR16.pdf",
"sha256": "96fccdecbfdc11c9eafb90fbc6c7bc259f88bbd4c7507d1ac3af1fa03f960697",
"articles": "RIRPC21/27",
"PDF_pages": [
6,
7
],
"official_source_acceptance_preserved": true
},
{
"file": "docs/investmoz/simulations/source-archive/BR-248-I-Suplemento-1-2025.pdf",
"sha256": "ccf2a8deeca820f2dd076b4b2141b1efe3f6a806568c3a587ca59a8e92f4c251",
"articles": "Lei12/2025 IRPC67/version2026",
"PDF_pages": [
18,
19,
20
],
"official_source_acceptance_preserved": true
}
],
"minimum": {
"rule": "Decreto9/2008 art27(6)",
"scope": "2026 resident_general/calendar/MZN",
"less_than": "100 MZN",
"strict_boundary_tests": [
"+99.99",
"+100",
"-99.99",
"-100"
],
"arithmetic_exact": true,
"new_rounding": false,
"automatic_carry": false
},
"remaining_code": [
"automatic PPC/PEC obligationcalculation",
"positivePEC/creditorderlimitscarry",
"autonomoustaxsettlement",
"specialperiods/foreigncurrencypayments",
"interest/penalties/calendar/guideremittance",
"AT submission/refundprocessing",
"unmappedM20M22fields"
],
"documentary_dependencies": {
"previous_L5_L6_L7_matrix_items_preserved": true,
"examples": [
"mixed/withheld cooperativeincome needs L7 segregation",
"express cumulation exception requires disposition/period/limits",
"divergent M20M22 field needs exactedition and representation"
],
"only_dependent_case_blocked": true
},
"L6_operational_delimited": true,
"L7_partial": true,
"L8_partial": true,
"submitted_or_payment_or_refund_received": false,
"server_operations_this_turn": false,
"reported_server_free_GiB": 4.14,
"reported_capacity_not_measured_this_turn": true,
"capacity_blocks_future_install_not_QA": true,
"future_delivery": {
"fresh_main_compatibility": true,
"measure_space_and_inodes": true,
"confirm_backup_and_isolated_build_capacity": true,
"fresh_backup_restore": true,
"keep_active_until_new_ready": true,
"verify_served_revision_and_only_delta": true
},
"evidence_directory": "outputs/irpc-l8-settlement/",
"global_effort": {
"initial_L8_L14_reference_hours": [
240,
416
],
"is_current_remainingforecast": false,
"reconciliation_before_globalforecast": [
"implemented/reusable vs remainingcode perlot",
"reuseacceptedproofs;no duplicate sharedcomponentestimate",
"documentarywait separately",
"L1-L7residuals,integration/delivery,L15-L16 included"
]
},
"root_checkout_runtime_not_merged": true,
"SGF_TEMPO_untouched": true
}
@@ -0,0 +1,123 @@
{
"status": "L8_first_increment_delimited_not_implemented",
"date": "2026-10-26",
"installed_L7": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"no_new_L8_calculator_installed": true,
"initial_scope": "resident general IRPC,annualcivil2026,MZN,currentdetermined assessment,documented absence of positive PEC/unmappedcredits and autonomoustax needing ownsettlement",
"inputs_reused": [
"current L6 or applicable qualifiedL7 assessment key/version/subjectNUIT/period;never add both",
"L5 received/effective/on_account qualified and reconciled withholding proofs",
"actual documented PPC payments by subject/period/receipt",
"known/declaredabsence/missing states for every credit/paymentfamily"
],
"wrong_credits_excluded": [
"withholding remitted by enterprise on payments to others",
"definitive withholding",
"projected amount without effective proof",
"duplicate receipt/allocation/year",
"unmapped positive PEC/investment/doubletax credit"
],
"sequence": [
"validassessment",
"admissibledeductions and explicitabsence",
"effective onaccount withholdings",
"actual PPC",
"signed arithmeticbalance",
"applicable collection/refund minimum rules",
"simulatedpayable orrecoverable;not submittedor receivedrefund"
],
"proposed_acceptance_cases": [
{
"colecta": "1408",
"withholdings": "300",
"PPC": "500",
"arithmetic_balance": "608"
},
{
"colecta": "1408",
"withholdings": "1000",
"PPC": "600",
"arithmetic_balance": "-192"
},
{
"colecta": "1408",
"withholdings": "408",
"PPC": "1000",
"arithmetic_balance": "0"
},
"minimumrule boundaries afterperiod/version mapping",
"knownzero vs declaredabsence vs missing",
"wrongbeneficiary/definitive/duplicates",
"calculation-save-recover-report with oldhistories unchanged"
],
"cases_tested_now": false,
"rule_work_before_implementation": [
"CIRPC63/67 with Lei12/2025 nature applicable",
"Decreto9/2008 art21(2-5) deductionorder/limits and27(1-2/6) settlement",
"100MZN minimum in accepted2008 exemplar:link to applicable version/period before enabling parameter;no generic credibility revalidation",
"retain PEC/credits distinct and nonrefundable limits;no3/5year automaticcarry"
],
"boundaries": [
"qualified cooperative withoutwithheldincome cannot silently acceptpositivereceivedwithholdings without L7segregation",
"no L6fallback toignore applicablependingL7effect",
"autonomoustax/61Apositive needs own settlement articulation",
"fraction exact;unmapped formrepresentation onlyblocks affectedtransport"
],
"deferred": [
"automatic PPC/PEC obligationcalculation",
"positivePEC/creditorderlimitscarry",
"autonomoustaxsettlement",
"specialperiods/foreigncurrencypayments",
"interest/penalties/calendar/guideremittance",
"AT submission/refundprocessing",
"unmappedM20M22fields"
],
"sources_reused": [
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\Lei-34-2007-BR52.pdf",
"sha256": "cdbef875ad7ccc1517b12faf5de0e893a70ed2ed81e33913cd6dc4a674474e6e",
"articles": "CIRPC63/67",
"PDF_pages": [
18,
19
],
"official_source_acceptance_preserved": true
},
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\Decreto-9-2008-BR16.pdf",
"sha256": "96fccdecbfdc11c9eafb90fbc6c7bc259f88bbd4c7507d1ac3af1fa03f960697",
"articles": "RIRPC21/27",
"PDF_pages": [
6,
7
],
"official_source_acceptance_preserved": true
},
{
"file": "C:\\laragon\\www\\portal-investidor-irpc-l7-common-qa-20261026\\docs\\investmoz\\simulations\\source-archive\\BR-248-I-Suplemento-1-2025.pdf",
"sha256": "ccf2a8deeca820f2dd076b4b2141b1efe3f6a806568c3a587ca59a8e92f4c251",
"articles": "Lei12/2025 IRPC67/version2026",
"PDF_pages": [
18,
19,
20
],
"official_source_acceptance_preserved": true
}
],
"global_effort": {
"initial_L8_L14_reference_hours": [
240,
416
],
"is_current_remainingforecast": false,
"reconciliation_before_globalforecast": [
"implemented/reusable vs remainingcode perlot",
"reuseacceptedproofs;no duplicate sharedcomponentestimate",
"documentarywait separately",
"L1-L7residuals,integration/delivery,L15-L16 included"
]
},
"L7_partial": true,
"L8_final_still_not_implemented": true
}
@@ -0,0 +1,169 @@
{
"date": "2026-10-27",
"status": "prospecting_handoff_ready_and_Gurue_private_hypothesis_in_QA_not_installed",
"branch": "codex/proactive-handoff-gurue-qa-20261027",
"baseline": "a78abf06d0ca075b18156ae3fd99649b69202481",
"technical_candidate_unchanged": "1afab4a2a71f182f260e4d2555d79242261a4d2a",
"runtime_unchanged": "3439f35038f15c93224e6cf876bf559135824d13",
"songo": {
"case_id": "CB-METROLOGIA-20261027",
"record_id": 401,
"source_version": 3,
"context_revision": 3,
"unchanged": true,
"state": "private_pending_external_commercial_responses",
"external_messages_sent": 0,
"commercial_responses_received": 0,
"partner_quotes_received": 0,
"resume_when": "Inventories/programmes/interest and partner quotations for comparable scope received;identify independent buying centres before aggregating demand"
},
"prospecting_form": {
"path": "docs/investmoz/unification/prospeccao-apoio-metrologico-20261027.pdf",
"pages": 2,
"interactive_fields": 42,
"canonical_fields_and_widgets_agree": true,
"unique_names": true,
"all_fields_in_page": true,
"saved_values_recovered": true,
"appearance_streams_present": true,
"real_form_not_prefilled_with_test_values": true,
"delivered_format": "fillable_PDF",
"docx_not_delivered": true,
"sha256": "abed1dc12a8f635bf4c3aa39ba5823114d2155aaca9b675a8ca1b9fb6248e989",
"visual_review": "Both final pages inspected;sample retained values checked separately"
},
"gurue": {
"case_id": "GUR-CHA-20261027",
"record_id": 402,
"dossier_id": "883c8ec3-59a3-4074-b91c-b7d4a5d88ff0",
"source_version": 1,
"context_revision": 1,
"evidence_count": 5,
"need_state": "hypothesis",
"private_draft_not_published": true,
"created_saved_recovered_through_existing_services": true,
"preview_and_confirmation": true,
"deliberate_title_preserved": true,
"existing_geo_and_sector_reused": true,
"no_new_grants_or_business_promoter": true,
"QA_operator_1021_only": true,
"Songo_record_401_version_3_unchanged": true,
"Songo_context_revision_3_unchanged": true,
"no_application_code_or_fiscal_changes": true,
"accepted_proofs_reused": true,
"no_contact_or_server_operations": true,
"QA_database": "proactive_investment_20261027_test",
"row_preservation": {
"opportunities": {
"old_rows_unchanged": 53,
"new_rows": 1
},
"desk_cases": {
"old_rows_unchanged": 18,
"new_rows": 1
},
"projects": {
"old_rows_unchanged": 19,
"new_rows": 0
},
"geo_locations": {
"old_rows_unchanged": 1921,
"new_rows": 0
},
"sectors": {
"old_rows_unchanged": 12,
"new_rows": 0
},
"documents": {
"old_rows_unchanged": 63,
"new_rows": 0
},
"value_chains": {
"old_rows_unchanged": 0,
"new_rows": 0
},
"audit_events": {
"old_rows_unchanged": 394,
"new_rows": 5
},
"organizations": {
"old_rows_unchanged": 3,
"new_rows": 0
},
"users": {
"old_rows_unchanged": 40,
"new_rows": 0
},
"investor_journeys": {
"old_rows_unchanged": 15,
"new_rows": 1
},
"journey_steps": {
"old_rows_unchanged": 285,
"new_rows": 19
}
}
},
"report": {
"record_id": 402,
"evidence_rows": 5,
"source_version": 1,
"context_revision": 1,
"source_recovered_without_loss": true,
"hypothesis_and_historic_period_visible": true,
"commercial_inputs_unknown": true,
"existing_report_helper": true,
"accepted_suites_not_repeated": true
},
"source_register": [
{
"file": "ine-gurue-2020-2024.pdf",
"url": "https://ine.gov.mz/documents/20119/337384/2_Gurue-%20Final_Junho2025.pdf/602d05a3-be99-47a4-be68-5277c4ca4a2f?download=true&t=1751024727586&version=1.0",
"bytes": 3038756,
"sha256": "9f0d3b868cfd3401f8d4f2fcceae0e5be164ba6dab927d1210e247b1711093d4",
"accessed": "2026-10-27",
"use": "Private read-only source copy;not imported or published"
},
{
"file": "magoma-primary.html",
"url": "https://www.asianteagroup.com/foot-gurue.html",
"bytes": 5590,
"sha256": "5881a5ec9a4b223932508fd48896c8a467a01387fdc7923eda4c4cb192adad9d",
"accessed": "2026-10-27",
"use": "Private read-only source copy;not imported or published"
},
{
"file": "igc-enterprise-map-2014.pdf",
"url": "https://www.theigc.org/wp-content/uploads/2014/06/An-Enterprise-Map-of-Mozambique-English.pdf",
"bytes": 1746681,
"sha256": "2d02a47c9e806490ba8d0cc016ef23d34bf8818f1b1c2dde5a0806818fa35c67",
"accessed": "2026-10-27",
"use": "Private read-only source copy;not imported or published"
}
],
"provided_private_workbook": {
"sha256": "1b5087b464e39e88c42def39655c2391aaaf684b4c832d6a77ff274b98889f00",
"historical_reference_dates": [
"2021-09-30",
"2023-11-09",
"2022-03-17"
],
"no_personal_data_or_contacts_exported": true,
"not_imported_or_published": true
},
"pilot_limits": [
"Activity documented;current unmet need and commercial interest unconfirmed",
"2014 source is historical;no current volumes/prices/capacity inferred",
"No assumed external green-leaf buyer,new factory,land access or certification",
"Beneficiaries are not automatically buyers or payers"
],
"preserved": {
"L8": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"SGF_TEMPO": "untouched",
"accepted_proofs": "reused_without_repeating_suites",
"main_last_read": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5"
},
"installation": "No remote or deployment operation;capacity remains a precondition to next installation",
"private_outputs": "outputs/proactive-handoff-gurue-20261027/",
"new_application_code": false
}
@@ -0,0 +1,161 @@
{
"status": "private_opportunity_hypothesis_updated_dossier_v2_technical_delivery_independent",
"date": "2026-10-27",
"user_direction": "A ideia não é gerir concursos mas sim as oportunidades que geram.",
"case_id": "CB-METROLOGIA-20261027",
"baseline": "4f9450a71dcc03f17abe953c956956249798d4c0",
"technical_candidate_preserved": "1afab4a2a71f182f260e4d2555d79242261a4d2a",
"runtime_unchanged": "3439f35038f15c93224e6cf876bf559135824d13",
"branch": "codex/proactive-opportunity-model-qa-20261027",
"proof": {
"case_id": "CB-METROLOGIA-20261027",
"record_id": 401,
"dossier_id": "894343c7-c33d-452e-a6a5-b6675f77ee23",
"previous_source_version": 1,
"new_source_version": 2,
"before_context_revision": 1,
"after_context_revision": 2,
"direction": "Investment opportunity generated by demand;not tender management",
"need_state": "hypothesis",
"evidence_count": 7,
"private_draft_not_published": true,
"dossier_source_refreshed_through_preview_and_confirmation": true,
"deliberate_dossier_fields_unchanged": true,
"previous_audit_rows_unchanged": true,
"no_new_entities_or_grants": true,
"no_new_application_code": true,
"accepted_technical_proofs_reused": true,
"no_contact_or_server_operations": true,
"QA_database": "proactive_investment_20261027_test",
"row_preservation": {
"opportunities": {
"old_rows_unchanged": 52,
"updated_case_rows_only": [
"401"
],
"new_rows": 0
},
"desk_cases": {
"old_rows_unchanged": 17,
"updated_case_rows_only": [
"894343c7-c33d-452e-a6a5-b6675f77ee23"
],
"new_rows": 0
},
"projects": {
"old_rows_unchanged": 19,
"updated_case_rows_only": [],
"new_rows": 0
},
"geo_locations": {
"old_rows_unchanged": 1921,
"updated_case_rows_only": [],
"new_rows": 0
},
"sectors": {
"old_rows_unchanged": 12,
"updated_case_rows_only": [],
"new_rows": 0
},
"documents": {
"old_rows_unchanged": 63,
"updated_case_rows_only": [],
"new_rows": 0
},
"value_chains": {
"old_rows_unchanged": 0,
"updated_case_rows_only": [],
"new_rows": 0
},
"audit_events": {
"old_rows_unchanged": 388,
"updated_case_rows_only": [],
"new_rows": 3
}
}
},
"focus": "Recurring complementary service generated by documented demand;customer problem,value,partners and resources",
"new_sources": [
{
"title": "Anúncio HCB17/08/2026,051/2026",
"url": "https://www.diarioeconomico.co.mz/wp-content/uploads/2026/08/concurso-hcb-tender-document-docu-mo-ambique-2026-1.pdf",
"sha256": "bb4c33064e5d49504d8a85ac88ad1b847cfa6c69e1016e3ab588ff785b205c1f",
"pages": 2,
"visually_read": [
1,
2
],
"role": "Demand evidence and scope;not a new tender workflow"
},
{
"title": "IPAC M0100 INNOQ–LM",
"url": "https://www.ipac.pt/pesquisa/ficha_lac.asp?ID=M0100",
"consulted": "2026-10-27",
"technical_annex": "2026-02-17",
"binary_snapshot": null,
"binary_download_error": "Connection reset;web reading available",
"role": "Potential national laboratory capability by scope;no partnership or full HCB eligibility granted"
}
],
"commercial_questions": [
"Que problema operacional recorrente existe no ciclo dos instrumentos e como é resolvido actualmente?",
"Quais as famílias/modelos/gamas,quantidades,pontos e periodicidades?Que critérios de aceitação e prazo de devolução?",
"O ciclo actual já está coberto?Que necessidade futura permanece e quando?",
"Aceitaria serviço local associado?Que parte pode ser prestada fora do laboratório e com que responsabilidades?",
"Qual o custo e tempo totais da solução actual e que melhoria justificaria pagar por apoio local?"
],
"partner_questions": [
"Que instrumentos,gamas,pontos,incertezas,locais e prazos consegue cobrir hoje?",
"Qual o âmbito acreditado/competência aplicável e que serviços ficam fora dele?",
"Tem equipa,meios,disponibilidade e interesse em associação para apoio no Songo?",
"Quais as responsabilidades,preços,transporte/embalagem/seguro e condições de custódia e rastreabilidade?"
],
"decision_paths": [
{
"condition": "Customer confirms recurring need,actual problem and willingness to consider service",
"action": "Match partners and equivalent quotes;quantify business model before qualifying opportunity"
},
{
"condition": "Past purchase satisfied current cycle;documented future need remains",
"action": "Prepare future service horizon with actual timing,volume and conditions;do not reopen past tender"
},
{
"condition": "Customer confirms current need fulfilled and no future/recurring need for proposed service",
"action": "Archive hypothesis with dated buyer evidence and retain dossier history;do not treat missing information as no demand"
},
{
"condition": "Data insufficient",
"action": "Keep private hypothesis;affects only this business case,not technical delivery"
}
],
"economic_comparison": {
"basis": "Same instruments,quantity,frequency,quality,place and period;current solution vs proposed associated service",
"current_solution_total": null,
"proposed_service_total": null,
"quantity": null,
"period": null,
"net_advantage": null,
"missing_is_not_zero": true,
"inputs": [
"Laboratory service quotes",
"Total transport/packing/insurance and return",
"Local support cost",
"Nonduplicated incremental fixed costs for same period",
"Instrument turnaround days and substantiated operational impact"
],
"decision": "No positive advantage assumed;compare cost and time separately until both are measured. No generic wage,distance,tax or downtime assumptions."
},
"public_search_scope_limit": "No identifiable award/execution or2027commitment located in consulted public sources;absence of result is not proof of no contract. Supplier portal timed out via web and local TLS issuer verification failed;not bypassed. No further repeated search planned without new document or buyer input.",
"not_a_tender_management_increment": true,
"technical_release_independent_of_commercial_case": true,
"no_installation_publication_or_external_messages": true,
"L8_preserved": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"SGF_untouched": true,
"evidence_directory": "outputs/proactive-commercial-followup-20261027",
"matrix_ids": [
"RF-CLU-003",
"MASTER-471012ab-0010",
"MASTER-9dee08d0-0067",
"MASTER-471012ab-0067"
]
}
@@ -0,0 +1,243 @@
{
"status": "private_regional_opportunity_hypothesis_v3_sustainability_not_demonstrated",
"date": "2026-10-27",
"baseline": "52f54655d2827e97da2f15d14033e9a2713dddf1",
"branch": "codex/proactive-regional-clients-qa-20261027",
"runtime_unchanged": "3439f35038f15c93224e6cf876bf559135824d13",
"case_id": "CB-METROLOGIA-20261027",
"proof": {
"case_id": "CB-METROLOGIA-20261027",
"record_id": 401,
"dossier_id": "894343c7-c33d-452e-a6a5-b6675f77ee23",
"previous_source_version": 2,
"new_source_version": 3,
"before_context_revision": 2,
"after_context_revision": 3,
"direction": "Regional complementary investment opportunity;three additional prospects,commercial data missing",
"need_state": "hypothesis",
"evidence_count": 11,
"private_draft_not_published": true,
"dossier_source_refreshed_through_preview_and_confirmation": true,
"deliberate_dossier_fields_unchanged": true,
"previous_audit_rows_unchanged": true,
"no_new_entities_or_grants": true,
"no_new_application_code": true,
"accepted_technical_proofs_reused": true,
"no_contact_or_server_operations": true,
"QA_database": "proactive_investment_20261027_test",
"row_preservation": {
"opportunities": {
"old_rows_unchanged": 52,
"updated_case_rows_only": [
"401"
],
"new_rows": 0
},
"desk_cases": {
"old_rows_unchanged": 17,
"updated_case_rows_only": [
"894343c7-c33d-452e-a6a5-b6675f77ee23"
],
"new_rows": 0
},
"projects": {
"old_rows_unchanged": 19,
"updated_case_rows_only": [],
"new_rows": 0
},
"geo_locations": {
"old_rows_unchanged": 1921,
"updated_case_rows_only": [],
"new_rows": 0
},
"sectors": {
"old_rows_unchanged": 12,
"updated_case_rows_only": [],
"new_rows": 0
},
"documents": {
"old_rows_unchanged": 63,
"updated_case_rows_only": [],
"new_rows": 0
},
"value_chains": {
"old_rows_unchanged": 0,
"updated_case_rows_only": [],
"new_rows": 0
},
"audit_events": {
"old_rows_unchanged": 391,
"updated_case_rows_only": [],
"new_rows": 3
}
}
},
"commercial_data_statement": {
"source": "User reply",
"date": "2026-10-27",
"text": "Ainda não há dados comerciais"
},
"assessment": "Compatibilidade técnica regional justifica prospecção adicional;procura recorrente,custos,capacidade disponível e sustentabilidade ainda não demonstrados.",
"prospects": [
{
"entity": "HCB",
"area": "Songo/Cahora Bassa",
"known": "Necessidade metrológica documentada em2026",
"status": "Cliente potencial inicial;procura actual/recorrente por confirmar",
"quantity": null,
"frequency": null,
"price": null,
"confirmed_order": null,
"source": "Fundamento anterior preservado"
},
{
"entity": "Vulcan Mozambique",
"area": "Moatize",
"known": "Mina,processamento e equipamentos de produção descritos pela própria empresa",
"hypothesis": "Instrumentação de processo/manutenção pode beneficiar de apoio metrológico",
"status": "Prospecto,não cliente confirmado",
"quantity": null,
"frequency": null,
"price": null,
"confirmed_order": null,
"related_entity": "Nacala Logistics",
"independent_purchase_confirmed": null,
"source": "https://www.vulcaninternational.com/products-services/"
},
{
"entity": "EDM",
"area": "Tete/Moatize;unidade compradora por identificar",
"known": "Plano2025,p68:calibração/teste a nível empresarial;activos deTete/Moatize referenciados",
"hypothesis": "Verificar inventário regional e interesse em apoio associado",
"status": "Prospecto;sem volume regional atribuído",
"quantity": null,
"frequency": null,
"price": null,
"confirmed_order": null,
"source": "https://cdn.edm.co.mz/website/imprensa/Plano_Actividades_Orcamento_2025.pdf"
},
{
"entity": "Nacala Logistics",
"legal_buyer": null,
"area": "Segmento Moatize",
"known": "Operação ferroviária/manutenção;concessionárias indicam Vulcan como accionista",
"hypothesis": "Verificar instrumentos de manutenção,localização e decisão de compra",
"status": "Prospecto ligado àVulcan;diversificação independente não demonstrada",
"quantity": null,
"frequency": null,
"price": null,
"confirmed_order": null,
"related_entity": "Vulcan Mozambique",
"independent_purchase_confirmed": null,
"source": "https://www.nacalalogistics.com/quem-somos/"
}
],
"future_excluded_from_base": [
{
"entity": "Mphanda Nkuwa/GMNK",
"status": "Projecto em desenvolvimento",
"reason": "Necessidade e datas de operação futuras não demonstradas;sem receitas ou volume na base",
"source": "https://www.gmnk.co.mz/en/about-us/project-description/"
}
],
"buyer_data_needed": [
"Entidade e centro de decisão/compra;relação com outros prospectos",
"Inventário por família/modelo/gama/pontos/critério de aceitação",
"Quantidade por janela e periodicidade efectiva de cada instrumento;sem anualizar por defeito",
"Solução actual,prestador,prazo fora de serviço,custo total e necessidade ainda não satisfeita",
"Interesse e condições de compra para lote/missão ou avença;horizonte de procura"
],
"partner_capacity_needed": [
"Âmbito técnico e local permitido de execução por instrumento,com rastreabilidade",
"Capacidade efectivamente disponível e prazo para cada janela;equipa e meios",
"Preços por âmbito/lote,embalagem,transporte/seguro,custódia e responsabilidades",
"Comprovar capacidade actual dos prestadores locais históricos;licença/CAE não é acreditação de calibração"
],
"frequency": {
"confirmed_programs": null,
"confirmed_annual_events": null,
"rule": "Usar inventário e programa do proprietário;frequência por família/risco/uso e condições do serviço,não prazo do anúncio nem regra anual presumida."
},
"economics": {
"analysis_unit": "Missão/lote comparável,com famílias e quantidades explícitas;período de análise comum",
"mission_contribution": "Receita acordada da missão menos serviço laboratorial,apoio directo,transporte de ida/retorno,embalagem/seguro e outros custos incrementais da mesma missão.",
"period_operating_balance": "Soma das contribuições de missões confirmadas menos custos fixos incrementais do mesmo período.",
"double_count_prevention": "Transporte partilhado contado uma vez por missão;custos fixos não entram também na contribuição se subtraídos no período. Não somar volumes nacionais à carteira regional ou activos comuns duas vezes.",
"sustainability_condition": "Cobertura operacional não basta:avaliar investimento,reposição,fundo de maneio e prazos de recebimento;testar concentração e perda de cliente antes de declarar serviço sustentável.",
"numeric_inputs": {
"missions": null,
"instruments": null,
"period": null,
"prices": null,
"laboratory_cost": null,
"local_support_cost": null,
"route_cost": null,
"fixed_cost": null,
"investment": null,
"working_capital": null,
"net_advantage": null,
"break_even": null
},
"missing_is_not_zero": true,
"scenarios_to_compare": [
"Atendimento individual no Songo",
"Missões agrupadas Songo–Tete/Moatize,apenas com janelas compatíveis",
"Organização de apoio em Tete/Moatize com deslocação ao Songo;sem mudança canónica presumida"
],
"not_used_as_price": "Orçamento2025daEDM,capacidade de produção da mina,tarifas ferroviárias ou preços fictícios."
},
"source_register": [
{
"file": "vulcan.html",
"url": "https://www.vulcaninternational.com/products-services/",
"sha256": "44c92a7a405e7b84f51a6602a487ee4cbcb5e9d3ed42d6c9b2a47f55ba01800e",
"bytes": 64512,
"accessed": "2026-10-27",
"use": "Private source copy;no automatic portal import/publication"
},
{
"file": "nacala-company.html",
"url": "https://www.nacalalogistics.com/quem-somos/",
"sha256": "4c8c2f98a94f013ab463937c1ac343e26af2ea5fe82226764168b766dfea2c55",
"bytes": 246823,
"accessed": "2026-10-27",
"use": "Private source copy;no automatic portal import/publication"
},
{
"file": "nacala-operations.html",
"url": "https://www.nacalalogistics.com/faq/",
"sha256": "21f70dbbb8a9ea99f0ca3af728aa3b6a888e361994d78dae5292813437acdd9f",
"bytes": 214596,
"accessed": "2026-10-27",
"use": "Private source copy;no automatic portal import/publication"
},
{
"file": "edm-plan-2025.pdf",
"url": "https://cdn.edm.co.mz/website/imprensa/Plano_Actividades_Orcamento_2025.pdf",
"sha256": "8e25e3070062e6cad4a39449cb6d494263671506ff7bc71ce100787ae1bd80f1",
"bytes": 25468134,
"accessed": "2026-10-27",
"use": "Private source copy;no automatic portal import/publication"
},
{
"file": "gmnk-project.html",
"url": "https://www.gmnk.co.mz/en/about-us/project-description/",
"sha256": "705afaaba50074812aaf0884cd8757cfaba1e32dd83f90726d8755869b72d5f8",
"bytes": 188060,
"accessed": "2026-10-27",
"use": "Private source copy;no automatic portal import/publication"
}
],
"technical_delivery_independent": true,
"no_publication_installation_or_external_messages": true,
"accepted_proofs_reused": true,
"L8_preserved": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"SGF_untouched": true,
"evidence_directory": "outputs/proactive-regional-clients-20261027",
"matrix_ids": [
"RF-CLU-003",
"MASTER-471012ab-0010",
"MASTER-9dee08d0-0067",
"MASTER-471012ab-0067"
]
}
@@ -0,0 +1,115 @@
{
"date": "2026-10-27",
"status": "team_UI_delta_demonstrated_consolidated_candidate_not_installed",
"branch": "codex/proactive-team-autonomy-qa-20261027",
"runtime_commit": "51d536b7ba0d525323200418155459620ec07e41",
"previous_candidate": "403c444a3e14e0ed83276ca318ad95083195708f",
"accepted_technical_candidate": "1afab4a2a71f182f260e4d2555d79242261a4d2a",
"main_checked": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"main_ancestor": true,
"delta": "InvestmentComplements:authorised private preparation returns no public offers;public complements and access checks preserved",
"new_tests": {
"count": 2,
"assertions": 18,
"result": "passed",
"scope": "private complement lookup,mixed public/private sources,unauthorised access",
"transaction_rollback": true
},
"proof": {
"record_id": 403,
"dossier_id": "5bc28554-a2d1-4e60-9181-93ba0ecede59",
"source_version": 4,
"previous_context_revision": 1,
"context_revision": 2,
"same_dossier_continued": true,
"private_source": true,
"need_state": "hypothesis",
"document_id": "19abe9ce-4c3f-4d53-b960-7ce0fc00435e",
"resource_id": "d2c76068-3856-420c-8d2d-272684e92b70",
"response_sha256": "b6cb6a7b7230a75bf5f4d56a7a2c1ac0dec7bb0fae0b85381eda56e53f0977c5",
"scan": "clean",
"scan_engine": "ClamAV",
"download_matches_original": true,
"response_reference_recovered_in_analysis_and_dossier": true,
"deliberate_title_preserved": true,
"old_source_snapshot_preserved": true,
"new_UI_workflow": "normal login/MFA;create private draft;upload/recover original;associate response;revise idea;private dossier preview/confirm;edit again;continue same dossier;preview/confirm/reload",
"no_service_or_SQL_writes_for_demonstration": true,
"read_only_verification": true,
"no_actual_team_training_session_claimed": true,
"row_preservation": {
"opportunities": {
"old_rows_unchanged": 54,
"new_rows": 1
},
"desk_cases": {
"old_rows_unchanged": 19,
"new_rows": 1
},
"documents": {
"old_rows_unchanged": 63,
"new_rows": 1
},
"opportunity_documents": {
"old_rows_unchanged": 0,
"new_rows": 1
},
"projects": {
"old_rows_unchanged": 19,
"new_rows": 0
},
"geo_locations": {
"old_rows_unchanged": 1921,
"new_rows": 0
},
"sectors": {
"old_rows_unchanged": 12,
"new_rows": 0
},
"value_chains": {
"old_rows_unchanged": 0,
"new_rows": 0
},
"organizations": {
"old_rows_unchanged": 3,
"new_rows": 0
},
"audit_events": {
"old_rows_unchanged": 399,
"new_rows": 10
}
},
"Songo401_and_Gurue402_unchanged": true,
"new_masters_or_grants": false,
"publication_or_contact_external": false,
"accepted_unaffected_suites_reused": true
},
"accepted_proofs_reused": [
"14 API/139 assertions",
"7 frontend report tests",
"normal login/MFA and create/edit/history",
"explicit publication/anonymous access controls",
"Wayfinder --with-form",
"TypeScript",
"isolated QA frontend build"
],
"frontend_changed": false,
"schema_or_configuration_changed": false,
"no_new_roles_or_grants": true,
"pilots_not_published_or_modified": [
401,
402
],
"commercial_outreach": false,
"human_team_training_claimed": false,
"L8_preserved": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"server_operations": false,
"installation_conditions": [
"fresh capacity/inodes measurement against build and backup requirements",
"recheck current main",
"fresh backup/restore",
"keep active release until new ready",
"verify served revision and installed delta only"
],
"private_outputs": "outputs/proactive-team-autonomy-20261027/"
}
@@ -0,0 +1,79 @@
{
"date": "2026-10-27",
"status": "authorised_prepared_not_installed_SSH_session_unavailable",
"authorization": "User explicitly authorised both deliveries,first L8 then proactive,no new authorisation required",
"stage1": {
"candidate": "c85e772d2fd2be5182eb4d768ddd34d43962bf59",
"includes": "14360748194f3658d91a7d7ae5615efd0fcbfbb7",
"runtime": "11a6cee981f0a425b0fceefb6ed85485bb298245",
"capacity_notes_reconciled": "c85e772d changes documentation only;historical suspension superseded by current explicit authorisation;capacity must be freshly measured",
"runtime_delta_files": [
"resources/js/components/simulation-form.tsx",
"resources/js/components/simulation-irpc-annual.tsx",
"resources/js/lib/irpc-annual-settlement.ts",
"resources/js/lib/project-dossier-report.ts",
"resources/js/lib/project-dossier.ts"
]
},
"stage2": {
"runtime_merge_commit": "74f7f93a750cfb88f9816512ee7add6473a3e34f",
"branch": "codex/sequential-delivery-20261027",
"includes_proactive_candidate": "0ff402a11dbf8d41c499dccd39184fdc20c833f4",
"L8_is_ancestor": true,
"shared_report_conflict": "Both imports and both row providers retained",
"L8_other_runtime_files_byte_identical": [
"resources/js/components/simulation-form.tsx",
"resources/js/components/simulation-irpc-annual.tsx",
"resources/js/lib/irpc-annual-settlement.ts",
"resources/js/lib/project-dossier-report.ts"
],
"proactive_other_runtime_files_byte_identical": true
},
"local_verification": {
"TypeScript": "passed",
"isolated_build": "passed",
"shared_report_delta": {
"scope": "Only shared dossier report merge integration;accepted business-rule suites reused",
"annual_rows": 6,
"proactive_rows": 10,
"annual_report_preserved": true,
"private_idea_report_preserved": true,
"inputs_unchanged": true,
"no_cross_inference": true,
"no_QA_data_written_or_published": true
},
"accepted_suites": "reused,not repeated",
"no_database_or_fixture_operations": true
},
"server": {
"SSH_bridge_state": "closed",
"key_authentication": "denied with registered host key verified",
"fresh_capacity": "not measured in this passage",
"fresh_backup": false,
"fresh_restore": false,
"installation": false,
"public_served_revision_read": {
"checked_at_UTC": "2026-10-27T10:14:16.489135+00:00",
"http_status": 200,
"revision": {
"commit": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"branch": "main",
"built_at": "2026-10-26T14:26:51.629481+00:00",
"manifest_sha256": "367be71b25b56a83571d610e211ea11beae2af87989d62ef6cc7b9c54eabf580"
},
"method": "Public revision read only;no SSH,backup or installation executed"
}
},
"main_at_preparation": "f8d57bddf96b4610604a013fcc5bdd703c7dc6d5",
"main_push_executed": false,
"required_execution_controls": [
"Use existing authenticated local SSH session;do not request authorisation again",
"Fresh capacity/inodes,backup and restore per existing procedure;keep active release until candidate ready",
"Refresh preparation candidate/base/hashes per stage;do not reuse old dated receipts",
"Stage1 only,L8;verify actual served revision and onlyL8 delta",
"Only after stage1 confirmed,stage2;fresh guards and verify proactive delta and L8 preservation",
"Exclude QA fixtures/outputs/test data from deployment inputs;no seed/import;preserve private pilots",
"Return actual installed/served hashes and fresh receipt paths;do not label this local preparation as installation"
],
"actual_remote_changes": 0
}
@@ -2523,8 +2523,8 @@ As estimativas são **horas de trabalho técnico**, não calendário nem mediç
| L4 — ISPC: elegibilidade e apuramento | Campos de enquadramento e motor genérico | Regime/actividade/volume elegível, opções/exclusões, escalões/taxas aplicáveis, mínimo, trimestre e retenções específicas; comparação só entre regimes admissíveis | Vendas por actividade, custos, NUIT, natureza jurídica e residência confirmada | Lei9/2025 e regulamentação/período; distinguir receita anual, trimestre e excesso | 40–64 h |
| L5 — retenções IRPC e guias | Documentos de compras/vendas e guia M/39 como exemplar | Rendimento pago/recebido, entidade que retém, residente/não residente/EP, evento temporal, excepções e casos digitais/e-money; guia e comprovativo ligados à operação | Contrapartes, facturas, pagamentos, período, moeda, oportunidade | Artigos aplicáveis por rendimento, taxa/convenção se invocada; corrigir remissões do exemplar. Sem submissão electrónica AT presumida | 32–56 h |
| L6 — IRPC anual: regime normal | Disponível5aaf1a56:percurso normal demonstrado atécolecta,períodos/moedas e preparação parcialM20/M22 | Operacional no âmbito demonstrado por decisãoTempo26/10;limitações explícitas;5grupos código+5documentais preservados;sem conclusão integral | Plano financeiro,dados comuns,activos/livros e histórico;retenções/pagamentos/créditos anuaisL8 | Pendências bloqueiam só os casos dependentes;L7/L8 próprios | Estimativa inicial48–80h;saldo não reestimado |
| L7 — IRPC: tratamentos específicos | 632dc069 instalado;cumulações14 prontas emQA,sem instalação | CIRPC12+CBF16 qualificados e61(4) separado;incompatibilidadeCBF4/13 e lacunas explícitas;L7parcial | Activos/períodos/saldos/benefícios reutilizados;diferença25 uma vez e15 já nos75;taxa16% só sobre base elegível | Outras combinações/excepções e restantes tratamentos dependem de regra/parcela/ordem/limites;L8 conserva saldo final | Estimativa inicial48–80h;saldo integral não reestimado |
| L8 — IRPC: liquidação e pagamentos | Parcelas L5–L7 e formulários originais | PPC/PEC, deduções/créditos, dupla tributação quando aplicável, saldo anual a pagar/recuperar; calendário e reconciliação com pagamentos | Retenções, colecta, saldos anteriores, pagamentos/comprovativos | Base anterior para PPC/PEC, regras de limitação/transporte; não usar cinco anos ou compensação automática sem cotejo específico | 32–56 h |
| L7 — IRPC: tratamentos específicos | f8d57bdd instalado;632dc069 e a7434cd2 preservados no percurso | Cumulações demonstradas disponíveis;7famílias de saldo e documentos por caso discriminados;L7parcial | Activos/períodos/saldos/benefícios reutilizados;ordem,limites e incompatibilidades explícitos | Outras combinações/específicos/mistos/transporte próprios;L8delimitado separadamente | Inicial48–80h;saldo não reestimado |
| L8 — IRPC: liquidação e pagamentos | Primeiro incremento delimitado,não implementado:colecta válida→retenções recebidas por conta/PPC comprovados→saldo simulado | Residente geral,ano2026/MZN;ausências documentadas dePEC/créditos/autónomos fora do recorte;gravação/recuperação/relatório a demonstrar | Reutiliza colectaL6/L7,L5received/effective/on_account ecomprovativos do próprio sujeito/período | Não abater retenções por conta de terceiros;PEC/créditos/limites próprios;regra de mínimo/versionamento a aplicar;camposM20M22 só bloqueiam transporte afectado | Inicial32–56h;não é previsão actual do recorte |
| L9 — INSS: contribuição social | Massa salarial agregada e referência TCO3%+4% | Trabalhadores, remuneração/base contributiva, exclusões, empregador/trabalhador, TCO/TCP, declaração e encargos por período | Equipa/custos, entidade e calendário; cadastro de pessoa partilhado com L10 | Regulamento e alterações aplicáveis, natureza do vínculo; confirmar base antes da taxa. Contribuição social, distinta dos impostos | 24–40 h |
| L10 — IRPS: retenção mensal e líquido | Entrada IRPS, custos salariais e escalões anuais documentais | Tabela mensal própria, remunerações/benefícios, situação pessoal relevante, retenção, salário líquido e contribuição ligada a L9 | Mesmo trabalhador/folha salarial, pagamentos e retenções | Tabela mensal do período, residência e condições familiares necessárias; não dividir escalões anuais por12 | 40–64 h |
| L11 — IRPS: apuramento anual e outras categorias | Escalões anuais e exemplares M/19/M/20/anexos | Categorias aplicáveis aos rendimentos documentados, actividade independente, capitais/prediais/mais-valias, englobamento/tratamento autónomo, deduções, retenções e saldo | Dados pessoais autorizados, rendimentos/despesas, activos e L10 | Código IRPS/Lei11/2025, âmbito/categoria/período e deduções pessoais; diferenças de edição dos anexos. Não copiar regras IRPC | 48–80 h |
@@ -6573,6 +6573,110 @@ Entrega agrupada preparada com os sete casos novos compatíveis;incompatibilidad
Conferência de compatibilidade:main `a7434cd2` incorporado na candidata,com apresentação/catálogo e linhas não fiscais da matriz preservados. Recuperada a adenda históricaQA13 que tinha desaparecido do manual no main;isto é perda documental,não perda do cálculo13. Só tipos/build de integração foram conferidos novamente;provas fiscais aceites conservadas. A revisão servida não foi consultada nesta passagemQA.
## 26/10/2026 — Cumulações L7 entregues pelo Git
**Instalado `f8d57bddf96b4610604a013fcc5bdd703c7dc6d5`.** A anteriora7434cd2,que já incluía632dc069,fica preservada. Main/candidata compatíveis;apresentação ecatálogo sectorial entregues entretanto mantidos. A notaQA anterior é histórica:não há pendência de instalação deste incremento.
Medição inicial:5.06GiB,com inodes suficientes,mas sem margem para o backup fresco mais o mínimo5GiB do instalador. Recuperados0.21GiB somente da cache versionada de compilaçãoNode em`/tmp/node-compile-cache`,sem gestores de pacotes ou ficheiros abertos. Fontes,node_modules,releases,backups,logs,originais eSGF mantidos;permissões/proprietário da pasta preservados. Nova capacidade:5.26GiB e21374782inodes. Backup fresco`2026-10-26T14:20:47Z`:174tabelas/369ficheiros econfiguração;restauro isolado sem rede/55441 com174checksums iguais. Após o backup restavam5.10GiB,acima do mínimo5GiB de compilação;a guarda de um segundo backup não é requisito para repetir o backup acabado de executar. Nenhum limiar foi reduzido.
Só depois destas guardas,integraçãoGit sem forçar histórico;release anterior activa até a nova estar pronta. Compilação,tipos econtrolos automáticos do procedimento passaram:1054testesfrontend,API59testes/317asserções,preservação1teste/3106asserções. Reutilizadas as provasQA12testes/API133/UI/relatórios,não repetidas por iniciativa desta entrega. Conferidos4ficheiros fiscais do delta,68protegidos,31originais,369persistentes/configuração e174tabelas;172tabelas de negócio mantidas,cache/sessões reconciliadas com eventos operacionais/acessos públicos. Schema,roles/grants epermissões iguais;sem migrações/importações/escrita privada sintética. Revisão/manifest servidos,15marcadores,4assets eHTTP200 do simulador conferidos.
O recorte mantém a diferençaCBF16 de25MZN aplicada uma vez,com15recuperados já incluídos nos75deduzidos;depois aplica16% à base cooperativa integralmente elegível. No caso combinado,colecta496,80MZN;com despesa autónoma qualificada,512,80+35=547,80MZN. Valores são colecta simulada,não saldo finalL8. IncompatibilidadeCBF4/13,excepções sem correspondência e informação em falta permanecem explícitas;nenhum benefício é escolhido ouapagado automaticamente.
Após a instalação ficaram4.14GiB livres. Antes de outra compilação,voltar a resolver capacidade contra o mínimo existente e o backup dessa execução;esta entrega foi concluída e não autoriza apagar releases,backups ou provas. SaldoL7 e primeiro incrementoL8 são discriminados na secção seguinte. Recibo:`docs/investmoz/simulations/irpc-l7-combinations-delivery-20261026.json`;provas:`outputs/irpc-l7-combinations-delivery-20261026/`. **L7 parcial;L8 conserva saldo final.**
## 26/10/2026 — Saldo consolidado de L7 e primeiro incremento delimitado de L8
**L7 parcial,com a entrega de cumulaçõesf8d57bdd registada acima.** Deixam de estar pendentes de instalação a combinaçãoCIRPC12+CBF16 no recorte qualificado,a separação do imposto autónomo61(4) e os estados de incompatibilidade/falta/excepção não correspondida demonstrados. Isso não implementa todas as cumulações nem os tratamentos abaixo. Fontes oficiais e provas aceites permanecem válidas;documento em falta limita só o caso/campo que dele dependa.
| CódigoL7 ainda por implementar | Exemplo e condição concreta de retoma |
| --- | --- |
| Outras origens/segregações de despesas autónomas | Despesa100 com apenas60 correspondidos em36g ou encargo fora do resultado:ligar origem/parcela e incidência61(4),sem segundo acréscimo. |
| Cooperativas mistas/retidas e demais entidades9–14 | Base agrária com serviços não abrangidos ou rendimentos sujeitos a retenção:segregar proveitos/custos/base e aplicar o artigo específico;não reduzir tudo a16%. |
| ExtensõesCBF16 e outras combinações | Activo anterior a2025,usado/reabilitado/reavaliado,método/período fora da cobertura,ou excepção expressa à não cumulação:ligar regra temporal/base/método e disposição,ordem e limites à parcela;reutilizar activos/quotas,sem reescrever o passado. |
| Mais-valias61-A e operações54–56/41-A | Ganho já incluído no resultado ou transferência de activo/perda:implementar apuramento e reconciliação próprios,sem dupla incidência ou compensação presumida. |
| CBF17–19 e direito potencial15 | Formação/investimento com activos e despesas elegíveis/excluídos:implementar base,limite,janela temporal e compatibilidade. Direito/origem do crédito emL7;utilização anual e saldo emL8. |
| Regimes sectoriais/territoriais e benefícios específicos | EstatutoZEE ou projecto de infra-estruturas:aplicar disposição/período efectivos e excepção quando prevista;endereço/sector não concede benefício. |
| TransporteL7M20/M22 | Efeito calculado sem campo/edição correspondente:identificar exemplar,instrução,campo e representação;conservar o cálculo exacto independente. |
**Documentos por caso,distintos de código:**natureza/parcela/período;estatuto/reconhecimento exigido ou norma de excepção;saldos anteriores e distinção de exclusão temporária/permanente;disposição/ordem/limites da combinação;exemplar/edição/campo/representação. Não pedir nova validação genérica da autenticidade de fontes aceites,nem repetir pesquisas anteriores sem informação nova. Não preencher campo,código,taxa ou saldo por presunção.
### L8 — primeiro percurso a implementar em QA:colecta→pagamentos comprovados→saldo simulado
**Delimitado,não implementado ou instalado nesta passagem.** Recorte inicial:IRPC de residente no regime geral,ano civil2026,MZN,com colecta corrente determinada e suportes que permitem reconciliar o fecho. Parte de uma execuçãoL6 válida ou deL7 válida quando os efeitos aplicáveis estejam qualificados;guarda chave/versão/NUIT/período e valores de origem. Não soma colectaL6 com colectaL7 nem a colecta ordinária com uma colecta combinada que já a inclua. Não usa uma versãoL6 para ignorar um efeitoL7 positivo ou pendente que afecte o mesmo fecho. Um caso ordinário independente não espera pela implementação de outro benefício ou por um campoM20/M22 desconhecido.
**Dados reutilizados e qualificações novas apenas onde necessárias:**
1. **Colecta:**reutilizar a execução e as condições existentes,distinguindo colecta ordinária,imposto autónomo e colecta combinada. O primeiro fecho completo limita-se aos casos com ausência documentada de tributação autónoma/mais-valias que exija liquidação própria. Se existir imposto autónomo positivo,a parcela ordinária pode ser apresentada,mas não como saldo total até corresponder a articulação;não o apagar ou compensar por pressuposto.
2. **Retenções sofridas:**reutilizarL5 apenas quando `direction=received`,natureza `on_account`,origem efectiva,documento/prova e montante sofrido reconciliados,mesmo sujeito/NUIT/período e rendimento incluído na base apropriada. Retenção entregue pela empresa por pagamento a terceiros,retenção definitiva,mera projecção,guia sem pagamento ou montante ainda não comprovado não são crédito próprio. EmL7cooperativa,a declaração de ausência de rendimentos retidos não pode coexistir silenciosamente com retenção recebida positiva;esse caso exige a segregação própria,sem bloquear o regime normal independente.
3. **Pagamentos por conta efectuados:**registar/reutilizar comprovativo,identificador,data,exercício,sujeito e montanteMZN;reconciliar parcelas e pagamentos sem dupla utilização. Neste primeiro incremento,não calcular automaticamente a obrigaçãoPPC a partir do exercício anterior,nem transformar tesouraria prevista em pagamento efectuado.
4. **Outros créditos/PEC:**reutilizar a informação existente e distinguir valor conhecido,ausência declarada e falta de informação. O primeiro percurso completo exige ausência documentada dePEC e créditos por dupla tributação/investimento/outros créditos ainda sem limite/ordem correspondidos. Presença positiva mantém a parcela/fecho dependente indeterminado;não usar zero. CBF15 potencialL7 não é automaticamente crédito anual utilizável. PEC não se transforma em montante reembolsável nem recebe transporte de3/5anos por presunção.
5. **Identidade/duplicação:**contrapartes e documentos existentes são reutilizados;qualificar beneficiário e NUIT do próprio sujeito. Deduplicar por origem/documento/comprovativo e controlar afectações parciais;um comprovativo não pode aparecer integralmente em retenções ePPC,ou em dois exercícios. Preservar valores declarados e histórico,sem consumo de saldo oficial.
**Resultado e sequência a demonstrar:**colecta válida→deduções admissíveis e respectivas ausências→retenções efectivamente sofridas por conta→PPC comprovados→saldo aritmético→aplicação das regras de cobrança/reembolso do recorte→montante simulado a pagar ou recuperar. Mostrar a decomposição e o sinal;zero só com entradas completas ou ausência documentada. Informação em falta não transforma a colecta em saldo final. Como a base nasce do plano,o resultado continua uma simulação identificada,não autoliquidação submetida,pagamento efectuado ou reembolso deferido/recebido.
**Fontes já disponíveis para o cotejo dirigido de implementação:**CIRPC63/67,natureza das retenções com as alteraçõesLei12/2025;RegulamentoDecreto9/2008 art21(2–5),ordem/limites das deduções,eart27(1–2/6),pagamentos e reembolso. O exemplar aceite prevê no27(6) um mínimo de100MZN;esse parâmetro e a fronteira devem ser ligados à versão/período aplicáveis antes de activar o consumidor,não inferidos de um rótulo de formulário. O cotejo de aplicabilidade/alterações desta regra é trabalho de implementação da fonte aceite,não pedido de certificação genérica nem reabertura dos cálculosL6/L7. Arts64–66/PEC e créditos específicos mantêm as suas regras próprias;juros/multas/calendário,geração de guias,submissão e processamento de reembolso seguem incrementos próprios.
| Critério de aceitação a executar,sem prova reivindicada agora | Exemplo sintético proposto |
| --- | --- |
| Saldo positivo com pagamentos/retencões válidos | Colecta1408−retenção sofrida300−PPC500=608MZN de saldo aritmético;qualificar valor a pagar segundo a regra aplicável. |
| Saldo negativo | Colecta1408−retenção1000−PPC600=−192MZN;identificar192 a recuperar no recorte,se a regra permitir,sem afirmar reembolso recebido. |
| Zero e fronteiras do mínimo | Colecta1408−408−1000=0;demonstrar os lados inferior/igual/superior do mínimo do parâmetro versionado,sem arredondamento novo. |
| Ausência vs informação em falta | Ausência documentada de retenções/PPC/outros créditos permite saldo com parcelas zero justificadas;suporte ou natureza por determinar mantém só o fecho dependente indeterminado. |
| Reutilização e dupla dedução | Seleccionar retenção recebida e comprovativo existentes,recusar pagamento a terceiros/retenção definitiva/duplicado e demonstrar conservação dos originais e cenários anteriores. |
| Cálculo→gravação→recuperação→relatório | Novo livro/snapshotL8 ligado à chave da colecta e às provas seleccionadas;resultado13/14 eL5 anteriores imutáveis;mudança da fonte invalida a fotografia corrente sem recalcular históricos. Relatório/exportação apresenta colecta,abatimentos,saldo e lacunas concordantes. |
Só serão demonstradas estas novas regras/efeitos,emQA isolada e com as guardas existentes. Fracções continuam exactas;representação/campos oficiais sem correspondência ficam identificados e não bloqueiam cálculo independente. Pagamentos noutra moeda,períodos especiais,PEC/créditos positivos,liquidação autónoma e demais situações ficam no saldo concreto deL8,com condição de retoma por regra,origem,limite,período e prova. A documentação deste recorte não é novo cálculo executável.
### Esforço global:referência inicial não é previsão actual
As240–416horas deL8–L14 permanecem identificadas como referência inicial de planeamento,não saldo actual nem prazo assumido. Antes de estimar o conjunto:reconciliar por lote o que já está implementado/reutilizável e o que falta em código;descontar provas aceites sem as repetir;separar espera documental;incluir resíduosL1–L7,integrações/entregas eL15–L16,SISA/encargos imobiliários. Campos de entrada,fontes inventariadas ou percentagens isoladas não provam percurso executável completo. Contar apenas o delta necessário e não somar duas vezes componentes partilhados. Esta passagem entregaL7 e delimitaL8;gere uma estimativa reconciliada futura,sem converter os intervalos iniciais numa promessa global. **L7 parcial;saldo finalL8 ainda não implementado nesta entrega.**
## 26/10/2026 — L8: primeiro saldo anual simulado demonstrado em QA
**QA concluído em `11a6cee9`; ainda sem instalação.** `f8d57bdd` permanece a entrega comunicada no portal. Este incremento reutiliza a colecta corrente de L6 ou o total ordinário L7 aplicável, sem somar ambos nem contornar um tratamento pendente. Recorte: sujeito residente no regime geral, ano civil de 2026, MZN, sem PEC/créditos positivos ou imposto autónomo que exijam liquidação própria. L6 operacional no âmbito demonstrado; L7 mantém o saldo parcial já discriminado. Não há nova pesquisa ou reabertura das provas aceites.
**Percurso executável:** «Preparar saldo anual L8» reutiliza NUIT, exercício e chave/versão da colecta sem substituir edições deliberadas. Selecciona os comprovativos L5 recebidos, efectivos, por conta e reconciliados; confirma o próprio beneficiário e a inclusão do rendimento na base do exercício. Retenções entregues pela empresa por pagamentos a terceiros, definitivas ou projectadas não são abatimentos próprios. PPC exige recibo, emitente, data, titular, exercício, moeda, montante comprovado, parcela utilizada e confirmação do pagamento efectivo; não usa previsões do plano nem calcula a obrigação PPC. A reutilização não apaga provas ou consome saldos oficiais.
Conhecido, ausência declarada com suporte e informação em falta são estados distintos. Ausência contraditória, titular/exercício divergente, prova em falta ou origem desactualizada mantêm o saldo dependente indeterminado. A identidade normalizada do emitente/comprovativo detecta repetição mesmo com data alterada; a mesma prova não pode ser retenção e PPC. Controla limites do comprovativo e da afectação L5, incluindo parcelas em outros contextos do mesmo dossier. São simulações alternativas, sem reserva central ou consumo de crédito fiscal entre dossiers independentes.
| Caso demonstrado | Resultado L8 simulado |
| --- | --- |
| Colecta 1 408 − retenção sofrida 300 − PPC 500 | **608 MZN a pagar**. |
| Colecta 1 408 − retenção sofrida 1 000 − PPC 600 | Saldo aritmético −192: **192 MZN a recuperar**, sem afirmar reembolso recebido. |
| Colecta 1 408 − retenção 408 − PPC 1 000 | Saldo zero, com parcelas completas. |
| Ausência declarada de retenções/PPC, PEC ausente e outros créditos conhecidos zero | 1 408 MZN a pagar; estados conhecidos/ausentes conservados. |
| PPC por comprovar, prova repetida ou PEC positivo ainda sem regra própria | Saldo a pagar/recuperar indeterminado; entradas e subtotais conhecidos conservados. |
| Fronteiras do mínimo: saldos ±99,99 e ±100 | Aritmética exacta; abaixo de 100 MZN sem cobrança/reembolso neste recorte; em 100 aplica pagar/recuperar. Sem arredondamento ou transporte de crédito inventado. |
| Colecta anual L7 acelerada aceite de 1 996,80, sem abatimentos declarados | Reutilizada uma vez: saldo simulado 1 996,80, sem somar a referência L6 nem recalcular o benefício. |
**Fontes e limites:** CIRPC arts. 63/67, Lei 34/2007 e natureza da retenção na redacção aplicável da Lei 12/2025; Regulamento Decreto 9/2008 arts. 21(2–5) e 27(1–2/6). O mínimo de 100 MZN do art. 27(6) está ligado ao recorte ordinário de 2026; as alterações IRPC do acervo de 2025 não substituem essa regra. Exemplares, páginas e hashes constam do recibo, com aceitação oficial anterior preservada. Não generalizar este parâmetro a períodos/regimes não correspondidos. PEC positivo, crédito de investimento, dupla tributação e outros créditos não recebem abatimento, limite, transporte ou reembolso presumidos. Um crédito potencial L7 não passa automaticamente a crédito utilizável L8.
**Gravação e recuperação:** livro opcional `irpcAnnual` no snapshot existente, por contexto, sujeito e exercício; ligado à execução da colecta e às provas L5 seleccionadas. Guarda o input e o resultado simulado, acrescenta o resultado anterior ao histórico sem o recalcular, e invalida o resultado corrente quando mudam as fontes/entradas. HTML e dossier financeiro recuperam colecta, provas/parcelas, estados, saldo, lacunas e limites concordantes. Sem preparação L8, os relatórios anteriores não ganham linhas L8. Plano, originais, livros e históricos L5–L7 permanecem imutáveis. O saldo não é declaração submetida, pagamento efectuado ou reembolso recebido.
**Provas novas:** 19 testes frontend dirigidos; API privada QA, 1 teste/170 asserções, sete casos com cálculo → gravação → recuperação → HTML/dossier; base isolada `simulator_fiscal_delta_20261021_test`, loopback 55441, guarda de identidade e transacção com rollback. Interface real: preparar, preencher só dados em falta, seleccionar prova, impedir repetição, pagar/recuperar/zero/ausência/indeterminação, guardar/recarregar/recuperar/exportar, sem erros de página. Wayfinder `--with-form`, TypeScript e build QA passaram. Comparação de 2 832 ficheiros anteriores: só três pontos de integração alterados, mais os cinco ficheiros novos do incremento; motores L5/L6/L7, fontes, fixtures, schema, configuração e permissões preservados; 31 originais iguais. Não se repetiram suites aceites de L3, ISPC, câmbio ou L5–L7. SGF TEMPO separado.
### Saldo concreto L8 após este incremento
| Código ainda por implementar | Condição concreta de retoma |
| --- | --- |
| PEC e créditos positivos: investimento, dupla tributação e outros créditos próprios | Correspondência do crédito, titular/exercício, montante efectivamente disponível, ordem, limite e transporte aplicáveis; prova de cada saldo. Não presumir reembolsabilidade ou prazo de 3/5 anos. |
| Liquidação de imposto autónomo/61-A e articulação com o saldo anual | Segregar a parcela autónoma e corresponder quais abatimentos podem incidir sobre ela; não a ignorar nem compensar automaticamente com prejuízo/PPC. |
| Períodos especiais e comprovativos noutra moeda | Corresponder exercício/data de afectação e regra cambial fiscal do pagamento; reutilizar periodização/câmbio existentes sem confirmar pressupostos por omissão. |
| Cálculo da obrigação PPC/PEC, calendários, juros/multas e guias | Regra, parâmetros, factos e vencimentos próprios por período. O registo de PPC efectuado já demonstrado não calcula a obrigação. |
| Transporte oficial M20/M22, submissão e processamento de reembolso | Edição/campo, representação de fracções e fluxo de recepção correspondidos; sem preencher campos provisórios como oficiais. |
**Esclarecimentos documentais aguardados:** permanecem as dúvidas concretas L5/L6/L7 já registadas, sem nova pesquisa repetida. Exemplo: cooperativa com rendimentos mistos/retidos requer segregação antes de utilizar retenção positiva; excepção de cumulação exige disposição, período e limites correspondidos; campo M20/M22 divergente requer edição/campo exactos. Cada falta só bloqueia o seu caso. Ausência de documento num cenário não bloqueia o saldo normal independente acima.
**Próxima entrega:** compatibilidade conferida com `origin/main` em `f8d57bdd`, sem incorporar runtime do checkout raiz. Nenhum acesso ou operação no servidor nesta passagem. Os 4,14 GiB são o valor comunicado, não medição nova; antes de instalar, medir espaço/inodes, confirmar capacidade para backup/restauro fresco e compilação isolada, mantendo a versão activa até a nova estar pronta. Recibo: `docs/investmoz/simulations/irpc-l8-first-qa-20261026.json`; provas: `outputs/irpc-l8-settlement/`. Reprodução só do delta: `node --test tests/frontend/irpc-annual-settlement.test.mjs`; `php tools/irpc-annual-settlement-qa.php routes`; `php tools/irpc-annual-settlement-qa.php test`; `tsc --noEmit`; build com `INVESTMOZ_QA_BUILD=1`. **L8 parcial, QA pronto, sem instalação.** A referência inicial de 240–416 horas L8–L14 não é previsão actual; permanece necessária a reconciliação do trabalho reutilizado, resíduos e L15–L16 antes de assumir prazo global.
## 27/10/2026 — entrega L8 preparada; instalação adiada por capacidade
**Candidato `14360748` pronto; não instalado.** A conferência SSH autenticada de 27/10, 06:05 UTC (08:05 em Moçambique), confirmou `f8d57bdd` como revisão activa e `main` remoto. Compatibilidade por ancestralidade, pacote QA e 168 ficheiros do destino conferidos: 134 ficheiros protegidos, três integrações anteriores e 31 originais. O delta executável continua limitado a cinco ficheiros L8; os 19 testes, API/170 asserções, interface, recuperação/relatórios, tipos e build aceites foram reutilizados, sem nova ronda.
**Impedimento concreto:** partição `/dev/md2`, montada em `/`, com 4 402 343 936 bytes livres (**4,10 GiB**) e 21 340 182 inodes disponíveis. Inodes suficientes face à referência da release (31 259 entradas). O instalador existente exige **5 GiB livres após o backup**; com a referência observada do backup anterior de 175 917 490 bytes, faltam pelo menos **1,07 GiB adicionais antes do backup**. É uma estimativa mínima de capacidade, a medir novamente; não uma autorização para reduzir o limiar. Caches regeneráveis de Composer/Node somam cerca de 0,12 GiB e não cobrem a diferença. Diagnóstico apenas por leitura, sem limpeza de caches, releases, backups, provas, dependências ou ficheiros SGF TEMPO.
**Decisão expressa do utilizador: «Manter a entrega preparada por agora».** Não foram executados backup/restauro frescos, integração no `main` nem instalação. A versão activa foi preservada e a sessão SSH encerrada. Na retoma, seleccionar o ramo candidato `codex/irpc-l8-settlement-qa-20261026`, voltar a conferir `main` e revisão servida, medir capacidade/espaço/inodes, executar backup/restauro fresco e compilação isolada, mantendo o activo até a nova release estar pronta. Só depois conferir a revisão servida e o delta L8. As notas desta espera ficam no ramo documental `codex/irpc-l8-delivery-capacity-20261027`; não mudam o código candidato. L8 parcial, PEC/créditos próprios separados e saldo L7 preservado. Recibo: `docs/investmoz/simulations/irpc-l8-delivery-capacity-20261027.json`; provas e auxiliares preparados: `outputs/irpc-l8-first-delivery-20261027/` no checkout raiz.
## 27/10/2026 — identidade proactiva: primeiro incremento demonstrado em QA
**QA concluído em `3439f350`; sem instalação, publicação real ou análise económica validada.** Partida no `main` remoto `f8d57bdd`, conferido novamente antes da entrega. Ramo separado `codex/proactive-investment-first-qa-20261027`, worktree `C:/laragon/www/portal-investidor-proactive-qa-20261027`. A referência local `fa02c70` e o ramo `codex/proactive-investment-scope-20261027` não foram encontrados no repositório consultado; o âmbito expresso da Tempo foi suficiente e não se criou dependência desse commit. **L8 `14360748` mantém-se preparado, sem instalação e sem integração nesta candidata.** A capacidade do servidor continua fora deste trabalho local. Sem SSH, instalação, limpeza do servidor ou intervenção no SGF TEMPO nesta passagem.
@@ -6689,3 +6793,134 @@ Reutilizadas as14provas API/139asserções,7provas frontend,tipos ebuild de`1afa
| Divulgação ou uso no activo | Preparar eventual síntese pública separada só quando autorizada/revista;instalação do código não publica nem transporta automaticamente a ficha e o dossierQA. Capacidade,compatibilidade e backup/restauro serão tratados na execução futura aplicável. Nenhuma dependência de capacidade impede esta análise privada. |
**Estado:**primeira aplicação real demonstrada,análise económica/comercial preliminar. Preparadas perguntas para reunião exploratória com a HCB,sem as enviar. L8eSGF preservados;limites e pendências anteriores não foram eliminados.
## 27/10/2026 — orientação confirmada: oportunidades geradas pela procura
**Decisão expressa do responsável:** “a ideia não é gerir concursos mas sim as oportunidades que geram”. O anúncio é uma fonte de procura para preparar oportunidades complementares; não se cria um circuito de concursos, candidaturas ou adjudicações. O percurso técnico aceite em`1afab4a2` continua preparado para entrega independentemente da confirmação comercial do caso. Instalação e capacidade do servidor seguem separadas;sem nova intervenção no destino ou no SGF TEMPO. L8`14360748`preservado.
**Caso privado QA — evolução da mesma ficha e dossier:**ficha401,versão1→2;dossier`894343c7-c33d-452e-a6a5-b6675f77ee23`,contexto1→2. Sete evidências recuperadas. Modelo centrado em serviço recorrente de apoio metrológico no Songo,associando apoio local e laboratório competente:inventário/calendário,preparação,recolha/entrega controlada e documentação. Cliente potencial inicial:HCB. Outros clientes dependem de identificação própria. Sem contrato,parceria,procura recorrente ou vantagem económica declarados como confirmados. Título e campos deliberados do dossier conservados;fotografia anterior e388eventos de auditoria existentes intactos. Não se criou outra ficha,dossier,empresa,grant ou regra fiscal.
### O que a nova fonte esclarece
- **Procura e âmbito:**o anúncio da HCB,de17/08/2026,referência051/2026,identifica quinze famílias de instrumentos e outros a especificar nos TdR;por exemplo,manómetros,balanças,paquímetros/micrómetros,multímetros e instrumentos de análise eléctrica. O PDF tem2páginas,ambas lidas visualmente;SHA256`bb4c33064e5d49504d8a85ac88ad1b847cfa6c69e1016e3ab588ff785b205c1f`;exemplar`https://www.diarioeconomico.co.mz/wp-content/uploads/2026/08/concurso-hcb-tender-document-docu-mo-ambique-2026-1.pdf`. Não contém volumes,gamas,incertezas,periodicidade ou execução. O prazo04/09/2026é histórico,não oportunidade aberta presumida. Não se mapeou automaticamente este procedimento a uma das duas linhas do plano.
- **Qualificação:**o anúncio específico pede licença para o serviço,acreditação/credenciação para calibração,três anos de experiência,três referências e equipa qualificada. Isso esclarece aquela contratação;não se converte em condição para preparar a nova oportunidade nem em requisito universal para todo apoio logístico/metrológico futuro. A execução técnica de calibração deve corresponder à competência/âmbito e aos requisitos efectivos do serviço a prestar.
- **Possível prestação laboratorial:**a ficha pública IPAC`M0100`,INNOQ–Laboratório de Metrologia,Maputo,anexo17/02/2026,publica capacidades por âmbito:inclui electricidade,pesagem e pressão com gamas,incertezas e condições de local. Fonte`https://www.ipac.pt/pesquisa/ficha_lac.asp?ID=M0100`,consultada27/10/2026. É uma entidade a consultar sobre serviços,sem acordo ou capacidade disponível confirmados. Não se estende a cobertura a todas as famílias da HCB ou a uma instalação no Songo. Os prestadores históricos locais continuam por verificar.
A consulta pública dirigida não localizou prova identificável de adjudicação/execução ou compromisso para2027. Isso não prova que não houve contrato,que a compra continua aberta ou que existe procura por satisfazer. Rótulos“Em Curso” e campos0,00dos agregadores não são preço,volume ou estado confirmado. Não prolongar a mesma pesquisa sem novo documento ou resposta do cliente. O estado da compra passada é contexto para a procura futura,não o produto a gerir.
### Preparação da oportunidade e condição de retoma
| Questão de negócio | Informação concreta a obter e uso |
| --- | --- |
| Problema do cliente e recorrência | Que problema operacional existe no ciclo dos instrumentos,como é resolvido hoje e que necessidade futura permanece? Identificar instrumentos,quantidades,frequências e horizonte. Compra satisfeita pode cobrir só um ciclo;não autoriza presumir recorrência. |
| Âmbito da prestação | Por família/modelo/gama,pontos e incerteza:que trabalho é exigido,onde pode ocorrer e com que prazo? Separar inventário/logística/documentação local da execução técnica da calibração. |
| Parceiros e recursos | Confirmar capacidade real,disponibilidade e interesse dos prestadores locais e de laboratório(s). Corresponder âmbito a instrumentos concretos,com responsabilidades,custódia,segurança e condições comerciais;nenhum parceiro é designado automaticamente. |
| Valor e receitas | Testar menor custo total,menos tempo fora de serviço ou melhor organização/rastreabilidade,sem os declarar como benefícios já medidos. Serviço por lote ou avença são hipóteses de receita,sem preço ou vontade de pagar conhecidos. |
| Vantagem económica | Comparar solução actual e proposta para o mesmo âmbito,volume,qualidade,local e período:serviço laboratorial,transporte/retorno,embalagem/seguro,apoio local e custos incrementais sem duplicação. Medir prazos separadamente;monetizar impacto operacional só com base fornecida. Valores e vantagem permanecem indeterminados. |
**Resultados úteis previstos pelo responsável:**(1)procura recorrente/problema/interesse demonstrados→corresponder parceiros e dimensionar o serviço;(2)ciclo actual satisfeito,necessidade futura documentada→reformular horizonte;(3)cliente confirma necessidade satisfeita e sem necessidade futura para a solução→arquivar a hipótese com essa conclusão e conservar o dossier;(4)informação insuficiente→manter hipótese privada,sem declarar ausência de procura. Nenhum desses estados impede a entrega técnica do percurso proactivo.
Perguntas de descoberta e comparação foram preparadas,sem envio a terceiros. A ficha mantém`hypothesis`/`draft`,sem publicação. O contexto foi actualizado pelo mecanismo existente de prévia/confirmação e recuperado com os sete fundamentos;relatório existente reproduz as novas linhas. Sem alteração de código da aplicação,migração,novas entidades ou repetição das provas técnicas/fiscais aceites. Apenas a própria ficha e o seu dossier mudaram;52outrasfichas,17outrosdossiers,19projectos,1921territórios,12sectores,63documentos e históricos anteriores preservados.
Recibo:`docs/investmoz/unification/proactive-opportunity-model-qa-20261027.json`;análise privada actual:`outputs/proactive-commercial-followup-20261027/opportunity-private-brief.html`. A versão anterior da prova continua conservada. Esta passagem consolida o modelo da oportunidade e o saldo de validação comercial;não instala ou publica uma oportunidade real.
## 27/10/2026 — hipótese regional: outros clientes e sustentabilidade do apoio metrológico
**Pedido do responsável:** estudar outros clientes regionais,frequência,custos e capacidade dos parceiros,sem transformar sinais de procura em gestão de concursos. **Dado comercial expresso:** “Ainda não há dados comerciais”. A ficha permanece privada e a entrega técnica do percurso continua independente desta validação. Mantém-se`1afab4a2`como candidata técnica aceite,runtime`3439f350`,sem instalação nesta passagem. L8`14360748`eSGF TEMPO preservados.
**Resultado delimitado:** há base documental para prospectar três entidades adicionais — Vulcan/Moatize,EDM/Tete–Moatize e Nacala Logistics/segmentoMoatize — mas não há procura,recorrência,preço ou capacidade disponível confirmados para este serviço. Não se afirmou sustentabilidade,mercado dimensionado ou clientes contratados. A mesma ficha401e o dossier`894343c7-c33d-452e-a6a5-b6675f77ee23`foram actualizados da versão/contexto2para3,com11evidências. Origem Cahora Bassa/Energia,localização canónica,título e campos deliberados do dossier conservados;abrangência comercial regional identificada separadamente.
| Prospecto | Facto e fonte usados | Hipótese comercial e limite |
| --- | --- | --- |
| Vulcan Mozambique/Moatize | A própria empresa descreve mina,processamento de carvão e equipamentos produtivos em`https://www.vulcaninternational.com/products-services/`,consultado27/10/2026,página sem data editorial identificada. | Verificar instrumentos de processo/manutenção e necessidade de apoio metrológico. Não foi recebido pedido nem inventário;capacidade de produção da mina não é volume de calibração. |
| EDM/Tete–Moatize | **Plano de Actividades e Orçamento2025**,PDFp68/página impressa68,Direcção de Transporte:linha3,calibração/reparação de equipamentos de teste;linha7,activos deMoatize/móvelTete;linha17,automaçãoSETete. Fonte`https://cdn.edm.co.mz/website/imprensa/Plano_Actividades_Orcamento_2025.pdf`,86páginas;conferidos visualmente apenas a página68e o detalhe relevante. Hash/cópia privada no recibo. | Serviço de calibração planeado a nível empresarial em2025 e referências regionais não demonstram parcela de procura actual emTete. Identificar unidade compradora,inventário e solução actual. O orçamento não é preço unitário,receita ou mercado regional. Não atribuir activosHCBàEDM ou contá-los duas vezes. |
| Nacala Logistics/Moatize | A empresa descreve operação ferroviária atéMoatize e manutenção preventiva em`https://www.nacalalogistics.com/quem-somos/`e`https://www.nacalalogistics.com/faq/`,consultados27/10/2026. Na secção Accionistas,as concessionárias identificam Vulcan Mozambique como accionista. | Verificar instrumentos de manutenção e entidade/centro de compra. A marca agrega concessionárias;não equivale a uma contraparte contratual única. A ligação comVulcan impede assumir diversificação independente;não se somaram volumes ou clientes confirmados. |
| Mphanda Nkuwa/GMNK — futuro separado | Descrição institucional em`https://www.gmnk.co.mz/en/about-us/project-description/`,consultada27/10/2026,qualifica o projecto em desenvolvimento. | Sem entrada na procura recorrente de base,receita ou carga de trabalho actual. Retomar apenas com necessidade e horizonte concretos;não inferir encomenda da capacidade projectada ou localização. |
As páginas institucionais confirmam apenas os factos no seu âmbito;relevância metrológica de mineração/ferrovia e interesse em apoio associado são inferências a testar,identificadas como tal. Fontes,exemplar,data e hashes foram guardados em provas privadas;nenhuma empresa,lista,documento ou relação canónica foi importado/publicado. As referências históricas de parceiros locais e o âmbitoIPAC/INNOQjá demonstrado foram reutilizados,sem repetir a pesquisa nem alargar automaticamente a cobertura técnica.
### Dados mínimos por cliente e parceiro
Por **cliente/centro de compra**:instrumentos,famílias/modelos/gamas,pontos e critério de aceitação;quantidade por janela e programa efectivo;prazo fora de serviço;prestador,processo e custo actuais;necessidade ainda não satisfeita;interesse e condições de pagar por lote/missão ou avença. Frequência permanece indeterminada e deve vir do programa do proprietário;sem regra anual por defeito,sem converter prazo de anúncio ou quinze famílias em quantidade/recorrência.
Por **parceiro**:âmbito de competência e local permitido por instrumento;capacidade efectivamente disponível em cada janela,equipa,meios,prazo e preço. Verificar capacidade actual dos prestadores locais históricos,sem confundir reparação/CAEcom acreditação de calibração. O âmbito publicado doINNOQ–LMemMaputo é pista parcial,não reserva de capacidade nem cobertura de todas as famílias. Famílias não correspondidas continuam separadas das compatíveis.
### Comparação económica delimitada
A unidade de comparação é a **missão/lote**:mesmo âmbito,quantidade,qualidade,local e período que a solução actual. A contribuição da missão é a receita acordada menos laboratório,apoio directo,transporte de ida/retorno,embalagem/seguro e outros custos incrementais dessa missão. Custos de transporte partilhado entram uma vez;custos fixos incrementais são deduzidos uma vez no período,sem os duplicar também na contribuição. Para sustentabilidade,avaliar ainda investimento,reposição de meios,fundo de maneio e prazos de recebimento;resultado operacional isolado não basta.
Comparar atendimento individual noSongo,missões agrupadas Songo–Tete/Moatize com janelas compatíveis e uma organização de apoio emTete/Moatize com deslocação aoSongo. Essas alternativas são hipóteses de funcionamento,não mudança de localização,cotação de rota ou recomendação de investimento já aprovada. Nenhum quilómetro,custo de deslocação,preço,volume,receita,margem,poupança ou ponto de equilíbrio foi inventado. A agregação pode partilhar logística e também criar custos,prazos ou restrições de custódia;isso tem de ser medido.
**Condição de retoma:** obter inventários/programas e interesse dos prospectos;identificar entidade compradora e concentraçãoVulcan/Nacala;com o mesmo âmbito pedir propostas de laboratório,apoio local e transporte;comparar as alternativas e a solução actual. Sem esses dados,o resultado útil é “carteira regional prospectável,sustentabilidade por demonstrar”. Se os dados posteriores mostrarem procura insuficiente ou serviço já satisfatório,conservar essa conclusão e reformular/arquivar a hipótese. Não repetir pesquisa pública para substituir dados comerciais que o responsável confirmou ainda não existirem. Nenhuma mensagem foi enviada a terceiros.
**Preservação e prova desta evolução:**guardar→prévia/confirmação do contexto→recuperação no mesmo dossier→linhas do relatório existente,com11evidências e valores comerciais em falta. Apenas ficha401e o seu dossier foram actualizados;52outrasfichas,17outrosdossiers,19projectos,1921territórios,12sectores,63documentos e391eventos anteriores de auditoria intactos. Sem nova entidade,grant,migração,código da aplicação ou ronda das provas técnicas/fiscais aceites. Fonte e contexto anteriores conservados,sem publicar a ficha.
Recibo:`docs/investmoz/unification/proactive-regional-clients-qa-20261027.json`;estudo privado:`outputs/proactive-regional-clients-20261027/regional-private-brief.html`. A entrega técnica e a eventual instalação continuam separadas do estado comercial desta oportunidade.
## 27/10/2026 — passagem à prospecção e segundo piloto territorial privado
**Decisão do responsável:** o caso de apoio metrológico está suficientemente estruturado para prospecção. Fica privado e pendente de informação externa; não continuar a aprofundá-lo para concluir a funcionalidade. Nenhum contacto ou proposta comercial foi recebido ou enviado nesta passagem. A ficha401 e o dossier `894343c7-c33d-452e-a6a5-b6675f77ee23` mantêm fonte/contexto3, sem alterações.
**Ficha curta para a equipa:** `docs/investmoz/unification/prospeccao-apoio-metrologico-20261027.pdf`, PDF preenchível de duas páginas e42campos, com uma página por cliente e outra por parceiro. Cliente: instrumentos/gamas/quantidades, programa efectivo e janelas, requisitos, solução actual, contratação e próxima acção. Parceiro: âmbito, equipa/meios e capacidade disponível, prazo, preços discriminados, impostos/moeda, deslocações/custódia e validade da proposta. Sem resposta, os dados ficam por determinar. Guardar uma cópia por entidade/centro de compra ou parceiro, com evidência/data e responsável.
**Retoma da viabilidade do Songo:** quando chegarem inventários, programas, interesse e cotações comparáveis, actualizar a comparação já preparada para o mesmo âmbito, volume, qualidade, local e período. Distinguir entidade, utilizador e centro que decide/paga; a ligação Vulcan/Nacala impede presumir compradores independentes. Somar cada missão/transporte partilhado uma vez. Não usar ausência de resposta como ausência de procura ou zero. Necessidade satisfeita pode conduzir a reformulação futura ou arquivo fundamentado, preservando o dossier.
**Próximo piloto — Gurué:** foi criado, por serviços existentes e apenas na base QA isolada, o caso `GUR-CHA-20261027`, ficha402/fonte1 e dossier `883c8ec3-59a3-4074-b91c-b7d4a5d88ff0`/contexto1. Ideia privada: estudar apoio associado à colheita, qualidade da folha verde e organização das entregas na cadeia do chá. Reutilizados o distrito canónico de Gurué e o sector Agronegócio; nenhum novo mestre, promotor empresarial, montante ou coordenada presumidos.
Cinco referências distinguem actividade de procura: INE2020–2024, edição2025, PDFp9/Quadro1.1; página do próprio Asian Tea Group sobre Chá de Magoma; IGC2014, PDFp75,78–79/impressas60,63–64; e referências privadas da lista já fornecida, com datas2021–2023 e códigos declarados. INE e produtor documentam actividades; o estudo2014 é histórico e orienta perguntas, sem transportar volumes, preços, capacidades ou intenções para2026. Cadastros antigos não comprovam competência ou disponibilidade actual. Não se presume compra de folha externa, oferta em falta, nova fábrica ou interesse em contratar.
**Acção delimitada do Gurué:** compreender como se colhe, avalia e entrega hoje; identificar problema mensurável, intervenientes, critérios do processador, quantidades/janelas, solução/custo actuais e quem contrataria/pagaria pelo apoio. Magoma é unidade potencial a consultar; Chazeiras é referência histórica cuja situação actual deve ser confirmada. Beneficiário não equivale a pagador. Necessidade, parceiros, custos e viabilidade permanecem em hipótese, sem bloquear a funcionalidade técnica ou exigir prolongamento de pesquisa pública.
**Demonstração apenas do delta:** criação→gravação→prévia/confirmação→recuperação→linhas do relatório existente, com5evidências e pressupostos visíveis. Conservados todos os53registos anteriores de oportunidades,18dossiers,19projectos,1921territórios,12sectores,63documentos,394eventos de auditoria,40utilizadores e3organizações. Novos apenas a ficha/dossier/percurso QA e respectivos registos de histórico. Sem alteração de código, schema, permissões ou provas técnicas/fiscais aceites. O formulário foi reaberto e ensaiado com valores sintéticos numa cópia; a versão para a equipa está em branco, com campos interactivos verificados e as duas páginas revistas visualmente.
**Entrega técnica independente:** `1afab4a2` continua candidata técnica aceite, runtime `3439f350`, sem instalação ou publicação nesta passagem. A capacidade do servidor deve ser novamente medida no procedimento da futura entrega; não se declarou resolvida nem se apagou conteúdo. L8 `14360748`, SGF TEMPO e demais provas preservados. Esta passagem não envia a ficha a terceiros nem publica oportunidades reais.
Recibo: `docs/investmoz/unification/proactive-handoff-gurue-qa-20261027.json`. Prova privada e nota do piloto: `outputs/proactive-handoff-gurue-20261027/gurue-proof.json` e `gurue-private-brief.html`. Saldo do Songo: recolha externa; saldo do Gurué: descoberta dirigida da necessidade; saldo da instalação: capacidade e procedimento de entrega. Estes três estados permanecem independentes.
## 27/10/2026 — autonomia pela interface e candidata técnica consolidada
**Âmbito pedido:** reutilizar as provas aceites; demonstrar apenas anexar respostas, rever a ideia privada e encaminhar/actualizar o mesmo dossier pela interface, sem intervenção de código ou SQL na operação da equipa. Songo aguarda respostas externas e Gurué mantém a hipótese agrícola privada; ambos ficaram intactos. Não foram recolhidas respostas comerciais reais nem observada uma sessão de formação com funcionários.
### Guia curto da equipa
1. Entrar com o perfil operacional já autorizado e o MFA normal. Em **Minhas oportunidades → Nova oportunidade → Preparar análise e ideia**, indicar título, sector e apenas o território conhecido. Não substituir o promotor real por quem prepara a análise; a preparação interna permite que ainda seja desconhecido.
2. Em **Evidências e proveniência**, separar facto e interpretação, identificar fonte/exemplar, trecho, período, abrangência e limitações. Manter **Interna — análise privada**. Guardar o rascunho e aguardar a confirmação do servidor.
3. Para uma resposta recebida, abrir **Imagens, documentos e localizações → Documentos**, escolher o original, identificar emissor/versão/data quando conhecidos, página e afirmação fundamentada. Escolher classificação e consulta internas e **Guardar recurso**. O ficheiro fica privado e o seu estado de scan é visível; o download só fica disponível após scan limpo dos mesmos bytes.
4. Regressar ao rascunho e escolher esse ficheiro em **Documento existente associado** na evidência correspondente. Rever a oferta/procura observadas, solução, pressupostos, pendências e próxima acção. Uma resposta parcial não confirma procura, preços ou sustentabilidade. Guardar e recuperar a ficha para conferir os dados.
5. Usar **Preparar ou continuar investimento com esta ficha**. Se já existir, escolher o dossier e **Preparar neste dossier**; não criar outro para uma nova edição. Criar um dossier apenas para um investimento novo, com o título escolhido e consentimento de reutilização do próprio perfil.
6. Confirmar a localização, usar **Rever dados antes de guardar**, conferir divergências e impactos e **Guardar dados do investimento**. O título e as edições deliberadas conservam-se. A referência à resposta acompanha a análise; o original permanece no gestor documental da ficha, acessível pelo link da ficha de origem e seus recursos, sem cópia ou divulgação automática dos bytes.
7. Para novas respostas/edições, voltar à mesma ficha, guardar a revisão e continuar o mesmo dossier com nova prévia/confirmação. O dossier recebe a versão actual após confirmação; o estado anterior conserva-se no histórico. Informação em falta continua por determinar, sem zero presumido.
8. **Divulgação promocional** é uma acção separada. Nada neste percurso publica o piloto, os anexos ou o dossier. A eventual decisão de publicação real continua independente da demonstração sintética e da instalação técnica.
### Delta demonstrado e correcção delimitada
Ensaio com o operador QA existente, login/MFA normais e apenas controlos da interface: nova ficha sintética403, resposta PDF de ensaio anexada e recuperada, ClamAV real limpo, hash do download igual ao original; documento associado à evidência; ideia revista; dossier `5bc28554-a2d1-4e60-9181-93ba0ecede59` criado e depois continuado sem duplicação. Fonte4/contexto2, hipótese e título deliberado preservados. O anexo e os dados são sintéticos; não constituem resposta de clientes ou parceiros reais.
Foi reproduzido e corrigido um aviso enganador: o pedido de complementos públicos tratava uma análise privada autorizada como referência pública desaparecida. **InvestmentComplements** consulta primeiro a autorização existente e devolve uma lista vazia para essa preparação privada; não a transforma em oferta pública. Origens públicas continuam a produzir os seus complementos; pedidos sem acesso continuam sem obter a fonte privada. Dois testes novos dirigidos,18asserções, passaram em transacção QA. A demonstração privada foi retomada sem o aviso. Não se alteraram permissões, tabelas, frontend ou motores fiscais.
Todos os54registos anteriores de oportunidades,19dossiers,63documentos,19projectos,1921territórios,12sectores,3organizações e399eventos de auditoria preservados por comparação de hashes. Novos apenas a amostra QA e seus registos. As provas anteriores de criação/edição, publicação expressa, anonimato, histórico, relatório, Wayfinder, TypeScript e build foram reutilizadas; não se repetiram suites fiscais ou a análise económica dos pilotos. Foi conferida a recuperação da referência documental e das novas linhas pelo relatório existente.
### Candidata para instalação futura
Runtime desta correcção: `51d536b7`; inclui o percurso técnico `3439f350`/candidata aceite `1afab4a2`, documentação e ficha de prospecção `403c444a`. A comparação com main remoto `f8d57bdd` confirmou ancestralidade, sem alterações entretanto integradas a perder. O delta de runtime face à candidata anterior limita-se à consulta de complementos; frontend, schema e configuração mantêm-se.
**Não instalado.** Antes da entrega activa, medir novamente espaço/inodes na partição do instalador e dos backups, confrontar com a necessidade efectiva de compilação isolada/backup, conferir o main então actual, executar backup/restauro fresco e manter a versão activa até a nova estar pronta. Depois conferir revisão servida e apenas o delta. A preparação dos pilotos QA não integra dados na base activa nem publica oportunidades. L8 `14360748` permanece separado; SGF TEMPO intocado. Não se fizeram SSH, limpeza, backup ou instalação nesta passagem.
Recibo: `docs/investmoz/unification/proactive-team-autonomy-qa-20261027.json`. Provas e pacote local: `outputs/proactive-team-autonomy-20261027/`. A verificação comprova que o percurso está disponível aos perfis autorizados através da interface; não declara formação da equipa, viabilidade dos pilotos ou conclusão integral dos requisitos nacionais.
## 27/10/2026 — duas entregas autorizadas: L8 primeiro, percurso proactivo depois
O responsável autorizou expressamente a execução das duas entregas pelo procedimento existente, sem nova ronda de autorização. A indicação histórica de manter preparado em `c85e772d` foi reconciliada: o commit acrescenta documentação de capacidade, sem mudar o código de L8 `14360748`/runtime `11a6cee9`. A autorização actual permite retomar; não substitui a medição de capacidade nem o backup/restauro frescos.
**Etapa1:** L8 em `c85e772d`, com a colecta válida, retenções efectivamente sofridas e PPC comprovados no recorte aceite; PEC e créditos próprios continuam separados. **Etapa2:** ramo `codex/sequential-delivery-20261027`, merge de L8 e do percurso proactivo `0ff402a1`, runtime reconciliado `74f7f93a`. A etapa2 só segue após confirmar a revisão efectivamente servida na etapa1.
O relatório comum tinha um conflito de imports. Foram conservados ambos e as chamadas de linhas anuais e proactivas. Os restantes ficheiros de runtime de cada candidata ficaram idênticos à origem. Verificação apenas da integração partilhada:6linhas anuais e10linhas proactivas recuperadas, entradas intactas e sem inferência cruzada. TypeScript e compilação QA isolada passaram; suites económicas/fiscais aceites não repetidas. Documentação de ambas as linhas conservada, sem importação de fixtures ou escrita em bases.
**Estado efectivo desta passagem: preparado, sem instalação.** O main remoto permanece `f8d57bdd` e a revisão pública servida foi conferida por HTTP em27/10/2026,10:14UTC, também `f8d57bdd`. A ponte SSH local estava `closed`; a autenticação por chave foi recusada com a chave do servidor registada e conferida. Não havia aqui uma sessão autenticada utilizável. Não foram executados backup/restauro frescos, alteração de main ou instalação. A capacidade antiga de4,10GiB é histórica e não foi apresentada como medição actual.
Retomar na sessão local com SSH autenticado, usando a autorização já registada: medir espaço/inodes na partição efectiva, comparar com compilação e backup, conferir main e revisão activa, criar e ensaiar backup fresco, instalar L8 e conferir apenas o seu delta. Depois repetir as guardas necessárias para a candidata conjunta e conferir o delta proactivo preservando L8. Manter a versão activa até a nova estar pronta. Excluir fixtures QA dos inputs de instalação; não executar seeders/importações de amostras, não publicar pilotos privados nem usar o pacote QA como cópia da base activa. SGF TEMPO separado.
Recibo de preparação: `docs/investmoz/unification/sequential-delivery-preparation-20261027.json`. Provas e instrução de passagem: `outputs/sequential-delivery-20261027/`. Os recibos de execução e as duas revisões servidas serão registados apenas depois de execução real na sessão autenticada; este recibo não os substitui.
File diff suppressed because one or more lines are too long
@@ -1,3 +1,4 @@
import {SimulationIrpcAnnual} from '@/components/simulation-irpc-annual';
import {SimulationIrpcNormal} from '@/components/simulation-irpc-normal';
import {SimulationIrpcWithholdings} from '@/components/simulation-irpc-withholdings';
import {SimulationIspcResiduals} from '@/components/simulation-ispc-residuals';
@@ -3513,6 +3514,7 @@ export function SimulationForm() {
{(current.id === 'financial' || current.id === 'tax') && <SimulationIspcResiduals draft={draft} onChange={change} />}
{(current.id === 'financial' || current.id === 'tax') && <SimulationIrpcWithholdings draft={draft} onChange={change} />}
{(current.id === 'financial' || current.id === 'tax') && <SimulationIrpcNormal draft={draft} onChange={change} />}
{(current.id === 'financial' || current.id === 'tax') && <SimulationIrpcAnnual draft={draft} onChange={change} />}
{(current.id === 'financial' || current.id === 'tax') && <SimulationMonthlyIva draft={draft} busy={isCalculating} onCalculate={runSimulation} onChange={change} />}
{current.id === 'financial' &&
(draft.detail_level === 'advanced' ||
@@ -0,0 +1,25 @@
import {useState} from 'react';
import {annualBook,newAnnualBook,saveAnnualBook,reuseAnnualAssessment,annualAssessment,annualWithholdingOptions,reuseAnnualWithholding,newAnnualPpc,recordAnnual,annualReportRows,annualHtml,annualSettlementSource,type AnnualBook,type AnnualPpc} from '@/lib/irpc-annual-settlement';
type Props={draft:Record<string,unknown>;onChange:(field:string,value:string)=>void};
export function SimulationIrpcAnnual({draft,onChange}:Props){
const[error,setError]=useState('');if(draft.fiscal_component!=='irpc')return null;
try{
const b=annualBook(draft),save=(next:AnnualBook)=>{try{onChange('modelo_a_snapshot',saveAnnualBook(draft,next));setError('');}catch(e){setError(String(e));}};
if(!b)return<section aria-label="IRPC — L8 fecho anual" className="rounded border p-4"><h4>L8 — da colecta ao saldo anual simulado</h4><p>Reutiliza a colecta válida, retenções efectivamente sofridas por conta e PPC comprovados do próprio sujeito/exercício. PEC e créditos com regras próprias permanecem separados.</p><button type="button" onClick={()=>{try{save(reuseAnnualAssessment(draft,newAnnualBook()));}catch(e){setError(String(e));}}}>Preparar saldo anual L8</button>{error&&<p role="alert">{error}</p>}</section>;
const patch=(p:Partial<AnnualBook>)=>save({...b,...p}),a=annualAssessment(draft),options=annualWithholdingOptions(draft);
const field=(key:'subjectNuit'|'year'|'reference'|'assessmentReference',label:string)=><label className="block">{label}<input aria-label={label} value={b[key]} onChange={e=>patch({[key]:e.target.value})}/></label>;
const group=(key:'withholdings'|'ppc',label:string)=><><label className="block">Estado — {label}<select aria-label={'Estado L8 — '+label} value={b[key].state} onChange={e=>patch({[key]:{...b[key],state:e.target.value as ''|'known'|'absent'}})}><option value="">Informação em falta</option><option value="known">Valores conhecidos — seleccionar comprovativos</option><option value="absent">Ausência declarada com suporte</option></select></label><label className="block">Suporte — {label}<input aria-label={'Suporte L8 — '+label} value={b[key].reference} onChange={e=>patch({[key]:{...b[key],reference:e.target.value}})}/></label></>;
return<section aria-label="IRPC — L8 fecho anual" className="space-y-3 rounded border p-4"><h4>L8 — colecta, abatimentos e saldo anual simulado</h4><p>A colecta acima é anterior aos abatimentos. Este saldo tem cálculo e histórico próprios; retenção entregue pela empresa por pagamento a terceiros não é retenção sofrida. O resultado continua simulado, sem submissão, pagamento ou reembolso automático.</p><p>{annualSettlementSource}</p>{error&&<p role="alert">{error}</p>}
{field('subjectNuit','NUIT do sujeito do fecho L8')}{field('year','Exercício do fecho L8')}{field('reference','Suporte do fecho da entidade e exercício L8')}
<p>Colecta disponível:{a.colecta?a.colecta.numerator+'/'+a.colecta.denominator+' MZN':'Indeterminada'};origem:{a.kind==='special'?'L7 qualificado':'L6 normal'};NUIT:{a.subjectNuit||'Por identificar'};exercício:{a.year||'Por identificar'}.</p><button type="button" onClick={()=>{try{save(reuseAnnualAssessment(draft,b));}catch(e){setError(String(e));}}}>Reutilizar colecta corrente L6/L7</button>{field('assessmentReference','Suporte da colecta reutilizada L8')}
<fieldset className="space-y-2 rounded border p-3"><legend>Retenções efectivamente sofridas por conta</legend>{group('withholdings','Retenções sofridas')}
{options.length===0?<p>Não há afectações de comprovativosL5 neste contexto. Reutilize e reconcilie a retenção recebida emL5 ou declare ausência com suporte.</p>:options.map(o=><div key={o.rowId+'|'+o.paymentId} className="rounded border p-2"><p>{o.document||'Prova por identificar'};emitente:{o.issuer};data:{o.date};parcelaL5:{o.amount}MZN;{o.reason||'Retenção recebida/efectiva por conta reconciliada emL5.'}</p><button type="button" disabled={!o.ready||b.withholdings.rows.some(r=>r.rowId===o.rowId&&r.paymentId===o.paymentId)} onClick={()=>{try{save(reuseAnnualWithholding(draft,b,o.rowId,o.paymentId,crypto.randomUUID()));}catch(e){setError(String(e));}}}>Seleccionar prova L5 {o.document||o.paymentId}</button></div>)}
{b.withholdings.rows.map((r,index)=>{const change=(p:Partial<typeof r>)=>patch({withholdings:{...b.withholdings,rows:b.withholdings.rows.map(x=>x.id===r.id?{...x,...p}:x)}});return<fieldset key={r.id} className="rounded border p-2"><legend>Retenção seleccionada {index+1}</legend><p>Rendimento:{r.rowId};prova:{r.paymentId};NUIT:{r.subjectNuit};exercício:{r.year}. Fonte conservada. Se mudou, retire esta selecção e seleccione a prova actual. O histórico mantém-se.</p><label className="block">Parcela a abater<input aria-label={'Parcela da retenção L8 '+(index+1)} value={r.amount} onChange={e=>change({amount:e.target.value})}/></label><label className="block">O próprio sujeito é beneficiário e o rendimento está incluído na base deste exercício<select aria-label={'Rendimento incluído L8 '+(index+1)} value={r.incomeIncluded} onChange={e=>change({incomeIncluded:e.target.value as ''|'yes'|'no'})}><option value="">Informação em falta</option><option value="yes">Sim — documentado</option><option value="no">Não — crédito não aplicável neste fecho</option></select></label><label className="block">Suporte da titularidade e inclusão<input aria-label={'Suporte da retenção L8 '+(index+1)} value={r.reference} onChange={e=>change({reference:e.target.value})}/></label><button type="button" onClick={()=>patch({withholdings:{...b.withholdings,rows:b.withholdings.rows.filter(x=>x.id!==r.id)}})}>Retirar selecção L8 da retenção {index+1}</button></fieldset>;})}</fieldset>
<fieldset className="space-y-2 rounded border p-3"><legend>PPC efectivamente pagos</legend>{group('ppc','PPC efectuados')}<p>Regista comprovativos de pagamentos por conta; não calcula automaticamente a obrigação PPC nem usa pagamentos previstos no plano.</p><button type="button" onClick={()=>patch({ppc:{...b.ppc,rows:[...b.ppc.rows,{...newAnnualPpc(crypto.randomUUID()),subjectNuit:b.subjectNuit,year:b.year}]}})}>Registar comprovativo PPC</button>
{b.ppc.rows.map((r,index)=>{const change=(p:Partial<AnnualPpc>)=>patch({ppc:{...b.ppc,rows:b.ppc.rows.map(x=>x.id===r.id?{...x,...p}:x)}});return<fieldset key={r.id} className="rounded border p-2"><legend>PPC {index+1}</legend>{([['document','Comprovativo'],['issuer','Emitente'],['date','Data (AAAA-MM-DD)'],['subjectNuit','NUIT beneficiário'],['year','Exercício do comprovativo'],['currency','Moeda do comprovativo'],['proofAmount','Montante comprovado'],['amount','Parcela a abater'],['reference','Suporte do pagamento e afectação']]as const).map(([key,label])=><label key={key} className="block">{label}<input aria-label={'PPC L8 '+(index+1)+' — '+label} value={r[key]} onChange={e=>change({[key]:e.target.value})}/></label>)}<label className="block">Pagamento efectivamente comprovado<select aria-label={'PPC L8 '+(index+1)+' — Efectivo'} value={r.effective} onChange={e=>change({effective:e.target.value as ''|'yes'|'no'})}><option value="">Informação em falta</option><option value="yes">Sim — comprovativo reconciliado</option><option value="no">Não — apenas previsão/outro estado</option></select></label><button type="button" onClick={()=>patch({ppc:{...b.ppc,rows:b.ppc.rows.filter(x=>x.id!==r.id)}})}>Retirar PPC {index+1}</button></fieldset>;})}</fieldset>
{([['pec','PEC'],['credits','Créditos com regras próprias']]as const).map(([key,label])=><fieldset key={key} className="rounded border p-3"><legend>{label} — tratamento separado</legend><label className="block">Estado — {label}<select aria-label={'Estado L8 — '+label} value={b[key].state} onChange={e=>patch({[key]:{...b[key],state:e.target.value as ''|'known'|'absent'}})}><option value="">Informação em falta</option><option value="absent">Ausência declarada com suporte</option><option value="known">Valor conhecido — positivo exige regra própria</option></select></label>{(b[key].state==='known'||b[key].amount)&&<label className="block">Montante declarado<input aria-label={'Montante L8 — '+label} value={b[key].amount} onChange={e=>patch({[key]:{...b[key],amount:e.target.value}})}/></label>}<label className="block">Suporte<input aria-label={'Suporte L8 — '+label} value={b[key].reference} onChange={e=>patch({[key]:{...b[key],reference:e.target.value}})}/></label></fieldset>)}
<button type="button" onClick={()=>{try{save(recordAnnual(draft,b));}catch(e){setError(String(e));}}}>Calcular e guardar saldo anual L8</button><button type="button" onClick={()=>{try{const html=annualHtml(draft),url=URL.createObjectURL(new Blob([html],{type:'text/html;charset=utf-8'})),link=document.createElement('a');link.href=url;link.download='IRPC-L8-saldo-simulado.html';link.click();URL.revokeObjectURL(url);setError('');}catch(e){setError(String(e));}}}>Exportar saldo anual L8</button>
{annualReportRows(draft).map((r,n)=><p key={n}>{r[1]} — {r[2]} — {r[3]}</p>)}</section>;
}catch(e){return<p role="alert">PreparaçãoL8 não recuperável:{String(e)}. Originais e históricos conservados.</p>;}
}
+124
View File
@@ -0,0 +1,124 @@
import {normalBook,normalCurrent} from './irpc-normal.ts';
import {irpcBook,irpcCurrent} from './irpc-withholdings.ts';
import {acquisitionScope} from './iva-acquisitions.ts';
import {closureFingerprint} from './iva-closure.ts';
import {addFractions,subtractFractions,decimalFraction,fraction,fractionPresentation,type FiscalFraction} from './fiscal-rational.ts';
export const annualSettlementVersion='IRPC-annual-settlement/1';
export const annualSettlementSource='CIRPC, arts. 63 e 67 (Lei 34/2007 e natureza da retenção na redacção aplicável da Lei 12/2025); Regulamento, Decreto 9/2008, arts. 21(2–5) e 27(1–2/6). Recorte: 2026, residente no regime geral, ano civil e MZN. Colecta corrente válida, retenções efectivamente sofridas por conta e PPC comprovados. PEC/créditos positivos e tributação autónoma ficam fora deste fecho inicial. Art. 27(6): montante inferior a 100 MZN sem cobrança/reembolso; saldo aritmético exacto conservado. Saldo simulado por colecta projectada; não é declaração submetida, pagamento ou reembolso recebido.';
type State=''|'known'|'absent';
type Evidence={state:State;amount:string;reference:string};
type Group={state:State;reference:string};
export type AnnualWithholding={id:string;rowId:string;paymentId:string;sourceKey:string;subjectNuit:string;year:string;amount:string;incomeIncluded:''|'yes'|'no';reference:string};
export type AnnualPpc={id:string;document:string;issuer:string;date:string;subjectNuit:string;year:string;currency:string;proofAmount:string;amount:string;effective:''|'yes'|'no';reference:string};
type AnnualRecord={version:typeof annualSettlementVersion;key:string;createdAt:string;model:AnnualModel};
export type AnnualBook={version:1;subjectNuit:string;year:string;reference:string;assessment:''|'normal'|'special';assessmentKey:string;assessmentReference:string;withholdings:Group&{rows:AnnualWithholding[]};ppc:Group&{rows:AnnualPpc[]};pec:Evidence;credits:Evidence;result?:AnnualRecord;history:AnnualRecord[]};
const evidence=():Evidence=>({state:'',amount:'',reference:''});
export const newAnnualBook=():AnnualBook=>({version:1,subjectNuit:'',year:'',reference:'',assessment:'',assessmentKey:'',assessmentReference:'',withholdings:{state:'',reference:'',rows:[]},ppc:{state:'',reference:'',rows:[]},pec:evidence(),credits:evidence(),history:[]});
export const newAnnualPpc=(id:string):AnnualPpc=>({id,document:'',issuer:'',date:'',subjectNuit:'',year:'',currency:'MZN',proofAmount:'',amount:'',effective:'',reference:''});
const zero=()=>fraction(0n),cmp=(a:FiscalFraction,b:FiscalFraction)=>BigInt(a.numerator)*BigInt(b.denominator)-BigInt(b.numerator)*BigInt(a.denominator);
const iso=(s:string)=>/^20\d{2}-\d{2}-\d{2}$/.test(s)&&Number.isFinite(Date.parse(s))&&new Date(s).toISOString().slice(0,10)===s;
const moneyInput=(s:string)=>{if(!/^\d{1,18}(\.\d{1,2})?$/.test(s))throw Error('MontanteMZN em falta/inválido;máximo dois decimais,sem zero presumido.');return decimalFraction(s);};
const canonical=(s:string)=>s.normalize('NFKC').trim().toLocaleLowerCase('pt').replace(/\s+/g,' ');
const proofIdentity=(issuer:string,document:string,_date:string)=>JSON.stringify([canonical(issuer),canonical(document)]);
function store(d:Record<string,unknown>){const s=JSON.parse(String(d.modelo_a_snapshot||'{"version":1,"books":{}}'));if(s.version!==1||!s.books||typeof s.books!=='object'||Array.isArray(s.books))throw Error('Livros fiscais não recuperáveis;originais conservados.');return s;}
function books(d:Record<string,unknown>):Record<string,AnnualBook>{const m=store(d).irpcAnnual;if(m===undefined)return{};if(!m||typeof m!=='object'||Array.isArray(m))throw Error('MapaL8 não recuperável;originais conservados.');return m;}
export function validateAnnual(b:AnnualBook){
if(!b||b.version!==1||['subjectNuit','year','reference','assessmentKey','assessmentReference'].some(k=>typeof b[k as 'year']!=='string')||!['','normal','special'].includes(b.assessment)||!Array.isArray(b.history))throw Error('PreparaçãoL8 não recuperável.');
for(const g of[b.withholdings,b.ppc,b.pec,b.credits])if(!g||!['','known','absent'].includes(g.state)||typeof g.reference!=='string')throw Error('EstadoL8 não recuperável.');
for(const g of[b.pec,b.credits])if(typeof g.amount!=='string')throw Error('CréditoL8 não recuperável.');
const w=['id','rowId','paymentId','sourceKey','subjectNuit','year','amount','incomeIncluded','reference'],p=Object.keys(newAnnualPpc(''));
for(const[rows,keys]of[[b.withholdings.rows,w],[b.ppc.rows,p]]as const)if(!Array.isArray(rows)||new Set(rows.map(r=>r?.id)).size!==rows.length||rows.some(r=>!r||keys.some(k=>typeof(r as unknown as Record<string,unknown>)[k]!=='string')))throw Error('ComprovativosL8 não recuperáveis ou identificador repetido.');
if(b.withholdings.rows.some(r=>!['','yes','no'].includes(r.incomeIncluded))||b.ppc.rows.some(r=>!['','yes','no'].includes(r.effective)))throw Error('QualificaçãoL8 não recuperável.');
for(const r of[b.result,...b.history])if(r&&(r.version!==annualSettlementVersion||typeof r.key!=='string'||typeof r.createdAt!=='string'||!r.model||!Array.isArray(r.model.pending)))throw Error('HistóricoL8 não recuperável.');
}
export function annualBook(d:Record<string,unknown>){const b=books(d)[acquisitionScope(d)];if(b)validateAnnual(b);return b;}
export function saveAnnualBook(d:Record<string,unknown>,b:AnnualBook){validateAnnual(b);return JSON.stringify({...store(d),irpcAnnual:{...books(d),[acquisitionScope(d)]:b}});}
export function annualAssessment(d:Record<string,unknown>){
const b=normalBook(d),r=b.result,m=r?.model;
return{book:b,record:r,current:normalCurrent(d,b),key:r?closureFingerprint(r):'',subjectNuit:b.base?.subjectNuit??'',year:b.year,period:m?.periodsFx?{from:m.periodsFx.input.from,to:m.periodsFx.input.to}:m?.fiscalPeriod??m?.assessment?.period??null,kind:b.special?'special' as const:'normal' as const,colecta:b.special?m?.special?.colecta??null:m?.colecta??null,autonomous:b.special?m?.special?.expenses.autonomousTax??null:zero()};
}
export function reuseAnnualAssessment(d:Record<string,unknown>,b:AnnualBook):AnnualBook{const a=annualAssessment(d);return{...b,subjectNuit:b.subjectNuit||a.subjectNuit,year:b.year||a.year,assessment:a.kind,assessmentKey:a.key,assessmentReference:b.assessmentReference||a.book.assessment?.reference||''};}
export function annualWithholdingOptions(d:Record<string,unknown>){
const b=irpcBook(d),current=irpcCurrent(d,b);return b.rows.flatMap(r=>r.allocations.map(a=>{
const p=b.payments.find(p=>p.id===a.paymentId),v=b.result?.rows.find(v=>v.id===r.id),issues:string[]=[];
if(!current||!b.result)issues.push('Recalcule e guardeL5 com as entradas actuais.');
if(r.direction!=='received'||r.origin!=='effective'||v?.direction!=='received'||v.status!=='calculated'||v.nature!=='on_account'||r.settlement!=='complete'||v.settled===null)issues.push('Apenas retenção recebida/efectiva por conta,calculada e reconciliada emL5;remessa por terceiros,definitiva ou projecção não é crédito próprio.');
if(!p||p.kind!=='withholding_proof'||p.currency!=='MZN'||r.currency!=='MZN'||!iso(p.date)||!p.reference.trim())issues.push('Comprovativo de retenção sofrida emMZN em falta ou fora do recorte.');
return{rowId:r.id,paymentId:a.paymentId,document:p?.reference??'',issuer:r.counterparty,date:p?.date??'',eventDate:v?.eventDate??'',year:v?.eventDate.slice(0,4)??'',amount:a.amount,proofAmount:p?.amount??'',identity:proofIdentity(r.counterparty,p?.reference??'',p?.date??''),key:closureFingerprint([r,v,p,a]),ready:!issues.length,reason:issues.join(' ')};
}));
}
export function reuseAnnualWithholding(d:Record<string,unknown>,b:AnnualBook,rowId:string,paymentId:string,id:string):AnnualBook{
const o=annualWithholdingOptions(d).find(o=>o.rowId===rowId&&o.paymentId===paymentId);if(!o)throw Error('ComprovativoL5 não encontrado;originais conservados.');
if(b.withholdings.rows.some(r=>r.rowId===rowId&&r.paymentId===paymentId))throw Error('Retenção/prova já seleccionada;altere a parcela existente sem duplicar.');
return{...b,withholdings:{...b.withholdings,rows:[...b.withholdings.rows,{id,rowId,paymentId,sourceKey:o.key,subjectNuit:b.subjectNuit,year:o.year,amount:o.amount,incomeIncluded:'',reference:''}]}};
}
function dependencies(d:Record<string,unknown>){let normal:unknown,L5:unknown;try{const a=annualAssessment(d);normal=[a.record,a.current];}catch(e){normal=String(e);}try{const b=irpcBook(d);L5=[b.rows,b.payments,b.result,irpcCurrent(d,b)];}catch(e){L5=String(e);}return[normal,L5,Object.entries(books(d)).filter(([k])=>k!==acquisitionScope(d)).map(([k,b])=>[k,b.subjectNuit,b.year,b.withholdings,b.ppc])];}
function key(d:Record<string,unknown>,b:AnnualBook){const{result:_,history:__,...input}=b;return closureFingerprint([annualSettlementVersion,acquisitionScope(d),input,dependencies(d)]);}
export function annualCurrent(d:Record<string,unknown>,b:AnnualBook){return !!b.result&&b.result.key===key(d,b);}
export function calculateAnnual(d:Record<string,unknown>,b:AnnualBook){
validateAnnual(b);const{result:_result,history:_history,...input}=b;const pending:string[]=[],warn:string[]=[];let assessment:ReturnType<typeof annualAssessment>|null=null,colecta:FiscalFraction|null=null;let options:ReturnType<typeof annualWithholdingOptions>=[];
try{assessment=annualAssessment(d);const a=assessment,m=a.record?.model;
if(!a.record||!a.current||a.key!==b.assessmentKey||b.assessment!==a.kind)pending.push('Colecta de origem ausente,alterada ou não corrente;reutilize a execuçãoL6/L7 aplicável,não some nem contorne efeitosL7.');
if(!/^\d{9}$/.test(b.subjectNuit)||b.subjectNuit!==a.subjectNuit||b.year!=='2026'||b.year!==a.year||a.book.scope!=='resident_general'||m?.currency!=='MZN'||a.period?.from!=='2026-01-01'||a.period?.to!=='2026-12-31')pending.push('Entidade/NUIT,exercício ou âmbito fora do recorte residente/ano civil2026/MZN;períodos especiais permanecem separados.');
if(!b.reference.trim()||!b.assessmentReference.trim())pending.push('Falta suporte do fecho do sujeito/exercício e da colecta seleccionada.');
if(!a.colecta||cmp(a.colecta,zero())<0n)pending.push('Colecta aplicável indeterminada;uma parcelaL6 não substitui totalL7 pendente.');else colecta=structuredClone(a.colecta);
if(a.kind==='special'&&(!m?.special||!a.autonomous||cmp(a.autonomous,zero())!==0n))pending.push('Tributação autónoma positiva/indeterminada exige liquidação própria;este primeiro saldo não a ignora nem a compensa.');
}catch(e){pending.push('Origem da colecta não recuperável: '+String(e));}
try{options=annualWithholdingOptions(d);}catch(e){if(b.withholdings.state==='known'||b.withholdings.rows.length)pending.push('OrigemL5 não recuperável: '+String(e));}
const group=(g:Group,rows:unknown[],label:string)=>{if(!g.state||!g.reference.trim())pending.push(label+':identifique valor conhecido,ausência declarada ou informação em falta com suporte.');if(g.state==='absent'&&rows.length)pending.push(label+':ausência declarada contradiz parcelas presentes;conserve e reconcilie.');if(g.state==='known'&&!rows.length)pending.push(label+':não há comprovativos seleccionados;ausência exige declaração própria.');};
group(b.withholdings,b.withholdings.rows,'Retenções sofridas por conta');group(b.ppc,b.ppc.rows,'PPC efectuados');
try{if(b.withholdings.state==='absent'&&options.some(o=>o.ready&&o.year===b.year&&cmp(moneyInput(o.amount),zero())>0n))pending.push('Ausência de retenções sofridas contradiz provaL5 efectiva por conta no exercício;reconcilie sem a ignorar.');}catch(e){pending.push('Reconciliação da ausência de retenções: '+String(e));}
for(const[label,e]of[['PEC',b.pec],['Créditos com regras próprias',b.credits]]as const){try{if(!e.state||!e.reference.trim())throw Error('presença/ausência e suporte em falta');if(e.state==='absent'){if(e.amount.trim())throw Error('ausência contradiz montante preenchido');}else if(cmp(moneyInput(e.amount),zero())!==0n)throw Error('montante positivo fora deste recorte:corresponder ordem,limite e transporte próprios;sem abatimento ou reembolso automático');}catch(err){pending.push(label+': '+String(err));}}
const claims:Array<{id:string;kind:'withholding'|'ppc';identity:string;proofAmount:FiscalFraction|null;value:FiscalFraction|null;sourceKey:string;allocationAmount:FiscalFraction|null;document:string;issuer:string;date:string;subjectNuit:string;year:string;reason:string}>=[];
for(const r of b.withholdings.rows){const o=options.find(o=>o.rowId===r.rowId&&o.paymentId===r.paymentId),issues:string[]=[];let value:FiscalFraction|null=null,proofAmount:FiscalFraction|null=null;
try{if(!o||!o.ready||r.sourceKey!==o.key)throw Error(o?.reason||'provaL5 ausente ou alterada;reutilize sem duplicar');if(r.subjectNuit!==b.subjectNuit||r.year!==b.year||o.year!==b.year||!o.date.startsWith(b.year+'-'))throw Error('entidade/exercício da retenção não correspondem ao fecho');if(r.incomeIncluded!=='yes'||!r.reference.trim())throw Error('confirme o próprio beneficiário/NUIT e inclusão do rendimento na base do exercício com suporte');value=moneyInput(r.amount);proofAmount=moneyInput(o.proofAmount);if(cmp(value,moneyInput(o.amount))>0n)throw Error('parcela ultrapassa a retenção efectivamente comprovada e afectada emL5');if(b.withholdings.rows.filter(x=>x.rowId===r.rowId&&x.paymentId===r.paymentId).length!==1)throw Error('retenção/prova repetida;uma afectação por linhaL5');if(assessment?.record?.model.special?.cooperative.status==='calculated'&&cmp(value,zero())>0n)throw Error('cooperativa integralmente elegível declara ausência de rendimentos retidos;segregue o casoL7 antes do crédito anual');}catch(e){issues.push(String(e));value=null;}
claims.push({id:r.id,kind:'withholding',identity:o?.identity??'',proofAmount,value,sourceKey:r.sourceKey,allocationAmount:o&&value?moneyInput(o.amount):null,document:o?.document??r.paymentId,issuer:o?.issuer??'',date:o?.date??'',subjectNuit:r.subjectNuit,year:r.year,reason:issues.join(' ')});
}
for(const r of b.ppc.rows){const issues:string[]=[];let value:FiscalFraction|null=null,proofAmount:FiscalFraction|null=null;
try{if(!r.document.trim()||!r.issuer.trim()||!r.reference.trim()||r.effective!=='yes'||r.currency!=='MZN'||!iso(r.date)||!r.date.startsWith(b.year+'-')||r.subjectNuit!==b.subjectNuit||r.year!==b.year)throw Error('PPC exige comprovativo efectivo,MZN,data,entidade e exercício correspondentes;projecção/tesouraria não é pagamento');value=moneyInput(r.amount);proofAmount=moneyInput(r.proofAmount);if(cmp(value,proofAmount)>0n)throw Error('parcelaPPC ultrapassa o montante comprovado');}catch(e){issues.push(String(e));value=null;}
claims.push({id:r.id,kind:'ppc',identity:proofIdentity(r.issuer,r.document,r.date),proofAmount,value,sourceKey:'',allocationAmount:null,document:r.document,issuer:r.issuer,date:r.date,subjectNuit:r.subjectNuit,year:r.year,reason:issues.join(' ')});
}
const elsewhere:Array<{identity:string;subjectNuit:string;year:string;value:FiscalFraction;proofAmount:FiscalFraction;sourceKey:string}>=[];
for(const[scope,other]of Object.entries(books(d))){if(scope===acquisitionScope(d))continue;try{validateAnnual(other);for(const r of other.ppc.rows)elsewhere.push({identity:proofIdentity(r.issuer,r.document,r.date),subjectNuit:r.subjectNuit,year:r.year,value:moneyInput(r.amount),proofAmount:moneyInput(r.proofAmount),sourceKey:''});for(const r of other.withholdings.rows){const source=(store(d).irpcWithholdings??{})[scope];const row=source?.rows?.find((x:{id:string})=>x.id===r.rowId),p=source?.payments?.find((x:{id:string})=>x.id===r.paymentId);if(row&&p)elsewhere.push({identity:proofIdentity(row.counterparty,p.reference,p.date),subjectNuit:r.subjectNuit,year:r.year,value:moneyInput(r.amount),proofAmount:moneyInput(p.amount),sourceKey:r.sourceKey});}}catch(e){if(other?.subjectNuit===b.subjectNuit)pending.push('Outro mapa da mesma entidade não recuperável para conferir duplicações: '+scope+';'+String(e));}}
for(const c of claims){if(!c.value||!c.proofAmount)continue;const same=claims.filter(x=>x.identity===c.identity&&x.value),other=elsewhere.filter(x=>x.identity===c.identity);let issue='';
if(same.filter(x=>x.kind==='ppc').length>1||new Set(same.map(x=>x.kind)).size>1)issue='Mesmo comprovativo repetido ou usado como retenção ePPC;reconcilie sem dedução dupla.';
if(other.some(x=>x.subjectNuit!==b.subjectNuit||x.year!==b.year))issue='Mesmo comprovativo já associado a outra entidade/exercício;reconcilie a titularidade e a afectação.';
if([...same,...other].some(x=>x.proofAmount&&cmp(x.proofAmount,c.proofAmount!)!==0n)||cmp(addFractions([...same.flatMap(x=>x.value?[x.value]:[]),...other.map(x=>x.value)]),c.proofAmount)>0n)issue='Comprovativo utilizado além do montante disponível ou com montantes divergentes neste/outro mapa.';
if(c.kind==='withholding'&&c.sourceKey&&c.allocationAmount&&cmp(addFractions([...same.filter(x=>x.sourceKey===c.sourceKey).flatMap(x=>x.value?[x.value]:[]),...other.filter(x=>x.sourceKey===c.sourceKey).map(x=>x.value)]),c.allocationAmount)>0n)issue='Mesma afectação L5 reutilizada além da parcela disponível, ainda que o comprovativo global seja maior.';
if(issue)c.reason=[c.reason,issue].filter(Boolean).join(' ');
}
for(const c of claims)if(c.reason)pending.push((c.document||c.id)+': '+c.reason);
const knownWithholdings=addFractions(claims.filter(c=>c.kind==='withholding'&&!c.reason&&c.value).map(c=>c.value!)),knownPpc=addFractions(claims.filter(c=>c.kind==='ppc'&&!c.reason&&c.value).map(c=>c.value!));
const ready=pending.length===0&&colecta!==null,arithmeticBalance=ready?subtractFractions(subtractFractions(colecta!,knownWithholdings),knownPpc):null;
let payable:FiscalFraction|null=null,recoverable:FiscalFraction|null=null,belowMinimum:FiscalFraction|null=null;let status:'payable'|'recoverable'|'balanced'|'below_minimum'|'indeterminate'='indeterminate';
if(arithmeticBalance){const n=BigInt(arithmeticBalance.numerator),abs=fraction(n<0n?-n:n,BigInt(arithmeticBalance.denominator));payable=zero();recoverable=zero();belowMinimum=zero();if(!n)status='balanced';else if(cmp(abs,fraction(100n))<0n){status='below_minimum';belowMinimum=abs;warn.push('Art27(6):saldo inferior a100MZN,sem cobrança/reembolso neste recorte;aritmética conservada,não é transporte de crédito.');}else if(n>0n){status='payable';payable=abs;}else{status='recoverable';recoverable=abs;}}
return{version:annualSettlementVersion,input:structuredClone(input),subjectNuit:b.subjectNuit,year:b.year,assessment:assessment?.record?{key:b.assessmentKey,kind:b.assessment,version:assessment.record.model.version,createdAt:assessment.record.createdAt,colecta,period:assessment.period,origin:assessment.record.model.origin}:null,claims,knownWithholdings,knownPpc,arithmeticBalance,payable,recoverable,belowMinimum,status,pending:[...new Set(pending)],warnings:warn,source:annualSettlementSource,officialBalancesConsumed:false,submitted:false,refundReceived:false,limitations:['L8 parcial:PEC e créditos positivos,tributação autónoma,períodos especiais e pagamentos noutra moeda exigem regras próprias.','PPC aqui é pagamento comprovado;não cálculo automático da obrigação ou calendário.','Retenção sofrida não é retenção entregue pela empresa por conta de terceiros.','Valores racionais exactos;camposM20/M22 e representação não presumidos.','Saldo simulado por colecta projectada;sem pagamento,submissão ou reembolso automático.']};
}
export type AnnualModel=ReturnType<typeof calculateAnnual>;
export function recordAnnual(d:Record<string,unknown>,b:AnnualBook,now=new Date().toISOString()):AnnualBook{return{...b,history:b.result?[...b.history,structuredClone(b.result)]:b.history,result:{version:annualSettlementVersion,key:key(d,b),createdAt:now,model:calculateAnnual(d,b)}};}
const show=(v:FiscalFraction|null)=>v?(fractionPresentation(v).approximate?'≈':'')+fractionPresentation(v).decimal+' MZN (exacto '+v.numerator+'/'+v.denominator+')':'Indeterminado';
const stateLabel=(s:State)=>s==='known'?'Valor conhecido':s==='absent'?'Ausência declarada':'Informação em falta';
export function annualReportRows(d:Record<string,unknown>):Array<[string,string,string,string]>{
try{
const b=annualBook(d),r=b?.result;if(!b||!r)return[];const m=r.model;
const status={payable:'A pagar',recoverable:'A recuperar',balanced:'Saldo zero',below_minimum:'Inferior ao mínimo de cobrança/reembolso',indeterminate:'Indeterminado'}[m.status];
return[
['IRPC — L8','Fecho anual — âmbito e origem',
'NUIT: '+m.subjectNuit+'; exercício: '+m.year+'; colecta: '+show(m.assessment?.colecta??null)+'; origem: '+(m.assessment?.kind==='special'?'L7 qualificado':'L6 normal')+'. '+(annualCurrent(d,b)?'Entradas correspondentes.':'Histórico; origem/entradas alteradas: recalcule o saldo corrente.')+' Saldo simulado, não liquidação submetida.',
m.input.reference+'; '+m.input.assessmentReference+'; '+m.source],
...m.claims.map(c=>[
'IRPC — L8',(c.kind==='withholding'?'Retenção sofrida':'PPC')+' — '+(c.document||c.id),
'Entidade: '+c.subjectNuit+'; exercício: '+c.year+'; emitente: '+c.issuer+'; data: '+c.date+'; comprovado: '+show(c.proofAmount)+'; parcela: '+(c.reason?'Indeterminado':show(c.value))+'. '+(c.reason||'Reconciliada sem utilização duplicada.'),
c.kind==='withholding'?m.input.withholdings.reference+'; '+(m.input.withholdings.rows.find(r=>r.id===c.id)?.reference??''):m.input.ppc.reference+'; '+(m.input.ppc.rows.find(r=>r.id===c.id)?.reference??'')
]as[string,string,string,string]),
['IRPC — L8','Saldo anual simulado',
'Estado: '+status+'. Retenções conhecidas: '+show(m.knownWithholdings)+'; PPC conhecidos: '+show(m.knownPpc)+'; saldo aritmético: '+show(m.arithmeticBalance)+'; a pagar: '+show(m.payable)+'; a recuperar: '+show(m.recoverable)+'. '+m.pending.join(' | ')+' '+m.warnings.join(' '),m.source],
['IRPC — L8','Estados dos comprovativos',
'Retenções sofridas: '+stateLabel(m.input.withholdings.state)+'; PPC: '+stateLabel(m.input.ppc.state)+'. Subtotais conhecidos não substituem informação em falta.',m.input.withholdings.reference+'; '+m.input.ppc.reference],
['IRPC — L8','PEC e créditos separados',
'PEC: '+stateLabel(m.input.pec.state)+'; montante declarado: '+(m.input.pec.amount||'Não preenchido')+'; créditos: '+stateLabel(m.input.credits.state)+'; montante declarado: '+(m.input.credits.amount||'Não preenchido')+'. Sem dedução, transporte ou reembolso presumidos. '+m.limitations.join(' '),m.input.pec.reference+'; '+m.input.credits.reference]
];
}catch(e){return[['IRPC — L8','Não recuperável',String(e),'Originais e históricos conservados.']];}
}
export function annualHtml(d:Record<string,unknown>){const b=annualBook(d);if(!b?.result||!annualCurrent(d,b))throw Error('Calcule e guardeL8 com as fontes actuais antes de exportar.');const esc=(s:string)=>s.replace(/[&<>"']/g,c=>({'&':'&amp;','<':'&lt;','>':'&gt;','"':'&quot;',"'":'&#39;'}[c]!));return'<!doctype html><html lang="pt"><meta charset="utf-8"><title>IRPC — L8 saldo anual simulado</title><h1>IRPC — colecta e saldo anual simulado</h1><p>Não é declaração submetida,pagamento efectuado ou reembolso recebido.</p>'+annualReportRows(d).map(r=>'<section><h2>'+esc(r[1])+'</h2><p>'+esc(r[2])+'</p><small>'+esc(r[3])+'</small></section>').join('')+'</html>';}
@@ -179,6 +179,7 @@ const rowSection: Record<string, DossierReportSectionId> = {
'IRPC — retenções': 'finance',
'IRPC normal — L6': 'finance',
'IRPC — L7': 'finance',
'IRPC — L8': 'finance',
Equipa: 'team',
'Necessidade de negócio': 'resources',
Financiamento: 'resources',
+2
View File
@@ -1,3 +1,4 @@
import {annualReportRows} from './irpc-annual-settlement.ts';
import {proactiveInvestmentRows} from './proactive-investment-report.ts';
import {normalReportRows} from './irpc-normal.ts';
import {irpcReportRows} from './irpc-withholdings.ts';
@@ -698,6 +699,7 @@ export function buildProjectDossierRows(
rows.push(...ispcResidualReportRows(draft));
rows.push(...irpcReportRows(draft));
rows.push(...normalReportRows(draft));
rows.push(...annualReportRows(draft));
rows.push(...fiscalCalculationGapReportRows(draft));
rows.push(...l3FormPreparationReportRows(draft));
const operationRows = salesReportRows(draft);
@@ -0,0 +1,56 @@
<?php
namespace Tests\Feature;
use App\Models\User;
use Illuminate\Foundation\Testing\DatabaseTransactions;
use Illuminate\Support\Facades\DB;
use Illuminate\Support\Str;
use Tests\TestCase;
final class IrpcAnnualSettlementDraftTest extends TestCase
{
use DatabaseTransactions;
public function test_annual_simulated_balances_round_trip_with_proofs_states_and_preserved_books(): void
{
$target=DB::selectOne('select current_database() as name,inet_server_port() as port');
$this->assertSame('simulator_fiscal_delta_20261021_test',$target->name);
$this->assertSame(55441,(int)$target->port);
config(['investor-path.enabled'=>true,'suitecrm.enabled'=>false]);
$this->actingAs(User::factory()->create(['email_verified_at'=>now()]));
$id=null;$etag=null;
foreach(['payable','recoverable','balanced','absent','missing','duplicate','pec']as$case){
$d=json_decode(file_get_contents(base_path('outputs/irpc-l8-settlement/'.$case.'.json')),true,flags:JSON_THROW_ON_ERROR);
$personal=['person_type'=>$d['person_type']];unset($d['person_type']);
if($id===null)$id=$this->postJson('/api/v1/simulation-drafts',['personal_snapshot'=>$personal,'economic_snapshot'=>$d],['Idempotency-Key'=>(string)Str::uuid()])->assertCreated()->json('data.id');
else $this->putJson('/api/v1/simulation-drafts/'.$id,['personal_snapshot'=>$personal,'economic_snapshot'=>$d],['If-Match'=>$etag])->assertOk();
$r=$this->getJson('/api/v1/simulation-drafts/'.$id)->assertOk();$etag=$r->headers->get('ETag');$back=$r->json('data.economic_snapshot');
$this->assertSame($d['modelo_a_snapshot'],$back['modelo_a_snapshot']);
$this->assertSame($d['business_plan_snapshot'],$back['business_plan_snapshot']);
$before=json_decode($d['modelo_a_snapshot'],true,flags:JSON_THROW_ON_ERROR);
$s=json_decode($back['modelo_a_snapshot'],true,flags:JSON_THROW_ON_ERROR);$scope=$d['context_opportunity'];
$b=$s['irpcAnnual'][$scope];$m=$b['result']['model'];
foreach(['irpcNormal','irpcWithholdings','books','currencyEvents','ispcQuarters']as$map)$this->assertSame($before[$map],$s[$map]);
$this->assertSame('IRPC-annual-settlement/1',$m['version']);
$this->assertSame('123456789',$m['subjectNuit']);$this->assertSame('2026',$m['year']);
$this->assertSame(['numerator'=>'1408','denominator'=>'1'],$m['assessment']['colecta']);
$this->assertFalse($m['officialBalancesConsumed']);$this->assertFalse($m['submitted']);$this->assertFalse($m['refundReceived']);
$this->assertSame('known',$m['input']['credits']['state']);$this->assertSame('0',$m['input']['credits']['amount']);
if(in_array($case,['missing','duplicate','pec'],true)){
$this->assertSame('indeterminate',$m['status']);$this->assertNotEmpty($m['pending']);
$this->assertNull($m['arithmeticBalance']);$this->assertNull($m['payable']);$this->assertNull($m['recoverable']);
if($case==='missing')$this->assertSame('',$m['input']['ppc']['rows'][0]['effective']);
if($case==='pec')$this->assertSame('10',$m['input']['pec']['amount']);
if($case==='duplicate')$this->assertCount(2,$m['input']['ppc']['rows']);
}else{
$this->assertEmpty($m['pending']);
$this->assertSame(['payable'=>'payable','recoverable'=>'recoverable','balanced'=>'balanced','absent'=>'payable'][$case],$m['status']);
$this->assertSame(['numerator'=>['payable'=>'608','recoverable'=>'-192','balanced'=>'0','absent'=>'1408'][$case],'denominator'=>'1'],$m['arithmeticBalance']);
$this->assertSame(['numerator'=>$case==='recoverable'?'192':'0','denominator'=>'1'],$m['recoverable']);
if($case==='absent'){$this->assertSame('absent',$m['input']['withholdings']['state']);$this->assertSame('absent',$m['input']['ppc']['state']);}
else{$this->assertSame('yes',$m['input']['withholdings']['rows'][0]['incomeIncluded']);$this->assertSame('yes',$m['input']['ppc']['rows'][0]['effective']);}
}
file_put_contents(base_path('outputs/irpc-l8-settlement/recovered-'.$case.'.json'),json_encode($back,JSON_THROW_ON_ERROR|JSON_UNESCAPED_UNICODE));
}
}
}
+22
View File
@@ -140,6 +140,28 @@ final class ProactiveInvestmentTest extends TestCase
$this->assertTrue(app(\App\Services\InvestmentCatalogue::class)->query(['perspective'=>$kind])->whereKey($id)->exists());
}
}
public function test_private_analysis_complements_keep_preparation_valid_without_inventing_public_offers(): void
{
$private=$this->create('Gurué');$public=$this->create();
$input=$this->publication($public,['summary'=>'SYNTHETIC QA: silos e armazenagem como componente documentada.']);
$plan=$this->postJson('/minhas-oportunidades/'.$public->id.'/divulgacao/previa',$input)->assertOk()->json();
$this->postJson('/minhas-oportunidades/'.$public->id.'/divulgacao/confirmar',['token'=>$plan['token'],'operation_key'=>(string)Str::uuid(),'confirm'=>true,'reason'=>'SYNTHETIC QA public component in transaction only'])->assertOk();
$result=$this->postJson('/complementos-investimento',['contexts'=>[['origin'=>'opportunity:'.$private->id],['origin'=>'opportunity:'.$public->id]]])->assertOk()->json();
$this->assertSame([],$result['issues']);$this->assertNotEmpty($result['items']);
foreach($result['items']as$item)$this->assertSame('opportunity:'.$public->id,$item['origin']['key']);
$this->assertStringNotContainsString('PRIVATE-QA-',json_encode($result));
$this->assertFalse(Opportunity::published()->whereKey($private->id)->exists());
$this->assertSame('draft',$private->fresh()->status);
}
public function test_private_analysis_complements_still_hide_unauthorised_sources(): void
{
$private=$this->create('Gurué');$this->login(User::factory()->create());
$this->postJson('/complementos-investimento',['origin'=>'opportunity:'.$private->id])->assertNotFound();
$result=$this->postJson('/complementos-investimento',['contexts'=>[['origin'=>'opportunity:'.$private->id]]])->assertOk()->json();
$this->assertSame([],$result['items']);$this->assertCount(1,$result['issues']);
$this->assertStringNotContainsString($private->title,json_encode($result));
$this->assertStringNotContainsString('PRIVATE-QA-',json_encode($result));
}
public function test_authenticated_multi_idea_preparation_keeps_each_origin_and_deliberate_edits_in_existing_dossier(): void
{
$first=$this->create();$second=$this->create('Gurué');$this->publish($first);$this->publish($second);$investor=User::factory()->create();$this->login($investor);
@@ -0,0 +1,105 @@
import test from 'node:test';
import assert from 'node:assert/strict';
import fs from 'node:fs';
import {normalBook,normalCurrent,saveNormalBook} from '../../resources/js/lib/irpc-normal.ts';
import {irpcBook,newIrpcRow,saveIrpcBook,recordIrpc} from '../../resources/js/lib/irpc-withholdings.ts';
import {annualBook,newAnnualBook,newAnnualPpc,saveAnnualBook,reuseAnnualAssessment,annualAssessment,annualWithholdingOptions,reuseAnnualWithholding,calculateAnnual,recordAnnual,annualCurrent,annualReportRows,annualHtml} from '../../resources/js/lib/irpc-annual-settlement.ts';
import {createProjectDossierReport} from '../../resources/js/lib/project-dossier-report.ts';
const read=n=>JSON.parse(fs.readFileSync(new URL('./fixtures/'+n,import.meta.url),'utf8'));
const val=v=>v?Number(v.numerator)/Number(v.denominator):null;
const now='2026-10-26T18:00:00+02:00';
const original=()=>read('irpc-assessment-preserved.json');
function acceptedL7(expense=false){const d=read('irpc-l7-preserved.json')[expense?'expense':'acceleration'];if(!expense){const f=read('irpc-l7-continuation-preserved.json');d.business_plan_snapshot=f.plan;d.modelo_a_snapshot=saveNormalBook(d,f.book);}return d;}
function setup(rf='300',ppc='500'){
const d=original(),l5=irpcBook(d);
if(rf!==null){
const row={...newIrpcRow('L8-received'),direction:'received',origin:'effective',counterparty:'QA pagador A',documentRef:'QA rendimento próprio 2026',base:String(Number(rf)*5),currency:'MZN',kind:'royalty',recipientIrpc:'yes',payerIrpc:'yes',residence:'resident',mozambique:'yes',qualificationRef:'QA royalties próprios incluídos no resultado anual',specialRelief:'none',eventsComplete:'yes',events:[{kind:'payment',date:'2026-10-02',reference:'QA rendimento e primeiro evento 2026'}],settlement:'complete',settlementRef:'QA retenção efectivamente sofrida e reconciliada',allocations:[{paymentId:'RF-L8',amount:rf}],ordinary:{nonDigital:'yes',capitalType:'',rentOwnPropertyManagement:'',specialFacts:'no',capitalSeatAndManagement:'',reference:'QA royalties não digitais de residente'}};
l5.rows.push(row);l5.payments.push({id:'RF-L8',kind:'withholding_proof',reference:'QA-RF-2026-1',date:'2026-10-02',amount:rf,currency:'MZN'});
d.modelo_a_snapshot=saveIrpcBook(d,recordIrpc(d,l5,now));
}
let b=reuseAnnualAssessment(d,newAnnualBook());b.reference='QA entidade123456789,exercício2026,declaração integral dos abatimentos';b.assessmentReference='QA colecta válida já demonstrada1408';
b.withholdings={state:rf===null?'absent':'known',reference:'QA inventário completo das retenções efectivamente sofridas por este sujeito no exercício',rows:[]};
b.ppc={state:ppc===null?'absent':'known',reference:'QA inventário completo dos PPC efectuados no exercício',rows:[]};
b.pec={state:'absent',amount:'',reference:'QA ausência de PEC'};b.credits={state:'known',amount:'0',reference:'QA créditos com regras próprias conhecidos zero'};
if(rf!==null){b=reuseAnnualWithholding(d,b,'L8-received','RF-L8','claim-rf');Object.assign(b.withholdings.rows[0],{incomeIncluded:'yes',reference:'QA próprio beneficiário NUIT123456789;rendimento incluído na base anual2026'});}
if(ppc!==null)b.ppc.rows.push({...newAnnualPpc('claim-ppc'),document:'QA-PPC-2026-1',issuer:'QA AT',date:'2026-06-30',subjectNuit:b.subjectNuit,year:b.year,proofAmount:ppc,amount:ppc,effective:'yes',reference:'QA recibo de PPC efectivo e afectação ao sujeito/exercício'});
return{d,b};
}
const model=(d,b)=>calculateAnnual(d,b);
const pending=(d,b)=>{const m=model(d,b);assert.equal(m.status,'indeterminate',m.pending.join(' | '));assert.equal(m.arithmeticBalance,null);assert.equal(m.payable,null);assert.equal(m.recoverable,null);return m;};
test('optional L8 leaves accepted assessment, other books and report rows untouched',()=>{
const d=original(),before=JSON.stringify(d),b=normalBook(d);assert.equal(normalCurrent(d,b),true);assert.equal(val(annualAssessment(d).colecta),1408);assert.equal(annualBook(d),undefined);assert.deepEqual(annualReportRows(d),[]);assert.equal(JSON.stringify(d),before);
const old=acceptedL7();assert.deepEqual(annualReportRows(old),[]);assert.equal(normalBook(old).result.model.version,'IRPC-normal-adjustments/13');
});
test('1408 minus actual received300 and provenPPC500 yields608 payable without consuming official balances',()=>{
const{d,b}=setup(),before=d.modelo_a_snapshot,m=model(d,b);assert.deepEqual(m.pending,[]);assert.equal(m.status,'payable');assert.equal(val(m.knownWithholdings),300);assert.equal(val(m.knownPpc),500);assert.equal(val(m.payable),608);assert.equal(val(m.recoverable),0);assert.equal(m.officialBalancesConsumed,false);assert.equal(m.submitted,false);assert.equal(d.modelo_a_snapshot,before);
});
test('1408 minus1000 and600 yields192 recoverable;408 and1000 balances exactly',()=>{
for(const[rf,ppc,status,balance]of[['1000','600','recoverable',-192],['408','1000','balanced',0]]){const{d,b}=setup(rf,ppc),m=model(d,b);assert.deepEqual(m.pending,[]);assert.equal(m.status,status);assert.equal(val(m.arithmeticBalance),balance);assert.equal(val(m.recoverable),balance<0?-balance:0);}
});
test('declared absence yields1408;known zero has its own proof and missing never becomes zero',()=>{
const{d,b}=setup(null,null);assert.equal(val(model(d,b).payable),1408);b.credits.state='';assert.match(pending(d,b).pending.join(' '),/Créditos/);b.credits={state:'absent',amount:'',reference:'QA ausência'};b.ppc.state='';assert.match(pending(d,b).pending.join(' '),/PPC/);
const zero=setup('0','0');assert.equal(val(model(zero.d,zero.b).payable),1408);assert.equal(model(zero.d,zero.b).input.withholdings.state,'known');
});
test('effective received L5 proof is required, not a projection,remittance or definitive withholding',()=>{
for(const patch of[{origin:'projected'},{direction:'paid'},{residence:'nonresident',permanentEstablishment:'no'}]){const{d,b}=setup(),l5=irpcBook(d);Object.assign(l5.rows.find(r=>r.id==='L8-received'),patch);d.modelo_a_snapshot=saveIrpcBook(d,recordIrpc(d,l5,now));const option=annualWithholdingOptions(d).find(o=>o.rowId==='L8-received');assert.equal(option.ready,false);pending(d,b);}
const{d,b}=setup(),l5=irpcBook(d);l5.payments.find(p=>p.id==='RF-L8').kind='remittance';d.modelo_a_snapshot=saveIrpcBook(d,recordIrpc(d,l5,now));pending(d,b);
});
test('beneficiary,income inclusion,proof date,entity,exercise and actualPPC are mandatory',()=>{
for(const change of[b=>b.withholdings.rows[0].incomeIncluded='',b=>b.withholdings.rows[0].reference='',b=>b.withholdings.rows[0].subjectNuit='999999999',b=>b.year='2025',b=>b.ppc.rows[0].subjectNuit='999999999',b=>b.ppc.rows[0].year='2025',b=>b.ppc.rows[0].currency='USD',b=>b.ppc.rows[0].date='2026-02-30',b=>b.ppc.rows[0].date='2027-01-01',b=>b.ppc.rows[0].effective='no',b=>b.ppc.rows[0].reference='',b=>b.reference='']){const{d,b}=setup();change(b);pending(d,b);}
});
test('selected current source and reusing collection never overwrite deliberate entity/year edits',()=>{
const{d,b}=setup();b.subjectNuit='999999999';b.year='2025';const next=reuseAnnualAssessment(d,b);assert.equal(next.subjectNuit,'999999999');assert.equal(next.year,'2025');pending(d,next);
const other=setup();other.b.assessmentKey='old-source';pending(other.d,other.b);
});
test('absence contradiction and incomplete group inventories are indeterminate,not assumed totals',()=>{
for(const change of[b=>{b.withholdings={state:'absent',reference:'QA ausência contraditória',rows:[]};},b=>b.ppc.rows=[],b=>b.ppc.state='absent',b=>b.withholdings.reference='']){const{d,b}=setup();change(b);pending(d,b);}
});
test('duplicate pair,duplicatePPC,overclaim and cross-kind physical proof cannot be deducted twice',()=>{
for(const change of[b=>b.withholdings.rows.push({...b.withholdings.rows[0],id:'duplicate'}),b=>b.ppc.rows.push({...b.ppc.rows[0],id:'duplicate'}),b=>b.withholdings.rows[0].amount='301',b=>b.ppc.rows[0].amount='501',b=>Object.assign(b.ppc.rows[0],{document:' QA-RF-2026-1 ',issuer:'QA pagador A',date:'2026-10-02',amount:'100',proofAmount:'300'})]){const{d,b}=setup();change(b);pending(d,b);}
const{d,b}=setup();assert.throws(()=>reuseAnnualWithholding(d,b,'L8-received','RF-L8','again'),/já seleccionada/);
});
test('partial proof allocations allowed only within its available amount across context maps',()=>{
const{d,b}=setup(null,'500');b.ppc.rows[0].amount='300';const other=structuredClone(b);other.ppc.rows[0].id='other';other.ppc.rows[0].amount='200';const s=JSON.parse(d.modelo_a_snapshot);s.irpcAnnual={'opportunity:other':other};d.modelo_a_snapshot=JSON.stringify(s);assert.equal(val(model(d,b).payable),1108);other.ppc.rows[0].amount='201';d.modelo_a_snapshot=JSON.stringify(s);pending(d,b);
other.ppc.rows[0].amount='100';other.ppc.rows[0].subjectNuit='999999999';d.modelo_a_snapshot=JSON.stringify(s);pending(d,b);
other.ppc.rows[0].subjectNuit=b.subjectNuit;other.ppc.rows[0].year='2025';d.modelo_a_snapshot=JSON.stringify(s);pending(d,b);
});
test('positive PEC or specialcredit stays separated with null final balances,explicitzero permitted',()=>{
for(const key of['pec','credits']){const{d,b}=setup();b[key]={state:'known',amount:'10',reference:'QA saldo positivo exige regra própria'};const m=pending(d,b);assert.match(m.pending.join(' '),/fora deste recorte/);assert.equal(val(m.knownPpc),500);b[key].amount='0';assert.equal(model(d,b).status,'payable');b[key]={state:'absent',amount:'0',reference:'QA ausência contradiz montante'};pending(d,b);}
});
test('changing receipt date cannot evade identity checks;copied L5 allocation cannot consume larger proof twice',()=>{
const p=setup();p.b.ppc.rows.push({...p.b.ppc.rows[0],id:'other-date',date:'2026-07-01',amount:'100'});pending(p.d,p.b);
const{d,b}=setup();const l5=irpcBook(d);l5.payments.find(p=>p.id==='RF-L8').amount='1000';d.modelo_a_snapshot=saveIrpcBook(d,recordIrpc(d,l5,now));b.withholdings.rows=[];const fresh=reuseAnnualWithholding(d,b,'L8-received','RF-L8','rf');Object.assign(fresh.withholdings.rows[0],{amount:'200',incomeIncluded:'yes',reference:'QA próprio beneficiário e rendimento incluído'});
const other=structuredClone(fresh);other.withholdings.rows[0].amount='101';other.ppc.rows=[];other.ppc.state='absent';const s=JSON.parse(d.modelo_a_snapshot);s.irpcAnnual={'opportunity:other':other};s.irpcWithholdings['opportunity:other']=structuredClone(l5);d.modelo_a_snapshot=JSON.stringify(s);d.modelo_a_snapshot=saveIrpcBook(d,recordIrpc(d,irpcBook(d),now));fresh.withholdings.rows[0].sourceKey=annualWithholdingOptions(d).find(o=>o.rowId==='L8-received').key;other.withholdings.rows[0].sourceKey=fresh.withholdings.rows[0].sourceKey;const current=JSON.parse(d.modelo_a_snapshot);current.irpcAnnual['opportunity:other']=other;d.modelo_a_snapshot=JSON.stringify(current);assert.match(pending(d,fresh).pending.join(' '),/Mesma afectação L5/);
other.withholdings.rows[0].amount='100';d.modelo_a_snapshot=JSON.stringify(current);assert.equal(model(d,fresh).status,'payable');
});
test('annual accepted L7 accelerated assessment is reused once rather than summed with L6',()=>{
const d=read('irpc-l7-preserved.json').acceleration,b=reuseAnnualAssessment(d,newAnnualBook());b.reference='QA entidade/exercício';b.assessmentReference='QA colecta L7';for(const key of['withholdings','ppc','pec','credits']){b[key].state='absent';b[key].reference='QA ausência declarada';}
const m=model(d,b);assert.deepEqual(m.pending,[]);assert.equal(m.assessment.kind,'special');assert.equal(val(m.payable),1996.8);assert.notEqual(val(m.payable),val(normalBook(d).result.model.colecta)+1996.8);
});
test('100 minimum is applied symmetrically;99.99 kept exact without invented rounding or carry',()=>{
for(const[ppc,status,balance]of[['1308.01','below_minimum',99.99],['1308','payable',100],['1507.99','below_minimum',-99.99],['1508','recoverable',-100]]){const{d,b}=setup(null,ppc),m=model(d,b);assert.equal(m.status,status);assert.equal(val(m.arithmeticBalance),balance);if(status==='below_minimum'){assert.deepEqual(m.belowMinimum,{numerator:'9999',denominator:'100'});assert.equal(val(m.payable),0);assert.equal(val(m.recoverable),0);}}
const{d,b}=setup();b.ppc.rows[0].amount='0.001';pending(d,b);
});
test('existing L7 source cannot be bypassed by choosing L6 and positiveautonomous/shortperiod remain scoped',()=>{
for(const expense of[false,true]){const d=acceptedL7(expense);let b=reuseAnnualAssessment(d,newAnnualBook());b.reference='QA fecho';b.assessmentReference='QA colecta';for(const key of['withholdings','ppc','pec','credits']){b[key].state='absent';b[key].reference='QA sem movimentos';}assert.equal(b.assessment,'special');let m=pending(d,b);if(!expense)assert.match(m.pending.join(' '),/períodos especiais/);if(expense)assert.match(m.pending.join(' '),/Tributação autónoma/);b.assessment='normal';assert.match(pending(d,b).pending.join(' '),/não corrente/);}
});
test('record/recover/recalculate appends history unchanged,preserves all old books/plan,no double deduction',()=>{
const{d,b}=setup(),before=JSON.parse(d.modelo_a_snapshot),plan=d.business_plan_snapshot;d.modelo_a_snapshot=saveAnnualBook(d,recordAnnual(d,b,now));const once=annualBook(d),old=structuredClone(once.result);assert.equal(annualCurrent(d,once),true);d.modelo_a_snapshot=saveAnnualBook(d,recordAnnual(d,once,now));const back=annualBook(JSON.parse(JSON.stringify(d)));assert.deepEqual(back.history,[old]);assert.equal(val(back.result.model.payable),608);assert.equal(d.business_plan_snapshot,plan);const snapshot=JSON.parse(d.modelo_a_snapshot);delete snapshot.irpcAnnual;assert.deepEqual(snapshot,before);
b.ppc.rows[0].amount='400';assert.equal(annualCurrent(d,b),false);
});
test('changed L5 or assessment invalidates current L8 while retaining historical report and references',()=>{
const{d,b}=setup();d.modelo_a_snapshot=saveAnnualBook(d,recordAnnual(d,b,now));const back=annualBook(d),old=structuredClone(back.result);back.reference='NEW reference';d.modelo_a_snapshot=saveAnnualBook(d,back);assert.equal(annualCurrent(d,back),false);assert.match(annualReportRows(d).flat().join(' '),/Histórico/);assert.doesNotMatch(annualReportRows(d).flat().join(' '),/NEW reference/);assert.throws(()=>annualHtml(d),/fontes actuais/);assert.deepEqual(back.result,old);
const n=normalBook(d);n.base.identityReference+=' changed';d.modelo_a_snapshot=saveNormalBook(d,n);assert.equal(annualCurrent(d,back),false);pending(d,back);
const changed=setup();changed.d.modelo_a_snapshot=saveAnnualBook(changed.d,recordAnnual(changed.d,changed.b,now));const saved=annualBook(changed.d),prior=structuredClone(saved.result);const l5=irpcBook(changed.d);l5.payments.find(p=>p.id==='RF-L8').reference+=' corrected';changed.d.modelo_a_snapshot=saveIrpcBook(changed.d,recordIrpc(changed.d,l5,now));assert.equal(annualCurrent(changed.d,saved),false);pending(changed.d,saved);assert.deepEqual(saved.result,prior);
});
test('malformed optionalbook never resets accepted books;report explicitly preserves missing states',()=>{
const{d,b}=setup();b.credits.state='';d.modelo_a_snapshot=saveAnnualBook(d,recordAnnual(d,b,now));assert.match(annualHtml(d),/Indeterminado/);assert.match(annualHtml(d),/Informação em falta/);assert.match(JSON.stringify(createProjectDossierReport(d,{selectedSections:new Set(['finance'])})),/Saldo anual simulado/);
const old=d.modelo_a_snapshot;b.ppc.rows.push({...b.ppc.rows[0]});assert.throws(()=>saveAnnualBook(d,b),/identificador repetido/);assert.equal(d.modelo_a_snapshot,old);
});
test('prepare only L8 delta cases for guarded API and report recovery',()=>{
const cases={payable:setup(),recoverable:setup('1000','600'),balanced:setup('408','1000'),absent:setup(null,null),missing:setup(),duplicate:setup(),pec:setup()};cases.missing.b.ppc.rows[0].effective='';cases.duplicate.b.ppc.rows.push({...cases.duplicate.b.ppc.rows[0],id:'duplicate'});cases.pec.b.pec={state:'known',amount:'10',reference:'QA PEC separado'};
fs.mkdirSync('outputs/irpc-l8-settlement',{recursive:true});for(const[name,{d,b}]of Object.entries(cases)){d.modelo_a_snapshot=saveAnnualBook(d,recordAnnual(d,b,now));fs.writeFileSync('outputs/irpc-l8-settlement/'+name+'.json',JSON.stringify(d));fs.writeFileSync('outputs/irpc-l8-settlement/'+name+'.html',annualHtml(d));}
const{d}=setup();fs.writeFileSync('outputs/irpc-l8-settlement/initial.json',JSON.stringify(d));
});
+21
View File
@@ -0,0 +1,21 @@
<?php
$root=dirname(__DIR__);
$operation=$argv[1]??'';
if(!in_array($operation,['routes','test'],true)||basename($root)!=='portal-investidor-irpc-l7-common-qa-20261026')throw new RuntimeException('Explicit isolated QA workspace and routes/test operation required.');
foreach(['storage/framework/views','storage/framework/cache','storage/framework/sessions','bootstrap/cache','storage/logs','outputs/irpc-l8-settlement']as$dir)if(!is_dir($root.'/'.$dir))mkdir($root.'/'.$dir,0700,true);
foreach(['APP_BASE_PATH'=>$root,'APP_ENV'=>'testing','APP_KEY'=>'base64:'.base64_encode(str_repeat('Q',32)),'DB_CONNECTION'=>'pgsql','DB_HOST'=>'127.0.0.1','DB_PORT'=>'55441','DB_DATABASE'=>'simulator_fiscal_delta_20261021_test','DB_USERNAME'=>'postgres','DB_PASSWORD'=>'','DB_URL'=>'','CACHE_STORE'=>'array','SESSION_DRIVER'=>'array','QUEUE_CONNECTION'=>'sync','MAIL_MAILER'=>'array'] as $k=>$v){putenv($k.'='.$v);$_ENV[$k]=$_SERVER[$k]=$v;}
$loader=require $root.'/vendor/autoload.php';
spl_autoload_register(function($class)use($root){foreach(['App\\'=>'app/','Tests\\'=>'tests/','Database\\Factories\\'=>'database/factories/']as$prefix=>$dir){if(str_starts_with($class,$prefix)){$file=$root.'/'.$dir.str_replace('\\','/',substr($class,strlen($prefix))).'.php';if(is_file($file)){require $file;return;}}}},true,true);
$app=require $root.'/bootstrap/app.php';
(new Illuminate\Foundation\Bootstrap\LoadEnvironmentVariables)->bootstrap($app);
(new Illuminate\Foundation\Bootstrap\LoadConfiguration)->bootstrap($app);
$c=config('database.connections.pgsql');
if($app->configurationIsCached()||$c['host']!=='127.0.0.1'||(int)$c['port']!==55441||$c['database']!=='simulator_fiscal_delta_20261021_test'||!empty($c['url']))throw new RuntimeException('QA guard');
$pdo=new PDO('pgsql:host=127.0.0.1;port=55441;dbname='.$c['database'],$c['username'],$c['password']);
if($pdo->query('select current_database()')->fetchColumn()!==$c['database'])throw new RuntimeException('QA identity');
if($operation==='routes'){
$app->make(Illuminate\Contracts\Console\Kernel::class)->bootstrap();
$status=Illuminate\Support\Facades\Artisan::call('wayfinder:generate',['--with-form'=>true]);
echo Illuminate\Support\Facades\Artisan::output();exit($status);
}
$argv=['phpunit','-c','phpunit.investmoz.xml','tests/Feature/IrpcAnnualSettlementDraftTest.php'];$argc=count($argv);$_SERVER['argv']=$argv;$_SERVER['argc']=$argc;require $root.'/vendor/phpunit/phpunit/phpunit';