v2.2 — estudo fechado: site, relatório executivo e deck

v2.2 — estudo fechado e entregáveis

Oráculos metamórficos para teste E2E de navegador, em quatro camadas (pt-BR): C1 introdução · C2 teoria e catálogo de 24 relações · C3 mercado · C4 especificação da stack em AWS. Site: https://apethor.github.io/metamorphic-e2e-oracles/

Anexos

• WebTestPilot-relatorio-executivo-v2.2.pdf — relatório executivo, 10 páginas, linguagem de negócio.
• WebTestPilot-deck-v2.2.pptx — deck de apresentação, 15 slides, com notas do apresentador.
• metamorphic-e2e-oracles-site-v2.2.zip — as cinco páginas HTML (offline).

O que mudou desde a v2 (27/08)

• v2.1 (28/08) — pendências fechadas: tese de Zahid (Åbo 2025) lida por inteiro; regra de merge de carrinho do Vendure lida (MR-B5 com pré-condição); Hegel avaliado; adoção do Bombadil medida (9 repositórios de terceiros); três títulos COMPSAC/AITest 2026 localizados por DOI.
• v2.2 (28/08) — revisão editorial (par leitor R7) e auditoria de consistência (R8) aplicadas: classes de custo K0/K1/K2 sem colisão de nomes; prefixo MR-; histórico de versão fora do texto; enunciados E1–E12, divergências D1–D6 e convenções definidos no C1 § 5; ADR-11..14 escritas e as 16 ADRs em subseções; 9 contradições factuais e 21 correções do R8 aplicadas.

Cinco conclusões

1. Nenhum produto comercial faz teste metamórfico E2E; o vizinho mais próximo é o Bombadil (Antithesis, jan/2026).
2. "O veredito é código" é consenso; o diferencial é a origem do predicado — uma relação entre execuções.
3. O oráculo que não pode falhar é o que ajusta a relação depois do diff; a resposta é análise de mutação (falsifiedBy executado).
4. Por cenário, MR ≈ 2× a asserção; por família de tela, amortiza; 4/4 falsos positivos sem assentamento.
5. Em AWS, o custo escondido é a rede (NAT = 4–9× o compute); a app roda dentro da task.

Registro completo das rodadas: pesquisa/protocolo.md § 6.