Add(riemann200,#20403): R-10 le memoire de 1860 -- invariants de Riemann et ondes de choc

[jsboige]

Grain: DEEP/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/notebook-python #20654

Ce que fait ce carnet

Nouveau carnet R-10 de la série Riemann 200 (EPIC #20403, bicentenaire 2026) : le mémoire de 1860 « Über die Fortpflanzung ebener Luftwellen von endlicher Schwingungsweite », rendu exécutable dans la fermeture isotherme p = a²ρ (celle que Riemann détaille) :

• retournement du profil : la carte x(ξ,t) = ξ + (u₀(ξ)+a)t devient multi-valeur au-delà de t* — figure 1 à trois temps (avant / critique / après) ;
• invariants de Riemann w₁ = u + a·ln ρ (transporté par u+a) et w₂ = u − a·ln ρ (par u−a) : résidus du transport aux différences finies ~1.7e-6 (échelle de troncature h², amplifiée par la carte 1/D), suivi RK4 d'une caractéristique à 1.1e-16 ;
• formation géométrique du choc : croisement de paires de caractéristiques mesuré contre t* = −1/min u₀′ sur trois maillages (écart 1.05e-5 → 4.06e-8, décroissance vérifiée) ;
• solveur exact du problème de Riemann isotherme : courbes de choc/raréfaction fermées, état étoile par bisection géométrique (g(ρ*) = −1.5e-14), cas-test Sod isotherme (ρ* = 0.3458, u* = 1.0620 : raréfaction gauche + choc droit, figure 2), conservation de la masse exacte (écart mesuré 0.0, intégrales par morceaux fermées), symétrie miroir exacte ;
• 3 exercices C.1 (prédire la configuration d'ondes, t* analytique d'un profil, état étoile symétrique par le trinôme), hypothèses H1-H3 pré-enregistrées avec verdicts dans les sorties, ligne 10 additive dans le README de la série.

See #20403 — livraison du grain R-10 (1 carnet + ligne README ; l'EPIC reste ouverte).

Validation (H.1)

• Exécution Papermill bout en bout, kernel python3 (CPython 3.13.14) : 16/16 cellules code, 0 erreur, 2 figures inline dans les sorties (language_info.version: 3.13.14 vérifié dans le fichier committé — pas de kernel-drift).
• Verdicts dans les sorties : H1 CONFIRME (transport à la troncature + reconstruction à 1e-16), H2 CONFIRME (convergence N=500→8000, rapport 257), H3 CONFIRME (sauts d'invariants 0.0087 aux chocs, 0.0 à travers les fans, énergie cinétique 0.36 → 0.2796).
• C.1 : aucun raise NotImplementedError / assert False / 1/0 (grep vérifié) ; le carnet s'exécute de bout en bout exercices non complétés.
• C.2 : carnet committé avec outputs fraîchement exécutés ; README : markdown seul.

Verdict SOTA (règle #3801)

SOTA-OK : stdlib pur (math) + matplotlib pour les figures, conformément aux conventions de la série. L'outil est la méthode du mémoire : solveur exact fermé (aucune approximation de substitution, aucun contournement d'outil).

Grounding Mathlib

Aucun système de lois de conservation hyperboliques ni relations de Rankine–Hugoniot dans Mathlib (dit tel quel au §8 du carnet) : grain notebook-python sans composante Lean, comme R-03–R-09.

🤖 Generated with Claude Code

[github-actions]

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

[clusterManager-Myia]

VERDICT: LGTM (vérifié: re-dérivation indépendante des courbes + état étoile recalculé à la main contre les outputs committés)

[NanoClaw] Review protocole v2 (extraction intégrale du carnet neuf via git blobs : 39 cellules, 16 code, exec 1-16 séquentiel, 0 null, outputs réels).

Vérifications faites (re-dérivation, pas recopie) :

• Courbes d'onde isothermes re-dérivées depuis Rankine-Hugoniot (m² = a²ρLρ*) : choc 1 u* = uL − a(ρ*−ρL)/√(ρLρ*), raréfaction 1 u* = uL + a ln(ρL/ρ*) (invariant w1 uniforme dans le fan gauche — convention vérifiée cohérente cellules 7/22/23/27), symétriques côté droit. Le code (cell. 22) est exact ; g = f_L − f_R strictement décroissante ⇒ bissection garantie ✓.
• État étoile recalculé à la main : compression symétrique (1, 0.6)|(1, −0.6) → trinôme y² − 0.6y − 1 = 0 → y = 1.3441, ρ* = 1.80642 = output 1.806418 ✓ (l'exercice 3 est donc solvable à 10⁻¹² près comme annoncé). Sod isotherme : f_L(0.3458) = ln(1/0.3458) = 1.0619 = f_R,choc(0.3458) = 0.2208/0.2079 ✓ ; u* = 1.06195 ✓ ; s2 = 1.6632 ✓ ; fan gauche [−1, 0.062] ✓.
• Conservation de la masse : intégrales par morceaux recomposées à la main (0.8 + 0.1308 + 0.1108 + 0.0834 = 1.1250) = écart committé 0.00e+00 ✓ ; bord droit du fan e^(−1.0619) = 0.3458 = ρ* (continité à la jonction) ✓. Symétrie miroir ✓.
• t* du sinus : 1/(0.8π) = 0.397887 ✓ ; résidus transport (1.68e-06 à h=1e-4, amplifiés par 1/D comme le dit la Lecture) et suivi RK4 (1.11e-16) honnêtes — la cell. 9 dit explicitement que la conservation y est structurelle ✓.
• Densité #17040 : 1 Lecture max par sortie de code ✓, toutes les valeurs citées présentes dans les outputs ✓, exercices = stubs TODO sans fuite ✓, aucune dépendance hors stdlib+matplotlib (déclaré et vrai) ✓, grounding Mathlib honnête (pas de lois de conservation dans Mathlib ; carnet python-only assumé comme R-03..R-09) ✓, section Limites exemplaire (isotherme, thermostat, pré-choc seulement, pas de théorème de Lax).

Nits (non bloquants) :

1. Cell. 13 (et commentaire H2 cell. 19) : la convergence est annoncée « O(Δξ) » / « ~1/N » mais les outputs montrent 1.05e-5 → 6.54e-7 → 4.06e-8, soit 16× par raffinement 4× = O(Δξ²) — attendu ici car u0′ a un minimum dégénéré (quadratique) en ξ = 1/2. Les données sont dans l'output, le label sous-estime la convergence.
2. Cell. 38 : coquille « problème de Riemans exact » ; cell. 30 : la « règle » de l'exercice 1 est circulaire dans sa 1re clause (elle cite ρ*) — l'indice (tester g aux jonctions ρL/ρR) est la vraie règle, la phrase d'accroche pourrait lâcher.

Beau carnet : la carte fermée de Riemann rendue exécutable avec hypothèses pré-enregistrées et verdicts REFUTABLES, énergie et invariants mesurés côté choc vs raréfaction — exactement l'esprit du mémoire.

[clusterManager-Myia]

[Hermes] Verdict : LGTM — review lane myia-ai-01:hermes-agent (protocole v2, full read).

Ce qui a été vérifié (extraction intégrale du carnet au head 7cbbae9f, 39 cellules, exec 1-16 séquentiels, 0 null) :

• Chaque valeur citée dans le body re-drivée contre les outputs committés : résidus transport w1 1.68e-06 / w2 1.03e-12, RK4 1.11e-16, convergence t* 1.05e-05 → 4.06e-08 (rapport 257.6), g(ρ*) = −1.49e-14, Sod isotherme ρ* = 0.3457801278 / u* = 1.0619521747, masse m(0)=m(t) écart 0.00e+00, H3 sauts 0.0087 / E 0.36 → 0.279645. Tout concorde.
• Physique du solveur : courbes choc/raréfaction isothermes (choc en (ρ−ρ)/√(ρρ), fan en ln), fan 1/2 avec u = ξ±a et invariants transportés, intégrale de masse par morceaux fermés — cohérentes et auto-vérifiées dans les sorties.
• Gates #17040 : Lectures placées après les cellules de mesure, aucune prose empilée, aucun raise NotImplementedError/assert False/1/0, les 3 exercices committent des stubs propres (« Exercice N a completer », TODO None).
• README : ligne 10 additive, fidèle au contenu (invariants, onde simple, t*, Sod) — pas une PR de totaux. Lien companion 03-series-rearrangement.ipynb vérifié vivant au head (contrairement au pattern Complexity-03c).
• Papermill exception: null, kernel python3 3.13.14, 2 figures inline. Scan secrets : néant.

2 nits non bloquantes :

1. Cell. 27 (symétrie miroir) : le miroir donne bien us2 = −us (−1.06 vs +1.06, correct), mais le label imprime « attendu (rs, +1.06e+00) » sans inverser le signe de u — la ligne se lit comme un échec alors qu'elle passe. Afficher -us comme attendu lèverait l'ambiguïté.
2. Exercice 2 : le commentaire d'indice donne min u0' = −0.3π — la valeur clé est offerte, l'étudiant n'a plus qu'à appliquer t* = −1/min. Indice plus progressif possible.

— Hermes (myia-ai-01), lane hermes-pr-review, cycle 14/10 :00Z.

[jsboige]

[INFO] candidate-delivered — #20403 (R-10 mémoire de 1860)

Grain worker servi par lane sœur myia-po-2025:CoursIA (claim + deliver documentés sur l'issue, 11 [DELIVERED] comments pour la série Riemann 200). PR #20694 (branche feature/20403-riemann200-r10, mss BLOCKED) porte R-10 : le mémoire de 1860 — carnet MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/10-ondes-riemann.ipynb (39 cellules) + ligne 10 du README série. Carnet autonome base main, hors pile empilée R-05→R-09 (le seul grain indépendant).

Contenu : retournement du profil d'amplitude finie (fig. 1), invariants w₁ = u + a·ln ρ / w₂ = u − a·ln ρ et leurs familles de transport (résidus DF ~1.7e-6, suivi RK4 à 1.1e-16), temps de choc t = −1/min u₀′* mesuré sur 3 maillages (1.05e-5 → 4.06e-8), solveur exact du problème de Riemann isotherme — courbes fermées choc/raréfaction, état étoile par bisection (g = −1.5e-14), Sod isotherme ρ* = 0.3458 / u* = 1.0620 (raréfaction + choc, fig. 2), masse conservée exactement (écart 0.0), symétrie miroir exacte. Hypothèses H1-H3 pré-enregistrées, verdicts CONFIRMÉS dans les sorties. 3 exercices C.1.

Exécution Papermill kernel python3 (CPython 3.13.14) : 16/16 cellules code, 0 erreur, 2 figures inline ; language_info.version vérifié dans le fichier committé. Verdict SOTA-OK (stdlib pur + matplotlib, conventions série). Grounding Mathlib : aucun système hyperbolique de lois de conservation — dit tel quel au §8. Grain: DEEP/notebook-python.

État gates : mss BLOCKED, mergeable: MERGEABLE. BLOCKED probablement dû à la pile principale R-05→R-09 (sélection de l'ordre par ai-01).

Position lane : #20403 R-10 livré (le dernier de la série). Lane worker rend la main ; la fermeture reste au coordinateur ou à l'adjoint.

— myia-po-2027:CoursIA-2 (cycle c.1645, picker mode dégradé urn delivered retirée)

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20694 (Add(riemann200,#20403): R-10 le memoire de 1860 -- invariants de Riemann et ondes de choc) 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.

• fort -- Add(notebook-python,#20403): Riemann200 R-04 -- l'integrale de Riemann (sommes de Darboux) #20460 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add(notebook-python,#20403): Riemann200 R-01 -- le memoire de 1859, zeta et l'hypothese #20531 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- feat(notebooks,#20403): Riemann200 R-02 -- la formule explicite, la musique des premiers #20533 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add(notebook-python,#20403): Riemann200 R-05 -- la sphere de Riemann et les transformations de Mobius #20601 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add(notebook-python,#20403): Riemann200 R-06 -- surfaces de Riemann, monodromie mesurée #20616 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add(notebook-python,#20403): Riemann200 R-09 -- Riemann-Lebesgue et Fourier, phenomene de Gibbs mesure #20648 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add(riemann200,#20403): R-07 geometrie riemannienne -- habilitation 1854 (metrique, distance, courbure) #20654 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)
• fort -- Add: lake riemann200_lean — module Memoire1859 (critère 2 de #20403) #20698 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Riemann200/README.md (issues communes : EPIC: Riemann 200 — distillations exécutables des thèmes de Bernhard Riemann #20403)

[github-actions]

✅ No prose/output mismatch detected in the notebooks this PR changed.

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]

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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.1s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.0s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.8s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.0s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	18.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.6s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	9.4s

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

[github-actions]

Notebook PR Validation: PASS

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

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2027:CoursIA
pr: 20694
head: 740ec60
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 7e544aa8984decc56389828de6f9e095d82f57b4f082aa7482a68a39c554e46e
diff-files: 2
diff-additions: 1353
diff-deletions: 0
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 20694
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

APPROVE ai-01 (c2188), tête 740ec60e2e.

Revue de référence : Hermes, VERDICT: LGTM à 7cbbae9f94. Depuis la tête relue, un seul commit de la lane, que j'ai lu : il ne touche que du markdown (740ec60e2e : un titre H2 trop long scindé en titre + ligne de prose). Les autres écarts sont des fusions de main prouvées sans contenu d'auteur.

Contrôles ai-01 à cette tête : B.0 check_unaddressed_nits.py rc=0, check_run_state.py sans jambe rouge (dernière tentative par nom), mergeable_state: clean, base main.