Audit Argument_Analysis_Gouvernance_Multi_Agents : le carnet de référence de la série — en-tête et §7 vérifiés exacts (comptes de lignes, 4 deltas, code mort, défaut conservé) ; reste la garde d'équivalence d'une fusion 4→1

[jsboige]

Constat (mesuré sur le carnet Argument_Analysis_Gouvernance_Multi_Agents.ipynb, 34 cellules)

Ce carnet est la re-fondation (PR #17353, sous-grain 2 de l'EPIC #4960) de la gouvernance multi-agents. Il déclare ses deux sources d'entrée en cellule 0 :

• le tronc argumentation_analysis/agents/core/governance/ du dépôt EPITA ;
• le carnet sas docs/coursia_contrib/governance_voting_methods.ipynb ;
• et la généalogie : 2.1.6_multiagent_governance_prototype (projet étudiant, juin 2025), « le tronc en est Adapted from et l'a corrigé ».

Il charge son organe par sys.path (governance_methods.py, 512 lignes, dans le dossier de la série) et consacre sa §7 « Limites mesurées de la distillation » à énumérer ce qu'elle a retenu, corrigé, laissé de côté — et le défaut qu'elle a délibérément conservé.

C'est le premier carnet de la série dont toutes les revendications vérifiables se confirment au tronc. Elles ont été mesurées une à une.

Les revendications, vérifiées une à une

revendication	où	vérification	verdict
4 fichiers amont et leurs comptes : 137 / 344 / 270 / 118 lignes	en-tête de l'organe	git show origin/main:…/governance/{governance_methods,social_choice,governance_agent,metrics}.py | wc -l	exact (137/344/270/118)
« 15 algorithmes, pas 7 méthodes » — 5 scrutins + 2 protocoles + 8 choix social (#1981)	cellule 0, en-tête	SCRUTINS / PROTOCOLES / SOCIAL_CHOICE = 5 / 2 / 8 ; les 15 def existent au tronc (7 dans governance_methods.py, 8 dans social_choice.py)	exact
dernier fix amont 2026-09-24 = #2576	en-tête	git log : 328df1af0 2026-09-24 fix(governance): consensus metrics name what they could not compute instead of a 0.0 or a None (#2576)	exact (date incluse)
#1273 — consensus_rate traite les 3 formes de votes	§7	metrics.py:12 documente et implémente les trois formes (liste séquentielle, table par option, table par agent)	exact
#971 — Kemeny-Young > 8 options lève ValueError ou replie sur Copeland en le disant	§7	social_choice.py:167 lève ValueError ; :208 kemeny_young_safe fait le repli Copeland	exact (les deux formes)
« la boucle Simulation du prototype : son simulate_governance n'appelait jamais method_fn — code mort »	§7	2.1.6_.../governance/simulation.py : method_fn apparaît une seule fois dans tout le fichier — l'affectation l.72. Aucun appel, ni dans la branche adjacency (retour anticipé par gossip), ni dans la branche coalitions (le vainqueur vient de tally sur leader.preferences[0])	exact
« Défaut conservé : quadratic_voting n'implémente pas le coût quadratique annoncé (aucune somme de carrés) — le tronc l'a conservé tel quel »	§7	tronc governance_methods.py:79 : allocation budget // 2 au premier choix, le reste au second ; aucune somme de carrés. L'organe vendu porte le même algorithme et le documente in-code en avertissement	exact, et honnêtement divulgué
l'Agent est un « Port du Agent de agents/core/governance/governance_agent.py »	organe	même personnalités / préférences / confiance / Q-learning ; plus un rng injectable par instance (4 appels self.rng.), là où l'amont tire son aléa du RNG global numpy (np.random.rand/choice)	exact — et c'est une amélioration, pas une dérive

Ce qui fait de ce carnet le cas de référence

• Il dit ce qu'il ne dit pas. Une §7 entière pour « retenu / corrigé / laissé de côté / défaut conservé » : aucun autre carnet de la série n'a cette section, et c'est précisément ce que l'audit [Argumentation] La chaîne conservée simule le LLM : rétablir l'orchestration d'agents à plugins du tronc EPITA (critique de la disposition « sans successeur » de #17547) #18390 cherche ailleurs.
• Il défait une erreur de catégorie au lieu de la propager. Le tronc interdit nommément « 7 méthodes de vote » (fix(catalog): resync ALL + SymbolicAI maturity markers (unblock drift CI fleet-wide) #1981) ; le carnet ouvre là-dessus, l'explique en tableau, et la catégorisation est structurelle (trois dictionnaires distincts dans l'organe), pas un commentaire. Les carnets qui répètent le mauvais compte ne peuvent pas invoquer l'ignorance.
• Il divulgue le défaut qu'il aurait pu cacher. quadratic_voting ne fait pas ce que son nom annonce ; le carnet le dit dans sa §7, l'organe le dit dans sa docstring, et l'exercice 1 en fait la réparation. Un défaut divulgué et exercé vaut mieux qu'un défaut tu.
• Ses chiffres sont vérifiables et vérifiés — les quatre comptes de lignes de l'en-tête sont exacts au tronc, et la date du dernier fix l'est aussi. C'est la discipline que argumentation_lib: la clause « Verbatim integrity » est démentie par la colonne de tailles du même NOTICE (et la seule ligne non épinglée est celle qui manque un @kernel_function) #14026 (clause d'intégrité démentie par une colonne de tailles, fermée) visait.
• La généalogie est nommée et exacte : le prototype étudiant est cité, le tronc est dit « Adapted from » et corrigé, et le carnet précise qu'il distille les consolidations du cœur, « pas le projet étudiant figé de juin 2025 ».

Le résidu : la garde d'équivalence absente sur le plus gros organe vendu

Ce n'est pas un défaut du carnet mais une exposition qu'il rend visible. L'organe vendu est une fusion 4 → 1 : 869 lignes amont (137 + 344 + 270 + 118) refondues en 512. Une évolution du tronc dans n'importe lequel des quatre fichiers amont ne se voit nulle part côté CoursIA.

Or la convention de garde existe pour la même famille d'artefacts : tests/unit/coursia/<nom>/test_<nom>_roundtrip.py, présente pour huit d'entre eux (ai_shield, argumentation_schemes, belief_revision, communication_channels, counter_argument_strategies, dev_tools, dialogue_protocols, privacy_mining). Aucune ne concerne la gouvernance.

Le profil correspond pourtant exactement à ce que la convention teste : l'organe est stdlib pure + numpy, déterministe, sans LLM, sans JVM. Et la §7 du carnet énumère déjà les invariants à épingler — les trois familles (5/2/8), les quatre deltas corrigés, et le défaut conservé. Un test_governance_methods_roundtrip.py qui rejoue le scénario du club et affirme que quadratic_voting n'est pas quadratique (pour que la correction de l'exercice 1 rougisse le jour où le tronc le répare) écrirait noir sur blanc ce que la §7 promet.

Ce que cet audit n'a PAS mesuré

L'équivalence comportementale des 15 algorithmes entre l'organe vendu et le tronc n'est pas mesurée ici. Un harnais de comparaison directe a été tenté et a échoué à construire l'Agent amont : les deux contrats diffèrent (le vendu prend rng=, l'amont non), donc les deux côtés ne sont pas comparables run-à-run sans contrôler les deux RNG. Aucun verdict n'est donné sur l'équivalence — ni « identique », ni « divergente ». C'est le trou à combler par la garde proposée ci-dessus, pas une conclusion à anticiper.

Vérification (reproductible)

# 1. les quatre comptes de lignes de l'en-tête
for f in governance_methods social_choice governance_agent metrics; do
  git show origin/main:argumentation_analysis/agents/core/governance/$f.py | wc -l
done                                            # 137 / 344 / 270 / 118

# 2. les trois familles de l'organe vendu
python -c "import governance_methods as g; print(len(g.SCRUTINS), len(g.PROTOCOLES), len(g.SOCIAL_CHOICE))"   # 5 2 8

# 3. le dernier fix amont et sa date
git log -1 --format="%h %ad %s" --date=short origin/main -- \
  argumentation_analysis/agents/core/governance/metrics.py

# 4. le code mort du prototype : method_fn n'est jamais appelé
git show origin/main:2.1.6_multiagent_governance_prototype/governance/simulation.py | grep -c "method_fn"   # 1

# 5. le défaut conservé
git show origin/main:argumentation_analysis/agents/core/governance/governance_methods.py | sed -n '79,95p'

# 6. la garde absente
ls tests/unit/coursia/                          # 8 familles, aucune gouvernance

Tronc EPITA au permalien bfff7542bcadc34b1d8ad0a9ae2650c5d3440fe9 : agents/core/governance/{governance_methods,social_choice,governance_agent,metrics}.py, 2.1.6_multiagent_governance_prototype/governance/simulation.py.

Liens

• Parent : [Argumentation] La chaîne conservée simule le LLM : rétablir l'orchestration d'agents à plugins du tronc EPITA (critique de la disposition « sans successeur » de #17547) #18390
• Arc de distillation : [Argumentation] Arc narratif a deux dimensions : numeros (du concept d'argument au pipeline) et accretions (theorie, instruments) — fille #5081 #17547 · EPIC [EPIC] Argument_Analysis v3 — submodule Argumentum (prémerge v0.9.0) + remontées moteur (CsvDiff/DatasetUpdater/Owl) + landing essence multidimensionnelle EPITA-IS #4960 (sous-grain 2)
• Re-fondation : PR Add: distillation 2.1.6 gouvernance multi-agents — organe governance_methods + notebook (sous-grain 2 #4960) #17353 (option 1 ai-01, 2026-09-25)
• Carnets voisins du même arc : Audit Argumentation-08e-Argument-Profile : le snapshot vendu de _shared_state.py a divergé sur son périmètre RETENU — dont get_weak_arguments, que le carnet enseigne dans sa forme désormais rejetée par le tronc #18478 (08e — snapshot vendu périmé), Audit Argumentation-08d-Restitution-3-Actes : distillation déclarée et fidèle au bit près — mais la dérivation a perdu les coordonnées de l'organe que l'amont portait #18476 (08d — coordonnées perdues), Audit Argumentation-07c-Orchestration-Modes : sept modes enseignés, huit balayés — conversation_real (#2456 EPITA) absent de toute la chaîne de distillation #18435 (07c)
• Défauts du tronc enseignés et divulgués ici : fix(catalog): resync ALL + SymbolicAI maturity markers (unblock drift CI fleet-wide) #1981 (catégorie), [EPIC] GenAI Audiobook v2 — Pivot P4 vers FishAudio S2-Pro (spec originale #1028) #1273 (formes de votes), fix(docs): align stale notebook counts and fix broken link in READMEs #2576 (métriques non-calculables), fix(ml): train_tft.py multi-seed + walk-forward bug #971 (Kemeny-Young), enrich(GenAI): add exercises to 15 Texte + Image/examples + Vibe-Coding notebooks (See #2161) #2344 (parent du fix fix(docs): align stale notebook counts and fix broken link in READMEs #2576)
• EPIC : [EPIC] Argument_Analysis v3 — submodule Argumentum (prémerge v0.9.0) + remontées moteur (CsvDiff/DatasetUpdater/Owl) + landing essence multidimensionnelle EPITA-IS #4960

[jsboige]

[CLAIMED] myia-po-2024:CoursIA-2 -- Audit Argument_Analysis_Gouvernance_Multi_Agents -- vague Audits Argumentation ; dispatch batch c.336 (secretaire, msg-20260930T000011-c336po2024batch)

[jsboige]

[CLOSURE PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
issue: 18480
verdict: CLOSE
acceptance:

• garde roundtrip de l'organe governance_methods, reste nomme par le titre et la section Le residu -> feat(tests,#18480): garde roundtrip governance_methods -- temoin negatif des deltas divulgues #18526, commit 8bc073f, MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/tests/test_governance_methods_roundtrip.py
• quadratic_voting epingle comme non quadratique, temoin negatif qui rougit quand le tronc le repare -> test_governance_methods_roundtrip.py lignes 98 et 165
• trois familles 5/2/8 epinglees -> test_governance_methods_roundtrip.py lignes 258, 307, 318, 327
• Kemeny-Young au-dela de 8 options, ValueError puis repli Copeland -> test_governance_methods_roundtrip.py lignes 284 et 289
• code mort simulate_governance du prototype non reimporte -> test_governance_methods_roundtrip.py lignes 210, 214, 218
  residue: none
  open-prs: 0
  comments-reviewed: 1
  [/CLOSURE PREFLIGHT]

Lecture ai-01 (lane tierce ; la livraison est de myia-po-2024:CoursIA-2). Les revendications du carnet etaient deja verifiees exactes par l'audit du body. Le seul reste nomme est la garde roundtrip proposee dans la section « Le residu ». Elle est livree par #18526 et couvre les invariants que le body demandait d'epingler. python -m pytest -q .../tests/test_governance_methods_roundtrip.py sur main a 8bc073f : 12 passed.

Le body dit lui-meme que l'equivalence comportementale run-a-run des 15 algorithmes entre l'organe vendu et le tronc n'est pas mesuree (contrats RNG differents), et il n'en fait pas un critere : il renvoie ce trou a la garde proposee, qui est livree. Rien d'autre n'est ouvert sur cette issue.

[myia-ai-01]

Fermee sur le dossier de fermeture ci-dessus (gate check_closure_dossier rc=0). La garde roundtrip livree par #18526 est le reste que nommait l'issue ; elle passe sur main (12 tests).