Escada de evidência — check não é runtime
Os checks provam HEAD limpo, sintaxe, contratos de tier, smoke do dispatcher e ajuda do CLI. Eles não provam instalação, containers saudáveis, chat, UI, segurança, backup ou uninstall.
Simple completo + Technical
Os checks provam HEAD limpo, sintaxe, contratos de tier, smoke do dispatcher e ajuda do CLI. Eles não provam instalação, containers saudáveis, chat, UI, segurança, backup ou uninstall.
Analogia com limite: Planta e materiais podem estar coerentes; só uma travessia instrumentada prova a ponte em uso. Software também muda estado durante a execução.
Por baixo do capô
O runner verificou o commit exato e usou pipefail. O recibo declara instalação, runtime e Docker/Compose como não executados. Essa não-alegação é parte da prova.
Limite: instalação, runtime e Docker/Compose não foram executados.
14 microdiagramas semânticos
Cada figura ensina uma relação; a sequência é mapa de decisão, não painel de saúde.
Comando e fronteira de prova
bash work/run-nonmutating-checks.sh rg -n 'Exit code|Fronteira de prova|Resultado geral' outputs/ods-check-receipt.md
Permite afirmar
| check | leitura |
|---|---|
| local | contrato exercitado |
| upstream | capacidade declarada |
Permanece aberto
| runtime | gate |
|---|---|
| health/chat/UI | piloto vivo |
| lifecycle | backup/restore/uninstall |
Fontes locais
outputs/ods-adoption-dossier.md:89-109outputs/ods-check-receipt.md:8-33work/ods-latest/ods/docs/RELEASE_VALIDATION.md:98-115outputs/ods-check-receipt.md:120-135,222-232
Inclui dossiê, recibo e fonte oficial por caminho:linha.
Prática com feedback
1 · Predição
2 · Stepper
1. classifique a necessidade
2. localize a prova
3. decida sem sobreafirmar
3 · Cenários
4 · Checklist
6 · Quiz
O smoke macOS prova o quê?