feat(stats): memory_stats reports abandoned workers from abandoned_work (#728, slice 2) - #902

unit en échec (run 42168539790, job 127730708489) : la cause est un test de cette PR, corrigé dans 399e8b31 (fixup).

• test_abandoned_worker_that_raises_is_counted_as_raised (lancé par le gate de mutation) lisait le ledger avant que le worker abandonné ait fini. _drain() attendait un seul slot, alors que remember a un budget de 4 : l'appel passait sans attendre la fin du worker.
• _drain() occupe maintenant tout le budget à la fois, sur une threading.Barrier. Il ne passe donc qu'une fois tous les slots rendus, et le rendu du slot comme l'écriture dans le ledger se font dans le même callback (_Run.worker_done).
• Reproduit localement avant le correctif, avec un délai de 0,2 s dans le worker après release : 2 échecs (completed et raised). Après : 7/7. Gate de mutation local sur worker_ledger.py : 0 survivant. Le code de production n'a pas changé.
• Non vérifié : le nouveau run CI (en cours).

Generated by Claude Code

Conflit de conception avec main, à reprendre par l'autopilote (pas de résolution mécanique).

#903 (540df96f, même tranche 2 de #728) est fusionnée. Elle a ajouté mcp_server/handlers/abandoned_work.py, qui compte les workers abandonnés encore en cours et leur issue (record_abandoned, record_ended), et l'a branché dans admission.run_admitted et _outcome. Cette PR apporte un second registre pour la même chose (worker_ledger.py, run.caller_cancelled()), d'où le conflit dans admission.py. J'ai annulé ma fusion de main.

main n'expose pas encore ces comptes dans memory_stats. C'est l'apport propre de cette PR. À reprendre ainsi :

• partir de main, en fusionnant main dans la branche (pas de rebase ni de force push) ;
• retirer worker_ledger.py et brancher memory_stats sur abandoned_work, en complétant abandoned_work si un champ manque, plutôt que de garder deux registres ;
• garder les tests de test_memory_stats_mapping.py adaptés à cette source.

La PR reste en draft jusque-là.

Repris comme demandé dans ed0c4c18, par un merge de main (sans rebase ni force push) :

• admission.py est pris tel quel depuis main ; worker_ledger.py et test_worker_ledger.py sont supprimés.
• memory_stats renvoie abandoned_workers = abandoned_work.snapshot() (in_flight, ended). Aucun champ n'a été ajouté à abandoned_work, qui contient déjà ce que la tranche rapporte.
• test_memory_stats_mapping.py est adapté à cette source.
• Face à main, la PR ne touche plus que memory_stats.py, ses deux tests et CHANGELOG. Le gate de mutation local donne 0 survivant ; tests_py/handlers, tests_py/server et test_main : 1877 passés.
• Titre et description mis à jour. La PR reste en draft.

Generated by Claude Code

Claude finished @cdeust's task in 2m 3s —— View job

Review of PR #902 (review 1 of 3)

• Read the diff against origin/main
• Lint and the craftsmanship gate, checked by reading the code. I could not run ruff, pytest or check_craftsmanship.py: this job's tool permissions block them.
• Five reviews: code quality, performance, tests, docs, security
• Posted the review: feat(stats): memory_stats reports abandoned workers from abandoned_work (#728, slice 2) #902 (comment)

None of the five reviews found a Blocker. Two Notes need no action before merge. CI was still running when I posted.

Verdict: approve

Review 1 of 3 (ADR-1119): PR #902

No Blockers. I traced the diff against origin/main and ran five reviews (code quality, performance, tests, documentation, security). None of them found a defect that would break CI, security or a CLAUDE.md non-negotiable.

• Layers: memory_stats (handlers) imports abandoned_work (handlers). That is allowed.
• Craftsmanship: handler spans 39 lines (end_lineno - lineno = 113 − 74; the limit is 40). The file is 113 lines.
• Lint: ruff does not enable isort (I), so importing handlers after infrastructure passes.
• Tests: test_each_reading_reaches_its_field compares the whole response dict. The monkeypatches on days_since, is_stale and _store take effect at call time, and abandoned_work.reset() runs before and after each test. Mutants in handler are killed.
• Security: snapshot() exposes only tool names and counts. The names are hardcoded in the safe_handler(tool_name=...) calls, so a client cannot inject them. READ_ONLY is unchanged.
• Documentation: the claims in the description and the CHANGELOG match abandoned_work.py and admission.py. "Completed" means the transaction scope committed.

I could not run ruff, pytest or check_craftsmanship.py in this job because of tool permissions. The checks above come from reading the code. CI (Pipeline run 42305481546) was still running when I posted this.

Notes, no action before merge

• No test through memory_stats shows that in_flight leaves out tools with zero workers. That behaviour belongs to abandoned_work's own tests.
• CHANGELOG.md: "the abandoned_work registry of feat(admission): count workers still running after their caller was cancelled (#728, slice 2) #903" would read better as "the registry added in feat(admission): count workers still running after their caller was cancelled (#728, slice 2) #903".

Verdict: approve