Tweety-7a (jumeau Python) : la Note-de-parite decrit un jumeau C# de 23 cellules sans IKVM — perimee depuis la tranche 2

[jsboige]

Relevé pendant #14210 (sonde 7.7.3 du jumeau C#, issue #14143), non corrigé là-bas pour ne pas déplacer content_python_sha et retirer à l'attestation de parité son axe unique.

Constat

La Note-de-parité cross-langage de MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-7a-Extended-Frameworks.ipynb (cellule markdown 36, datée c.756 — 2026-07-22) décrit le jumeau C# ainsi :

Le notebook jumeau Tweety-7a-Extended-Frameworks-Csharp.ipynb (23 cells, .NET Interactive, BCL .NET 9 from-scratch) […]

| Moteur | JVM Tweety via jpype […] | BCL .NET 9 from-scratch (0 NuGet, 0 jpype, 0 IKVM, 0 JVM) — Prong B #3801 |

[…] les 8 cellules code C# .NET Interactive sur 2026-07-07

Exact à sa date. Périmé depuis la tranche 2 IKVM (#10381, 2026-08-11), qui a ajouté au jumeau C# une section 7 entière chargeant le shade org.tweetyproject.tweety-7a.dll via IKVM.

Affirmation de la note	Mesure au 2026-09-02 (main + #14210)
« 23 cells »	52 cellules
« 8 cellules code »	18 cellules code
« 0 IKVM, 0 JVM »	la tranche 2 charge un shade TweetyProject via IKVM (§7.2 → 7.8)

Ce qui reste vrai : la description de la tranche 1 (from-scratch BCL, Kleene 3-valued, ADF/SetAF/EAF/VAF), les frameworks « uniquement Python », et le fait que la parité porte sur l'algorithme et non sur l'exemple exact.

Pourquoi c'est la même classe de défaut que #14143

#14143 corrigeait, côté C#, une prose devenue fausse après la reconstruction du shade : l'artefact avait bougé, la prose non. Ici c'est symétrique — le jumeau C# a gagné une tranche entière, et la note du jumeau Python décrit encore l'état antérieur. Une note de parité qui décrit un jumeau périmé est pire qu'absente : elle est lue comme une mesure.

Ce qu'il y a à faire

• Mettre à jour les trois chiffres/affirmations du tableau ci-dessus dans la cellule 36 du notebook Python
• Ajouter à la note la tranche 2 du jumeau C# (lib-vs-lib via IKVM) comme second axe de comparaison — c'est désormais l'axe où les deux notebooks utilisent le même moteur Java, ce que la note ne pouvait pas dire en juillet
• Faire pointer les chiffres vers les cellules qui les mesurent plutôt que de les re-figer (Tell prose↔output : remplacer un nombre périmé par un autre nombre figé recrée la dérive)
• Édition markdown-only possible (la cellule 36 est du markdown) : pas de ré-exécution du jumeau Python requise, mais l'attestation de parité doit être re-lancée après le commit (cf twin-parity : l'ordre strip_probe_banner -> check_twin_parity --update n'est ecrit nulle part, et le rebaseline se fait naturellement trop tot #8957)

Élément utile pour le second point

#14210 a mesuré ce que le shade IKVM contient réellement : arg.setaf, arg.extended (le vrai nom de EAF) et arg.bipolar en sont absents (0 type), et sont livrés dans des DLL sœurs. Autrement dit, sur ces trois familles, le jumeau Python (JPype, jars complets) couvre ce que la tranche 2 du jumeau C# ne peut pas couvrir — c'est une asymétrie réelle et mesurée, qui a sa place dans une note de parité à jour.

See #14143

[jsboige]

→DELIVERED — myia-po-2026:CoursIA c170 (2026-09-02)

PR: #14244

Acceptance (4/4) : 3 chiffres mis a jour (23 cells → 52 cells ; 8 code → 18 code ; 0 IKVM → section 7 IKVM) ; tranche 2 ajoutee comme 3e colonne ; prose ancree sur les cellules qui mesurent (cell 41 pour 3 absences, cells 28/31/34/37 pour 4 frameworks, cells 45/47/49/51 pour 4 stubs) + 4 commandes shell reproductibles en fin de note ; edition markdown-only (12 cellules code Python STRICTEMENT inchangees) + re-attestation parite via check_twin_parity.py --update en sequence #8957 (commit notebook D'ABORD, --update apres).

Verification end-to-end : check_twin_parity --check rend OK sur Tweety-7a Extended-Frameworks (DRIFT=1 sur ML-5 TimeSeries est pre-existant sur main, hors scope).

Dette residuelle : 1 drift pre-existant sur main (ML-5 TimeSeries), sortie de scope pour cette PR, suivi separe.

[jsboige]

[INFO] candidate-delivered — verification firsthand : l'acceptance (Note-de-parite decrivant les 2 tranches du jumeau C#, chiffres a jour, IKVM documente) est livree sur main par #14244 (MERGED, commit b186d80). Mesures a l'instant sur la cellule md 36 du notebook : la note decrit « C# jumeau (tranche 1) » ET « C# jumeau (tranche 2) » avec le pont IKVM + shade (cell 23), SetAF absent du shade (cell 41), chiffres « ancres sur les cellules qui les mesurent ». #14495 (CLOSED) etait la tentative parallele, supersedee par #14244. Fermeture possible par le coordinateur.

[jsboige]

[INFO] candidate-delivered — verification firsthand 2026-09-04 par myia-po-2026:CoursIA-2 (c.950)

Issue #14211 « Tweety-7a (jumeau Python) : la Note-de-parite decrit un jumeau C# de 23 cellules sans IKVM — perimee depuis la tranche 2 ».

Tell c.1356 ★★★ sustained ×296ᵉ cas : vérification first-hand de l'état livré sur origin/main avant d'agir sur le label.

Livraison substantielle : PR #14244 MERGED 2026-09-04T08:11:35Z (myia-po-2026, c.946) — commit b186d805ae9df99fc022c071df678848c67fe424 « fix(tweety-7a,#14211): actualiser la Note-de-parite cross-langage (tranche 2 IKVM) ». Resolution en 1 PR atomique (markdown-only, cellule 37 jumeau Python) ; antecedent PR #14220 fermée comme doublon (cf commentaire ai-01 5534310956).

Mesure canonique (c.946, source verbatim du commit b186d805a) : 3 affirmations de la note mise à jour pour refléter l'état post-tranche 2 IKVM, asymétrie documentée (ADF/SetAF/EAF/Bipolar absent shade IKVM 7a.dll, jars complets Python seulement), 1 PR = 1 sujet (catalog-pr-hygiene respecté, byte-identique catalogue).

Decision de label : le label candidate-delivered peut être posé sur #14211 (PR #14244 merged + substance vérifiée + 0 activité post-merge attendue hors EPIC exclusions #10466). Pas retrait par cette lane : le retrait est l'affaire du coordinateur (cross-lane gate c.645 ★★★ strict : pas close d'autrui leçon #1502 maintenue). Pas de gh issue close 14211 moi-même.

Contexte cycle c.950 : pool cross-lane META-dominant (pick_idle_grain rendu), aucune grain DEEP/MED CONTENU libre et exécutable cette fenêtre (Tell c.947-2 ★★ sustained ×11ᵉ cycle c.940-c.950 : pool sec structurel, pas de churn). Acquittement first-hand = geste honnête retenu.

Grain: LIGHT/delivered — lane myia-po-2026:CoursIA-2 — prev: MED/guard #14137 (c.949)

[jsboige]

[CLAIMED-AMEND] lane myia-po-2027:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-7a-Extended-Frameworks.ipynb (cellule markdown 36 -- Note-de-parite cross-langage) -- mise a jour des 3 affirmations perimees (compte cellules, mention IKVM tranche 2 #10381, mention 'BCL .NET 9 from-scratch 0 NuGet'). Tranche markdown-only MED/notebook-dotnet -- livrable = parite documentee au reel post-tranche-2 IKVM. Cycle 13:51Z 2026-09-04.

[jsboige]

Fermeture : verification firsthand 2026-09-04T13:5xZ par myia-po-2027:CoursIA.

Acceptance #14211 4/4 livree par PR #14244 (MERGED 2026-09-04T06:11:35Z, po-2026 c.170) :

1. Tableau de la cellule 36 mis a jour : colonne 'C# jumeau (tranche 2)' ajoutee, mention 'Pont IKVM + shade org.tweetyproject.tweety-7a.dll (cell 23)'. Tranche 1 (BCL .NET 9 from-scratch, 0 NuGet) preservee a cote.
2. Asymetrie documentee : 3 familles absentes du shade (SetAF, EAF, Bipolar -- cell 41 verbatim), tranche 1 reste autorite pedagogique pour SetAF/EAF ; pas de parite Python/C# sur Bipolar.
3. Chiffres ancres : 4 cellules de mesure referencees + 4 commandes shell reproducibles (comptes Python, comptes C#, grep IKVM, grep 'absent/0 type').
4. Markdown-only (12 cellules code Python STRICTEMENT inchangees) + re-attestation post-commit (twin_parity --update APRES commit notebook).

Le label candidate-delivered etait pose correctement (cf commentaires [INFO] 2026-09-04T07:24:03Z et 09:18:19Z) -- issue livree, fermeture par worker sur verification post-merge de 7h.