Reconcile IVA projection with Tempo Modelo A in QA

Integrate monthly IVA with projected sales in QA
2026-10-21 14:27:24 +02:00 · 2026-10-21 14:05:46 +02:00
23 changed files with 1042 additions and 12 deletions
@@ -40,7 +40,7 @@ class SimulationController extends Controller
        $organizationId = $validated['organization_id'] ?? null;
        $execution->authorizeOrganization($actorId, $organizationId);
        if (($validated['scenario_kind'] ?? null) === 'fiscal_rule_published') {
-            $input = array_intersect_key($validated, array_flip(['base', 'currency', 'reference_date', 'operation', 'scope_declared']));
+            $input = array_intersect_key($validated, array_flip(['base', 'currency', 'reference_date', 'operation', 'scope_declared', 'monthly_sales', 'sales_vat_basis']));
            $input['scope_declared'] = (bool) $input['scope_declared'];
            $result = $execution->createPublishedFiscal($input, $actorId, $organizationId, $token, $key);
        } else {
@@ -37,7 +37,7 @@ class StoreSimulationFormDraftRequest extends FormRequest
            'contact_province', 'contact_district', 'preferred_channel',
        ];
        $economic = [
-            'journey_type', 'detail_level', 'business_plan_snapshot', 'financial_tools_snapshot', 'cashflow_snapshot', 'project_team_snapshot', 'project_execution_snapshot', 'purpose', 'manifestation_type', 'preferred_language', 'project_title', 'project_summary', 'project_problem', 'target_customers', 'value_proposition', 'market_assumption', 'market_source', 'project_milestones', 'selection_labels', 'project_type',
+            'monthly_iva_settings', 'monthly_iva_snapshot', 'journey_type', 'detail_level', 'business_plan_snapshot', 'financial_tools_snapshot', 'cashflow_snapshot', 'project_team_snapshot', 'project_execution_snapshot', 'purpose', 'manifestation_type', 'preferred_language', 'project_title', 'project_summary', 'project_problem', 'target_customers', 'value_proposition', 'market_assumption', 'market_source', 'project_milestones', 'selection_labels', 'project_type',
            'competitor_assumption', 'sales_channel_assumption', 'marketing_approach', 'location_rationale', 'project_risk_responses_snapshot', 'project_questionnaire_version',
            'customer_validation_status', 'cost_estimate_status', 'location_assessment_status', 'funding_status', 'receivables_timing_status',
            'project_type_other', 'sector_id', 'activity_id', 'products_services', 'maturity_stage', 'expected_start_date',
@@ -72,6 +72,8 @@ class StoreSimulationFormDraftRequest extends FormRequest
            'economic_snapshot.business_plan_snapshot' => ['nullable', 'string', 'max:60000'],
            'economic_snapshot.financial_tools_snapshot' => ['nullable', 'string', 'max:30000'],
            'economic_snapshot.cashflow_snapshot' => ['nullable', 'string', 'max:20000'],
+            'economic_snapshot.monthly_iva_settings' => ['nullable', 'string', 'max:2000'],
+            'economic_snapshot.monthly_iva_snapshot' => ['nullable', 'string', 'max:60000'],
            'economic_snapshot.project_team_snapshot' => ['nullable', 'string', 'max:30000'],
            'economic_snapshot.project_execution_snapshot' => ['nullable', 'string', 'max:30000'],
            'economic_snapshot.project_risk_responses_snapshot' => ['nullable', 'string', 'max:30000'],
@@ -22,6 +22,12 @@ class StoreSimulationRequest extends FormRequest
            'date_format' => 'Indique uma data de exigibilidade válida.',
            'boolean' => 'Indique se declara o enquadramento da operação.',
            'prohibited' => 'O campo :attribute não pode ser definido pelo cliente neste cálculo.',
+            'array' => 'Indique uma lista válida em :attribute.',
+            'monthly_sales.min' => 'Indique pelo menos um mês de vendas.',
+            'monthly_sales.max' => 'Este lote aceita até 12 meses dentro de 2026.',
+            'monthly_sales.*.date.regex' => 'Indique o primeiro dia de um mês de 2026.',
+            'monthly_sales.*.date.distinct' => 'Cada mês deve aparecer apenas uma vez.',
+            'monthly_sales.*.amount.present' => 'Indique o valor das vendas ou deixe-o explicitamente sem informação.',
        ];
    }

