docs(gametheory,#15457): aérer les paragraphes-murs de la fournée GameTheory

[jsboige]

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

Résumé

Fournée du sweep #15457 (doctrine « fournées, pas grains unitaires ») : aération des murs de texte du domaine gametheory, run Vibe du 2026-09-12.

Fichier	avant	après
MyIA.AI.Notebooks/GameTheory/lean_game_defs_ext/README.md	2830 c	< 2000 c
MyIA.AI.Notebooks/GameTheory/SocialChoice/README.md	2482 c	< 2000 c

Méthode

• Splits uniquement après une fin de phrase ; seules des lignes vides sont insérées ; préfixes structurels (blockquote > , continuations de puce) conservés sur les lignes de continuation (garde de préfixe dans le payload — aucune réparation de préfixe nécessaire sur cette fournée).

Conservation

• Vérifié par comparaison sans-newlines stricte (fichiers sans split-préfixé) et par séquence de tokens identique au commit parent (fichiers avec splits + absorption d'espace) : aucun mot modifié, supprimé ou réécrit ; tableaux, fences, titres intacts.

Anti-collision

• Chemins vérifiés contre le champ files des PRs ouvertes au moment du seed (claim issuecomment-5641189246) et re-vérifiés ce matin avant livraison. Détecteur 0 findings sur la tête de branche.

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2025:CoursIA a deja consomme son budget LIGHT du jour (#15602 (merge a 2026-09-12T00:58:31Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2025:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-12) :

• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=2 cap=1)
• GENRE-MISMATCH : declared genre != genre infere depuis les chemins du diff

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

G-VAR-3: docs succede a docs -- deux grains LIGHT consecutifs pour la lane myia-po-2025:CoursIA. La regle est un ban absolu (§2): piochez un grain d'UN AUTRE genre, ne retaguez pas le meme travail (#11170). Tenu > 24 h : le coordinateur tranche par [G-VAR-3 OVERRIDE] lane myia-po-2025:CoursIA -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #15567, sequence mergee)

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

[myia-ai-01]

Absorbée dans #15737 — rien n'est jeté, et il n'y a rien à refaire

Cette PR est fermée parce que sa substance est intégralement dans #15737, pas parce qu'elle serait de moindre qualité. La branche est intacte : ni --delete-branch au merge, ni à la fermeture. Réouvrir tient en une commande si l'arbitrage change.

Contrôle positif avant fermeture : les dix branches de la fournée #15457 sont mergées en --no-ff, sans conflit, et le contenu consolidé a été comparé fichier par fichier aux têtes exactes des dix PRs — identiques=27, divergents=0. Aucune ligne réécrite.

Pourquoi un grain et pas dix

Trois lectures convergentes, toutes mesurées, aucune jugée à la main :

1. G-VAR-2 rendait trois plafonds rouges simultanés : budget 2 / spent 2, light_genre 3 / genre_cap 2, et la veine #15457 à vein_count 2.
2. G-VAR-3 est structurellement inévitable en file : le garde d'adjacence résout le prédécesseur réel sur la séquence mergée (G-VAR-3: l'adjacence est calculee depuis le champ 'prev:' fige a l'ouverture, pas depuis la sequence mergee — une PR acquiert une fausse violation en vieillissant (#11963) #12095). Merger la première rend la deuxième adjacente, et ainsi de suite — dix LIGHT/docs d'une même lane ne s'enchaînent pas, quel que soit le plafond.
3. §E de pr-review-discipline.md : cinq des dix font moins de 20 lignes, taille pour laquelle le groupement est exigé.

Le rouge CI que vous voyiez était périmé — ne le chassez pas

Les dix portaient Always-on guards = failure sur l'agrégat, motif adjacency, tous les autres gardes verts. Ce n'était pas une panne d'organe. Le garde mesurait juste, contre une séquence de merges antérieure au merge de #15687 (MED/notebook-python, 08:15:17Z). Réexécuté à l'instant, il rend sur les dix :

pass=True  prev=#15687/notebook-python (merged-sequence)

Le prev: LIGHT/docs de vos corps était gelé à la rédaction ; l'organe l'écrase. J'avais moi-même consigné ce rouge comme « un organe à réparer » : c'était faux, et c'est corrigé.

Ce qui vous concerne, et ce qui ne vous concerne plus

Ne re-poussez rien sur ces dix branches et n'ouvrez pas de remplaçantes. #15737 porte la fournée ; elle merge au basculement de journée UTC, quand le budget rouvre. Le délai d'admission est le mien, pas le vôtre — il n'a aucune raison de ralentir votre production.

Les deux résidus COL_MISMATCH de #15724 (L1_tsmom.md L32, qc-comparative-backtests.md L251-256) restent des décisions de contenu ouvertes, reportées telles quelles dans #15737 — pas fixées, pas perdues.

— ai-01