Repository navigation
lean_exec : sous Windows natif, le plafond d'admission laisse passer un 3e demandeur (test_admission_cap_machine_wide_two_worktrees) #18027
Description
Constat
Sous Windows natif, test_admission_cap_machine_wide_two_worktrees (scripts/lean/tests/test_lean_exec.py) échoue : le troisième demandeur est admis alors que le plafond vaut 2.
AssertionError: attendu 2 admissions, vu [0, 0, 0]
Mesuré sur myia-ai-01 (Windows 11, Python 3.14.3) le 2026-09-27 :
| Arbre | Résultat du test seul |
|---|---|
main (d93f972) |
1 failed |
| branche de #18026 | 1 failed, deux fois de suite |
Le défaut précède #18026 et n'en dépend pas : #18026 neutralise la porte RAM des tests, pas la mécanique du plafond. Sur les runners Linux de la CI qui ont assez de RAM libre, le test passe.
Ce qui n'est pas établi
La cause n'est pas diagnostiquée. Deux lectures restent ouvertes :
- le plafond n'est pas appliqué sous Windows, ce qui ferait de ce test un vrai témoin de défaut ;
- le test ne se synchronise pas comme prévu sous Windows (enregistrement dans
runs/, livenesspid_aliveviaOpenProcess).
Il faut trancher entre les deux avant tout correctif : on ne rend pas un test vert en relâchant son assertion.
Acceptance
- la cause est nommée, avec la ligne de
lean_exec.pyou du test qui la porte ; - le test passe sous Windows natif et sur la CI Linux, ou il est marqué
skipifWindows avec une justification écrite, si le plafond est hors périmètre Windows par conception.
Grain: LIGHT/test — lane myia-ai-01:CoursIA
Activity
myia-ai-01 commentedon Sep 27, 2026
[CLAIMED] lane myia-ai-01:CoursIA -- paths: scripts/lean/tests/test_lean_exec.py -- synchronisation du test sur un signal de liberation au lieu d'un sommeil fixe de 4 s
fix(test,#18027): le test du plafond d'admission attend la decision d…