fix(tweety,#17245): retirer les generations Tweety supplantees avant telechargement

[jsboige]

Grain: MED/tooling — lane myia-po-2023:CoursIA — prev: LIGHT/notebook-python #17238

Closes #17245.

Le défaut

download_jar sort tôt dès que local_path.exists(), et le nom local embarque la version (local_jar_name(module, version)) : changer TWEETY_VERSION ne faisait donc jamais disparaître la génération précédente, et download_tweety_jars ne comportait aucune étape de nettoyage.

Ce n'est pas cosmétique, parce que tweety_init.py:153 construit le classpath par glob :

jar_files = list(lib_dir.glob("*.jar"))
classpath_items.extend(str(j.resolve()) for j in jar_files)

Les deux générations montaient donc ensemble sur la JVM, l'ordre de résolution décidant classe par classe.

Mesure (arbre partagé, 2026-09-21)

Génération	Fichiers	Classes	Poids
1.29 (org.tweetyproject.*-1.29-with-dependencies.jar, fat)	35	29 209	428,3 Mo
1.30 (*-1.30.jar, thin)	39	1 872	5,7 Mo
externes	3	949	—

Intersection 1.29 ∩ 1.30 = 1 829 classes — 97,7 % des classes de la version courante. Sur un arbre mis à jour, la quasi-totalité du code 1.30 est en double sur le classpath, et 428 Mo de génération morte sont montés à chaque startJVM. Un arbre neuf fait tourner un classpath 1.30 pur, un arbre mis à jour un classpath mixte : la classe de panne qui se lit « ça marche chez moi ».

Le correctif

download_tweety_jars retire les JAR Tweety d'une génération antérieure avant de télécharger, en annonçant le nombre et le poids récupérés.

• Dépendances externes hors périmètre : EXTERNAL_DEPENDENCIES (args4j, commons-math 2.2, sat4j) est versionné indépendamment du projet et reste en place.
• Fail-closed : un nom qui ne correspond à aucun artefact connu n'est jamais supprimé. C'est la propriété que les contrôles négatifs ci-dessous éprouvent.
• --keep-old-generations restaure le comportement précédent, pour qui veut inspecter l'ancienne génération.
• local_jar_name() extrait comme source unique : download_jar écrit ce nom, expected_jar_names le prédit — les deux ne peuvent plus diverger.

Vérification

Téléchargement neutralisé (on éprouve le nettoyage, pas le réseau), fixtures = les 77 noms réellement présents sur l'arbre partagé :

avant : 77 jars  ->  apres : 42 jars
OK  defaut : 5.7 Mo de 1.30 + 3 externes, residu 1.29 retire
OK  annonce : Superseded Tweety generations: 35 JAR(s), 0.0 MB
OK  --keep-old-generations : 77 jars conserves (comportement precedent)

Huit contrôles unitaires, dont quatre négatifs (le gate ne doit pas sur-supprimer) :

Nom	Attendu	Motif
dung-1.29.jar	supprimé	thin d'une version antérieure (absent du disque, forme couverte d'avance)
logics-commons-1.29.jar	supprimé	nom de collision, version antérieure
org.tweetyproject.tweety-full-1.29-with-dependencies.jar	supprimé	bundle fat, hors modules déclarés
args4j-2.33.jar · org.ow2.sat4j.core-2.3.5.jar	conservé	externe déclaré
commons-math-3.6.1.jar	conservé	externe non déclaré, stem inconnu
causal-1.30.jar	conservé	version courante
NotARealArtifact-1.29.jar	conservé	inconnu → fail-closed

python -m py_compile OK. Aucun appelant ne dépend de l'ancienne signature (keep_old_generations est optionnel) : la seule occurrence hors du script est une autre fonction download_jar dans SymbolicAI/_archive/Tweety.ipynb, sans rapport.

Signalé, non corrigé (hors périmètre)

Le garde de version en tête de fichier compare des chaînes :

if TWEETY_VERSION >= "1.29":   # ligne 95
if TWEETY_VERSION >= "1.30":   # ligne 97

"1.9" >= "1.29" est vrai lexicographiquement, et "1.100" >= "1.30" est faux. Le comportement est correct pour 1.30, donc ce n'est pas un défaut actif — mais un parseur tolérant serait nécessaire pour le corriger sans casser --version 1.30-SNAPSHOT. Laissé en place, signalé ici plutôt que corrigé au passage.

🤖 Generated with Claude Code

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17246
head: e7ae86e
complete: true
body: read
comments-reviewed: 0
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0c6b3fa1b273318458532f6296cab5567e3048a07d49aa052f325d1e324a5097
diff-files: 2
diff-additions: 96
diff-deletions: 14
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Verdict READY au 2026-09-21T18:45Z. Mesures au head e7ae86e : 28 check-runs dedupliques (started_at, id), pages fusionnees, 0 pending, 0 rouge — le rouge de quota (FAIL cannot establish check state, anterieur au retablissement 16:49Z) a disparu au rejeu de la lane, PR gate PASS. b0 rc=0, blocking vide (organe origin/main 068a739e). mergeable=true. Porteur : myia-po-2023:CoursIA, distinct de la lane emettrice.