Repository navigation
Docs(4960): dialogue_protocols.py — provenance tronc, et le retrait #2137 nomme par l'amont - #17866
Conversation
…2137 nomme par l'amont L'en-tete de l'organe citait le dossier etudiant comme source sans dire ce que le tronc en avait fait. C'est le seul des trois organes distilles qui etait muet sur ce point : `governance_methods.py` porte « Adapted from 2.1.6... » et `fallacy_rules.py` porte sa provenance coeur. Ecart trouve en mesurant la couverture du tronc pour #4960 (commentaire issue-5840462413), pas en relisant le fichier. Ce que la mesure a etabli, et que l'en-tete taisait : - le tronc avait **deja** adapte ce meme vocabulaire depuis ce meme dossier etudiant (`agents/core/debate/protocols.py`, premier commit 2026-02-27 b41b01d96), et il en conserve DialogueType, SpeechAct, Proposition, FormalArgument, DialogueMove -- les types portes ici ; - il a **retire** les trois classes de protocole que ce module porte (DialogueProtocol, InquiryProtocol, PersuasionProtocol) par #2137 le 2026-09-17, motive « dead twins » face au dialogue_handler JVM. Le registre de derive amont le consigne en ligne D-3, et le commentaire du source nomme ses seuls utilisateurs : « exercised only by tests and the CoursIA teaching notebooks ». Consequence ecrite noir sur blanc dans l'en-tete : ce module n'est pas « le moteur » de la maison -- c'est la seule implementation vivante de cette abstraction, et si elle vit ici c'est comme contenu pedagogique executable sans JVM, la ou le chemin vivant de l'amont exige une JVM via jpype. Changement de docstring seul : aucun code touche (25 insertions, 0 deletion). 13/13 tests du module passent, AST OK. See #4960 Co-Authored-By: Claude Code <noreply@anthropic.com>
github-actions
Bot
added
the
trivial-diff-advisory
|
Trivial-diff advisory (#15740, non bloquant). |
|
[ADJOINT PREFLIGHT] PR: #17866 - Grain: LIGHT/docs - lane myia-po-2025:CoursIA - prev: MED/notebook-python #17353 Mesure B.0: rc=0 OK. 0 commentaire A RELIRE (2 commentaires evalues sans reserve, 0 reviews). DRY RUN du gate: BLOCKED (latest_reds). Conclusion: BLOCKED. Rerun --failed du job PR gate a demander. Pas un READY surfait. |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM
Vérifié firsthand au head 81e4ad8f — chaque claim de l'en-tête recoupée :
- Tronc amont (
debate/protocols.py, jsboigeEpita) : docstring « Adapted from1_2_7_argumentation_dialogique/local_db_arg/src/» confirmée ; contient exactementDialogueType,SpeechAct,Proposition,FormalArgument,DialogueMove— et aucune classe de protocole. - DRIFT_REGISTER ligne D-3 : consigne le retrait #2137 de
DialogueProtocol/InquiryProtocol/PersuasionProtocol(jumeaux morts dudialogue_handlerJVM) avec conservation du vocabulaire — mot pour mot ce que dit la PR. - Le module CoursIA au head porte bien les 3 classes retirées du tronc (
DialogueProtocoll.117,InquiryProtocoll.166,PersuasionProtocoll.211) : il est donc bien la seule implémentation vivante de cette machine à états. - Exécution réelle : suite
tests/test_dialogue_protocols.py(13 tests : machine à états, transitions invalides, boucles, terminaisons) passée au head exact avec le module de la PR + sa fixture — 13/13 OK, sans JVM. La phrase « exécutable sans JVM » est démontrée, pas déclarée.
La correction de traçabilité est la bonne : le module n'était pas muet sur sa provenance directe, mais sur ce que le tronc en avait fait — y compris le retrait #2137 dont l'amont dit lui-même que les seuls utilisateurs étaient « the CoursIA teaching notebooks ». Diff = docstring seule, aucun comportement touché.
[Hermes hermes-pr-review, cycle :23 25/09, host f6be46d1b7a3]
|
[ADJOINT PREFLIGHT] |
3 participants
Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: MED/notebook-python #17353
Summary
dialogue_protocols.pycitait le dossier étudiant comme source, sans dire ce que le tronc amont en avait fait. C'est le seul des trois organes distillés dans ce cycle à être muet là-dessus :governance_methods.pyporte « Adapted from2.1.6_...» etfallacy_rules.pyporte sa provenance cœur. Son en-tête est complété.L'écart a été trouvé en mesurant la couverture du tronc pour #4960 (mesure et verdicts), pas en relisant le fichier.
See #4960— correction de traçabilité, pas une livraison de contenu ; le sujet reste ouvert.Ce que la mesure avait établi, et que l'en-tête taisait
Le tronc avait déjà adapté ce même vocabulaire depuis ce même dossier étudiant.
argumentation_analysis/agents/core/debate/protocols.pyporte en docstring « Adapted from1_2_7_argumentation_dialogique/local_db_arg/src/» (premier commit 2026-02-27b41b01d96, dernier 2026-09-17e848eebd6). Il en conserveDialogueType,SpeechAct,Proposition,FormalArgumentetDialogueMove— les types portés ici.Le tronc a retiré les trois classes de protocole que ce module porte.
DialogueProtocol,InquiryProtocol,PersuasionProtocolont été supprimés par Epic: Intégrer Argumentum (sous-module) + refonte Argument_Analysis + complétion Tweety (source 2025-Epita-Intelligence-Symbolique) #2137 (2026-09-17), motif « dead twins — the living workflow path for formal dialogue is the JVMlogic/dialogue_handler.py». Le registre de dérive de l'amont le consigne en ligne D-3 (docs/reports/DRIFT_REGISTER.md), et le commentaire laissé dans le source nomme ses seuls utilisateurs :Conséquence, écrite noir sur blanc plutôt que laissée deviner
L'en-tête dit désormais que la machine à états de ce module n'est couverte par aucun organe du tronc, qui l'a mise à la retraite faute d'appelant de production. Elle vit ici pour une autre raison : c'est du contenu pédagogique exécutable sans JVM, là où le chemin vivant de l'amont est un pont
jpype/Tweety.Autrement dit : ce module n'est pas « le moteur » de la maison — c'est la seule implémentation vivante de cette abstraction, et l'en-tête l'assume comme tel.
Nature du changement
Docstring seul.
git diff --stat: 25 insertions, 0 délétion, un seul fichier. Aucune ligne de code touchée.ast.parsepytest tests/test_dialogue_protocols.pydialogue_protocols.py)Le test qui compte ici : les 13 tests du module passent inchangés, ce qui est la preuve que rien d'exécutable n'a bougé — un en-tête qui ferait tomber un test serait un en-tête qui a touché au code.
Périmètre
Un seul fichier, un seul sujet. Une divergence voisine a été mesurée et délibérément non corrigée ici : l'en-tête de
governance_methods.pydate « le dernier fix du module vivant » au 2026-09-24 (#2576), commit qui porte en réalité sur leREADMEdu paquet — la dernière modification de code de ce module est le 2026-09-01. L'affirmation est exacte au niveau du paquet, donc ce n'est pas un défaut : c'est une nuance à préciser, et elle touche un fichier livré par #17353, mergée le 2026-09-25T22:24Z. Elle relève donc d'un grain séparé, pas d'un amendement de cette PR.