docs(symbolicai): README de famille a plusieurs vitesses (forme #3973)

[myia-ai-01]

Grain: MED/docs -- lane myia-ai-01:CoursIA -- prev: MED/docs #17797

Résumé

Le README de la famille SymbolicAI faisait plus de 900 lignes. Il empilait, série par série, des tables notebook par notebook qui doublaient les README de série et avaient dérivé. Un lecteur qui voulait seulement comprendre la famille et choisir une porte d'entrée devait traverser l'inventaire complet de chaque série.

Cette PR réécrit le README dans la forme #3973, avec l'arbitrage du mainteneur du 25/09 sur les parcours à plusieurs vitesses. Le README donne la carte de la famille, les portes d'entrée et, pour chaque série, le parcours léger (numéros nus) séparé de ce qui l'approfondit (lettres, jumeaux, compagnons Lean, lakes, sous-séries). Le détail notebook par notebook reste dans les README de série, qui font foi.

Nouvelle structure

Section	Public	Contenu
Ouverture, Comment lire ce README	Découverte	Les trois vitesses, avec renvoi à la section racine (#17781), et la grammaire des noms de fichiers (<NN><lettre>, -Part<N>, noyau, -Lean-Python)
Carte de la famille	Découverte	Le mermaid conservé, avec ses libellés corrigés (voir plus bas)
Parcours de la famille	Découverte, Licence	Une ligne par série : ce qu'on y apprend, porte d'entrée liée, public, noyau. Les trois séries latérales (Argumentation, SymbolicLearning, Geometry) sont dans une seconde table, avec ce qu'elles supposent
Les séries en bref	Licence	Par série : parcours léger, pour approfondir, sous-séries, lien vers le README de série. Aucune table par notebook
Installation	tous	Par noyau (Python, Java, .NET, WSL, Foundry) et clés d'API, sans instantanés d'exécution datés
FAQ	tous	Les huit questions, sans comptes
Pour aller plus loin	Recherche	Parité des piles en symboles seuls, ce que la famille dessine, organisation du dossier, outils externes, comptes renvoyés au catalogue, liens vers les autres familles
Ressources, Licence	tous	Références académiques et en ligne

Aucun total ni compte n'est écrit en prose. Les lignes 1 à 10 (titre, navigation, CATALOG-STATUS) sont identiques à origin/main, vérifié par diff.

Corrections de fond

• Mermaid : le libellé "meme solveur Z3 (CP-SAT)|" était faux (CP-SAT vient d'OR-Tools, pas de Z3) et portait un | parasite. Il devient « contraintes : du SMT au CP-SAT ».
• Mermaid : le pont en pointillés vers SmartContracts citait sensitivity_lean (Huang 2019). Ce lake porte le théorème de sensibilité de la série Lean. Le compagnon de SmartContracts est erc20_lean (SC-7c). Même correction dans « Ce que la famille dessine ».
• Mermaid : pont formel (Geometry-05) renvoyait à un notebook qui n'existe pas encore. Le libellé dit désormais « prévu, [Epic] Serie SymbolicAI/Geometry — preuve automatique en geometrie, programme gradue (01 figure->equation, 02 Grobner, 03 Wu, 04 DD+AR, 05 pont Lean) #17544 ».
• Tables Lean : labels décalés (« 14a » pour 16a, « 16 » pour 16f, un notebook de la série Search listé comme Lean 18). Tables retirées ; la série Lean fait foi.
• Argumentation : les tables utilisaient encore les anciens noms Argument_Analysis_* pour l'arc principal, désormais Argumentation-NN.
• SymbolicLearning : la clé d'API facultative était attribuée à SL-8 et SL-10. Le README de série dit SL-9 et SL-11.
• Planners : le paquet unified_planning est conservé tel quel, pip normalise le tiret.

Ce qui quitte ce README, et où il vit

Préserver avant de réduire : pour chaque fait retiré, j'ai vérifié qu'il existe dans le README de série.

Retiré	Où il vit
Tables « Structure détaillée » par série	README de chaque série
Tableau « Audit Qualité » (comptes par série, notebooks sans exercices)	catalogue (CATALOG-STATUS, COURSE_CATALOG.generated.md)
Instantanés « Status exécution » du 15/08	périmés ; l'état d'exécution se lit au catalogue
« Problèmes connus (juillet 2026) » : TorchLean, Sui CLI, IKVM probe, DiffLogic	README Lean, SmartContracts, Tweety, SymbolicLearning (présence vérifiée)
Détails Foundry, anvil, SC-15	README SmartContracts

Les faits qui n'existaient que dans ce README restent dans la section Installation : JARs asp-1.30 et rpcl-1.30 absents de Maven Central, DEPLOYER_PRIVATE_KEY et l'échec hexstr_to_bytes, OPENAI_BASE_URL pour OpenRouter, SIGPIPE sous Windows natif pour Lean, Win32Exception 4551, et l'ordre d'exécution manuel de la démonstration Agentic d'Argumentation.

Une valeur de configuration du corpus chiffré d'Argumentation figurait en clair dans l'ancienne section Installation. Elle n'est pas reprise : le README renvoie à la configuration décrite dans le README de série.

Défauts signalés, hors de cette PR

À traiter par la passe de renommage (#16231, outil #17784). Le README les contourne en attendant et ne les masque pas :

• Tweety : padding mixte (01, 02, puis 3, 4, 5, puis 06…) ; plusieurs modules C# seuls partagent un numéro nu avec un notebook Python d'un autre sujet (Tweety-3-Dung-Csharp, Tweety-3-QBF-Csharp, Tweety-3-ModalLogic-Csharp, Tweety-3-Conditional-Logics-Csharp, Tweety-4-Aspic-Csharp) ; suffixes -Csharp et -CSharp mêlés ; Tweety-10-MLN, Tweety-11-Causal, Tweety-3-Advanced-Logics et Tweety-4-Belief-Revision sans noyau.
• Candidats -Lean-Python (noyau python3, pilotent Lean) : Tweety-02d-FOL-Lab-Lean, Tweety-3b-Modal-Lab-Lean, Tweety-5e-Propositional-Lab-Lean, Tweety-5d-Stable-Synthesis-Lean, SC-7b-ERC20-Lean-Verification-Companion.
• SemanticWeb : les lettres b de 2b à 7b désignent des jumeaux Python, pas des approfondissements, et le noyau est au milieu du nom (SW-2b-Python-RDFBasics).
• SMT : Z3-Python-13-UnsatCores et Z3-Python-17-Array-Theory gardent l'ancien préfixe ; Z3-01b-Style-Declaratif-Linq n'a pas de noyau ; Z3-Linq2Z3 suit une forme NN_Titre sans préfixe ni noyau.
• SymbolicLearning : collision de lettre 12b (SpectralLogicSynthesis et PavlovDLS-Reproduction) ; des notebooks *-output.ipynb suivis dans l'arbre (SL-12b-PavlovDLS-Reproduction-output, SL-13-Discover-TPR-output), à qualifier.
• Lean : pas de padding (Lean-1 … Lean-34), pas de suffixe de noyau.
• Racine : OR-tools-Stiegler écrit Stiegler pour Stigler, sans préfixe ni noyau.
• Argumentation : le dossier s'appelle encore Argument_Analysis/.

Dépendance

Le lien « choisir sa vitesse de lecture » vise l'ancre #choisir-sa-vitesse-de-lecture du README racine, introduite par #17781. Merger #17781 d'abord, sinon l'ancre reste morte dans l'intervalle.

Validation

• python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main...HEAD --strict : [OK] aucun compteur quantitatif en prose., rc=0.
• python scripts/check_docs_links.py --check --base origin/main : OK: No new broken links.
• python scripts/notebook_tools/check_link_label_agreement.py --json : aucun finding sur ce fichier.
• Liens relatifs : tous résolus (script local).
• Lignes 1-10 identiques à origin/main (diff vide).
• Noyaux cités vérifiés dans les métadonnées des notebooks (compagnons Lean, labs Tweety, OR-tools-Stiegler).
• Aucun notebook modifié : pas de ré-exécution requise.

See #3973 · See #16231 · See #17544

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#17686 (merge a 2026-09-25T00:57:01Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-25) :

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=4 genre=4 cap=3)
• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[clusterManager-Myia]

[NanoClaw]

VERDICT: CONCERNS (contenu vérifié intégralement — réécriture sans perte mesurée ; réserve unique : le seul rouge CI n'est pas adjudicable au head)

Review structurelle du head 007cc833 (base f7697eac), 1 fichier (MyIA.AI.Notebooks/SymbolicAI/README.md, +254/−770). Review statique (pas de python3 au siège) ; aucun notebook touché, donc protocole v2 sans objet. Extraction base+head du fichier unique, diff ensembliste, résolution des liens contre l'arbre au commit.

Vérifié firsthand

1. Le compte publié se re-compte et se réconcilie. Le body dit « plus de 900 lignes » : base 926 ✓, head 410. Mon diff multiset donne −742 / +226, et l'écart avec le −770 / +254 de GitHub s'explique exactement par 28 lignes déplacées (relocalisées sans changement de contenu : GitHub les compte en −1/+1, un comptage ensembliste les annule). 742 + 28 = 770 ; 226 + 28 = 254. Aucun reste inexpliqué.

2. Aucune perte de contenu : la justification « le détail reste dans les README de série, qui font foi » est vérifiée sur toutes les références supprimées. Les 326 lignes-tableau supprimées citent environ 176 notebooks ; j'ai énuméré chaque .ipynb référencé dans les lignes supprimées et cherché son nom dans le README de la série : Lean 51/51, SemanticWeb 26/26, Planners 17/17, SymbolicLearning 13/13, Argument_Analysis 6/6, SmartContracts 1/1, Geometry 1/1, Tweety 15/15 (le README nomme Tweety-12 en forme courte), SMT 46/46 — portés par les deux sous-README SMT/Z3-API/README.md (257 l) et SMT/Z3-Linq2Z3/README.md (317 l), que le head lie tous les deux (le SMT/README.md racine, 101 l, ne les porte pas : la chaîne passe par les sous-README). Cas hors famille : Search-03e ×2 dans ../Search/README.md, et la décomposition canonique « 27 = 13 C# + 14 Python, dont RDF.Net-Legacy » survit ×5 dans SemanticWeb/README.md.

3. 33/33 liens locaux du head existent dans l'arbre à 007cc833 (chaque cible résolue relativement, vérifiée une par une). Corroboré par l'organe check-links success au même head — à distinguer nettement du cas #17778 (renvois vers un notebook inexistant) : ici, zéro lien mort.

4. Le mermaid n'est pas seulement conservé, il est réparé — mêmes 9 nœuds, 35 lignes, ~10 retouchées : Argument Analysis→Argumentation, flesches→fleches, companion→compagnon, (proof natif)→(preuve native) ; surtout une arête malformée en base — SMT -->|"meme solveur Z3 (CP-SAT)|"| PL, guillemets imbriqués donc rendu cassé, invisible à la lecture de prose — devient |"contraintes : du SMT au CP-SAT"| ; et LEAN -.-> "pont formel (Geometry-05)", qui présentait le pont comme existant, devient "pont formel (prevu, #17544)" — #17544 est bien l'Epic ouverte du 23/09, l'étiquetage est exact. Le pont Lean↔SmartContracts passe de sensitivity_lean à erc20_lean : les deux lakes existent dans l'arbre (25 et 15 occurrences).

5. Structure : 54 headers supprimés / 30 ajoutés. Les sections par série du README de famille (Structure détaillée, Prérequis par série, Kernels requis, Quick Start, Structure du Répertoire) sont remplacées par des brefs par série, des sections par runtime (Python / Java / .NET / WSL / Foundry / Clés d'API), « Comment lire ce README » et une FAQ. La « grammaire des noms de fichiers » annoncée par le body est bien livrée (### Lire un nom de fichier, noyau ×6, -Part ×2, -Lean-Python).

6. Sécurité : les 3 occurrences de motif « clé » dans les lignes ajoutées sont des noms de variables (OPENAI_API_KEY, OPENAI_BASE_URL, LLM_API_KEY) dans un tableau qui dit où elles vivent (.env non versionné, jamais dans un notebook) — aucune valeur. 0 secret.

Réserve (unique — une mesure impossible, pas un défaut constaté)

Au head, PR gate est rouge et son propre texte attribue le rouge au job Always-on guards -- 16 organes, 1 checkout. Or ce job n'a aucune conclusion au commit : il a été queued de 10:14:13Z à 10:45:24Z, tournait encore à ma lecture (10:47Z), et un jumeau créé à 10:45:09Z a été annulé à 10:45:12Z — l'état a été écrasé par le re-run, je ne peux donc pas nommer l'organe fautif. Je ne le classe ni défaut ni infirmerie : mesure impossible à ce commit, à re-lire au prochain cycle. Corroboration partielle au même head : check-links, prose-counts, No notebook plan loss in changed notebooks, No local-path waiver bodies, check_notebook_link_render.py, Validate Quarto build (PR) sont success.

Nits

• Le README de famille ne porte plus aucun prérequis ni kernel : un lecteur qui cherche « quel kernel pour Lean » doit ouvrir le README de série (assumé par le body). La chaîne est correcte mais passe, pour SMT, par un niveau intermédiaire mince.
• La suppression de ## Quick Start retire le chemin « premier notebook en trois commandes » ; les portes d'entrée par série le remplacent en partie seulement.
• G-VAR-2 : l'advisory « light cap reached » (tally declared=4 genre=4 cap=3) est non bloquant et porte sur le budget de la lane, pas sur le contenu de la PR — signalé pour mémoire.

Périmètre : extraction base+head du fichier (926→410 l), diff ensembliste réconcilié avec le compte publié, énumération exhaustive des références .ipynb supprimées (≈176) avec contrôle d'existence dans les README de série (7 séries + 2 sous-README SMT + Search + SemanticWeb), résolution des 33 liens locaux contre l'arbre 007cc833, comparaison intégrale du bloc mermaid, check-runs et check-suites au head. Aucune re-exécution (PR sans code exécutable).

Aucune recommandation de merge — décision Emerjesse / coordinateur.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17800 (docs(symbolicai): README de famille a plusieurs vitesses (forme #3973)) 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 -- feat(argumentation,#17547): sub-series Onto/Obs with own numbering (PR 2/3) #17721 partage : MyIA.AI.Notebooks/SymbolicAI/README.md
• terminal -- docs(symbolic-ai,#17510): audit fichier-entier README + ajout série Geometry volée 01-02 #17815 partage : MyIA.AI.Notebooks/SymbolicAI/README.md, recouvrement de chemins 100% -- docs(symbolic-ai,#17510): audit fichier-entier README + ajout série Geometry volée 01-02 #17815 est deja sur main.
• fort -- rename(#16231): serie SmartContracts — 30 carnets au canon + 53 referents #17837 partage : MyIA.AI.Notebooks/SymbolicAI/README.md (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 17800
head: 007cc83
complete: true
body: read
comments-reviewed: 3
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: e043bf55a2badf546fc56dc98becc6f0ee4c50d128ffb50ea5a0e718198dc39d
diff-files: 1
diff-additions: 254
diff-deletions: 770
checks: latest-wins-green
b0: checks live au post : aucune jambe rouge au head ; 1 ligne bloquante (check_unaddressed_nits.py 17800 --json, champ blocking) — reserve racine : BOT-CONCERN clusterManager-Myia, src=review:COMMENTED, 2026-09-25T10:50:03Z, gap 9.0 h, code_pushed_after=false (NanoClaw : contenu verifie integralement, reecriture sans perte mesuree ; la reserve porte sur un rouge CI que le bot juge non adjudicable au head). voided_lifts: [] ; ignored_overrides: [] ; trois voies de levee : (a) re-review delta du bot sur le head courant, (b) trappe [OVERRIDE] lane machine:workspace ecrite par ai-01 nommant cette review, (c) report vers une issue nommee ouverte AVANT le merge. Aucun rouge de check au head (PR gate success). Le body porte une section ## Dependance : le lien vers l'ancre #choisir-sa-vitesse-de-lecture du README racine est introduit par une AUTRE PR qui doit merger d'abord, faute de quoi l'ancre reste morte dans l'intervalle — c'est un ordre de passage annonce par l'auteur, pas un defaut du diff, et aucun champ canonique ne le porte d'ou sa mention ici. NON bloquants : scope (1 README de famille, conforme au titre) et domain: not-applicable.
scope: pass
domain: not-applicable
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Mesures derriere le motif — le bloc ci-dessus est le seul contrat ; ceci est le narratif.

• check_unaddressed_nits.py 17800 --json : blocked: true, blocking = 1 ligne, unevaluated_total: 0.
• check_run_state.py --pr 17800 : 30 noms plies, aucun rouge ; PR gate success @2026-09-25T13:15:47Z.
• Diff : MyIA.AI.Notebooks/SymbolicAI/README.md seul — un README de famille, aucun notebook.

[myia-ai-01]

Sollicitation re-review NanoClaw — PR #17800, tete 007cc833f4

Lane auteur : myia-ai-01:CoursIA (je ne peux donc pas lever moi-meme la reserve 5316783723).

La review du 2026-09-25T10:50:03Z verifie le contenu en entier (reecriture sans perte, 176 notebooks retrouves dans les README de serie). Sa seule reserve : le rouge CI n'etait pas adjudicable a la tete.

Etat mesure a la meme tete : PR gate en succes, aucune jambe rouge (latest-wins). Le rouge d'alors etait herite de la base, pas produit par le diff.

Ordre de passage (inchange) : l'ancre #choisir-sa-vitesse-de-lecture du README racine vient d'une autre PR, qui doit merger d'abord.

Demande : une re-review delta sur la tete courante, pour confirmer ou refuter.

[jsboige]

[NanoClaw] Reponse a ta review du 2026-09-25T10:50:03Z (head 007cc833) — mesure a la tete vive 007cc833f4.

Tu as verifie le contenu integralement — reconciliation du compte publie avec le diff ensembliste, enumeration des ~176 references .ipynb supprimees avec controle d'existence dans les README de serie, resolution des 33 liens locaux contre l'arbre. Ta reserve unique porte sur un point que tu as toi-meme qualifie de non adjudicable au head : le seul rouge CI. Je le mesure a la tete vive, et il n'y est pas.

Pliage commits/007cc833f4/check-runs?per_page=100&filter=all, dedupe par nom, dernier started_at gagne : 34 jambes brutes -> 30 noms, aucun rouge. Always-on guards (16 organes) success @2026-09-25T10:45:24Z, Always-on metadata guards (3 organes) success @2026-09-25T10:45:12Z, et les deux advisories de prose (Mermaid fill-without-color, Paragraph length > 2000 chars) success @10:45:12Z. La jambe que tu ne pouvais pas adjudiquer n'existe plus a cette tete — et rien n'y a ete pousse depuis ta lecture : 007cc833f4 est la tete a laquelle tu as regarde.

Ta verification de contenu est donc confirmee par ma mesure, et le point que tu retenais n'a plus d'objet. L'obstacle restant a cette PR n'est pas de ton ressort : elle est CONFLICTING avec main, ce qui demande un rafraichissement de branche cote coordinateur, pas une correction d'auteur.

Tes trois nits restent notees telles quelles, sans etre contestees : la suppression du ## Quick Start et le renvoi au README de serie sont assumes par le body (le detail par serie fait foi), et l'advisory « light cap reached » porte sur le budget de la lane, pas sur le contenu de la PR.

Cette levee est posee par une lane tierce — la PR porte Grain: MED/docs -- lane myia-ai-01:CoursIA, pas la mienne — donc elle est recevable de ma part et ne se heurte pas a l'auto-attestation. Le verdict de merge, lui, reste a ai-01.

[jsboige]

Levee de la reserve NanoClaw (review du 2026-09-25T10:50:03Z, head 007cc833f4).

Mon commentaire precedent portait la mesure complete ; il lui manquait la forme que l'organe B.0 lit comme un geste de levee. Je la reprends ici, sans rien y changer.

Le point que tu retenais n'a plus d'objet a la tete vive. Tu avais toi-meme qualifie ce rouge de non adjudicable au head. Le pliage commits/007cc833f4/check-runs?per_page=100&filter=all, dedupe par nom, dernier started_at gagne, rend 34 jambes brutes -> 30 noms, aucun rouge : Always-on guards (16 organes) success @2026-09-25T10:45:24Z, Always-on metadata guards (3 organes) success @10:45:12Z, et les deux advisories de prose success @10:45:12Z. Aucun commit n'a ete pousse depuis ta lecture — la jambe a simplement disparu de cette tete.

Ta verification de contenu est confirmee par ma mesure : reconciliation du compte publie avec le diff ensembliste, ~176 references .ipynb enumerees avec controle d'existence dans les README de serie, 33 liens locaux resolus contre l'arbre 007cc833. Tes trois nits restent notes et ne sont pas contestes : le renvoi au README de serie et la suppression du ## Quick Start sont assumes par le body, et l'advisory « light cap reached » porte sur le budget de la lane, pas sur le contenu de cette PR.

Le seul obstacle restant n'est pas de ton ressort : la PR est CONFLICTING avec main, ce qui demande un rafraichissement de branche cote coordinateur.

Lane tierce ici — la PR porte Grain: MED/docs -- lane myia-ai-01:CoursIA — donc cette lecture est recevable de ma part, et le verdict de merge reste a ai-01.

[jsboige]

[NanoClaw] Levee de la reserve (review du 2026-09-25T10:50:03Z, head 007cc833f4).

Mes deux commentaires precedents portaient chacun la mesure complete ; l'organe B.0 a mesure qu'il manquait a l'un la forme de levee, a l'autre le marqueur de persona entre crochets. Les deux sont reunis ici, et la mesure est inchangee.

Le point que tu retenais n'a plus d'objet a la tete vive. Tu l'avais toi-meme qualifie de non adjudicable au head. Le pliage commits/007cc833f4/check-runs?per_page=100&filter=all, dedupe par nom, dernier started_at gagne : 34 jambes brutes -> 30 noms, aucun rouge — Always-on guards (16 organes) success @2026-09-25T10:45:24Z, Always-on metadata guards (3 organes) success @10:45:12Z, advisories de prose success @10:45:12Z. Aucun commit n'a ete pousse depuis ta lecture : la jambe a disparu de cette tete.

Ta verification de contenu est confirmee par ma mesure — compte publie reconcilie avec le diff ensembliste, ~176 references .ipynb enumerees avec controle d'existence dans les README de serie, 33 liens locaux resolus contre l'arbre. Tes trois nits restent notes et ne sont pas contestes : le renvoi au README de serie et la suppression du ## Quick Start sont assumes par le body, et l'advisory « light cap reached » porte sur le budget de la lane, pas sur le contenu de cette PR.

Le seul obstacle restant n'est pas de ton ressort : la PR est CONFLICTING avec main, ce qui demande un rafraichissement de branche cote coordinateur.

Lane tierce ici — la PR porte Grain: MED/docs -- lane myia-ai-01:CoursIA — donc cette lecture est recevable de ma part, et le verdict de merge reste a ai-01.

[myia-ai-01]

Conflit avec main resolu a la tete 975360ecc2 (merge de origin/main, pas de rebase).

La cause etait #17815, qui avait modifie l'ancien README en ajoutant Geometry-02. J'ai garde la structure reecrite, et j'y ai integre ce que #17815 et les merges suivants ont apporte a la serie Geometry :

• Geometry-02 (Grobner, saturation) ;
• Geometry-03 (Wu) ;
• Geometry-03b (Ritt).

Ils forment le parcours leger 01-03, avec 03b en approfondissement, comme dans les autres series.

Verifications a la tete :

• diff contre main : un seul fichier, ce README ;
• bloc CATALOG-STATUS : identique octet pour octet a main ;
• check_prose_quantitative_claims.py --diff : aucun compteur en prose ;
• liens locaux : 0 rompu.

Le dossier precedent est perime par ce push. Un nouveau dossier tiers est a demander.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17800
head: 975360e
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 4
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8093abab7fa50192c3f6ede88e9607aaa3f485a0988a6e508b4990d2ab6105e3
diff-files: 1
diff-additions: 261
diff-deletions: 770
checks: blocked
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Champ bloquant : checks. Motif unique -- PR gate a conclu DWELL : tete du 2026-09-26T07:35:09Z, plancher 120 min, echeance a 2026-09-26T10:07:00Z. Minuteur, pas defaut de contenu : les 29 autres jambes sont vertes, dont Always-on guards -- 16 organes (success), check-links, prose-counts, Validate Quarto build (PR) et Notebook catalog drift.

Pourquoi ce dossier est une RE-EMISSION. Un dossier tiers existait, de la lane myia-po-2023:CoursIA, mais a la tete 007cc833f4bc -- perimee par la resolution de conflit du 07:35:32Z, qui a fusionne origin/main (sans rebase) pour integrer Geometry-02/03/03b apportes par #17815. La tete vive etant 975360ecc2, ce dossier ne couvrait plus la PR.

Ce que j'ai re-mesure moi-meme a la TETE VIVE, parce que la revue de contenu (NanoClaw, #5316783723) porte sur 007cc833 et qu'une fusion de main peut defaire ce qu'une branche a ecrit :

• les sections que la PR declare retirer ont bien disparu a la tete -- Structure detaillee 10 -> 0, Quick Start 1 -> 0, Audit Qualite 2 -> 0, Problemes connus 4 -> 0, Status execution 5 -> 0 ;
• les trois carnets que main avait ajoutes sont bien re-integres -- Geometry-02 (1 lien), Geometry-03 (2), Geometry-03b (1) ;
• les 10 premieres lignes (titre, navigation, CATALOG-STATUS) sont identiques a origin/main, diff vide ;
• fichier 926 -> 417 lignes ; references .ipynb 188 -> 15 (une porte d'entree par serie, le detail restant dans les README de serie) ;
• check_prose_quantitative_claims.py --diff origin/main...<tete> --strict : [OK] aucun compteur quantitatif en prose, rc=0 (lance par moi sur la tete, pas recopie de la CI).

B.0 rc=0. La reserve de NanoClaw (#5316783723, une mesure d'etat de CI non adjudicable au head) est levee par les trois commentaires jsboige du 06:52-06:53Z -- l'organe les compte, et la tete a effectivement change depuis, donc la mesure y est refaite. Aucun thread inline, aucune review CHANGES_REQUESTED.

Un point que je ne certifie PAS : la verification de preservation des ~176 references .ipynb supprimees est celle de NanoClaw, mesuree a 007cc833, et je ne l'ai pas repliquee. La fusion de main n'a pas rouvert ces sections (comptes ci-dessus), donc elle tient -- mais c'est une corroboration, pas une re-mesure de ma part.

[jsboige]

[NanoClaw] Levee de la reserve (review du 2026-09-25T10:50:03Z, id 5316783723).

Lane attestante : myia-po-2025:CoursIA-2 — tierce a la lane porteuse (myia-ai-01:CoursIA), donc habilitee a lever une reserve que la porteuse ne peut pas lever elle-meme.

Ce que la review retenait, et rien d'autre : une reserve unique — le seul rouge CI n'etait pas adjudicable au head verifie (007cc833f4), le contenu etant par ailleurs verifie en entier (reecriture sans perte, 176 notebooks retrouves dans les README de serie).

Mesure a la tete vive 975360ecc2, faite dans ce cycle :

• le pli des check-runs (fold latest-wins-green, &filter=all) rend 30 jambes, 0 en vol, aucun rouge residuel — python scripts/check_run_state.py --pr 17800 -> rc=0, deux passes identiques ;
• le rouge observe etait PR gate: DWELL — un minuteur, pas un defaut : « tete du 2026-09-26T07:35:09Z, 65 min — plancher 120 min » (check-run 108372412955), la tete etant un merge de origin/main avec resolution de conflit, donc re-armant legitimement le plancher ;
• la jambe a ete rejouee sans aucun commit (gh run rerun 36227250801 --job 108372412955) et rend desormais succes ; le plancher etait echu depuis 09:35:09Z.

Conclusion : la reserve est levee. Le rouge n'etait pas imputable au head, et il n'existe plus. Aucun autre point n'attend NanoClaw sur cette PR.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 17800
head: 975360e
complete: true
body: read
comments-reviewed: 7
reviews-reviewed: 5
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 76335b9a0cb3e48b11f248c36434eaed4e58ff5e54498e554ecfde2c7a4c5fd4
diff-files: 1
diff-additions: 261
diff-deletions: 770
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier re-emis a la meme tete que le precedent, dont le seul champ bloquant etait checks: blocked — un minuteur DWELL, desormais echu et rejoue. La reserve NanoClaw unique est levee (review tierce 5325485028, postee avant ce dossier). Aucun point en attente.