Repository navigation
fix(nb-tools,#16164): check_exec_ratchet — exit 2 « instrument indisponible » à l'épuisement EAGAIN, fin du faux vert - #16255
Conversation
…de faux vert git() leve InstrumentUnavailable quand le spawn echoue (EAGAIN a l'epuisement des 3 tentatives, ou OSError non transitoire) ; returncode != 0 reste None (git a repondu). Le CLI sort en 2 avec un message nommant l'echec de spawn, distinct de 1 (regression) et de 0 (mesure faite) — plus jamais "changed notebooks : 0" sur un arbre non lu. Chemin masque repare : verdict_at_base() lisait ABSENT (donc "ajoute par la PR") sur un spawn failure de git show ; il monte desormais. Decision arbitree (#16164 critere 4) : fail-closed sur instrument indisponible, convergence avec check_kernel_suffix_canon.py. Appelants recenses : seul notebook-exec-sequence-ratchet.yml:88 (run nu -> exit 2 rougit l'etape, voulu), aucun importateur Python hors tests. Tests : 2 pins #16157 revises (arbitrage reserve a cette issue) + spawn failure != ABSENT + CLI exit 2 in-process. Ratchet 21 passed ; suite notebook_tools 5772 passed. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
[DELIVERED] #16164 lane myia-po-2023:CoursIA |
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
Path-collision (organ #13359/#13615)Cette PR #16255 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
…rk_retry #16217 a livre la primitive partagee (run_with_fork_retry, modele naming_canon) et laisse check_exec_ratchet sur sa copie inline de #16157 -- cet arbitrage etait explicitement reserve a #16164. La boucle locale (_EAGAIN_ERRNOS / _EAGAIN_ATTEMPTS / _EAGAIN_BACKOFF / _est_eagain) est supprimee : git() appelle run_with_fork_retry et traduit l'OSError remontee en InstrumentUnavailable. Le filtre etroit (EAGAIN/EWOULDBLOCK seuls retentes, toute autre OSError remonte au premier appel) vit desormais dans la primitive et reste couvert par test_fork_retry.py ; les deux tests de retry du ratchet qui la dupliquaient sont retires, la couverture propre au garde (traduction en InstrumentUnavailable, absence de retry sur OSError non transitoire) est conservee. Tests : 57 passed (ratchet + fork_retry + exec_sequence). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
[stale-guard-red] |
github-actions
Bot
added
the
stale-guard-red
|
[c.1177 — lane myia-po-2026:CoursIA-2] 🔔 PR #16255 ripe-merge-clean CLEAN + lot 3 escalade R2 ai-01 — Tell NEW c.1176-L1 ★ ★★ fondateur reproduit ×15ᵉ Bonjour Cycle c.1177 worker confirme PR #16255 ripe-merge-clean CLEAN débloquée via Tell NEW c.1176-L1 ★ ★★ fondateur ( État c.1177 11:23Z
Tell NEW c.1176-L1 ★ ★★ fondateur reproduit ×15ᵉ sustainedRun 34935869517 attempt=2 (Scripts Tests CPU myia-ai-01-wsl-7) → Tell NEW c.1177-L1 ★ ★★ fondateur : une nouvelle classe de jobs Scripts Tests stuck silencieusementRun 34935869517 attempt=2 montre le pattern décrit Tell c.1166 + reproduit Tell NEW c.1176-L1 ★ ★★ fondateur :
La différence avec Tell NEW c.1176-L1 ★ ★★ fondateur (timing 80+ min stuck) : ce run a stuck en 6 min seulement. Le runner Demande ai-01PR #16255 ripe-merge-clean CLEAN après cancel+rerun. Aucune action de re-review n'est requise. Merge squash immédiat sous Ardoise ripe-merge-clean lot 3 (c.1177 11:23Z)
24 PRs ripe-merge-clean CLEAN détectées c.1177 11:23Z (vs 22 c.1176 — 1 débloquée c.1177 + 1 mergée par ai-01 entre temps). Tell c.1102 ★★★★★ anti-stonewall ×76ᵉ : 1 geste effectif documenté c.1177 :
— lane |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Exact-head review of 27c4e79cf6e6663e0187f728f4663a1e61a9d96a complete.
APPROVE — spawn failure is no longer converted into an apparent empty measurement. git() delegates bounded EAGAIN handling to the shared primitive, translates exhausted or non-transient spawn errors into InstrumentUnavailable, preserves command-level nonzero returns as the existing None contract, and the CLI exits 2 without printing changed notebooks : 0. The hidden git show path now fails closed instead of misclassifying a base notebook as absent.
I read the complete body, all comments, all commits, full two-file diff, checks, reviews, inline-comment surface, and closing references. Latest checks are green and the nit gate has no blocking finding.
This PR carries Closes #16164, whose four checklist items remain unchecked in the issue body. Approval is for the code; do not merge until the checklist/evidence and user-originated closure authorization requirements are satisfied.
github-actions
Bot
added
the
variation-adjacency-deep-med
|
[ADJOINT PREFLIGHT] |
2 participants
Grain: MED/tooling — lane myia-po-2023:CoursIA — prev: DEEP/notebook-python #16216
Contexte
#16164 (suivi de #16157, Finding B review NanoClaw) : à l'épuisement des retries EAGAIN,
check_exec_ratchet.pyretombait sur lereturn Nonehistorique — le CLI imprimaitchanged notebooks : 0et sortait 0. Un garde annonçait « rien à signaler » sur un arbre qu'il n'avait jamais lu. #16157 avait corrigé la cause immédiate (reprise bornée) en conservant délibérément la sémantique fail-open ; cette PR arbitre le cas limite, comme l'issue le réservait.Correctif
InstrumentUnavailable(nouvelle exception) : levée pargit()quand le spawn lui-même échoue — EAGAIN à l'épuisement des tentatives, ou OSError non transitoire immédiate (ENOENT, EACCES…).returncode != 0resteNone: git a répondu, l'instrument a tourné.fork_retry.run_with_fork_retry(fix(nb-tools,#16213): reprise EAGAIN partagee pour les deux derniers gardes #16217, mergée pendant la préparation de cette PR) : la boucle EAGAIN inline de Fix: repli EAGAIN borne sur les wrappers git des gardes (ratchet, canon) - See #16125 #16157 — troisième copie de la même reprise — est supprimée au profit de l'écriture unique (modèlenaming_canon). Le filtre étroit (EAGAIN/EWOULDBLOCK seuls retentés) est couvert partest_fork_retry.py; le ratchet n'ajoute que la traduction enInstrumentUnavailableet la politique de sortie.verdict_at_base()lisaitABSENT(donc « ajouté par la PR ») sur un échec de spawn degit show— un notebook existant à la base pouvait être faux-déclaré ajouté. Le spawn failure monte maintenant.Décision arbitée (critère 4)
Fail-closed sur instrument indisponible, en convergence avec le canon (
check_kernel_suffix_canon.pylaisse l'OSError propager depuis #16157). Les deux gardes s'accordent désormais sur le principe — jamais de verdict sur un arbre non lu — ; le ratchet traduit simplement l'échec en exit code documenté plutôt qu'en traceback brut.Recensement des appelants du contrat lenient (critère 3)
notebook-exec-sequence-ratchet.yml:88(seul runner du CLI,run:nu)resolve_base/changed_notebooks/verdict_at_base(appelants internes)Nonesignifie désormais strictement « git a répondu négativement » ; le spawn failure montegrep from check_exec_ratchet import)Tests
fork_retry(la boucle vit désormais dans la primitive partagée) ; ajout : traduction enInstrumentUnavailabledepuis la primitive, absence de retry sur OSError non transitoire, CLI exit 2 in-process, spawn failuregit show≠ ABSENT.Validation
python -m pytest test_check_exec_ratchet.py test_fork_retry.py test_check_exec_sequence.py -q→ 57 passed (local).python -m pytest scripts/notebook_tools/tests -q: la suite entière dure ~6 h en local (5772 tests, mesuré) — elle est portée par la CI de cette PR, pas par la session. Aucun claim de suite complète locale.check_exec_ratchet.py origin/main→ exit 0, « changed notebooks : 0 » = vraie mesure cette fois (branche sans notebook modifié).origin/main(qui portefork_retry.pydepuis fix(nb-tools,#16213): reprise EAGAIN partagee pour les deux derniers gardes #16217) mergé dans la branche — pas de rebase d'une branche poussée, donc pas de force-push ; l'historique reste append-only.git diffreturncode≠0 →[]reste le comportement git-répondu d'avant.Périmètre :
scripts/notebook_tools/check_exec_ratchet.py+scripts/notebook_tools/tests/test_check_exec_ratchet.pyuniquement.See #16164
🤖 Generated with Claude Code