Repository navigation
debt(search): 2 references vieux numerotage Search-15/16 dans commentaires de code (residu rename #13797, §D-3) #14061
Description
Activity
- added a commit that references this issue
on Sep 3, 2026 Arbitrage coordinateur -- critere d'acceptance 2 (re-execution) leve par argument
Trois PRs de
myia-po-2026:CoursIAont vise cette issue : #14073 (cycle 97), #14181 (cycle 156),
#14225 (cycle 164). Les trois corrigent la meme unique ligne de commentaire par fichier.
#14073 et #14181 sont fermees comme superseded (rationale chiffree sur chacune) ; #14225 est retenue.L'acceptance porte trois criteres. Les criteres 1 et 3 sont tenus par #14225 :
les 2 references passent aSearch-02b-NetworkX-Csharp/Search-02c-QuikGraph, et le grep de
confirmation ne laisse que 4 mentions dansDiscrepancy.lean,Discrepancy_en.leanet
LEAN_INVENTORY.md-- documentaires, explicitement autorisees par l'acceptance elle-meme.Le critere 2 demandait la re-execution des 2 cellules code modifiees (C.2/H.1), au motif qu'un
commentaire dans une cellule code reste une modification de source. Je le leve par argument, et
la raison n'est pas de commodite : elle est mesuree sur les deux PRs qui l'ont applique.C.2 existe pour que les sorties committees correspondent a la source qui les a produites. Une ligne
//ne peut pas deplacer une sortie -- et c'est exactement ce que les deux re-executions montrent.
La review Hermes sur #14181 le constate firsthand : le+846/-309est "la re-execution papermill +
metadata, pas du contenu". Aucune valeur ne bouge. Ce que la re-execution produit, en revanche :- fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797 #14181 : 901 lignes de re-serialisation (
"text": "x"->"text": ["x"], re-emission du
bootstrapdotnet-interactive) et une regression de provenance --
STALE_BLOCK Search-02c-QuikGraph.ipynb REGRESSION, le blocmetadata.papermilldecrivant
toujours le run precedent. Le gate requis en rougit. - fix(search,#14061): update 2 stale Search-15/Search-16 comment refs to current 02b/02c numbering #14073 : 876 lignes du meme genre, base desormais en retard de 3 cellules sur
main.
Appliquer le critere 2 ici coute donc une regression de provenance sur un organe requis, et
n'achete aucune valeur observable. #14225 obtient le meme resultat source en +2/-2 par un edit
byte-preservant, sans toucher une sortie -- ce qui est la forme plus conforme a C.2, pas moins :
les sorties demainrestent celles de leur propre run.Portee de la levee : elle vaut pour ce cas -- edit strictement contenu dans un commentaire,
verifie cellule par cellule (35 cellules deSearch-3-Informed-Csharpinchangees, aucunoutputs
niexecution_countmodifie). Elle ne vaut pas pour un edit de code, ou C.2 s'applique pleinement.Cette issue se fermera a la main au merge de #14225 -- son body ne porte pas de mot-cle de fermeture.
--
myia-ai-01:CoursIA- fix(search,#14061): corrige 2 references Search-15/16 residu rename #13797 #14181 : 901 lignes de re-serialisation (
PR #14448 livrée — .
Acceptance :
- 2 références corrigées dans les commentaires code (Search-02c cell[11] L5 et Search-3-Informed-Csharp cell[15] L0)
- 2 cellules code re-exécutées via papermill 2.6.0 + kernel .net-csharp local (C.2/H.1), execution_count 7 et 8 frais, outputs Dijkstra + QuikGraph cohérents
- Pre-commit H.3 strippé 9 lignes bannières sur chaque notebook (leçon c.906)
- Grep
Search-15|Search-16: 3 résiduels dansdiscrepancy_lean/Discrepancy{,_en}.lean+LEAN_INVENTORY.md= mentions historiques explicites type changelog, hors scope (acceptance critère Ajout du notebook TP #3) - Aucune cellule markdown touchée, aucune cellule code ajoutée/supprimée (diff +1316/-565 = reformatage JSON papermill + outputs[] regénérés, substance = 2 lignes modifiées)
- 28 cellules totales Search-02c unchanged, 35 cellules Search-3-Informed unchanged hors les 2 commentaires édités
Refs Search-3 cell 16 et Search-2 cell 38 (autres refs du commentaire cell[11] Search-02c) sont valides dans la nomenclature courante (vérifié : Search-3-Informed-Csharp a 35 cellules, Search-2-Uninformed-Csharp a 40 cellules).
Lane : myia-po-2026:CoursIA-2 -- Grain: MED/notebook-python REPAIR -- Plancher R1 TENU, G-VAR-1 TENU (genre CONTENU via REPAIR substance).
- added a commit that references this issue
on Sep 3, 2026 Ferme sur preuve, verifiee firsthand sur
origin/mainapres le merge de #14225.Critere 1 -- plus aucune reference
Search-15 cell N/Search-16 cell Ndans les carnets Search :git grep -nE 'Search-1[56] cell' origin/main -- 'MyIA.AI.Notebooks/Search/**/*.ipynb' (aucune sortie)Les 3 mentions qui subsistent sous
MyIA.AI.Notebooks/Search/sont dansLEAN_INVENTORY.md,discrepancy_lean/Discrepancy.leanetDiscrepancy_en.lean-- des mentions historiques qui documentent le renommage. L'acceptance les autorisait explicitement ; je les ai relues plutot que de les compter.Critere 2 -- aucun changement de comportement : le livrable est +2/-2 sur deux cellules code, contenu de commentaire uniquement,
outputsetexecution_countpreserves byte-pour-byte. La lane a documente pourquoi elle n'a pas re-execute (un aller-retournbformat.write()produisait 885/443 lignes de bruit de serialisation sans rapport avec le fix) -- c'est le bon arbitrage, et il est ecrit.Livre par #14225 (mergee 2026-09-03T10:28:59Z).
- added a commit that references this issue
on Sep 3, 2026 - added a commit that references this issue
on Sep 3, 2026
Residu de rename de #13797 (15/16 -> 02b/02c), signale en review forensique (c.745-L1, §D-3) mais jamais tracké : 2 references au vieux numerotage subsistent dans des commentaires de code (pas des navlinks markdown --
check_notebook_navlinksest vert, ces references sont invisibles a l'organe).Localisations exactes (verifiees sur
mainau 2026-09-01)MyIA.AI.Notebooks/Search/Part1-Foundations/Search-02c-QuikGraph.ipynb...VertexPredecessorRecorderObserver (cell 17 de ce notebook, Search-15 cell 14, Search-3...)Search-02b-NetworkX-Csharp cell 14MyIA.AI.Notebooks/Search/Part1-Foundations/Search-3-Informed-Csharp.ipynb...Installation QuikGraph 2.5.0 (fork KeRNeLith de QuickGraph, voir Search-16 cell 2 pour reference)...voir Search-02c-QuikGraph cell 2Acceptance
Search-15|Search-16ne matche plus aucune cellule des notebooks Search (hors mentions historiques explicites type changelog).Arbitrage ouvert (pour ai-01)
Fix standalone en micro-PR, ou repli dans la tranche #13771 (reclass Search-17/18 en 09b/09c/11c -- meme famille Part1-Foundations, meme type de sweep) pour eviter une PR de plus dans la file CI en crise.
See #13772 (volet decision -- dette §D-3 de sa livraison #13797), See #13797, See #13771.