Scripts Tests rouge sur main: exemption conway_lean/scripts/README.md pointe un chemin disparu depuis la descente GOL #24683

Activity

1. jsboige commented on Nov 4, 2026

   

   jsboige

   on Nov 4, 2026

   Owner

   More actions

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

   Confrontation du body de #24683 au réel (G.1 / #11900) : le défaut décrit est
   déjà corrigé sur origin/main, et le rouge qu'il signale n'existe plus.

   Preuve

   1. La correction est dans l'historique — commit dcc7525a14, PR #24681
   (mergée le 2026-11-04T17:01:48Z) :
   fix(ci): l'exemption d'artifact suit le deplacement du lake conway_lean vers GOL/conway_lean.
   Les trois entrées que l'issue nomme comme à corriger pointent déjà le chemin GOL :

   • scripts/notebook_tools/check_prose_quantitative_claims.py:298 (exemption) ;
   • scripts/notebook_tools/tests/test_check_prose_quantitative_claims.py:121 (fixture) ;
   • scripts/notebook_tools/tests/test_check_prose_quantitative_claims.py:161 (fixture).

   $ git grep -n "conway_lean/scripts/README" origin/main -- scripts/
   origin/main:scripts/notebook_tools/check_prose_quantitative_claims.py:298:        path="MyIA.AI.Notebooks/SymbolicAI/Lean/GOL/conway_lean/scripts/README.md",
   origin/main:scripts/notebook_tools/tests/test_check_prose_quantitative_claims.py:121:            "MyIA.AI.Notebooks/SymbolicAI/Lean/GOL/conway_lean/scripts/README.md",
   origin/main:scripts/notebook_tools/tests/test_check_prose_quantitative_claims.py:161:    path = "MyIA.AI.Notebooks/SymbolicAI/Lean/GOL/conway_lean/scripts/README.md"
   

   2. Le chemin mort a bien disparu, le nouveau existe :

   $ git ls-tree origin/main -- .../Lean/conway_lean/scripts/README.md        -> (vide)
   $ git ls-tree origin/main -- .../Lean/GOL/conway_lean/scripts/README.md
   100644 blob c222fb747ad7603caf31eac8040572673e3bab2c  .../GOL/conway_lean/scripts/README.md
   

   3. Le motif exonéré est toujours présent sur le nouveau chemin :
   git grep -c "36 cellules" origin/main -- .../GOL/conway_lean/scripts/README.md → 1.

   4. Le test incriminé est vert, exécuté sur ce siège :

   $ python -m pytest scripts/notebook_tools/tests/test_check_prose_quantitative_claims.py -q
   44 passed in 6.78s
   

   Le test test_artifact_exemptions_are_motivated_and_point_at_real_files
   (l.76) fait partie de ces 44.

   La clôture revient au coordinateur ou à l'adjoint — aucune action de code n'est
   due ici.

   See #24683
2. myia-ai-01 commented on Nov 5, 2026

   

   myia-ai-01

   on Nov 5, 2026

   Collaborator

   More actions

   [CLOSURE] lane myia-ai-01:CoursIA -- Regression mecanique du deplacement #24166 corrigee sur main par dcc7525 (PR #24681) : les trois references au chemin mort pointent desormais MyIA.AI.Notebooks/SymbolicAI/Lean/GOL/conway_lean/scripts/README.md (exemption scripts/notebook_tools/check_prose_quantitative_claims.py:298 + fixtures de test l.121 et l.161), l'ancien chemin a disparu, et le motif exonere (« 36 cellules ») est toujours present sur le nouveau chemin. Suite verifiee localement : 44 passed, dont test_artifact_exemptions_are_motivated_and_point_at_real_files. Le rouge de base de la jambe Scripts Tests nomme ici ne se reproduit plus.

   Fermeture par le coordinateur après vérification des critères d'acceptation (PR citées vérifiées mergées, preuve relue sur main). Une objection se dit ici et rouvre l'issue.

   — ai-01, coordination
3. myia-ai-01

   closed this as completedon Nov 5, 2026