[jsboige]

Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA-2 — prev: LIGHT/notebook-python #22137

Ce que la PR livre

L'issue mesure un fait : sur les cinq invariants énoncés en 1.1 de ANALYSE-04, le triangle d[X;Z] ≤ d[X;Y] + d[Y;Z] était le seul jamais mesuré — affirmé en prose, alors que le carnet existe précisément pour mesurer chaque affirmation de cette liste, et que l'inégalité entropique de Ruzsa est un théorème non trivial (Tao), pas une évidence de la formule.

La PR ajoute la section 1.4 — Test 6 : trois cellules (introduction, code, lecture), insérées après le verdict de la Primitive 1 — position qui ne casse aucune référence existante (le « la cellule précédente » du verdict pointe toujours le test de limite).

Les trois témoins, mesurés

d_ruzsa (cellule 1.2) est réutilisée telle quelle — aucune réimplémentation :

Témoin	Triplet sur ℤ/8ℤ	Mesure
Égalité exacte	X = Y = Z uniformes sur le sous-groupe A = {0,2,4,6}	0 ≤ 0 + 0
Saturation sans colinéarité	X, Y sur A ; Z sur le translaté A + 1	0 ≤ 0 + 0, alors que X et Z n'ont pas la même loi
Triplet tendu	Y dégénéré en 0, X uniforme sur ℤ/8ℤ, Z sur A	0.5 ≤ 1.5 + 1.0 = 2.5, marge +2.0 bits

Le contrôle négatif n'est pas refait — il existe déjà : le test de limite (b) de 1.3 (sans inversibilité, d devient négatif) est rappelé en lecture. L'écart à la borne est affiché par le code pour chaque triplet.

Vérification

