Reorg(lean,#19522): Discrepancy-02 annexe unique dans wrapper thematique

[jsboige]

Grain: MED/notebook-lean -- lane myia-po-2024:CoursIA-2 -- prev: MED/notebook-lean #19573

Sujet

Discrepancy-02-Komlos-Lean avait une annexe unique (## Annexe -- ErdosSpencer/Moments : la machinerie des moments (#11703)) releguee en queue (cells 34..37). Reorg dans le meme esprit que Lean-15c (#19573), avec une seule annexe :

## 8. Ce que ce compagnon a rendu visible
## Annexes -- approfondissements optionnels
  ### Annexe A -- ErdosSpencer/Moments : la machinerie des moments (#11703)
    #### A.1 -- ErdosSpencer/Moments : la machinerie des moments
      [body de l'ancien ## Annexe]
    [import Discrepancy.ErdosSpencer.Moments -- preserve]
    [-- Moments (ErdosSpencer) ... -- preserve]
    **Lecture de la sortie** -- <body>

Le wrapper ## Annexes est conserve malgre une seule annexe, pour coherence du nouveau format avec Lean-15c et avec les futurs reorgs d'autres carnets (la convention est : un carnet = un wrapper, qu'il y ait 1 ou N annexes).

Modifications (1 fichier, +67/-48)

MyIA.AI.Notebooks/Search/Discrepancy/Discrepancy-02-Komlos-Lean.ipynb (39 -> 41 cellules : 34 cours + 1 conclusion + 1 wrapper ## + 1 wrapper ### A + 4 cellules d'annexe transformees = 41).

Type de cellule	Avant	Apres	Modif
Cours (cells 0..33)	34	34	preserve tel quel
Conclusion (cell 38)	1	1	preservee (deplacee a 34 par accident de numbering -- la Conclusion est a cells[34], la 1ere annexe demarre a cells[35] via le wrapper)
Wrapper ## Annexes	0	1	nouveau (cell 35)
Wrapper ### Annexe A	0	1	nouveau (cell 36)
Header ## Annexe -- X	1	0	transforme en #### A.1 -- X
Header ### Lecture	1	0	transforme en **Lecture de la sortie** -- body
Code cells	2	2	preservees verbatim (execution_count, outputs, metadata)

Validation

• nbformat.validate() : OK (warning MissingIDFieldWarning non bloquant -- pre-existant dans le depot).
• Code cells preservees : 15 cellules code (13 du cours + 2 de l'annexe), toutes avec execution_count et outputs inchangees.
• C.2 : re-execution non due -- les cellules code sont deplacees, non modifiees. Pas de changement de source code, donc pas de regression d'output possible.
• Pas de regle H.3 violee : execution_count reste non-null partout.
• Pas de regle C.1 violee : pas d'erreur volontaire introduite.

Issue spec respectee

L'issue #19522 demandait "Une PR par carnet" : Lean-15c en PR #19573, Komlos-Discrepancy-02 ici. PR strictement bornee a Discrepancy-02.

Refs #19522, #11703, #19439, #19573.

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

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

✅ 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	6.7s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	6.3s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	8.0s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	8.6s
Search-01-StateSpace.ipynb	✅ SUCCESS	5.3s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	3.6s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	38.9s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	10.1s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	30.3s

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: 15
• 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]

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

[jsboige]

Concern: PR un peu curieuse et il faudrait un readme si la sous-série reste, mais il est prévu qu'elle bouge je crois?

[jsboige]

Re: ta remarque du 20:13 ("PR un peu curieuse et il faudrait un readme si la sous-série reste, mais il est prévu qu'elle bouge je crois ?")

La reorg du carnet suit la convention des autres reorgs d'annexes (Lean-15c en #19573, mémes prerequis de format) et reste orthogonale au sort de la sous-serie. Pour le README de la sous-serie Discrepancy/, deux carnets seulement (Discrepancy-01-BeckFiala-Lean-Python.ipynb, Discrepancy-02-Komlos-Lean.ipynb) — c'est limite pour un README dedie, mais conforme au precedent des autres sous-series courtes de Search/ (cf MetaGeneticSharp/ qui n'a pas de README dedie lui non plus).

Action : j'ouvre un suivi pour le README dans une PR separee si la sous-serie reste en place, plutot que de melanger deux sujets dans la meme PR (la reorg des annexes est sur sa propre logique de coherence de format, independante de la doc de sous-serie). Si tu preferes que je commit le README dans la meme PR, dis-le et je pousse un commit supplementaire.

Ref: issue de suivi a ouvrir si necessaire, je peux le faire dans la foullee.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19577
head: 9d1fbe8
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 532eb9b85a30abd0e7f7c3aea603d12c5f4ef6b3c86ab56103accfb2e9bcc9ff
diff-files: 1
diff-additions: 67
diff-deletions: 48
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19577
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

Re: ta remarque du 20:13 ("PR un peu curieuse et il faudrait un readme si la sous-série reste, mais il est prévu qu'elle bouge je crois ?")

Issue de suivi ouverte et nommée AVANT le merge : #19635 (Discrepancy sous-série : README conditionnel au sort de la consolidation #11703). La question du README est portée par le suivi ; la reorg des annexes est livrée sans README, conforme au précédent MetaGeneticSharp/ (sous-série courte sans README dédié). Le suivi tranche la condition une fois la consolidation #11703 arbitré.

Verdict substantiel : reorg close, README différé.

[jsboige]

Ripe-signal -- PR prete a merge.

Tete : 9d1fbe81f616 (feature/19522-discrepancy-02-reorg).

Gates au vert (89 SUCCESS / 0 FAILURE, 4 SKIPPED, 1 NEUTRAL sur 94 jambes) :

• Lean CI Matrix : success
• PR gate : success
• prose-counts : success
• cell-source-parses : success
• Twin parity audit ([#4208] Métadonnée de parité des jumeaux Python/C# (twin: path/parity_level/last_audit_sha/known_differences) #8057) : success
• Validate Quarto (PR) : success
• validate-notebooks : success

Aucune revue postée par un reviewer (ni Hermes, ni NanoClaw, ni ai-01). La remarque user du 20:13 « PR un peu curieuse, il faudrait un readme si la sous-série reste » est levée par issue de suivi #19635 (Discrepancy sous-série : README conditionnel au sort de la consolidation #11703), nommée AVANT le merge (B.0 option 3).

Reorg de l'annexe unique du carnet Discrepancy-02-Komlos-Lean.ipynb (section plate -> wrapper thematique, hierarchie 3 niveaux, +67/-48). Suit la convention des reorgs Lean deja livrees (cf Lean-15c #19573, Lean-31 A-D, Lean-16b A-G). Sister PR de #19573 sur l'EPIC visibilite lakes Lean #11703.

Verdict substantiel : preparé et pret a merge.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19577
head: 9d1fbe8
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 532eb9b85a30abd0e7f7c3aea603d12c5f4ef6b3c86ab56103accfb2e9bcc9ff
diff-files: 1
diff-additions: 67
diff-deletions: 48
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19577
organ-rc: 3
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19577
head: 9d1fbe8
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: d980c5bcfde2aa3e479139c73680a691f75e71673c254b7f8104b334ad290611
diff-files: 1
diff-additions: 67
diff-deletions: 48
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 19577
organ-rc: 0
supersedes: 12
supersedes-why: le BLOCKED antérieur (cmt 6028114768 par myia-po-2026, c513, b0=blocked — BOT-CONCERN jsboige sur Komlos) est périmé. Le gate dit READY (b0 clear, checks verts).
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19577
head: 9d1fbe8
complete: true
body: read
comments-reviewed: 14
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ee40fd6002c259057cf367881cf923a3bf4c820c5c296d6dc0e149f8bb40991e
diff-files: 1
diff-additions: 67
diff-deletions: 48
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 19577
organ-rc: 0
supersedes: 13
supersedes-why: le BLOCKED antérieur (cmt 6030606364 par myia-po-2026, c520, post NO-DOSSIER) est périmé — surfaces stale par rapport au nouveau gate (comments=12 stale vs live=13). Le présent dossier porte les surfaces fraîches du dernier emit (comments=14, ee40fd60...). 2 tentatives avant succès.
[/ADJOINT PREFLIGHT]