v4.6.2: Loop autonomo — Cora-4.0.12 a 4.0.16 + graphicx fix + graficos no corpo

## Loop autonomo (5 iteracoes)
- 13->12->10->14->12 gaps detectados
- Cora-4.0.12 a 4.0.16 criados
- ECE permanece o gap mais persistente

## Fix critico: graphicx
- \\usepackage{graphicx} adicionado ao preambulo
- 10 graficos agora renderizados no PDF (958 KB vs 487 KB antes)
- Graficos movidos do apendice para o corpo (junto aos problemas)

## Estrutura final
- dca_resolucao_completa.pdf: 41 paginas, 10 graficos, 18 problemas

Author: marce

AGENTS.md

@@ -107,6 +107,7 @@ SEEKER(研究) → 文章创建器(49智能体, 8阶段)
 | 5 | 语言校正器CJK检测 | 98 | 中文上下文+PT-BR输出需强制校正器; 零容忍CJK泄漏 |
 | 6 | editais-br v2.0实战验证 + 4 categorias | 92 | Busca paralela real (pesquisa/mestrado/doutorado/startup) com duckduckgo via curl.exe; httpx bloqueado por CAPTCHA; score por perfil 58-68/100 |
 | 7 | editais-br v7.1 cache versionado + 50+ curados | 94 | KeyError score corrigido + CACHE_VERSION; 28→52 editais curados (16 FAPs estaduais, 4 exterior, 4 setoriais); fallback curadoria agora cobre todas as 27 UFs |
+| 8 | SDD+TDD Pipeline Acadêmico + Simulação de Arguição | 94 | 7 specs modularizadas + 9 CTs validados + 7 correções aplicadas + 3 ADRs DecisionNode + 16 perguntas de banca simuladas; nota DAP 8,07→9,0; anteprojeto PPGTE/UFC anonimizado e validado |
 
 ## 快速命令
 
@@ -156,6 +157,11 @@ SEEKER(研究) → 文章创建器(49智能体, 8阶段)
 | editais-br 4 categorias | 4次 | pesquisa/mestrado/doutorado/startup → 10 resultados reais cada |
 | extracao_profunda | 1次 | sintaxe corrigida, extração funcional (contrapartida, prazos, docs) |
 | editais-br v7.1 cache versionado | 1次 | bug KeyError score corrigido + CACHE_VERSION + setdefault score + cache invalidation |
+| SDD+TDD (specs/ pipeline) | 1次 | 7 specs criadas, 9 CTs, 7/7 falhas corrigidas, 3 ADRs registradas |
+| Simulação de Arguição (agent-forum) | 1次 | 16 perguntas, 3 personas de banca, nota DAP 8,07→9,0 |
+| Protocolo de Anonimato | 1次 | identificadores indiretos removidos; anteprojeto anônimo validado |
+| DecisionNode (ADRs) | 3次 | architectu-001, testing-001, security-001 registradas |
+| Conhecimento Estruturado (SDD) | 1次 | especificação como infraestrutura operacional (Cap. 6 livro) |
 
 ## 交叉验证矩阵 (亲和度)
 
@@ -167,3 +173,7 @@ SEEKER(研究) → 文章创建器(49智能体, 8阶段)
 - websearch↔SEEKER-searcher: 0.85
 - editais-br↔websearch: 0.90 (curl.exe+duckduckgo bypass)
 - editais-br↔docling-pdf-extraction: 0.85 (extracao_profunda dependente)
+- SDD+TDD↔DecisionNode: 0.95 (specs geram ADRs automaticamente)
+- agent-forum↔sequential-thinking: 0.90 (simulação de banca com personas)
+- TESTS_SPEC↔PDF-validation: 0.88 (pipeline CI para documentos acadêmicos)
+- Protocolo-Anonimato↔grep: 0.92 (detecção de identificadores indiretos)

gen_graphs.py

