fix(publicacao): enquadrar texto, tabelas, figuras e equacoes no PDF de submissao (2 colunas)

- Figura: usar \columnwidth (e nao \textwidth, que em twocolumn e a largura
  da pagina inteira) — corrige a sobreposicao da figura com a coluna adjacente.
- Equacoes largas reformuladas para caber na coluna de 229pt:
  * eq:mu com \mathclap no numerador; eq:lambda e eq:habdscore com subscritos
    compactos/\mathclap; hipoteses H2/H3 (metodologia) e vereditos H2/H3
    (resultados) reescritos em aligned multilinha.
- Tabelas: cabecalhos encurtados (Div, g, cob., Delta g), \small e legenda;
  captions sem tokens longos \texttt nao quebraveis.
- Consistencia de notacao: \lambda_{base} -> \lambda_B em todo o documento.
- main.tex: path longo de reprodutibilidade com \allowbreak.
Resultado: 0 overfulls no PDF de submissao (9 pags) e no de leitura (14 pags).

Author: MarceloClaro

publications/r459_article/main.tex

@@ -11,6 +11,7 @@
 \usepackage[brazil]{babel}
 \usepackage[margin=2.5cm]{geometry}
 \usepackage{amsmath,amssymb}
+\usepackage{mathtools}
 \usepackage{booktabs}
 \usepackage{graphicx}
 \usepackage{xcolor}
@@ -152,7 +153,7 @@ \section*{Apêndice A — Arquivos e reprodutibilidade}
   \item \emph{Benchmark} de coorte: \texttt{benchmarks/cohort\_recaman.py}
         (estratégias \texttt{atual}, \texttt{mmr}, \texttt{recaman},
         \texttt{habd}) e relatório \texttt{benchmarks/cohort\_report.json}.
-        Figura: \texttt{publications/r459\_article/make\_figures.py}.
+        Figura: \texttt{publications/}r459\_article\allowbreak/\texttt{make\_figures.py}.
   \item Especificações: \texttt{SPEC-935-R457}, \texttt{SPEC-935-R458},
         \texttt{SPEC-935-R460}.
   \item Manual técnico: \texttt{docs/r456\_manual\_tecnico\_rag/}.

publications/r459_article/sections/03_metodologia.tex