@@ -29,13 +35,31 @@ class StoreSimulationRequest extends FormRequest
    {
        return ['base' => 'base tributável', 'currency' => 'moeda', 'reference_date' => 'data de exigibilidade',
            'operation' => 'operação', 'scope_declared' => 'declaração de enquadramento', 'scenario_kind' => 'tipo de cálculo',
-            'rule_id' => 'regra', 'rule_version' => 'versão da regra', 'rate' => 'taxa', 'reduction' => 'redução'];
+            'rule_id' => 'regra', 'rule_version' => 'versão da regra', 'rate' => 'taxa', 'reduction' => 'redução',
+            'monthly_sales' => 'vendas mensais', 'monthly_sales.*.date' => 'mês da projecção',
+            'monthly_sales.*.amount' => 'vendas declaradas do mês', 'sales_vat_basis' => 'tratamento do IVA nos preços'];
    }

    /** @return array<string, list<mixed>> */
    public function rules(): array
    {
        if ($this->input('scenario_kind') === 'fiscal_rule_published') {
+            if ($this->exists('monthly_sales')) {
+                return [
+                    'scenario_kind' => ['required', 'in:fiscal_rule_published'],
+                    'monthly_sales' => ['required', 'array', 'min:1', 'max:12'],
+                    'monthly_sales.*' => ['required', 'array:date,amount'],
+                    'monthly_sales.*.date' => ['required', 'date_format:Y-m-d', 'regex:/^2026-\d{2}-01$/D', 'distinct'],
+                    'monthly_sales.*.amount' => ['present', 'nullable', 'string', 'max:40', 'regex:/^\d+(?:\.\d+)?$/D'],
+                    'sales_vat_basis' => ['required', 'in:net,included,unknown'],
+                    'currency' => ['required', 'in:MZN'],
+                    'scope_declared' => ['required', 'boolean'],
+                    'organization_id' => ['nullable', 'uuid', 'exists:organizations,id'],
+                    'base' => ['prohibited'], 'rate' => ['prohibited'], 'reduction' => ['prohibited'],
+                    'rule_id' => ['prohibited'], 'rule_version' => ['prohibited'], 'fiscal_preview' => ['prohibited'],
+                ];
+            }
+
            return [
                'scenario_kind' => ['required', 'in:fiscal_rule_published'],
                'base' => ['required', 'string', 'max:40', 'regex:/^\d+(?:\.\d+)?$/'],
@@ -6,6 +6,7 @@ namespace App\Services;

 use App\Models\InvestmentLegalSource;
 use App\Models\SimulationTaxRuleVersion;
+use Brick\Math\BigRational;
 use Illuminate\Database\Eloquent\Builder;
 use Illuminate\Support\Facades\DB;
 use Illuminate\Support\Str;
@@ -35,8 +36,11 @@ final class SimulationPublishedFiscal
            ->where('scope_key', 'mz.internal-general-net.mzn');
    }

-    public function admit(array $input): array
+    public function admit(array $input, bool $missingBase = false): array
    {
+        if (isset($input['monthly_sales'])) {
+            return $this->admitMonthly($input);
+        }
        // Called inside createPayload, after idempotent replay, never by the worker.
        abort_unless(DB::transactionLevel() > 0, 500);
        abort_unless(config('simulation-fiscal-consumer.enabled'), 503,
@@ -63,6 +67,9 @@ final class SimulationPublishedFiscal
            $input['reference_date'], $input['reference_date'], ['currency' => $input['currency'], 'operation' => $input['operation']]);
        $rate = collect($resolution)->firstWhere('parameter_code', 'IVA_GENERAL_RATE');
        $missing = [];
+        if ($missingBase) {
+            $missing[] = 'taxable_sales';
+        }
        $evaluation = null;
        if (! ($input['scope_declared'] ?? false)) {
            $missing[] = 'operation_scope';
@@ -79,4 +86,51 @@ final class SimulationPublishedFiscal

        return app(SimulationFiscalSnapshot::class)->build($version, $input, $resolution, $evaluation, $missing, true);
    }
+
+    private function admitMonthly(array $input): array
+    {
+        $rows = [];
+        $baseTotal = BigRational::zero();
+        $vatTotal = BigRational::zero();
+        $complete = true;
+        $previous = null;
+        foreach ($input['monthly_sales'] as $sale) {
+            abort_unless($previous === null || $sale['date'] === date('Y-m-d', strtotime($previous.' +1 month')), 422, 'A projecção deve conter meses consecutivos, sem duplicações.');
+            $previous = $sale['date'];
+            $known = $sale['amount'] !== null && $sale['amount'] !== '';
+            $net = $input['sales_vat_basis'] === 'net';
+            $month = $this->admit(['base' => $known && $net ? $sale['amount'] : null,
+                'currency' => $input['currency'], 'reference_date' => $sale['date'],
+                'operation' => 'internal_general_net', 'scope_declared' => $input['scope_declared']], ! $known || ! $net);
+            $snapshot ??= $month;
+            $rate = collect($month['fiscal_provenance']['resolution'])->firstWhere('parameter_code', 'IVA_GENERAL_RATE');
+            $vat = $month['result']['value'];
+            $status = ! $known ? 'missing_sales' : (! $net ? 'unsupported_basis' : ($vat === null ? 'indeterminate' : 'calculated'));
+            $rows[] = ['date' => $sale['date'], 'sales_declared' => $sale['amount'],
+                'net_sales' => $known && $net ? $sale['amount'] : null,
+                'rate' => $vat !== null && ($rate['status'] ?? null) === 'resolved' ? $rate['value'] : null,
+                'vat' => $vat, 'gross_sales' => $vat === null ? null : (string) BigRational::of($sale['amount'])->plus($vat)->toBigDecimal(),
+                'status' => $status, 'rule_id' => $month['fiscal_provenance']['rule']['id'],
+                'rule_version' => $month['fiscal_provenance']['rule']['rule_version']];
+            if ($vat === null) {
+                $complete = false;
+            } else {
+                $baseTotal = $baseTotal->plus($sale['amount']);
+                $vatTotal = $vatTotal->plus($vat);
+            }
+        }
+        $value = $complete ? (string) $vatTotal->toBigDecimal() : null;
+        $snapshot['base'] = $complete ? (string) $baseTotal->toBigDecimal() : null;
+        $snapshot['indicative_total'] = $value;
+        $snapshot['result']['value'] = $value;
+        $snapshot['result']['status'] = $complete ? 'calculated' : 'indeterminate';
+        $snapshot['result']['missing_inputs'] = $complete ? [] : ['monthly_sales_or_net_basis_or_scope'];
+        $snapshot['result']['explanation'] = 'IVA mensal sobre vendas declaradas sem IVA, pela versão publicada congelada na admissão. Valores com IVA incluído ou sem informação permanecem indeterminados. Não é imposto final a pagar.';
+        $snapshot['presentation']['value'] = $value;
+        $snapshot['intermediate'] = null;
+        $snapshot['monthly_projection'] = ['input' => $input, 'rows' => $rows,
+            'cash_treatment' => 'Informação separada da tesouraria: os recebimentos declarados não são aumentados pelo IVA nem o IVA é deduzido como custo ou imposto a pagar. Calendário de cobrança e liquidação fiscal não é inferido.'];
+
+        return $snapshot;
+    }
 }
@@ -76,3 +76,5 @@
 "Cópia privada ou derivado";"C:\laragon\www\portal-investidor\storage\app\private\portal-documents\5c860c48-e8cb-4d8d-ab9b-2e3ea7036ce2";"5c860c48-e8cb-4d8d-ab9b-2e3ea7036ce2";"1834284";"EA1B0DC6F5CF6E595F6D9A19E7042F398999E0087CAEF1785F6E8FAC571B5F53";"5c860c48-e8cb-4d8d-ab9b-2e3ea7036ce2";"";"Private stored copy already represented by its document record";"Acessível em armazenamento privado";"Inventariado por caminho, tamanho e SHA-256; não publicado nem aberto nesta revisão."
 "Cópia privada ou derivado";"C:\laragon\www\portal-investidor\storage\app\private\portal-documents\64c46765-96b9-4f43-afc6-f5b730c010c4";"64c46765-96b9-4f43-afc6-f5b730c010c4";"440018";"CCF2A8DEECA820F2DD076B4B2141B1EFE3F6A806568C3A587CA59A8E92F4C251";"64c46765-96b9-4f43-afc6-f5b730c010c4";"";"Private stored copy already represented by its document record";"Acessível em armazenamento privado";"Inventariado por caminho, tamanho e SHA-256; não publicado nem aberto nesta revisão."
 "Cópia privada ou derivado";"C:\laragon\www\portal-investidor\storage\app\private\portal-documents\b0ea969a-30ec-477b-8b8b-b7af82a11bfe";"b0ea969a-30ec-477b-8b8b-b7af82a11bfe";"67067";"5C69B6F189A1D3F5307E0CF7DD8224554705158A682637D3105AFAD615DB26E2";"b0ea969a-30ec-477b-8b8b-b7af82a11bfe";"C:\laragon\www\portal-investidor\storage\app\private\geo-ine-review-20260928\original.pdf + C:\laragon\www\portal-investidor\storage\app\private\geo-ine-review-20260928-v2\original.pdf + C:\laragon\www\portal-investidor\storage\app\private\portal-documents\b0ea969a-30ec-477b-8b8b-b7af82a11bfe";"Private stored copy already represented by its document record";"Acessível em armazenamento privado";"Inventariado por caminho, tamanho e SHA-256; não publicado nem aberto nesta revisão."
+"Formulario fornecido Tempo";"\\Mac\Home\Documents\TEMPO\Portal Tempo\Servicos Tempo\portal do investidor\Notas\Novo Modelo A.docx";"Novo Modelo A.docx";"532008";"62C198E90D8C6792F7D5CCEFC6386DF2E4B6089573067D3A6E1EAE7FC2B9572B";"IVA Modelo A - exemplar Tempo";"";"Original privado na biblioteca QA; sem publicacao ou activacao";"Acessivel / importado QA / privado / scan limpo";"Imagem incorporada lida visualmente; edicao/vigencia nao certificada. Correspondencia na reconciliacao Modelo A, AUD-SIM-INT02. Variante de bytes preservada, nao duplicado por nome."
+"Formulario fornecido Tempo";"\\Mac\Home\Documents\TEMPO\Portal Tempo\Servicos Tempo\portal do investidor\Notas\Novo Modelo A v1.docx";"Novo Modelo A v1.docx";"532100";"63D45FA80DB17A60B43619D55A25813229D670D14C758273F86316285DB8E02B";"IVA Modelo A - exemplar Tempo";"";"Original privado na biblioteca QA; sem publicacao ou activacao";"Acessivel / importado QA / privado / scan limpo";"Imagem incorporada lida visualmente; edicao/vigencia nao certificada. Correspondencia na reconciliacao Modelo A, AUD-SIM-INT02. Variante de bytes preservada, nao duplicado por nome."
@@ -1231,5 +1231,385 @@
    "main_integrated": false,
    "homologation_rule_changed": false,
    "legal_coverage_expanded": false
+  },
+  "monthly_iva_projection_qa_20261021": {
+    "branch": "codex/iva-monthly-projection-QA",
+    "status": "candidate_verified_in_isolated_QA_only",
+    "source": "existing monthly product sales; saved constant cashflow revenue only when no business plan exists",
+    "basis": "explicit net/included/unknown; only net calculated; no silent conversion",
+    "selection": "published version selected by server; frozen at admission; same resolver/evaluator",
+    "cash_treatment": "separate IVA memorandum; declared receipts/payments unchanged; not cost, no inferred collection or final settlement",
+    "manual_tax": "custom planning only; never input into monthly IVA",
+    "unknown_vs_zero": "missing month indeterminate; explicit zero calculated as zero; aggregate indeterminate if any month unknown",
+    "tests": {
+      "api_tests": 3,
+      "api_assertions": 46,
+      "frontend_tests": 4,
+      "types": "passed",
+      "build": "passed",
+      "pint": "passed",
+      "accepted_calculation_and_exporter_proofs": "reused, not repeated"
+    },
+    "qa_fixture": {
+      "database": "simulator_fiscal_delta_20261021_test",
+      "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+      "rule_version": 4,
+      "consumer_enabled": true,
+      "synthetic": true,
+      "left_available_for_review": true,
+      "draft_id": "e0201d19-286e-4d5c-9585-2c1e3bd1ad1e"
+    },
+    "live_history": [
+      {
+        "id": "06566910-9672-4176-804d-aad8350417cb",
+        "status": "completed",
+        "created_at": "2026-10-21T11:57:11.000000Z",
+        "basis": "net",
+        "rows": [
+          {
+            "vat": "160.0048",
+            "date": "2026-01-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "1000.03",
+            "gross_sales": "1160.0348",
+            "rule_version": 4,
+            "sales_declared": "1000.03"
+          },
+          {
+            "vat": "320.0096",
+            "date": "2026-02-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "2000.06",
+            "gross_sales": "2320.0696",
+            "rule_version": 4,
+            "sales_declared": "2000.06"
+          },
+          {
+            "vat": "0",
+            "date": "2026-03-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "0.00",
+            "gross_sales": "0",
+            "rule_version": 4,
+            "sales_declared": "0.00"
+          },
+          {
+            "vat": null,
+            "date": "2026-04-01",
+            "rate": null,
+            "status": "missing_sales",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": null
+          }
+        ],
+        "total": null,
+        "reports": [
+          {
+            "id": "42b95158-6c4c-43c6-801d-28e973a087a6",
+            "same_snapshot": true,
+            "sha256": "b6d10565f82f7e83952fbdbb15a357ca3a7fee550e53c80a0ef5b9e314ccfa68"
+          }
+        ]
+      },
+      {
+        "id": "098900ed-2f5f-4141-98c8-08f892912a5b",
+        "status": "completed",
+        "created_at": "2026-10-21T11:57:34.000000Z",
+        "basis": "net",
+        "rows": [
+          {
+            "vat": "480.0144",
+            "date": "2026-01-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "3000.09",
+            "gross_sales": "3480.1044",
+            "rule_version": 4,
+            "sales_declared": "3000.09"
+          },
+          {
+            "vat": "320.0096",
+            "date": "2026-02-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "2000.06",
+            "gross_sales": "2320.0696",
+            "rule_version": 4,
+            "sales_declared": "2000.06"
+          },
+          {
+            "vat": "0",
+            "date": "2026-03-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "0.00",
+            "gross_sales": "0",
+            "rule_version": 4,
+            "sales_declared": "0.00"
+          },
+          {
+            "vat": null,
+            "date": "2026-04-01",
+            "rate": null,
+            "status": "missing_sales",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": null
+          }
+        ],
+        "total": null,
+        "reports": [
+          {
+            "id": "44211195-0a53-4f4c-93ef-6ff0e439082b",
+            "same_snapshot": true,
+            "sha256": "5de00868029b7a688585e180bcd8fbef1e46e289b19ab766c58f7406fb2af972"
+          }
+        ]
+      },
+      {
+        "id": "96eec0d8-effa-4286-b465-6af50f756db4",
+        "status": "completed",
+        "created_at": "2026-10-21T11:58:35.000000Z",
+        "basis": "included",
+        "rows": [
+          {
+            "vat": null,
+            "date": "2026-01-01",
+            "rate": null,
+            "status": "unsupported_basis",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": "3000.09"
+          },
+          {
+            "vat": null,
+            "date": "2026-02-01",
+            "rate": null,
+            "status": "unsupported_basis",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": "2000.06"
+          },
+          {
+            "vat": null,
+            "date": "2026-03-01",
+            "rate": null,
+            "status": "unsupported_basis",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": "0.00"
+          },
+          {
+            "vat": null,
+            "date": "2026-04-01",
+            "rate": null,
+            "status": "missing_sales",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": null
+          }
+        ],
+        "total": null,
+        "reports": [
+          {
+            "id": "821e6347-680c-4029-9756-c3169d79f85e",
+            "same_snapshot": true,
+            "sha256": "06abadc593e65cfff64d208fac6cac3a8f98db4bef92795a27ce637fe7958cec"
+          }
+        ]
+      },
+      {
+        "id": "e88aaaea-4482-4b7d-869f-f0648a430651",
+        "status": "completed",
+        "created_at": "2026-10-21T12:00:32.000000Z",
+        "basis": "net",
+        "rows": [
+          {
+            "vat": "480.0144",
+            "date": "2026-01-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "3000.09",
+            "gross_sales": "3480.1044",
+            "rule_version": 4,
+            "sales_declared": "3000.09"
+          },
+          {
+            "vat": "320.0096",
+            "date": "2026-02-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "2000.06",
+            "gross_sales": "2320.0696",
+            "rule_version": 4,
+            "sales_declared": "2000.06"
+          },
+          {
+            "vat": "0",
+            "date": "2026-03-01",
+            "rate": "16",
+            "status": "calculated",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": "0.00",
+            "gross_sales": "0",
+            "rule_version": 4,
+            "sales_declared": "0.00"
+          },
+          {
+            "vat": null,
+            "date": "2026-04-01",
+            "rate": null,
+            "status": "missing_sales",
+            "rule_id": "01a15e50-7972-72e0-8991-82ca28df9b49",
+            "net_sales": null,
+            "gross_sales": null,
+            "rule_version": 4,
+            "sales_declared": null
+          }
+        ],
+        "total": null,
+        "reports": [
+          {
+            "id": "bc204cc7-1f0c-4468-80fa-e093642a5eac",
+            "same_snapshot": true,
+            "sha256": "4ed224f7de50b533f144f7f411d240eb1ccca6f3e5bff7a64b1eca6f6d7971dc"
+          }
+        ]
+      }
+    ],
+    "main_integrated": false,
+    "homologation_changed": false,
+    "rule_publication_on_destination": false,
+    "coverage_expanded": false,
+    "limitations": [
+      "IVA included prices unsupported in current net lot",
+      "2026 only, max 12 consecutive months",
+      "no final payable, deductions, refunds, special/reduced/exempt regimes",
+      "examples prove arithmetic/integration, not legal eligibility of every transaction"
+    ],
+    "remaining": "Tempo review/decision for code integration; no further generic preparation identified; keep real rule/publication/activation separate",
+    "proof_directory": "outputs/simulator-continuation-20261020"
+  },
+  "modelo_a_reconciliation_qa_20261021": {
+    "branch": "codex/iva-modelo-a-reconciliation-QA",
+    "parent_candidate": "3f5430c3",
+    "status": "documentary_and_first_interface_increment_verified; full IVA settlement remains incomplete",
+    "reference": "docs/investmoz/simulations/modelo-a-reconciliacao-20261021.md",
+    "originals": [
+      {
+        "id": "fbfa820d-29d5-4bf8-9f81-534931d80cef",
+        "file_name": "Novo Modelo A.docx",
+        "sha256": "62c198e90d8c6792f7d5ccefc6386df2e4b6089573067d3a6e1eae7fc2b9572b",
+        "status": "active",
+        "malware_scan_status": "clean",
+        "malware_scanned_sha256": "62c198e90d8c6792f7d5ccefc6386df2e4b6089573067d3a6e1eae7fc2b9572b"
+      },
+      {
+        "id": "cf8b799e-44de-4497-b2e3-a5c468f2fe0e",
+        "file_name": "Novo Modelo A v1.docx",
+        "sha256": "63d45fa80db17a60b43619d55a25813229d670d14c758273f86316285db8e02b",
+        "status": "active",
+        "malware_scan_status": "clean",
+        "malware_scanned_sha256": "63d45fa80db17a60b43619d55a25813229d670d14c758273f86316285db8e02b"
+      }
+    ],
+    "library_qa_only": true,
+    "resources": [
+      33,
+      34
+    ],
+    "published": false,
+    "inventory": "Existing document corpus inventory extended; private inventory of all seven accessible Notes files preserved",
+    "read": "OOXML text plus embedded image2.png visually inspected; image identical in both originals; source unchanged; all three LibreOffice reading pages inspected, field25 confirmed visually; conversion layout drift is not a replacement original",
+    "coverage": {
+      "fields_mapped": "01–27",
+      "frames_mapped": "1–13 plus ambiguously numbered prior-credit block",
+      "calculated": "Existing net general-rate component01/02 only",
+      "totals14_to18": "indeterminate, not inferred from VAT on sales"
+    },
+    "implemented": [
+      "Consultable field/purpose/data/calculation/basis/status table in normal QA simulator",
+      "Existing purchase schedules reused independently of sales completeness",
+      "Net/supported VAT/gross/deductible VAT kept separate and unknown without classification",
+      "Partial simulation marker in report; historical server snapshots not rewritten"
+    ],
+    "documentary_discrepancies": [
+      "Regularization prose11/12 versus boxes12/13",
+      "Credit note18/19 versus block19/20",
+      "Refund noteart20 versus art21 amended in2025",
+      "Ambiguous frame8 remissions; repeated25 was extraction artifact, one box25 confirmed visually"
+    ],
+    "official_sources_read": [
+      "Existing Lei22/2022 PDF4 art17-A and entry into force",
+      "Existing Lei10/2025 BR248 PDF12–15; visualPDF13/14"
+    ],
+    "unresolved": [
+      "Exact approved edition of form for period",
+      "Consolidation of relevant base provisions, Lei3/2025 and regulations for each extension",
+      "Operation-level scopes, eligibility, documents and effective dates for reduced rate/deduction"
+    ],
+    "tool_limits": [
+      "Direct AT form page timed out; indexed page has different frame numbering, not used as replacement",
+      "Current chat attachment was not exposed as a local attachment; exact-named local Tempo Notes exemplar used with hash disclosed"
+    ],
+    "tests": {
+      "new_frontend_tests": 3,
+      "types": "passed",
+      "build": "passed",
+      "browser": "new correspondence/purchases/report annotations only, no new calculation",
+      "import": "preview/private import/clean hash-matched scan/idempotent replay with zero duplicates"
+    },
+    "reused_proofs": [
+      "published rate selection",
+      "decimal calculation",
+      "monthly recovery",
+      "idempotency/suspension/history",
+      "CSV/DOCX/PDF exporters"
+    ],
+    "next_lot_estimate": {
+      "cadastre_and_consolidation_hours": [
+        8,
+        16
+      ],
+      "code_and_acceptance_hours": [
+        20,
+        36
+      ],
+      "total_hours": [
+        28,
+        52
+      ],
+      "excludes": "prior credits/substitutions/payment/refund and full fiscal coverage"
+    },
+    "main_integrated": false,
+    "homologation_changed": false,
+    "new_rules_registered": false,
+    "new_rules_published": false,
+    "consumer_activation_changed": false,
+    "proof_directory": "outputs/modelo-a-20261021"
  }
 }
