Search results

audit: systematic review of all closed issues for premature closures

auditAutomated quality audit findingsAutomated quality audit findings

Status: Open.

#1634 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

QC Consolidation TBD8 — Backtest baseline + tableau comparatif (40-60 strategies post-tri)

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1630 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

QC Consolidation TBD6 — Unifier nomenclature + catalogue (4 types notebooks) + README hiérarchique

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1628 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

QC Consolidation TBD5 — Déduplication projects/ (EMA-Cross×4, DualMomentum×3, Crypto-MultiCanal, ML/Cloud-ML, Vol/ESGF-Vol)

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1627 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

QC Consolidation TBD3 — Audit mentions ESGF (100+ fichiers) + plan dégénériciation

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1625 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

QC Consolidation TBD1 — Audit projects/ (~100 strategies, alive/archived/superseded/broken/duplicate)

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1622 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

[EPIC] Consolidation QC/Trading — projets, checkpoints, research notebooks, papertrading + dégénériciser ESGF

priority-highBROKEN strategies to fix firstBROKEN strategies to fix first

quantconnectQuantConnect strategy developmentQuantConnect strategy development

Status: Open.

#1621 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

Lean prover harness — LEAVERN Director waste (72% budget) + sorry_guard churn

bugSomething isn't workingSomething isn't working

leanLean 4 formalization (proofs, ports, theorem mining)Lean 4 formalization (proofs, ports, theorem mining)

priority-mediumNEEDS_IMPROVEMENT strategiesNEEDS_IMPROVEMENT strategies

Status: Open.

#1620 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

Consolidate Lean 4 kernel setup scripts

Status: Open.

#1618 In jsboige/CoursIA;

· jsboige opened on May 27, 2026

feat(GenAI): add Bonsai-Image ternary 4B notebook (extreme quantization image generation)

Status: Open.

#1613 In jsboige/CoursIA;

· jsboigeEpita opened on May 26, 2026

feat(audiobook): F1-F4 prosody rescue — empty NON_OFFICIAL_MAP + french prefix + dramatic_prompt + temp modulation

Status: Open.

#1600 In jsboige/CoursIA;

· myia-ai-01 opened on May 26, 2026

Epic: analyse & amélioration SOTA-informée du harnais Lean + lib de preuves + notebooks

Status: Open.

#1468 In jsboige/CoursIA;

· jsboige opened on May 23, 2026

·  

S-LEAN — Prover harness co-evolution