fix(prose-counts,#17636): ML g8-ml-1 — retrait des mesures d'artefact en prose markdown (5 carnets, 9 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)

fix(prose-counts,#17636): ML g8-ml-1 — retrait des mesures d'artefact en prose markdown (5 carnets, 9 gestes)

Contexte

Grain vibe g8-ml-1 dispatché par le feeder à 09:08Z (repli local après timeout WAKE 08:59Z — écriture durable vérifiée par relecture, aucun doublon), run 09:06Z $1.34, relais shepherd 12:1x locale. Recette arbitée ai-01 (c.5860054240), tri avant geste : une mesure d'artefact (compte rédigé à la main qui dérive à chaque évolution du dépôt) se supprime, le prédicat qualitatif se conserve.

Tri KEEP refait à la main par la lane : le commit initial ne portait aucun tri (%b vide) et annonçait « 10 carnets » — le diff firsthand mesure 5 carnets, 9 gestes (le tally du worker ment — règle #4 du mandat).

Les 9 gestes, par carnet

• 1.2-NumPy : « 18 cellules code » retiré du résumé de coût (durée « < 5 s » gardée — durée mesurée, pas compte).
• 2.3b-Naive-Bayes : « Le code de 10 lignes » → « Le code » (mesure brute d'artefact) ; prédicat de preuve gardé.
• 2.7c-SVM : « tient en deux lignes » → « vaut » ; « se reconstruit en deux lignes » → « se reconstruit » (2 gestes).
• 3.9g-Compression : « 25 lignes », « 1 ligne d'API », « 25 LOC contre 1 », « les 14 du pruneur » retirés (4 mesures LOC) ; prédicats lisibilité/convergence gardés.
• 4.2g-Ultralytics : « ~400 lignes », « les trois lignes de model.train » retirés (2 mesures LOC cross-notebooks) ; prédicat wrapper-vs-from-scratch gardé.

KEEP justifiés : durées mesurées (durées, pas comptes), précisions numériques de résultats (0.925, ±0,02), ordres de grandeur temporels (qualitatif), quantités de données 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 (5/5).
• Aucun fichier en paire jumelle (registre twin_pairs.d scanné).
• Anti-collision : 0 PR ouverte touchant les 5 fichiers (scan REST ciblé).
• Rebase origin/main propre, commit amendé avec le tri complet.

Claim paths: posé sur #17636.

🤖 Generated with Claude Code

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

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.2s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.8s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.4s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.6s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	17.8s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.0s

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

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

Notebook PR Validation: PASS

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

[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=0 genre=3 cap=4)
• 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.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 18381
head: 656cd53
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 156b6cefd309da2f048410b5e48fbc0c65abb01071c95b46364a71c978bb71a4
diff-files: 5
diff-additions: 11
diff-deletions: 11
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier neuf a la tete 656cd53 (lot B ai-01, oldest-first). Mesures firsthand de ce cycle : fold latest-wins vert -- PR gate SUCCESS a 13:43:29Z, l'echec anterieur de 09:25Z est supersede ; zero rouge residuel ; B.0 rc=0 ; mergeable, mergeStateStatus CLEAN. Dernier commentaire = advisory G-VAR genre-signals, qui declare explicitement que cette PR (classe CONTENU) ne contribue pas au motif et ne doit pas etre HOLD -- aucun dossier tiers vivant a cette tete. Merge et lecture finale a ai-01.