-
Notifications
You must be signed in to change notification settings - Fork 95
Pull requests: jsboige/CoursIA
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix(audio,#9434): prose machine-class claims — 04-9-Voice-Casting (tranche 2 batch 3)
#13638
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
fix(rl,#13436): REPAIR c.692 VRAM probe RTX 3070 - comble critere 'Memoire GPU < 6 GB' NOT_CLAIMED
#13634
opened Aug 30, 2026 by
jsboige
Owner
Loading…
fix(audio,#9434): prose machine-class claims — Audio tranche 2 (04-12, 04-13, 04-7)
#13631
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
feat(lean,#13597): Tweety-5d synthese certifiee d'extensions stables Z3->Lean (Loi II, variante -c)
#13628
opened Aug 30, 2026 by
jsboige
Owner
Loading…
4 tasks done
fix(audio,#9434): drainer timings machine-dep 04-12 cellules 4/12/14/17
#13627
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
fix(semanticweb): SW-12 conclusion multi-saut alignee sur la mesure (#13613)
#13621
opened Aug 30, 2026 by
jsboige
Owner
Loading…
feat(gt,#13617): GT-03d emboitement ordinal 24x24 -> 78 (Rapoport-Guyer 1966)
#13620
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
feat(guards,#13562): wire source-output ratchet as advisory PR check (tranche 2)
variation-genre-cap-exceeded
light_genre > cap partage G-VAR-2 (#10020, advisory)
variation-light-cap-reached
Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint)
#13618
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
hygiene(notebooks,#13589): newline final sur 275 notebooks (bruit de diff permanent sur 22,5% du corpus)
#13606
opened Aug 30, 2026 by
myia-po-2023
Collaborator
Loading…
ci(#13378): windows-dotnet-gradebook — workflow_dispatch .NET 9 build+test GradeBookApp.Tests
#13605
opened Aug 30, 2026 by
jsboige
Owner
Loading…
feat(gametheory,#13291): GT-13d companion — Optimistic Counterfactual Regret Minimization (OFTRL)
#13604
opened Aug 30, 2026 by
jsboige
Owner
Loading…
fix(genai,#13581): FallacyDetection descend dans GenAI/ (tranche 1) — git mv + navlinks + scripts/tests
large-pr-no-review
PR > seuil sans review (ni bot ni humaine) -- retire quand une review arrive (#11232)
#13601
opened Aug 30, 2026 by
jsboige
Owner
Loading…
chore(naming,#11840): zero-pad Sudoku N=0 -> 00 (residu tranche #13357, doctrine #5081)
large-pr-no-review
PR > seuil sans review (ni bot ni humaine) -- retire quand une review arrive (#11232)
#13591
opened Aug 30, 2026 by
jsboige
Owner
Loading…
fix(guards,#13475): le vocabulaire GENRE echoue desormais fail-CLOSED
#13585
opened Aug 30, 2026 by
jsboige
Owner
Loading…
fix(guard,#11232): label desc 189 chars > limite API 100 — gh label create muet en 422, sweep vert sans payload
#13583
opened Aug 30, 2026 by
jsboige
Owner
Loading…
feat(search,#12703): Search-17 tranche 2 — terrain Puissance 4 (round-robin, Pareto, sweep budget)
#13576
opened Aug 30, 2026 by
jsboige
Owner
Loading…
docs: #12127 tranches 6+7 — 06-Securite-et-Methode + refonte README racine (MED/docs)
variation-genre-mismatch
declared genre != genre infere depuis les chemins du diff (#10020, advisory)
#13575
opened Aug 30, 2026 by
jsboige
Owner
Loading…
fix(gate,#13495): B.0 voie 3 (issue de suivi nommée) + trappe coordinateur fermée pour l'auteur
#13563
opened Aug 30, 2026 by
jsboige
Owner
Loading…
feat(translation,#13544): renderer hard gates fail-closed — min-coverage defaut 1.0 + orphelins inconditionnels
#13557
opened Aug 29, 2026 by
jsboige
Owner
Loading…
fix(ict-25,#13528): baselines figees -> variables partagees cell[23]/[26]/[29]
#13550
opened Aug 29, 2026 by
jsboige
Owner
Loading…
feat(guard,#13420): organe de charte d'EPIC -- parite expansion/consolidation, prouve par mutation
variation-genre-cap-exceeded
light_genre > cap partage G-VAR-2 (#10020, advisory)
variation-genre-run
>= 2 grains consecutifs du meme genre LIGHT pour la lane (#10020, advisory)
variation-light-cap-reached
Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint)
variation-tier-inflation
declared LIGHT << effective LIGHT-genre (#10020, advisory)
#13539
opened Aug 29, 2026 by
jsboige
Owner
Loading…
refactor(lean,#13508): découpage ErdosSpencer.lean en Moments + LB — déplacements byte-identiques (Volet 2)
#13530
opened Aug 29, 2026 by
jsboige
Owner
Loading…
fix(search,#13515): de-leak MGS-30 (3/3) + MGS-7b (2/3) — exercices pré-résolus stubbés
#13525
opened Aug 29, 2026 by
jsboige
Owner
Loading…
fix(picker,#13507): parent_issue ne lit plus un "EPIC #N" de prose comme une ascendance
#13523
opened Aug 29, 2026 by
jsboige
Owner
Loading…
fix(gametheory,#13468): corriger les EV et l'exploitabilite fabriquee de GT-13b
#13480
opened Aug 29, 2026 by
jsboige
Owner
Loading…
10 tasks done
Previous Next
ProTip!
What’s not been updated in a month: updated:<2026-07-30.