fix(nb-tools,#16213): reprise EAGAIN partagee pour les deux derniers gardes

[myia-ai-01]

Grain: MED/guard — lane myia-ai-01:CoursIA — prev: LIGHT/tooling #16036

Perimetre : 2 fichiers modifies, 2 fichiers ajoutes. Aucun notebook, aucune regle,
catalogue byte-identique a main.

Ce que livre cette PR

Les deux derniers gardes sans reprise sur la pression de fork sont cables sur une primitive
partagee, scripts/notebook_tools/fork_retry.py :

Garde	Ligne	Politique a l'epuisement
check_slot_reservation.py	_git	fail-closed -- l'OSError remonte
check_source_output_ratchet.py	git	fail-open -- None, comme avant

Trois gardes avaient deja recu cette reprise, ecrite trois fois : check_twin_parity (#16125),
check_kernel_suffix_canon et check_exec_ratchet (#16157). Ecrire une quatrieme et une
cinquieme copie aurait ete le geste facile. Le depot a deja tranche cette classe de probleme
avec naming_canon.py (#15503) -- plusieurs organes redefinissant la meme primitive, extraite
en lecture unique -- et c'est ce modele qui est suivi.

La cause, datee

f149f2fe93, mergee sur main le 2026-09-13T23:08:17Z : passage de Scripts Tests (CPU)
a pytest-xdist -n 4 --dist loadscope (#15833, sur #14598). Quatre workers executant des
gardes qui forkent git saturent la table de processus du runner ; le spawn suivant est refuse
avec BlockingIOError: [Errno 11]. Les echecs commencent le lendemain a 02:34.

-n 4 n'est pas en cause et reste : decision mesuree (92,5 % d'annulations sur les runners
po-2024 contre 4 % ailleurs ; 1,90x de gain mesure sur #15762). Les deux gestes sont
complementaires -- on ne retire pas le parallelisme, on rend les gardes capables de le
supporter. Le payoff est mesure : sur main a ec79792f60, Scripts Tests (CPU) rend
success.

Ce que la mutualisation ne doit PAS faire, et qui est teste

Extraire une primitive partagee par cinq gardes fait courir un risque precis : uniformiser en
passant ce qui etait deliberement different. Deux choses l'etaient.

La forme de l'appel. run_with_fork_retry transmet ses kwargs VERBATIM -- aucune
position sur le mode texte, l'encodage, cwd, env ou check. Un garde binaire et un garde
utf-8 passent par la meme porte sans qu'aucun n'impose sa forme a l'autre
(test_kwargs_transmis_verbatim).

La politique d'epuisement. Fail-closed d'un cote, fail-open de l'autre : deux tests
l'epinglent garde par garde. Le fail-open du ratchet est preexistant et deliberement
conserve -- son arbitrage appartient a #16164, pas a cette PR, qui ne doit pas le trancher au
passage.

Mesures

scripts/notebook_tools/tests/test_fork_retry.py            14 passed    rc=0
scripts/tests/test_check_slot_reservation.py   \
scripts/tests/test_check_source_output_ratchet.py          56 passed    rc=0

Controle de discriminance. Un correctif de reprise est, vu de l'exterieur, indiscernable
d'un avaleur d'erreurs. En retirant la reprise des deux gardes (retour a subprocess.run nu),
la suite rend rc=1 et fait tomber exactement les deux tests d'integration :

FAILED test_fork_retry.py::test_slot_reservation_retente_puis_reste_fail_closed
FAILED test_fork_retry.py::test_source_output_ratchet_retente_puis_reste_fail_open

Ils mesurent donc les gardes, pas eux-memes.

Controle positif du filtre. ENOENT, EACCES, ENOMEM et EINVAL remontent au premier
appel, sans reprise ni attente. ENOMEM est le voisin dangereux : lui aussi vient de la
charge, et lui n'est pas transitoire.

Hors perimetre, volontairement

• Migrer les trois copies existantes vers le module -- sans changement de comportement, a faire
  une fois le module en service.
• Toucher a -n 4 --dist loadscope.
• Reduire le fan-out de forks (troisieme axe de check_twin_parity.py : BlockingIOError EAGAIN au tout premier fork (_repo_root l.627) — la pression de fork est externe au script, pas dans sa boucle #16111, conditionne a une instrumentation du
  runner que personne n'a faite).

See #16213, #16111, #16164.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-ai-01:CoursIA a deja consomme son budget LIGHT du jour (#16138 (merge a 2026-09-14T10:03:54Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-ai-01:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-14) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=3 genre=6 cap=3)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=3 genre=6 cap=3)

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #16217 (fix(nb-tools,#16213): reprise EAGAIN partagee pour les deux derniers gardes) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• faible -- fix(search,#13751): standardize Search/Applications/CSP/ Csharp -> CSharp (4 files + 8 refs) #15813 partage : scripts/notebook_tools/check_slot_reservation.py

[myia-ai-01]

[ai-01 — validation finale exact-head f10bacb29ee38690af523240f8fef58fd0d058d7]

Lecture personnelle B.0 complète : body, trois commentaires, zéro thread inline, zéro review antérieure et diff intégral de 460 lignes. La primitive ne retente que EAGAIN/EWOULDBLOCK, transmet les kwargs sans altération et remonte la dernière OSError à l'épuisement. Les intégrations préservent délibérément les politiques distinctes : slot reservation fail-closed, source-output ratchet fail-open.

Validation indépendante sur ce head dans un worktree détaché : 70 passed en 15,12 s (test_fork_retry.py, test_check_slot_reservation.py, test_check_source_output_ratchet.py). Les checks latest-wins requis sont verts, dont Always-on, Scripts Tests et PR gate. G-VAR-3 recalculé sur la séquence mergée : guard_pass=true, exemption mécanique #14357 (MED, fichiers disjoints du prédécesseur réel #15748).

La collision faible avec #15813 est comprise : cette autre PR modifie le même helper pour distinguer les suppressions réelles via l'API GitHub, sans contredire le wrapper de reprise ; #15813 est déjà DIRTY et devra intégrer ce head/main après fusion plutôt que perdre la résilience EAGAIN.

Verdict ai-01 : READY pour fusion squash après re-grounding instant-T. GitHub refuse l'état APPROVED car le compte propriétaire de la PR et le compte reviewer sont identiques ; cette review COMMENTED consigne donc la validation sans contourner cette protection.