| #17931 |
queue-ghost-watch DRIFT: 18 ghosts, 39 live |
3/3 |
#15954 MERGED. |
unknown (automated watcher payload, no human claim) |
| #17895 |
fix(genai,#17878): PT_17 §6 erratum variance estimateur |
3/3 |
#18014 MERGED. |
jsboigeEpita (PR #18014) |
| #17888 |
Distiller la série « Surviving proofs » (S. Sheydvasser) : où ses quatre leçon |
2/3 |
#17910 #17912 #17913 #17914 #17915 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2027:CoursIA-2 |
| #17875 |
fix(nb-tools): le ratchet enrich-quality rapporte un ANCHOR_OOR PRE-EXISTANT c |
3/3 |
#17876 MERGED. |
unknown |
| #17857 |
Relecture ligne a ligne de ict/stratification.py (l. 282-368) -- residu de rev |
3/3 |
#17842 MERGED. |
myia-po-2023:CoursIA |
| #17830 |
organ(markdown-claims-output): une cellule de conclusion finissant par une bib |
3/3 |
#17966 MERGED. |
myia-po-2026:CoursIA-2 |
| #17802 |
Search(#5081): lecture de gradation de la serie — escalier, lettres greffees I |
3/3 |
Aucune PR citee : livraison sous forme de commentaire ou de lecture, a verifier. |
myia-po-2027:CoursIA (lecture/gradation), myia-ai-01 (arbitrage) |
| #17799 |
[ML] Lecture de gradation — chemin principal, lettres, sous-series et marches |
2/3 |
Aucune PR citee : livraison sous forme de commentaire ou de lecture, a verifier. |
myia-po-2023:CoursIA-2 (lecture/lecture), myia-ai-01 (arbitrage/DECISION) |
| #17767 |
Complexity-07 : naviguer le Zoo exécutable — inclusions vérifiées sur instance |
3/3 |
#17769 MERGED. |
myia-po-2027:CoursIA |
| #17759 |
tooling(labellisation): candidate_delivered muet sur 2 classes — la forme de t |
3/3 |
#17774 MERGED. |
myia-po-2024:CoursIA |
| #17707 |
[Audit #17073] Série RL — partition Hermes |
3/3 |
#16498 #17054 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2026:CoursIA-2 |
| #17687 |
Suivi mineurs du review NanoClaw sur PR #17621 (3a variable morte, 3b docstrin |
3/3 |
#17758 MERGED. |
myia-po-2026:CoursIA |
| #17659 |
Actuariat T2 : instance verticale du compilateur de parcours |
3/3 |
#17950 #18005 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2025:CoursIA (composition manifest PR #17950), myia-po-2024:CoursIA (re-dérivation témoin du |
| #17578 |
[EPIC #10355] Phase 2/5 : dataset par produit cartésien Scénarii × taxonomies |
3/3 |
#17582 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2025:CoursIA (tranche A, via PR #17582) ; myia-ai-01:Argumentum (faits amont en commentaires |
| #17466 |
docs(lens,#2159): condenser les passages Game of Life de la lentille grothendi |
2/3 |
#17475 #17569 MERGED. |
myia-po-2027:CoursIA-2 (PR #17475, condensation GOL + acquis) ; myia-ai-01:CoursIA (PR #17569, prose |
| #17464 |
organe(notebooks,#17040): detecter la seconde lecture sans en-tete — le veto d |
2/3 |
#1820 #17471 #17611 #17749 #17831 #17843 MERGED. |
myia-po-2024:CoursIA (PR #17471, MERGED 2026-09-23) ; claim initial périmé myia-po-2027:CoursIA-2 si |
| #17299 |
Scripts Tests (CPU): point de triage unique - 4 modes de rouge documentes (inf |
3/3 |
#17313 #17559 MERGED. |
myia-po-2026:CoursIA-2 (jsboige claimed and delivered) |
| #17295 |
[lean,#14773] lean_game_defs_ext : Phase 2 (Mathlib-dep-like), pas Phase 1 — d |
3/3 |
#17376 MERGED. Un dossier existe, mais le gate le refuse (items sans ->, residu mal forme) : a re-emettre. |
myia-po-2024:CoursIA-2 (claim posé puis levé, diagnostic first-hand c.767) ; myia-po-2025:CoursIA-2 |
| #17292 |
ci: Scripts Tests (CPU) -- 3e mode de rouge : un E2E parse stdout avant sa pre |
3/3 |
#17293 MERGED. |
myia-po-2026:CoursIA (commit 1674f84, PR #17293, mergée 2026-09-22T21:39Z) |
| #17265 |
bug(ci): 4 sites consomment le document d'erreur de gh pour un identifiant d |
3/3 |
#17260 #17272 MERGED. |
myia-po-2026:CoursIA-2 |
| #17245 |
Tweety: le downloader ne nettoie jamais la generation precedente -- 97,7% des |
3/3 |
#17246 MERGED. |
myia-po-2023:CoursIA |
| #17105 |
Suivi b0 PR #16881 - levee du verdict Hermes ratchet (2 chemins machine 3.10-S |
2/3 |
#16881 MERGED. |
po-2025:CoursIA (PR #16881 mergée par squash c070470) |
| #17102 |
Suivi b0 PR #16259 - levee des 2 reserves c.577/c.741 (compte myia-po-2023, mu |
3/3 |
#16259 MERGED. |
myia-po-2023:CoursIA |
| #17038 |
tooling(picker,#16765): pick_idle_grain — fallback REST et distinction « pool |
2/3 |
#17158 MERGED. |
myia-po-2023:CoursIA (commit abf1555, PR #17158, livraison 2026-09-23) ; vérification finale par |
| #16938 |
fix(ci): le garde de sante du cache _work tue le conteneur sur le seul etat qu |
3/3 |
#17282 MERGED. |
myia-ai-01:CoursIA (claim initial), myia-po-2026:CoursIA (livraison PR #17282) |
| #16878 |
update-branch périme le dossier de prévalidation autant qu'il ré-arme le DWELL |
3/3 |
#17289 MERGED. |
myia-po-2026:CoursIA (PR #17289), vérification firsthand par myia-po-2025:CoursIA-2 |
| #16758 |
Contrôle par interp : refusal direction, unlearning, finetuning shallow |
3/3 |
#17196 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2027:CoursIA (PT-15 initial) ; un second [CLAIMED] posté par myia-po-2024:CoursIA-2 sur path |
| #16645 |
ci: câbler check_link_label_agreement.py en check advisory (fille de #14624) |
2/3 |
#17014 MERGED. |
myia-po-2023:CoursIA (PREFLIGHT initial, tranche reprise), puis livraison effective par PR #17014 me |
| #16288 |
ci: Scripts Tests (CPU) -- un worker xdist mort bloque la jambe jusqu'au plafo |
2/3 |
#16294 #16421 #16615 #17241 MERGED. |
myia-po-2026:CoursIA (claim et DELIVERED initiaux), myia-po-2024:CoursIA (mesure finale de cycle et |
| #16150 |
nit(pedagogy,#16147): recycler les 3 exercices FT-00b en exemples guides + 3 n |
3/3 |
#16204 MERGED. |
myia-po-2026:CoursIA-2 (claim initial); myia-po-2023:CoursIA (releved sans travail, acceptation deja |
| #16149 |
fix(ci): un update-branch de rafraichissement de base re-arme le plancher DWEL |
3/3 |
#16208 #16879 #16963 #17286 #17289 MERGED. |
myia-po-2023:CoursIA |
| #16088 |
ci(cache): les bases CodeQL overlay indexees par SHA occupent le quota Actions |
3/3 |
#16099 MERGED. |
myia-po-2027:CoursIA-2 |
| #16048 |
drift(lean,#2159): 7 leaf FR absents de l'umbrella Grothendieck.lean -- aucun |
3/3 |
#16068 #16228 MERGED. |
myia-po-2027:CoursIA-2 |
| #15703 |
post_bake_slides: la collecte gloutonne mange du balisage, la docstring contre |
3/3 |
#15722 #15751 MERGED. |
myia-po-2023:CoursIA (PR #15722, commit 24033f8), myia-po-2025:CoursIA (PR #15751, commit 39f98c1 |
| #15684 |
docs: les deux tableaux d'assignation lane->Epic sont descriptivement faux (4/ |
3/3 |
#15685 MERGED. |
myia-ai-01:CoursIA (PR #15685, commit b161b5f, MERGED 2026-09-14T18:08Z) |
| #15578 |
check_pr_path_collisions : le garde s'eteint quand un cote merge — la collisio |
3/3 |
#15454 #15591 #15771 MERGED. |
myia-po-2026:CoursIA (issue résolue sur main par PR #15591, commit 8ffab0d, mergée 2026-09-11T19: |
| #15264 |
FT-06 — retirer la fausse croissance du dénominateur LoRA face à FT-03 |
3/3 |
#15277 MERGED. |
myia-po-2027:CoursIA-2 |
| #15077 |
ci: gate post-gauntlet — réévaluer un second outil Loop MMT après preuve de va |
2/3 |
Aucune PR citee : livraison sous forme de commentaire ou de lecture, a verifier. |
myia-po-2024:CoursIA |
| #15060 |
[ICT] SC-2b : lancer l'experience homogene/heterogene -- deux bras separes, 2x |
3/3 |
#16320 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2024:CoursIA |
| #14817 |
4 stubs d'exercice rendent une verite en dur : la sortie commitee affirme que |
3/3 |
#14854 #15810 #17610 MERGED. |
myia-po-2024:CoursIA (livraison initiale 4 stubs + 2 corpus via PR #14854), myia-po-2025:CoursIA (re |
| #14704 |
picker(#14591 volet A): le CSV mono-colonne last_genre ferme l'inter-cycles, p |
3/3 |
#3842 #16314 MERGED. |
myia-ai-01:CoursIA |
| #14620 |
[EPIC][Factory] Compilateur de parcours : composer un programme qualifie depui |
2/3 |
#17655 #17950 #18005 MERGED. Acceptance large (epic, serie ou phases) : KEEP possible. |
myia-po-2025:CoursIA |
Troisieme lot de dossiers de fermeture. Il vient du dernier workflow de l'audit multi-agents du 27/09 : 367 issues jugees, 120 CLOSE-READY, dont 43 ont survecu aux 3 sceptiques. Il suit le meme protocole que #18056 et #18068. Aucune de ces issues n'y figure deja. #17670, deja fermee, est retiree.
Ce lot n'est pas une preuve de fermeture. Il sert a donner du travail aux dossiers
[CLOSURE PREFLIGHT](gatescripts/check_closure_dossier.py). Pour chaque ligne, ai-01 a verifie que l'issue est encore ouverte et que les PRs citees sont MERGED. Il n'a pas relu les criteres d'acceptance : c'est l'objet du dossier.A garder en tete :
->et residu mal forme. Pour eviter cette forme, partir du template :python scripts/check_closure_dossier.py <N> --template --lane <machine:workspace>.Ce qui est attendu
Une lane qui n'a pas livre l'issue pose le dossier, critere par critere, puis CLOSE ou KEEP. ai-01 ferme quand le gate rend 0. Poser un
[CLAIMED]sur l'issue avant de commencer. Toute lane tierce peut prendre des lignes. La secretaire et l'adjoint ont deja #18056 et #18068 : les autres lanes sont bienvenues ici.Les 42 candidates
->, residu mal forme) : a re-emettre.ghpour un identifiant dVoir aussi #18056 (lot A) et #18068 (lot B).