Os registros computacionais apresentados ao longo deste livro — em especial os notebooks executáveis que acompanham o Apêndice Técnico — não devem ser interpretados como material suplementar, exemplos ilustrativos ou apêndices didáticos.
Eles cumprem uma função editorial e epistemológica precisa.
O corpo do livro estabelece uma estrutura matemática, conceitual e operacional completa. Os notebooks não ampliam essa estrutura, não introduzem novos argumentos e não corrigem lacunas teóricas. Sua função é distinta: demonstrar executabilidade.
Em termos claros:
Os registros computacionais existem para que o leitor possa repetir, alterar, perturbar e verificar os procedimentos descritos, utilizando ambientes neutros e públicos, sem dependência de infraestrutura privilegiada, credenciamento institucional ou confiança prévia.
Não se trata de “dados anexos”. Trata-se de rastros operacionais.
Esses rastros fixam um critério objetivo:
Por essa razão, os notebooks não são citados como evidência externa, nem como validação posterior. Eles funcionam como instrumentos de auditoria, colocados à disposição do leitor após o encerramento do percurso conceitual.
O livro termina quando a régua está posta. Os registros computacionais existem apenas para que qualquer leitor possa verificar, por si mesmo, que ela não se move.
| $\gets$ Nota ao Leitor | Sumário | Próximo Capítulo $\to$ |