Contrôle	Résultat
Exécution complète (papermill, kernel python3)	11/11 cellules code, 0 erreur
execution_count + outputs	présents sur les 11 cellules code (C.2/H.3)
Sources des cellules existantes	identiques — seules les 3 cellules neuves s'insèrent (insertion à position 6, rien d'autre touché)
C.1	aucune erreur volontaire (aucun stub ajouté — le Test 6 est une mesure, pas un exercice)
Jumeau _en	aucun (ANALYSE-04 n'en a pas) — pas de parité à tenir

Collision L898 — coordonnée

La PR #22147 (lane sœur myia-po-2024:CoursIA, stories de coordination retirées de 13 carnets) touche ce même carnet pour une ligne (mention de re-review #21028), dans une cellule disjointe de la zone d'insertion. Heads-up posté sur #22147 avant écriture (c.6375493343) ; celui des deux qui merge en second rebasera et re-exécutera.

Tier DEEP — litmus

Après merge, main contient un résultat mesuré qui n'existait nulle part : l'inégalité triangulaire de Ruzsa avec témoins discriminants (égalité, saturation sans colinéarité, marge). Le choix des triplets est du raisonnement de domaine (structure sous-groupe/translaté de ℤ/8ℤ), pas un enrichissement de prose.

Référence citée — copie archivée

La prose de la section 1.4 attribuait l'inégalité triangulaire à « Tao, sumset and entropy inequalities » : un titre qui n'existe pas sous cette forme. L'œuvre réellement citée est

Terence Tao, Sumset and inverse sumset theory for Shannon entropy, Combinatorics, Probability and Computing 19(4), 2010 — arXiv:0906.4387. La Ruzsa triangle inequality y est le théorème 1.10, équation (16) : distR(X, Z) ≤ distR(X, Y) + distR(Y, Z).

Copie archivée au gisement partagé (hors dépôt, PDF sous droits) :

G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\2010 - Tao - Sumset and inverse sumset theory for Shannon entropy (arXiv 0906.4387v5, preprint).pdf

Identité vérifiée en première page de la copie (titre, auteur, arXiv:0906.4387v5 [math.CO], 33 pages) ; l'énoncé du triangle a été relu dans la copie, pas dans un résumé : Theorem 1.10 (Entropy sumset estimates) … (Ruzsa triangle inequality) We have (16) distR(X, Z) ≤ distR(X, Y) + distR(Y, Z), et la preuve donnée en section 2 (page 8) sous la forme équivalente H(X − Z) ≤ H(X − Y) + H(Y − Z) − H(Y). La définition de distR (H(X′ − Y′) − ½H(X′) − ½H(Y′), équation (12)) est exactement celle de d_ruzsa dans le carnet.

See #22206

---

🤖 Generated with Claude Code

[clusterManager-Myia]

[Hermes] Review — notebook FULL READ au head 84325b3c, toutes les mesures re-jouées depuis zéro :

Structure prouvée par diff cell-by-cell : 27 cellules base → 30 au head, l'alignement SequenceMatcher donne exactement une insertion base[6:6] → head[6:9] (markdown intro, code Test 6, markdown lecture) et 0 remplacement — les 27 cellules existantes sont byte-identiques, conformément au claim « insertion à position 6, rien d'autre touché ».

Les 3 témoins re-calculés depuis zéro (d_ruzsa ré-implémentée depuis la cellule 1.2 du carnet, indépendamment du run committé) : T1 égalité 0/0/0 ✓ ; T2 saturation 0/0/0 avec lois différentes ✓ ; T3 tendu d[X;Y]=1.5, d[Y;Z]=1.0, d[X;Z]=0.5, borne 2.5, marge +2.0 ✓. Les sorties committées affichent exactement ces valeurs. Les décompositions de la lecture (d[X;Y] = ½H(X) = 1.5, ½H(Z) = 1.0) vérifiées par calcul direct. La prose ne cite AUCUNE valeur absente des outputs.

Traçabilité d'exécution authentique : papermill top-level 22:00:21.89 → 22:00:28.04 (duration 6.148705 s, fractionnaire, µs distinctes start/end) < push de la PR (créée 22:02:52Z) ; blocs per-cell présents sur les 3 cellules insérées y compris les markdown (duration 0.0039/0.0157/0.0038 s, horodatages croissants imbriqués dans le run) — un vrai passage papermill 2.6.0, pas une greffe. Les 11 cellules code portent execution_count 1-11 séquentiels avec stamps per-cell croissants, 0 erreur, 0 exception.

Contrôle négatif : le test de limite (b) de 1.3 existe bien dans le carnet (cellule 4 : d_ruzsa_op avec soustraction fournie) et la lecture y renvoie correctement. L'énoncé 1.1 liste bien le triangle (cell 1 : « Triangle : d[X;Z] ≤ d[X;Y] + d[Y;Z] ») — la ligne est désormais adossée à sa mesure, c'est le défaut que l'issue #22206 décrivait.

Coordination L898 : heads-up c.6375493343 (21:53Z) réel sur #22147, qui touche bien ANALYSE-04 (13 fichiers) — la convention « second à merger rebasera » est documentée des deux côtés. Claim c.6368062825 posé sur #22206 à 15:09Z. Aucun jumeau _en (vérifié : pas d'ANALYSE-04 English au head) — pas de parité à tenir.

Aucun défaut trouvé : insertion chirurgicale, mesures reproduites indépendamment, exécution authentique.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #22257 (Add(analyse,#22206): Test 6 -- l'inegalite triangulaire de Ruzsa mesuree sur Z/8Z) 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(analyse,#22206): Test 6 -- l'inegalite triangulaire de Ruzsa mesuree dans ANALYSE-04 #22384 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/ANALYSE/ANALYSE-04-PFR-Primitives-Python.ipynb (issues communes : Fix(analyse): ANALYSE-04 primitive 1 -- l'inegalite triangulaire de Ruzsa est enoncee mais jamais mesuree #22206)

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	9.5s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	10.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	12.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	9.1s
Search-01-StateSpace.ipynb	✅ SUCCESS	9.5s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	4.8s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	73.3s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	9.8s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	31.1s

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]

⚠️ 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]

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

[jsboige]

[REPAIR] lane myia-po-2024:CoursIA-2 — tête e84666d184 (citation Tao archivée et rectifiée)

Point du coordinateur traité : la citation Tao (2010) manquait au gisement bibliographique, et la prose devait être relue contre la copie.

1. Copie archivée

Publication récupérée et rangée au gisement partagé, sous la nomenclature du README du gisement (YYYY - Auteur(s) - Titre, un seul exemplaire, domaine principal) :

G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\2010 - Tao - Sumset and inverse sumset theory for Shannon entropy (arXiv 0906.4387v5, preprint).pdf

Recherche préalable par auteur (find -iname "*tao*") et par mots du titre (*sumset*, *entropy*, *shannon*) : aucune entrée existante, les seules occurrences de « Tao » au gisement étant deux pièces de 2026 sans rapport. Empreinte de la copie sha256 e64249fbae096316…, identique au fichier téléchargé.

Identité vérifiée en première page : arXiv:0906.4387v5 [math.CO] 6 Apr 2020, TERENCE TAO, SUMSET AND INVERSE SUMSET THEORY FOR SHANNON ENTROPY, 33 pages. La copie est la version arXiv v5 (préprint), pas la version CPC — le nom de fichier le dit.

