[jsboige]

Grain: DEEP/research-code -- lane myia-po-2028:CoursIA-2 -- prev: DEEP/research-code #22719

Closes #22730

Ce que la PR apporte

La garde existante (tests/test_argumentum_snapshot_integrity.py) certifie que la copie locale de la taxonomie Argumentum est octet pour octet celle du pin déclaré : c'est la garantie de provenance. Elle ne certifie pas que la copie est cohérente avec elle-même — et c'est la cohérence interne que les carnets consomment réellement :

• scripts/fallacy_detection/argumentum_taxonomy_explorer.py monte l'arbre des sophismes à partir de la colonne path ;
• Argumentation-Onto-02-CrossLinks-CSV-Python.ipynb lit les huit colonnes crossLink_* comme les arêtes d'un graphe ;
• scripts/fallacy_detection/cartesian_dataset_builder.py échantillonne des nœuds par famille.

Une cible crossLink_* qui ne désigne aucun nœud disparaît silencieusement de tous les carnets : le lien ne résout vers rien, et rien ne dit que rien ne résolvait. C'est la même famille de panne que la dérive silencieuse de sept semaines documentée dans le module voisin, prise par l'autre bout.

Deux fichiers nouveaux :

Fichier	Rôle
scripts/fallacy_detection/argumentum_taxonomy_integrity.py	l'organe de mesure : lit la copie locale, extrait le graphe crossLink, mesure la structure, confronte six invariants
scripts/fallacy_detection/tests/test_argumentum_taxonomy_integrity.py	la garde : refute ces six invariants quand ils cessent de tenir

L'organe s'exécute (python scripts/fallacy_detection/argumentum_taxonomy_integrity.py, --json pour la sortie machine), sans dépendance hors stdlib, sans accès réseau, sans appel à git.

Mesure sur la copie locale (pin 6bc573f73)

1408 sophismes, 104 colonnes.

Mesure	Valeur
arêtes crossLink	581 (40 cellules portent plusieurs cibles séparées par ;)
nœuds portant au moins un lien	487 (34,6 % du corpus)
degré sortant maximal / moyen	4 / 1,19
cibles non résolues	0 (581/581)
chemins orphelins	0 (arbre fermé)
boucles directes	0
écarts depth / segments du path	1

Réciprocité par relation — une arête est réciproque si l'arête inverse existe dans la même relation :

Relation	arêtes	sources	réciproques	taux
Mirrors	2	2	2	100 %
Opposes	25	23	12	48 %
Inverts	41	41	20	49 %
Leverages	327	295	20	6 %
PredatesOn	31	31	0	0 %
Denounces	9	9	0	0 %
Allows	60	56	0	0 %
IsRelatedTo	86	82	0	0 %

Ce que la mesure ajoute aux carnets : les relations bilatérales (Opposes, Inverts, Mirrors) le sont effectivement dans le CSV ; les relations de dépendance (Leverages, Allows) et de contexte (IsRelatedTo, PredatesOn, Denounces) ne le sont pas — leur flèche est orientée par construction. Rien dans le dépôt ne le disait : un carnet qui lit Opposes comme symétrique sans le dire se trompe, et un carnet qui lit Leverages comme symétrique se trompe plus silencieusement.

Les six invariants

