fix: numeracao secoes corrigida — Arcabouco Teorico unificado sob secao 2

- Secao 2.1-2.5 agora corretamente aninhadas sob secao 2 (Arcabouco Teorico)
- Sem duplicacao de secoes
- 130 paginas, 0 overfull

Author: MarceloClaro

artigo/dissertacao_cora_eval_abnt.pdf

@@ -1,11 +1,11 @@
-% ======================================================================
+% ======================================================================
 % ARCABOUCO TEORICO, CRITICO E REPRODUTIBILIDADE
 % Referencias reais — Provas e Contraprovas — Auditoria
 % ======================================================================
 
-\section{Arcabouço Teórico: Fundamentos da Avaliação de Raciocínio Científico}
+\\\\paragraph{Arcabouço Teórico: Fundamentos da Avaliação de Raciocínio Científico}
 
-\subsection{Epistemologia da Verificação Científica}
+\\\paragraph{Epistemologia da Verificação Científica}
 
 A avaliação do raciocínio científico em sistemas computacionais não é um
 problema meramente técnico — é, fundamentalmente, um problema epistemológico.
@@ -53,7 +53,7 @@ \subsection{Epistemologia da Verificação Científica}
 O cinturão protetor consiste nos verificadores Cora (V1--V7), que podem ser
 estendidos ou modificados sem alterar o princípio fundamental.
 
-\subsection{Fundamentos Estatísticos da Avaliação Multidimensional}
+\\\paragraph{Fundamentos Estatísticos da Avaliação Multidimensional}
 
 A estrutura multidimensional do CORA-Eval fundamenta-se na Teoria de Resposta
 ao Item Multidimensional (MIRT)\footnote{Reckase, M.D. \textit{Multidimensional
@@ -85,7 +85,7 @@ \subsection{Fundamentos Estatísticos da Avaliação Multidimensional}
 externos — evidenciada pela concordância com 34 problemas do Project Euler
 e Rosalind).
 
-\subsection{Teoria da Verificação Formal}
+\\\paragraph{Teoria da Verificação Formal}
 
 O subsistema Cora-Debate fundamenta-se na teoria de verificação formal de
 programas, especificamente no trabalho seminal de Hoare\footnote{Hoare,
@@ -116,7 +116,7 @@ \subsection{Teoria da Verificação Formal}
 V5 (numérico), V6 (EDO/EDP) e V7 (código) são ``avaliadores independentes''
 que auditam cada afirmação usando critérios distintos e complementares.
 
-\subsection{Geometria Diferencial da Informação}
+\\\paragraph{Geometria Diferencial da Informação}
 
 A extensão do CORA-Eval para geometria cognitiva (Seção 9) fundamenta-se na
 \textbf{geometria da informação}\footnote{Amari, S. \textit{Information
@@ -144,7 +144,7 @@ \subsection{Geometria Diferencial da Informação}
 dimensões importa — aprender D1 antes de D2 produz resultado diferente de
 aprender D2 antes de D1.
 
-\subsection{Triangulação Metodológica como Princípio de Validação}
+\\\paragraph{Triangulação Metodológica como Princípio de Validação}
 
 O design do CORA-Eval incorpora o princípio da triangulação metodológica
 de Denzin\footnote{Denzin, N.K. \textit{The Research Act: A Theoretical
@@ -177,9 +177,9 @@ \subsection{Triangulação Metodológica como Princípio de Validação}
 exige convergência entre múltiplos métodos, fontes e perspectivas antes de
 atribuir um score.
 
-\section{Reprodutibilidade e Auditoria}
+\\\\paragraph{Reprodutibilidade e Auditoria}
 
-\subsection{Princípio de Reprodutibilidade Total}
+\\\paragraph{Princípio de Reprodutibilidade Total}
 
 O OpenCode Ecosystem adere ao \textbf{princípio de reprodutibilidade total}:
 qualquer afirmação feita nesta dissertação — seja um score, uma correlação,
@@ -201,7 +201,7 @@ \subsection{Princípio de Reprodutibilidade Total}
       fornecem ground truth independente e imutável.
 \end{enumerate}
 
-\subsection{Auditoria Independente: Passo a Passo}
+\\\paragraph{Auditoria Independente: Passo a Passo}
 
 Para permitir que uma banca examinadora verifique independentemente qualquer
 resultado desta dissertação, documentamos o procedimento completo de auditoria:
@@ -223,7 +223,7 @@ \subsection{Auditoria Independente: Passo a Passo}
       \textit{Esperado: cada dimensão com score $\geq$ 3.0}
 \end{enumerate}
 
-\subsection{Contraprovas: O Que o Sistema Não Consegue Fazer}
+\\\paragraph{Contraprovas: O Que o Sistema Não Consegue Fazer}
 
 A integridade científica exige que documentemos não apenas os sucessos, mas
 também os fracassos — o que o ecossistema \textbf{não} consegue fazer. Esta
@@ -255,7 +255,7 @@ \subsection{Contraprovas: O Que o Sistema Não Consegue Fazer}
       não de arquitetura.
 \end{enumerate}
 
-\subsection{Checklist de Auditoria para a Banca}
+\\\paragraph{Checklist de Auditoria para a Banca}
 
 \begin{table}[H]\centering\caption{Checklist de verificações para a banca examinadora}
 \label{tab:checklist}
@@ -277,9 +277,9 @@ \subsection{Checklist de Auditoria para a Banca}
 \end{tabular}
 \end{table}
 
-\section{Limitações e Agenda de Pesquisa Futura}
+\\\\paragraph{Limitações e Agenda de Pesquisa Futura}
 
-\subsection{Limitações Reconhecidas}
+\\\paragraph{Limitações Reconhecidas}
 
 Com base nos resultados da validação exaustiva (Seção 10), identificamos
 cinco categorias de limitações que afetam a interpretação dos resultados:
@@ -309,7 +309,7 @@ \subsection{Limitações Reconhecidas}
 exclusivamente em Windows 11 com Python 3.12. A reprodutibilidade em Linux
 ou macOS não foi verificada, embora o código seja portável por design.
 
-\subsection{Agenda de Pesquisa Futura}
+\\\paragraph{Agenda de Pesquisa Futura}
 
 \textbf{TF1 —Extensão para ciências humanas}: Adaptar o CORA-Eval para incluir
 dimensões de economia (modelagem de equilíbrio geral), linguística
@@ -340,7 +340,7 @@ \subsection{Agenda de Pesquisa Futura}
 registrando snapshots semanais para validar (ou refutar) as projeções de
 crescimento do tensor de evolução e a estabilidade da geodésica de aprendizado.
 
-\subsection{Considerações Éticas e de Transparência}
+\\\paragraph{Considerações Éticas e de Transparência}
 
 O OpenCode Ecosystem é um projeto de código aberto (MIT License). Todos os
 dados, códigos e resultados apresentados nesta dissertação são públicos e