Lean-16c (futur GOL-02) : durées du simulateur figées en prose dans les cellules 29 et 36, dépendantes de la machine #20866

Activity

1. jsboige commented on Oct 15, 2026

   

   jsboige

   on Oct 15, 2026

   Last edited by jsboige

   OwnerAuthor

   More actions

   [CLAIMED] fix(notebook-lean,#20866) Lean-16c cell[24,28,29,32,36] durees figées en prose -> renvoi vers cellule 25 ou mention dependance machine -- lane myia-po-2024:CoursIA-2 -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-16c-Conway-Game-of-Life-Golly.ipynb

   Issue fille du verdict CAUSE_DOCUMENTED_ONLY de la PR #20622 (cloud d'agnosticisme du mainteneur, hors flotte #17713). Acceptance : aucune durée en prose sans renvoi à une sortie ou mention de sa dépendance à la machine.

   Pré-requis vérifié : PR #20514 (renommage Lean-16c -> GOL/GOL-02) est CLOSED non mergée → le fix s'applique au nom actuel Lean-16c-Conway-Game-of-Life-Golly.ipynb.

   Geste prévu : 1 carnet, 5 cellules (24, 28, 29, 32, 36) où la prose fige des durées (« ~93.2 jours », « des années », « ~2 heures », « < 1 s »). Voie : (a) ajouter une cellule qui mesure les durées (machine-dep), (b) référencer sa sortie dans les cellules 24/28/29/32/36, (c) pour les ordres de grandeur non mesurables, ajouter mention explicite « estimation non mesurée, dépendante de la machine ».

   L898 : OK — gh pr list --state all --search "20866 in:title" : 0 PR concurrente. 0 commentaire sur l'issue. L14323 : OK — single lane. Tell c.1360 narrow picker muet 34ᵉ cycle → pivot Tell c.262 grain inventable.

   Lean 4.35.0 / Lake 5.0.0 installés sur po-2024 c.320 (NAMING c.320-N1) → grain Lean accessible. Mais le fix est markdown (pas Lean code), pas besoin de toolchain pour cette PR — uniquement Python kernel pour eventuelle re-exec. Si re-exec, RECOVERABLE-MACHINE (cellule 25 mesure 102,5/68,6/88,3/93,2/107 secondes-jours selon machine).

   Type : MED/notebook-lean (defensive fix sur la présentation de durée, pas de capacité nouvelle). Ne tient pas R1 G-VAR-1 ce cycle seul. Plancher 7j glissant reste sur DEEP via c.319 (KNOTS-01 #20902).

   — myia-po-2024:CoursIA-2, c.321
2. jsboige commented on Oct 15, 2026

   

   jsboige

   on Oct 15, 2026

   OwnerAuthor

   More actions

   [DELIVERED] fix(notebook-lean,#20866) PR #20915 -- lane myia-po-2024:CoursIA-2 -- c.321

   Fix Lean-16c-Conway-Game-of-Life-Golly.ipynb cellules 24/28/29/32/34/36 (markdown only) : chaque duree en prose est annotee comme mesure/estimation dependante de la machine, avec renvoi explicite vers la cellule de mesure (25 benchmark numpy, 31/33/35 piliers HashLife).

   Acceptance #20866 :

   • Aucune duree du carnet n'est citee en prose sans renvoi a une sortie ou sans mention de sa dependance a la machine (chaque duree a une annotation in-line de type (mesure cellule X, dependante de la machine) ou (estimation cellule Y, dependante machine)).
   • Cellules 29 et 36 re-alignees sur la cellule 25 (issue acceptance point 1) -- annotations sur les 3 durees.
   • Cellules 24, 28, 32, 34 : les ordres de grandeur (des annees, ~200 ms/gen, ~2 heures, < 1s, ~8.6s, etc.) sont annotees avec leur cellule-source (issue acceptance point 2).

   Geste : 1 fichier, +147/-128, 6 cellules markdown modifiees, 0 cellule code touchee.

   • Cell 24 (id 934da46f) : "annees" -> "annees (estimation cellule 25, dependante de la machine ; ...)"
   • Cell 28 (id 6f3d014d) : 3 lignes du tableau annotees (Gemini, OTCA, OTCA-tick) + note globale sous le tableau
   • Cell 29 (id d83ad97c) : 3 durees annotees (numpy ~93.2 jours, HashLife ~124 s, extrapolation ~1244 s)
   • Cell 32 (id bb7cc766) : 3 durees annotees (HashLife ~7.3s, numpy plusieurs minutes, ~200 ms/gen)
   • Cell 34 (id 76629f84) : ~8.6 secondes annotee (mesure cellule 33)
   • Cell 36 (id e591f07e) : tableau 3 piliers annote + note globale sous le tableau

   Verification L3 :

   • NAMING c.318-N1 ★ : c['source'] split sur \n pour preserver list[str] (verifie sur les 6 cellules)
   • NAMING c.1389-N2 : notebook-cell-edit-via-Python-json (json.load/dump cible par cell['id'])
   • 0 cellule code modifiee (C.2 non applicable -- markdown only)
   • C.1 : pas de raise NotImplementedError / assert False / 1/0
   • Lean 4.35.0 / Lake 5.0.0 installes po-2024 c.320 mais non utilises (fix markdown only)

   Conformite :

   • Tell c.16866 : PR body 4975 chars via REST --input (PATCH apres detection PAYLOAD-TRAP R2)
   • Tell c.17071 : pas de token de blocage nu en prose
   • Tell c.298-bis : pas de [ADJOINT] (PR simple 1 tete)
   • C.1 : pas d'erreur volontaire
   • C.2 : 0 cellule code modifiee, non applicable
   • H.3 : 0 cellule nue, carnet executable end-to-end inchange
   • G.4 : 1 fichier, +147/-128 (sous 3000/15/4)
   • regle 6 secrets-hygiene : aucun hand-edit d'output
   • Tell c.14323 : claim single-lane, L898 OK, L14323 OK
   • Tell c.262 : grain inventable sur issue signalee par cloud d'agnosticisme du mainteneur (hors flotte fix(ci): le garde Grain-tag bloque les PRs hors flotte (sessions cloud du mainteneur) que CLAUDE.md exempte #17713)
   • Tell c.1360 : narrow picker muet 34ᵉ cycle c.321 confirme, pivot Tell c.262 obligatoire
   • G-VAR-1 : MED/notebook-lean -- ne tient pas le plancher R1 DEEP/CONTENU ce cycle seul. Plancher reste sur c.319 (DEEP/notebook-python KNOTS-01 fix(notebook,#20894): corrige Slice? colonne 4_1 dans KNOTS-01 (faux, det=5) #20902) sur 7j glissant
   • Tell c.14976 : substance fix dans livrable (6 annotations in-line + 2 notes globales, renvoi explicite vers cellules 25/31/33/35)
   • L898 : collision check OK -- gh pr list --state all --search "20866 in:title" : 0 PR concurrente

   Hors-perimetre :

   • PR Add(#20204): sous-série GOL (ex-Lean-16b..16j) + capstone Lean-39 — PR A #20514 (renommage Lean-16c -> GOL/GOL-02) est CLOSED non mergée, le fix s'applique au nom actuel.
   • Les cellules 25, 31, 33, 35 (cellules de mesure) ne sont pas touchees.
   • Les autres issues de fond signalees par la session cloud (Lean-29, Lean-30, Lean-31) ne sont pas dans le scope de cette PR.

   PR #20915 en attente de B.0 par ai-01 (worker rule lecon #1502). Issue #20866 pas fermee par cette lane (l'adjoint/coordinateur tranche la cloture).

   Famine DEEP/CONTENU 7j glissant : c.321 = MED/notebook-lean (defensive fix), ne tient pas R1 G-VAR-1 ce cycle seul mais 7j glissant reste sur DEEP via c.319 (KNOTS-01 #20902).

   Cron 1e6789d3 17,47 * * * * (re-cree c.321, expire 2026-10-22, 7j).

   — myia-po-2024:CoursIA-2, c.321
3. jsboige

   added 3 commits that reference this issue on Oct 17, 2026

   fix(notebook-lean,#20866): Lean-16c cell[24,28,29,32,34,36] -- annote…

   ...

   1d62776

   fix(lean16c,#20915,review): arbitrage provenance '< 1 s' cellule 28 (…

   ...

   eb9bf63

   Fix(lean16c,#20915): rebase GOL-02 sur le carnet renomme de main + an…

   ...

   2d99bf4
4. myia-ai-01

   added a commit that references this issue on Oct 22, 2026

   fix(notebook-lean,#20866): Lean-16c cell[24,28,29,32,34,36] -- annote…

   ...

   cf24d08
5. jsboige commented on Oct 23, 2026

   

   jsboige

   on Oct 23, 2026

   OwnerAuthor

   More actions

   [INFO] candidate-delivered — lane myia-po-2024:CoursIA-2

   Cette issue a ete livree par la PR #20915 (fix(notebook-lean,#20866), MERGED). Verification faite sur l'artefact de main, pas sur un marqueur de fil : un [DELIVERED] poste sur une issue ne prouve rien tant que le fichier de main n'est pas lu.

   Artefact mesure : MyIA.AI.Notebooks/SymbolicAI/Lean/GOL/GOL-02-Golly.ipynb (47 cellules), lu depuis origin/main a l'instant du controle.

   Critere d'acceptation, cellule par cellule

   L'acceptation etait : « Aucune duree du carnet n'est citee en prose sans renvoi a une sortie ou sans mention de sa dependance a la machine. »

   Cellule	Duree en prose	Ancrage present dans la source
   24	~42 jours	(estimation cellule 25, dependante de la machine : CPU, numpy compile ou non en OpenMP, taille de la grille simulee)
   28	des dizaines de jours, ~200 ms/generation, 1 OTCA-tick en < 1s	chaque ligne du tableau porte sa provenance ; la note sous le tableau declare les estimations numpy comme ordres de grandeur, pas des mesures effectives, et cite nommement #20866
   29	~42 jours, ~160 s, ~1597 s	(estimation cellule 25, dependante machine) pour les trois
   32	~5.1 secondes, ~2 heures	(mesure cellule 31, dependante de la machine) pour la mesure ; (estimation cellule 25 ...) pour l'equivalent numpy
   34	~6.4 secondes	(mesure cellule 33, dependante de la machine)
   36	tableau des 3 piliers	chaque case porte (mesure cellule 31/33/35) ou (estimation cellule 25) ; la note declare les premieres empiriques et dependantes de la machine, les secondes comme ordres de grandeur, avec renvoi a la cellule 25 pour la formule
   46	« en quelques secondes » / « des annees »	qualitatif, sans valeur chiffree — hors du critere

   Les deux ordres de grandeur que l'issue signalait comme non produits par le carnet sont traites : le < 1 s de Golly est declare « hors carnet, ordre de grandeur HashLife » (cellule 28), et les « ~2 heures » sont rattaches explicitement a l'estimation de la cellule 25.

   Ce que cette verification ne dit pas

   Elle ne dit rien du contenu numerique des sorties commitees : les durees mesurees (~5.1s, ~6.4s, ~160s) sont celles d'une execution anterieure sur une autre machine. Le carnet les presente lui-meme comme dependantes de la machine et re-executables — c'est exactement ce que l'acceptation demandait, mais une re-execution donnerait d'autres valeurs sans invalider la PR.

   Aucune action de cloture prise par cette lane : la cloture appartient au coordinateur ou a l'adjoint (urne delivered, #15069).