fix(sweep,#16472): fournee g2-residu — HINT-AS-HEADING a 0 sur 10 notebooks + rebaseline

[jsboige]

Fournee #16472 — g2-residu-petits-domaines

17 findings HINT-AS-HEADING demotes en callout blockquote > **X :** (convention
#8647/#8654/#8630) sur 10 notebooks, tous a 0 finding apres coup.

Reassessment (obligatoire au contrat #16472)

0 FP retenu : tous les findings sont des asides ou des marqueurs d'exercice
(Indice, Note, Etapes, Pistes, TODO etudiant), aucune vraie section
referencee par une nav. Les 3 MULTI-H1 et 11 H1-DEEP co-localises disparaissent
avec la demotion — 0/10 notebooks flagged apres.

Recettes utilisees

• outil demote_md_asides.py (famille curee) : Planners-6-Domains ×2, Z3-03-Tactics ×3
• manuel (hors liste curee, before/after au commit) : PT_11b ×1, Oversight-Scaling ×3,
  04-SemanticKernel ×1, 2.5c ×1 (bloc 5 lignes, bug(notebooks): la demotion HINT-AS-HEADING coupe les indices multi-lignes (bloc de plusieurs lignes '# ') #17143 : continuations > , colon parasite evite),
  2.9e ×1, ML-10-TSAD ×3, PyMC-04 ×1, Search-01 ×1
• Split-callout bug(notebooks): la demotion HINT-AS-HEADING coupe les indices multi-lignes (bloc de plusieurs lignes '# ') #17143 : 0

Integrite

Markdown-only byte-surgical verifie par programme : outputs, execution_count, metadata,
ids et cellules code byte-identiques ; CR=0 ; LF-only ; ecriture
json.dumps().encode('utf-8') (jamais nbformat.write), aucun scrubbing d'output.

Rebaseline dans la meme PR (contrat)

113 -> 51 findings, 34 -> 13 notebooks. Pur burndown, verifie par programme :
aucune augmentation — ni par notebook, ni par couple notebook/code — et aucune entree
nouvelle. Les 21 notebooks retires du baseline scannent 0/21 en direct ; 8 des 10
fichiers de la fournee y figurent, les 2 autres etaient deja a 0 dans le baseline precedent.

Les 13 retraits hors fournee sont attribuables a des PRs atterries depuis le baseline
precedent (21/09) — p.ex. #17142 « g2-residu-b2 » —, verifie merge-base --is-ancestor
contre origin/main.

Note sur le nom de branche

La branche est wt/mistral-hint-*, pas wt/vibe-* : FROZEN_BRANCH_PREFIXES
(scripts/coordination/frozen_campaigns.py, importe par merge_ready.py) range tout
wt/vibe-* dans la famille gelee #13410 quelle que soit son issue reelle, donc une PR
wt/vibe-* n'est jamais mergee automatiquement. Le generateur portait ce couplage en dur ; correctif dans
jsboige/roo-extensions#3864 (prefixe par contrat + nom de branche non brule).

🤖 Generated with Claude Code

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

• mergeable_state = blocked (pas dirty) ;
• aucun evenement base_ref_changed dans la timeline ;
• le sujet du commit de tete ne porte pas le token [skip ci] ;
• auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=blocked, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

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

Notebook PR Validation: PASS

• Notebooks checked: 10
• Code cells validated: 145
• 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]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.2s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.7s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	5.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.9s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.8s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	21.0s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	6.2s

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

[github-actions]

Grain tag obligatoire (#10045, bloquant).

Grain tag absent (no Grain: / in body).

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

[github-actions]

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

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17853 (fix(sweep,#16472): fournee g2-residu — HINT-AS-HEADING a 0 sur 10 notebooks + rebaseline) 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(density,#17040): redressement paquet P18 — SMT/Z3-API + SemanticWeb #17059 partage : MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-03-Tactics-Python.ipynb
• faible -- feat(argumentation,#17547): sub-series Onto/Obs with own numbering (PR 2/3) #17721 partage : scripts/notebook_tools/md_hierarchy_baseline.json
• fort -- fix(sweep #16472, g2-residu-petits-domaines): demote HINT-AS-HEADING to blockquote callouts (10 notebooks, 31 findings -> 0) #17852 partage : MyIA.AI.Notebooks/GenAI/PostTraining/PT_11b_grpo_qwen_rlvr_on_verifiers.ipynb, MyIA.AI.Notebooks/GenAI/Security/Oversight/Oversight-Scaling-Laws-Analytics.ipynb, MyIA.AI.Notebooks/GenAI/SemanticKernel/04-SemanticKernel-Filters-Observability.ipynb, MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.5c-Equite-Sous-Groupes.ipynb, MyIA.AI.Notebooks/ML/DataScienceWithAgents/02-ML-Cours/2.9e-MIPS-Extraction-Programme.ipynb, MyIA.AI.Notebooks/ML/ML.Net/ML-10-TSAD-Benchmark-Flaws-Python.ipynb, MyIA.AI.Notebooks/Probas/PyMC/PyMC-04-Bayesian-Networks.ipynb, MyIA.AI.Notebooks/Search/Part1-Foundations/Search-01-StateSpace.ipynb, MyIA.AI.Notebooks/SymbolicAI/Planners/02-Classical/Planners-6-Domains.ipynb, MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-03-Tactics-Python.ipynb, scripts/notebook_tools/md_hierarchy_baseline.json (issues communes : Sweep: resorber les 180 findings HINT-AS-HEADING en fournées (hierarchie markdown, organes scan_md_hierarchy + demote_md_asides) — mine lane Mistral Vibe #16472)

[myia-ai-01]

[CLOSE] lane myia-ai-01:CoursIA — doublon de #17852.

Les deux PRs livrent la même fournée g2-residu-petits-domaines du sweep #16472, à 46 s d'intervalle. Vérifié à la source : les 10 carnets touchés sont identiques blob pour blob (git rev-parse <branche>:<fichier>, 10/10 égaux).

#17852 survit. Elle porte déjà les 4 attestations de parité des jumeaux (Twin parity audit vert) et un tag Grain: lisible ; cette PR-ci n'a ni l'un ni l'autre, et elle est en outre retenue par le gel de campagne. Merger les deux appliquerait deux fois la même démotion.

Rien n'est perdu : le contenu est intégralement porté par #17852.