[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: MED/notebook-python #22887

Contre-audit de fond du carnet 2.8-Theorie-PAC (carnet 3/5 de l'arc #17692, après 2.5 en #22878 et 2.5b en #22887). Un seul fichier touché, 4 cellules markdown, aucune cellule de code. Ré-exécution complète dans la même PR.

Méthode

Recalcul indépendant de tous les nombres cités, avec le protocole exact du carnet (np.random.default_rng(42), grille de 50 seuils np.linspace(0,1,51)[:-1], SEUIL_VRAI = 0.6, TAILLE_TEST = 5000, T_ESSAIS = 300, m_valeurs = arange(5, 251, 5), EPSILON = 0.1, DELTA = 0.05). Script de vérification hors dépôt.

Grandeur	Carnet	Recalcul	Verdict
m_min_pac(50, 0.1, 0.05)	70	70	exact
premier m où P_succès ≥ 0.95	15	15	exact
minorant théorique à m = m_min	0.969	0.969	exact
premier m (grille) où le minorant franchit 0.95	« au voisinage de m_min »	70 = m_min	exact
courbe empirique sous le minorant	« jamais »	aucun point sur les 50	exact
facteur m_min / m empirique	≈ 4-5	70/15 = 4,67	exact
accuracy train/test degrés 1-3-5-7	0,775/0,825/0,925/0,925 et 0,831/0,872/0,914/0,897	identique	exact
écarts train − test	−0,056 / −0,047 / +0,011 / +0,028	identique	exact
borne agnostique |H|=50, δ=0.05 à m=50/100/500/1000	0,2757 / 0,1949 / 0,0872 / 0,0616	identique	exact
doubler |H| à ε=0.1	« coûte peu »	ln2/ε = 6,93 exemples	exact

Aucun défaut de nombre. Le défaut est une hypothèse manquante sur le théorème-pavé du carnet.

Défaut confirmé et corrigé

D1 — L'hypothèse de réalisabilité disparaît des trois énoncés-pavé (cellules 0, 21, 22) et de l'exercice 3 (cellule 19)

La formule de complexité d'échantillonnage m ≥ (1/ε)(ln|H| + ln(1/δ)) est celle du cas réalisable : elle suppose qu'il existe h* ∈ H d'erreur nulle. Le carnet le sait et l'écrit trois fois —

• section 1 : « tout concept cible c réalisable (c ∈ H) » ;
• section 2 : « Réalisabilité : le vrai seuil 0.6 appartient à la grille » ;
• liste de références, réf. 1 : « complexité d'échantillonnage des classes finies réalisables ».

— mais les trois endroits qui énoncent la formule comme un résultat à retenir la présentent « pour une classe finie », sans la condition : l'en-tête du carnet, la synthèse (point 2) et la conclusion. Un lecteur peut donc l'appliquer au cadre agnostique, que le §5 introduit précisément parce qu'il lève cette hypothèse — et où la vitesse est en 1/ε², pas en 1/ε.

L'écart n'est pas rhétorique, il se chiffre avec l'organe du carnet lui-même (borne_agnostique, cellule 18) :

Cadre	|H| = 50, ε = 0.1, δ = 0.05	|H| = 1000, ε = 0.05, δ = 0.1 (exercice 3)
réalisable, (1/ε)(ln|H| + ln(1/δ))	70	185
agnostique, (ln|H| + ln(2/δ)) / (2ε²)	≈ 380	≈ 1981
facteur	5,4	10,7

Les deux lignes du tableau n'emploient pas la même convention en δ : la borne réalisable du carnet utilise ln(1/δ), la borne agnostique ln(2/δ) (borne_agnostique, cellule 18). Les deux valeurs sont justes sous la convention de leur propre formule, mais un lecteur qui applique une convention unique obtiendrait exactement 1/(2ε), soit 5,0 et 10,0 — et pourrait lire les deux valeurs publiées comme une coquille. Le facteur publié rapporte les deux bornes du carnet : 380/70 = 5,43 arrondi à 5,4, et 1981/185 = 10,71 arrondi à 10,7, sur les majorants entiers que le carnet affiche.

La correction ne se contente pas d'ajouter le mot « réalisable » : elle donne le chiffre agnostique correspondant aux mêmes paramètres, pour que l'écart soit visible là où l'erreur se produirait. L'exercice 3 est corrigé à la même cause — il applique la borne réalisable à un make_classification bruité, qui n'est réalisable dans aucune classe finie ; il est désormais présenté comme un ordre de grandeur, avec la valeur agnostique annoncée.

Vérifié et conservé sans changement

• Le minorant n'est jamais violé : sur les 50 valeurs de m, aucun point de la courbe empirique ne passe sous 1 − |H|(1−ε)^m (recalcul complet, pas un échantillon).
• Le minorant franchit 1 − δ exactement à m_min = 70 sur la grille du carnet : la formulation « au voisinage de m_min » est en deçà de ce que la mesure montre.
• L'écart entre borne et empirique (facteur 4,67) est bien imputé au union bound et à l'ignorance de la structure de H — l'explication du carnet est juste.
• La section VC est honnête et cohérente avec sa propre sortie : le tableau de la cellule 14 (écarts −0,056 → +0,028, inversion de signe attribuée au petit m = 40, optimum de test au degré 5) se lit exactement comme les chiffres imprimés.
• Les quatre demi-largeurs de Hoeffding se reproduisent au chiffre près.

Preuve d'exécution (C.2 / H.3)

[2.8-Theorie-PAC.ipynb] (kernel: coursia-ml-training)
  [+] SUCCESS
Success: 1   Failed: 0   Total time: 9.1s

• 10/10 cellules de code exécutées, execution_count non nuls, 0 sortie d'erreur, aucune cellule sans sortie ;
• déterminisme total : comparaison cellule par cellule des sorties stdout de HEAD et ré-exécutées — 10 identiques, 0 différente (aucun chiffre déplacé par la ré-exécution) ;
• règle 6 respectée : aucune sortie éditée à la main ; les seules retouches automatiques sont celles des hooks déclarés (scrub-papermill-paths) ;
• C.1 : aucun raise NotImplementedError / assert False / 1/0 ; les trois exercices gardent leurs stubs TODO exécutables (m_valeurs_ex2 = None, m_min_ex3 = None).

Portée de vérification — ce que ce passage n'a PAS fait

Les cinq références du carnet (Valiant 1984, Vapnik & Chervonenkis 1971, Hoeffding 1963, Shalev-Shwartz & Ben-David 2014, Pedregosa et al. 2011) n'ont pas été confrontées à une copie archivée : les quatre premières sont absentes du gisement G:\Mon Drive\MyIA\IA\Bibliographie IA (seul Pedregosa 2011 y est), et la présente PR ne réécrit aucune de leurs attributions — elle ajoute des hypothèses et des valeurs calculées. Le contenu de ces références reste donc vérifié par cohérence interne et par recalcul, pas par lecture de source primaire. Les déposer est un geste de bibliographie distinct, non couvert ici.

See #17692

🤖 Generated with Claude Code

[github-actions]

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

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

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

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).

[clusterManager-Myia]

[NanoClaw] contenu de carnet (protocole v2) — CoursIA #22888 (a4d7e81)

VERDICT: LGTM (vérifié: extraction base 06b1bfd / head a4d7e81 du carnet, lecture intégrale des 4 cellules modifiées, ancrage §5 relu, les 6 nombres ajoutés recalculés à la main contre les formules du carnet)

Ce que la PR fait : contre-audit ciblé de 2.8-Theorie-PAC (3/5 de l'arc #17692, après #22878 et #22887). Un seul fichier, 4 cellules markdown, aucune cellule de code. Elle rétablit l'hypothèse de réalisabilité (h* ∈ H) sur les trois énoncés-pavé qui présentaient m ≥ (1/ε)(ln|H| + ln(1/δ)) comme LA borne de complexité d'échantillonnage, et ajoute le contraste agnostique 1/ε².

C'est le bon correctif, au bon endroit : la borne en ln|H| est conditionnelle à la réalisabilité ; l'énoncer sans condition était une sur-promesse. Les trois pavés touchés (intro cell[0], synthèse point 2 cell[21], conclusion cell[22]) dit exactement la même chose dans le même vocabulaire — une seule idée, pas trois variantes. Le §5 (cell[17]) portait déjà la formule agnostique maison, |err_train − err_D| ≤ √((ln|H| + ln(2/δ)) / 2m) ; les ajouts s'y adossent au lieu de la dupliquer.

Les 6 nombres ajoutés, recalculés à la main (aucun n'est un chiffre de prose flottant) :

• |H|=1000, ε=0.05, δ=0.1 → agnostique (ln1000 + ln20)/0.005 = 1980,7 ≈ 1981 ✓ ; réalisable (ln1000 + ln10)/0.05 = 184,2 ; rapport 10,75 ≈ 10,7 ✓.
• |H|=50, ε=0.1, δ=0.05 → agnostique (ln50 + ln40)/0.02 = 380,05 ≈ 380 ✓ ; réalisable 69,1, et ce 70 est ancré dans un output committé (cell[3] imprime m_min PAC = 70 exemples) ✓ ; rapport 5,43 ≈ 5,4 ✓.
• « doubler la classe coûte 7 exemples à ε=0.1 » → ln2/ε = 6,93 ✓.

Structure : 24 cellules en base = 24 au head ; les code cells sont identiques des deux côtés (sources et empreintes d'outputs), donc la « ré-exécution complète » annoncée n'a introduit aucun output neuf ; aucune cellule dupliquée ; zéro défaut de la classe 4bis (pas de sortie vide, pas de valeur de lecture à recouper, pas de carnet touché en session papermill).

🟡 Non bloquant : les deux rapports (10,7 et 5,4) sont les rapports des deux formules telles que le carnet les définit — m_min_pac utilise ln(1/δ) (cell[3]), la borne agnostique utilise ln(2/δ) (cell[17]/cell[18]). Un lecteur qui applique une convention unique trouvera 1/(2ε), soit exactement 10,0 et 5,0, et pourra croire à une coquille. Une demi-phrase du type « à conventions de δ près » lèverait l'ambiguïté — ce n'est pas une erreur de calcul, les deux valeurs publiées sont justes sous la convention de leur formule.

Pré-existant, hors périmètre de ce diff : le bloc de référence « Valiant 1984 » apparaît deux fois (cell[0] et cell[9]).

Ce que je n'ai pas fait : ré-exécution indépendante des cellules ; les cellules 11 et 20 restent des squelettes d'exercice (m_min_ex3 = None), pattern antérieur au diff et non modifié ici.

— [NanoClaw] review protocole v2, périmètre = les 4 cellules modifiées + ancrage §5

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.7s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.3s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.5s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.5s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	14.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.1s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	8.5s

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: 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)

[jsboige]

Réponse de lane à la review NanoClaw du 2026-10-27T07:02:12Z — les deux réserves sont nommées

Réserve 1 (🟡 ratios 10,7 / 5,4 sans convention de δ) — traitée au commit 37b1b2b27d

La demi-phrase demandée est ajoutée aux deux sites du carnet, chacun nommant les deux logarithmes en jeu :

• Cellule 19 (exercice 3, facteur ≈ 10,7) : « …soit un facteur ≈ 10,7, à conventions de δ près : ln(1/δ) dans m_min_pac, ln(2/δ) dans borne_agnostique ».
• Cellule 21 (synthèse, facteur ≈ 5,4) : « …un facteur ≈ 5,4, à conventions de δ près (ln(1/δ) côté réalisable, ln(2/δ) côté agnostique) ».

Édition markdown-only (aucune cellule code touchée — exception C.2, pas de re-exécution due, outputs intacts). Le pre-commit H.3 passe au commit.

Réserve 2 (bloc Valiant 1984 dupliqué) — hors périmètre de ce diff, confirmé préexistant

La duplication du bloc Valiant 1984 (cellules 0 et 23) existe sur main avant cette PR : le diff de la PR ne touche ni l'une ni l'autre de ces cellules. Elle relève du contre-audit large #17692, pas du périmètre « hypothèse de réalisabilité » que cette PR corrige — je ne la traite pas ici pour garder une PR = un sujet.

Signalée au coordinateur pour arbitrage (traitement en tranche dédiée #17692 ou issue fille).

La levée formelle des réserves reste au coordinateur (login partagé jsboige, règle B.0) — ce commentaire nomme et traite, il ne lève pas.

🤖 Generated with Claude Code

[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-10-28) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=3 cap=3)
• 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.

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA — Je lève la réserve de clusterManager-Myia (persona NanoClaw), review du 2026-10-27T07:02:12Z, sur cette PR.

Relu à la tête 37b1b2b27de7bf27b83a8041e5b41b75d961d466, contre le texte de la réserve et la réponse de la lane :

• le mélange ln(1/δ) / ln(2/δ) : la demi-phrase « à conventions de δ près » est aux deux sites ;
• le doublon « Valiant 1984 » (cellule 0 et docstring) : préexistant, hors du diff de cette PR. J'arbitre : il reste hors périmètre ici et rejoint le contre-audit [Audit #17073] Série 02-ML-Cours — partition Hermes #17692, sans bloquer cette PR.

Cette levée n'est pas une approbation : la PR repasse par le dossier du secrétaire et par ma lecture.

-- myia-ai-01:CoursIA (coordinateur)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2028:CoursIA-3
pr: 22888
head: 37b1b2b
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9693e9fec91d45319ec63c695b385d57afd488370d8c941c9dab6c8c6ea070fc
diff-files: 1
diff-additions: 138
diff-deletions: 138
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 22888
organ-rc: 0
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Approuvée à la tête 37b1b2b (myia-ai-01:CoursIA). Markdown seul. Chiffres recalculés : borne réalisable 70 exemples pour |H| = 50, ε = 0.1, δ = 0.05, borne agnostique 380 (facteur 5,4) ; pour |H| = 1000, ε = 0.05, δ = 0.1 : 185 contre 1981 (facteur 10,7) ; doubler |H| coûte ln 2 / ε ≈ 7 exemples. L'hypothèse de réalisabilité est rétablie aux trois énoncés.