docs(readme,#15521): entree Tweety-5e dans le README de la serie + audit fichier-entier

[jsboige]

Grain: MED/readme — lane myia-po-2024:CoursIA — prev: DEEP/notebook-python #15902

Entree README de Tweety-5e-Propositional-Lab-Lean, qui clot le seul residu d'acceptance de #15521.

Le defaut

Tweety-5e-Propositional-Lab-Lean.ipynb est sur main depuis #15692 (MERGED 2026-09-12T11:30:04Z, squash 1c9a4ac8fa), mais invisible depuis le README de sa propre serie : #15692 a change 1 seul fichier (changed_files=1), sans mettre a jour le README. Mesure sur origin/main avant ce travail :

grep -nE "5[bcde]" MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md   ->  5b, 5c, 5d ... jamais 5e

Tweety-5d manquait egalement de la table des concepts, et tous les comptes qui en derivent etaient perimes.

Audit fichier ENTIER (CLAUDE.md section E) — 4 surfaces de compte

Chaque chiffre est re-mesure sur le disque, pas deduit de la prose existante :

#	Surface	Avant	Apres	Mesure
1	Table Structure	32 notebooks	33	38 lignes brutes − 5 en-tetes de section en gras = 33
2	Table « En quoi chaque notebook est unique »	31 lignes	33	5d et 5e manquaient tous deux
3	Table des stacks, colonne Python	14	15	12 = Tw-1..11 (7 a la fois 7a et 7b) + 5b/5d/5e
4	Statistiques par sous-categorie	33 / total 33	34 / total 34	Lean companion 2 → 3 ; 12+3+18+1 = 34 ; PROD 12+12=24, BETA 3+5+1=9, DRAFT=1

Surfaces adjacentes mises a jour dans le meme geste : arbre de structure, prose de la section stats, changelog (Version 1.2.3).

Les 4 surfaces reconcilient : 33 principaux (12 Python + 18 C#/.NET + 3 Lean companion) + 1 probe = 34. Le compte de la colonne Stack de la table Structure confirme 12 + 18 + 3 ligne a ligne.

Verification

Controle	Resultat
python scripts/check_docs_links.py --check --base origin/main	rc=0 — 0 nouveau lien casse / 7039 liens (couvre le nouveau lien Tweety-5e-…ipynb)
Comptes de tables, main vs branche	Structure 37→38, concepts 31→33, toutes les 18 autres tables inchangees
Bloc CATALOG-STATUS	byte-identique a main (catalog-pr-hygiene) — verifie sur le diff
Fichiers changes	1 (le README), 11 insertions / 7 suppressions

Deux points a declarer, pas a masquer

1. Residu declare, non comble ici — Tweety-12-Grounded-Via-TweetyProject. Le disque porte un 13e notebook Python (kernel python3, 19 cellules, 8/8 executees, 0 erreur) absent des tables. Aucune duree n'est declaree nulle part dans ce notebook : inventer une ligne de table serait fabriquer une donnee pedagogique. Il reste donc hors tables, et ce choix est ecrit noir sur blanc dans le changelog de la PR plutot que laisse implicite.

2. Sequencement avec #15942. #15942 (chore(catalog): scheduled auto-regenerate, PR longue duree rafraichie quotidiennement) est OUVERTE sur le meme chemin. Son patch ne touche que le bloc CATALOG-STATUS (3+/3−), disjoint des tables et de la prose ecrites ici : les deux diffs ne se recouvrent pas, mais l'ordre de merge evitera un rebase inutile. Si #15942 merge en premier, cette PR se rebasera sans conflit de contenu.

Le bloc CATALOG-STATUS reste perime (pedagogical_count: 32) et je ne l'aligne pas dessus : conformement a catalog-pr-hygiene, la prose signale le catalogue faux au lieu de s'y conformer.

Perimetre

Ceci solde le seul residu d'acceptance de #15521 (tranche A). Les 5 autres criteres etaient deja verifies sur le contenu reel du notebook, pas sur le body : trois formules-temoins serialisees pour les deux moteurs, ≥1 theoreme + ≥1 contre-modele Lean, module FFL nomme au pin, pin #15520 CONSUMER_PINNE, 3 exercices avec stubs C.1 sans raise NotImplementedError.

See #15521 — la fermeture de #15521 appartient au coordinateur/adjoint ; une lane worker ne ferme pas d'issue.

🤖 Generated with Claude Code

[jsboige]

Path-collision (organ #13359/#13615)

Cette PR #15980 (docs(readme,#15521): entree Tweety-5e dans le README de la serie + audit fichier-entier) 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 -- chore(catalog): scheduled auto-regenerate (long-lived PR) #15942 partage : MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md
• faible -- renum(#11840): Tweety bande 1 — padding zéro + suffixe noyau canonique (15 git mv, sweep atomique) #16002 partage : MyIA.AI.Notebooks/SymbolicAI/Tweety/README.md

[jsboige]

DWELL — plancher mecanique, rien a reparer.

PR gate est rouge sur le verdict : DWELL -- tete du 2026-09-13T12:52:13Z, 8 min -- plancher 120 min, reste 112 min, leve au premier balayage suivant 2026-09-13T14:52:13Z. Le balayage horaire (pr-gate-stale-sweep.yml, cron 7 * * * *) re-agrege cette jambe des que le plancher est ecoule ; aucun geste manuel n'est requis.

Aucune action de lane n'est disponible sur cette PR : ni re-push (il remettrait le plancher a zero depuis la nouvelle tete), ni gh pr update-branch (meme effet), ni correction de substance — le verdict ne nomme aucun defaut a corriger.

Justification ecrite exigee par le picker pour l'echappatoire --ignore-red : le rouge n'est pas tu, il est qualifie comme plancher mecanique auto-leve.

— lane myia-po-2024:CoursIA

[jsboige]

Etat du rouge lu firsthand (annotation du check-run PR gate, job 103726436880) : [pr-gate] DWELL -- tete du 2026-09-13T12:52:13Z, 8 min -- plancher 120 min, reste 112 min, leve au premier balayage suivant 2026-09-13T14:52:13Z (et suivantes, identiques).

Ce rouge est mecanique et auto-leve, aucune action de lane n'est requise ni utile :

• le seul check requis en echec est la jambe DWELL du gate agrege (plancher 120 min) ;
• le balayage horaire pr-gate-stale-sweep.yml (cron 7 * * * *) re-agrege cette PR des que le plancher est ecoule (14:52:13Z passes) -- l'annotation du gate le dit explicitement : « aucun geste manuel n'est requis » ;
• re-pouser ou update-branch RESETTERAIT l'horloge DWELL (committer date du head) : ce serait un mal, pas une reparation ;
• aucune remarque de review en attente : check_unaddressed_nits.py rc=0, reviewDecision none, threads inline ouverts 0 ( mesures du 2026-09-13 ).

Justification ecrite exigee par le picker (--ignore-red) : le rouge est la jambe DWELL du gate, pas un defaut de substance reparable par cette lane.

— lane myia-po-2024:CoursIA