O que acontece quando executamos os testes?

Uma função de teste é código comum. O que muda são as regras ao redor dela: alguém precisa encontrá-la, preparar um contexto, observar sua saída e transformar o término em resultado. Esse coordenador é o runner.

prova test
    ├─ descobrir ─► catálogo
    ├─ executar  ─► eventos
    └─ relatar   ─► pessoa + CI + exit code

Linguagens usam nomes, diretórios, metadados, macros, reflexão ou registro. A Pulso ganha a declaração teste sem quebrar programas existentes.

teste "soma dois inteiros" {
  assert_eq(soma(2, 2), 4)
}

O parser preserva nome, arquivo, linha e coluna. O compilador emite bytecode Cadência e guarda metadados num catálogo separado.

suite.pulso
  ├─ soma dois inteiros @ 3:1 ─► função #7
  └─ consulta perfil   @ 8:1 ─► função #9 · ignored

Reutilizamos lexer, parser e AST da Pulso e o bytecode da Cadência. O Crivo diagnostica antes da execução; lint não vira teste.

fonte + posição ─► AST TestDecl ─► função Cadência
                                      ↓
catálogo ─► filtro ─► VM nova ─► eventos

O Prova cria stack, globais, heap e stdout novos por caso. Isso não é um processo novo: é isolamento dentro do runtime controlado.

Passou
Falhou(FalhaAssertion)
ErroRuntime(ErroCadencia)
Ignorado(Motivo)
ErroRunner(FalhaInterna)

Timeout será uma categoria própria no capítulo 3. Falha do programa e falha do worker nunca são misturadas.

Uma função que recebe apenas 5 e 4 perdeu as expressões originais. O frontend Pulso reconhece as assertions internas e anexa expressões e posições ao bytecode.

FALHOU soma dois inteiros
suite.pulso:12:5
assert_eq(soma(2, 3), 4)
  esperado: 4
  recebido: 5

Macros resolvem isso de outra forma em Rust. O Prova declara sua escolha em vez de fingir que todas as linguagens funcionam igual.

assert, assert_eq e assert_ne usam igualdade estrutural. Strings recebem diff por linhas e listas apontam o primeiro índice diferente. Cor é apoio, nunca a única pista.

esperado: "linha azul"
recebido: "linha verde"
                 -----  +++++

Cada VM escreve num buffer. Um relógio monotônico mede duração. SuiteStarted, CaseStarted, Stdout, CaseFinished e SuiteFinished desacoplam execução de apresentação.

$ prova list
suite.pulso:3 soma dois inteiros
$ prova test soma
PASSOU soma dois inteiros 0,31 ms
1 caso · 1 passou · 0 falhou

Falha, erro de runtime ou erro interno produzem exit code diferente de zero para shell e CI.

1. O parser preserva a posição.
2. O compilador cria função e mapa de fonte.
3. O catálogo registra identidade e tags.
4. O filtro seleciona sem alterar identidade.
5. Uma VM nova executa.
6. A assertion cria falha estruturada.
7. O runner encerra o contexto e emite evento.
8. O relatório resume e escolhe o exit code.

Ele descobre fixtures próprias, filtra, executa, continua após falha, captura saída e relata. Não possui reflexão, plugins, processo por caso nem compatibilidade total com cargo test, JUnit, pytest, Jest ou Vitest.

No próximo capítulo, um teste que passa sozinho revelará por que uma VM nova ainda não controla arquivos, tempo e serviços.

Baixar Prova 0.1 — estado exato deste capítulo