Audit Ontology_AIF — sorties fidèles au fichier livré (contrôle positif), mais prose §3 contradictoire en HEAD et couches §5/§5.1 figées au 30/08

Fille de #18390. Carnet audité : MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argument_Analysis_Ontology_AIF.ipynb (51 cellules), arc Argumentum PR-A. Toutes les mesures ci-dessous sont reproductibles par les commandes de la section Vérification (zéro LLM, zéro réseau, lecture seule).

Constat mesuré

0. Ce qui tient (contrôle positif — substantiel)

Ce carnet est le plus honnête des trois carnets d'ontologie (cf. #18656, #18658) :

• Sorties bit-exactes sur le fichier livré. Rejeu indépendant des regex du carnet sur ontologies/argumentum_fallacies.owl : chaque compte committé est reproduit — 1 513 classes (1 509 Argumentum + 4 AIF), 10 ObjectProperty, prefLabels 2 816 (1 408 FR + 1 408 EN), 1 306 concepts distincts, 100 classes Walton-scheme, AnnotationAssertion 7 825 resource + 10 563 literal, NamedIndividual 4 244 / ClassAssertion 0 / OPA 2 122, crossLink 1 977 (mirrors 720, isRelatedTo 642, leverages 402, inverts 82, allows 66, opposes 50, predatesOn 13, denounces 2), aifAttackedNode 145 = 87 RA / 53 I / 5 CA.
• Millésime daté et cohérent. La note « Millésime — à ne pas confondre » (cellule 811c2bca) nomme le pin du sous-module (0ab05d66, 17/09) et la resynchronisation du OWL vendoré (feat(symbolicai): resync taxonomies Argumentum verbatim + garde d'intégrité (7 semaines de dérive silencieuse) #13554, 30/08 — PR vérifiée MERGED, tout comme la base précédente fix(exec,#11112): Argument_Analysis_Ontology_AIF — seq DUPLICATE->CLEAN 1..12 #11598, 18/08). L'historique 93→145 est documenté avec la règle « toujours fonder l'analyse sur l'OWL réellement présent ». Les chiffres de l'audit 3-axes (~82/~50/~5) sont explicitement marqués CAUSE_DOCUMENTED_ONLY — non reproductibles depuis CoursIA, et dit tel.
• Exécution datable par archéologie. La sortie committée du mindmap (« Fallacies_fr.svg 2 989 075 octets ») correspond exactement à la taille du fichier au pin nommé 0ab05d66 (vérifié au ls-tree) : sorties = pin 17/09 + OWL vendoré 30/08, un ensemble cohérent.
• Histoire de maintenance réelle (contrairement à l'apparence same-day) : le carnet vit depuis au moins le 14/09, avec un arc [Argument_Analysis] AIF Ontology notebook : visualiser la mindmap + faire parler les chiffres #17557/feat(notebook,#17557): AIF Ontology — mindmap SVG + exemples illustrés §5.1/§6/§7/§8 + exercice 5 #17579 intense les 23-24/09 (mindmap, realignement de prose « 145/87/53/5 » en 846b898097, claims §5.1 corrigés sur la mesure). Le chemin actuel et le OWL vendoré, eux, sont entrés dans le commit batch 8849ce1e27 (24/09) — le même commit d'audit README que CrossLinks/Virtues.

1. Prose §3 contradictoire en HEAD — la table contredit la sortie en dessous d'elle

Le realignment du 23/09 (846b898097) a aligné les nombres §7 mais a raté la section 3 :

Cause racine mesurée : la resynchronisation #13554 (30/08) a amené l'état c86b71ff2 du sous-module, qui est précisément le commit « les arêtes du graphe argumentatif deviennent raisonnables (ObjectPropertyAssertion 0 → 2566) » (Argumentum #1231) — les OPA et les NamedIndividual sont revenus dans le fichier, mais la prose « ancien idiome disparu » n'a jamais été réalignée dessus. Un étudiant qui lit §3 voit une table et une lecture fausses, puis la sortie vraie.

2. Le OWL vendoré est figé au 30/08 ; l'épingle actuelle a bougé exactement sur les couches que §5/§5.1 enseignent

Copie vendorée = blob 4b4fc620 = état du sous-module à c86b71ff2 (30/08, introduit là, remplacé dès le 31/08 par #1215). Épingle actuelle = 9e79e88 (25/09). Mesuré aux deux :

La lecture §4bis (« plus de 2 000 cross-links au total », cellule 7689ff77) est vraie sur la copie, fausse à l'épingle (735).

3. Millésime à rafraîchir (mineur, mesuré)

La note « Millésime » cite le pin 0ab05d66 (17/09) ; le pin actuel est 9e79e88 (25/09). Mesuré : les couches comptées sont identiques aux deux pins (mirrors 4, crossLink 735, attacks 145, mapping 116 partout — seuls ~4,5 Ko d'annotations dcterms/licence #1541/#1542 s'ajoutent). Le rafraîchissement serait donc purement cosmétique, sauf un point : le mindmap Fallacies_fr.svg au pin actuel = 2 987 929 octets ≠ sortie committée 2 989 075 (qui correspond au pin 0ab05d6) — la cellule à lecture live (id 6148e8a0) imprime désormais un autre nombre que sa sortie committée.

Cause racine

Même famille que #18656/#18658 (données vendorées + épingle mobile), atténuée parce que ce carnet date son millésime et a une histoire de realignment. Les trois racines restantes :

1. La resynchronisation de données (30/08) n'a pas déclenché le realignment de TOUTE la prose — seules les cellules touchées par la passe feat(notebook,#17557): AIF Ontology — mindmap SVG + exemples illustrés §5.1/§6/§7/§8 + exercice 5 #17579 l'ont été ; §3 et l'Honnêteté pt 5 sont restées à l'état d'avant.
2. Le snapshot vendoré n'est daté qu'en prose (« feat(symbolicai): resync taxonomies Argumentum verbatim + garde d'intégrité (7 semaines de dérive silencieuse) #13554 ») — le SHA source (c86b71ff2) n'est écrit nulle part, ni dans le carnet ni dans un manifeste compagnon ; c'est l'archéologie de blob qui le retrouve.
3. Le pin a bougé après la dernière exécution sans que le millésime soit ré-stampé (17/09 → 25/09).

Portée

Cellules concernées : cell-5 (table §3), cell-7 (lecture §3), 7689ff77 (lecture §4bis), cell-11 (inventaire §5), mir-intr/mir-code/mir-inte/55e9b9b7/c0891234 (§5.1 entier), cell-23 (Honnêteté pts 3 et 5), 811c2bca (millésime), 6148e8a0 (sortie mindmap live). Non concernées (reproductibles à l'épingle) : §6, §7, §8, exercices.

Vérification (recette, lecture seule)

cd MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentum
git show 9e79e88:docs/ontology/argumentum.owl > /tmp/pin.owl   # épingle actuelle
# puis rejouer les regex du carnet (cell-6) sur /tmp/pin.owl et sur
# ../ontologies/argumentum_fallacies.owl — les deux tableaux ci-dessus se reproduisent
git ls-tree -r -l 0ab05d66 -- Cards/Fallacies/Mindmaps/fr/Fallacies_fr.svg   # 2989075 = sortie committée
git ls-tree -r -l 9e79e88 -- Cards/Fallacies/Mindmaps/fr/Fallacies_fr.svg    # 2987929 ≠ sortie
git -C . log 9e79e88 --find-object=4b4fc620dc3285a04850f7608fde61bb2dc3eb99  # c86b71ff2 (30/08) → 9c73ce81 (31/08)

Réparation proposée

1. Réaligner la prose §3 sur les sorties (7 825/10 563 ; réécrire « ancien idiome disparu » en ce que la mesure dit : [prover-forensic] DEMO 16 BG run 20:32 — F9 fired, Director consulted 2/3, FAILED on strategy→tactic translation gap #1231 a réintroduit 4 244 NamedIndividual et 2 122 OPA dans le fichier livré ; corriger l'Honnêteté pt 5). Précédent immédiat : 846b898097.
2. Statuer le millésime de §5/§5.1 : soit resynchroniser le OWL vendoré sur l'épingle (les couches stables ne bougent pas : 145/87/53/5, SKOS 1 407-1 409, prefLabels 2 816 — mais §5.1 se réécrit autour des 4 mirrors survivants avec la dé-curation feat(prover): Director context injection — proved lemmas (#1224) #1286 nommée, comme le carnet a déjà su le faire pour 93→145), soit garder l'état 30/08 et marquer §5/§5.1 « état historique au 30/08, dé-curation feat(prover): Director context injection — proved lemmas (#1224) #1286 depuis » — le geste millésime existe déjà dans la cellule 811c2bca, il suffit de l'étendre aux sections concernées.
3. Dater en machine : SHA source du fichier vendoré (c86b71ff2) + date dans un manifeste compagnon (candidat naturel : ontologies/catalog-v001.xml, déjà committé à côté), pour que le millésime cesse d'être de l'archéologie.

Liens

• Mère : [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 · sœurs du même défaut : Audit #18390 — Ontology_CrossLinks : sorties exactes au 10/07, commitées le 24/09 contre une épingle du 25/09 (dé-curation #1247 non ré-exécutée) #18656 (CrossLinks), Audit #18390 — Ontology_Virtues : snapshot exact du 30/08, commité le 24/09 contre une épingle du 25/09 (5 mouvements amont non rejoués, IRI Walton sanitizés) #18658 (Virtues)
• CoursIA : feat(symbolicai): resync taxonomies Argumentum verbatim + garde d'intégrité (7 semaines de dérive silencieuse) #13554 (resync 30/08), fix(exec,#11112): Argument_Analysis_Ontology_AIF — seq DUPLICATE->CLEAN 1..12 #11598 (base 18/08), [Argument_Analysis] AIF Ontology notebook : visualiser la mindmap + faire parler les chiffres #17557/feat(notebook,#17557): AIF Ontology — mindmap SVG + exemples illustrés §5.1/§6/§7/§8 + exercice 5 #17579 (arc d'amélioration du carnet)
• Argumentum : [prover-forensic] DEMO 16 BG run 20:32 — F9 fired, Director consulted 2/3, FAILED on strategy→tactic translation gap #1231 (c86b71ff2, OPA 0→2566), fix(leaks): relabel Tweety instructor solutions as Exemple guide (3->0 HIGH) #1215 (9c73ce81, 25 same-name links), feat(prover): Director context injection — proved lemmas (#1224) #1286/feat(audio): P3 prosodic annotation — FishAudio expressive tags (Epic #1028) #1247 (e5191816, dé-curation 05/09)