[jsboige]

Grain: LIGHT/docs — lane myia-po-2023:CoursIA — prev: LIGHT/guard #21674

Sujet

Fournée Riemann200 de la mine #16472 (démotion HINT-AS-HEADING), servie via le claim c.6300402709. Ce lot épuise le drift Riemann200 (10 findings) mesuré sur la baseline scan_md_hierarchy : 10 findings réparés sur 1 carnet, 0 FP.

Re-scan frais (reassessment, chaque finding = une décision)

Carnet	Cellule	Finding	Décision
SymbolicAI/Lean/Riemann200/07-geometrie-riemannienne.ipynb	25	bloc # Indice : sur 2 lignes → 2 H1 + 1 HINT-AS-HEADING	CONFIRMÉ — indice d'exercice sous ## Exercice 1, pas une section
idem	27	bloc # Indice : sur 2 lignes → 2 H1 + 1 HINT-AS-HEADING	CONFIRMÉ — même forme sous ## Exercice 2
idem	29	bloc # Indice : sur 2 lignes → 2 H1 + 1 HINT-AS-HEADING	CONFIRMÉ — même forme sous ## Exercice 3
idem	0/25/27/29	MULTI-H1 (7 H1 dans 4 cellules)	résorbé par les 3 démotions — il ne reste que le H1 titre de la cellule 0

Les 6 findings H1-DEEP et 3 HINT-AS-HEADING du rapport viennent des deux lignes de chaque bloc (chacune commençant par #), plus le MULTI-H1 : 10 findings, tous CONFIRMÉS.

Livraison

• 3 démotions bloc-unité au format bug(notebooks): la demotion HINT-AS-HEADING coupe les indices multi-lignes (bloc de plusieurs lignes '# ') #17143 : tête > **Indice :** <texte> (ligne conservée telle quelle, seul le # devient > **Indice :** ), continuation > <texte> — diff 6 insertions / 6 deletions strict, aucune ligne voisine touchée.
• Markdown-only : execution_count/outputs/metadata/IDs intacts — C.2 exempt de ré-exécution ; pré-commit H.3 au commit.
• Layout JSON round-trip vérifié avant écriture (json.dumps(indent=1) reproduit les bytes bruts) ; écriture binaire LF-only (contrainte organ L965) ; cellules voisines comparées byte-identiques (assertion dans le script de chirurgie).
• Organe non étendu : la forme # Indice : sur plusieurs lignes n'est pas dans la liste curatorée de demote_md_asides.py ; démotion manuelle au format callout, conforme à la recette EPIC.

Mesures

• Scan ciblé du carnet : 10 findings (1/1 flagged) avant → 0/1 flagged après.
• Rapport de drift de la branche : Riemann200 absent (delta 0) ; les positifs restants sont 07_Code_Interpreter +1 (brûlé par fix(genai,#16472): fournée hint-as-heading GenAI — 2 démotons callout canoniques + 1 FP documenté (drift -2 imputables) #21671, ouverte) et ML-09c +8 (dernière fournée de la mine, claim c.6300402709), plus deux burndowns hors périmètre.
• Quota EPIC (≥10 réparés/PR) : 10 CONFIRMÉS, 0 FP — quota atteint sur cette fournée.

See #16472 (mine, fournée Riemann200) · See #3966 (pathologie HINT-AS-HEADING)

🤖 Generated with Claude Code

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2023:CoursIA a deja consomme son budget LIGHT du jour (#20599 (merge a 2026-10-20T19:57:09Z)).
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]

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

⚠️ 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 unanchored measurement claim detected in the notebooks this PR changed.

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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.8s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	6.8s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	7.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	7.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	6.4s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	3.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	29.7s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	4.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	19.7s

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

[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 outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

Notebook PR Validation: PASS

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

Path-collision (organ #13359/#13615)

Cette PR #21677 (fix(notebook,#16472): fournee Riemann200 -- 3 blocs Indice demotes en callout (bloc-unite #17143)) 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.

• terminal -- Add(riemann200,#20403): R-07 geometrie riemannienne -- habilitation 1854 (metrique, distance, courbure) #20654 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/07-geometrie-riemannienne.ipynb, recouvrement de chemins 50% -- Add(riemann200,#20403): R-07 geometrie riemannienne -- habilitation 1854 (metrique, distance, courbure) #20654 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[myia-ai-01]

Revue coordinateur à la tête exacte cb2ac2db46ba1d2685a2e5cd67ae0bf1a363f1b1 : diff relu (périmètre conforme au body) et une affirmation vérifiée à la source.

Vérifié : 3 démotions bloc-unité, cellules 1cc17b8d, f61c1531 et 20a03883, toutes markdown ; diff 6 insertions / 6 suppressions, aucune cellule de code touchée.

B.0 : organe rc=0 ; commentaires non évalués relus.