Index de la documentation

Ce répertoire centralise la documentation projet déportée du CLAUDE.md. Chaque fichier documente un aspect précis du projet CoursIA (infrastructure, procédures, règles, état des séries).

Racine (docs/)

Fichiers présents directement à la racine du répertoire docs/. Triage initial #7422 (c.805, po-2024 — audité par lecture disque + cross-check liens).

Fichier Verdict Raison
README.md (ce fichier) KEEP Index vivant — 146 *.md live sous docs/ (hors archive/, figée à dessein), tous atteignables depuis cet index directement ou via un index de sous-répertoire (mesure c.886, complétion des 42 manquants). L’atteignabilité est la bonne métrique : un doc cité par lean/README.md ou ict/README.md est dans l’index, pas absent
index.qmd KEEP + repair Portail Quarto miroir du index.md racine — 3 liens cassés détectés (lean/README.md → lean/coordinator-workflow.md ; ../parcours.qmd → ../../parcours.qmd ; ../COURSE_CATALOG.generated.md → ../../COURSE_CATALOG.generated.md) — corrigés c.805
grothendieckian-lens.md KEEP Manifesto pédagogique transversal, durable, lié depuis index.md racine + docs/README.md ; aucune rot détectée
magnifica-humanitas-dialogue.md nouveau (2026-08-17) Dialogue avec l’encyclique Magnifica Humanitas (Léon XIV, 2026) — le programme du dépôt confronté, § par §, aux appels du texte (vérification comme bien commun, désarmement, choix social, écologie, éducation) ; tensions conservées. #11359
leiden-declaration-position.md nouveau (2026-08-26) Positionnement de CoursIA face à la Déclaration de Leiden sur l’IA et les mathématiques : principes confrontés aux artefacts, lacunes nommées, engagements mesurables et tensions conservées. #13105
PARCOURS.md KEEP Schéma maturité 3 axes (éditorial / reproductibilité / revue scientifique) — décompose le maturity monolithique du catalogue (5 valeurs mélangées) en 3 préoccupations orthogonales auditables indépendamment. ACCEPTÉ 2026-07-23, pilote c.763 critères 1-3. Linked #8051. 110 lignes. Triage #7422 (c.911, po-2023)
qc-research-issue-template.md doublon supprimé (#19283) Ébauche racinaire dupliquée par qc/qc-research-issue-template.md. La copie racine n’était référencée par aucun script ni lien entrant — supprimée pour réduire la surface de désynchronisation (la version qc/ est l’unique source). EPIC #11698 inchangé
data-policy.md nouveau (2026-09-02) Politique de données (statut cadrage, pas doctrine exécutable) : 4 catégories (curée / brute téléchargeable + fetch / checkpoint documenté / trace régénérable) + arbitrage par cas. Migré #19283 vers cadrage/ — le cadrage agrégateur n’indexe pas les politiques techniques ; le sommaire cadrage/README.md ne le porte pas non plus (communauté interlocutrice ≠ règle de dépôt). #13742

Référence (docs/reference/)

Documentation vivante, active et liée depuis CLAUDE.md / .claude/rules/.

Fichier Description
reference/common-commands.md Environnement, validation notebooks, scripts CLI
reference/procedures-recurrentes.md Workflow PR, dispatch, validation, pré-commit
reference/architecture_mcp_roo.md Cycle de vie, logs et diagnostic des serveurs MCP (l’inventaire des 15 outils roo-state-manager vit en amont : HARNESS-OVERVIEW.md §2)
reference/kernels-runtime.md .NET, Python, WSL, conda envs
reference/env-python-reparation.md Réparation environnements Python
reference/claude-code-config.md Agents, skills, rules, model selection
reference/cluster-agents.md Machines cluster, GPU topology
reference/teaching-context.md Calendrier, scope EPITA-IS, agents par école
reference/scripts-reference.md Catalogue scripts dépôt
reference/subagents-reference.md Roster 21 agents + 17 skills
reference/catalog_markers.md Marqueurs CATALOG-STATUS des READMEs (expansion + vérification CI)
reference/audit-reassessment-findings.md Items d’audit automatisé déjà reclassés (protocole reassessment)
reference/student-pr-template.md Template PR étudiante
reference/readme-series-gabarit.md Gabarit de référence des READMEs de séries (#2651)

Règles détaillées (docs/reference/)

Fichier Description
reference/claim-implicit-check.md Garde implicite des claims de PR (procédure HARD #14300) — détecte les claims techniques qui ne s’expriment pas via un mot-clé de verdict mais via une réorganisation statique du diff. Migré de la racine #19283
reference/pr-review-context.md Contexte incidents + anti-patterns reviews
reference/proactive-coordination-detail.md Backlog 8 sources, tirage du grain, cadence
reference/regles-vigilance-detail.md Détails G.1-G.9 + incidents
reference/regles-validation-detail.md Détails H.1-H.7 + incident Sudoku-13
reference/anti-regression-detail.md Patterns red-flag, protocole avant suppression
reference/notebook-renumbering-detail.md Corpus des precedents renum()/reclass() (19 issues, 4 verdicts « aucune renum »), blast-radius mesure de la grappe Probas, etat de l’arbre. Detail de .claude/rules/notebook-accretion-numbering.md
reference/lean-axiom-coverage.md Couverture axiomes du gate proof-integrity par lake (22 lakes inventoriés, 2 câblés en CI : lean-knot.yml + lean-conway.yml) — classes dangereuses native_decide.*/sorryAx/Classical.choice. Détail de référence pour §B.3 de .claude/rules/pr-review-discipline.md. Établi cycle c.950 (worker po-2023, lane myia-po-2023:CoursIA-2), 167 lignes. See #8738 (step 3), #8752 (livraison)
reference/secrets-and-coord-detail.md Secrets + coordination cross-machine
reference/student-pr-reviews-detail.md Incident, format public, workflow
reference/user-blocker-signaling-detail.md Catégories + anti-patterns signaler
reference/wsl-kernels-detail.md Détails WSL kernels
reference/bibliography-hygiene.md Détail de .claude/rules/bibliography-hygiene.md — gisement partagé G:\Mon Drive\MyIA\IA\Bibliographie IA, procédure de dépôt (recherche auteur et titre, vérification première page), nomenclature et rayons. Les publications sous droits ne sont jamais committées
reference/review-coverage-threshold.md Document de support de l’organe scripts/review_coverage.py — pourquoi le seuil vaut 300 et comment l’ajuster (le nombre n’est pas arbitraire, sa dérivation est écrite)
reference/variation-genre-census-2026-08-10.md Census G-VAR-2/G-VAR-3 anti-blanchiment de genre (#10290), fenêtre 7 j 2026-08-03 → 2026-08-10 — mesure fondatrice des plafonds de variation-protocol.md

Outils & méthodologie (docs/reference/)

Fichier Description
archive/reference/HEALTH_DASHBOARD.md Archivé 2026-08-08 (était reference/) : Tableau de santé du dépôt — snapshot statique auto-généré depuis COURSE_CATALOG.generated.json (acceptance #4 de #4210). Record historique — superseded pour usage live par le marqueur CATALOG-STATUS dans chaque README de série (cron catalog-cron.yml quotidien). 77 lignes. Linked #4210
reference/accent-cure-defense-in-depth.md Cure des accents FR & défense contre les régressions (#2876)
reference/chatgpt-export-playwright.md Explorer une longue conversation / un export ChatGPT via Playwright
reference/dotnet-plotly-zero-restore.md Pattern .NET Interactive — figures Plotly « zero-restore » (technique C548-L2)
reference/notebook-formatting.md Mise en forme visuelle des notebooks — directives + vérification de rendu
reference/notebook-parity-table.md Table de parité cross-série — notebooks Python ⇄ .NET
archive/reference/notebook-counts-reconciliation.md Archivé 2026-08-08 (était reference/) : réconciliation forensic des 4 sources de comptage notebooks (disque 946 / forensic 944 / catalogue 830 / STABLE_SNAPSHOT 934) — écart catalogue-disque = 116 = 84 drift + 30 exclusions par design, filtre scripts/audit/check_denominators.py. SHA daté 2026-07-23. Record historique — superseded pour usage live par reference/notebook-counters.md (#9857). 174 lignes. Linked #8050
reference/stale-tree-drift-scan.md Scan de drift sur worktree frais (anti-phantom)
reference/orphan-branch-scan-l576.md Scan de branche orpheline (L576 ★★) — compound gate 3 ancres (merge-base + REST commits/<sha>/pulls + gh pr list --search head:<branch>) anti-FPOS du REST, decision matrix 5 lignes. Détail de référence pour la section « Orphan-branch scan » de .claude/rules/git-workflow.md. 105 lignes. Origine : investigation 5 branches jsboige/* attachées à #7086-#7091 (c.576)
reference/probas-history.md Référence pérenne du portage Infer.NET → Python (Probas/) — périmètre intentionnel (combien de notebooks, quelle bibliothèque pour quel concept) + recommandation PyMC/NumPyro/pgmpy/hmmlearn/Pyro. Source canonique issue #297. Le mapping d’API ligne-à-ligne y est explicitement marqué périssable (poison si non re-testé). 117 lignes
reference/quant-prose-census.md Recensement chiffré des valeurs quantitatives écrites en dur dans les cellules markdown des notebooks, classées selon la ligne de partage codifiée par #9434 (acceptance item 4, #9958). Outil scripts/notebook_tools/scan_quant_classify.py. 212 lignes
reference/repo-size-policy.md Politique de taille du dépôt (~1,2 GiB) — pourquoi ce poids est le prix d’une décision délibérée (sorties notebooks committées C.2/H.1), ce qui est acquis (ne sera pas réécrit), ce qui est surveillé. Mesure, pas impression. 177 lignes
reference/verification-verte-systeme-casse.md « Quand la vérification est verte et le système est cassé » — étude de cas 8 incidents datés, un seul motif (un agent déclare un état système sur la foi d’une vérification qui passait alors que cet état était faux). Détail de référence pour la règle G.9 (culture du doute). 170 lignes
reference/arxiv-attributions.md Convention et maintenance du registre arxiv_attributions_registry.yaml — comment une attribution arXiv entre au registre, comment elle se vérifie. Issue #12853 (acceptance 9.4), parent EPIC #11168
reference/ci-aggregator-rollout.md Rollout de l’agrégateur CI, étape 2 (#9819) — état daté au 2026-08-08, étape 1 livrée par #9822
reference/notebook-enricher-guide.md Méthodologie et vocabulaire d’enrichissement par domaine — leçons consolidées depuis .claude/agent-memory/notebook-enricher/ (relocalisation item-7 de #9535)
reference/slide-analyzer-sk-agent.md Observabilité sk-agent pour l’analyse de slides (Marp vs PPTX + prompts) — relocalisé depuis .claude/agent-memory/slide-analyzer/ (EPIC #9535 item 7)
reference/slides-layout-pattern.md Motif de mise en page des decks Slidev (campagne #10950) — écrit après qu’un diagnostic « les grilles sont impossibles dans Slidev » ait bloqué trois itérations : le contre-exemple est dans le document
reference/backtester-e2-cadrage.md Cadrage Option C du port MyIA.Trading.Backtester (E2) et déblocage des préconditions — #7357 (EPIC différée), parent #7265
reference/backtester-e2-svm-kernel.md Substitution du SVM à noyau dans le port E2 du Backtester Aricie — grain prescrit par le body de #7357, cadrage #12541

GenAI (docs/genai/)

Documentation détaillée de l’infrastructure GenAI (ComfyUI, Docker, modèles locaux).

Fichier Description
genai/genai-services.md Architectures Qwen/Lumina, mapping notebooks
genai/audio-embed-pattern.md Pattern d’embed audio GenAI + leçons de réparation
genai/auth-flip-runbook.md Runbook — flip d’authentification des services exposés (#16 P2)
genai/open-webui-orchestration.md Orchestration et tâches planifiées avec Open WebUI v0.9.0
genai/secrets-management.md Secrets management — central source of truth (master.env + render_envs.py)
genai/service-security-audit.md Audit de sécurisation des services IA auto-hébergés (po-2023)
genai/audio-fading-remediation.md Remédiation FADING audio et verdicts SOTA associés (#11719) — référence opérationnelle ; le détecteur vit dans les scripts, ce document porte le raisonnement

QuantConnect (docs/qc/)

Fichier Description
qc/quantconnect.md Backtests, structure, livre référence
qc/qc-comparative-backtests.md Baselines alignées + analyse comparative backtests (#1630)
qc/qc-batch-methodology-playbook.md Playbook méthodologie batch QC (#1621)
qc/qc-strategies-status.md Statut des stratégies QuantConnect — source de vérité
qc/qc-research-issue-template.md Template canonique de sous-issue du moissonnage quantconnect.com/research/ (EPIC #11698) — conventions de titre/labels/claim, cap journalier (2 articles/jour/lane), 5 anti-patterns fondateurs qui valent CHANGES_REQUESTED, 4 exemples de verdict travaillés. Lu par scripts/notebook_tools/qc_research_monitor.py comme TEMPLATE_PATH
qc/qc-research-notebook-memory.md Mémoire de l’agent qc-research-notebook — relocalisée depuis .claude/agent-memory/ (EPIC #9535, item 7)
qc/qc-strategy-analyzer-memory.md Mémoire de l’agent qc-strategy-analyzer — relocalisée depuis .claude/agent-memory/ (EPIC #9535, item 7)
qc/qc-strategy-improver-memory.md Mémoire de l’agent qc-strategy-improver (38 Ko, la plus fournie des trois) — relocalisée depuis .claude/agent-memory/ (EPIC #9535, item 7)

Lean (docs/lean/)

Iteration history prover, intractable diagnosis, LLM endpoints. Index du sous-répertoire : lean/README.md — point d’entrée de référence regroupant les sous-docs ci-dessous (coordinator-workflow, llm-endpoints, prover history, SOTA 2026, AB, i18n). Établi par po-2024 (#10132).

Fichier Description
lean/coordinator-workflow.md Disciplines coordinateur Lean (build pre-merge, itération prover)
lean/llm-endpoints.md Providers LLM du prover multi-agent (configuration, sans clés)
lean/prover_iteration_history.md Historique itération prover
lean/sota-2026-analysis.md État de l’art preuve automatique Lean 4 (mai 2026)
lean/ab-methodology.md Méthodologie d’A/B pour le harnais prover Lean
lean/i18n-inventory-cycle-38.md Lean i18n — inventaire FR/EN et proposition de convention (cycle 38, See #4980)
lean/i18n-sibling-patterns.md Lean i18n — patterns de paires FR/EN et discipline du checker (#4980)
lean/mimo-converse-cartography.md Cartographie converse MIMO (#11152) — correspondance brique → source, mesurée le 2026-08-16 sur le Mathlib et le SLT du manifest mimo_lean courant
lean/junctions-scan-po-2026.md Scan des jonctions NTFS Mathlib sur myia-po-2026 (2026-09-01) — #13962, enfant de #4362 (mutualisation du cluster)
lean/cluster-junctions-c857.md Scan de mutualisation Mathlib à l’échelle du cluster (c.857, po-2024, 2026-09-02) — pendant du précédent, vue multi-machines

Note : lean/stable_marriage_intractable_diagnosis.md a été déplacé vers archive/lean-intractable-diagnosis/stable-marriage.md (archivé c.696).

Probabilités (docs/probas/)

Index de découvrabilité pour la série Probabilités (MyIA.AI.Notebooks/Probas/) — symétrique des sections Lean et GenAI. Index du sous-répertoire : probas/README.md — point d’entrée qui regroupe les références déportées (portage Infer.NET → Python, attribution MBML, piliers SOTA, prérequis kernel, pièges). Établi par po-2027 (#18671) en cycle du 2026-10-01.

Fichier Description
reference/probas-history.md Référence pérenne du portage Infer.NET → Python (Probas/) — périmètre intentionnel (combien de carnets, quelle bibliothèque pour quel concept) + recommandation PyMC/NumPyro/pgmpy/hmmlearn/Pyro. Source canonique issue #297. Le mapping d’API ligne-à-ligne y est explicitement marqué périssable (poison si non re-testé).
reference/mbml-source-attribution.md Attribution de source MBML/Infer.NET — table de correspondance carnet ↔︎ source canonique pour la série Probas/ (36 carnets Infer + PyMC + 2 racine vs MBML Book Herbrich + TrueSkill 2007 + WinBUGS/JAGS). Établie audit distillation #8081 (c.803, 2026-07-23). Les 4 sous-items de backfill/archivage extraits en issues filles #8702-#8705. Réqualification #7422 (déplacement audit/ → reference/, retrait des verdicts/décisions de cycle).

Note : mbml-source-attribution.md figure ici dans la section Probabilités ; une copie Lean existait par inertie historique (placement initial c.803), retirée par ce déplacement. Ne pas réintroduire la copie Lean.

ICT (docs/ict/)

Documentation de cadrage et de synthèse de la série ICT (strate 7) — tous grade C-documentaire (positionnement/consolidation/cartographie, aucun résultat démontré). Index thématique et parcours suggéré dans ict/README.md. Epic umbrella #4588, méta-proxy #7395.

Fichier Rôle
ict/README.md Index — cartographie des 10 docs par mode (vertical / horizontal / méta) + parcours suggéré
ict/synthese-invariants-dissociations-obstructions.md Fils 1–3 : trois régimes de lecture (invariants / dissociations / obstructions)
ict/genealogy-representation-interne.md 4e fil : généalogie de p̂ (représentation interne, ICT-10 → ICT-17)
ict/dissolution-scalaires.md 5e fil : dissolution successive des scalaires Φ / F / K
ict/strate7-boussole-myth.md 6e fil : boussole narrative de la strate 7
ict/strate7-cadres-libres.md Jambe D1 : formalisme (variables libres, jeu évolutif G_t)
ict/jambe-c4-propagation.md Jambe C4 : grammaire de propagation & seuil de bascule (π, W, causalité)
ict/cadrage-trajectoires-representations.md Pivot N2 : états → représentations
ict/tresse-cartographie.md Cartographie horizontale : la tresse (Thom / Grothendieck / Schmidhuber / Friston)
ict/dissociations-matrix.md Matrice de dissociations 4-objets (s, q, π, W)
ict/d1-c4-rencontre-meta.md Méta-cadrage : rencontre D1 ↔︎ C4 (le formel et l’opérationnel)

Pré-enregistrements, distillations et prototypes (docs/ict/)

Grade distinct des synthèses ci-dessus : ces documents sont grade T-pré-enregistrement (protocole scellé avant implémentation et avant mesure, ordre git vérifiable) ou grade C-prototype. Ils ne rapportent aucun résultat — c’est précisément leur fonction : rendre une prédiction falsifiable avant de la tester.

Fichier Rôle
ict/cech-discriminator-pre-enregistrement.md Discriminant nerf / H¹ pour ICT-15d — protocole verrouillé, suite de la micro-réserve Hermes sur #12248
ict/command-following-observers-pre-enregistrement.md Observateurs du suivi de commande covert — protocole scellé avant écriture du jouet
ict/threshold-alignment-pre-enregistrement.md Dissociation biais d’alignement / dérive précoce (Schurger 2012) — scellage v1, re-verrouillage v2 après pilote sur graine disjointe
ict/strange-loop-irreducible-pre-enregistrement.md Case 8b — le canal self irréductible
ict/strange-loop-scalefree-pre-enregistrement.md Case 8c — métrique de ré-adaptation sans échelle
ict/inoculation-rl-experimental-conditions.md Distillation des conditions expérimentales de l’Inoculation Prompting (Anthropic, arXiv 2511.18397) confrontée au protocole ICT-25 — source canonique citée et vérifiée en HTML
ict/strates-as-adjunctions-prototype.md Prototype grade C : les strates ICT comme adjonctions — conjecture du jalon 3 de #8182 (TOE ↔︎ conscience), explicitement non démontrée

Curriculum (docs/curriculum/)

Guides pédagogiques et parcours d’apprentissage.

Fichier Description
curriculum/ia-classique.md Parcours IA classique (recherche, CSP, Sudoku)
curriculum/ia-symbolique.md Parcours IA symbolique (Lean, Tweety, SemanticWeb, Planning)
curriculum/recherche.md Parcours recherche avancée (Infer.NET, Pyro, IIT, RL, GameTheory)
curriculum/trading.md Parcours trading algorithmique (QuantConnect, ML, Probas)
curriculum/genai.md Parcours GenAI multimodale (Image, Audio, Vidéo, Texte)
curriculum/stage5_mamba_ssm.md Note d’exploration Mamba/SSM pour le forecasting financier
curriculum/_inventory.md Inventaire des embryons de parcours — Phase 0 de l’EPIC #13844. Fichier de travail tenu à la main (statut MANUEL, non régénéré) : recense ce qui existe déjà en germe avant d’écrire de nouveaux parcours

Métadonnées notebooks (docs/notebook-metadata/)

Schémas canoniques de métadonnées par notebook : registre datasets (licence + checksum), matrice coût/ressource, et registre de revues éditoriales tierces. Consommés par scripts/audit/check_*.py et liés depuis THIRD_PARTY_NOTICES.md. Triage #7422 (c.839, po-2023 — slice notebook-metadata/ non couverte par c.549/c.557/c.600/c.705/c.715/c.728n/c.728r/c.728s/c.734/c.728y+36/c.728y+37).

Fichier Verdict Raison
notebook-metadata/DATASET_REGISTRY.md KEEP Registre canonique datasets (~25 fichiers, 9 familles) avec licence + checksum SHA256 — alimenté par scripts/audit/check_dataset_registry.py --audit ; lié depuis THIRD_PARTY_NOTICES.md §0 (séparation licences code vs datasets). Issue #8055 tranche 2 (V0 pilote c.795). 210 lignes
notebook-metadata/DATASET_CARD.md KEEP Template grade B-méthodologique pour dataset sensible (caractère synthétique + périmètre RGPD + procédure re-validation sur fork). Complète DATASET_REGISTRY.md avec une couche descriptive par dataset. Issue #8055 tranche 2. 154 lignes
notebook-metadata/cost-matrix.md KEEP Schéma cost: frontmatter portable (api_usd_est / cpu_min / gpu_min / vram_gb / qc_cloud_required) — pilote V0 c.794, issue #8056. Consommé par scripts/audit/check_cost_metadata.py ; intégration audit sémantique #8052. 375 lignes — référence opérationnelle majeure
notebook-metadata/EDITORIAL_REVIEW_CARD.md KEEP Template canonique c.764 — copié/adapté par chaque reviewer pour ajouter une entrée à editorial-review-registry.md. 5 portées : typo / factual / pedagogie / substance / full (seules factual/substance/full permettent promotion BETA → FINAL, cf docs/PARCOURS.md §Axe 1). 93 lignes
notebook-metadata/editorial-review-registry.md KEEP Pilote fondateur c.764 (phase 2 issue #8051 critère #4) — registre whitelist YAML curé manuellement des revues éditoriales tierces. Sans signal editorial_reviewed_by non-null dans ce registre, classify_editorial() n’émet jamais FINAL (598 entrées historiques rétrogradées par défaut, design anti-auto-promotion). Consommé par scripts/audit/check_editorial_review.py. 179 lignes
notebook-metadata/production-scope.md KEEP Dérivation mécanique v1 du périmètre PRODUCTION (Epic #11259, tâches T1 + T1b) : quels notebooks du dépôt sont du matériel de production, par un critère reproductible plutôt que par jugement au cas par cas. 25 Ko — la pièce de référence quand une règle dit « sur les notebooks de production »

Lecture transversale

Fichier Description
grothendieckian-lens.md Clé de lecture grothendieckienne du dépôt (changement de représentation, certification A/B/C)
magnifica-humanitas-dialogue.md Dialogue avec l’encyclique Magnifica Humanitas — le dépôt face aux appels de Léon XIV sur l’IA (convergences citées § par §, tensions gardées)
leiden-declaration-position.md Positionnement face à la Déclaration de Leiden — preuve, attribution, revue, autonomie et digestion mathématique reliées à des artefacts vérifiables

Internationalisation & Traduction (docs/i18n/, docs/translation/)

Infrastructure de synchronisation et moteur de traduction du dépôt (EPIC #4957, #6949, parent #1650).

Fichier Description
i18n/CSV-by-series-design.md Design doc infra CSV-by-series (EPIC #4957 Phase 1)
translation/argumentum-fork-mapping.md Référence pérenne couche T3 (moteur translate_csv.py, #6949/#6976)
translation/epic-4957-status.md État de clôture Phase 1 infra traduction (#4957 → #1650)
translation/translations-root-diagnostic.md Diagnostic du répertoire translations/ à la racine : état des lieux et options de disposition. Doc-only, sans action destructive — le diagnostic est écrit et arbitrable avant qu’une ligne ne soit supprimée

Recherche (docs/research/)

Documents de recherche durables fondant les EPICs de R&D (grade A-recherche). Distinct de archive/research/ (recherche close/archivée) — ici vit la recherche active.

Fichier Description
research/fallacy-detection-survey.md Survey SOTA détection de sophismes + argument mining, fondant l’EPIC #10355 (Phase 1 livrable 1). 10 sources primaires (Logic/LogicClimate, MAFALDA 23 classes, IBM-Rank-30k, AraucariaDB), constat clé : taxonomie Argumentum 1408/8 familles écrase les datasets académiques 13-23 → mapping d’étiquettes = livrable de recherche à part entière
research/quant-prose-residual-machine-dep.md Inventaire résiduel des timings machine-dépendants cités en prose (#10158) — scan check_machine_dep_timing.py --all sur 1008 notebooks. Recense ce qui reste après passage de l’organe, pour que le résidu soit une liste et non une impression

Audit sémantique cross-famille (docs/audit/)

Cadrage méthodologique de l’audit sémantique (grade B-méthodologique, EPIC #4208 + #8052). Les comptes-rendus de cycle et les findings ne vivent pas ici : dashboard RooSync pour l’éphémère, issue GitHub pour l’actionnable (règle HARD audit-cross-source-distillation.md).

Fichier Description
audit/sampling-protocol.md Protocole d’audit d’échantillonnage sémantique cross-famille : ≥5%/famille par cycle mensuel, env-vierge (pas cache), confrontation claims-markdown ↔︎ sorties réelles, détection fallback silencieux (TenSEAL CKKS incident fondateur). 5 litmus + grille outillée scripts/audit/extract_claims_vs_outputs.py, avec état de validation par litmus (2/5 jamais déclenchés) et limite connue du matching numérique. Grade B-méthodologique, #8052. 164 lignes

Audit path-filters des workflows (docs/audit/workflow-path-filters/)

Exception assumée au préambule ci-dessus, et la distinction vaut d’être nommée : il ne s’agit pas d’un compte-rendu de cycle mais d’un artefact régénéré par la CI — .github/workflows/workflow-path-filter-audit.yml appelle scripts/notebook_tools/audit_workflow_path_filters.py et réécrit latest.md à chaque passage. Un état de couverture qu’une machine recalcule n’a pas la même durée de vie qu’un finding d’agent, et sa place est donc dans l’arbre.

Fichier Description
audit/workflow-path-filters/latest.md Généré — dernier état de couverture pull_request.paths / paths-ignore des workflows, horodaté en tête. Ne pas éditer à la main : la prochaine exécution l’écrase
audit/workflow-path-filters/README.md Compagnon rédigé du précédent (#10600). Consigne surtout que la prémisse fondatrice — « 74 workflows se déclenchent sur chaque PR, 0 filtre de chemin » — s’est révélée partiellement fausse à la mesure (62/72 déjà filtrés, 10 non) : le document garde la réfutation plutôt que la prémisse

ICT (docs/ict/)

Synthèses transversales de la série IIT → ICT (Epic #4588, grade C-documentaire).

Fichier Description
ict/synthese-invariants-dissociations-obstructions.md Grille 3 régimes de lecture d’une trajectoire (#7399, #4588)
ict/dissociations-matrix.md Matrice canonique notebook × claim × proxy × contrôle × seeds × verdict × portée (grade C-documentaire, #7734, #4588)
ict/cadrage-trajectoires-representations.md Cadrage « trajectoires de représentations » — pivot états → représentations (échelle LLM, strate 5). Grade C-documentaire, livrable N2 de #7396, See #4588. 169 lignes
ict/genealogy-representation-interne.md 4ᵉ fil de lecture ICT — généalogie backward de p̂ (ICT-10 → ICT-17), 6 maillons diachroniques. Grade C-documentaire, #7735 + Part of #7396, See #4588. 96 lignes

Ledgers cumulatifs (docs/ledgers/)

Tables d’audit cumulatives par Epic (mandat user, format longue durée).

Fichier Description
ledgers/3801-sota-axe2.md Ledger axe-2 SOTA par famille, 5 verdicts (EPIC #3801)
ledgers/10466-candidate-delivered-cleanup.md EPIC #10466 — apurement du label candidate-delivered, cluster par cluster. Une table par cycle worker : ratio du cluster, issues traitées, leçons. Le compte d’issues ne baisse que si quelqu’un tient la trace de ce qui a été vérifié
ledgers/10678-interp-positioning-audit.md EPIC #10678 Phase 1 — audit des cellules d’interprétation mal positionnées, 1005 notebooks scannés. La table nomme chaque cas : c’est ce qui rend la règle cell-interpretation-ordering applicable au lieu d’être un principe
ledgers/10678-orphan-interp-scan.md EPIC #10678 Phase 1b — interprétations orphelines en fin de notebook. Prolonge le précédent : 24 cellules MISPLACED sur 198 notebooks au scan c.237
ledgers/11690-ict-consolidation.md Consolidation ICT (contenu × résultats × critiques) — support de travail partagé et durable sur lequel le user et les lanes arbitrent les corrections de la série (mandat user 2026-08-18). Exception explicite au tier « éphémère → dashboard » : ce ledger est fait pour survivre aux cycles
ledgers/12204-ict-chantier-1-a2.md EPIC #12204, tranche A2 — l’opération 1 (Recoordonner) passe de RAPPORTÉ à FIRSTHAND. Le ledger porte la mesure qui autorise le changement de label, pas le label seul
ledgers/12204-ict-chantier-1-a3.md EPIC #12204, tranche A3 — vérification des opérations 3 et 9 (teorth/pfr, planning_lean sans sorry) : les deux que le tour d’horizon précédent n’avait pas atteintes
ledgers/12204-ict-chantier-1-audit-froid.md EPIC #12204, tranche audit-froid — trois labels par opération, quatre entrées tombées. Un audit dont le livrable est ce qui ne survit pas à la relecture est plus utile qu’un audit qui confirme

Suivis de cycle (docs/suivis/)

Notes de suivi de cycle par série (transitions architecturales et narratives).

Fichier Description
suivis/iit-ict-transition.md Transition IIT → ICT, pivot série ICT-Series (#4588, #5081)

Cadrage épistémique (docs/cadrage/)

Documents qui positionnent le dépôt face à un texte externe (déclarations, manifestes, consensus) ou face à un courant de pensée qui irrigue plusieurs séries. Règle d’agrégation par communauté interlocutrice (cf #17525) ; le nom du document porte sa relation (-lens, -dialogue, -position, -self-audit, -armature).

Fichier Description
cadrage/README.md Index agrégateur (tableau par communauté, veilles, règles d’agrégation) — l’entrée canonique de la famille
cadrage/singapore-consensus-self-audit.md Audit du cluster selon les 10 principes agentic du Singapore Consensus (R11 companion, P1-P10, #16757)

Les autres documents de cadrage vivent au premier niveau de docs/ (Grothendieckian lens, Leiden position, Magnifica Humanitas dialogue) — ils migreront dans docs/cadrage/ par tranches successives (#17525).

CI & workflows (docs/ci/)

Fichier Description
ci/slow-lane.md Voie asynchrone (tranche 1, #12856) — sortir du pull_request les contrôles lourds et idempotents pour les payer ailleurs. Le critère d’éligibilité (idempotence) est ce qui distingue un déplacement légitime d’un contournement de garde

Harnais (docs/harness/)

Fichier Description
harness/global-rules-detail.md Stub de redirection : le détail des règles globales machine vit désormais dans roo-extensions, à côté du harnais global dont il porte le détail. Le fichier reste ici parce qu’il est cité depuis le ~/.claude/CLAUDE.md global — un lien entrant qu’aucun parcours limité à ce dépôt ne peut voir

ML (docs/ml/)

Fichier Description
ml/tsad-benchmark-flaws.md Défauts des benchmarks TSAD (détection d’anomalies sur séries temporelles) et place du Matrix Profile — note de référence compagnon des notebooks ML-10. Sert à ne pas présenter comme un résultat ce qui est un artefact de protocole d’évaluation

Rapports transients (docs/transients/)

Lane des comptes rendus et audits datés : un transient y naît, s’y conserve le temps que sa conclusion soit distillée dans le document pérenne qui la porte, puis sort. Ce n’est pas docs/archive/ — un stock à résorber, où l’on ne dépose pas un rapport de plus pour qu’il y reste. Convention et organe : transients/README.md, scripts/check_docs_transients_lane.py (#14623).

Fichier Description
transients/README.md Convention de la lane : nom daté <YYYY-MM-DD>-<slug>.md, en-tête gelé > RAPPORT — <date> — <périmètre> — figé, règle « née ici, sort par distillation », critère de sortie de docs/archive/ (trois voies + interdiction d’entrée des rapports datés neufs, organe --base), périmètre et hors-périmètre. Lane vide à dessein à l’ouverture : la re-vérification des fichiers listés par #14623 a mesuré que la majorité n’est pas transiente

Archive (docs/archive/)

Documents conservés pour référence mais inactifs. Index complet : archive/INDEX.md. L’archive est un stock à résorber, pas une destination : critère de sortie (distillation / restauration / retrait, preuve exigée) et interdiction d’entrée des rapports datés neufs — transients/README.md §Sortie d’archive (#14623).

Fichier Description
archive/ml-trading-state.md État ML trading (historique)
archive/visitor-navigation-guide.md Carte du visiteur
archive/research/dl_predictability_finance_2026.md Prédictibilité DL finance 2026
archive/analysis/qc-notebooks-exec-classification.md Classification exécution notebooks QC

Sous-répertoires archives :

Carte rapide

docs/
  reference/         Docs vivantes liées depuis CLAUDE.md / rules
  audit/             Audit sémantique cross-famille (sampling-protocol + history/) — #8052
                     + workflow-path-filters/ (artefact régénéré par la CI)
  genai/             Infrastructure GenAI
  qc/                QuantConnect reference (+ mémoires d'agents QC relocalisées)
  lean/              Prover itération + endpoints
  ml/                Notes de référence ML (benchmarks TSAD, Matrix Profile)
  ci/                Voie asynchrone et politique de déclenchement CI (#12856)
  harness/           Stub de redirection vers le harnais global (roo-extensions)
  notebook-metadata/ Schémas de métadonnées par notebook + périmètre PRODUCTION
  research/          Recherche active (grade A) — surveys et inventaires résiduels
  curriculum/        Parcours pédagogiques + stages
  i18n/              Infrastructure i18n CSV-by-series (#4957, #6949)
  translation/       Moteur de traduction T3 + état Epic (#6949, #4957)
  ict/               Synthèses transversales IIT → ICT (#4588)
                     + pré-enregistrements grade T (protocoles scellés avant mesure)
  ledgers/           Ledgers d'audit cumulatifs par Epic (#3801, #10466, #10678, #11690, #12204)
  suivis/            Suivis de cycle (transitions de série)
  transients/        Rapports transients datés (en-tête gelé) — convention + organe (#14623)
  cadrage/           Documents épistémiques de cadrage — index par communauté interlocutrice (#17525)
  grothendieckian-lens.md  Clé de lecture transversale du dépôt
  PARCOURS.md        Schéma maturité 3 axes (éditorial / reproductibilité / revue) — #8051
  archive/           Documents inactifs (ex-_archives)

Pour la vue d’ensemble pédagogique du dépôt, voir le README principal ; pour les instructions de travail des agents, CLAUDE.md.

Retour au sommet