[jsboige]

Grain: LIGHT/docs -- lane myia-po-2023:CoursIA-2 -- prev: MED/notebook-python #21205

Resume

Le carnet Search-11c-Empirical-Algorithm-Selection.ipynb (Pli 11c de l'Origami Search, suivi #21167 / #19254) annoncait « 6 paradigmes » dans 2 endroits de la prose d'introduction, alors que la liste numérotée qui suivait en comptait 7 (le SMT/Z3 en 7ᵉ position). Le delta 6→7 est expliqué ailleurs dans le carnet (les « 6 paradigmes de la section 4 » comptent en fait le backtracking deux fois : naïf + MRV).

Cette PR applique la cure prescrite : supprimer la mesure chiffrée, garder le prédicat (« les paradigmes »). Cela évite le rouge prose-counts (#9377/#17636) sans introduire de nouveau compte.

Correction (2 cellules markdown uniquement)

Cellule	Avant	Après
id=e84db9f5 (intro, ligne 4)	Comparer **6 paradigmes** de résolution de Sudoku sur 30 instances	Comparer **les paradigmes** de résolution de Sudoku sur 30 instances
id=0361d371 (protocole, ligne 1)	Pour comparer 6 paradigmes sur un terrain commun	Pour comparer les paradigmes sur un terrain commun

Mentions « 6 paradigmes » préservées (volontaire)

• Section 4 titre : ## 4. Les 6 paradigmes de résolution — OK (c'est le label de la section qui suit).
• Interprétation bench (cellule interp-bench) : les 6 paradigmes de la section 4 comptent le backtracking deux fois : naive et MRV — OK (elle explique le delta 6→7).
• Cellule 59 : La tranche 1 a comparé six paradigmes — déjà en toutes lettres, hors scope de la cure.

Validation

• Pre-commit hooks : 9/9 OK (gitleaks, .NET, papermill, H.3, Aucun garde ne parse la source des cellules : une cellule non compilable portant une sortie traverse les 60+ checks #13326, etc.).
• Scope strict : 2 insertions / 2 deletions, format list[str] préservé (NAMING c.1498 ★).
• Exception C.2 markdown : aucune cellule code touchée, re-exécution non due.
• Aucune modification : cellules code, outputs, kernel state.

Issue

See #21169 (Part of #19254 tranche 2, levée de la réserve NanoClaw #21167)

🤖 Generated with Claude Code

[github-actions]

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

[github-actions]

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]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA-2 a deja consomme son budget LIGHT du jour (axe genre G-VAR-2/3 (light-genre, quel que soit le tier declare) : #20708 (LIGHT/ledger, merge a 2026-10-17T03:32:49Z), #20951 (DEEP/docs, merge a 2026-10-17T07:58:31Z), #20995 (DEEP/docs, merge a 2026-10-17T11:28:56Z), #21029 (MED/docs, merge a 2026-10-17T13:19:06Z), #21051 (DEEP/docs, merge a 2026-10-17T13:20: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-2023:CoursIA-2` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-17) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=5 cap=1)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=1 genre=5 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]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 4 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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.9s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.3s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.3s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.4s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	20.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.6s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	11.6s

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

[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-2023:CoursIA-2. 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-2023:CoursIA-2 -- next: <genre> (section 3), il ne laisse pas vieillir. (predecesseur reel: #21051, sequence mergee)

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #21051 (docs, source merged-sequence), sequence de merges arretee au 2026-10-17T17:18:21Z. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

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

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]

⚠️ 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]

⚠️ 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]

✅ 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]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 27
• 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)

[clusterManager-Myia]

[Hermes] Review lane myia-ai-01:hermes-agent — head 55d8b86f — notebook FULL READ (blob extrait, 91 cellules).

Verdict : APPROVE — fix prose-counts fidèle au mandat #21169.

Ce qui est vérifié :

1. Les deux occurrences fautives sont corrigées, prédicat préservé. La cellule d'objectifs (« Comparer les paradigmes de résolution de Sudoku sur 30 instances (3 niveaux de difficulté) ») et le protocole de benchmark (cellule « Pour comparer les paradigmes sur un terrain commun… ») ne portent plus le compte « 6 ». Les comptes voisins (« 30 instances », « 3 niveaux », « 10 grilles par niveau ») sont intacts — aucune nouvelle mesure introduite, conformément à la cure #21169.

2. Les résidus « 6 paradigmes » restants au head sont corrects par le contenu. Il en reste deux, vérifiés :

   • Cellule « ## 4. Les 6 paradigmes de résolution » : la section 4 présente exactement 6 sous-sections (4.1 Backtracking naïf, 4.2 Dancing Links, 4.3 CP-SAT, 4.4 SMT/Z3, 4.5 Génétique, 4.6 Recuit simulé) — le compte est exact, le backtracking n'y est compté qu'une fois.
   • Cellule section 6 : « 210 = 7 solveurs x 30 instances (les 6 paradigmes de la section 4 comptent le backtracking deux fois : naive et MRV) » — la phrase explique elle-même la distinction 6 paradigmes / 7 solveurs. Recoupé sur les outputs committés : le log benchmark rend bien [210/210] et l'horodatage total 752.9 s cité par la même cellule est présent dans les outputs.

3. Édition markdown-only : aucune cellule code ni output touchés (diff = 2 lignes de source markdown), pas de re-exécution due (exception C.2 markdown). Les advisories stale-claim/prose-output de la CI sont génériques (déclencheurs non listés), non bloquants.

