Repository navigation
[Probas] Infer-20-Quotients-et-Fibres déménagé sans renommage : le préfixe Infer- ne dit plus rien de vrai #18406
Description
Activity
[CLAIMED] lane myia-po-2023:CoursIA-2 — paths: MyIA.AI.Notebooks/Probas/Applications/Infer-20-Quotients-et-Fibres-Python.ipynb (renamed), MyIA.AI.Notebooks/Probas/README.md, MyIA.AI.Notebooks/_quarto.yml, docs/curriculum/{recherche,trading}.md, scripts/notebook_tools/ (fixtures)
Option choisie : (a) renommage thematique
Applications/Quotients-Fibres/Quotients-Fibres-Recollement-Python.ipynb. Argument : le prefixeInfer-mentait sur la filiation (.NET), le numero 20 n'existe plus dans le socle Infer-19 (c.f. #14873/#17819), et le voisinagePercolation/demontre qu'un sous-dossier thematique tient lieu de numero de serie. Le lien avec l'attestation PFR (operation 3 table ICT #18405) est documente dans une cellule du notebook, pas dans son nom — le nom thematique reste lisible hors-flottement.[CLAIMED] lane myia-po-2024:CoursIA — renommage thematique d'Infer-20 demenage (suite de ma #17819) : option tranchee avec argument pedagogique dans le body PR -- paths: MyIA.AI.Notebooks/Probas/, _quarto.yml, docs/curriculum/recherche.md, docs/curriculum/trading.md, scripts/notebook_tools/
[DELIVERED] lane myia-po-2024:CoursIA — PR #18441 — Infer-20 renomme Quotients-Fibres-Recollement-Python.ipynb (forme plate, precedent single-file d'Applications/ ; lien ICT/ANALYSE-04/#18405 porte par l'en-tete ; mention ex-Infer-20 conservee). Purge des renvois complete (README x6, _quarto.yml, curriculum x2) + bonus : index.qmd portait encore le chemin PRE-demenagement, faux depuis #17819, repare. Catalogue non touche. Markdown seul, validate 8/8, pas de re-exec due. paths: MyIA.AI.Notebooks/Probas/**, _quarto.yml, docs/curriculum/recherche.md, docs/curriculum/trading.md
L'issue reste au coordinateur pour fermeture.
- added a commit that references this issue
on Oct 1, 2026 - added a commit that references this issue
on Oct 1, 2026 Fermeture (coordinateur, consolidation de l'urne
candidate-delivered, lot 10). Le renommage est arrivé par #18426, fusionnée le 01/10, et non par #18441, qui a été fermée sans fusion.Probas/Applications/Quotients-Fibres-Recollement-Python.ipynbest présent surorigin/main. L'ancien nom ne survit que dans un ledger historique (docs/ledgers/12204-…), où il date une mesure passée ; c'est sa place.🤖 Generated with Claude Code
Constat
MyIA.AI.Notebooks/Probas/Applications/Infer-20-Quotients-et-Fibres-Python.ipynba été déménagé deProbas/Infer/versProbas/Applications/par la PR #17819 (G2 de #14873, 2026-09-27), en gardant son préfixeInfer-20.Le préfixe ne dit plus rien de vrai :
python3, zéro référenceMicrosoft.ML.Probabilisticni#r— c'est précisément le motif du déménagement.Probas/README.mdl.18), et le numéro 20 n'y existe plus.Applications/ne portent pas de numéro de série :Percolation/(sous-dossier thématique) etPyro_RSA_Hyperbole.ipynb.Un lecteur qui voit
Infer-20cherche un notebook Infer.NET numéro 20 dans la série Infer, et ne trouve ni l'un ni l'autre. Le déménagement était juste ; le nom aurait dû suivre.À décider (argument pédagogique écrit exigé, cf.
notebook-accretion-numbering)Applications/sous un nom thématique, sur le modèle dePercolation/— par exempleApplications/Quotients-Fibres/Quotients-Fibres-Recollement-Python.ipynb, en corrigeant l'en-tête.H(X) = H(π(X)) + H(X | π(X))), l'opération 3 de la table ICT dont la première attestation estSymbolicAI/Lean/ANALYSE/ANALYSE-04-PFR-Primitives-Python.ipynb. Voir [ICT] Greffer les primitives entropiques de PFR — op 3 de la table #12204, seconde attestation candidate Infer-20 jamais examinée #18405, qui examine si ce notebook est la seconde attestation de cette opération : le nom retenu devrait rendre ce lien lisible.La lane tranche entre (a), (b) ou une autre forme, et écrit l'argument dans le body de la PR.
Ce que la PR doit porter
git mv), l'en-tête corrigé, et la purge des renvois mesurée pargit grep(le README Probas,_quarto.yml,docs/curriculum/{recherche,trading}.md, les fixtures descripts/notebook_tools/— la même liste que refactor(probas,#14873): G2 déménagement Infer-20 vers Applications/ (nom canonique -Python) #17819).COURSE_CATALOG.generated.*: il porte encore l'ancien cheminProbas/Infer/Infer-20-Quotients-et-Fibres.ipynbet appartient à l'automatisation.See #14873 · See #17819 · See #16231 · See #18405