Argument_Analysis : certifier l'integrite structurelle de la taxonomie vendorisee (cibles crossLink, fermeture de l'arbre, coherence depth) #22730

Part of #4960

Constat

La taxonomie des sophismes vendorée dans CoursIA (data/argumentum_fallacies_taxonomy.csv, copie verbatim de ArgumentumGames/Argumentum) est consommée par plusieurs carnets et scripts de la série Argument_Analysis :

• 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.

La garde existante (tests/test_argumentum_snapshot_integrity.py) certifie que la copie locale 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.

Or les propriétés que les carnets consomment réellement sont structurelles :

1. l'intégrité référentielle — chaque cible d'une relation crossLink_* doit désigner un nœud de l'arbre ;
2. la fermeture de l'arbre — chaque nœud doit avoir un parent présent ;
3. la cohérence de la profondeur — la colonne depth doit porter le nombre de segments du path.

Une copie peut être fidèle à son pin et structurellement cassée : une cible crossLink_* qui ne désigne rien 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.

Mesure sur la copie locale (pin 6bc573f73, 1408 sophismes, 104 colonnes)

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

Deux lectures que rien ne documentait jusqu'ici : les relations bilatérales (Opposes, Inverts, Mirrors) le sont effectivement dans le CSV, les relations de dépendance (Leverages, Allows) et les relations de contexte (IsRelatedTo, PredatesOn, Denounces) ne le sont pas — la flèche y est orientée par construction. Un carnet qui lit Opposes comme une relation symétrique sans le dire se trompe ; un carnet qui lit Leverages comme symétrique se trompe aussi, et plus silencieusement.

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). L'organe le mesure et le tolère explicitement (tolérance 1 %) : la correction appartient à l'amont, pas au dépôt.

Ce que la PR apporte

• scripts/fallacy_detection/argumentum_taxonomy_integrity.py — un organe de mesure : il lit la copie locale, extrait le graphe crossLink (une arête par cible, cellules multi-cibles comprises), mesure couverture, degré, réciprocité par relation, et confronte six invariants structurels. Exécutable (--json pour la sortie machine), sans dépendance hors stdlib.
• scripts/fallacy_detection/tests/test_argumentum_taxonomy_integrity.py — la garde qui refute ces six invariants quand ils cessent de tenir.

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.

Critères d'acceptation

• python scripts/fallacy_detection/argumentum_taxonomy_integrity.py rend les six invariants au vert sur la copie locale et sort en 0
• python -m pytest scripts/fallacy_detection/tests/ vert (301 tests)
• une copie abîmée fait rougir l'organe (cible crossLink fantôme, chemin sans parent, boucle directe) — contrôle positif sur un jeu synthétique, pas seulement sur le cas nominal
• la deviation PK 824 est mesurée et nomée, pas cachée : elle est dans le rapport de l'organe, dans le corps de la PR et dans ce ticket

Hors périmètre

• La correction de l'écart PK 824 : elle appartient à l'amont (ArgumentumGames/Argumentum). Le dépôt ne réécrit pas une copie verbatim.
• La resynchronisation de la copie locale au nouveau pin : c'est le 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, portée par myia-ai-01:CoursIA-2. Cet organe est conçu pour survivre à cette resynchronisation (invariants indépendants du contenu) et pour la suivre : si la copie resynchronisée casse une relation, il rougit.
• La ré-exécution des carnets dont les sorties sont indexées sur ces données : même volet, même lane.