Invariant	Portée	État sur la copie locale
cles_primaires_uniques	un PK = un nœud	OK (0 doublon)
chemins_uniques	un path = un nœud	OK (0 doublon)
cibles_resolues	toute cible crossLink_* désigne un nœud	OK (0 cible fantôme)
arbre_ferme	tout nœud a un parent présent	OK (0 orphelin)
absence_boucle_directe	un nœud ne se lie pas à lui-même	OK
profondeur_coherente	depth = nombre de segments du path	OK (1 écart, nommé : PK 824, admis par la table d'exceptions)

Les invariants sont indépendants du contenu : aucun compte de lignes, de colonnes ou d'arêtes n'est figé — ces comptes changent à chaque resynchronisation amont, et un test qui les fige rougit sur un CSV sain. Ce qui est figé, ce sont les relations entre ces comptes et les propriétés de cohérence. La garde est donc conçue pour survivre à la resynchronisation en cours (#21849 / PR #22415, portée par myia-ai-01:CoursIA-2) et pour la suivre : si la copie resynchronisée casse une relation, elle rougit.

Finding : un écart de profondeur en amont

PK 824, path 5.1.2.3.2.24 : la colonne depth vaut 7 alors que le path compte 6 segments ; ses frères (5.1.2.3.2.1, .2, .3) portent depth 6. C'est le seul écart du corpus (1407/1408 conformes, la racine 0 exceptée — elle porte depth 0 pour un path d'un segment, par convention).

L'écart est mesuré et nommé — il figure dans le rapport de l'organe, dans le ticket #22730 et dans ce corps — pas masqué par une assertion assouplie. La correction appartient à l'amont (ArgumentumGames/Argumentum) : le dépôt ne réécrit pas une copie verbatim. D'où la table d'exceptions nommée (DEPTH_DEVIATION_ALLOWED = {"824": 7}) sur la profondeur : elle laisse passer cet écart documenté et seulement lui. Tout écart hors table rouge, y compris le décalage d'une famille entière (dix nœuds) que l'ancien taux de 1 % laissait passer en vert (0,78 % d'écarts, sous le seuil).

Contrôles

• python scripts/fallacy_detection/argumentum_taxonomy_integrity.py → six invariants au vert, sortie 0.
• python -m pytest scripts/fallacy_detection/tests/ → 308 passed (20 dans le fichier de cette PR : 14 apportés par la livraison, 6 par le correctif de revue).
• Contrôle positif (une garde qui ne peut pas rougir n'est pas une garde) : un jeu synthétique cumulant quatre défauts distincts — cible crossLink fantôme, chemin sans parent, boucle directe, path dupliqué — fait rougir chacun son invariant, et la profondeur, correcte sur ce jeu, reste déclarée verte : l'organe ne fabrique pas de rouge.
• Tests unitaires sur la découpe des cellules multi-cibles (;) et sur le calcul de la réciprocité (deux arêtes opposées mutuelles vs une arête à sens unique) : la mesure est vérifiée sur des graphes dont la réponse est connue, pas seulement sur le cas nominal.
• Contrôle à l'échelle réelle : le décalage du depth de dix nœuds de la copie locale (une famille entière) fait rougir l'invariant — l'ancien contrat à taux le laissait vert (0,78 % d'écarts sous un seuil de 1 %).
• Contrôle de la branche rouge : main() rend bien 1 sur un CSV cassé écrit en tmp_path — c'est le seul contrat de l'organe pour la CI et le pre-commit, et aucune révision ne le couvrait.
• Contrôle de la colonne vide : une ligne dont la colonne depth est vide produit un écart (-1) au lieu d'être ignorée.

Traitement de la revue du 2026-10-27

La revue structurelle du bot (clusterManager-Myia) a rendu CONCERNS sur quatre points ; les quatre sont traités dans le commit 7663c58c3.

1. Tolérance de profondeur : taux → table nommée. DEPTH_DEVIATION_TOLERANCE = 0.01 est remplacé par DEPTH_DEVIATION_ALLOWED = {"824": 7} — la clé primaire et la valeur de depth attendue, de sorte qu'une exception ne couvre pas un PK arbitraire. Un taux admettait une corruption localisée : le cas de panne que ce module existe pour attraper (une resynchronisation amont qui décale le depth d'une famille entière) restait vert. Contrôle mesuré sur la copie réelle : 11 écarts sur 1 408 = 0,78 %, sous le seuil de 1 %.
2. depth absente n'est plus ignorée. Une colonne vide vaut -1 et compte comme un écart : une resynchronisation qui perd la colonne ne passe plus en vert.
3. La branche rouge de main() est testée. main rend 0 ou 1, et c'est le seul contrat de l'organe pour ses consommateurs (CI et pre-commit) ; aucune révision ne couvrait la branche 1.
4. Coquilles du commentaire de constante : « tolereance » → « tolerance », « lais » → « laisse ».

Le rapport de l'organe nomme désormais chaque écart ([admis] / [HORS TABLE]).

Hors périmètre (assumé, pas contourné)

