rename(tweety,#16231): PR-b -- suffixe Python/Lean et paire 11-Causal by jsboige · Pull Request #19502 · jsboige/CoursIA

jsboige · 2026-10-06T14:07:12Z

Grain: MED/refactor — lane myia-po-2024:CoursIA — prev: MED/notebook-dotnet #19433

Sujet

PR-b du renommage Tweety (#16231), portant désormais les étapes 1-b et 2 de la séquence : la moitié Python/Lean de l'étape 1 (la moitié CSharp est passée en #19433), puis l'étape 2 complète — padding 3→03, 4→04, 5→05 + casse Csharp→CSharp + suffixe des jumeaux Python 3/4/5 — en réponse à la remarque user du 06/10 14:16Z (« On attend toujours 03, 05 etc. Attention à l'application consistante du naming », levée c.6026288040). Table de l'étape 2 : #16231 c.6025976556 ; cibles = table canonique --propose du 25/09. Cette PR livrée, #19150 est entièrement supersedée (#19433 + celle-ci).

Étape 1-b — renommages (10)

ancien	nouveau
Tweety-02d-FOL-Lab-Lean.ipynb	Tweety-02d-FOL-Lab-Lean-Python.ipynb
Tweety-02e-Preuves-Hilbert-Gentzen-Lean.ipynb	Tweety-02e-Preuves-Hilbert-Gentzen-Lean-Python.ipynb
Tweety-3b-Modal-Lab-Lean.ipynb	Tweety-03b-Modal-Lab-Lean-Python.ipynb (fusion étape 2)
Tweety-5b-Lean-Argumentation.ipynb	Tweety-05b-Argumentation-Lean.ipynb (fusion étape 2)
Tweety-5d-Stable-Synthesis-Lean.ipynb	Tweety-05d-Stable-Synthesis-Lean-Python.ipynb (fusion étape 2)
Tweety-5e-Propositional-Lab-Lean.ipynb	Tweety-05e-Propositional-Lab-Lean-Python.ipynb (fusion étape 2)
Tweety-10-MLN.ipynb	Tweety-10-MLN-Python.ipynb
Tweety-11-Causal.ipynb	Tweety-11-Causal-Python.ipynb
Tweety-11-Causal-Csharp.ipynb	Tweety-11-Causal-CSharp.ipynb
Tweety-12-Grounded-Via-TweetyProject.ipynb	Tweety-12-Grounded-Via-TweetyProject-Python.ipynb

Étape 2 — renommages (15, padding + casse + suffixe)

ancien	nouveau
Tweety-3-Advanced-Logics.ipynb	Tweety-03-Advanced-Logics-Python.ipynb
Tweety-3-Advanced-Logics-Csharp.ipynb	Tweety-03-Advanced-Logics-CSharp.ipynb
Tweety-3-Conditional-Logics-Csharp.ipynb	Tweety-03-Conditional-Logics-CSharp.ipynb
Tweety-3-Dung-Csharp.ipynb	Tweety-03-Dung-CSharp.ipynb
Tweety-3-ModalLogic-Csharp.ipynb	Tweety-03-ModalLogic-CSharp.ipynb
Tweety-3-QBF-Csharp.ipynb	Tweety-03-QBF-CSharp.ipynb
Tweety-4-Aspic-Csharp.ipynb	Tweety-04-Aspic-CSharp.ipynb
Tweety-4-Belief-Revision.ipynb	Tweety-04-Belief-Revision-Python.ipynb
Tweety-4-Belief-Revision-Csharp.ipynb	Tweety-04-Belief-Revision-CSharp.ipynb
Tweety-5-Abstract-Argumentation.ipynb	Tweety-05-Abstract-Argumentation-Python.ipynb
Tweety-5-Abstract-Argumentation-Csharp.ipynb	Tweety-05-Abstract-Argumentation-CSharp.ipynb
(les 4 accrétions 3b/5b/5d/5e : voir table 1-b, fusions main→final)

Similarité git sur les 21 renommages (10 étape 1-b + 11 étape 2 ; les 4 accrétions reçoivent les deux étapes en un seul rename main→final) : R096–R100 — aucune perte de contenu.

Ce que l'étape 2 emporte (commits `58e0a69`, `d5dd6ad`, `f1c6bba`, `a926b11`, `712f766`)

Périmètre total : la PR touche 108 fichiers — 21 renommages (git mv purs ou re-clés au texte), les référents réécrits au texte par l'organe tool(#16231): rename_notebooks.py — renommer une série en une commande (table, git mv, référents, organes), aide au rebase, cliquet sur les noms ajoutés #17784 (_quarto.yml render-list 45 occurrences, translations/tweety/tweety.csv 1144, curriculum ×4, slides ×5, pedagogy_density_baseline.json 36, baseline_nb_nav_chain.json 6, twins yaml ×4, READMEs Tweety/Search, scripts de la série, ledger), les 3 carnets re-exécutés et les rafraîchissements de base amenés par les fusions successives. Le ledger fusionne les chaînes des 4 accrétions en lignes directes main→final (les noms intermédiaires de l'étape 1 n'existeront jamais sur main).
4 cellules de code éditées puis 3 carnets re-exécutés (C.2) : 06-Structured cells 1+11, 08-Agent-Dialogues cell 4 (Tweety-5-Csharp → Tweety-05-CSharp), 09-Preferences cell 12 (Tweety-3-Dung-Csharp(.ipynb) → Tweety-03-Dung-CSharp(.ipynb)) — via execute_dotnet_notebook.py : 15/15, 11/11, 9/9 cellules, 0 erreur, execution_count réel partout, chemin machine normalisé par le hook du dépôt.
Twin parity rebaselinée sur les 11 paires touchées : 152 OK / 5 DRIFT pré-existants (App-1, App-12, Probas-3, Probas-5, Probas-15) — strictement identique à main.

C.2 — re-exécutions dues et faites

Règle C.3 appliquée : re-exec limitée aux carnets dont une cellule source change (les 3 carnets .NET ci-dessus). Les 22 renommages purs portent leurs outputs tels quels (0 cellule de code modifiée — gardes I1/I2/I3 de l'organe, vérifiées cellule à cellule).

Lean (règle B)

FormalLogic.lean / FolBridge.lean : diff docstring-only (étape 1). sorry : 0 avant/après, aucun théorème touché. Étape 2 : aucun fichier .lean touché.

STALE_LINK readme-links-guard — reproduit puis levé au HEAD `712f766f826`

Le sweep avait re-ciblé les liens README vers les nouveaux noms .ipynb : la paire (readme, href) étant nouvelle, le delta base-vs-tête comptait 14 STALE_LINK neufs (head a926b11dda0, reproduit localement à l'identique) alors que les anciens liens .ipynb étaient backlog toléré (#13025). Les 11 carnets cibles étant render-listés dans _quarto.yml, la convention Pages veut le sibling .html (précédent #19518 kelly, même geste) : commit 712f766f826 re-cible les 14 hrefs .ipynb→.html (texte d'affichage inchangé) dans 4 READMEs (Tweety ×11, Search, argumentation_lean, dotnet-build). Delta local : NOUVELLES 14→0 ; net 1692→1663 (−29, réparations de backlog au passage). docs-links 8271 liens 0 cassé après re-ciblage.

Gates locales (relancées contre HEAD `977eee62af05`)

kernel-suffix-canon : OK (38/38 carnets de la série conformes au canon, vérifié par script)
duplicate-notebook-index : OK
navlinks : 0 NEW broken (1483 scannés) · docs-links : 0 cassé (8271)
check_docs_links : OK · link-label agreement : le seul finding (gametheory-20d) est pre-existing hors périmètre
twin-parity-guard : 152 OK / 5 DRIFT base-inherited
kernel-drift local : rc=0, findings=[] ; la jambe CI Kernel drift guard (base vs PR) est verte au head 977eee62af05 — les annotations « Could not read » du rouge précédent étaient un motif d'infra au checkout, pas une mesure

Advisories documentés (non bloquants)

MACHINE_PATH Tweety-12 (0->1) (étape 1) : chemin JDK portable identique à main sous l'ancien chemin — artefact de re-clé du ratchet, grain séparé si pertinent.
Repli output-collapse (06/08/09) : la re-exécution fraîche régénère un bloc text/html de plumbing HTTP du kernel .NET Interactive de moins que l'ancien run (−1 par carnet, boilerplate JS dotnet-interactive-this-cell, aucune valeur pédagogique) ; streams pédagogiques inchangés (16/9/195), execution_count réels. Cause : C.2 due aux éditons de cellules source — le run frais est la sortie honnête.
reading-anchor (2) (étape 1) : motifs re-clés par le renommage, cellules Lecture inchangées.
README de série : les étiquettes transitoires (03c-DL, 04c-Aspic, 07ac…) restent jusqu'à l'étape 5 de la séquence Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231 (ré-alignement éditorial README+hub, après les étapes 3-4) — conformément à la décision ai-01 du 04/10 (« aucune édition du README Tweety avant l'étape 5 »), cette PR ne fait que le sweep mécanique des liens (précédent rename(tweety,#16231): partition PR-a -- suffixe CSharp (09-Preferences, 5-Abstract, 10-MLN) #19433/étape 1).

État attendu

Branche à lane unique (worker po-2024), pas de merge avant lecture coordinateur. DWELL : plancher re-armé par les commits de contenu. Tête courante 712f766f826 (STALE_LINK levé). Dossier exact-head à redemander au secretariat après stabilisation des checks (tout dossier antérieur à 712f766f826 est périmé).

See #16231 (EPIC renommage, table étape 2 c.6025976556) · See #19150 (PR originale supersédée) · suite de #19433.

🤖 Generated with Claude Code

Moitie Python/Lean du renommage #19150 (la moitie CSharp est passee en #19433). Dix notebooks renommes, renvois balayes (README, LEAN_INVENTORY, _quarto.yml, docs/, baselines, twin pairs, ledger). Aucune cellule de code modifiee dans les 10 renommages (verifie cellule a cellule : markdown seul) -- C.2 non declenchee. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-06T14:09:49Z

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

github-actions · 2026-10-06T14:09:53Z

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

github-actions · 2026-10-06T14:09:57Z

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

github-actions · 2026-10-06T14:10:01Z

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions · 2026-10-06T14:12:17Z

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

github-actions · 2026-10-06T14:13:47Z

Notebook PR Validation: PASS

Notebooks checked: 23
Code cells validated: 287
Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

github-actions · 2026-10-06T14:14:17Z

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.1s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.5s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.7s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	1.8s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	14.7s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.5s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	9.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

…5 Abstract (drift paraphite: liens nav markdown-only, 0 cellule code) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige · 2026-10-06T14:16:42Z

Rebaseline twin 0015 pousse (0b998d4) : les paires Tweety-10 MLN et Tweety-5 Abstract-Argumentation derivait par rapport aux attestations 0014 de la PR-a — cause mesuree firsthand : liens de navigation markdown vers les carnets Python renommes, 0 cellule de code modifiee (verifie cellule a cellule sur les deux CSharp). Full check_twin_parity apres rebaseline : 152 OK / 5 DRIFT — strictement identique a main (les 5 DRIFT sont pre-existants : App-1, App-12, Probas-15, Probas-3, Probas-5).

jsboige · 2026-10-06T14:16:58Z

Concern: On attend toujours 03, 05 etc.
Attention à l'application consistante du naming

clusterManager-Myia

[Hermes] — review au head 0b998d40 (48 fichiers, tranche Python/Lean du renommage Tweety #16231). Vérifications firsthand :

10 renommages confirmés à l'API : ancien nom absent au head, nouveau présent, pour les 10 paires du tableau (spot-check complet). rename-ledger.tsv : +11 lignes = les 10 renames + la correction honnête du two-step 5b-Lean-Argumentation-Lean → 5b-Argumentation-Lean.
Zéro renvoi orphelin : 0 ligne ajoutée référençant un ancien nom hors ledger. .lean : docstring-only (+1/-1 chacun, nom de notebook cité), 0 sorry touché. Twins YAML resynchronisés (11-causal, 10-mln) + attestations 0013/0015. Baselines nav-chain et pedagogy_density mises à jour. Catalogue et translations inchangés = conforme à la règle de régénération.
Kernelspecs vérifiés base↔head (5 fichiers spot-checkés, ancien nom sur main vs nouveau au head) : python3→python3, .net-csharp→.net-csharp, lean4-wsl→lean4-wsl — aucun drift réel, les outputs portés tels quels par le renommage comme annoncé.
Sécurité : 0 match. 103 checks verts.

VERDICT: CONCERNS — deux points, non bloquants sur le fond :

Kernel drift guard (base vs PR) est ROUGE au head, et entraîne le PR gate. Les annotations montrent 10× « Could not read » — l'organe n'a pas pu lire les blobs base des fichiers renommés (pattern d'infra connu au checkout, pas une mesure). Ma contre-mesure ci-dessus (kernelspecs identiques base↔head) corrobore l'absence de drift, mais le rouge doit être levé par un rerun du garde avant merge — pas contourné par --ignore-red.
Le body annonce les gates locaux relancés « contre HEAD après commit 0751f30 », or le head est 0b998d40 (rebaseline twin 0015 poussée après) — les affirmations de gates ont un commit de retard. Le rebaseline lui-même est couvert par les checks CI au head (103 verts), donc impact nul ici ; à noter pour la discipline de dossier exact-head.

Sur le fond : renommage mécanique propre, revue croisée des renvois exhaustive (12 docs + quarto render-list + READMEs des 5 domaines voisins), la paire 11-Causal Python/CSharp est cohérente post-rename. Rien à changer dans le contenu.

[Hermes hermes-pr-review, cycle :17 06/10, host f6be46d1b7a3, sig=78de6ffa]

github-actions · 2026-10-06T19:11:25Z

Path-collision (organ #13359/#13615)

Cette PR #19502 (rename(tweety,#16231): PR-b -- suffixe Python/Lean et paire 11-Causal) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

faible -- fix(search,#19269): Boyd & Vandenberghe 2004 -- Convex Optimisation reference #19282 partage : MyIA.AI.Notebooks/Search/README.md
faible -- feat(probas,#19310): CausalBridges-00 — Pearl Ladder introductive (Pli 1 Origami causal) #19368 partage : MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-01-Do-Calculus.ipynb, MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/README.md
faible -- renum(ml,19386): 04-Vision 4.2c-k -> 4.4/4.5/4.6 (tranche unifiee, post-19366-merge) #19468 partage : _quarto.yml
fort -- rename(search,#19253): decoupe PR-b -- Frontieres-07..09 (re-executes) completent la Partie 5 #19472 partage : MyIA.AI.Notebooks/Search/README.md, _quarto.yml, docs/reference/rename-ledger.tsv, scripts/tests/baseline_nb_nav_chain.json (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
faible -- refactor(ml,#17799): ML.Net consolidation -- padding, suffixes, demotions, titres #19482 partage : MyIA.AI.Notebooks/Probas/DecisionTheory/Causal-Bridges/CausalBridges-01-Do-Calculus.ipynb, MyIA.AI.Notebooks/Search/README.md
fort -- refactor(gametheory,#16231): GT-03e Plan-deformation -> GT-23a Biens-Publics #19484 partage : _quarto.yml, docs/reference/rename-ledger.tsv, scripts/tests/baseline_nb_nav_chain.json (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
faible -- fix(lean,#19480): errors='replace' on subprocess.run utf-8 across 5 Lean notebooks #19489 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-03b-Formalized-Formal-Logic-Lean-Python.ipynb
fort -- rename(#16231): Percolation 01/02 canoniques + plan de croissance (#19494) #19495 partage : MyIA.AI.Notebooks/Probas/README.md, _quarto.yml, docs/cadrage/grothendieckian-lens.md, docs/reference/rename-ledger.tsv (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
fort -- rename(kelly,#16231): suffixes kernel des compagnons + section Carnets suivants #19518 partage : MyIA.AI.Notebooks/Probas/README.md, _quarto.yml, docs/reference/rename-ledger.tsv, scripts/notebook_tools/pedagogy_density_baseline.json (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
faible -- feat(notebook,#19494): Percolation-03b critique -- extensions L=128, L=256 (convergence asymptotique) #19548 partage : _quarto.yml
faible -- Fix(lean,#19480): errors=replace sur subprocess utf-8 dans 5 carnets Lean #19564 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-03b-Formalized-Formal-Logic-Lean-Python.ipynb
faible -- rename(#17545): descente KNOTS en dossier — 3 carnets + lake + workflows (4e sous-série) #19572 partage : _quarto.yml, docs/cadrage/grothendieckian-lens.md, docs/curriculum/ia-symbolique.md, docs/notebook-metadata/production-scope.md, docs/reference/rename-ledger.tsv, scripts/notebook_tools/pedagogy_density_baseline.json
faible -- feat(ml,#19547): 4 notebooks prerequis data science (1.1 Python, 1.4 Viz, 1.5 Exploration, 1.6 Stats) -- Palmer Penguins vendored #19579 partage : _quarto.yml
faible -- feat(genai,#19387): 4.6c dazzle garment -- Qwen Image Edit 2509, attribution 4 conditions (C renverse la lecture) #19662 partage : _quarto.yml
faible -- feat(lean,#19644): Lean-17 Conway-Bridge-to-Knots - portail escalier #19669 partage : _quarto.yml
faible -- docs(tweety,#17824): matrice IKVM mesuree -- 3 defauts documentaires corriges (contre-audit F1) #19674 partage : MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md, MyIA.AI.Notebooks/SymbolicAI/Tweety/Tweety-10-MLN-CSharp.ipynb, MyIA.AI.Notebooks/SymbolicAI/Tweety/dotnet-build/README.md
faible -- renum(complexity,#17063): Complexity-06 -> 06b (Aaronson-Gottesman) selon curriculum #19691 partage : _quarto.yml

jsboige · 2026-10-07T00:56:42Z

Réponse point par point à la revue du 06/10 17:38Z — le head a avancé depuis (977eee62af05, une fusion de main), et je replie sur lui.

1. Le rouge « Kernel drift guard (base vs PR) ». Ta lecture était la bonne : les annotations Could not read <sha> étaient un motif d'infra au checkout, pas une mesure. Au head courant, la jambe est verte dans le jeu replié (commits/977eee62af05/check-runs → Kernel drift guard (base vs PR): success). Aucun --ignore-red n'a été utilisé, comme tu le demandais.

Les deux jambes que le PR gate nommait réellement dans son message FAIL — Exec-sequence ratchet (base vs PR) et No cell-ordering regression in changed notebooks — étaient coupées à leur timeout-minutes: 10 (10m09s) ; elles sont désormais vertes elles aussi, sans qu'aucun contenu ait changé.

Reste une seule jambe non verte, et ce n'est pas un finding : Source-output ratchet (advisory) a échoué sur un runner auto-hébergé qui a perdu la communication avec le serveur. C'est l'annotation du check-run lui-même (« The self-hosted runner lost communication with the server »), pas la sortie d'un organe. Rejeu armé ; le PR gate, périmé à 23:43Z (avant que ses causes nommées ne repassent au vert), sera relu ensuite.

2. Gates du body un commit en retard. Reconnu — et c'est le point de discipline exact-head que tu nommes. Le body est rafraîchi à la tête courante 977eee62af05, référence de tête comprise. Merci de l'avoir relevé : un body qui cite une tête antérieure est périmé dès qu'un commit passe, même quand ce qu'il affirme reste vrai.

Sur le fond, rien ne change : ta revue croisée du renommage (10 paires confirmées à l'API, 12 docs, render-list Quarto, READMEs des 5 domaines voisins) reste la référence de cette PR, et je n'ai rien modifié au contenu.

…ixes-b # Conflicts: # docs/reference/rename-ledger.tsv

jsboige · 2026-10-07T03:15:30Z

Conflit rename-ledger.tsv résolu : nouvelle tête e9c21d9a1bf est un merge de résolution, pas de contenu neuf — les dossiers exact-head éventuels sont périmés.

Le conflit (append-contre-append au même point du TSV) opposait les 21 lignes Tweety de cette PR aux 2 lignes Complexity de main (#19360, po-2027, mergée dans la nuit). Résolution en union vérifiée dans les deux sens : vs origin/main le diff du ledger ne montre que les 21 lignes de la PR ; vs l'ancienne tête 977eee62af0 il ne montre que les 2 lignes de main. 0 ligne retirée, marqueurs absents, terminaisons préservées.

Le merge de résolution ré-arme le plancher DWELL (~120 min). Les deux points de la revue Hermes du 06/10 17:38Z restent traités par les réponses écrites du 06/10 21:51Z et 07/10 00:56Z (jambe rejouée puis verte, body rafraîchi) — aucun changement de fond dans ce merge.

myia-ai-01

Levee de la reserve Hermes de clusterManager-Myia (review 5432364799) a la tete e9c21d9a1b.

Les deux points portaient sur l'etat des checks, pas sur le contenu :

Kernel drift guard (base vs PR) rouge (annotations « Could not read », infra) : vert a cette tete (03:25:16Z), et PR gate est vert (06:03:19Z). Sur le fond, la parite des kernelspecs des 21 carnets renommes est verifiee, base -> tete : 0 ecart.
Gates locales annoncees un commit en retard sur la tete : le body a ete rafraichi par la lane, et la tete a depuis avance ; le rollup a la tete courante est vert.

C.2 : les cellules de code changees (Tweety-06, -08, -09) portent toutes un execution_count.

jsboige · 2026-10-07T07:03:53Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19502
head: e9c21d9
complete: true
body: read
comments-reviewed: 19
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 56ff99728cdc37f499f94cab26a966b2966fc36ecea823ea9b890108ba71ab7a
diff-files: 108
diff-additions: 1419
diff-deletions: 2293
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 19502
organ-rc: 0
[/ADJOINT PREFLIGHT]

…ixes-b # Conflicts: # docs/reference/rename-ledger.tsv

jsboige · 2026-10-07T07:19:01Z

[INFO] Conflit docs/reference/rename-ledger.tsv résolu par union — tête cb37dc446a9.

Les deux vagues appendaient en queue : cette branche ajoute 21 lignes (suffixes Tweety), main a ajouté entre-temps les 2 lignes Discrepancy. Résolution mesurée contre origin/main : +21 / −0 — aucune ligne de main perdue.

Au passage, une ligne orpheline origin/main (fragment de marqueur de conflit issu de la vague Discrepancy, présente sur main à la ligne 279) est retirée : ce n'est pas une ligne de données. Le reste du fichier main est préservé byte à byte, fins de ligne CRLF comprises.

Coût assumé : résolution manuelle de conflit → plancher DWELL ré-armé (comme sur #19472/#19495, même pattern).

jsboige · 2026-10-07T14:44:22Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19502
head: cb37dc4
complete: true
body: read
comments-reviewed: 21
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: fadc416f878636ab6ed2269e4915ce5e417f8901094635996286660c7298200d
diff-files: 108
diff-additions: 1419
diff-deletions: 2294
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 19502
organ-rc: 0
[/ADJOINT PREFLIGHT]

Conflits resolus en hybride (renames #19502 cote main + corrections IKVM 8.14.0 cote branche) : - Tweety-10-MLN-CSharp.ipynb : Navigation renommee Tweety-11-Causal- Python (main) + ligne Module IKVM 8.14.0 (coeur de la PR) - Tweety/README.md : 3 blocs -- table stacks (Python row main + C# row enrichi HEAD, noms de notebooks alignes sur les renames), table 02c-02e (02c mesure HEAD + 02d/02e renommes main), matrice IKVM mesuree 2026-10-07 + paragraphe C.1 (HEAD), notebook DRAFT cite sous son nom renomme Tweety-03-Advanced-Logics-CSharp Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…u header Le merge origin/main (e0b9d89) a resolu le conflit d'en-tete du jumeau CSharp en hybride : Navigation renommee (main, #19502) + Module IKVM 8.14.0 (branche). Diff residuel 2 lignes markdown-only, 0 cellule code touchee, Python intact -- la parite de code est inchangee, seul le SHA enregistre devait etre rafraichi. Attestation firsthand post-merge, --update en dernier (cf #8957). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…corriges (contre-audit F1) (#19674) * docs(tweety,#17824): matrice IKVM mesuree -- 3 defauts documentaires corriges Le finding F1 de #17824 (lane myia-po-2024:CoursIA, 2026-10-06) a mesure les pins IKVM duals de la serie (12 en 8.15.0, 6 en 8.14.0) et releve que le README de serie en annonce un seul -- en precisant qu'un bump 8.14 -> 8.15 n'est PAS mecanique (re-execution + re-certification C190 par module requises). Cette PR livre la moitie documentaire de F1 et corrige trois defauts documentaires supplementaires, verifies sur les artefacts : - README de serie : citation d'un workflow inexistant (.github/workflows/tweety-csharp.yml), cible .NET 9.0 -> net8.0, versions IKVM par carnet (8.15.0 pour 2b/2c), stack annonce unique -> recettes 8.14.0 / runtime selon la DLL chargee - dotnet-build/README.md : annoncait 8.15.0 alors que 18 des 19 recettes declarent 8.14.0 et 19/19 ciblent net8.0 - Tweety-10-MLN-CSharp.ipynb : en-tete 8.15.0 contredit par sa propre recette, sa DLL et son pin (cellule markdown seule, execution_count inchange) Ajoute la matrice de versions mesuree et declare le residuel suivi dans #19673 : quatre recettes (build-TweetyShade -> pl, Aspic, BeliefDynamics, Dung) qui declarent 8.14.0 et produisent un binaire referencant 8.15.0, et trois carnets (07a, 08, 11) qui pinnent un runtime plus recent que la DLL chargee. La moitie re-execution de F1 (trancher le pin canonique, re-executer les 6) vit la. Part of #17824. Changement markdown uniquement : aucune re-execution due (C.2), les 9 cellules de code du carnet gardent execution_count et outputs. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674): prose-counts -- le compte de notebooks quitte la ligne ajoutée au profit du catalogue Le garde prose-counts (#17636, bloquant sur lignes ajoutées) attrait '**18 notebooks**' transporte par la cellule de stack reecrite : le compte etait exact (18/18 sur main) mais il derive au premier ajout et releve de la regeneration du catalogue (#9377). Mesure supprimee, predicat garde (bornes + exemples + renvoi au catalogue). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674,twin): rebaseline Tweety-10 MLN -- correction doc IKVM 8.15 -> 8.14.0 Le commit runtime-matrix 3acbeae corrige 2 lignes markdown du jumeau C# (IKVM 8.15 -> 8.14.0, versions mesurees) : edition markdown-only, parite semantique inchangee, mais le blob SHA du cote C# ne matche plus l'attestation -> DRIFT_INTRODUCED au gate #8057. Rebaseline atteste les SHAs courants des deux cotes (python 1cote, csharp 8cote, aucun strip outille ulterieur). La correction aligne le notebook sur le bridge_verdict_reason du registre lui-meme (« branche IKVM 8.14 »). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674,twin): ligne known_differences pour l'edition IKVM 8.14.0 du jumeau C# Reponse a la review NanoClaw (CONCERNS) : la ligne en tete de known_differences explique l'edition markdown-only du 2026-10-07 (prose 8.15 -> 8.14.0 alignee sur la mesure mln.dll), drift de blob sans contenu pedagogique touche, attestation 0015 du meme jour. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674,twin): escape inner double-quotes in known_differences line La ligne ajoutee en 2ba7f33 (PR #19674, edition markdown-only cellule 0 du jumeau C# 8.15 -> 8.14.0) portait des guillemets internes non echappes : "compile via IKVM 8.15" et "8.14.0" cassaient le parser YAML (check #8057 twin parity, run 37608726889). Meme pattern que les autres lignes du registre : " pour echapper les " internes dans une string double-quotee. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * Fix(19674,twin): rebaseline Tweety-10 MLN apres resolution markdown du header Le merge origin/main (e0b9d89) a resolu le conflit d'en-tete du jumeau CSharp en hybride : Navigation renommee (main, #19502) + Module IKVM 8.14.0 (branche). Diff residuel 2 lignes markdown-only, 0 cellule code touchee, Python intact -- la parite de code est inchangee, seul le SHA enregistre devait etre rafraichi. Attestation firsthand post-merge, --update en dernier (cf #8957). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674,twin): renumerote le doublon d'index 0015-2026-10-07 -> 0018 Le rebaseline pre-merge (7309832) avait pris l'index 0015 alors que origin/main portait deja 0015-2026-10-06 d'un livraison parallele du 06/10 -- deux checkouts, meme lane string. L'index est la cle de tri du journal (#14911/#15345) : unicite restauree, contenu du record inchange. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(19674,twin): rebaseline final Tweety-10 MLN -- record 0018 (autre siege) attestait des SHA pre-resolution Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

…lification Tweety-12 (#19879) * Fix(#18064): Tweety README -- 22 liens .html casses -> .ipynb + requalification Tweety-12 Le rename #16231 PR-b (a3c5742, #19502) a introduit des suffixes .html sur les rangees renommees : 22 cibles *.html referencees, aucune n'existe sur disque (0 fichier .html dans le dossier), chacune a un sibling .ipynb existant. Remplacement de suffixe sur les 22 liens. Requalification factuelle de la ligne de statistiques : Tweety-12-Grounded etait qualifie « non tabule » alors que la table racine le tabule en rangee 12. Le changelog v1.2.6 (l.828) n'est pas touche : entree historique datee. Aucun total ni compte regenere a la main (#17029, catalog-pr-hygiene). Post-fix : 65 liens internes, 0 manquant, 0 .html restant. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * Fix(#18064): uniformiser Tweety README sur la convention #13025 (.html rendu) Le commit precedent convertissait 22 liens .html -> .ipynb : sens inverse de la convention. #13025 : un notebook dans la render-list Quarto se lie par son sibling .html (le .ipynb brut 404 sur Pages) ; l'organe readme-ipynb-links-guard classe tout lien .ipynb vers la render-list en STALE_LINK. Les 22 liens sont restaures en .html. Elargissement (E) : les 19 STALE_LINK preexistants du README racine (16 notebooks Tweety + 3 cross-series Probas/IIT lies en .ipynb) sont aussi convertis en .html -- le README racine passe a 0 violation a l'organe (mesure : 19 -> 0). La requalification Tweety-12 « rangee 12 de la table racine » est conservee (finding changelog-vs-table, toujours valide). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

jsboige mentioned this pull request Oct 6, 2026

rename(#16231): Tweety etape 1 -- suffixe de noyau (11 notebooks) + referents (47 fichiers) #19150

Closed

github-actions Bot added paragraph-length Paragraph > 2000 chars (wall-of-text, #15405). Resorb before merge. consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) labels Oct 6, 2026

jsboige mentioned this pull request Oct 6, 2026

Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231

Open

chore(tweety,#19502): rebaseline twin 0015 -- Tweety-10 MLN + Tweety-…

0b998d4

…5 Abstract (drift paraphite: liens nav markdown-only, 0 cellule code) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

clusterManager-Myia reviewed Oct 6, 2026

View reviewed changes

github-actions Bot removed the pr-gate-conflict PR gate absent: PR en conflit avec main, aucun run pull_request tant que le conflit dure (#14477) label Oct 6, 2026

This was referenced Oct 7, 2026

reorg(dsa,#13504): renommage hub DataScienceWithAgents + sous-repertoires — plan en 5 tranches avec gate de sequencement (mandat user 2026-09-22) #17417

Open

[Audit #17073] Série GenAI — partition NanoClaw #19451

Open

github-actions Bot mentioned this pull request Oct 7, 2026

feat(notebook,#19494): Percolation-03b critique -- extensions L=128, L=256 (convergence asymptotique) #19548

Open

10 tasks done

Merge remote-tracking branch 'origin/main' into fix/16231-tweety-suff…

e9c21d9

…ixes-b # Conflicts: # docs/reference/rename-ledger.tsv

myia-ai-01 approved these changes Oct 7, 2026

View reviewed changes

Merge remote-tracking branch 'origin/main' into fix/16231-tweety-suff…

cb37dc4

…ixes-b # Conflicts: # docs/reference/rename-ledger.tsv

myia-ai-01 merged commit a3c5742 into main Oct 7, 2026
121 of 122 checks passed

jsboige mentioned this pull request Oct 7, 2026

docs(lens,#2159): condenser les passages Game of Life de la lentille grothendieckienne, l'enrichir des acquis récents #17466

Open

This was referenced Oct 8, 2026

audit(readme): 55 écarts README / notebooks — Autres séries, 33 README (audit du 27/09) #18064

Open

fix(readme,#18064): Tweety -- 22 liens .html casses -> .ipynb + requalification Tweety-12 #19879

Merged

This was referenced Oct 10, 2026

Fix(notebooks,#18053): ordre de lecture -- 4 derniers constats (Texte, Vibe-Coding, SemanticWeb, Tweety) #20283

Open

audit(notebooks): 46 constats d'ordre code / interprétation confirmés par 3 sceptiques, 17 séries (audit du 27/09) #18053

Open

Conversation

jsboige commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Sujet

Étape 1-b — renommages (10)

Étape 2 — renommages (15, padding + casse + suffixe)

Ce que l'étape 2 emporte (commits 58e0a69, d5dd6ad, f1c6bba, a926b11, 712f766)

C.2 — re-exécutions dues et faites

Lean (règle B)

STALE_LINK readme-links-guard — reproduit puis levé au HEAD 712f766f826

Gates locales (relancées contre HEAD 977eee62af05)

Advisories documentés (non bloquants)

État attendu

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Notebook PR Validation: PASS

Uh oh!

github-actions Bot commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden-Set Execution (H.7 P3)

Uh oh!

jsboige commented Oct 6, 2026

Uh oh!

jsboige commented Oct 6, 2026

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Oct 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Path-collision (organ #13359/#13615)

Uh oh!

jsboige commented Oct 7, 2026

Uh oh!

jsboige commented Oct 7, 2026

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

jsboige commented Oct 7, 2026

Uh oh!

jsboige commented Oct 7, 2026

Uh oh!

jsboige commented Oct 7, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

jsboige commented Oct 6, 2026 •

edited

Loading

Ce que l'étape 2 emporte (commits `58e0a69`, `d5dd6ad`, `f1c6bba`, `a926b11`, `712f766`)

STALE_LINK readme-links-guard — reproduit puis levé au HEAD `712f766f826`

Gates locales (relancées contre HEAD `977eee62af05`)

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions Bot commented Oct 6, 2026 •

edited

Loading

github-actions Bot commented Oct 6, 2026 •

edited

Loading

github-actions Bot commented Oct 6, 2026 •

edited

Loading