@@ -13,8 +13,8 @@ \subsubsection{A sequência de Recamán}
 $a_0 = 0$ e, para $n\ge 1$,
 \[
 a_n \;=\; \begin{cases}
-a_{n-1} - n, & \text{se } a_{n-1}-n > 0 \text{ e valor não visitado},\\
-a_{n-1} + n, & \text{caso contrário}.
+a_{n-1} - n, & \text{se } a_{n-1}-n > 0 \text{ e n\~ao visitado},\\
+a_{n-1} + n, & \text{caso contr\'ario}.
 \end{cases}
 \]
 Os primeiros termos são $0,1,3,6,2,7,13,20,12,21$.\footnote{Nota metodológica:
@@ -93,7 +93,7 @@ \subsubsection{Índice de mistura de âncoras ($\mu$)}
 \[
 \label{eq:mu}
 \mu(q) \;=\; \frac{
-\bigl|\{ \text{âncoras distintas nos } W \text{ primeiros de } R\}\bigr|
+\mathclap{\bigl|\{ \text{\"ancoras distintas em } R[1..W] \}\bigr|}
 }{
 \min(W, |R|)
 } ,
@@ -110,10 +110,12 @@ \subsubsection{$\lambda$ adaptativo determinístico}
 forma monotônica:
 \[
 \label{eq:lambda}
-\lambda_{\mathrm{HABD}}(q) \;=\; \lambda_{\min} + \mu(q)\,
-\bigl(\lambda_{\mathrm{base}} - \lambda_{\min}\bigr) ,
+\lambda_{\mathrm H}(q) \;=\; \lambda_{\min} + \mu(q)
+\left(\lambda_{\mathrm B} - \lambda_{\min}\right),
 \]
-com $\lambda_{\min}=0{,}3$ e $\lambda_{\mathrm{base}}=0{,}7$. Quando $\mu\to 0$
+com $\lambda_{\min}=0{,}3$ e $\lambda_{\mathrm B}=0{,}7$
+($\mathrm H$ abrevia \emph{HABD} e $\mathrm B$, \emph{base}).
+Quando $\mu\to 0$
 (monopolista), $\lambda\to 0{,}3$ — a seleção passa a favorecer \emph{diversidade}
 (penaliza fortemente âncoras repetidas). Quando $\mu\to 1$ (misto), $\lambda\to
 0{,}7$ — privilegia-se \emph{relevância}, pois a diversidade já está
@@ -127,7 +129,7 @@ \subsubsection{Seleção MMR anchor-blended}
 \[
 \label{eq:habdscore}
 \mathrm{score}(d) \;=\; \lambda\,\mathrm{relev}(d) \;-\; (1-\lambda)\,
-\underbrace{\max_{d_j\in S}\, \Sim_{\mathrm{anchor}}(d,d_j)}_{\text{0 se }d\text{ tem âncora nova}} ,
+\underbrace{\max_{d_j\in S}\, \Sim_{\mathrm{anchor}}(d,d_j)}_{\mathclap{\text{0 se }d\text{ tem âncora nova}}} ,
 \]
 onde $\Sim_{\mathrm{anchor}}(d,d_j)=1$ se $d$ e $d_j$ têm a \emph{mesma âncora} e
 $0$ caso contrário. A top-1 do ranking é sempre mantida. O efeito é duplo: (i)
@@ -169,7 +171,7 @@ \subsection{Protocolo de coorte}
         sobre o ranking ordenado.
   \item \textbf{HABD:} o diversificador \emph{anchor-blended} determinístico com
         $\lambda$ adaptativo (Seção do HABD), com $\lambda_{\min}=0{,}3$ e
-        $\lambda_{\mathrm{base}}=0{,}7$.
+        $\lambda_{\mathrm B}=0{,}7$.
 \end{enumerate}
 
 As métricas avaliadas por seleção são: diversidade $\Div(\mathcal{S})$ (Eq.
@@ -200,20 +202,26 @@ \subsection{Cuidados de validade}
 
 \subsection{Hipóteses}
 
-Formalizamos as hipóteses a testar. Para o esquema posicional de Recamán:
+Formalizamos as hipóteses a testar, usando subscritos $t$ (top-$k$),
+$r$ (Recamán), $m$ (MMR) e $h$ (HABD) para abreviar $g$ e $\Div$. Para o esquema
+posicional de Recamán:
 \[
-\textbf{H2:}\quad \Div(S_{\text{Recamán}}) > \Div(S_{\text{top-k}})
-\;\wedge\; \frac{g_{\text{top-k}} - g_{\text{Recamán}}}{g_{\text{top-k}}} \le 0{,}05,
+\begin{aligned}
+\textbf{H2:}\quad & \Div(S_r) > \Div(S_t)
+  \;\wedge\; \tfrac{g_t - g_r}{g_t} \le 0{,}05,
+\end{aligned}
 \]
 onde $g$ denota \emph{groundedness} médio. A segunda condição garante que o
 ganho de diversidade, se houver, não degrada relevância além de uma tolerância de
 $5\%$.
 
 Para o diversificador híbrido HABD:
 \[
-\textbf{H3:}\quad \bigl[\Div(S_{\text{HABD}}) > 0{,}5\bigr]
-\;\wedge\; \bigl[\Div(S_{\text{HABD}}) \ge \Div(S_{\text{MMR}})\bigr]
-\;\wedge\; \frac{g_{\text{top-k}} - g_{\text{HABD}}}{g_{\text{top-k}}} \le 0{,}05,
+\begin{aligned}
+\textbf{H3:}\quad & \bigl[\Div(S_h) > 0{,}5\bigr]
+  \;\wedge\; \bigl[\Div(S_h) \ge \Div(S_m)\bigr]\\[-1pt]
+&\qquad \wedge\; \tfrac{g_t - g_h}{g_t} \le 0{,}05,
+\end{aligned}
 \]
 em que a primeira condição exige superar o \emph{empate} top-k/Recamán, a segunda
 exige não ficar atrás do MMR em diversidade, e a terceira impõe a mesma tolerância

publications/r459_article/sections/04_resultados.tex

@@ -14,35 +14,41 @@ \section{Resultados}
 \subsection{Resultados agregados por estratégia}
 
 A Tabela~\ref{tab:resumo} apresenta as médias das métricas por estratégia ao longo
-das 4 queries. O HABD usa $\lambda_{\min}=0{,}3$, $\lambda_{\mathrm{base}}=0{,}7$;
+das 4 queries. O HABD usa $\lambda_{\min}=0{,}3$, $\lambda_{\mathrm B}=0{,}7$;
 o $\lambda$ médio efetivo observado foi $0{,}4333$ — confirmando a rotação para
 diversidade (o ranking é localmente monopolista, $\mu$ baixo).
 
 \begin{table}[ht]
 \centering
 \caption{Resultados agregados do coorte (médias sobre $n\_queries=4$, $K=4$).
-Valores reais do \texttt{cohort\_report.json}.}
+Valores reais extraídos do relatório do \emph{benchmark} (\texttt{cohort\_report}).}
 \label{tab:resumo}
+\small
 \begin{tabular}{lcccc}
 \toprule
-\textbf{Estratégia} & $\Div(\mathcal{S})$ & \emph{groundedness} & \emph{cobertura} & $\Delta g$ \\
+\textbf{Estratégia} & $\Div$ & \emph{g} & \emph{cob.} & $\Delta g$ \\
 \midrule
-\emph{top-k} (atual) & 0.500 & 0.4561 & 0.667 & --- \\
-Recamán               & 0.500 & 0.4561 & 0.667 & 0.0\% \\
-MMR ($\lambda=0.7$)   & 0.750 & 0.4256 & 0.917 & $-6{,}7\%$ \\
-\textbf{HABD}         & \textbf{0.8333} & 0.4087 & \textbf{1.000} & $-10{,}4\%$ \\
+\emph{top-k} & 0.500 & 0.4561 & 0.667 & --- \\
+Recamán      & 0.500 & 0.4561 & 0.667 & 0.0\% \\
+MMR, $\lambda{=}0.7$ & 0.750 & 0.4256 & 0.917 & $-6{,}7\%$ \\
+\textbf{HABD} & \textbf{0.8333} & 0.4087 & \textbf{1.000} & $-10{,}4\%$ \\
 \bottomrule
 \end{tabular}
+\caption*{\footnotesize \emph{g}: groundedness; \emph{cob.}: cobertura.}
 \end{table}
 
 Os resultados revelam quatro fatos:
 
 \begin{figure}[ht]
 \centering
-\includegraphics[width=0.88\textwidth]{figures/cohort_results.png}
+% NOTA: usar \columnwidth (e não \textwidth) — em documento twocolumn,
+% \textwidth é a largura DA PÁGINA INTEIRA e faria a figura transbordar a
+% coluna e sobrepor-se à coluna adjacente. \columnwidth resolve em ambos
+% os layouts (uma coluna: \columnwidth == \textwidth).
+\includegraphics[width=0.9\columnwidth]{figures/cohort_results.png}
 \caption{Comparação das quatro estratégias sob diversidade, relevância e cobertura
-(corpus-piloto controlado, médias sobre 4 queries). Valores iguais aos do
-\texttt{cohort\_report.json}.}
+(corpus-piloto controlado, médias sobre 4 queries). Valores iguais aos reportados
+no \emph{benchmark}.}
 \label{fig:cohort}
 \end{figure}
 
@@ -81,7 +87,7 @@ \subsection{Comportamento por query}
 \begin{table}[ht]
 \centering
 \caption{Diversidade $\Div(\mathcal{S})$ por query.
-Valores reais do \texttt{cohort\_report.json}.}
+Valores reais extraídos do relatório do \emph{benchmark}.}
 \label{tab:porquery}
 \begin{tabular}{lcccc}
 \toprule
@@ -99,21 +105,27 @@ \subsection{Veredito das hipóteses}
 
 Com base nos critérios definidos na Seção~\ref{sec:metodo}:
 \[
-\underbrace{\Delta\Div(\text{Recamán}) = 0{,}0}_{\text{não estritamente }>0}
-\;\Rightarrow\; \textbf{H2 refutada}
+\begin{aligned}
+&\Delta\Div(\text{Recam\'an}) = 0{,}0
+    && \mathrlap{\text{(n\~ao estritamente $>0$)}}\\
+&\Rightarrow\; \textbf{H2 refutada}
+\end{aligned}
 \]
 Registramos, portanto, o veredito \texttt{refuta\_H2}: no corpus-piloto, a
 seleção posicional por Recamán \emph{não demonstra} ganho estrito de diversidade
 sobre o \emph{top-k}, enquanto o MMR demonstra ganho em 3 das 4 queries.
 
 Para o HABD, ainda que a \emph{diversidade} e a \emph{cobertura} sejam as maiores
 do coorte (0{,}8333 e 1{,}000), a queda relativa de relevância
-($10{,}4\%$) \textbf{excede} a tolerância de $5\%$:
+($10{,}4\%$) \textbf{excede} a tolerância de $5\%$. Formalmente:
 \[
-\underbrace{\Delta\Div(\text{HABD}) > 0{,}5 \;\wedge\; \Div(\text{HABD})\ge\Div(\text{MMR})}_{\text{verdadeiro (factual) }}
-\;\wedge\;
-\underbrace{\frac{\Delta g}{g} = 0{,}104}_{> 0{,}05 \;\Rightarrow\; \textbf{condição violada}}
-\;\Rightarrow\; \textbf{H3 refutada}
+\begin{aligned}
+\Delta\Div(\text{HABD}) &> 0{,}5\\[-2pt]
+\Div(\text{HABD}) &\ge \Div(\text{MMR}) &&\mathrlap{\text{(factual)}}\\[2pt]
+\tfrac{\Delta g}{g} &= 0{,}104 > 0{,}05
+  &&\mathrlap{\Rightarrow \textbf{cond. violada}}\\[2pt]
+&\Rightarrow \textbf{H3 refutada}
+\end{aligned}
 \]
 Registramos \texttt{refuta\_H3}: o HABD \emph{supera} MMR e Recamán em diversidade
 e cobertura, mas \emph{não satisfaz} o critério rígido de relevância. As duas

publications/r459_article/sections/05_discussao.tex

@@ -107,7 +107,7 @@ \subsection{Limitações do estudo}
   \item \textbf{Conjunto de queries pequeno} ($n=4$): os agregados têm caráter
         ilustrativo; um experimento com dezenas/centenas de queries e múltiplas
         sementes é necessário para inferência estatística.
-  \item \textbf{$\lambda_{\min}$/$\lambda_{\mathrm{base}}$ escolhidos por
+  \item \textbf{$\lambda_{\min}$/$\lambda_{\mathrm B}$ escolhidos por
         convenção} ($0{,}3$/$0{,}7$); a sensibilidade a esses valores e ao tamanho
         da janela $W$ do índice de mistura $\mu$ não foi explorada aqui.
   \item \textbf{Heurística sem feedback de qualidade:} o HABD não usa LLM-judge

publications/r459_article/submission/submission.tex

@@ -14,6 +14,7 @@
 \usepackage[brazil]{babel}
 \usepackage[margin=2.2cm]{geometry}
 \usepackage{amsmath,amssymb}
+\usepackage{mathtools}
 \usepackage{booktabs}
 \usepackage{graphicx}
 \usepackage{xcolor}