O que argue faz?
Orquestrador de debate estruturado com múltiplas personas. Duas ou mais personas pesquisam independentemente via /dogpile, consultam colegas de domínio via /ask e debatem em direção a uma síntese matizada — não a um vencedor.
Por que não apenas perguntar a um único modelo?
Respostas de modelo único são confiantes, mas rasas. A compreensão real de problemas difíceis (Conjectura de Collatz, P vs NP, consciência, trade-offs de políticas) exige:
- Múltiplas lentes de domínio sobre a mesma questão
- Pressão adversarial — cada lado testa o raciocínio do outro
- Profundidade de pesquisa — cada persona faz pesquisa
/dogpileindependente - Grafo social — personas podem
/askcolegas por opiniões de especialistas - Registro de concessões — a síntese captura o que foi concedido e por quê
- Raciocínio ponderado por BDI — os pesos das pontes da persona influenciam o estilo de argumentação
Arquitetura
┌──────────────────────────────────────────────────────────┐
│ Orquestrador Argue │
│ - Ciclo de debate (pesquisar → argumentar → rebater → refletir) │
│ - Execução concorrente de personas │
│ - Terminação baseada em convergência │
│ - Geração de síntese │
└──────────────────────────────────────────────────────────┘
│ │
┌────┴──────┐ ┌─────┴─────┐
│ Persona A │ │ Persona B │
│ (Thread) │ │ (Thread) │
├────────────┤ ├────────────┤
│ Skills: │ │ Skills: │
│ - dogpile │ │ - dogpile │
│ - ask │ │ - ask │
│ - memory │ │ - memory │
│ - taxonomy │ │ - taxonomy │
└────────────┘ └────────────┘
│ │
└──────────┬───────────────────┘
│
┌───────────────┴────────────────────┐
│ Motor de Síntese │
│ - Argumentos mais fortes de cada │
│ - Pontos de concordância │
│ - Pontos de desacordo genuíno │
│ - Registro de concessões │
│ - Perguntas em aberto │
│ - Conclusão matizada │
└────────────────────────────────────┘
Comandos
# Duas personas debatem uma questão
./run.sh argue "A Conjectura de Collatz é decidível?" \
--persona-a embry --persona-b horus --rounds 5
# Debate em painel com três participantes
./run.sh argue "Melhor abordagem para alinhamento de AGI" \
--personas embry,horus,brandon --rounds 7
# Debate rápido de 3 rodadas com personas selecionadas automaticamente
./run.sh argue "Devemos usar microsserviços ou monolito?"
# Retomar debate interrompido
./run.sh resume <debate-id>
# Visualizar transcrição do debate
./run.sh transcript <debate-id>
# Gerar relatório de síntese
./run.sh synthesize <debate-id>
# Verificar status do debate
./run.sh status
Ciclo do Debate
Cada rodada segue pesquisar → argumentar → rebater → refletir:
Rodada k:
┌─────────────────────────────────────────────────────────────┐
│ 1. FASE DE PESQUISA │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - /dogpile sua questão a partir de sua lente de domínio │
│ - /ask um colega para contribuição de especialista │
│ - /memory recordar argumentos anteriores e conhecimento relevante │
│ - Revisar argumentos anteriores do oponente em busca de fraquezas │
│ (Orçamento: máximo de 3 chamadas de pesquisa por persona por rodada) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 2. FASE DE ARGUMENTAÇÃO │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Apresentar posição com evidências + citações │
│ - Referenciar descobertas do /dogpile e respostas de /ask de colegas │
│ - Marcar argumentos com atributos de ponte /taxonomy │
│ - Restringido pelo estado BDI da persona e pesos das pontes │
│ (persona de Alta Precisão → provas formais) │
│ (persona de Alta Resiliência → implicações práticas) │
│ (persona de Alta Fragilidade → casos extremos, modos de falha) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 3. FASE DE RÉPLICA │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Contra-atacar os pontos mais fracos do oponente │
│ - Reconhecer os pontos mais fortes do oponente (concessão forçada) │
│ - Identificar lacunas na evidência do oponente │
│ - Propor refinamentos ou um meio-termo │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 4. FASE DE REFLEXÃO │
├─────────────────────────────────────────────────────────────┤
│ Cada Persona: │
│ - Arquivar episódio da rodada (argumentos, evidências, concessões) │
│ - Armazenar argumentos bem-sucedidos em /memory │
│ - Atualizar estado de crença com base na evidência do oponente │
│ - Avaliar própria confiança (0.0-1.0) na posição atual │
│ - Identificar o que mudaria sua opinião │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 5. PONTUAÇÃO & PONTO DE VERIFICAÇÃO │
├─────────────────────────────────────────────────────────────┤
│ Orquestrador: │
│ - Pontuar força do argumento, qualidade da evidência, novidade │
│ - Rastrear registro de concessões │
│ - Verificar condições de terminação │
│ - Salvar ponto de verificação │
└─────────────────────────────────────────────────────────────┘
Capacidades das Personas
Cada persona no debate tem acesso completo a:
| Skill | Finalidade |
|---|---|
/dogpile | Pesquisa profunda de múltiplas fontes (ArXiv, Brave, GitHub, YouTube, Perplexity) |
/ask | Consultar uma persona colega para conhecimento de domínio |
/memory | Recuperar conhecimento prévio, debates passados, fatos aprendidos |
/taxonomy | Classificar argumentos com pontes da Taxonomia Federada |
/consume-book | Pesquisar livros ingeridos em busca de evidências de apoio |
/consume-youtube | Pesquisar transcrições em busca de palestras relevantes |
O Padrão de Colega /ask
Durante a fase de pesquisa, as personas podem consultar colegas de seu grafo social:
Embry (engenheira aeroespacial, Precisão=0.85):
→ /ask brandon "Qual é o ângulo de complexidade computacional sobre Collatz?"
→ Brandon (estagiário SPARTA, entusiasta): Retorna perspectiva da teoria da complexidade
→ Embry incorpora isso em seu argumento formal
Horus (IA, Resiliência=0.80):
→ /ask embry "A abordagem de sistemas dinâmicos realmente converge?"
→ (Embry está ocupado argumentando, então Horus consulta /memory por declarações anteriores de Embry)
→ Horus usa isso para desafiar a suposição de convergência
A consulta a colegas adiciona:
- Diversidade de domínio além dos próprios debatedores
- Prova social — "meu colega que é especialista em X confirma..."
- Polinização cruzada — argumentos enriquecidos por expertise adjacente
Sistema de Pontuação
Ao contrário de battle (que tem um vencedor), argue pontua a qualidade do debate:
| Métrica | Peso | Descrição |
|---|---|---|
| Qualidade da Evidência | 2x | Fontes citadas, profundidade /dogpile, revisadas por pares |
| Novidade do Argumento | 1.5x | Nova perspectiva não levantada antes |
| Qualidade da Concessão | 2x | Reconhecer pontos fortes do oponente (isso é BOM) |
| Coerência Lógica | 1x | Consistência interna |
| Precisão da Réplica | 1x | Aborda alegações específicas, não homens de palha |
| Calibração da Confiança | 0.5x | Confiança corresponde à força da evidência |
Diferença chave de battle: Concessões são pontuadas POSITIVAMENTE. Uma persona que concede um ponto forte e refina sua posição pontua mais alto do que uma que mantém posição dogmaticamente sem evidência.
Condições de Terminação
O debate termina quando QUALQUER condição é atendida:
- Convergência: Deltas de confiança de todas as personas < 0.1 por 2 rodadas (elas concordam)
- Produção Nula: Nenhum novo argumento ou evidência por 2 rodadas
- Rodadas Máximas: Limite configurado atingido
- Síntese Pronta: Orquestrador detecta material suficiente para conclusão matizada
- Interrupção: Terminação manual via
./run.sh stop
Saída da Síntese
Após a terminação, o orquestrador gera uma síntese estruturada:
# Síntese do Debate: A Conjectura de Collatz é Decidível?
## Participantes
- **Embry** (Engenheira Aeroespacial, Precisão=0.85) — Lente formal/matemática
- **Horus** (IA, Resiliência=0.80) — Lente computacional/prática
## Rodadas: 5 | Terminação: Convergência
## Pontos de Concordância
1. O problema generalizado 3n+1 é indecidível (Conway 1972)
2. Abordagens atuais via tempos de parada mostram convergência estatística
3. Uma prova provavelmente requer novo maquinário matemático
## Pontos de Desacordo Genuíno
1. Se abordagens da teoria da medida podem preencher a lacuna (Embry: sim, Horus: insuficiente)
2. A relevância da verificação computacional até 2^68 (Horus: significativa, Embry: irrelevante para a prova)
## Registro de Concessões
- Rodada 2: Embry concedeu que a verificação até 2^68 fornece confiança heurística útil
- Rodada 3: Horus concedeu que o resultado de indecidibilidade de Conway para formas generalizadas
não implica diretamente indecidibilidade do caso específico 3n+1
- Rodada 4: Ambos concederam que o teorema da densidade de Terras é o resultado positivo mais forte
## Argumentos Mais Fortes
1. [Embry, Rodada 3] Análise da função de Syracuse via sistemas dinâmicos mostra...
2. [Horus, Rodada 2] A equivalência FRACTRAN demonstra riqueza computacional...
## Perguntas em Aberto
1. Os resultados parciais de Tao (2019) sobre "quase todos" os inteiros podem ser estendidos?
2. Existe uma barreira de complexidade para uma prova elementar?
## Conclusão Matizada
A Conjectura de Collatz ocupa uma posição única: comprovadamente difícil em sua forma generalizada (Conway), mas o caso específico 3n+1 pode ser tratável. A evidência mais forte para resolução eventual vem do resultado de Tao de 2019 mostrando que quase todas as órbitas atingem valores próximos a 1. No entanto, a lacuna entre "quase todos" e "todos" pode exigir técnicas fundamentalmente novas...
## Fontes
- [ArXiv] Tao (2019) "Almost all orbits of the Collatz map attain..."
- [ArXiv] Conway (1972) "Unpredictable iterations"
- ...
Arquitetura de Memória
Cada persona mantém memória de debate isolada:
debates/<debate-id>/
├── config.json # Pergunta, personas, configurações
├── transcript.md # Transcrição completa do debate
├── synthesis.md # Relatório final de síntese
├── persona_a/
│ ├── research/ # Resultados do /dogpile por rodada
│ ├── colleague_consults/ # Respostas do /ask
│ ├── arguments/ # Argumentos submetidos por rodada
│ ├── concessions.json # O que concederam e quando
│ └── confidence.json # Trajetória de confiança ao longo das rodadas
├── persona_b/
│ └── ...
└── scoring/
├── round_001.json
├── round_002.json
└── summary.json
Personas não podem acessar a pesquisa do oponente — apenas seus argumentos publicados. Isso evita curto-circuito da pressão adversarial.
Modos de Debate
1. Adversarial (padrão)
Duas personas assumem posições opostas. Bom para perguntas com lados claros.
./run.sh argue "Monolito vs microsserviços" --mode adversarial
2. Painel
Três ou mais personas discutem de diferentes ângulos. Bom para perguntas complexas.
./run.sh argue "Abordagens para alinhamento de AGI" --mode panel --personas embry,horus,brandon
3. Socrático
Uma persona faz perguntas investigativas, a outra defende. Bom para testar ideias sob pressão.
./run.sh argue "Nossa arquitetura SPARTA é sólida" --mode socratic --questioner horus --defender embry
4. Advogado do Diabo
Uma persona é forçada a argumentar contra uma posição com a qual poderia concordar. Bom para encontrar pontos cegos.
./run.sh argue "Rust é melhor que C++ para sistemas embarcados" --mode devils-advocate --advocate embry
Skills Utilizadas
| Skill | Usada Por | Finalidade |
|---|---|---|
| dogpile | Todas as personas | Pesquisa profunda de múltiplas fontes por rodada |
| ask | Todas as personas | Consultar personas colegas para contribuição de especialista |
| memory | Todas as personas | Recuperar conhecimento prévio + armazenar aprendizados do debate |
| taxonomy | Todas as personas | Marcar argumentos com atributos de ponte |
| consume-book | Todas as personas | Pesquisar livros ingeridos em busca de evidências |
| consume-youtube | Todas as personas | Pesquisar transcrições de palestras em busca de evidências |
| episodic-archiver | Orquestrador | Arquivar debates concluídos |
| task-monitor | Orquestrador | Acompanhamento de progresso para debates longos |
Sessão de Exemplo
# Embry e Horus debatem a Conjectura de Collatz
./run.sh argue "A Conjectura de Collatz é decidível?" \
--persona-a embry --persona-b horus --rounds 5
# Saída:
# ID do Debate: argue_20260212_153000
# Pergunta: A Conjectura de Collatz é decidível?
# Personas: Embry (Precisão=0.85) vs Horus (Resiliência=0.80)
# Modo: Adversarial
#
# Rodada 1/5
# [Embry] Pesquisando via /dogpile "Collatz dynamical systems Terras theorem"...
# [Embry] /ask brandon "ângulo da teoria da complexidade sobre tempos de parada de Collatz"
# [Horus] Pesquisando via /dogpile "Collatz undecidability Conway FRACTRAN"...
# [Horus] /ask embry "a teoria da medida fecha a lacuna sobre quase todos..."