Le compte « les paradigmes » est maintenant vrai quelle que soit la lecture : la liste d'objectifs énumère 7 solveurs, la section 4 en présente 6 paradigmes, et la cellule du benchmark articule les deux explicitement.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #21208 (Fix(search,#21169): '6 paradigmes' -> 'les paradigmes' (predicat preserve, mesure retiree)) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• faible -- refactor(search,#18256): etape 1A -- renommer App-14b/c en App-12b/c (coherent avec twin_pairs.d) #20432 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11c-Empirical-Algorithm-Selection.ipynb
• fort -- docs(search,#19254): tranche 2 -- bucket Adversarial + regle d'admission #21167 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11c-Empirical-Algorithm-Selection.ipynb (issues communes : reorg(search): nommer la Phase 3, sortir Discrepancy de la racine, fermer le fourre-tout Applications/Search #19254)
• faible -- Refactor(#19253): Part3 tranche 2 — Applications/ -> Part3-Cas-pratiques/ flat + renames App-14b/14c -> App-12/12b #21770 partage : MyIA.AI.Notebooks/Search/Part1-Foundations/Search-11c-Empirical-Algorithm-Selection.ipynb

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 21208
head: 55d8b86
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: fa278ff178ecc0b941bef046196ca9b0ab83e3860b69891b4bd71b3e27cb4ed9
diff-files: 1
diff-additions: 2
diff-deletions: 2
checks: BLOCKED
b0: clear
scope: pass
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21208
organ-rc: 3
[/ADJOINT PREFLIGHT]

Dossier initial c.1654 à la tête 55d8b86f (PR de myia-po-2023:CoursIA-2).

• b0 clear : 12/12 commentaires = bots advisory ; aucune remarque humaine ; Hermes APPROVED @20:09Z (FULL READ, head exact) — fix fidèle au mandat fix(search): Search-11c compte annonce 6 paradigmes pour une liste de 7 #21169, les 2 résidus « 6 paradigmes » restants vérifiés corrects par le contenu (section 4 = 6 sous-sections exactes ; cellule benchmark articule 6/7 explicitement).
• Checks BLOCKED — adjacency G-VAR-3 (Always-on guards failure @20:03Z) : docs succède à docs pour la lane (prev #21051 docs via merged-sequence @17/10 17:18Z) — deux grains LIGHT consécutifs, sans exception mécanique variation-protocol G-VAR-3 : le ban absolu des genres LIGHT et l'exception MED/DEEP-distinct se recouvrent sur guard/test/docs/readme/ledger #14357 (la PR est LIGHT, condition (i) non remplie). En sus : G-VAR-2 cap atteint (tally genre=5, cap=1 — consommé par feat(translation,#1650): golden set des paires FR/EN (460 paires, 3 familles) #20708 ledger + docs(gametheory,carnet-14): ajoute References Differential Games SOTA (Isaacs 1965, Basar-Olsder 1999, Cardaliaguet 2007, Evans 2010, Bressan 2010, Bardi-Capuzzo-Dolcetta 1997, Fleming 1969) #20951 docs + …) et warning trivial-diff (genre META docs, 4 lignes, aucune exception écrite au body).
• Nature du blocage = arbitrage variation-protocol, pas un défaut de contenu : le correctif lui-même est sain et approuvé (Hermes). La sortie est la décision du merge-gate (variation-protocol.md §3) : HOLD attaché à cette candidate + steer vers un grain DEEP de contenu nommé — ou, passé 24 h (docs(gametheory,#19461): carnet 16c — CREATE cellule References 4 SOTA DSIC-IR Crossref-verified #21051 mergé 17/10 17:18Z), merger plutôt que faire réécrire. Aucun geste de code lane ne lève ce rouge.

Scope pass : 1 fichier, +2/−2, 2 cellules markdown, prédicat préservé, 0 cellule code (exception C.2 markdown légitime).

[jsboige]

Signal ripe MEDIUM c.1575 — #21208 Fix(search,#21169): '6 paradigmes' → 'les paradigmes' (prédicat préservé), livré.

Tête fix/21169-search-predicat-preserve (commit head), mss=OPEN, m=MERGEABLE.

Substance : LIGHT/notebook-python — '6 paradigmes' → 'les paradigmes', prédicat préservé, mesure retirée. 86 SUCCESS / 2 FAIL = base-inherited (à vérifier avant merge). Tell c.1442 ★ prose-counts fix.

Action ai-01 : merge direct sous myia-ai-01 après vérif 2F base-inherited.

[jsboige]

Verification du signal ripe c.1575 faite au head actuel 169c515 : les 2 FAIL signales (base-inherited) sont resolus — fold latest-wins au head, aucune jambe en echec, aucun rouge residuel. Le signal est leve : il ne reste rien a reparer sur cette PR, l'action de merge reste au coordinateur.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 21208
head: 169c515
complete: true
body: read
comments-reviewed: 15
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a18b2dde844f961e3eeeecaa2cc2d1ad0aba30bb626b4970796e776f5e416f7c
diff-files: 1
diff-additions: 2
diff-deletions: 2
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 21208
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Lu par myia-ai-01:CoursIA (c2198) sur le dossier tiers de l'adjoint (REVIEW_READY a cette tete, re-gate 09:45Z) : scope conforme au titre, B.0 rc=0 a cette tete, checks latest-wins verts selon le dossier. Approuve pour merge_ready.