Auditor de Claims de Banco e Consistência: laudo claim por claim, ADR de residência do dado de registro e verificação de durabilidade antes de migrar

Um banco novo promete "ACID completo", "prova formal" e ser compatível com o seu banco atual. Meses depois, um relatório adversário mostra perda de commit confirmado, filtros que retornam o conjunto errado sem erro e constraints que não bloqueiam nada. Este pacote entrega ao modelo o trabalho completo de um arquiteto sênior de dados sobre o dossiê de evidência e o inventário de workloads da empresa: o que cada claim realmente implica, o que a evidência permite afirmar, onde o dado de registro pode morar, e qual teste é preciso rodar antes de confiar.

O produto NÃO é um parágrafo pronto para copiar. São 5 arquivos complementares, feitos para rodar juntos no mesmo contexto: o prompt principal com schema fixo de 13 seções, as regras que impedem as falhas mais caras (aceitar rótulo de marketing como garantia, tratar bug corrigido como maturidade, colocar dado de registro em banco sem durabilidade provada), o contexto de domínio com a tradução claim → propriedade verificável e dois exemplos completos, um harness de verificação para o comprador, e templates de variação (versão de uma página, gate de go/no-go em YAML, perguntas para o fornecedor).

Para quem: arquitetos de dados e de plataforma, tech leads, SREs e líderes técnicos avaliando adoção de banco novo (ou banco "compatível com Postgres") para workloads transacionais, filas, memória de agentes de IA, busca vetorial ou analítico; times que precisam responder a comitê de arquitetura, CTO ou auditoria com evidência em vez de opinião.

Você fornece: o nome e as versões avaliadas do banco; as afirmações do fornecedor citadas literalmente (claims de marketing e documentação); o tipo de artefato de evidência disponível (relatório adversário, changelog, bug bounty, post, ou "nenhum além do marketing"); os achados agrupados por área; os modos de concorrência e de durabilidade e qual é o default; o que o teste existente cobriu e não cobriu; a reação do fornecedor; seus workloads com volume, taxa de escrita e tolerância a perda; onde hoje vive o dado de registro; o que já migrou; requisitos externos e restrições. Pode vir incompleto — o pacote trabalha com lacunas declaradas em vez de inventar dados.

Você recebe: um laudo único com resumo executivo em 4 números, fatos/inferências/lacunas com fonte e versão, tabela de claims × evidência com veredito por claim, matriz de modos e configurações (declarado × inferido × default × conflito entre fontes), achados por classe de falha (A–I) com diagnóstico separado em bug / lacuna de QA / design / comunicação, aderência por workload com veredito único, blast radius do dado já gravado com reconciliação, ADR de residência do dado de registro, plano de contingência e saída com gatilhos objetivos e prova de paridade, programa de verificação própria (5 testes com critério de reprovação), condições de go/no-go e riscos residuais com dono e data.