Skip to content

Sweep: resorber les 23 fichiers markdown actifs > 2000 c (gate baseline pour bascule bloquante de detect_paragraph_length) #15457

Description

@jsboige

Résumé

L'organe CI anti « wall-of-text markdown » est en place (PR #15455, detect_paragraph_length.py + workflow advisory), mais le corpus actuel porte 24 fichiers actifs dont un paragraphe dépasse déjà 2000 caractères. PR #15454 corrige MyIA.AI.Notebooks/Probas/README.md (l'incident fondateur). Cette issue trace les 23 fichiers restants à résorber.

Quand tous les fichiers actifs sont à zéro, la garde peut basculer en bloquant (PR dédiée, hors scope de cette issue).

Calibration 2026-09-10

Métrique Valeur
Fichiers *.md scannés (git ls-files, hors _archives/, docs/audit/) 1 565
Fichiers flaggés > 2000 c (tous) 153
Fichiers flaggés dans les zones actives (séries notebook + docs/ non-archive) 24
Fichiers résorbés par PR #15454 1

Détecteur : scripts/notebook_tools/detect_paragraph_length.py. Workflow CI : .github/workflows/paragraph-length-advisory.yml.

Liste des 23 fichiers actifs à résorber

Triés par longueur décroissante (les murs d'abord) :

# c max Fichier Catégorie Suggestion
1 10 323 docs/qc/qc-comparative-backtests.md doc référence QC Découper en sections thématiques (par stratégie, par période)
2 9 972 MyIA.AI.Notebooks/Search/Part4-Metaheuristics/README.md série Search Découper la section « moteur autonome »
3 9 721 MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-Linq2Z3/README.md série Z3 Découper la section « notebooks 1..N »
4 8 882 MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/REGISTRY.md QC registry Probablement un tableau/énumération à splitter en tables
5 8 182 MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/README.md série Z3 Idem #3
6 4 924 docs/notebook-metadata/production-scope.md doc méta Split par série
7 4 461 MyIA.AI.Notebooks/GenAI/Plateformes-Conversationnelles/AI-Engine-WordPress/03-Functional/README.md série GenAI Découper le tour d'horizon plugins
8 4 366 MyIA.AI.Notebooks/QuantConnect/README.md série QC racine Réécrire comme le PR #15454 l'a fait pour Probas
9 4 294 docs/ict/tresse-cartographie.md doc ICT Split par sous-domaine
10 4 232 MyIA.AI.Notebooks/SymbolicAI/Lean/README.md série Lean Split par lake
11 4 175 docs/ict/jambe-c4-propagation.md doc ICT Idem #9
12 4 166 docs/qc/qc-strategies-status.md doc QC Tableau par stratégie
13 3 972 docs/ict/strate7-cadres-libres.md doc ICT Idem #9
14 3 731 MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/README.md lake Conway Split FR/EN siblings par section
15 3 610 docs/ledgers/3801-sota-axe2.md ledger Split par entrée
16 3 547 MyIA.AI.Notebooks/SymbolicAI/Lean/conway_lean/README.en.md lake Conway EN Idem #14
17 3 508 MyIA.AI.Notebooks/RL/README.md série RL Réécrire sur le modèle Probas
18 3 246 MyIA.AI.Notebooks/Probas/README.md série Probas RÉSOLU par PR #15454 (le présent cycle, maintenant silencieuse)
19 2 994 MyIA.AI.Notebooks/GenAI/Texte/LLMs-Locaux-Serving/docs/journal-de-bord.md journal Split par mois/événement
20 2 955 MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/README.md série SymbolicLearning Réécrire sur le modèle Probas
21 2 911 MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/README.md lake Knot Idem #14
22 2 900 docs/ict/d1-c4-rencontre-meta.md doc ICT Idem #9
23 2 5XX (suivant dans le scan, ~10 fichiers < 3000 c) mixte À inventorier au début du sweep

Approche recommandée

Révisée le 2026-09-11 par ai-01 (nit user du 2026-09-10T22:32:49Z sur #15515 : « Encore une PR qui fait un petit grain de ce qui mériterait de bonnes fournées. Réécrire l'issue au besoin en ce sens »). La consigne d'origine — « une PR par fichier, 23 PRs au total » — était un défaut de cadrage de cette issue, pas une dérive de lane : elle a produit 13 PRs ouvertes simultanément le 2026-09-10 (#15464, #15465, #15466, #15473, #15494, #15501, #15515, #15524, #15526, #15528, #15529, #15530, #15533), toutes de genre docs/readme, sur quatre lanes — soit exactement la monoculture que le protocole de variation existe pour empêcher, et un budget G-VAR-2 (max(1, grains_mergés_du_jour // 3), toutes catégories LIGHT confondues) qui ne peut en absorber qu'une par lane et par jour.

  1. Fournées, pas grains unitaires (remplace « une PR par fichier »). Une PR = une fournée de fichiers d'un même domaine, dans les seuils G.4 (≤ 15 fichiers, ≤ 3000 lignes hors notebooks, 1 domaine) — l'aération mécanique d'un même défaut sous une même issue est un seul sujet. Découpage suggéré :

    • fournée QC — docs/qc/qc-comparative-backtests.md, docs/qc/qc-strategies-status.md, MyIA.AI.Notebooks/QuantConnect/README.md, ML-Training-Pipeline/REGISTRY.md
    • fournée ICT — docs/ict/tresse-cartographie.md, jambe-c4-propagation.md, strate7-cadres-libres.md, d1-c4-rencontre-meta.md
    • fournée Lean — SymbolicAI/Lean/README.md, conway_lean/README.md + README.en.md, knot_lean/README.md
    • fournée séries — Search/Part4-Metaheuristics, SMT/Z3-Linq2Z3, SMT/Z3-API, RL, SymbolicLearning, GenAI/.../03-Functional
    • fournée méta/ledger — docs/notebook-metadata/production-scope.md, docs/ledgers/3801-sota-axe2.md, journal de bord LLMs-Locaux

    Les PRs déjà ouvertes ne sont pas jetées (« on ne jette pas du travail écrit ») : elles se drainent au rythme du budget G-VAR-2 de leur lane, ou se regroupent volontairement par leur auteur. La consigne de fournée s'applique au reste du sweep.

  2. Vérifier les PRs sœurs AVANT de claimer un chemin (L898). Un [CLAIMED] sur cette issue ne suffit pas : énumérer les PRs ouvertes qui touchent le chemin visé (recherche 15457 in:body + champ files). Collision mesurée le 2026-09-10 : docs(qc,#15457): aérer les paragraphes-murs de qc-comparative-backtests #15473 (ouverte 14:44Z, sans claim en commentaire) et docs(qc,#15457): éclater les paragraphes-murs du catalogue comparatif — tranche 1 #15515 (claim 22:20Z, sans énumération des PRs sœurs) sur docs/qc/qc-comparative-backtests.md — les deux manques ont été nécessaires pour que la collision passe.

  3. L'instrument est detect_paragraph_length.py, qui n'est pas encore sur main : il est livré par la PR tooling(#15405): detecteur paragraphes markdown trop longs + workflow advisory #15455, OPEN. Toute mesure « avant/après » de ce sweep est donc faite avec un outil de branche — le citer comme tel, et ne pas basculer la garde en bloquant avant que tooling(#15405): detecteur paragraphes markdown trop longs + workflow advisory #15455 ne soit mergée. Le détecteur ignore fences, titres, commentaires HTML et lignes de tableau (^\s*\|) : un tableau de 12 609 c n'est pas un finding, et une PR qui le compte comme « bloc restant » mesure autre chose que la garde.

  4. Aérer n'est pas couper une phrase en deux. Une ligne vide insérée à une fin de ligne qui n'est pas une fin de phrase crée un saut de paragraphe au milieu d'une phrase au rendu. Contrôle mécanique avant livraison : pour chaque ligne vide ajoutée, la ligne précédente doit finir par une ponctuation terminale (. ! ? : ; | **) ou la suivante commencer par une majuscule / un marqueur de liste.

  5. Pattern de référence : PR docs(probas,#14871): segmenter le paragraphe-mur de l'intro serie (3336 c -> 6 paragraphes aeres) #15454 (Probas) démontre le découpage en paragraphes thématiques de ~330-700 c.

  6. CATALOG-STATUS byte-identique (catalog-pr-hygiene) : ne pas toucher aux marqueurs dans les README de série.

  7. MANIFEST.md et autres artefact : la table de registre 8882 c mérite un cat pour comprendre la structure avant de découper.

  8. Traces Roo Code (roo_task_*.md) : hors scope de cette issue — traces pédagogiques d'atelier, pas du contenu éditorial.

  9. MANIFEST.md assets/readme/ : hors scope — fichiers générés automatiquement par le pipeline GenAI, structure à figer.

Critère de bascule bloquante

Une PR dédiée passe la garde de advisory à bloquant quand :

  • Tous les fichiers actifs ci-dessus sont ≤ 2000 c (vérifié par detect_paragraph_length.py).
  • 1 cycle de validation (~2 semaines) sans faux positifs.
  • Le label paragraph-length a été vu en production sur au moins 5 PRs sans bruit.

Liens

Hors scope (rappel)

Les 130 fichiers flaggés dans Roo-Code/Corrections/..., docs/archive/..., assets/readme/MANIFEST.md, _archives/... :

  • Traces Roo (roo_task_*.md) : contenu pédagogique d'atelier, pas éditorial.
  • docs/archive/ : docs historisés, gelés par convention _archive/.
  • assets/readme/MANIFEST.md : générés par le pipeline GenAI, à figer.
  • _archives/ : matériellement hors cycle d'édition.

Le détecteur les signale quand il les scanne, mais le scan déclenché par le workflow CI ne touche que les fichiers modifiés par la PR (cf. PR #15455 §Workflow CI). La résorption complète des zones hors scope est donc automatique par construction — chaque PR qui les touche devra les nettoyer pour passer la garde.

🤖 Generated with Claude Code

Activity

  1. jsboige commented on Sep 10, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-Linq2Z3/README.md -- 2026-09-10T14:25Z

  2. jsboige commented on Sep 10, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-Linq2Z3/README.md -- 2026-09-10T14:25Z

  3. added a commit that references this issue on Sep 10, 2026
  4. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/QuantConnect/README.md -- 2026-09-10T19:25Z (tranche #8 : aération paragraphe 4366 c + audit fichier-entier §E, pattern #15454)

  5. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: docs/qc/qc-comparative-backtests.md (tranche #1, 10323 c) -- 2026-09-11T00:2xZ

  6. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [DELIVERED] lane myia-po-2023:CoursIA — tranche #1 (docs/qc/qc-comparative-backtests.md) — PR #15515

    Avant (9 findings > 2000 c, détecteur pattern #15454/#15455) :

    line 454 (10323 c) — items 1-28, un seul bloc contigu
    line 130 (3734 c)  — bloc « Four regimes », 4 bullets
    line 503 (3127 c)  — item 39
    line 501 (3102 c)  — item 38
    line 505 (2957 c)  — item 40
    line 577 (2269 c)  — Next Steps, 9 items
    line 493 (2192 c)  — item 34
    line 497 (2168 c)  — item 36
    line 495 (2014 c)  — item 35
    

    Après : 0 findings — cure sans suppression de texte (items 34-40 en titre gras + paragraphes, numéros préservés pour le leaderboard ; batchs 5/6/7 détachés en continuations de liste ; +136/−9, les −9 intégralement couverts par les ré-ajouts, vérification programmatique de préservation).

    La tranche reste claimée sans limite de temps ; les tranches suivantes du sweep sont libres.

  7. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/REGISTRY.md (tranche #4, 8882 c) -- 2026-09-11T00:5xZ

  8. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [DELIVERED] lane myia-po-2023:CoursIA — tranche #4 (MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/REGISTRY.md) — PR #15524

    Avant : line 3 (8882 c) — « Auto-generated » + 22 entrées « Updated: » en un seul bloc contigu.
    Après : 0 findings — sous-titre ## Historique des mises à jour + ligne vide entre chaque entrée (max 1 763 c). +24/−0, pure addition.

    Note preflight au profit du sweep : le candidat #2 (Search Part4-Metaheuristics, 9 972 c) est déjà couvert par la PR #15465 OPEN (chiffres 9972/2374/2144 identiques) sans claim en commentaire sur cette issue — les lanes qui piochent dans le sweep doivent vérifier les PRs ouvertes avant de claimer.

  9. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/GenAI/Plateformes-Conversationnelles/AI-Engine-WordPress/03-Functional/README.md (tranche #7, 4461 c) -- 2026-09-11T01:1xZ

  10. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [DELIVERED] lane myia-po-2023:CoursIA — tranche #7 (AI-Engine-WordPress/03-Functional/README.md) — PR #15526

    Avant : line 27 (4461 c) — les onze notebooks en un bloc contigu.
    Après : 0 findings — liste lâche, +10/−0.

  11. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/README.md (tranche #21, 2911 c + bloc secondaire 2135 c) -- 2026-09-11T23:37Z

  12. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [DELIVERED] lane myia-po-2023:CoursIA — tranche #21 (knot_lean/README.md) — #15528 — 2 blocs 2925/2135 c → 0 (max bloc fichier 1096 c), +13 lignes vides, zéro suppression, préservation normalisée vérifiée. Le bloc secondaire 2135 c (bullets sorry-réels) était également >2000 au détecteur : traité dans la même tranche.

  13. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: docs/ledgers/3801-sota-axe2.md (tranche #15, 10 murs 2006-3645 c) -- 2026-09-11T23:58Z

  14. myia-po-2023 commented on Sep 10, 2026

    @myia-po-2023
    Collaborator

    [DELIVERED] lane myia-po-2023:CoursIA — tranche #15 (docs/ledgers/3801-sota-axe2.md) — #15529 — 10 murs 2006-3645 c → 0 (bloc max fichier 1966 c), +52 lignes vides, zéro suppression, préservation normalisée vérifiée. Le scan complet trouvait 10 murs là où la table de la tranche n'en listait qu'un : tous traités dans la même PR.

  15. myia-po-2023 commented on Sep 11, 2026

    @myia-po-2023
    Collaborator

    [CLAIMED] lane myia-po-2023:CoursIA -- paths: MyIA.AI.Notebooks/RL/README.md (tranche #17, 1 mur 3508 c mono-ligne) -- 2026-09-11T00:35Z

  16. 24 remaining items

  17. added a commit that references this issue on Sep 11, 2026
  18. jsboige commented on Sep 11, 2026

    @jsboige
    OwnerAuthor

    [CLAIMED-AMEND] lane myia-po-2025:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/README.md

    Grain: LIGHT/readme — lane myia-po-2025:CoursIA — prev: LIGHT/docs #15630

    Reprise après reboot du checkpoint Vibe 6a68446b2 ; préflight : aucune PR ouverte sur ce chemin. Validation et intégration sur origin/main frais avant livraison.

  19. added a commit that references this issue on Sep 11, 2026
  20. jsboige commented on Sep 11, 2026

    @jsboige
    OwnerAuthor

    [DELIVERED] lane myia-po-2025:CoursIA — SymbolicLearning/README.md — PR #15642

    Deux findings 2040/2033 c → 0 (bloc max résiduel 1690 c), quatre blocs aérés, prose normalisée intégralement préservée, CATALOG-STATUS byte-identique, liens 0 nouvelle rupture sur 6811. Audit fichier-entier : dérives préexistantes de compteurs/catalogue/structure suivies séparément par #15641 ; aucune régénération catalogue sur la branche.

  21. jsboige commented on Sep 11, 2026

    @jsboige
    OwnerAuthor

    Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: LIGHT/readme #15642

    [CLAIMED] fournées #15457 restantes — 19 fichiers libres, mesurés au détecteur sur origin/main (487ab7c26), semés en 7 fournées dans la file Vibe-Feeder (1 run Mistral par fournée, cadence ~1/h ; doctrine « fournées, pas grains unitaires »).

    Inventaire autoritaire du 2026-09-12T00:05Z : detect_paragraph_length.py (mergé #15455) passé sur les zones actives à origin/main → 33 fichiers flaggés / 53 findings. 14 sont couverts par des PRs ouvertes (#15580, #15602, #15617, #15567, #15454, #15630, #15649, #15586, #15547, #15642, #15610). Les 19 libres, en fournées par domaine :

    • fournée QC — MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/CURRICULUM.md (2383 c), …/docs/M17_HAR_LJ_ASYM.md (2260), …/projects/MacroFactorRotation-QC/README.md (2195), …/projects/Portfolio-IBKR-Coinbase-Hybrid/README.md (2006)
    • fournée Lean — MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/README.en.md (2408), …/Lean/I18N_INVENTORY.md (2055), MyIA.AI.Notebooks/Probas/decision_theory_lean/README.md (2160)
    • fournée GameTheory — MyIA.AI.Notebooks/GameTheory/lean_game_defs_ext/README.md (2830), …/SocialChoice/README.md (2482)
    • fournée GenAI — MyIA.AI.Notebooks/GenAI/Texte/LLMs-Locaux-Serving/docs/journal-de-bord.md (2994), MyIA.AI.Notebooks/GenAI/Video/README.md (2021)
    • fournée DataScienceWithAgents — …/ML/DataScienceWithAgents/02-ML-Cours/README.md (2590), …/README.md (2077)
    • fournée ICT résiduelle — docs/ict/strate7-boussole-myth.md (2638), docs/ict/dissolution-scalaires.md (2014), MyIA.AI.Notebooks/IIT/ICT-Series/thom-synthese-distillation.md (2187)
    • fournée méta — docs/grothendieckian-lens.md (2304), docs/reference/notebook-enricher-guide.md (2665), docs/reference/secrets-and-coord-detail.md (2657)

    Vérifications faites avant semis :

    1. Anti-collision : champ files des 75 PRs ouvertes énuméré (aucune ne touche ces 19 chemins) + sonde ciblée — knot_lean/README.en.md ≠ knot_lean/README.md : docs(lean,#15457): aérer les paragraphes-murs du README knot_lean (tranche 21) #15528 MERGED n'a touché que la version FR.
    2. Aucun [CLAIMED] préexistant sur ces 19 chemins dans les commentaires de cette issue.
    3. Scan credentials négatif sur les 19 fichiers.
    4. Mix de genres volontaire (qc/lean/genai/docs) — la monoculture readme/docs du 2026-09-10 est ce que le recadrage fournée existe pour éviter.

    Première fournée (QC) dispatchée à 22:06:59Z — run en vol. Livraison : 1 PR par fournée au rythme du drain horaire.

  22. jsboige commented on Sep 11, 2026

    @jsboige
    OwnerAuthor

    [DELIVERED] lane myia-po-2025:CoursIA — fournée QC (4 fichiers) — PR #15654

    Run Vibe PROMPT_OK 22:11:22Z (249,6 s, 0,645 USD) sur worktree aerate-fournee-qc @ base 487ab7c26.

    Fichier avant après findings
    ML-Training-Pipeline/CURRICULUM.md 2383 c < 2000 c 0
    ML-Training-Pipeline/docs/M17_HAR_LJ_ASYM.md 2260 c < 2000 c 0
    projects/MacroFactorRotation-QC/README.md 2195 c < 2000 c 0
    projects/Portfolio-IBKR-Coinbase-Hybrid/README.md 2006 c < 2000 c 0

    Nouvelle classe de défaut (n°11), réparée au relay : le run scinde au bon endroit (fin de phrase) mais perd le préfixe structurel de la ligne de continuation — > blockquote (CURRICULUM) et indentation de contenu 2 espaces de continuations de puce (les 3 autres) — le texte sortait de sa citation/puce au rendu. Repair déterministe par insertion pure (b8bb3d07e), contenu vérifié identique sans-newlines par fichier. Les 6 payloads restants de la file ont été patchés avec la garde de préfixe avant le prochain feu — la récidive est fermée à la source.

    Reste en file : 6 fournées (lean, gametheory, genai, ml-agents, ict, meta), drain ~1/heure au feu :54.

  23. added 2 commits that reference this issue on Sep 12, 2026
  24. added a commit that references this issue on Sep 12, 2026
  25. jsboige commented on Sep 12, 2026

    @jsboige
    OwnerAuthor

    Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: LIGHT/docs #15654

    [DELIVERED] fournées de la nuit (5 PR) — drain #15457, runs Vibe du 11-12/09

    Fournée PR Fichiers Run (UTC) Coût Réparation
    GameTheory #15714 2 23:59 0,735 USD —
    GenAI #15715 2 01:58 0,306 USD —
    DataScienceWithAgents #15716 2 02:59 0,562 USD —
    ICT résiduelle #15717 3 04:00 0,603 USD —
    docs/référence #15718 3 05:01 0,994 USD classe #13 (189cdc7d3)

    Garde de préfixe (classe #11) : EFFICACE. Zéro réparation de préfixe nécessaire — dissolution-scalaires.md montre le > blockquote correctement dupliqué sur la ligne de continuation au point de split.

    Nouvelle classe #13 (split intra-jeton) : dans grothendieckian-lens.md, le run a scindé à l'intérieur du chemin SheafCohomology/Basic.lean (point pris pour une fin de phrase, aucun espace ne suivait) — lien markdown cassé au rendu. Réparée au relay par recollage du jeton + re-split du bloc 2304 c sur une frontière « ) ; » légitime entre items ; séquence de tokens vérifiée identique au parent (7019/7019), détecteur 0 findings. Garde payload candidate pour les grains suivants : ne jamais insérer de coupure à l'intérieur d'un chemin/lien markdown — couper uniquement après « . + espace + majuscule ».

    Échec : fournée lean (HarnessCommand exit code 1 à 23:13Z, grain consommé sans commit) — ses 3 fichiers (knot_lean/README.en.md, Lean/I18N_INVENTORY.md, decision_theory_lean/README.md) restent à re-seeder ; signalé au coordinateur avec le réveil de ce matin (⚠️ #15583 ouverte touche l'inventaire knot_lean — vérifier le chevauchement au re-seed).

    Jour 12/09 : 6 runs OK / 3,845 USD ≈ 3,5 € (sous la trajectoire ≥10 € — coordinateur réveillé pour re-seed abondant, mandat user). Reste du sweep : ces 5 PR + #15654 couvrent 15 des 19 fichiers claimés ; les 3 du lean + les 1-2 résiduels selon re-scan constituent le prochain lot.

  26. jsboige commented on Sep 12, 2026

    @jsboige
    OwnerAuthor

    Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: MED/tooling #15720

    [CLAIMED-AMEND] lane myia-po-2025:CoursIA -- paths: MyIA.AI.Notebooks/SymbolicAI/Lean/knot_lean/README.en.md, MyIA.AI.Notebooks/SymbolicAI/Lean/I18N_INVENTORY.md, MyIA.AI.Notebooks/Probas/decision_theory_lean/README.md, MyIA.AI.Notebooks/SymbolicAI/Lean/grothendieck_lean/README.md, MyIA.AI.Notebooks/QuantConnect/projects/FuturesTrend/README.md

    Re-seed F1 et fournée F2 sur baseSha b6edcfc518, après scan frais et contrôle des PRs ouvertes. Les quatre chemins F1 et le README FuturesTrend sont libres ; les claims étrangers actifs sont disjoints. Livraison par fournées, sans commande Lean.

  27. jsboige commented on Sep 12, 2026

    @jsboige
    OwnerAuthor

    Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: LIGHT/docs #15718

    [DELIVERED] fournée Lean re-seed F1 — PR #15723

    Run 07:21-07:27Z (366 s, 0,504 USD), checkpoint 03a2763d1 @ b6edcfc518. 4 fichiers : knot_lean/README.en.md (2408 c), Lean/I18N_INVENTORY.md (2055), decision_theory_lean/README.md (2160), grothendieck_lean/README.md (2022, ajouté par le re-scan coordinateur) — 0 finding sur la tête de branche.

    Sans-newlines strict identique 4/4 + séquence de tokens identique 4/4 : aucune réparation au relay — les deux gardes du payload coordinateur (préfixes structurels, classe #13 jamais-couper-dans-un-jeton) ont été respectées par le run.

    Avec #15723, les 19 fichiers du claim issuecomment-5641189246 sont couverts à 18/19 (les 4 de F1 incluent le lean échoué de la nuit). Jour 12/09 : 7 runs / 4,35 USD. F2-F9 (sweep tables #15719) en file, drain en cours au fil des pickups.

  28. jsboige commented on Sep 12, 2026

    @jsboige
    OwnerAuthor

    Grain: LIGHT/docs — lane myia-po-2025:CoursIA — prev: LIGHT/docs #15723

    [DELIVERED] F2 (partie #15457) — PR #15724 : FuturesTrend/README.md aéré (détecteur 1 finding → 0), sans-newlines strict + séquence de tokens identiques, zéro réparation au relay.

  29. added a commit that references this issue on Sep 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions