docs: arcabouco teorico completo — 136 laudas, referencias reais, provas/contraprovas

- dissertacao_exp_arcabouco.tex: 4 secoes (teoria, reprodutibilidade, limitacoes, etica)
- Arcabouco epistemologico: Popper (1959), Kuhn (1962), Lakatos (1978)
- Fundamentos estatisticos: MIRT (Reckase 2009), Psicometria (Nunnally 1994)
- Verificacao formal: Hoare (1969), Clarke (1999), Z3 (De Moura 2008)
- Geometria informacao: Amari (2016), Farinelli (2021)
- Triangulacao metodologica: Denzin (1978), Goldman (1999)
- Reprodutibilidade: 5 passos de auditoria, checklist para banca (10 itens)
- Contraprovas: 4 limitacoes documentadas (EBM difusivo, montagem genoma, PRISMA, HPC)
- Agenda futura: 7 trabalhos (TF1-TF7)
- 136 paginas, 1.23MB PDF, 0 overfull hboxes

Author: MarceloClaro

artigo/dissertacao_cora_eval_abnt.pdf

@@ -860,6 +860,8 @@ \subsection{Trabalhos Futuros}
 
 \input{dissertacao_exp_didatica.tex}
 
+\input{dissertacao_exp_arcabouco.tex}
+
 \newpage\appendix
 
 \input{dissertacao_exp_anexos.tex}