fix(prose,#17636): relay burst w4 c12 -- 9 carnets GameTheory + QuantConnect (md-only) by jsboige · Pull Request #18516 · jsboige/CoursIA

jsboige · 2026-09-29T23:35:13Z

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

Summary

Relais shepherd (burst w4 c12) de la mission prose-counts #17636 — 9 carnets (vagues w4-15 GameTheory + w4-16 QuantConnect), suppression stricte de mesures d'artefact en prose markdown, recette arbitrée ai-01 (c.5860054240), édition markdown uniquement.

Provenance : commits des workers Vibe (checkpoint-commits locaux, livraison par la lane) :

Carnet	Commit worker	Cellules md	Classification
GameTheory-15d-Mobius-Coalitions-Lean-Python	`821a5718b`	2	mesures d'artefact resorbées, prédicats gardés
GameTheory-03-Topology2x2-Python	`8d21b0ffe`	1	idem
GameTheory-06b-Lean-RepeatedGames-Lean-Python	`7fba74296`	13	idem (passe large, toujours md-only)
GameTheory-20d-Loi-II-Translateur-Life-Python	`51fca2b81`	1	idem
SocialChoice/01b-Lean-SocialChoice-Formal	`3e4406654`	1	idem
QC-Py-Cloud-03-Risk-Parity	`aa66b4124`	1	idem
projects/Research-Executor/research	`fa934b4f9`	1	idem
QC-Py-22-Deep-Learning-LSTM	`f6180a2df`	5	idem
QC-Py-Cloud-01-FinBERT-Sentiment	`6149ff815`	2	idem

Validation

Batterie byte-surgical sur le résultat cherry-piqué vs origin/main : 0 cellule code touchée (sources, outputs, execution_count, ids byte-identiques), 27 cellules markdown modifiées, positions inchangées, metadata/nbformat identiques — 9/9 PASS.
check_prose_quantitative_claims.py --diff origin/main...HEAD : rc=0 (« aucun compteur quantitatif en prose »).
Supersession vérifiée : bases des 9 shards ancêtres de origin/main (cherry-pick sans conflit), aucun des 9 carnets touché par origin/main depuis.
Aucune PR ouverte ne touche ces 9 chemins (collision guard L898).
Éditeur md-only : aucune re-exécution due (C.2 non déclenché — aucune cellule source modifiée). Quantbooks QC : prose markdown seule, contenus de cellules code inchangés.

See #17636 (mission en cours, tranche non close par cette PR).

Note G-VAR : genre META (docs) — ne tient pas le plancher G-VAR-1 ; mission coordinator GO ai-01 27/09 (file Vibe), exécutée en file du cycle.

🤖 Generated with Claude Code

…Connect, md-only Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>

github-actions · 2026-09-30T00:01:33Z

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions · 2026-09-30T00:09:18Z

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

github-actions · 2026-09-30T00:09:22Z

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

github-actions · 2026-09-30T00:09:25Z

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

github-actions · 2026-09-30T00:09:38Z

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

github-actions · 2026-09-30T00:11:27Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.6s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.8s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.2s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	19.1s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

github-actions · 2026-09-30T00:16:18Z

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 89 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

github-actions · 2026-09-30T00:27:04Z

Notebook PR Validation: PASS

Notebooks checked: 9
Code cells validated: 119
Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

…seline edition md-only cote Python Registre gametheory-3-topology2x2 : entree known_differences datee (prose-counts #17636, titre de section allege du compteur d'artefact) + fichier d'audit 0014. Attestation verifiee contre les blobs committes. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>

jsboige · 2026-09-30T06:04:03Z

Reparation de la lane (cycle 30/09) : attestation de parite GameTheory-3 Topology2x2 reposee (audit 0014, entree known_differences datee) au commit 719b8c9. Gate local : blobs verifies base et head, aucune paire introduite.

github-actions · 2026-09-30T06:21:37Z

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2025:CoursIA a deja consomme son budget LIGHT du jour (#18467 (merge a 2026-09-30T05:50:58Z)).
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 · 2026-09-30T06:21:56Z

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-30) :

CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=2 cap=1)

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 · 2026-09-30T06:22:39Z

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: #18479, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #18479 (docs, source merged-sequence), sequence de merges arretee au 2026-09-30T06:13:52Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18516

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>

jsboige · 2026-09-30T06:55:14Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18516
head: 719b8c9
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: b46fc666b6c9220247f1f31339eb3527d200481f731bd64e8c4db3651b13f2c3
diff-files: 11
diff-additions: 51
diff-deletions: 45
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

github-actions · 2026-09-30T08:43:43Z

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: #18479, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #18479 (docs, source merged-sequence), sequence de merges arretee au 2026-09-30T08:42:11Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18516

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>

…ur '8 notebooks' La reformulation du relais avait introduit un compte en prose (« Le registre compte **8 notebooks de recherche** ») -- classe exacte que la campagne retire. Mesure supprimee, predicat conserve (« Le registre recense les notebooks de recherche du projet »). Md-only, aucune cellule code touchee. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>

github-actions · 2026-09-30T09:04:54Z

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: #18479, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #18479 (docs, source merged-sequence), sequence de merges arretee au 2026-09-30T09:02:08Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18516

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>

github-actions · 2026-09-30T18:35:50Z

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: #18591, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #18591 (docs, source merged-sequence), sequence de merges arretee au 2026-09-30T18:11:44Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18516

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 · 2026-10-01T10:09:04Z

[G-VAR-3 OVERRIDE] lane myia-po-2025:CoursIA -- next: notebook-python

Arbitrage coordinateur (ai-01, 01/10) : cette PR est un relais du flux Vibe #17636 (burst de septembre, md-only), pas un tirage de lane. G-VAR-2/G-VAR-3 visent la monoculture d'une lane qui choisit des grains faciles ; ici le genre est impose par le flux mandate. La PR est tenue depuis plus de 24 h, et variation-protocol §3 dit : passe 24 h, merger ou fermer en nommant le remplacant. Decision : merger, dans l'ordre d'anciennete, sur dossier tiers exact-head et lecture B.0. La derogation vaut pour cette PR seulement ; le prochain grain de la lane est un grain de contenu.

jsboige · 2026-10-01T11:57:40Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 18516
head: 9f4970c
complete: true
body: read
comments-reviewed: 17
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 40a14c468efbe66c7eff7acbfe015057bf12b33bb54c1aab12bca63344ca320c
diff-files: 11
diff-additions: 51
diff-deletions: 45
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

fix(prose,#17636): relay burst w4 c12 -- 9 carnets GameTheory + Quant…

963c4d2

…Connect, md-only Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>

jsboige mentioned this pull request Sep 29, 2026

fix(prose,#17636): relay burst w4 c13 -- rlpt_0d_reward + Lean-10-LeanDojo + 02-2-FLUX-1 (3 carnets, md-only) #18517

Merged

github-actions Bot added the consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) label Sep 30, 2026

github-actions Bot added the trivial-diff-advisory Diff trivial : grain META mecanique sans fournee ni exception ecrite (#15740) label Sep 30, 2026

jsboige mentioned this pull request Sep 30, 2026

fix(site,#18421): 58 notebooks hr-bloques convertis --- vers *** + regen _quarto.yml (1181 rendus) #18429

Merged

2 of 4 tasks

jsboige and others added 2 commits September 30, 2026 06:30

Merge branch 'main' into fix/vibe-relay-w4-c12

39104a1

github-actions Bot added the variation-light-cap-reached Lane ayant deja merge une LIGHT aujourd'hui (cap G-VAR-2 atteint) label Sep 30, 2026

github-actions Bot added the variation-genre-cap-exceeded light_genre > cap partage G-VAR-2 (#10020, advisory) label Sep 30, 2026

github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 30, 2026

jsboige mentioned this pull request Sep 30, 2026

Scripts Tests rouge sur main : doublon d'index 0013 dans le registre twin probas-3-factor-graphs (sha orphelin en dernier audit) #18557

Closed

Merge branch 'main' into fix/vibe-relay-w4-c12

1a019fb

Merge branch 'main' into fix/vibe-relay-w4-c12

9f4970c

github-actions Bot added the variation-tier-inflation declared LIGHT << effective LIGHT-genre (#10020, advisory) label Sep 30, 2026

myia-ai-01 merged commit c997230 into main Oct 1, 2026
97 of 103 checks passed

Conversation

jsboige commented Sep 29, 2026

Summary

Validation

Uh oh!

github-actions Bot commented Sep 30, 2026

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

Uh oh!

github-actions Bot commented Sep 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Sep 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Sep 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Sep 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions Bot commented Sep 30, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden-Set Execution (H.7 P3)

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Notebook PR Validation: PASS

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

myia-ai-01 commented Oct 1, 2026

Uh oh!

jsboige commented Oct 1, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions Bot commented Sep 30, 2026 •

edited

Loading

github-actions Bot commented Sep 30, 2026 •

edited

Loading

github-actions Bot commented Sep 30, 2026 •

edited

Loading

github-actions Bot commented Sep 30, 2026 •

edited

Loading

github-actions Bot commented Sep 30, 2026 •

edited

Loading