@@ -0,0 +1,86 @@
+import matplotlib; matplotlib.use('Agg')
+import matplotlib.pyplot as plt
+import numpy as np, os
+od = r"C:\Users\marce\OneDrive\Documentos\Antiprojeto UFC\graficos_dca"
+os.makedirs(od, exist_ok=True)
+np.random.seed(42)
+
+# A: Duffing H0 semilog
+def dq(g,q0,T=50,dt=0.05):
+    N=int(T/dt);q=np.zeros(N);p=np.zeros(N);q[0]=q0
+    for i in range(N-1):
+        k1q,k1p=p[i],q[i]-q[i]**3-g*p[i]
+        mq,mp=q[i]+.5*dt*k1q,p[i]+.5*dt*k1p
+        k2q,k2p=mp,mq-mq**3-g*mp
+        mq,mp=q[i]+.5*dt*k2q,p[i]+.5*dt*k2p
+        k3q,k3p=mp,mq-mq**3-g*mp
+        mq,mp=q[i]+dt*k3q,p[i]+dt*k3p
+        k4q,k4p=mp,mq-mq**3-g*mp
+        q[i+1]=q[i]+dt/6*(k1q+2*k2q+2*k3q+k4q)
+        p[i+1]=p[i]+dt/6*(k1p+2*k2p+2*k3p+k4p)
+    H0=.5*p**2+.25*q**4-.5*q**2
+    return np.arange(N)*dt, H0
+
+fig,ax=plt.subplots(1,3,figsize=(12,4))
+for i,g in enumerate([.01,.1,.5]):
+    for q0 in [.5,-.5,1.2,-1.2]:
+        t,H0=dq(g,q0,T=50); ax[i].semilogy(t,np.abs(H0)+1e-16,alpha=.6,lw=.4)
+    ax[i].set_title(f'gamma={g}');ax[i].set_xlabel('t');ax[i].set_ylabel('|H0(t)|');ax[i].grid(1,alpha=.3)
+fig.suptitle('Duffing: H0(t) — Escala Semilog')
+plt.tight_layout();plt.savefig(os.path.join(od,'duffing_h0_semilog.png'),dpi=100);plt.close()
+print("A OK")
+
+# B: Basins (ultra coarse)
+q0s=np.linspace(-2,2,20);p0s=np.linspace(-1.5,1.5,15);bm=np.zeros((15,20))
+for i,p0 in enumerate(p0s):
+    for j,q0 in enumerate(q0s):
+        qq,pp=q0,p0
+        for _ in range(500):
+            k1=pp;k2=qq-qq**3-.1*pp;qq+=.02*(k1+k2)/2;pp+=.02*(k2-.1*pp)
+        bm[i,j]=1 if qq>0 else -1
+fig,ax=plt.subplots(figsize=(7,5))
+ax.imshow(bm,extent=[q0s[0],q0s[-1],p0s[0],p0s[-1]],origin='lower',aspect='auto',cmap='RdBu',alpha=.8)
+ax.set_xlabel('q0');ax.set_ylabel('p0');ax.set_title('Bacias de Atracao — Duffing (gamma=0.1)')
+plt.tight_layout();plt.savefig(os.path.join(od,'duffing_bacias.png'),dpi=100);plt.close()
+print("B OK")
+
+# C: EDE MC vs FP
+om,ka,sg,ep=1.,.3,.5,.5
+b=lambda th:om-ka*np.sin(th);a=lambda th:sg*(1+ep*np.cos(th))
+Nt,Ti,dt=300,20,.04;fv=[]
+for s in range(Nt):
+    np.random.seed(s);Ns=int(Ti/dt);th=np.zeros(Ns);th[0]=np.random.uniform(0,2*np.pi)
+    for i in range(Ns-1):
+        dW=np.sqrt(dt)*np.random.normal()
+        tp=th[i]+b(th[i])*dt+a(th[i])*dW
+        th[i+1]=th[i]+.5*(b(th[i])+b(tp))*dt+.5*(a(th[i])+a(tp))*dW
+    fv.extend(th[-int(Ns*.3):])
+Ng=80;dth=2*np.pi/Ng;M=np.zeros((Ng,Ng))
+for i in range(Ng):
+    th=i*dth;dr=b(th);df=.5*a(th)**2
+    ip=(i+1)%Ng;im=(i-1)%Ng
+    M[i,im]+=df/dth**2+dr/(2*dth);M[i,i]-=2*df/dth**2;M[i,ip]+=df/dth**2-dr/(2*dth)
+ev,evc=np.linalg.eig(M.T);rs=np.abs(evc[:,np.argmin(np.abs(ev))].real)
+rs/=np.sum(rs)*dth;tg=np.linspace(0,2*np.pi,Ng)
+hist,bins=np.histogram(np.array(fv),bins=40,range=(0,2*np.pi),density=True);bc=(bins[:-1]+bins[1:])/2
+fig,ax=plt.subplots(figsize=(10,5))
+ax.bar(bc,hist,width=.12,alpha=.4,label='MC',color='#1f77b4')
+ax.plot(tg,rs,'r-',lw=2,label='F-P');ax.set_xlabel('theta');ax.set_ylabel('rho');ax.legend();ax.grid(1,alpha=.3)
+ax.set_title('EDE: Monte Carlo vs Fokker-Planck')
+plt.tight_layout();plt.savefig(os.path.join(od,'ede_mc_vs_fp.png'),dpi=100);plt.close()
+print("C OK")
+
+# D: Current J*
+Js=np.zeros(Ng)
+for i in range(Ng):
+    ip=(i+1)%Ng;im=(i-1)%Ng
+    dar=(a(tg[ip])*rs[ip]-a(tg[im])*rs[im])/(2*dth)
+    Js[i]=b(i*dth)*rs[i]-.5*a(i*dth)*dar
+fig,ax=plt.subplots(figsize=(10,4))
+ax.plot(tg,Js,'b-',lw=2);ax.axhline(0,color='gray',ls='--',lw=.8)
+ax.set_xlabel('theta');ax.set_ylabel('J*');ax.set_title('Corrente Estacionaria');ax.grid(1,alpha=.3)
+Jm=np.mean(Js)
+ax.text(.5,.9,f'<J*> = {Jm:.4f} (nao-nula = NESS)',transform=ax.transAxes,fontsize=11,ha='center',bbox=dict(boxstyle='round',facecolor='wheat',alpha=.8))
+plt.tight_layout();plt.savefig(os.path.join(od,'ede_corrente_j.png'),dpi=100);plt.close()
+print("D OK")
+print("ALL DONE")

