# As 3 células AUTO_FILL_SAFE reais (Agent 2, pós-correção do motor) — Missão 5 / Z.4

Evidência: `docs/runs/GTI_dryrun_universe.ndjson.gz` (dry-run read-only, pós-fix Bloco A.1).

| Produto | Campo | Valor atual | Valor proposto | Regra (`field_contract`) | Evidência concreta |
|---|---|---|---|---|---|
| 000801 PEIXE TILAPIA FILE S/ ESPINHAS | CFOP | (em branco) | 5102 | `DERIVED_FROM_ROLE_AND_ST_FILLING_BLANK` | `C000025.TIPO=VENDA` + documento de compra em `C000088`/estoque em `C000100` comprovam papel RESALE; sem substituição tributária (ST) declarada para este item — 5102 é o CFOP de venda de mercadoria de revenda, intra-UF, sem ST. Campo estava vazio (preenche, nunca sobrescreve). |
| 000802 PEIXE CORVINA POSTA | CFOP | (em branco) | 5102 | `DERIVED_FROM_ROLE_AND_ST_FILLING_BLANK` | Mesma evidência do item acima (RESALE + sem ST), mesmo produto-tipo (peixe fresco vendido a granel). |
| 000697 SUCO DE GRAVIOLA GTI | IPPT | T (terceiros) | P (própria produção) | `DERIVED_FROM_PRODUCT_ROLE:PROD_COZINHA=1,RECEITA_INGREDIENTES` | Evidência **direta**, não estatística: `C000025.PROD_COZINHA=1` (produto roteado para a cozinha) **e** existe uma linha em `RECEITA_INGREDIENTES` ligando este código a uma receita real — as duas evidências, juntas, não dependem do limiar de maioria de `C000032.TIPO=COMPOSICAO` (que é só para o caso mais fraco, estatístico). |

Nenhuma das 3 depende de interpretação fiscal — são derivações determinísticas de papel do
produto (revenda/produção própria) já comprovado por dados do próprio ERP (documento de compra,
estoque, receita), não por regra fiscal inventada. Continuam sujeitas ao roteiro de acceptance com
produtos de teste antes de qualquer escrita real (`docs/CFOP_IPPT_WRITE_CAPABILITY_V1.md`).