Que fait argue ?
Orchestrateur de débat structuré multi-persona. Deux personas ou plus effectuent des recherches indépendantes via /dogpile, consultent des collègues experts via /ask, et argumentent pour produire une synthèse nuancée — pas un gagnant.
Pourquoi ne pas simplement demander à un seul modèle ?
Les réponses d'un seul modèle sont confiantes mais unidimensionnelles. Une véritable compréhension des problèmes complexes (Conjecture de Collatz, P vs NP, conscience, compromis politiques) nécessite :
- Plusieurs prismes disciplinaires sur la même question
- Pression antagoniste — chaque camp met à l'épreuve le raisonnement de l'autre
- Profondeur de recherche — chaque persona effectue des recherches
/dogpileindépendantes - Graphique social — les personas peuvent consulter des collègues via
/askpour des avis d'experts - Suivi des concessions — la synthèse capture ce qui a été concédé et pourquoi
- Raisonnement pondéré BDI — les poids des ponts de personnalité influencent le style argumentatif
Architecture
┌──────────────────────────────────────────────────────────┐
│ Orchestrateur Argue │
│ - Boucle de débat (recherche → argument → réfutation → │
│ réflexion) │
│ - Exécution concurrente des personas │
│ - Terminaison basée sur la convergence │
│ - Génération de la synthèse │
└──────────────────────────────────────────────────────────┘
│ │
┌────┴──────┐ ┌─────┴─────┐
│ Persona A │ │ Persona B │
│ (Fil) │ │ (Fil) │
├────────────┤ ├────────────┤
│ Skills : │ │ Skills : │
│ - dogpile │ │ - dogpile │
│ - ask │ │ - ask │
│ - memory │ │ - memory │
│ - taxonomy │ │ - taxonomy │
└────────────┘ └────────────┘
│ │
└──────────┬───────────────────┘
│
┌───────────────┴────────────────────┐
│ Moteur de Synthèse │
│ - Arguments les plus forts de │
│ chaque camp │
│ - Points d'accord │
│ - Points de désaccord authentique │
│ - Journal des concessions │
│ - Questions ouvertes │
│ - Conclusion nuancée │
└────────────────────────────────────┘
Commandes
# Deux personas débattent d'une question
./run.sh argue "La conjecture de Collatz est-elle décidable ?" \
--persona-a embry --persona-b horus --rounds 5
# Débat à trois (panel)
./run.sh argue "Meilleure approche pour l'alignement de l'AGI" \
--personas embry,horus,brandon --rounds 7
# Débat rapide en 3 rounds avec personas auto-sélectionnés
./run.sh argue "Faut-il utiliser des microservices ou un monolithe ?"
# Reprendre un débat interrompu
./run.sh resume <debate-id>
# Voir la transcription d'un débat
./run.sh transcript <debate-id>
# Générer un rapport de synthèse
./run.sh synthesize <debate-id>
# Vérifier l'état d'un débat
./run.sh status
Boucle de débat
Chaque round suit le cycle recherche → argumentation → réfutation → réflexion :
Round k :
┌─────────────────────────────────────────────────────────────┐
│ 1. PHASE DE RECHERCHE │
├─────────────────────────────────────────────────────────────┤
│ Chaque persona : │
│ - /dogpile la question depuis son prisme disciplinaire │
│ - /ask un collègue pour un avis d'expert │
│ - /memory rappeler les arguments antérieurs et les │
│ connaissances pertinentes │
│ - Examiner les arguments précédents de l'adversaire pour │
│ trouver des faiblesses │
│ (Budget : 3 appels de recherche max par persona par round) │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 2. PHASE D'ARGUMENTATION │
├─────────────────────────────────────────────────────────────┤
│ Chaque persona : │
│ - Présenter sa position avec preuves et citations │
│ - Référencer les résultats /dogpile et les réponses /ask │
│ des collègues │
│ - Tagger les arguments avec les attributs de pont de │
│ /taxonomy │
│ - Contrainte par l'état BDI du persona et les poids des │
│ ponts │
│ (persona haute Précision → preuves formelles) │
│ (persona haute Résilience → implications pratiques) │
│ (persona haute Fragilité → cas limites, modes de défaillance)│
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 3. PHASE DE RÉFUTATION │
├─────────────────────────────────────────────────────────────┤
│ Chaque persona : │
│ - Contrer les points les plus faibles de l'adversaire │
│ - Reconnaître les points les plus forts de l'adversaire │
│ (concession forcée) │
│ - Identifier les lacunes dans les preuves de l'adversaire │
│ - Proposer des améliorations ou un terrain d'entente │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 4. PHASE DE RÉFLEXION │
├─────────────────────────────────────────────────────────────┤
│ Chaque persona : │
│ - Archiver l'épisode du round (arguments, preuves, │
│ concessions) │
│ - Stocker les arguments réussis dans /memory │
│ - Mettre à jour l'état de croyance en fonction des preuves │
│ de l'adversaire │
│ - Évaluer sa propre confiance (0.0-1.0) sur la position │
│ actuelle │
│ - Identifier ce qui pourrait changer d'avis │
└─────────────────────────────────────────────────────────────┘
↓
┌─────────────────────────────────────────────────────────────┐
│ 5. SCORE ET POINT DE CONTRÔLE │
├─────────────────────────────────────────────────────────────┤
│ Orchestrateur : │
│ - Noter la force de l'argument, la qualité des preuves, la │
│ nouveauté │
│ - Suivre le journal des concessions │
│ - Vérifier les conditions de terminaison │
│ - Enregistrer le point de contrôle │
└─────────────────────────────────────────────────────────────┘
Capacités des personas
Chaque persona dans le débat a un accès complet à :
| Skill | Objectif |
|---|---|
/dogpile | Recherche multi-source approfondie (ArXiv, Brave, GitHub, YouTube, Perplexity) |
/ask | Consulter un collègue persona pour une expertise de domaine |
/memory | Rappeler des connaissances antérieures, des débats passés, des faits appris |
/taxonomy | Classifier les arguments avec les ponts de taxonomie fédérée |
/consume-book | Chercher dans les livres ingérés des preuves à l'appui |
/consume-youtube | Chercher dans les transcriptions des conférences/lectures pertinentes |
Le schéma du collègue /ask
Pendant la phase de recherche, les personas peuvent consulter des collègues de leur graphique social :
Embry (ingénieur aérospatial, Précision=0.85) :
→ /ask brandon "Quel est l'angle de complexité informatique sur Collatz ?"
→ Brandon (stagiaire SPARTA, enthousiaste) : renvoie la perspective de la théorie de la complexité
→ Embry intègre cela dans son argument formel
Horus (IA, Résilience=0.80) :
→ /ask embry "L'approche des systèmes dynamiques converge-t-elle réellement ?"
→ (Embry est en train d'argumenter, donc Horus interroge /memory pour les déclarations antérieures d'Embry)
→ Horus utilise cela pour contester l'hypothèse de convergence
La consultation de collègues ajoute :
- Diversité de domaine au-delà des seuls débatteurs
- Preuve sociale — « mon collègue spécialiste en X confirme... »
- Pollinisation croisée — des arguments enrichis par une expertise adjacente
Système de notation
Contrairement à battle (qui a un gagnant), argue note la qualité du débat :
| Métrique | Poids | Description |
|---|---|---|
| Qualité des preuves | 2x | Sources citées, profondeur /dogpile, évalué par les pairs |
| Nouveauté de l'argument | 1,5x | Nouvelle perspective non soulevée auparavant |
| Qualité de la concession | 2x | Reconnaître les points forts de l'adversaire (c'est BIEN) |
| Cohérence logique | 1x | Cohérence interne |
| Précision de la réfutation | 1x | Répond à des affirmations spécifiques, pas à des hommes de paille |
| Calibrage de la confiance | 0,5x | La confiance correspond à la force des preuves |
Différence clé par rapport à battle : Les concessions sont notées POSITIVEMENT. Un persona qui concède un point fort et affine sa position obtient un meilleur score qu'un persona qui campe sur ses positions sans preuves.
Conditions de terminaison
Le débat se termine dès qu'UNE condition est remplie :
- Convergence : Les deltas de confiance de tous les personas < 0,1 pendant 2 rounds (ils sont d'accord)
- Production nulle : Aucun nouvel argument ou preuve pendant 2 rounds
- Nombre maximum de rounds : Limite configurée atteinte
- Synthèse prête : L'orchestrateur détecte un matériau suffisant pour une conclusion nuancée
- Interrupteur d'arrêt : Terminaison manuelle via
./run.sh stop
Sortie de la synthèse
Après la terminaison, l'orchestrateur génère une synthèse structurée :
# Synthèse du débat : La conjecture de Collatz est-elle décidable ?
## Participants
- **Embry** (Ingénieur aérospatial, Précision=0.85) — Prisme formel/mathématique
- **Horus** (IA, Résilience=0.80) — Prisme informatique/pratique
## Rounds : 5 | Terminaison : Convergence
## Points d'accord
1. Le problème généralisé 3n+1 est indécidable (Conway 1972)
2. Les approches actuelles via les temps d'arrêt montrent une convergence statistique
3. Une preuve nécessitera probablement de nouveaux outils mathématiques
## Points de désaccord authentique
1. Si les approches de théorie de la mesure peuvent combler le fossé (Embry : oui, Horus : insuffisant)
2. La pertinence de la vérification informatique jusqu'à 2^68 (Horus : significatif, Embry : sans rapport avec la preuve)
## Journal des concessions
- Round 2 : Embry a concédé que la vérification jusqu'à 2^68 fournit une confiance heuristique utile
- Round 3 : Horus a concédé que le résultat d'indécidabilité de Conway pour les formes généralisées n'implique pas directement l'indécidabilité du cas spécifique 3n+1
- Round 4 : Les deux ont concédé que le théorème de densité de Terras est le résultat positif le plus fort
## Arguments les plus forts
1. [Embry, Round 3] L'analyse de la fonction de Syracuse via les systèmes dynamiques montre...
2. [Horus, Round 2] L'équivalence FRACTRAN démontre la richesse computationnelle...
## Questions ouvertes
1. Les résultats partiels de Tao (2019) sur « presque tous » les entiers peuvent-ils être étendus ?
2. Existe-t-il une barrière de complexité théorique à une preuve élémentaire ?
## Conclusion nuancée
La conjecture de Collatz occupe une position unique : prouvablement difficile dans sa forme généralisée (Conway), mais le cas spécifique 3n+1 pourrait être traitable. La preuve la plus forte en faveur d'une résolution éventuelle vient du résultat de Tao (2019) montrant que presque toutes les orbites atteignent des valeurs proches de 1. Cependant, le fossé entre « presque toutes » et « toutes » pourrait nécessiter des techniques fondamentalement nouvelles...
## Sources
- [ArXiv] Tao (2019) « Almost all orbits of the Collatz map attain... »
- [ArXiv] Conway (1972) « Unpredictable iterations »
- ...
Architecture mémoire
Chaque persona maintient une mémoire de débat isolée :
debates/<debate_id>/
├── config.json # Question, personas, paramètres
├── transcript.md # Transcription complète du débat
├── synthesis.md # Rapport de synthèse final
├── persona_a/
│ ├── research/ # Résultats /dogpile par round
│ ├── colleague_consults/ # Réponses /ask
│ ├── arguments/ # Arguments soumis par round
│ ├── concessions.json # Ce qu'ils ont concédé et quand
│ └── confidence.json # Évolution de la confiance au fil des rounds
├── persona_b/
│ └── ...
└── scoring/
├── round_001.json
├── round_002.json
└── summary.json
Les personas ne peuvent pas accéder aux recherches de l'adversaire — seulement à leurs arguments publiés. Cela empêche de court-circuiter la pression antagoniste.
Modes de débat
1. Adversaire (par défaut)
Deux personas adoptent des positions opposées. Idéal pour les questions avec des camps clairs.
./run.sh argue "Monolithe vs microservices" --mode adversarial
2. Panel
Trois personas ou plus discutent sous différents angles. Idéal pour les questions complexes.
./run.sh argue "Approches d'alignement de l'AGI" --mode panel --personas embry,horus,brandon
3. Socratique
Un persona pose des questions approfondies, l'autre défend. Idéal pour mettre les idées à l'épreuve.
./run.sh argue "Notre architecture SPARTA est solide" --mode socratic --questioner horus --defender embry
4. Avocat du diable
Un persona est contraint d'argumenter contre une position avec laquelle il pourrait être d'accord. Idéal pour trouver des angles morts.
./run.sh argue "Rust est meilleur que C++ pour l'embarqué" --mode devils-advocate --advocate embry
Skills exploités
| Skill | Utilisé par | Objectif |
|---|---|---|
| dogpile | Tous les personas | Recherche multi-source approfondie par round |
| ask | Tous les personas | Consulter des collègues personas pour un avis d'expert |
| memory | Tous les personas | Rappeler les connaissances antérieures + stocker les apprentissages du débat |
| taxonomy | Tous les personas | Tagger les arguments avec les attributs de pont |
| consume-book | Tous les personas | Chercher dans les livres ingérés des preuves |
| consume-youtube | Tous les personas | Chercher dans les transcriptions de conférences des preuves |
| episodic-archiver | Orchestrateur | Archiver les débats terminés |
| task-monitor | Orchestrateur | Suivi de la progression pour les débats longs |
Exemple de session
# Embry et Horus débattent de la conjecture de Collatz
./run.sh argue "La conjecture de Collatz est-elle décidable ?" \
--persona-a embry --persona-b horus --rounds 5
# Sortie :
# ID du débat : argue_20260212_153000
# Question : La conjecture de Collatz est-elle décidable ?
# Personas : Embry (Précision=0.85) vs Horus (Résilience=0.80)
# Mode : Adversaire
#
# Round 1/5
# [Embry] Recherche via /dogpile "Collatz dynamical systems Terras theorem"...
# [Embry] /ask brandon "angle de théorie de la complexité sur les temps d'arrêt de Collatz"
# [Horus] Recherche via /dogpile "Collatz undecidability Conway FRACTRAN"...
# [Horus] /ask embry "la théorie de la mesure comble-t-elle le fossé sur presque-tous"
…
[truncé pour la traduction]