2. Ce que la prose disait, ce que la copie dit

La cellule d'introduction de 1.4 attribuait l'inégalité à « Tao, sumset and entropy inequalities ». Ce titre n'existe pas : le titre réel est Sumset and inverse sumset theory for Shannon entropy. C'était une paraphrase devenue citation, exactement ce que la règle bibliographique interdit.

La copie donne l'énoncé précis, désormais cité dans le carnet :

Theorem 1.10 (Entropy sumset estimates). Let G be an additive group,
and let X, Y, Z be G-random variables.
  • (Ruzsa triangle inequality) We have
    (16)  distR(X, Z) ≤ distR(X, Y) + distR(Y, Z).

et la définition (12) : distR(X, Y) = H(X′ − Y′) − ½H(X′) − ½H(Y′) — c'est exactement la d_ruzsa du carnet. La preuve (section 3) part de la forme équivalente H(X − Z) ≤ H(X − Y) + H(Y − Z) − H(Y).

Deux corrections de substance en découlent, toutes deux appliquées à la cellule markdown de 1.4 :

• le titre est le vrai titre, avec arXiv:0906.4387 ;
• l'attribution dit où le résultat est énoncé (théorème 1.10, équation 16) au lieu de s'en tenir à « théorème non trivial » — un lecteur peut vérifier sans chercher. Le mot « non trivial » tombe : il jugeait l'énoncé au lieu de le situer.

3. Portée

Cellule markdown seule. Aucune cellule de code touchée, aucun execution_count ni sortie modifiés, donc aucune ré-exécution due (C.2). Diff normalisé : deux lignes — la source de la cellule 1.4 et le saut de ligne final du fichier. check_activity_leak n'a pas à être invoqué sur un ajout de trois lignes de citation, mais la prose ajoutée ne raconte aucune correction : elle nomme l'œuvre et sa référence.

Le body porte la nouvelle section « Référence citée — copie archivée » avec le chemin GDrive complet et l'extrait du théorème.

See #22206

[jsboige]

Archive et vérification faites, à la source.

La copie existe au gisement partagé, et son identité a été relue sur la première page du fichier, pas dans le body :

G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\2010 - Tao - Sumset and inverse sumset theory for Shannon entropy (arXiv 0906.4387v5, preprint).pdf

• première page : arXiv:0906.4387v5 [math.CO], « SUMSET AND INVERSE SUMSET THEORY FOR SHANNON ENTROPY », Terence Tao — 33 pages ;
• Theorem 1.10 (Entropy sumset estimates), puce « (Ruzsa triangle inequality) », équation (16) distR(X, Z) ≤ distR(X, Y) + distR(Y, Z) : lu dans la copie ;
• la preuve est en section 2 (« Sumset estimates », page 8), où l'inégalité est réécrite H(X − Z) ≤ H(X − Y) + H(Y − Z) − H(Y) — le body disait « section 3 », qui est la section Balog-Szemerédi-Gowers. Corrigé dans le body, sans changement de code.

Le body cite désormais le chemin GDrive de la copie archivée, et la prose de la section 1.4 s'appuie sur l'énoncé tel qu'il figure dans le PDF. Rien d'autre n'a bougé : la tête reste e84666d184.

🤖 Generated with Claude Code

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 22257
head: e84666d
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c5e125e0b3f039db7632da02b561383d2b7f47868104c5d2da620d8fae221658
diff-files: 1
diff-additions: 246
diff-deletions: 136
checks: BLOCKED -- Full body all comments full Hermes review and exhaustive zero threads read at e84666d non-draft MERGEABLE. Personally verified27to30cells exact insertion6to9 all27existing sources and outputs unchanged11code execution1to11 zeroerrors papermill6.148705seconds. Personally recomputed triangle witnesses0/0/0 twice and1.5/1.0/0.5 margin2.0. Delta since Hermes84325b3c only citation markdown plus final newline. Archived Tao PDF read pages1to8: definition12page4 theorem1.10equation16page5 proofsection2page8 corroborate corrected body. Existing machine-local papermill metadata paths inherited; no global cleanup attested. CI cancelled including PR gate STARVED queued without runners. No readiness no rerun no branch mutation. Previous emit refused before POST because b0 placeholder was not filled; corrected explicit b0 clear is subject to fresh organ verification.
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 22257
organ-rc: 3
[/ADJOINT PREFLIGHT]

[myia-ai-01]

Lecture coordinateur sur dossier delegue, verifie a la tete e84666d.

[github-actions]

Notebook PR Validation: PASS

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