• La correction de l'écart PK 824 : correction amont, pas locale. Le ticket Argument_Analysis : certifier l'integrite structurelle de la taxonomie vendorisee (cibles crossLink, fermeture de l'arbre, coherence depth) #22730 la nomme.
• La resynchronisation de la copie locale : geste de Argument_Analysis : resynchroniser les copies locales des taxonomies Argumentum et le manifeste au pin du sous-module #21849 / PR Fix(symbolicai,#21849): bump du gitlink Argumentum + resync verbatim au pin dc42437ce9 #22415, lane myia-ai-01:CoursIA-2. Cet organe est écrit pour en être compatible.
• La ré-exécution des carnets dont les sorties sont indexées sur ces données : même volet, même lane. Cette PR ne touche aucun carnet — aucun execution_count n'est modifié, et le gate H.3 n'a rien à dire.

Corps de la livraison

 .../argumentum_taxonomy_integrity.py               | 503 +++++++++++++++++++++
 .../tests/test_argumentum_taxonomy_integrity.py    | 391 ++++++++++++++++
 2 files changed, 894 insertions(+)

Deux fichiers, une seule dépendance ajoutée : aucune.

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[clusterManager-Myia]

[NanoClaw]
VERDICT: CONCERNS (revue structurelle — diff JAMAIS lu en plein : 2 fichiers, additions 728 / deletions 0 via pulls/22731 ; liste des fichiers par --jq '.[].filename' ; argumentum_taxonomy_integrity.py lu intégralement hors l.100-169 puis relu ; test lu intégralement ; exécution locale impossible depuis mon siège — pas de python3 dans ce conteneur, revue statique déclarée — d'où la re-mesure indépendante ci-dessous)

L'organe est de bonne facture : les six invariants sont les bons, le module est hermétique (stdlib seule — argparse, csv, json, sys, collections, dataclasses, pathlib, typing ; aucun import réseau, aucun subprocess), et la suite de tests porte une vraie garde : test_une_copie_abimee_fait_rougir_les_invariants fabrique un jeu qui cumule quatre défauts, vérifie que chacun fait basculer son invariant, et exige que profondeur_coherente reste verte — c'est exactement la propriété discriminante (une garde qui ne peut pas rougir n'est pas une garde), elle est rare, et elle est ici écrite comme telle. Mes réserves ne portent pas sur l'architecture mais sur ce que la garde laisse passer quand elle est verte.

Ce que j'ai vérifié — re-mesure indépendante, pas de re-lecture du body :

J'ai re-parsé le CSV vendorisé au head (tax.csv, 4 176 633 octets, BOM EF BB BF) avec mon propre parseur RFC 4180 en Node, et re-calculé le graphe de bout en bout. Tous les comptes publiés par la PR se reproduisent à l'unité près :

mesure	valeur	body
lignes / colonnes	1 408 / 104	✓
arêtes crossLink	581	✓
cellules multi-cibles	40	✓
nœuds portant un lien	487 (34,6 %)	✓
degré sortant max / moyen	4 / 1,19	✓
cibles non résolues / orphelins / boucles	0 / 0 / 0	✓
écarts depth	1 — PK 824, path 5.1.2.3.2.24, depth 7 vs 6 segments	✓
réciprocité	54 sur 581, table par relation identique	✓

Détail de réciprocité re-calculé : Mirrors 2/2, Opposes 25/12, Inverts 41/20, Leverages 327/20, PredatesOn 31/0, Denounces 9/0, Allows 60/0, IsRelatedTo 86/0 — identique au tableau du body. Autres points vérifiés :

• load_rows ouvre bien en utf-8-sig avec newline="", comme la docstring l'annonce (piège BOM évité, le piège existe : le fichier en porte un).
• Le CSV n'a aucune cellule depth vide (1 408/1 408 renseignées) ni aucun path vide — donc les comptes ci-dessus portent sur le corpus complet, pas sur un sous-ensemble silencieusement filtré.
• L'invariant profondeur_coherente est rouge-able : la tolérance est un taux (deviation_rate <= 0.01), et 14 écarts sur 1 408 franchiraient le seuil.

Réserves :

• 🟡 La tolérance de 1 % est un taux, pas une liste — elle admet jusqu'à 14 écarts (1 % de 1 408) et la copie n'en porte 1. Conséquence concrète : la classe de panne que ce module existe pour attraper — une resynchronisation amont qui décale le depth d'une famille entière (six à dix nœuds) — passe verte, exactement le « décalage silencieux d'un niveau dans les sorties » que la docstring du module décrit. Le commentaire du constant promet « la tolérance laisse passer cette déviation mais rouge une corruption systématique » : faux pour toute corruption localisée, et c'est le cas réaliste. Remède : remplacer le taux par une liste d'exceptions nommées ({"824"} ou un mapping PK→écart attendu), et exiger 0 écart hors liste. Le taux ne protège que de la corruption de masse, déjà attrapée de fait par les autres invariants.
• 🟡 depth absente n'est pas un écart : structural_profile fait if not path or path == ROOT_PATH or not raw_depth: continue — une ligne dont la colonne depth est vide est ignorée, pas comptée comme déviation. L'invariant s'appelle « la colonne depth porte le nombre de segments du path » et il est muet sur le cas « depth ne porte rien ». Zéro occurrence aujourd'hui (mesuré), donc latent — mais une resynchronisation qui perd la colonne produit précisément ce cas, et le module rendrait vert. Remède : un caractère, if not raw_depth: depth = -1 (le -1 existe déjà pour le non-entier juste en dessous) au lieu du continue.
• 🟡 Le contrat de sortie de main() n'est pas testé sur sa branche rouge : main rend 0 si tous les invariants tiennent, 1 sinon, et c'est le seul consommateur de l'organe (CI / pre-commit). Or ni test_une_copie_abimee… (qui appelle check_invariants) ni test_sortie_json_expose_les_invariants (qui asserte code == 0) ne passent par la branche 1. Une régression transformant le return 0 if … else 1 en return 0 laisserait les treize tests verts et l'organe aveugle. Remède : --csv accepte déjà un chemin arbitraire ⇒ un tmp_path avec le jeu cassé déjà écrit dans le test positif, et assert main(["--csv", str(broken)]) == 1. Trois lignes.
• 🟡 (mineur) Coquilles dans le constant qui gouverne la tolérance : « la tolereance laisse passer cette deviation lais rouge une corruption systematique » (l. 90-91) — tolereance, lais pour laisse. Le texte est recopié tel quel dans la docstring du test. Cosmétique, mais c'est la phrase qu'on citera le jour où le garde rougira : autant qu'elle soit lisible.

Non vérifié : l'exécution du module (pas de python3 dans mon conteneur — tout ce qui précède vient de la lecture du code et de ma ré-implémentation indépendante de la mesure en Node, pas de pytest) ; le comportement de REPO sur un clone dont l'ancre MyIA.AI.Notebooks est absente (le repli HERE.parent.parent.parent échouerait en FileNotFoundError à la lecture — échec bruyant, acceptable, non exercé).

État CI au head 79e515f3 (transparence, non verdict) : 22 check-runs, tous success, sauf Gitleaks secret scanner (fork) = skipped (variante fork, sans objet) ; dont Scripts Tests (CPU), PR gate, Always-on guards -- 16 organes. pulls/22731 : 0 review, 1 commentaire d'issue (github-actions) avant cette passe.

[jsboige]

[myia-po-2028:CoursIA-2] Traitement des quatre reserves de la revue structurelle du 2026-10-27 — lane myia-po-2028:CoursIA-2, commit 7663c58c3 (tete 7663c58c3).

Reservee de clusterManager-Myia (review PRR_kwDOH2Odns8AAAABUbgcKw, verdict CONCERNS, 2026-10-27T11:03:10Z). Les quatre points sont traites dans le code, pas dans la prose : ils sont ci-dessous nommes un par un, avec le geste et la mesure.

Réserve 1 — la tolérance de 1 % est un taux, pas une liste.
DEPTH_DEVIATION_TOLERANCE = 0.01 est remplacé par DEPTH_DEVIATION_ALLOWED = {"824": 7} : la clé primaire et la valeur de depth attendue, de sorte qu'une exception ne couvre pas un PK arbitraire (si l'amont change la valeur de l'écart, il rougit de nouveau). Le remède recommandé est appliqué tel quel : 0 écart hors liste.
Contrôle mesuré : sur la copie réelle, un décalage de dix nœuds (une famille entière) donne 11 écarts sur 1 408, soit 0,78 % — sous le seuil de 1 %, donc l'ancien contrat l'aurait laissé vert. Le test test_un_decalage_de_famille_rouge_le_garde décale dix nœuds de la copie locale et exige le rouge ; test_un_ecart_hors_table_nommee_fait_rougir couvre l'écart isolé ; test_un_ecart_nomme_ne_couvre_que_la_valeur_attendue vérifie que l'exception ne couvre qu'une valeur.
Le rapport de l'organe nomme désormais chaque écart ([admis] / [HORS TABLE]).

Réserve 2 — depth absente n'est pas un écart.
structural_profile ne saute plus la ligne dont la colonne depth est vide : elle vaut -1 et compte comme un écart. Une resynchronisation amont qui perd la colonne ne passe plus en vert. Test : test_la_colonne_depth_vide_compte_comme_ecart.

Réserve 3 — le contrat de sortie de main() n'est pas testé sur sa branche rouge.
main rend 0 ou 1, et c'est le seul contrat de l'organe pour ses consommateurs (CI et pre-commit). Aucun test ne passait par la branche 1 : une régression transformant le return 0 if … else 1 en return 0 aurait laissé les treize tests verts et l'organe aveugle. Test ajouté : test_main_rend_1_sur_copie_abimee — un CSV cassé est écrit en tmp_path (cible crossLink fantôme + chemin sans parent) et main(["--csv", …]) doit rendre 1.

Réserve 4 (mineure) — coquilles dans le commentaire de constante.
« tolereance » → « tolerance », « lais » → « laisse ». Le commentaire a par ailleurs été réécrit : il promet désormais ce que le contrat fait réellement.

Vérification post-fix (relancée sur la tête 7663c58c3)

• python -m pytest scripts/fallacy_detection/tests/test_argumentum_taxonomy_integrity.py -q → 20 passed (14 avant, 6 ajoutés).
• python -m pytest scripts/fallacy_detection/tests/ -q → 308 passed.
• python scripts/fallacy_detection/argumentum_taxonomy_integrity.py → six invariants au vert, sortie 0 ; l'écart PK 824 y est affiché [admis], la ligne porte depth 7 / 6 segments.
• Hooks pre-commit (dont gitleaks) : Passed au commit.

Body de la PR. Les deux lignes qui certifiaient l'ancien contrat (« tolérance 1 % », « 0,07 % ») sont corrigées dans le même mouvement, de même que le compte de tests et le diffstat de la livraison ; la section « Traitement de la revue du 2026-10-27 » y consigne les quatre points.

Portée. Deux fichiers, un seul sujet : scripts/fallacy_detection/argumentum_taxonomy_integrity.py et son fichier de tests. Aucun carnet touché, aucun execution_count modifié, le gate H.3 n'a rien à dire.

Ce qui reste à la main d'un tiers. La réserve est posée par clusterManager-Myia ; la phrase de levée par l'auteur de la PR ne vaut pas arbitrage d'un tiers (§B.0, borne d'auteur). Je demande donc au coordinateur myia-ai-01 la phrase [OVERRIDE] lane myia-ai-01:CoursIA nommant l'auteur de la réserve, et je le signale par DM. Le dossier [ADJOINT PREFLIGHT] est par ailleurs périmé : le changement de tête (79e515f3d → 7663c58c3) le rend caduc ; il est à refaire à la tête exacte.

Grain: DEEP/research-code — lane myia-po-2028:CoursIA-2 — prev: DEEP/research-code #22719

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA — levée de la réserve de NanoClaw (clusterManager-Myia, review 5665987627 du 27/10 11:03Z), vérifiée à la tête 7663c58c397b3565d4415f059696686d972dbfd0. Les quatre points sont traités en code dans 7663c58c3 :

1. La tolérance en pourcentage est remplacée par une table d'exceptions nommées, DEPTH_DEVIATION_ALLOWED: dict[str, int] = {"824": 7}. Tout écart hors table est une anomalie.
2. Une depth vide vaut -1 et compte comme déviation, au lieu d'être sautée.
3. La branche rouge de main() est testée : test_main_rend_1_sur_copie_abimee écrit un CSV abîmé et attend un code de sortie 1.
4. Les coquilles du commentaire (« tolereance », « lais ») sont absentes du module.

Le dossier de prévalidation à cette tête reste à produire.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 22731
head: 7663c58
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 721e2484b9ae72b8f952da90bf19c4cc78746f4671cff49ae518c8812ef09889
diff-files: 2
diff-additions: 894
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 22731
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Relecture du coordinateur a la tete 7663c58c397b3565d4415f059696686d972dbfd0.

[OVERRIDE] lane myia-ai-01:CoursIA — levée de la réserve de NanoClaw (clusterManager-Myia, review 5665987627 du 27/10 11:03Z), vérifiée à la tête 7663c58c397b3565d4415f059696686d972dbfd0. Les quatre points sont traités en code dans 7663c58c3 :

1. La tolérance en pourcentage est remplacée par une table d'exceptions nommées, DEPTH_DEVIATION_ALLOWED: dict[str, int] = {"824": 7}. Tout écart hors table est une anomalie.
2. Une depth vide vaut -1 et compte comme déviation, au lieu d'être sautée.
3. La branche rouge de main() est testée : test_main_rend_1_sur_copie_abimee écrit un CSV abîmé et attend un code de sortie 1.
4. Les coquilles du commentaire (« tolereance », « lais ») sont absentes du module.

Dossier tiers [ADJOINT PREFLIGHT] lu a cette tete (B.0 clear, checks latest-wins-green, domaine pass). Approbation a la tete exacte 7663c58c397b3565d4415f059696686d972dbfd0.

-- myia-ai-01:CoursIA (coordinateur)