skills/cora-debate/references/integration_matrix.md

@@ -36,11 +36,16 @@
 | cora-debate | swarm-review | 0.85 | Revisao | Verificacao por enxame no estagio DEBATE |
 | cora-debate | academic-ml-pipeline | 0.80 | Estatistica | V4 compartilha testes estatisticos |
 | cora-debate | PhD Auditor (P18) | 0.75 | Auditoria | Nash Solver + Cohen's d |
+| cora-debate | SDD+TDD (EVO-8) | 0.88 | Validacao | V7+V8+V9 integrados ao pipeline de validacao academica |
+| cora-debate | DecisionNode | 0.82 | Rastreabilidade | V8 conecta a ADR security-001 (anonimato) |
+| cora-debate | anteprojeto PPGTE | 0.85 | Aplicacao | V9 verifica LGPD/Res.39 no anteprojeto |
 | cora-qscore | agent-node-pipeline (P16) | 0.80 | Pipeline | Selecao de nos por Q-Score |
 | cora-qscore | mirofish-sync | 0.70 | Sincronizacao | Monitora upstream ForumEngine |
 | cora-verifier | code-runner | 0.95 | Execucao | Executa verificacoes Python/SymPy |
 | cora-verifier | sequential-thinking | 0.85 | Raciocinio | Verifica passos de cadeia de pensamento |
 | cora-verifier | academic-ml-pipeline | 0.80 | Estatistica | V4 usa SciPy compartilhado |
+| cora-verifier | websearch | 0.75 | DOI | V7 pode resolver DOIs via CrossRef/OpenAlex |
+| cora-verifier | grep | 0.90 | Texto | V8 usa regex para detectar identificadores |
 
 ## Comandos Slash Integrados
 
@@ -51,8 +56,11 @@
 | `/cora-select` | cora-qscore (plugin) | Seleciona melhor agente |
 | `/cora-reward` | cora-qscore (plugin) | Registra recompensa |
 | `/cora-reset` | cora-qscore (plugin) | Reseta Q-Scores |
-| `/cora-verify` | cora-verifier (MCP) | Executa verificador especifico |
+| `/cora-verify` | cora-verifier (MCP) | Executa verificador especifico (V1-V9) |
 | `/cora-health` | cora-verifier (MCP) | Verifica saude dos verificadores |
+| `/cora-doi` | V7 (MCP) | Verifica rastreabilidade bibliografica |
+| `/cora-anon` | V8 (MCP) | Verifica anonimato do documento |
+| `/cora-lgpd` | V9 (MCP) | Verifica conformidade LGPD/Etica |
 
 ## Fluxo de Dados
 

skills/cora-debate/references/verifier_specs.md

@@ -137,3 +137,113 @@ sol = "exp(x)"         # y = e^x
 - Requer SymPy >= 1.12
 - Nao resolve EDPs nao-lineares
 - Falha em solucoes implicitas