@@ -0,0 +1,93 @@
+# Reconciliação do IVA com o Novo Modelo A
+
+21/10/2026. Referência AUD-SIM-INT02, sem nova matriz/backlog. Preparação progressiva em QA; não é apuramento completo, submissão ou aceitação pela AT. A componente16% existente continua independente das restantes componentes por cadastrar/desenvolver. A leitura e aceitação documental da Tempo não é apresentada como validação jurídica independente.
+
+## Exemplar e preservação
+
+Exemplar exacto: **Novo Modelo A.docx**, 532008bytes, SHA256 **62c198e90d8c6792f7d5ccefc6386df2e4b6089573067d3a6e1eae7fc2b9572b**. Localizado na pasta de notas do portal indicada no inventário privado desta execução, não substituído por formulário genérico ou pela página da AT. O quadro1–8 é imagem incorporada: word/media/image2.png, SHA2567ae7f02efca96323087d0dfa5f3078b4ae724318edd5b6c4802c863d840bdf66, conferida visualmente sobre fundo branco para tornar legível a transparência. Os blocos seguintes e respectivas instruções foram extraídos do OOXML. Também se conferiram visualmente as três páginas da conversão de leitura em LibreOffice: quadros1–8 na primeira, créditos/quadros9–13 na segunda e apenas o rodapé de distribuição na terceira. A conversão apresenta deslocações de texto; serve para leitura, não é versão corrigida ou reprodução fiel para entrega. Nenhum DOCX original foi alterado, nem se afirmou edição oficial vigente pela simples leitura.
+
+Também inventariado e conservado **Novo Modelo A v1.docx**, 532100bytes, SHA25663d45fa80db17a60b43619d55a25813229d670d14c758273f86316285db8e02b. A mesma imagem é byte a byte igual; a extracção textual difere na segmentação de palavras. São originais distintos, não duplicados por bytes, conservados sem renomear uma revisão como diploma novo. A criação OOXML em21/10/2026 não é data de aprovação ou vigência do formulário.
+
+Biblioteca QA existente, clone simulator_fiscal_delta_20261021_test: recurso33/documento fbfa820d-29d5-4bf8-9f81-534931d80cef (original) e recurso34/documento cf8b799e-44de-4497-b2e3-a5c468f2fe0e (v1). Pré-visualização, hash, conflitos de identidade/bytes, importação privada idempotente, revisão/auditoria e scan reais reutilizados; ambos limpos com o hash analisado igual ao original. **Não publicados**; consulta privada e estado documental não activam cálculo. Actor166 é fixture QA já existente, configurada apenas neste processo de ensaio da administração da biblioteca, sem atribuir função real da Tempo ou alterar permissões persistentes. Nenhuma importação no destino activo. A aceitação oficial da Tempo08/10 é preservada; os estados genéricos do importador não a revogam nem certificam vigência.
+
+## Correspondência dos quadros
+
+| Quadro/bloco no exemplar | Finalidade e dados existentes | Delta/limite |
+|---|---|---|
+|1 — Tipo de declaração|Inicial/substituição; não corresponde a criar versão de uma projecção|Não simular uma declaração efectiva; futura ligação a declaração anterior separada de versões de planeamento|
+|2 — Período/prazo|Meses da projecção disponíveis; não prova de entrega dentro/fora do prazo|Calendário fiscal e entrega efectiva por integrar; nunca marcar submissão pela data da simulação|
+|3 — NUIT/sucursal/Área Fiscal|Identificação guardada no dossier quando disponível|Reutilização com confirmação específica; não exigir NUIT para planear nem inferir enquadramento fiscal|
+|4 — Nome/designação|Identificação privada existente|Não copiar para documento público; tratar como dado efectivo só se confirmado|
+|5 — Actividade/CAE|Actividade/sector existentes; não garantem CAE ou taxa|Correspondência CAE e classificação por operação, sem converter sector em incidência|
+|6 — Domicílio fiscal|Localização e contactos do dossier|Domicílio do projecto não prova domicílio fiscal; recolher apenas diferença/confirmar contexto|
+|7 — Inexistência de operações|Zero de vendas é conhecido, mas aquisições podem existir|Não assinalar inexistência por vendas zero ou campos vazios; precisa de todas as operações activas/passivas|
+|8 — Apuramento|Campos01–18; componente01/02 disponível no âmbito actual|Demais bases, imposto suportado/dedutível e regularizações continuam indeterminados|
+|Utilização de créditos anteriores|Campos19/20; o texto remete novamente para quadro8|Registar remissão ambígua; créditos efectivos e comunicados distintos de estimativas/pedidos|
+|9 — Substituições|Campo21 e referências17/18 da actual/substituída|Guardar a relação entre declarações efectivas; uma nova simulação não substitui declaração|
+|10 — Entrega ao Estado|Campos22–24, meios de pagamento|Sem pagamento ou guia gerada; caixa prevista não prova liquidação|
+|11 — Recuperação|Campos25–27, reporte e pedido|Separar crédito, pedido, reconhecimento e recebimento; não gerar reembolso automático|
+|12 — Autenticação|Data/nome/assinatura do sujeito passivo|Autenticação do portal não assina nem submete Modelo A|
+|13 — Serviços|Entrada/inserção/receita/funcionário/recebedor|Reservado à AT; não preencher ou imitar aceitação administrativa|
+
+## Correspondência campo a campo
+
+Os rótulos de finalidade são explicativos; não corrigem a imagem nem substituem o original. Fórmulas impressas estão mapeadas, não activadas por este registo. Ausência de componente não equivale a zero.
+
+|Campo do Modelo A|Finalidade|Origem dos dados|Cálculo|Fundamento|Já implementado/em falta|
+|---|---|---|---|---|---|
+|01|Base das operações à taxa geral|Vendas mensais já projectadas, declaradas sem IVA e no âmbito geral|Base líquida do mês|CIVA arts.15 e 17; Lei22/2022; regra publicada existente|Implementado no âmbito declarado|
+|02|IVA à taxa geral|Resultado mensal congelado no servidor|Campo01 × taxa da versão publicada /100|CIVA art.17(1); mesma regra/versionamento do consumidor|Implementado; componente do apuramento|
+|03|Base de operações específicas à taxa reduzida|Operações separadas e enquadradas; ainda não recolhidas|Base das operações elegíveis|Exemplar e CIVA art.17-A, aditado pela Lei22/2022; enquadramento a cadastrar|Em falta; não assumir zero|
+|04|IVA à taxa reduzida|Campo03 e futura versão fundamentada|Campo03 × taxa reduzida aplicável; não activa pelo exemplar|CIVA art.17-A; âmbito/versão temporal a integrar|Em falta; não assumir zero|
+|05|Vendas isentas com direito à dedução|Vendas classificadas por operação e fundamento|Soma das bases classificadas; sem taxa presumida|Exemplar; CIVA arts.9–14 e 18–20 a consolidar por operação|Em falta; não assumir zero|
+|06|Operações da alínea b), n.º1, art.18, conforme exemplar|Operações classificadas com referência verificada|Soma separada; não inferir do nome do sector|Remissão do exemplar ao art.18(1)(b); cotejo do âmbito necessário|Em falta; não assumir zero|
+|07|Isentas sem direito à dedução|Vendas classificadas e uso das aquisições|Soma das bases elegíveis|Exemplar; incidência/isenções e exclusões de dedução a fundamentar|Em falta; não assumir zero|
+|08|IVA dedutível — imobilizado|Aquisições/facturas de activos, não o valor global do investimento|Apenas imposto elegível documentado|CIVA arts.18–21; art.18(2), Lei10/2025: documentos legais e fornecedor inscrito|Em falta; não assumir zero|
+|09|IVA dedutível — existências|Compras projectadas reutilizáveis; falta IVA, documento e elegibilidade|IVA elegível das existências, não compras × taxa geral|CIVA arts.18–21; condições/exclusões, afectação e período|Em falta; não assumir zero|
+|10|IVA dedutível — outros bens/serviços|Aquisições discriminadas; despesas agregadas não provam IVA|IVA elegível; excluir operações sem direito|CIVA arts.18–21; art.19(2), Lei10/2025, inclui exclusão das operações art.17-A|Em falta; não assumir zero|
+|11|IVA dedutível — importações|Documento aduaneiro legal e afectação; ainda não recolhidos|Imposto aduaneiro elegível, não taxa sobre orçamento|CIVA art.18(2), Lei10/2025; demais condições/exclusões a cadastrar|Em falta; não assumir zero|
+|12|Regularizações a favor do sujeito passivo|Ajustamentos individualizados, documento e motivo|Soma de regularizações elegíveis|Exemplar tem remissão interna 11/12 divergente das caixas12/13; fundamento por motivo por conferir|Em falta; não assumir zero|
+|13|Regularizações a favor do Estado|Ajustamentos individualizados, documento e motivo|Soma separada das regularizações elegíveis|Mesma divergência; não corrigir o original nem inventar incidência|Em falta; não assumir zero|
+|14|Soma das bases do quadro de apuramento|Campos01,03,05,06,07 completos|01+03+05+06+07|Fórmula impressa no exemplar; não é apenas vendas tributáveis|Estrutura mapeada; total indeterminado|
+|15|Total a favor do sujeito passivo|Campos08–12 completos|08+09+10+11+12|Fórmula do exemplar; depende de deduções/regularizações fundamentadas|Estrutura mapeada; total indeterminado|
+|16|Total a favor do Estado|Campos02,04,13 completos|02+04+13|Fórmula impressa no exemplar; 02 sozinho não equivale a16|Estrutura mapeada; total indeterminado|
+|17|Diferença devedora antes de créditos anteriores|Totais15/16 completos|16−15 quando16>15|Instrução do exemplar; não é automaticamente pagamento|Indeterminado; sem consolidação completa|
+|18|Diferença credora antes de créditos anteriores|Totais15/16 completos|15−16 quando15>16|Instrução do exemplar; não constitui reembolso reconhecido|Indeterminado; sem consolidação completa|
+|19|Excesso a reportar do período anterior|Histórico fiscal anterior confirmado, separado de estimativas|Crédito anterior utilizável; sem copiar crédito estimado|Quadro de utilização de créditos do exemplar; condições/prazo por conferir|Em falta; não assumir zero|
+|20|Créditos comunicados pelos serviços|Comunicação efectiva da Administração Fiscal|Crédito efectivamente comunicado e utilizável|Exemplar; não converter pedido ou crédito estimado em comunicação|Em falta; não assumir zero|
+|21|Diferencial de declaração de substituição|Valores17/18 da declaração actual e da substituída|Casos impressos no quadro9, com sinal devedor/credor|Exemplar; ligação às declarações efectivas e regras de substituição em falta|Em falta; não assumir zero|
+|22|IVA a entregar no contexto da declaração|Apuramento e créditos/substituição completos|Não derivar apenas do campo02|Quadro10 do exemplar; procedimento aplicável por fundamentar|Em falta; não assumir zero|
+|23|Juros compensatórios|Factos e períodos que legalmente os determinem|Sem taxa, mora ou obrigação presumidas|Quadro10; fundamento específico não analisado neste lote|Em falta; não assumir zero|
+|24|Importância a pagar|Campos22/23 completos|22+23|Fórmula do exemplar; não é ordem nem execução de pagamento|Em falta; não assumir zero|
+|25|Crédito de imposto do quadro11|Apuramento completo e tratamento dos créditos anteriores|Montante recuperável no contexto próprio, por fundamentar|Caixa25 confirmada visualmente no bloco de recuperação; condições por consolidar|Em falta; não assumir zero|
+|26|Reporte para período seguinte|Crédito utilizável e opção no quadro11|Separado de pedido e recebimento|Quadro11; cotejo de condições/prazos e articulação19/20 necessário|Em falta; não assumir zero|
+|27|Pedido de reembolso|Crédito elegível e pedido, sem presumir reconhecimento/caixa|Pedido distinto de aprovação e recebimento|Exemplar cita art.20; Lei10/2025 altera reembolsos no art.21. Divergência registada.|Em falta; não assumir zero|
+
+## Cotejo documental para o período2026
+
+Reutilizados os exemplares oficiais aceites e arquivados em source-archive, a fichaIVA existente e a análise primária; não se pede nova autenticação genérica das fontes. Leitura dirigida agora: Lei22/2022, art.2/aditamento17-A, PDF4/BR2252-(28), e art.6, eficácia01/01/2023; Lei10/2025 no BR248/suplemento1, PDF12–15, especialmente arts.18,19,21 na PDF13/BR2180-(13), arts.32/34 na PDF14. Páginas13 e14 de2025 e página4 de2022 renderizadas para confronto. Não se afirma revisão integral de todo o CIVA ou de todas as alterações/regulamentos.
+
+- Campo01/02: taxa geral e base líquida já fundamentadas pela ficha existente; não reabrir a prova do motor.
+- Campo03/04: o art.17-A aditado pela Lei22/2022 identifica serviços médicos/sanitários de estabelecimentos privados indicados; ensino por estabelecimentos privados integrados e reconhecidos; formação profissional por entidades privadas; lições pessoais escolares/superiores. Esta enumeração não classifica automaticamente uma empresa ou toda a sua facturação. Falta cadastro/integração do âmbito temporal e classificação por linha; não se publica uma regra5% com base apenas no formulário.
+- Aquisições: Lei10/2025, art.18(2), exige os documentos legais indicados e inscrição do fornecedor; art.18(6) trata proporcionalidade em certas bases reduzidas. Art.19(2) exclui o direito relativo às operações do art.17-A e às indicadas no art.15(6)(c). Portanto, o valor das compras ou o IVA suportado não podem ser automaticamente dedutíveis. Arts.18(1),19(1),20,21 e22, exclusões, afectação, pro rata e momento de dedução precisam de consolidação para cada futuro lote; os trechos[...] da lei alteradora não substituem o texto-base.
+- Reembolso: a nota do exemplar cita art.20. A Lei10/2025 altera no art.21 condições e prazos de reembolso/crédito, incluindo números7/8/10/13/15. Registar a divergência; não transplantar prazos ou limites isolados para regras de elegibilidade. Crédito não é recebimento garantido.
+- Preços com IVA incluído: art.34 na redacção de2025 prevê método específico para apurar a base e referência a arredondamento nesse contexto. Não é regra universal para o cálculo líquido, nem autorização para aplicar16% ao bruto. O consumidor actual continua a preservar o bruto e a não o calcular. A extensão requer implementação própria e casos dirigidos; não reabre como bloqueio o arredondamento já resolvido para base líquida.
+- Declaração/período: art.32 alterado em2025 distingue situações/prazos. Não se decide entrega fora/dentro do prazo por ser uma projecção futura. O exemplar instrui terminar no quadro8 em certos casos; essa instrução não está activa como regra de software.
+
+**Divergências preservadas:** linha de regularizações diz campo11/12 mas caixas12/13; utilização de créditos cita campos18/19, enquanto as caixas desse bloco são19/20; nota de reembolso cita art.20 e as alterações de2025 tratam a matéria no art.21; remissões de quadro8 são ambíguas; a repetição25 foi um artefacto da extracção textual, não uma duplicação de campo no formulário, cuja caixa25 foi confirmada visualmente. Não se fez correcção silenciosa nem se apresentou uma transcrição com ambiguidades como fórmula legal inequívoca.
+
+Pesquisa oficial21/10/2026: [página AT Modelo A](https://edeclaracao.at.gov.mz/formularios/iva/view/formulario_iva_ma.aspx) tem resultado indexado com apuramento no quadro5, diferente do quadro8 deste exemplar. A abertura directa expirou; não se descarregou formulário substituto nem se certificou qual é a edição vigente. [INM BR248/2025](https://inm.gov.mz/pt-br/content/sum%C3%A1rio-suplemento-n%C2%BA-1-de-291225-pag-2180-1-20-br-n%C2%BA-248-boletim-da-rep%C3%BAblica-i-serie-p%C3%A1g-1) identifica a Lei10/2025. O [comunicado governamental de30/09/2026](https://portaldogoverno.gov.mz/governo-introduz-alteracoes-nos-regulamentos-fiscais-para-reforcar-eficiencia-tributaria/) anuncia alterações regulamentares; não fornece por si o articulado para cadastrar novos critérios. A edição exacta aplicável do formulário, correspondência da Lei3/2025 referida na Lei10/2025 e regulamentos pertinentes permanecem por localizar/consolidar no lote respectivo. Nenhuma destas pendências é convertida em bloqueio genérico do cálculo líquido16% já aceite.
+
+Inventário complementar sem utilização automática: Downloads/IVA-2025.pdf(83páginas, consolidação com leis listadas na capa, origem oficial do exemplar ainda não identificada), iva.pdf(8páginas sem texto extraível nas duas primeiras) e alteracao CIVA2023(18páginas, BR250/2022, já corresponde ao acervo arquivado) foram localizados. Não se usa a consolidação de programação ou uma cópia sem identificação como substituto do BR. O inventário global anterior e as fontes não analisadas permanecem conservados.
+
+## Delta entregue e execução progressiva restante
+
+**Entregue nesta candidataQA:** correspondência consultável dos27campos, quadros documentados, resumo mensal rotulado como simulação parcial01/02, notas no relatório sem reescrever os snapshots aceites, reutilização das compras/encomendas activas (por produto, calendário ou constante) mantendo zero distinto de falta e base/IVA/dedução separados e indeterminados. Não transforma custo das vendas, depreciação, pagamento de fornecedor, investimento global ou compra no imposto dedutível. Sem taxa nova no formulário, novo motor, migration, regra publicada ou activação.
+
+**Próximo lote implementável delimitado:** classificação fiscal por operação de venda e aquisição, com pressuposto ou dado efectivo identificados; tipos de documento, datas, fornecedor/inscrição quando aplicável, utilização e exclusões; separar net/IVA/gross sem repetir quantidade/preço. Reutilizar planos como fontes, pedir apenas a classificação e o que falta; registar ligações/versionamento do dado de origem, não copiar e divergir. Dados efectivos não substituem previsões históricas nem herdam automaticamente as declarações de âmbito da projecção. No cadastro, configurar versões/âmbitos/condições da taxa5% e das deduções apenas após consolidar os dispositivos pertinentes; testes de operações excluídas e entradas insuficientes antes de publicar. Depois ligar totais14–18 através do avaliador existente, propagando indeterminação até todas as parcelas estarem conhecidas ou explicitamente sem operações. Num lote posterior, créditos anteriores/substituições/pedido e liquidação, preservando comunicação/reconhecimento/caixa separados. A publicação/activação são operações expressas distintas da integração do código.
+
+Estimativa de saldo, não horas medidas nem compromisso de cobertura integral: **cadastro/consolidação8–16h** (classificação5%, deduções do primeiro âmbito, exemplos e correspondências) e **código/aceitação20–36h** (dados por operação8–14h; ligação a versões/dedução e totais8–14h; histórico/relatório/coerência4–8h), **28–52h** para o próximo lote delimitado. Créditos anteriores, substituições, pagamento/reembolso e cobertura integral ficam fora desta estimativa e exigem delimitação própria; não reutilizar as antigas15–26h como estimativa desta ampliação. Perguntas concretas ainda abertas: edição/norma de aprovação do formulário para o período e dispositivos consolidados pertinentes; não pedir à Tempo nova validação da credibilidade dos BR aceites.
+
+Critérios do lote seguinte: divisão de uma mesma venda entre enquadramentos sem duplicação; aquisições elegíveis/não elegíveis/mistas, documento ausente e fornecedor não inscrito; zero diferente de falta; não deduzir17-A; data relevante por componente; totais nulos com parcelas indeterminadas; alteração de origem cria versão e invalida dependentes, sem reescrever efectivos/previstos anteriores; relatório mostra período/fonte/regra e não gera declaração aceita, guia ou promessa de reembolso. Suspensão e históricos reutilizam o mecanismo existente.
+
+Provas deste delta:3testes frontend novos (prioridade dos calendários de compras, zero/falta e ausência de dedução presumida, adenda sem mutar resultados antigos); TypeScript/build; importação privada/hash/scan e repetição idempotente. Conferência Edge apenas da nova correspondência, compras e relatório recuperado, sem calcular novamente nem repetir CSV/PDF aceites. Provas privadas em outputs/modelo-a-20261021. MatrizAUD-SIM-INT02, inventário documental e recibo existentes actualizados; main e homologação intactos.
@@ -1980,3 +1980,41 @@ As notas aparecem junto dos campos e num resumo com ligações que focam o campo
 No Edge, simulador normal QA em127.0.0.1:18580: consulta anual2026, operação genérica explicitamente escolhida para o ensaio; moeda inicialmente vazia, depoisUSD escolhido expressamente como caso dirigido. Confirmaram-se notas, resumo, foco em «Rever moeda»/«Rever operação», fundamento da versão sintética3, eUSD/ano/periodicidade/operação conservados após gravação e recuperação do mesmo rascunho. A captura de prova é um ensaioUSD, não evidência deUSD no caso original. Não se executou cálculo nem se exportou relatório. A fixture publicada apenas emQA para observar o diagnóstico foi depois suspensa; o consumidorQA permaneceu desligado. Nenhuma fixture foi importada, regra alterada ou consumidor activado na homologação nesta correcção.

 Provas privadas na pasta `outputs/simulator-continuation-20261020`: iva-diagnostic-api-test.txt, iva-diagnostic-summary.txt, iva-diagnostic-summary.png e iva-diagnostic-build-final.txt. O reciboJSON existente tem o estado detalhado. A candidata permanece na branch `codex/iva-diagnostics-QA`, separada de main; não é uma nova publicação fiscal nem altera a entrega autorizada anteriormente.
+
+
+### IVA mensal ligado às vendas — candidata QA, 21/10/2026
+
+Pedido da Tempo: o formulário recolhe pressupostos do negócio e calcula o IVA correspondente, sem repetir vendas nem tomar o imposto manual como entrada fiscal. A falta de ligação entre a projecção empresarial e o consumidor publicado era uma escolha de implementação; não uma nova obrigação do utilizador. Alteração na branch `codex/iva-monthly-projection-QA`, separada de main. Não altera a instalação, regra ou activação da homologação.
+
+**Ligação:** o simulador normal reutiliza quantidades e preços por produto/mês do plano empresarial, com a mesma representação monetária das vendas já usada nesse plano. Se não existir plano, admite a receita mensal constante já guardada na projecção personalizada, identificando essa origem e exigindo declaração do enquadramento. Não usa os valores demonstrativos de um widget ainda não guardado. A indicação sem IVA/com IVA incluído fica explícita, sem a presumir. Neste lote só a base líquida declarada permite calcular: preços com IVA incluído, base desconhecida e meses sem vendas informadas permanecem indeterminados. Zero explícito calcula IVA zero; não se preenche um mês vazio com zero.
+
+O cliente envia meses, vendas, moeda e declaração; não envia taxa, versão ou imposto manual. O servidor selecciona a versão publicada ligada ao consumidor e reutiliza o resolvedor temporal e avaliador decimal existentes em cada mês, dentro da mesma admissão transaccional. Nenhuma taxa foi fixada no formulário, nem introduzido arredondamento fiscal. A versão é congelada antes da fila; mantém-se a autorização/idempotência/histórico/relatório existentes. Sem migration ou reconstrução dos mecanismos. Cobertura permanece 2026, no máximo 12 meses consecutivos; um horizonte que atravessa o limite é explicado, sem truncar a projecção.
+
+**Ecrã e dependências:** cada mês apresenta vendas declaradas, vendas tributáveis sem IVA, taxa efectivamente aplicada, IVA calculado e total com IVA. Após a primeira execução, a actualização automática fica ligada e pode ser pausada. Alterar vendas, moeda, período ou tratamento do IVA assinala imediatamente o resultado anterior como histórico desactualizado. A nova execução guarda outra versão sem modificar a anterior. Repetir sem alterações recupera a execução concluída; uma execução pendente é consultada pelo mesmo ID. Falhas conservam os pressupostos e permitem tentar novamente. O rascunho conserva configurações e resultado; o relatório distingue resultado actual e histórico desactualizado e não recalcula o IVA na exportação. Se algum mês estiver indeterminado, o total fiscal fica indeterminado, conservando os meses conhecidos.
+
+**Tesouraria adoptada:** o IVA é um memorando fiscal separado; não se soma novamente aos recebimentos introduzidos, não se deduz como custo e não se apresenta como imposto final a pagar. Conserva-se o calendário de recebimentos/pagamentos declarado, sem inferir cobrança integral no mesmo mês nem liquidação fiscal. O imposto manual permanece exclusivamente no painel recolhido «Cenário personalizado de tesouraria — imposto manual, separado do IVA calculado», com rótulos de cenário personalizado. Não alimenta a base nem o resultado do consumidor IVA. Não foram acrescentados deduções, créditos, reembolsos, importações, isenções, taxas reduzidas ou regimes especiais ao cálculo fiscal; as hipóteses antigas de tesouraria continuam personalizadas e separadas.
+
+**Provas apenas do delta:** 3 testes API novos/46 asserções, transacções no clone `simulator_fiscal_checks_20261021_test` com guarda QA; 4 testes frontend novos para reutilização das vendas, zero/informação em falta, invalidação e recuperação/relatório. Incluem taxa proibida no cliente, âmbito não declarado, preços brutos, período excluído, repetição sem duplicações, versão congelada antes da suspensão e conclusão depois dela. TypeScript/build/Pint/diff-check verificados. Reutilizadas as provas aceites do avaliador decimal, exportadores e PDF; não se voltou a testar paginação nem a ampliar cobertura legal.
+
+**Percurso Edge no simulador normal:** dossier sintético privado «QA IVA mensal - vendas projectadas», ID `e0201d19-286e-4d5c-9585-2c1e3bd1ad1e`, QA127.0.0.1:18580. Vendas Janeiro1000.03/ Fevereiro2000.06/ Março0/ Abril vazio produziram IVA160.0048/320.0096/0/indeterminado. Alterar apenas a quantidade de Janeiro de1 para3 actualizou vendas3000.09, IVA480.0144 e total3480.1044. Assinalou-se resultado desactualizado durante a mudança. Seleccionar preços com IVA incluído conservou vendas e tornou base/IVA/total indeterminados; voltar manualmente à base líquida gerou nova execução. Após recarregar e recuperar o mesmo dossier, os valores permaneceram iguais e o fundamento mostrou a versão congelada. Quatro execuções mensais intencionais (inicial, venda alterada, base incluída, regresso à líquida), quatro relatórios com snapshots iguais às respectivas execuções; recuperação não criou a quinta. Não se atribui aplicabilidade fiscal universal a estes exemplos aritméticos.
+
+A fixture sintética **v4**, ID `01a15e50-7972-72e0-8991-82ca28df9b49`, está publicada e o consumidor ligado **apenas no clone QA** `simulator_fiscal_delta_20261021_test`, deixados disponíveis para esta revisão. Isto substitui o estado local suspenso/off da prova diagnóstica anterior; não é indisponibilidade na homologação. Não importar esta fixture, os seus actores ou os scripts privados. A regra real de homologação v1 mantém-se fora desta execução.
+
+**Revisão e disponibilização:** rever esta candidata QA e integrar somente o código autorizado, mantendo a ligação ao ID/versão reais do destino. Este delta não precisa de publicar outra regra nem de mudar a taxa/âmbito ou de reactivar um consumidor já activo. Conferir apenas revisão servida e ligação mensal no destino após autorização própria; conservar o procedimento separado de publicação e activação se alguma dessas operações vier a ser expressamente pedida. Suspender novas admissões pelo interruptor existente ou estado da regra preserva as já admitidas e os históricos. Não apagar snapshots para suspender ou reverter código. Sem integração em main, escrita activa, validação jurídica atribuída à Tempo ou nova ronda de preparação identificada nesta entrega QA.
+
+Provas privadas em `outputs/simulator-continuation-20261020`: monthly-iva-api-test.txt, monthly-iva-build-final.txt, monthly-iva-initial.txt, monthly-iva-updated.txt, monthly-iva-stale.txt, monthly-iva-included.txt, monthly-iva-recovered.txt, monthly-iva-live-history.json e monthly-iva-proof.png. O recibo existente conserva o saldo e os IDs; AUD-SIM-INT02 da matriz existente recebe esta referência, sem outra matriz/backlog.
+
+
+### Reconciliação Modelo A — primeiro incremento QA,21/10/2026
+
+Por instrução expressa da Tempo, o **Novo Modelo A.docx** é a referência estrutural, incluindo o quadro incorporado como imagem; não foi substituído por um modelo genérico. A [reconciliação campo a campo](../simulations/modelo-a-reconciliacao-20261021.md) contém todos os quadros, campos01–27, finalidade, origem, cálculo, fundamento e estado; inventário/versões/exemplares e divergências preservados. A componente16% existente representa apenas01/02. O apuramento14–18 não se presume igual ao IVA das vendas; não é saldo final a pagar.
+
+Original532008bytes/SHA25662c198e90d8c6792f7d5ccefc6386df2e4b6089573067d3a6e1eae7fc2b9572b e variantev1 de532100bytes/63d45fa80db17a60b43619d55a25813229d670d14c758273f86316285db8e02b preservados na biblioteca **privada QA**, recursos33/34, documentos e revisões/auditoria existentes. Importador existente, pré-visualização, conflitos/duplicados, scans reais limpos com mesmohash e nova tentativa sem criar documentos ou scans. Actor166 é a fixture administrativa do ensaio isolado, sem papel real ou alteração persistente de permissões atribuída à Tempo. Nenhuma publicação ou importação na homologação. Aceitação das fontes oficiais da Tempo08/10 mantida; edição vigente do formulário não afirmada pela data OOXML nem pela leitura do anexo.
+
+No simulador normal, resumo de simulação parcial e correspondência consultável ligados ao resultado mensal recuperado. Compras/encomendas projectadas reutilizadas conforme agenda activa por produto, calendário ou valor constante; não são custo das vendas ou pagamentos de fornecedor. Zero difere de falta. A indicação semIVA/IVA/comIVA/dedutível fica separada e por determinar quando faltam classificação e documentos; não se considera toda compra dedutível. Relatório acrescenta correspondência/limites e referências dos pressupostos actuais de compras, sem os apresentar como resultado fiscal histórico nem reescrever snapshots. Nenhuma nova fórmula fiscal activada ou taxa fixada no formulário; sem migration ou motor novo.
+
+Cotejo dirigido: Lei22/2022 art.17-A/aditamento e eficácia; Lei10/2025 arts.18/19/21/32/34 nas páginas12–15 do BR248, com leitura visual13/14. Registadas remissões divergentes do exemplar (regularizações11/12 versus caixas12/13; crédito18/19 versus caixas19/20; reembolsoart20 versus matéria noart21; quadro8 ambíguo). Não corrigir original nem aplicar instrução ambígua como regra. AT directa expirou; resultado indexado com numeração distinta é limitação de consulta, não substituto nem prova de edição vigente. Lei3/2025/dispositivos/regulamentos pertinentes por consolidar na extensão concreta, sem reabrir genericamente a base líquida16% aceite.
+
+Provas novas apenas do incremento:3testes frontend (agendas, zero/falta, sem IVA/dedução fabricados e relatório sem mutar resultado), TypeScript/build, Edge de consulta após recuperação e biblioteca idempotente/scan. Avaliador, selecção publicada, precisão, históricos e exportadores aceites reutilizados. DossierQA e fixtureIVA v4 continuam disponíveis para revisão; este incremento não calcula novamente. Provas privadas outputs/modelo-a-20261021; recibo e inventário existentes actualizados. Branch codex/iva-modelo-a-reconciliation-QA, parent3f5430c3, separada de main; homologação/regra real/interruptor inalterados.
+
+Saldo explícito: **reconciliação e primeiro incremento de interface concluídos, apuramento completo não implementado**. Próximo lote: classificação por operação e origem prevista/efectiva, cadastro fundamentado de âmbito/dedução e ligação a totais14–18 propagando indeterminação; 8–16h cadastro/consolidação e20–36h código/aceitação, total28–52h condicionado ao âmbito/consolidação, sem créditos anteriores/substituições/pagamento/reembolso ou simulador integral. O documento contém o delta e critérios concretos. Integração do código, publicação e activação continuam operações distintas; esta preparação não executa nenhuma no destino.
@@ -156,7 +156,7 @@ export function SimulationCashflowPlanner({
                </label>
                {taxMode === 'fixed' ? (
                    <label className="block max-w-xs text-sm font-medium">
-                        Imposto assumido por mês
+                        Imposto manual do cenário personalizado por mês
                        <input
                            type="number"
                            min="0"
@@ -175,7 +175,7 @@ export function SimulationCashflowPlanner({
                    <div className="grid gap-3 sm:grid-cols-2 lg:grid-cols-4">
                        {inputs.monthlyTaxSchedule.map((value, index) => (
                            <label key={index} className="text-sm font-medium">
-                                Imposto assumido — mês {index + 1}
+                                Imposto manual do cenário personalizado — mês {index + 1}
                                <input
                                    type="number"
                                    min="0"
@@ -1,4 +1,5 @@
 import { SimulationPublishedIva, type PublishedIvaInput } from './simulation-published-iva';
+import { SimulationMonthlyIva } from './simulation-monthly-iva';
 import {
    PublicDocumentContent,
    type PublicDocument,
@@ -2311,12 +2312,14 @@ export function SimulationForm() {
                );
            }
            if (!publishedInput) sessionStorage.removeItem(idempotencyStorageKey);
+            return simulation ?? null;
        } catch (cause) {
            setServerError(
                cause instanceof Error
                    ? cause.message
                    : 'Erro de ligação. Tente novamente.',
            );
+            return null;
        } finally {
            calculationInFlightRef.current = false;
            setIsCalculating(false);
@@ -3463,15 +3466,16 @@ export function SimulationForm() {
                {(current.id === 'financial' ||
                    (draft.purpose === 'simulate_only' &&
                        current.id === 'tax')) && (
-                    <SimulationCashflowPlanner
+                    <details className="rounded border p-3"><summary>Cenário personalizado de tesouraria — imposto manual, separado do IVA calculado</summary><SimulationCashflowPlanner
                        snapshot={String(draft.cashflow_snapshot ?? '')}
                        onSnapshotChange={(value) =>
                            change('cashflow_snapshot', value)
                        }
                        currency={String(draft.currency ?? '')}
                        onCurrencyChange={(value) => change('currency', value)}
-                    />
+                    /></details>
                )}
+                {(current.id === 'financial' || current.id === 'tax') && <SimulationMonthlyIva draft={draft} busy={isCalculating} onCalculate={runSimulation} onChange={change} />}
                {current.id === 'financial' &&
                    (draft.detail_level === 'advanced' ||
                        draft.journey_type === 'small_business') &&
@@ -0,0 +1,24 @@
+import { modeloAFields, modeloAPurchaseReferences, modeloAReference } from '@/lib/iva-modelo-a';
+
+export function SimulationModeloA({draft}: {draft:Record<string,unknown>}) {
+    let purchases: ReturnType<typeof modeloAPurchaseReferences> = [];
+    let error = '';
+    try { purchases = modeloAPurchaseReferences(draft); }
+    catch (cause) { error = cause instanceof Error ? cause.message : 'Não foi possível consultar as aquisições projectadas.'; }
+    return <section aria-label="Correspondência com o Modelo A" className="space-y-3 rounded border p-3">
+        <h4 className="font-semibold">Modelo A — correspondência da simulação</h4>
+        <p>{modeloAReference.status}</p>
+        <p>Os campos 14–18 do apuramento permanecem indeterminados. O IVA das vendas não é imposto final a pagar. Os dados deste percurso são projecções, separados de facturas e declarações efectivas.</p>
+        <details><summary>Aquisições já projectadas — sem dedução presumida</summary>
+            <p>Reutilizam-se os valores das compras/encomendas para existências do plano. O mês da encomenda não prova a data da factura, recepção ou pagamento. Valores declarados ainda sem indicação de base líquida/IVA incluído não são tratados como base tributável. IVA suportado e IVA dedutível continuam por determinar; zero de compras não prova inexistência de outras aquisições.</p>
+            {error && <p role="alert">{error}</p>}
+            {!purchases.length && !error && <p>Sem agenda de compras recuperável do plano empresarial.</p>}
+            {!!purchases.length && <div className="overflow-x-auto"><table className="min-w-full text-sm"><caption>Pressupostos actuais de compras; sem resultado fiscal guardado</caption><thead><tr>{['Mês do plano','Compras declaradas','Sem IVA','IVA suportado','Com IVA','IVA dedutível'].map((name)=><th className="p-2 text-left" key={name}>{name}</th>)}</tr></thead><tbody>{purchases.map((row)=><tr key={row.month}><th className="p-2" scope="row">{row.month}</th><td>{row.declared ?? 'Sem informação'}</td><td>Por classificar</td><td>Indeterminado</td><td>Por classificar</td><td>Indeterminado</td></tr>)}</tbody></table></div>}
+        </details>
+        <details><summary>Ver campos, cálculos, fundamentos e cobertura do Modelo A</summary>
+            <p>{modeloAReference.file}. {modeloAReference.edition} SHA256: {modeloAReference.sha256}.</p>
+            <p>O exemplar contém divergências de numeração/remissões, registadas no confronto documental. Não foram corrigidas no original. A existência de um campo não activa uma regra fiscal.</p>
+            <div className="overflow-x-auto"><table className="min-w-full text-sm"><caption>Campo do Modelo A → finalidade → origem → cálculo → fundamento → cobertura</caption><thead><tr>{['Campo','Finalidade','Origem dos dados','Cálculo','Fundamento','Estado'].map((name)=><th className="p-2 text-left" key={name}>{name}</th>)}</tr></thead><tbody>{modeloAFields.map((field)=><tr key={field.field}>{[field.field,field.purpose,field.origin,field.calculation,field.basis,field.status].map((value,index)=><td className="border-t p-2 align-top" key={index}>{value}</td>)}</tr>)}</tbody></table></div>
+        </details>
+    </section>;
+}
@@ -0,0 +1,80 @@
+import { useEffect, useRef, useState } from 'react';
+import { monthlyIvaInput, monthlyIvaKey, monthlySalesFromDraft, readMonthlyIvaRecord, readMonthlyIvaSettings, monthlyIvaCashTreatment, type MonthlyIvaInput, type MonthlyIvaSettings } from '@/lib/monthly-iva';
+import { fiscalQaRows } from '@/lib/fiscal-qa-preview';
+import { isApiSimulationReadResponseV1, type ApiSimulationExecutionV1 } from '@/lib/simulation-contract';
+import { SimulationModeloA } from './simulation-modelo-a';
+
+export function SimulationMonthlyIva({draft, busy, onCalculate, onChange}: {
+    draft: Record<string, unknown>; busy: boolean;
+    onCalculate: (input: MonthlyIvaInput) => Promise<ApiSimulationExecutionV1 | null | undefined>;
+    onChange: (field: string, value: string) => void;
+}) {
+    const settings = readMonthlyIvaSettings(String(draft.monthly_iva_settings ?? ''));
+    const record = readMonthlyIvaRecord(String(draft.monthly_iva_snapshot ?? ''));
+    const [retry, setRetry] = useState(0);
+    const [error, setError] = useState('');
+    const [available, setAvailable] = useState<boolean | null>(null);
+    const attempt = useRef('');
+    const callbacks = useRef({onCalculate, onChange}); callbacks.current = {onCalculate, onChange};
+    let input: MonthlyIvaInput | null = null; let inputError = ''; let source = '';
+    try { source = monthlySalesFromDraft(draft).source; input = monthlyIvaInput(draft, settings); }
+    catch (cause) { inputError = cause instanceof Error ? cause.message : 'Reveja a projecção de vendas.'; }
+    const key = input ? monthlyIvaKey(input) : '';
+    const current = !!(input && record && monthlyIvaKey(record.input) === key);
+    const completed = current && record?.execution.status === 'completed';
+    const saveSettings = (patch: Partial<MonthlyIvaSettings>) => onChange('monthly_iva_settings', JSON.stringify({...settings, ...patch}));
+    useEffect(() => {
+        let active = true;
+        fetch('/api/v1/fiscal-consumer', {credentials: 'same-origin', headers: {Accept:'application/json'}}).then(async (response) => {
+            if (!response.ok) throw new Error(); const payload = await response.json(); if (active) setAvailable(payload?.data?.enabled === true);
+        }).catch(() => {if (active) setError('Não foi possível consultar a disponibilidade da regra. As vendas foram preservadas.');});
+        return () => { active = false; };
+    }, [retry]);
+    useEffect(() => {
+        if (!settings.auto || !input || busy || !available || completed || attempt.current === key) return;
+        const request = input;
+        const pending = current && record && ['queued','running'].includes(record.execution.status) ? record.execution.id : null;
+        const timer = window.setTimeout(() => {
+            attempt.current = key; setError('');
+            void (async () => {
+                try {
+                    let execution;
+                    if (pending) {
+                        const response = await fetch(`/api/v1/simulations/${pending}`, {credentials:'same-origin', headers:{Accept:'application/json'}});
+                        const value: unknown = await response.json();
+                        if (!response.ok || !isApiSimulationReadResponseV1(value)) throw new Error('Não foi possível recuperar a execução mensal guardada. Não foi criada uma execução alternativa.');
+                        execution = value.data;
+                    } else execution = await callbacks.current.onCalculate(request);
+                    if (!execution) throw new Error('O cálculo mensal não foi concluído. As vendas e a versão anterior foram preservadas; tente novamente.');
+                    callbacks.current.onChange('monthly_iva_snapshot', JSON.stringify({input:request, execution}));
+                } catch (cause) {setError(cause instanceof Error ? cause.message : 'Não foi possível calcular o IVA mensal.');}
+            })();
+        }, 700);
+        return () => window.clearTimeout(timer);
+    }, [key, settings.auto, busy, available, completed, retry]);
+
+    const snapshot = record?.execution.result_snapshot;
+    const projection = snapshot?.monthly_projection as {rows?: Array<{date:string; sales_declared:string|null; net_sales:string|null; rate:string|null; vat:string|null; gross_sales:string|null; status:string}>} | undefined;
+    return <section className="space-y-3 rounded border border-emerald-700 p-4" aria-label="IVA mensal das vendas projectadas">
+        <h3 className="font-semibold">IVA mensal das vendas projectadas</h3>
+        <p>{source}</p><p>Declare se os preços projectados são sem IVA ou com IVA incluído. Nenhuma taxa é fixada neste formulário; o servidor selecciona a versão publicada.</p>
+        <label className="block">Primeiro mês da projecção<input type="month" value={settings.start} min="2026-01" max="2026-12" onChange={(event) => saveSettings({start:event.target.value})} className="block rounded border p-2" /></label>
+        <label className="block">Tratamento do IVA nos preços projectados<select value={settings.basis} onChange={(event) => saveSettings({basis:event.target.value as MonthlyIvaSettings['basis']})} className="block rounded border p-2"><option value="unknown">Por indicar</option><option value="net">Vendas sem IVA (base líquida)</option><option value="included">Vendas com IVA incluído</option></select></label>
+        <label className="block"><input type="checkbox" checked={settings.declared} onChange={(event) => saveSettings({declared:event.target.checked})} /> Declaro que as vendas projectadas são tributáveis à taxa geral interna e não incluem as operações excluídas deste lote.</label>
+        <p className="text-sm">Sem importações, taxas reduzidas, isenções, regimes especiais, deduções, reembolsos ou apuramento final. Valores com IVA incluído permanecem indeterminados neste lote; não se aplica a taxa ao preço bruto.</p>
+        <p className="text-sm">{monthlyIvaCashTreatment}</p>
+        {inputError && <p role="alert">{inputError}</p>}
+        {available === null && !error && <p role="status">A consultar a disponibilidade da versão publicada…</p>}
+        {available === false && <p role="status">A versão publicada de IVA está indisponível neste ambiente para novas execuções. Os pressupostos e históricos mantêm-se.</p>}
+        {record && !current && <p role="alert">As vendas ou os pressupostos mudaram. Os resultados abaixo são históricos e estão desactualizados; não são usados como resultados da projecção actual.</p>}
+        {settings.auto && !completed && current && <p role="status">Execução mensal guardada: {record?.execution.status === 'queued' ? 'em fila' : record?.execution.status === 'running' ? 'em processamento' : 'não concluída'}. Pode voltar a consultar sem duplicar.</p>}
+        {busy && <p role="status">A actualizar os resultados dependentes das vendas…</p>}
+        {error && <p role="alert">{error}</p>}
+        <button type="button" disabled={busy || !available || !input || input.currency !== 'MZN'} onClick={() => {attempt.current=''; setRetry((value) => value+1); saveSettings({auto:true});}} className="rounded bg-emerald-800 p-2 text-white disabled:opacity-50">Calcular / actualizar IVA mensal e guardar versão</button>
+        {settings.auto && <button type="button" className="ml-3 underline" onClick={() => saveSettings({auto:false})}>Pausar actualização automática</button>}
+        {input && <p className="text-sm">{input.monthly_sales.length} meses; moeda {input.currency || 'por indicar'}. Campo vazio significa informação em falta; zero declarado permanece zero. Depois da primeira execução, alterações das vendas actualizam o cálculo enquanto a actualização automática estiver ligada.</p>}
+        {projection?.rows && <div className="overflow-x-auto" tabIndex={0}><table className="min-w-full text-sm"><caption>IVA mensal — {current ? 'versão correspondente às entradas' : 'versão histórica'}</caption><thead><tr>{['Mês','Vendas declaradas','Vendas tributáveis sem IVA','Taxa aplicada (%)','IVA calculado','Total com IVA','Estado'].map((label) => <th key={label} className="p-2 text-left">{label}</th>)}</tr></thead><tbody>{projection.rows.map((row) => <tr key={row.date}><th scope="row" className="p-2">{row.date.slice(0,7)}</th><td>{row.sales_declared ?? 'Sem informação'}</td><td>{row.net_sales ?? 'Indeterminado'}</td><td>{row.rate ?? 'Indeterminada'}</td><td>{row.vat ?? 'Indeterminado'}</td><td>{row.gross_sales ?? 'Indeterminado'}</td><td>{{calculated:'Calculado',missing_sales:'Sem informação de vendas',unsupported_basis:'Base líquida não determinada',indeterminate:'Enquadramento ou regra indeterminados'}[row.status] ?? 'Indeterminado'}</td></tr>)}</tbody></table></div>}
+        {snapshot && <details><summary>Ver fundamento e relatório da versão guardada</summary><dl>{fiscalQaRows(snapshot).map(([label,value], index) => <div key={index}><dt className="font-semibold">{label}</dt><dd>{value}</dd></div>)}</dl></details>}
+        <SimulationModeloA draft={draft} />
+    </section>;
+}
@@ -1,6 +1,7 @@
 import { useEffect, useState } from 'react';
+import type { MonthlyIvaInput } from '@/lib/monthly-iva';

-export type PublishedIvaInput = {
+export type PublishedIvaInput = MonthlyIvaInput | {
    scenario_kind: 'fiscal_rule_published';
    base: string;
    currency: 'MZN';
@@ -11,7 +12,7 @@ export type PublishedIvaInput = {

 export function SimulationPublishedIva({ busy, onCalculate }: {
    busy: boolean;
-    onCalculate: (input: PublishedIvaInput) => Promise<void>;
+    onCalculate: (input: PublishedIvaInput) => Promise<unknown>;
 }) {
    const [available, setAvailable] = useState(false);
    const [message, setMessage] = useState('A consultar disponibilidade do cálculo de IVA…');
@@ -776,6 +776,37 @@ function multiplyQuantity(
    return (quantityMilli * unitPriceCents + 500n) / 1000n;
 }

+/** Reuses the sales model, without requiring unrelated cost/cash assumptions. Blank is never zero. */
+export function monthlyProjectedSales(input: BusinessFinancialPlanInput): Array<string | null> {
+    const periods = input.periods ?? 12;
+    if (!Number.isInteger(periods) || periods < 1 || periods > 60) throw new Error('Horizonte de vendas inválido.');
+    return Array.from({ length: periods }, (_, month) => {
+        if (!input.products.length) return null;
+        let total = 0n;
+        for (const product of input.products) {
+            const units = product.monthlyUnitsByPeriod === undefined ? product.monthlyUnits : product.monthlyUnitsByPeriod[month];
+            const price = product.unitPriceByPeriod === undefined ? product.unitPrice : product.unitPriceByPeriod[month];
+            if (typeof units !== 'string' || typeof price !== 'string' || units.trim() === '' || price.trim() === '') return null;
+            total += multiplyQuantity(quantity(units), cents(price, `Preço de ${product.label}`));
+        }
+        return format(total);
+    });
+}
+
+/** Existing purchase orders are planning references, never a proxy for deductible VAT or invoice dates. */
+export function monthlyProjectedPurchaseOrders(input: BusinessFinancialPlanInput): Array<string | null> {
+    const periods = input.periods ?? 12;
+    if (!Number.isInteger(periods) || periods < 1 || periods > 60) throw new Error('Horizonte de compras inválido.');
+    return Array.from({length: periods}, (_, month) => {
+        const amounts = input.useProductInventorySchedule
+            ? input.products.map((product) => product.productInventoryPurchasesByPeriod?.[month]?.amount)
+            : [input.useInventoryPurchaseSchedule
+                ? input.inventoryPurchaseSchedule?.[month]?.amount : input.monthlyInventoryPurchases];
+        if (!amounts.length || amounts.some((amount) => typeof amount !== 'string' || amount.trim() === '')) return null;
+        return format(amounts.reduce((total, amount) => total + cents(amount!, 'Compras projectadas'), 0n));
+    });
+}
+
 function format(centsValue: bigint): string {
    const absolute = centsValue < 0n ? -centsValue : centsValue;
    return `${centsValue < 0n ? '-' : ''}${absolute / 100n}.${String(absolute % 100n).padStart(2, '0')}`;
@@ -1,4 +1,5 @@
 import { isApiSimulationResultSnapshotV1 } from "./simulation-contract.ts";
+import { modeloAComponentRows } from './iva-modelo-a.ts';

 export function fiscalQaRows(value: unknown): Array<[string, string]> {
    if (!isApiSimulationResultSnapshotV1(value)) return [];
@@ -19,7 +20,14 @@ export function fiscalQaRows(value: unknown): Array<[string, string]> {
        typeof item === "string" || typeof item === "number"
            ? String(item)
            : "não disponível";
+    const monthly = snapshot.monthly_projection as {rows?: Array<Record<string,unknown>>; cash_treatment?: string} | undefined;
    return [
+        ...modeloAComponentRows(snapshot),
+        ...(monthly?.rows ? [
+            ["Projecção mensal", "Vendas tributáveis sem IVA → taxa aplicada → IVA calculado → total com IVA; não é apuramento final"],
+            ...monthly.rows.map((row) => [`Mês ${text(row.date)}`, `Vendas declaradas: ${text(row.sales_declared)}; base líquida: ${text(row.net_sales)}; taxa: ${row.rate == null ? 'não aplicada' : `${text(row.rate)}%`}; IVA: ${text(row.vat)}; total com IVA: ${text(row.gross_sales)}; ${row.status === 'calculated' ? 'calculado' : row.status === 'missing_sales' ? 'sem informação de vendas' : row.status === 'unsupported_basis' ? 'base líquida não determinada' : 'enquadramento ou regra indeterminados'}`]),
+            ["Tratamento na tesouraria", monthly.cash_treatment ?? "IVA separado; não é custo nem imposto a pagar"],
+        ] as Array<[string,string]> : []),
        ["Relatório", published ? "IVA pela versão publicada; ver enquadramento abaixo" : "Pré-visualização fiscal QA de rascunho — sem activação"],
        [
            "IVA calculado (exacto; não é saldo a pagar)",
@@ -29,7 +37,7 @@ export function fiscalQaRows(value: unknown): Array<[string, string]> {
        ["Base tributável declarada", text(snapshot.base)],
        ["Taxa cadastrada (%)", text(parameters?.IVA_GENERAL_RATE?.value)],
        ["Moeda explícita", text(value.context.currency)],
-        ["Data de exigibilidade declarada", value.context.reference_date],
+        [monthly ? "Início da projecção mensal" : "Data de exigibilidade declarada", value.context.reference_date],
        [
            "Enquadramento",
            provenance?.scope_status === "undetermined" ? "Indeterminado: falta declaração do enquadramento" : "Declarado pelo utilizador; não validado juridicamente",
@@ -0,0 +1,59 @@
+import { monthlyProjectedPurchaseOrders, restoreBusinessPlanSnapshot } from './business-financial-plan.ts';
+
+/** Correspondence to the Tempo exemplar, not an electronic AT declaration or a new tax ruleset. */
+export const modeloAReference = {
+    file: 'Novo Modelo A.docx',
+    sha256: '62c198e90d8c6792f7d5ccefc6386df2e4b6089573067d3a6e1eae7fc2b9572b',
+    edition: 'Edição/vigência do formulário não estabelecida; original preservado na biblioteca QA.',
+    status: 'Simulação parcial: campos 01/02. Não é declaração submetida ou aceite pela Autoridade Tributária.',
+};
+
+export type ModeloAField = { field: string; purpose: string; origin: string; calculation: string; basis: string; status: string };
+const pending = 'Em falta; não assumir zero';
+export const modeloAFields: ModeloAField[] = [
+    {field:'01',purpose:'Base das operações à taxa geral',origin:'Vendas mensais já projectadas, declaradas sem IVA e no âmbito geral',calculation:'Base líquida do mês',basis:'CIVA arts.15 e 17; Lei22/2022; regra publicada existente',status:'Implementado no âmbito declarado'},
+    {field:'02',purpose:'IVA à taxa geral',origin:'Resultado mensal congelado no servidor',calculation:'Campo01 × taxa da versão publicada /100',basis:'CIVA art.17(1); mesma regra/versionamento do consumidor',status:'Implementado; componente do apuramento'},
+    {field:'03',purpose:'Base de operações específicas à taxa reduzida',origin:'Operações separadas e enquadradas; ainda não recolhidas',calculation:'Base das operações elegíveis',basis:'Exemplar e CIVA art.17-A, aditado pela Lei22/2022; enquadramento a cadastrar',status:pending},
+    {field:'04',purpose:'IVA à taxa reduzida',origin:'Campo03 e futura versão fundamentada',calculation:'Campo03 × taxa reduzida aplicável; não activa pelo exemplar',basis:'CIVA art.17-A; âmbito/versão temporal a integrar',status:pending},
+    {field:'05',purpose:'Vendas isentas com direito à dedução',origin:'Vendas classificadas por operação e fundamento',calculation:'Soma das bases classificadas; sem taxa presumida',basis:'Exemplar; CIVA arts.9–14 e 18–20 a consolidar por operação',status:pending},
+    {field:'06',purpose:'Operações da alínea b), n.º1, art.18, conforme exemplar',origin:'Operações classificadas com referência verificada',calculation:'Soma separada; não inferir do nome do sector',basis:'Remissão do exemplar ao art.18(1)(b); cotejo do âmbito necessário',status:pending},
+    {field:'07',purpose:'Isentas sem direito à dedução',origin:'Vendas classificadas e uso das aquisições',calculation:'Soma das bases elegíveis',basis:'Exemplar; incidência/isenções e exclusões de dedução a fundamentar',status:pending},
+    {field:'08',purpose:'IVA dedutível — imobilizado',origin:'Aquisições/facturas de activos, não o valor global do investimento',calculation:'Apenas imposto elegível documentado',basis:'CIVA arts.18–21; art.18(2), Lei10/2025: documentos legais e fornecedor inscrito',status:pending},
+    {field:'09',purpose:'IVA dedutível — existências',origin:'Compras projectadas reutilizáveis; falta IVA, documento e elegibilidade',calculation:'IVA elegível das existências, não compras × taxa geral',basis:'CIVA arts.18–21; condições/exclusões, afectação e período',status:pending},
+    {field:'10',purpose:'IVA dedutível — outros bens/serviços',origin:'Aquisições discriminadas; despesas agregadas não provam IVA',calculation:'IVA elegível; excluir operações sem direito',basis:'CIVA arts.18–21; art.19(2), Lei10/2025, inclui exclusão das operações art.17-A',status:pending},
+    {field:'11',purpose:'IVA dedutível — importações',origin:'Documento aduaneiro legal e afectação; ainda não recolhidos',calculation:'Imposto aduaneiro elegível, não taxa sobre orçamento',basis:'CIVA art.18(2), Lei10/2025; demais condições/exclusões a cadastrar',status:pending},
+    {field:'12',purpose:'Regularizações a favor do sujeito passivo',origin:'Ajustamentos individualizados, documento e motivo',calculation:'Soma de regularizações elegíveis',basis:'Exemplar tem remissão interna 11/12 divergente das caixas12/13; fundamento por motivo por conferir',status:pending},
+    {field:'13',purpose:'Regularizações a favor do Estado',origin:'Ajustamentos individualizados, documento e motivo',calculation:'Soma separada das regularizações elegíveis',basis:'Mesma divergência; não corrigir o original nem inventar incidência',status:pending},
+    {field:'14',purpose:'Soma das bases do quadro de apuramento',origin:'Campos01,03,05,06,07 completos',calculation:'01+03+05+06+07',basis:'Fórmula impressa no exemplar; não é apenas vendas tributáveis',status:'Estrutura mapeada; total indeterminado'},
+    {field:'15',purpose:'Total a favor do sujeito passivo',origin:'Campos08–12 completos',calculation:'08+09+10+11+12',basis:'Fórmula do exemplar; depende de deduções/regularizações fundamentadas',status:'Estrutura mapeada; total indeterminado'},
+    {field:'16',purpose:'Total a favor do Estado',origin:'Campos02,04,13 completos',calculation:'02+04+13',basis:'Fórmula impressa no exemplar; 02 sozinho não equivale a16',status:'Estrutura mapeada; total indeterminado'},
+    {field:'17',purpose:'Diferença devedora antes de créditos anteriores',origin:'Totais15/16 completos',calculation:'16−15 quando16>15',basis:'Instrução do exemplar; não é automaticamente pagamento',status:'Indeterminado; sem consolidação completa'},
+    {field:'18',purpose:'Diferença credora antes de créditos anteriores',origin:'Totais15/16 completos',calculation:'15−16 quando15>16',basis:'Instrução do exemplar; não constitui reembolso reconhecido',status:'Indeterminado; sem consolidação completa'},
+    {field:'19',purpose:'Excesso a reportar do período anterior',origin:'Histórico fiscal anterior confirmado, separado de estimativas',calculation:'Crédito anterior utilizável; sem copiar crédito estimado',basis:'Quadro de utilização de créditos do exemplar; condições/prazo por conferir',status:pending},
+    {field:'20',purpose:'Créditos comunicados pelos serviços',origin:'Comunicação efectiva da Administração Fiscal',calculation:'Crédito efectivamente comunicado e utilizável',basis:'Exemplar; não converter pedido ou crédito estimado em comunicação',status:pending},
+    {field:'21',purpose:'Diferencial de declaração de substituição',origin:'Valores17/18 da declaração actual e da substituída',calculation:'Casos impressos no quadro9, com sinal devedor/credor',basis:'Exemplar; ligação às declarações efectivas e regras de substituição em falta',status:pending},
+    {field:'22',purpose:'IVA a entregar no contexto da declaração',origin:'Apuramento e créditos/substituição completos',calculation:'Não derivar apenas do campo02',basis:'Quadro10 do exemplar; procedimento aplicável por fundamentar',status:pending},
+    {field:'23',purpose:'Juros compensatórios',origin:'Factos e períodos que legalmente os determinem',calculation:'Sem taxa, mora ou obrigação presumidas',basis:'Quadro10; fundamento específico não analisado neste lote',status:pending},
+    {field:'24',purpose:'Importância a pagar',origin:'Campos22/23 completos',calculation:'22+23',basis:'Fórmula do exemplar; não é ordem nem execução de pagamento',status:pending},
+    {field:'25',purpose:'Crédito de imposto do quadro11',origin:'Apuramento completo e tratamento dos créditos anteriores',calculation:'Montante recuperável no contexto próprio, por fundamentar',basis:'Caixa25 confirmada visualmente no bloco de recuperação; condições por consolidar',status:pending},
+    {field:'26',purpose:'Reporte para período seguinte',origin:'Crédito utilizável e opção no quadro11',calculation:'Separado de pedido e recebimento',basis:'Quadro11; cotejo de condições/prazos e articulação19/20 necessário',status:pending},
+    {field:'27',purpose:'Pedido de reembolso',origin:'Crédito elegível e pedido, sem presumir reconhecimento/caixa',calculation:'Pedido distinto de aprovação e recebimento',basis:'Exemplar cita art.20; Lei10/2025 altera reembolsos no art.21. Divergência registada.',status:pending},
+];
+
+export function modeloAComponentRows(snapshot: Record<string, unknown>): Array<[string,string]> {
+    if (!snapshot.monthly_projection) return [];
+    return [
+        ['Correspondência Modelo A',modeloAReference.status],
+        ['Campos01/02', 'Base líquida e IVA mensal da versão publicada. Os restantes campos não foram presumidos iguais a zero.'],
+        ['Apuramento do período — campos14–18', 'Indeterminado: faltam componentes e enquadramentos do Modelo A. IVA das vendas não é imposto final a pagar.'],
+        ['Origem dos dados','Projecção do negócio; não são operações efectivas nem declaração fiscal.'],
+        ['Exemplar de referência',`${modeloAReference.file}; SHA256 ${modeloAReference.sha256}. ${modeloAReference.edition}`],
+    ];
+}
+
+export function modeloAPurchaseReferences(draft: Record<string, unknown>): Array<{month:number; declared:string|null; net:null; vat:null; gross:null; deductible:null}> {
+    if (!draft.business_plan_snapshot) return [];
+    const plan = restoreBusinessPlanSnapshot(String(draft.business_plan_snapshot));
+    if (!plan) throw new Error('Não foi possível recuperar as aquisições projectadas. O original guardado foi preservado.');
+    return monthlyProjectedPurchaseOrders(plan).map((amount, index) => ({month:index+1, declared:amount, net:null, vat:null, gross:null, deductible:null}));
+}
@@ -0,0 +1,50 @@
+import { monthlyProjectedSales, restoreBusinessPlanSnapshot } from './business-financial-plan.ts';
+import { restoreCashflowDraftSnapshot } from './monthly-cashflow.ts';
+import { isApiSimulationReadResponseV1, type ApiSimulationExecutionV1 } from './simulation-contract.ts';
+
+export type MonthlyIvaInput = {
+    scenario_kind: 'fiscal_rule_published';
+    monthly_sales: Array<{ date: string; amount: string | null }>;
+    sales_vat_basis: 'net' | 'included' | 'unknown';
+    currency: string;
+    scope_declared: boolean;
+};
+export type MonthlyIvaSettings = { start: string; basis: MonthlyIvaInput['sales_vat_basis']; declared: boolean; auto: boolean };
+export type MonthlyIvaRecord = { input: MonthlyIvaInput; execution: ApiSimulationExecutionV1 };
+export function readMonthlyIvaSettings(raw?: string): MonthlyIvaSettings {
+    try { const value = JSON.parse(raw ?? '');
+        if (typeof value.start === 'string' && ['net', 'included', 'unknown'].includes(value.basis) && typeof value.declared === 'boolean' && typeof value.auto === 'boolean') return value;
+    } catch { /* An invalid setting is not an invented business assumption. */ }
+    return {start: '', basis: 'unknown', declared: false, auto: false};
+}
+export function monthlySalesFromDraft(draft: Record<string, unknown>): { amounts: Array<string | null>; source: string } {
+    if (draft.business_plan_snapshot) {
+        const plan = restoreBusinessPlanSnapshot(String(draft.business_plan_snapshot));
+        if (!plan) throw new Error('Não foi possível recuperar a projecção de vendas. Os dados guardados não foram substituídos.');
+        return {amounts: monthlyProjectedSales(plan), source: 'Vendas por produto e mês do plano empresarial; mesmos pressupostos e representação monetária da projecção de vendas.'};
+    }
+    if (draft.cashflow_snapshot) {
+        const saved = restoreCashflowDraftSnapshot(String(draft.cashflow_snapshot));
+        if (!saved) throw new Error('Não foi possível recuperar a receita projectada.');
+        return {amounts: Array.from({length: 12}, () => saved.inputs.monthlyRevenue.trim() === '' ? null : saved.inputs.monthlyRevenue), source: 'Receita mensal constante já declarada na projecção de tesouraria; confirme que corresponde a vendas tributáveis.'};
+    }
+    return {amounts: Array.from({length: 12}, () => null), source: 'Sem projecção de vendas guardada. Prepare as vendas no plano empresarial; não é necessário voltar a introduzi-las aqui.'};
+}
+export function monthlyIvaInput(draft: Record<string, unknown>, settings: MonthlyIvaSettings): MonthlyIvaInput {
+    const sales = monthlySalesFromDraft(draft);
+    if (!/^2026-(0[1-9]|1[0-2])$/.test(settings.start)) throw new Error('Indique o primeiro mês real da projecção. Este lote abrange apenas 2026.');
+    const start = Number(settings.start.slice(5));
+    if (sales.amounts.length > 12 || start + sales.amounts.length > 13) throw new Error('O horizonte ultrapassa a cobertura de 2026. Esta versão não calcula os meses fora desse período.');
+    return {scenario_kind: 'fiscal_rule_published', monthly_sales: sales.amounts.map((amount, index) => ({date: `2026-${String(start + index).padStart(2, '0')}-01`, amount})),
+        sales_vat_basis: settings.basis, currency: String(draft.currency ?? ''), scope_declared: settings.declared};
+}
+export function monthlyIvaKey(input: Omit<MonthlyIvaInput, 'scenario_kind'>): string {
+    return JSON.stringify([input.currency, input.sales_vat_basis, input.scope_declared, input.monthly_sales.map((row) => [row.date, row.amount])]);
+}
+export function readMonthlyIvaRecord(raw?: string): MonthlyIvaRecord | null {
+    try { const value = JSON.parse(raw ?? '');
+        if (value?.input?.scenario_kind === 'fiscal_rule_published' && Array.isArray(value.input.monthly_sales) && isApiSimulationReadResponseV1({data: value.execution})) return value;
+    } catch { /* Keep the stored value intact; no fallback fiscal result. */ }
+    return null;
+}
+export const monthlyIvaCashTreatment = 'IVA apresentado separadamente: não é somado novamente aos recebimentos declarados nem deduzido como custo ou imposto final a pagar. A tesouraria conserva os recebimentos e pagamentos introduzidos, antes de uma liquidação fiscal não apurada; não se presume cobrança integral das vendas no mesmo mês.';
@@ -173,6 +173,7 @@ const rowSection: Record<string, DossierReportSectionId> = {
    'Ponto de equilíbrio': 'finance',
    Orçamento: 'finance',
    Tesouraria: 'finance',
+    'IVA mensal': 'finance',
    Equipa: 'team',
    'Necessidade de negócio': 'resources',
    Financiamento: 'resources',
@@ -1,4 +1,7 @@
 import { displayValue } from './display-value.ts';
+import { monthlyIvaInput, monthlyIvaKey, readMonthlyIvaRecord, readMonthlyIvaSettings } from './monthly-iva.ts';
+import { modeloAPurchaseReferences } from './iva-modelo-a.ts';
+import { fiscalQaRows } from './fiscal-qa-preview.ts';
 import { csvCellWithDelimiter } from './csv.js';
 import {
    restoreCashflowDraftSnapshot,
@@ -608,6 +611,19 @@ export function buildProjectDossierRows(
            'Planeado/realizado declarado pelo utilizador',
        ]);
    }
+    if (draft.monthly_iva_snapshot) {
+        const saved = readMonthlyIvaRecord(String(draft.monthly_iva_snapshot));
+        let current = false;
+        try { current = !!saved && monthlyIvaKey(monthlyIvaInput(draft, readMonthlyIvaSettings(String(draft.monthly_iva_settings ?? '')))) === monthlyIvaKey(saved.input); } catch { /* An old fiscal version is never silently made current. */ }
+        rows.push(['IVA mensal', 'Estado da versão', current ? 'Entradas correspondentes à projecção guardada' : 'Histórico desactualizado face às vendas ou pressupostos actuais; não aplicar como resultado actual', 'Execução versionada no servidor; sem apuramento final']);
+        if (saved?.execution.result_snapshot) for (const [label,value] of fiscalQaRows(saved.execution.result_snapshot)) rows.push(['IVA mensal', label, value, 'Snapshot fiscal preservado; sem recálculo na exportação']);
+        else rows.push(['IVA mensal', 'Resultado', 'Indeterminado ou execução ainda não concluída', 'Sem substituição por zero']);
+        try {
+            for (const purchase of modeloAPurchaseReferences(draft)) rows.push(['IVA mensal', `Compras/encomendas — mês ${purchase.month}`, purchase.declared ?? 'Sem informação', 'Pressuposto actual do plano, não resultado fiscal histórico; base/IVA incluído por classificar; IVA suportado e dedutível indeterminados; não é data de factura ou pagamento']);
+        } catch {
+            rows.push(['IVA mensal','Aquisições projectadas','Não foi possível recuperar; sem substituição por zero','Pressupostos guardados preservados; não calcula deduções']);
+        }
+    }
    if (draft.cashflow_snapshot) {
        const saved = restoreCashflowDraftSnapshot(
            String(draft.cashflow_snapshot),
@@ -76,6 +76,75 @@ class SimulationPublishedFiscalTest extends TestCase
        return Simulation::with('reports')->findOrFail($id);
    }

+    private function monthlyInput(array $override = []): array
+    {
+        return ['scenario_kind' => 'fiscal_rule_published', 'currency' => 'MZN', 'scope_declared' => true, 'sales_vat_basis' => 'net',
+            'monthly_sales' => [['date' => '2026-01-01', 'amount' => '1000.03'], ['date' => '2026-02-01', 'amount' => '0'], ['date' => '2026-03-01', 'amount' => null]], ...$override];
+    }
+
+    public function test_monthly_sales_preserve_zero_missing_values_recovery_and_report_with_no_double_cash_effect(): void
+    {
+        $key = (string) Str::uuid();
+        $input = $this->monthlyInput();
+        $id = $this->actingAs($this->consumer)->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => $key])->assertAccepted()->json('data.id');
+        $snapshot = $this->finish($id)->result_snapshot;
+        $rows = $snapshot['monthly_projection']['rows'];
+        self::assertSame('160.0048', $rows[0]['vat']);
+        self::assertSame('1160.0348', $rows[0]['gross_sales']);
+        self::assertSame('16', $rows[0]['rate']);
+        self::assertSame('0', $rows[1]['vat']);
+        self::assertSame('0', $rows[1]['gross_sales']);
+        self::assertNull($rows[2]['vat']);
+        self::assertNull($rows[2]['net_sales']);
+        self::assertSame('missing_sales', $rows[2]['status']);
+        self::assertNull($snapshot['result']['value']);
+        self::assertStringContainsString('nem o IVA é deduzido como custo', $snapshot['monthly_projection']['cash_treatment']);
+        $this->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => $key])->assertOk()->assertJsonPath('data.id', $id);
+        $this->getJson('/api/v1/simulations/'.$id)->assertOk()->assertJsonPath('data.result_snapshot', $snapshot);
+        $report = Simulation::with('reports')->findOrFail($id)->reports->first();
+        $this->getJson('/api/v1/simulations/'.$id.'/reports/'.$report->id)->assertOk()->assertJsonPath('data.report_snapshot', $snapshot);
+        $input['monthly_sales'][0]['amount'] = '2000';
+        $input['monthly_sales'][2]['amount'] = '3000';
+        $newId = $this->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => (string) Str::uuid()])->assertAccepted()->json('data.id');
+        $new = $this->finish($newId)->result_snapshot;
+        self::assertSame('320', $new['monthly_projection']['rows'][0]['vat']);
+        self::assertSame('480', $new['monthly_projection']['rows'][2]['vat']);
+        self::assertSame('800', $new['result']['value']);
+        self::assertSame($snapshot, Simulation::findOrFail($id)->result_snapshot);
+        self::assertSame(2, Simulation::where('owner_user_id', $this->consumer->id)->count());
+    }
+
+    public function test_monthly_gross_unknown_scope_and_server_rate_protection_do_not_invent_net_sales(): void
+    {
+        foreach (['included', 'unknown'] as $basis) {
+            $id = $this->actingAs($this->consumer)->postJson('/api/v1/simulations', $this->monthlyInput(['sales_vat_basis' => $basis]), ['Idempotency-Key' => (string) Str::uuid()])->assertAccepted()->json('data.id');
+            $row = $this->finish($id)->result_snapshot['monthly_projection']['rows'][0];
+            self::assertSame('1000.03', $row['sales_declared']);
+            self::assertSame('unsupported_basis', $row['status']);
+            self::assertNull($row['net_sales']);
+            self::assertNull($row['vat']);
+            self::assertNull($row['rate']);
+        }
+        $id = $this->postJson('/api/v1/simulations', $this->monthlyInput(['scope_declared' => false]), ['Idempotency-Key' => (string) Str::uuid()])->assertAccepted()->json('data.id');
+        self::assertNull($this->finish($id)->result_snapshot['monthly_projection']['rows'][0]['vat']);
+        $this->postJson('/api/v1/simulations', $this->monthlyInput(['rate' => '17']), ['Idempotency-Key' => (string) Str::uuid()])->assertUnprocessable();
+        $this->postJson('/api/v1/simulations', $this->monthlyInput(['monthly_sales' => [['date' => '2027-01-01', 'amount' => '100']]]), ['Idempotency-Key' => (string) Str::uuid()])->assertUnprocessable();
+    }
+
+    public function test_monthly_frozen_admission_survives_suspension_and_does_not_duplicate_on_retry(): void
+    {
+        $key = (string) Str::uuid();
+        $input = $this->monthlyInput();
+        $id = $this->actingAs($this->consumer)->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => $key])->assertAccepted()->json('data.id');
+        app(SimulationTaxRuleGovernance::class)->transition($this->publisher, $this->rule->id, $this->rule->version_no, 'suspend', 'QA: suspend monthly consumer after admission, preserve frozen version.');
+        $this->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => (string) Str::uuid()])->assertStatus(503);
+        $this->postJson('/api/v1/simulations', $input, ['Idempotency-Key' => $key])->assertOk()->assertJsonPath('data.id', $id);
+        $snapshot = $this->finish($id)->result_snapshot;
+        self::assertSame('160.0048', $snapshot['monthly_projection']['rows'][0]['vat']);
+        self::assertSame($this->rule->id, $snapshot['monthly_projection']['rows'][0]['rule_id']);
+        self::assertSame('published', $snapshot['fiscal_provenance']['rule']['status']);
+    }
+
    public function test_iva_query_diagnostics_explain_the_reported_contract_gap_without_calculating_or_changing_answers(): void
    {
        $count = Simulation::count();
@@ -0,0 +1,37 @@
+import assert from 'node:assert/strict';
+import test from 'node:test';
+import { monthlyProjectedPurchaseOrders, serializeBusinessPlanSnapshot } from '../../resources/js/lib/business-financial-plan.ts';
+import { modeloAComponentRows, modeloAPurchaseReferences } from '../../resources/js/lib/iva-modelo-a.ts';
+import { createProjectDossierReport } from '../../resources/js/lib/project-dossier-report.ts';
+
+test('purchase references use active existing purchase schedules, not cost of sales or cash payments', () => {
+    const plan={periods:3,products:[{label:'A',monthlyUnits:'8',unitPrice:'30',unitVariableCost:'12',productInventoryPurchasesByPeriod:[{amount:'100',leadMonths:2},{amount:'0',leadMonths:0},{amount:'',leadMonths:1}]}],useProductInventorySchedule:true,monthlyInventoryPurchases:'900',monthlyVariableCostPayments:'700',useInventoryPurchaseSchedule:true,inventoryPurchaseSchedule:[{amount:'400',leadMonths:0},{amount:'500',leadMonths:0},{amount:'600',leadMonths:0}]};
+    assert.deepEqual(monthlyProjectedPurchaseOrders(plan),['100.00','0.00',null]);
+    plan.useProductInventorySchedule=false;
+    assert.deepEqual(monthlyProjectedPurchaseOrders(plan),['400.00','500.00','600.00']);
+    plan.useInventoryPurchaseSchedule=false;
+    assert.deepEqual(monthlyProjectedPurchaseOrders(plan),['900.00','900.00','900.00']);
+});
+
+test('missing and zero purchase amounts are preserved without manufacturing net VAT or deduction', () => {
+    const plan={currency:'MZN',periods:2,depreciationLifeMonths:60,products:[{label:'A',monthlyUnits:'1',unitPrice:'10',unitVariableCost:'0'}],useInventoryPurchaseSchedule:true,inventoryPurchaseSchedule:[{amount:'0',leadMonths:0},{amount:'',leadMonths:0}]};
+    for(const key of ['openingCash','monthlyCollections','monthlyVariableCostPayments','monthlyOperatingExpenses','monthlyOperatingPayments','monthlyPayrollExpense','monthlyPayrollPayments','assetInvestment','inventory','receivables','payables','equity','shareholderLoans','bankLoanProceeds','grants','assetDepreciation','monthlyInterestExpense','monthlyInterestPayment','monthlyPrincipalRepayment']) plan[key]='0';
+    const rows=modeloAPurchaseReferences({business_plan_snapshot:serializeBusinessPlanSnapshot(plan)});
+    assert.equal(rows[0].declared,'0.00');assert.equal(rows[1].declared,null);
+    for(const row of rows) for(const field of ['net','vat','gross','deductible']) assert.equal(row[field],null);
+    assert.deepEqual(modeloAPurchaseReferences({}),[]);
+    assert.throws(()=>modeloAPurchaseReferences({business_plan_snapshot:'broken'}),/preservado/);
+    const report = createProjectDossierReport({currency:'MZN',business_plan_snapshot:serializeBusinessPlanSnapshot(plan),monthly_iva_snapshot:'{}'},{selectedSections:new Set(['finance'])});
+    const text=JSON.stringify(report);
+    assert.match(text,/Compras\/encomendas/);assert.match(text,/0\.00/);
+    assert.match(text,/base\/IVA incluído por classificar/);assert.match(text,/IVA suportado e dedutível indeterminados/);
+});
+
+test('Modelo A report adds partial coverage without recalculating or rewriting accepted server history', () => {
+    const snapshot={monthly_projection:{rows:[{date:'2026-01-01',net_sales:'1000.03',vat:'160.0048'}]},result:{value:'160.0048'}};
+    const before=JSON.stringify(snapshot);const rows=modeloAComponentRows(snapshot);
+    assert.equal(JSON.stringify(snapshot),before);
+    assert.match(rows.map(row=>row.join(' ')).join('\n'),/Indeterminado/);
+    assert.match(rows.map(row=>row.join(' ')).join('\n'),/não é imposto final/);
+    assert.deepEqual(modeloAComponentRows({scenario_kind:'custom_planning'}),[]);
+});
@@ -0,0 +1,57 @@
+import assert from 'node:assert/strict';
+import test from 'node:test';
+import { monthlyProjectedSales, forecastBusinessPlan, serializeBusinessPlanSnapshot } from '../../resources/js/lib/business-financial-plan.ts';
+import { monthlyIvaInput, monthlyIvaKey, monthlySalesFromDraft, readMonthlyIvaRecord, monthlyIvaCashTreatment } from '../../resources/js/lib/monthly-iva.ts';
+import { partitionSimulationDraft, restoreSimulationDraft, readArithmeticSnapshot } from '../../resources/js/lib/simulation-form.ts';
+import { createProjectDossierReport } from '../../resources/js/lib/project-dossier-report.ts';
+
+function plan() {
+    const fields = ['openingCash','monthlyCollections','monthlyVariableCostPayments','monthlyInventoryPurchases','monthlyOperatingExpenses','monthlyOperatingPayments','monthlyPayrollExpense','monthlyPayrollPayments','assetInvestment','inventory','receivables','payables','equity','shareholderLoans','bankLoanProceeds','grants','assetDepreciation','monthlyInterestExpense','monthlyInterestPayment','monthlyPrincipalRepayment'];
+    return {...Object.fromEntries(fields.map((key) => [key,'0'])), currency:'MZN', periods:4, depreciationLifeMonths:60,
+        products:[{label:'Produto QA',monthlyUnits:'1',unitPrice:'1000.03',unitVariableCost:'0',monthlyUnitsByPeriod:['1','2','0','3']}]};
+}
+const settings = {start:'2026-01',basis:'net',declared:true,auto:true};
+function draft(value=plan()) {return {currency:'MZN',business_plan_snapshot:serializeBusinessPlanSnapshot(value),monthly_iva_settings:JSON.stringify(settings)};}
+function snapshot(input) {
+    return {contract_version:1,scenario_kind:'fiscal_rule_published',base:null,currency:'MZN',indicative_total:null,legal_interpretation:false,formula_version:'investmoz.tax.v1',
+        context:{reference_date:'2026-01-01',currency:'MZN',currency_fraction_digits:2,scenario_id:'61000100-0000-4000-8000-000000000099',scenario_version:1,engine_version:'fiscal-published-v1',ruleset_version:'IVA-GERAL-BASE-LIQUIDA:1'},
+        result:{status:'indeterminate',value:null,unit:'MZN',explanation:'IVA mensal; não é imposto a pagar.',missing_inputs:['monthly_sales'],source_ids:['qa-source']},presentation:{value:null,rounding_applied:false},
+        fiscal_provenance:{rule:{rule_code:'IVA-GERAL-BASE-LIQUIDA',rule_version:1,valid_from:'2023-01-01',valid_until:null,source:{diploma:'Fonte sintética QA',article:'Teste'}},scope_status:'user_declared'},
+        monthly_projection:{input,cash_treatment:monthlyIvaCashTreatment,rows:[{date:'2026-01-01',sales_declared:'1000.03',net_sales:'1000.03',rate:'16',vat:'160.0048',gross_sales:'1160.0348',status:'calculated'},{date:'2026-02-01',sales_declared:'0',net_sales:'0',rate:'16',vat:'0',gross_sales:'0',status:'calculated'},{date:'2026-03-01',sales_declared:null,net_sales:null,rate:null,vat:null,gross_sales:null,status:'missing_sales'}]}};
+}
+test('monthly IVA reuses exactly the existing per-product sales projection without repeating entry', () => {
+    const value=plan();
+    assert.deepEqual(monthlyProjectedSales(value), forecastBusinessPlan(value).rows.map((row) => row.revenue));
+    assert.deepEqual(monthlySalesFromDraft(draft()).amounts,['1000.03','2000.06','0.00','3000.09']);
+});
+test('a missing month remains unknown while an explicit zero and other months stay available', () => {
+    const value=plan(); value.products[0].monthlyUnitsByPeriod=['1','','0','2'];
+    assert.deepEqual(monthlyProjectedSales(value),['1000.03',null,'0.00','2000.06']);
+    const input=monthlyIvaInput(draft(value), settings);
+    assert.equal(input.monthly_sales[1].amount,null); assert.equal(input.monthly_sales[2].amount,'0.00');
+    assert.equal('rate' in input,false); assert.equal('monthlyTaxAssessed' in input,false);
+});
+test('gross basis is preserved and old fiscal results become stale when sales, currency or basis change', () => {
+    const value=draft(); const initial=monthlyIvaInput(value, settings); const frozen=JSON.stringify(initial);
+    const gross=monthlyIvaInput(value,{...settings,basis:'included'});
+    assert.equal(gross.monthly_sales[0].amount,'1000.03'); assert.notEqual(monthlyIvaKey(gross),monthlyIvaKey(initial));
+    const changed=plan();changed.products[0].monthlyUnitsByPeriod[0]='2';
+    assert.notEqual(monthlyIvaKey(monthlyIvaInput(draft(changed),settings)),monthlyIvaKey(initial));
+    assert.equal(JSON.stringify(initial),frozen);
+    assert.throws(() => monthlyIvaInput(value,{...settings,start:'2026-12'}),/cobertura/);
+});
+test('monthly recovery and finance report preserve exact values and mark stale history without recomputing VAT', () => {
+    const value=plan();value.products[0].monthlyUnitsByPeriod=['1','0','','2'];
+    const original=draft(value); const input=monthlyIvaInput(original,settings); const result=snapshot(input);
+    original.monthly_iva_snapshot=JSON.stringify({input,execution:{id:'61000100-0000-4000-8000-000000000077',status:'completed',version_no:2,result_snapshot:result}});
+    const partition=partitionSimulationDraft(original); const recovered=restoreSimulationDraft(partition.economic_snapshot,partition.personal_snapshot);
+    assert.equal(recovered.monthly_iva_snapshot,original.monthly_iva_snapshot);
+    assert.equal(readMonthlyIvaRecord(recovered.monthly_iva_snapshot).execution.result_snapshot.monthly_projection.rows[0].vat,'160.0048');
+    assert.equal(readArithmeticSnapshot(result).integrity,'versioned');
+    let report=createProjectDossierReport(recovered,{selectedSections:new Set(['finance'])});
+    let text=JSON.stringify(report); assert.match(text,/160\.0048/);assert.match(text,/1160\.0348/);assert.match(text,/sem informação de vendas/);assert.match(text,/não é imposto a pagar/);
+    value.products[0].monthlyUnitsByPeriod[0]='2';recovered.business_plan_snapshot=serializeBusinessPlanSnapshot(value);
+    report=createProjectDossierReport(recovered,{selectedSections:new Set(['finance'])});text=JSON.stringify(report);
+    assert.match(text,/Histórico desactualizado/);assert.match(text,/160\.0048/);
+    assert.match(monthlyIvaCashTreatment,/não é somado novamente/);assert.match(monthlyIvaCashTreatment,/nem deduzido como custo/);
+});
Author	SHA1	Message	Date
nala	0b0cf76137	Reconcile IVA projection with Tempo Modelo A in QA	2026-10-21 14:27:24 +02:00
nala	3f5430c3ce	Integrate monthly IVA with projected sales in QA	2026-10-21 14:05:46 +02:00