chore(prose-counts,#17636): Probas g10-probas — résorption des mesures d'artefact en prose markdown (4 carnets, 11 gestes)

[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: série tellc #18079-83 mergée 27/09 (dernier merged lane ; les PRs md #18252+ restent en attente du fix de gate #18318)

chore(prose-counts,#17636): Probas g10-probas — résorption des mesures d'artefact en prose markdown (4 carnets, 11 gestes)

Contexte

Grain vibe g10-probas dispatché par le feeder à 10:56Z (baseSha recalée d936e33d), run 10:59Z $0.95, relais shepherd 14:1x locale. Recette arbitée ai-01 (c.5860054240), tri avant geste.

Tri du worker présent pour 3 carnets ; la lane a vérifié chaque geste firsthand et ajouté le 4ᵉ (Infer-15) absent du tri initial.

Les gestes, par carnet

• DecInfer-02-Lean-ExpectedUtility : « 3 libs » → « des libs », « les 3 modules » → « modules » (×2), « (0 sorry) » supprimé, « zéro sorry » → « sans sorry », « 0-sorry » → « sans sorry » (6 gestes — prédicats de complétude gardés qualitativement).
• DecInfer-08-Sequential : « les 7 notebooks » → « les notebooks » (taille de série, dérive).
• DecInfer-09-Lean-Gittins : « les deux cellules » → « les cellules », « (8 sorry au total : 2 INTRINSIC lake + 6 locaux) » supprimé du titre 7.2 (le répertoire détaillé reste), « (0 sorry) » supprimé (3 gestes).
• Infer-15-Recommenders (ajouté par la lane) : « (13 notebooks) » retiré de la ligne de félicitations (taille de série).

KEEP justifiés : noms des modules/libs (Utility, Gittins, Coherence, Basic, Axioms, Representation), « pas de sorryAx » (prédicat), « prouvés via Mathlib » (fait), répertoire 7.2 détaillé des sorry (contenu du domaine).

Gates vérifiés firsthand (relais)

• check_prose_quantitative_claims.py --diff origin/main...HEAD --strict : rc=0.
• 0 cellule code touchée : sources byte-identiques, compte identique (4/4).
• Jumeau Probas-15 Recommenders : drift C# = notre seul commit (lignée vérifiée), ré-attestation 0020-2026-09-29-myia-po-2025-CoursIA commitée — paire [OK] native-both, côté PyMC inchangé.
• Périmètre effectif (5 fichiers) : DecInfer-02-Lean-ExpectedUtility.ipynb, DecInfer-08-Sequential.ipynb, DecInfer-09-Lean-Gittins.ipynb, Infer-15-Recommenders.ipynb, scripts/notebook_tools/twin_pairs.d/probas-15-recommenders/0020-2026-09-29-myia-po-2025-CoursIA.yaml (attestation jumelle). Anti-collision : 0 PR ouverte touchant ces fichiers (fix(notebooks,#17550): tranche 15/16 DecInfer-07-Expert-Systems -- 1 cellule code C# newlines doublage #18255 = DecInfer-07, hors périmètre).
• Rebase origin/main propre (2 commits : grain + attestation).

Claim paths: posé sur #17636.

🤖 Generated with Claude Code

[github-actions]

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

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

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/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-29) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=4 cap=6)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	11.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	12.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	16.1s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	13.7s
Search-01-StateSpace.ipynb	✅ SUCCESS	10.8s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	9.7s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	97.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	14.5s

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

[github-actions]

Notebook PR Validation: PASS

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

[jsboige]

Rouge Scripts Tests (CPU) = base-inherited, pas un défaut de cette PR : le notebook touché (PT_16_vericoding_formal_verification.ipynb) n'est pas dans le diff.

• Reproduit firsthand sur main local (dc1c3c33df, avant tout patch) : test_real_registry_lives_against_main_repo FAIL — 1 entrée 2509.22908 pointe cell_index: 24, cellule devenue l'Exercice 3 après le décalage des cellules par le merge fix(genai,#16751): PT_16 -- cellule debat de cloture « le langage naturel n'aide pas » #18361 (d936e33d4c). La citation survit intacte en cellule 25.
• Fix livré : PR Fix(registry): PT_16 arxiv 2509.22908 -- cell_index 24 -> 25 (rouge main herite de #18361) #18399 (une ligne de registre, 24 -> 25 ; 15/15 tests verts après). Ce rouge frappe toute PR ouverte passant Scripts Tests (CPU) depuis ce merge.
• Rouge Always-on guards : l'organe en échec était perimeter (assertion « 4 fichiers » du body vs 5 fichiers effectifs, l'attestation jumelle twin_pairs.d/probas-15-recommenders/0020-...yaml en plus) — corrigé dans le body par énumération nommée des 5 fichiers.

Action lane : --ignore-red au tirage au motif de cette dépendance ; les jambes seront rejouées dès #18399 mergée.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #18389 (chore(prose-counts,#17636): Probas g10-probas — résorption des mesures d'artefact en prose markdown (4 carnets, 11 gestes)) 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 -- fix(site,#18421): 58 notebooks hr-bloques convertis --- vers *** + regen _quarto.yml (1181 rendus) #18429 partage : MyIA.AI.Notebooks/Probas/DecisionTheory/DecInfer/DecInfer-08-Sequential.ipynb

[jsboige]

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

Dossier neuf a la tete 9f265f4 (lot B ai-01). Mesures firsthand : fold latest-wins vert -- PR gate SUCCESS a 14:41:58Z ; le rouge Scripts Tests (CPU) base-inherited decrit par la lane (corrige par #18399) n'apparait plus au fold ; zero rouge residuel ; B.0 rc=0 ; mergeable, CLEAN. Dernier commentaire = path-collision advisory faible avec #18429 sur DecInfer-08-Sequential.ipynb : la partenaire est actuellement BLOCKED, l'ordre eventuel reste a trancher par ai-01 si elle verdit avant. Merge et lecture finale a ai-01.