Documentation
Documentation projet, règles, et infrastructure
Documentation projet
Le répertoire docs/ centralise les règles de travail, l’infrastructure, les procédés récurrents et les guides d’apprentissage. Cette documentation est destinée aux contributeurs et opérateurs du dépôt, pas aux apprenants.
Catégories
Règles & vigilance
Détail des règles G.1-G.9 (vigilance permanente) avec incidents fondateurs. Anti-complaisance, vérification G.1, audit avant merge cascade, audit pré-merge, escalade stagnation cross-cycle.
Validation réelle
Détail H.1-H.7 (validation REELLE) avec incident Sudoku-13 et plan P0-P4. Preuves vérifiables, exécution Papermill, scan de notebooks non-exécutés, validation post-fix.
Procédures récurrentes
Workflow PR (10 étapes), dispatch agents template, validation notebook bash, audit anti-régression bash, productivité opérations longues (2 tracks min).
Anti-régression
Préserver le code de production (preuves Lean, fonctions métier). Interdit de remplacer par sorry/return None/pass sans diagnostic.
Kernels & runtime
.NET Interactive, Python, WSL Lean 4. Conda envs (coursia-ml-training, mcp-jupyter, epita_symbolic_ai), dotnet-interactive PIN, troubleshooting kernels.
Agents & skills
Catalogue des 21 sous-agents et 17 skills Claude Code, mapping Epic → specialists.
Architecture MCP roo-state-manager
Architecture du MCP roo-state-manager (15 outils multi-actions, RooSync), dashboards, coordination inter-machines.
Subagents reference
Catalogue des sous-agents avec mapping Epic → specialists.
Scripts reference
Catalogue des scripts dépôt (notebook CLI, exécution, catalogue anti-drift, qualité, maintenance).
Environment Python
Réparation env Python (règle F : installer le kernel/env, jamais contourner).
Common commands
Setup environnement, validation notebooks, slash commands.
Curriculum et Curriculum GenAI
Plans d’apprentissage par école (ECE, ESGF, EPITA, EPF), scope pédagogique.
Grothendieckian lens
Perspective unificatrice sur les séries du dépôt, à la Grothendieck.
Lean
Prover iteration history, intractable diagnosis, LLM endpoints.
QC
Backtests, MCP Docker, structure, livre référence (Hands-On AI Trading).
Pour les apprenants
Si vous venez d’arriver et cherchez à apprendre (pas à contribuer) :