Status de Verificação¶
Confiança técnica é mais forte quando o tipo de verificação é explícito. Este projeto não trata "o site builds" como prova que todo claim e fragmento de código é correto.
Níveis atuais de verificação¶
| Área | Verificação realizada | Limitação remanescente |
|---|---|---|
| Navigation e local links | Validação automatizada em toda página Markdown | URLs externas podem mudar independentemente |
| MkDocs rendering | Build strict com toolchain de documentação pinada | Regression visual client-side não é automatizado |
| Core search, sorting, BFS e topological examples | Compilado e executado com testes gerados determinísticos | Testes são evidência, não provas formais |
| C++ language examples | Compilado como C++20 com diagnostics strict e executado | Snippets de documentação fora do exemplo executável permanecem ilustrativos |
| Explicações de algoritmo | Revisão manual de contrato, invariante e complexidade | Nem todo algoritmo tem prova machine-checked |
| Java language e concorrência | Revisão manual contra contratos de linguagem/API e referências estabelecidas | A maioria dos snippets isolados não é compilado como uma aplicação |
| Spring e Spring Boot | Revisão manual contra documentação oficial atual | Snippets ilustrativos não são ainda montados em um serviço runnable |
| Técnicas de engenharia prática | Revisão cross-topic mais referências atuais Spring, Hibernate e Micrometer onde version-sensitive | Snippets Java e SQL ilustrativos não são uma aplicação executável |
| Privacy | Padrões common-secret automatizados mais revisão editorial | Nenhum detector pode garantir ausência de toda inferência sensível |
Significado de labels de código¶
- Executable example: armazenado sob
examples/, compilado e exercitado pelo workflow de qualidade. - Java snippet: destinado a ser válido dentro das imports e enclosing type implícito pela página, mas pode não ter um build target independente.
- Pseudocode: explicação language-neutral; não destinada para compilação.
- Conceptual configuration: demonstra um contrato ou decisão de design e deve ser checado contra a versão de dependência usada por uma aplicação real.
Regra de revisão¶
Uma página não deve claimar um nível de verificação mais forte que tem. Material framework version-sensitive links para documentação oficial. Trabalho futuro pode promover selected Spring examples a uma referência executável com testes de integração, migrations, security tests e observability assertions.