Repository navigation
Fix(Lean,#17545): ANALYSE -- la chaine de navigation n'existe pas, 04 se declare suivi de tout le monde #22671
Description
Part of #17545 (gradation Lean, décision CL1) — constaté en travaillant #22649, sans rapport avec les deux ANALYSE-06.
Constat — la sous-série n'a pas de chaîne, elle a une étoile
Mesures faites sur origin/main du 2026-10-26, dans la cellule 0 (le bloc de navigation) de chaque carnet. Ce qui est déclaré, tel quel :
| Carnet | Précédent déclaré |
Suivant déclaré |
Attendu |
|---|---|---|---|
| 01 | Search-03e (A*) ✓ | 02 ✓ | — |
| 02 | 01 ✓ | 02b ✓ | — |
| 02b | 02 ✓ | 03 ✓ | — |
| 03 | 02 ✓ | 04 ✓ | — |
| 04 | 03 ✓ | 05, 06 natif ET 07 | 05 seul |
| 05 | 04 ✓ | Lean-21 — MIMO-02 | 06 |
06 -Lean-Python |
05 ✓ | 08 (saute 07) | 07 |
06 -Lean |
04 | sa version _en |
05, ou 06 Python |
| 07 | 04 | sa version _en |
06 |
| 08 | 04 | 09 ✓ | 07 |
| 09 | 08 ✓ | 10 ✓ | — |
| 10 | 09 ✓ | 11 ✓ | — |
| 11 | 10 ✓ | 12 ✓ | — |
| 12 | 11 ✓ | — | — |
Deux défauts distincts, et le second est le vrai :
- Le carnet 04 se déclare suivi de trois carnets à la fois (05, 06 natif, 07) : la cellule de navigation d'un carnet n'a pas de place pour trois successeurs, et c'est de ce gabarit que les trois carnets natifs ont été clonés.
- La chaîne 05 → 06 → 07 → 08 → 09 n'a jamais été recâblée. Trois carnets natifs (06
-Lean, 07, 08) déclarent tousANALYSE-04en précédent, alors qu'ils sont dans l'ordre 06, 07, 08 ; le carnet 05 envoie le lecteur hors de la sous-série (Lean-21/MIMO-02) ; et le 06 Python saute le 07.
Ce que le lecteur vit : après 05 il quitte la sous-série, et 06/07/08 ne sont atteignables que depuis 04 — qui les annonce tous les trois comme successeurs immédiats.
Défaut de forme, mesuré au passage
Le lien « suivant » du carnet 05 porte le libellé Lean-21 - MIMO Detection Flips pour une cible MIMO-02-Detection-Flips-Lean-Python.ipynb : ancien identifiant, nouvelle cible — exactement la classe que scripts/notebook_tools/check_link_label_agreement.py existe pour attraper (incident fondateur #13645).
L'organe ne l'attrape pas ici, et il ne peut pas tourner sur cette machine :
OSError: [WinError 1920] Le système ne peut pas accéder au fichier :
D:\Dev\CoursIA\MyIA.AI.Notebooks\SymbolicAI\SmartContracts\erc20_lean\.lake\packages\batteries\docs\README.md
Il s'arrête au premier chemin illisible et abandonne le balayage entier — la ligne 161 appelle p.is_file() avant de tester EXCLUDE_PARTS, si bien que l'exclusion de .lake ne protège pas. Sur Windows, un seul chemin de paquet inaccessible suffit donc à rendre l'organe muet (rc=1, aucune sortie JSON). À traiter à part : c'est le fichier de l'organe, pas la sous-série.
Ce qui est demandé
- Recâbler la chaîne dans les cellules 0 des carnets 05, 06 (deux noyaux), 07, 08 et 04 : 04 → 05 → 06 → 07 → 08 → 09, le 06 natif se lisant comme companion de son jumeau Python, et 04 ne déclarant qu'un successeur. Le libellé de chaque lien nomme sa cible (organe :
check_link_label_agreement.py, quand il voudra bien tourner). - Le geste est markdown seul : aucune cellule de code touchée, donc aucune ré-exécution due (exception C.2). Vérifier au
diffque lessourcede code sont byte-identiques.
Pourquoi cette issue et pas la PR #22670
La PR #22670 (#22649, étape b) écrit la table du README. Le recâblage de navigation touche les carnets et vient après le renommage 06b (étape c, git mv seul) : un renommage ne se relit pas avec une édition de contenu, et une édition de navigation ne se relit pas avec un renommage. Trois gestes, trois PR.
See #22649, #18408 (point 2 de ce carnet-là vise les libellés des carnets 01-04, pas la chaîne 05-09), #17545.
Activity
jsboige commentedon Oct 26, 2026
[INFO] lane myia-po-2024:CoursIA — l'annexe « défaut de l'organe » de ce body est livrée : PR #22672
Le balayage ne mourait pas pour un désaccord : il mourait sur
erc20_lean/.lake/packages/batteries/docs/README.md(OSError: [WinError 1920]), après quoi il rendaitrc=1sans aucun verdict. Re-mesuré sur l'arbre de la branche : 2655 fichiers scannés, 6 désaccords, rc=0, 0 chemin illisible.Précision utile pour ce body : l'organe ne rattrape pas le cas
Lean-21→MIMO-02du carnet 05, même réparé. Son prédicat ne compare que des identifiants de la même famille ;Lean-21nomme une autre famille, donc rien ne se déclenche — par construction, pas par accident. Élargir ce prédicat est un sujet distinct.Conséquence : le recâblage de la chaîne 04 → 05 → 06 → 07 → 08 → 09 reste entièrement dû, et il reste la demande principale de cette issue.
Les 6 désaccords trouvés au passage sont réels et tous dans
docs/curriculum/recherche.md(fichier écrit à la main, aucun générateur ne le produit) : chaque cible y porte dans son propre titre un identifiant différent du libellé — par exemple la ligne 67 présenteGameTheory-06f-Bounded-Agents-Lean.ipynbcomme « GameTheory-06g ». Grain de suite, hors de #22672 (un fichier, un sujet).jsboige commentedon Oct 27, 2026
[CLAIMED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-04-PFR-Primitives-Python.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-05-KLS-Lean-Python.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-06-Sensibilite-2026-Lean-Python.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-06-Sensibilite-2026-Lean-Python_en.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-06b-Sensibilite-2026-Lean.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-06b-Sensibilite-2026-Lean_en.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-07-Percolation-Critique.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-07-Percolation-Critique_en.ipynb, MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-08-Ramsey-VdW.ipynb -- etape d : recablage de la chaine de navigation 04-05-06-07-08-09 dans les cellules 0, markdown seul (code byte-identique au diff), PR empilee sur celle de l etape c qui doit merger d abord
Grain: MED/notebook-lean -- lane myia-po-2024:CoursIA -- prev: LIGHT/refactor etape c
Fix(#22671): table de navigation 06b EN -- le jumeau FR revient en co…
Fix(analyse,#22671): etape d -- recablage de la chaine de navigation …
Fix(#22671): table de navigation 06b EN -- le jumeau FR revient en co…
Fix(tooling,#22671): le balayage libelle/cible ne meurt plus sur un c…
Refactor(analyse,#22649): etape c -- companion natif ANALYSE-06 devie…