+
+**Refinamento EVO-8 (v2.0)**:
+- Metodo primario: `sympy.checkodesol` para verificacao formal
+- Fallback: substituicao simbolica direta
+
+---
+
+## V7: Verificador de Rastreabilidade Bibliografica (DOI)
+
+**Objetivo**: Verificar que afirmacoes factuais em textos academicos possuem respaldo em DOI verificavel.
+
+**Metodo**:
+1. Extrair todos os DOIs do texto via regex (`10.\d{4,}/...`)
+2. Identificar padroes de afirmacao factual sem DOI proximo (ate 200 caracteres)
+3. Validar formato dos DOIs fornecidos
+
+**Padroes de afirmacao detectados**:
+- "Estudos mostram que..."
+- "Conforme a literatura..."
+- "Evidencias sugerem..."
+- "E comprovado que..."
+
+**Exemplo**:
+```
+Input:  "Estudos mostram que IA melhora educacao."
+Output: ALERTA - afirmacao factual sem DOI de respaldo
+```
+
+**Criterios de aprovacao**:
+- Zero afirmacoes factuais sem DOI de respaldo proximo
+- Todos os DOIs fornecidos no formato valido
+
+**Integracao com ecossistema**: Conecta-se ao CT-006 do pipeline TDD academico (EVO-8).
+
+---
+
+## V8: Verificador de Anonimato/Privacidade
+
+**Objetivo**: Detectar identificadores diretos e indiretos em documentos que exigem anonimato (anteprojetos, artigos para revisao cega).
+
+**Metodo**:
+1. Busca por identificadores diretos: nomes proprios compostos, CPF, RG, e-mail
+2. Busca por identificadores indiretos: perfis GitHub, metricas especificas (N estrelas + M forks), mencao de autoria
+3. Busca por nomes de produtos publicos que permitem busca reversa do autor
+
+**Protocolo EVO-8**: Identificadores indiretos sao tao perigosos quanto nomes. Qualquer combinacao que permita busca reversa em 30 segundos e considerada violacao.
+
+**Exemplo**:
+```
+Input:  "A plataforma OpenCode (17 estrelas, 7 forks) foi desenvolvida por..."
+Output: ALERTA - nome_produto_publico + metricas GitHub = identificacao indireta
+```
+
+**Severidades**:
+- ALTA: nome proprio, CPF, e-mail, perfil GitHub, metricas unicas
+- MEDIA: nome de produto publico (sugestao: substituir por descricao generica)
+
+**Integracao**: Conecta-se ao CT-001 do pipeline TDD academico e a ADR security-001 (EVO-8).
+
+---
+
+## V9: Verificador de Conformidade Normativa (LGPD/Etica)
+
+**Objetivo**: Verificar conformidade de textos academicos com a LGPD (Lei 13.709/2018) e a Resolucao PRPPG/UFC nº 39/2025.
+
+**Frameworks suportados**:
+- `lgpd`: Lei Geral de Protecao de Dados Pessoais
+- `etica_pesquisa`: Resolucao PRPPG/UFC 39/2025 (uso de IA na pesquisa)
+
+**Checks LGPD**:
+| ID | Verificacao | Art. LGPD |
+|----|-------------|-----------|
+| dados_pessoais_processamento | Dados pessoais mencionados com protecao? | Art. 6º, 7º |
+| dados_sensiveis | Dados sensiveis com consentimento/CEP? | Art. 11 |
+| transferencia_internacional | Transferencia para nuvem/externo com garantias? | Art. 33 |
+| direitos_titular | Direitos do titular (acesso, exclusao) mencionados? | Art. 17-21 |
+
+**Checks Etica em Pesquisa**:
+| ID | Verificacao | Norma |
+|----|-------------|-------|
+| declaracao_ia | Uso de IA declarado? | Res. 39/2025 |
+| plagio_ia | IA como assistente (nao autora)? | Res. 39/2025 |
+| reprodutibilidade | Resultados auditaveis/reprodutiveis? | Res. 39/2025 |
+| consentimento_participantes | TCLE e CEP para participantes? | Res. 39/2025 |
+
+**Metodo**: Para cada check, busca trigger pattern no texto. Se trigger presente mas safeguard ausente, dispara ALERTA.
+
+**Exemplo**:
+```
+Input:  "Dados pessoais serao enviados para nuvem OpenAI."
+Output: ALERTA - transferencia_internacional sem garantias (Art. 33 LGPD)
+```
+
+**Integracao**: Conecta-se ao CT-009 do pipeline TDD academico (declaracao de IA) e ao Modulo D do guia pratico (LGPD).
+
+---
+
+## Resumo de Versoes (EVO-8)
+
+| Verificador | v1.0 | v2.0 (EVO-8) |
+|------------|------|---------------|
+| V1 | Analise dimensional basica (10 unidades) | +40 unidades, +equivalencias |
+| V2 | SymPy simplify | Mantido estavel |
+| V3 | Random search [-100,100] | SymPy solve + grid search + random fallback |
+| V4 | Shapiro-Wilk, Pearson r | +Bootstrap CI, +Mann-Whitney, +Cohen's d, +one-sample t-test |
+| V5 | Tolerancia IEEE 754 | Mantido estavel |
+| V6 | Substituicao manual | checkodesol + substituicao fallback |
+| V7 | — | **[NOVO]** Rastreabilidade DOI |
+| V8 | — | **[NOVO]** Anonimato/Privacidade |
+| V9 | — | **[NOVO]** Conformidade LGPD/Etica |