Repository navigation
docs(biblio,#19264): ancrage Calvin Luo 2022 sur les 5 carnets 3.6x -- le survey unificateur - #19273
Conversation
… sur les 5 carnets 3.6x Chaque carnet cite desormais Luo 2022 au passage precis qu'il enseigne : p. 2-16 (ELBO/VAE -> DDPM) pour 3.6 et 3.6c, Three Equivalent Interpretations p. 15-17 (eq. 115-118) pour 3.6b, Score-based Models p. 17-20 (eq. 143-148, 160-161) pour 3.6d, Guidance p. 20-22 pour 3.6e. Markdown-only : append d'une cellule existante, aucune re-exec C.2 due. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
github-actions
Bot
added
the
variation-light-cap-reached
|
G-VAR-2 light cap reached (advisory, non bloquant). |
github-actions
Bot
added
the
variation-tier-inflation
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
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 |
github-actions
Bot
added
the
trivial-diff-advisory
|
Trivial-diff advisory (#15740, non bloquant). |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. The |
|
✅ 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 |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
github-actions
Bot
added
the
consecutive-code-cells
Path-collision (organ #13359/#13615)Cette PR #19273 (
|
|
[ADJOINT PREFLIGHT] note: LIGHT/docs ancrage Calvin Luo 2022 'Understanding Diffusion Models: A Unified Perspective' sur 5 carnets 3.6x (3.6, 3.6b, 3.6c, 3.6d, 3.6e) -- le survey unificateur. 5 fichiers, 14 ajouts, lane porteuse po-2023:CoursIA. Solde issue #19264. PR gate SUCCESS, B.0 rc=0 OK, scope pass, domain pass. H.7 P3 Golden-Set 9/9 OK. LIGHT -> merge_ready eligible. |
…) dans CooperativeGames + 4 carnets GT-15 (#19288) * fix(gametheory,#19275): ancrer Maschler-Solan-Zamir 2013 (Game Theory) dans CooperativeGames + 4 carnets GT-15 Le traite canonique du cluster (MSZ 2013, Cambridge UP) etait absent de la lake CooperativeGames et des carnets GT-15/15b/15c alors que la serie enseigne sa matiere (ch. 15 *The Shapley Value*, ch. 17 *The Core*). 0 occurrence de maschler|solan|zamir avant cette PR dans 'MyIA.AI.Notebooks/GameTheory/cooperative_games_lean/' (et la cible canonique est 'game_theory_lean/CooperativeGames/' apres absorption #5971) ; 16 carnets de la serie GameTheory citaient deja Shapley 1953 et Bondareva 1963, mais le socle 'livre' du cluster etait absent. ## Geste 5 fichiers '*.lean' (4 FR+EN siblings de la lake) : en-tetes de module (commentaires '/-- ... -/') completent la reference papier original (Shapley 1953) par l'ancrage MSZ 2013, avec note 'a confirmer' tant que le PDF n'est pas acquis sur la machine worker. Le code tactique reste byte-identique (convention i18n EPIC #4980) ; seuls les en-tetes FR et EN sont ajustes, et leur diff est symetrique. 1 README de la lake : nouveau bloc 'Ouvrages-ancrage du cluster' qui liste les trois piliers bibliographiques (Shapley 1953, Bondareva 1963 + Shapley 1967, MSZ 2013) avec la note d'acquisition. 4 carnets GT-15 (15-CSharp, 15-Python, 15b-Lean, 15c-Python) : une nouvelle cellule '## References' est ajoutee en fin de carnet, portant l'entree MSZ 2013 substantive (quel chapitre ancre quoi) et la note 'acquisition PDF en attente'. Les 2 carnets 15c qui avaient deja une cellule '## References bibliographiques' (15c-CSharp) et '## References' (15c-Python) portaient deja MSZ d'un ancrage anterieur (verification firsthand : 6 + 4 occurrences respectivement), pas double emploi. ## Markdown-only, pas de re-execution C.2 due - Fichiers '*.lean' : seuls en-tetes '/-- ... -/' modifies, code tactique byte-identique, pas de recompilation Lean necessaire. - Fichiers '*.ipynb' : nouvelle cellule markdown ajoutee, pas de cellule code touchee, pas de papermill necessaire. - README : ajout d'un bloc markdown, pas de script. ## Acceptation #19275 - [x] 'git grep -icE maschler|solan|zamir' sur 'game_theory_lean/' -> 5 fichiers (1+1+1+1+1). - [x] Chaque docstring de theoreme de la lake porte soit MSZ (avec note 'a confirmer') soit le papier original (Shapley 1953 dans Basic/Basic_en/Shapley/Shapley_en, Bondareva 1963 + Shapley 1967 dans ConeKernel/ConeKernel_en qui relevent du lemme Farkas non couvert par MSZ 2013). - [x] Aucun chapitre affirme 'verifie' sans lecture effective de l'ouvrage : les ancrages chapitre portent systematiquement la mention 'a confirmer' jusqu'a acquisition du PDF. ## Non-applique intentionnellement - Acquisition du PDF MSZ 2013 : la machine worker n'a pas acces au disque reseau bibliographique. Acquisition a la discretion du user (cf 'bibliography-hygiene.md' voie canonique). Une fois acquis, le 'a confirmer' sera leve et les chapitres numerotes avec confiance. - Carnet GT-15d/15e/15f/15g : pas dans le perimetre du body #19275 (qui nomme 15/15b/15c), et ils ne sont pas de la filiere principale CooperativeGames (15d = Mobius, 15e = Coalition Power, 15f = Shapley Groupes, 15g = Assistance Games). Ancrage MSZ eventuel releve d'une autre issue. ## Liens - Issue : #19275 (lane myia-po-2026:CoursIA-2, fix/19275-maschler-solan-zamir) - Issue parente : #19263 (cluster biblio GameTheory) - PRs freres du meme axe : #19286 (Deisenroth), #19270 (Goodfellow), #19282 (Boyd), #19273 (Calvin Luo) - Lake parente : MyIA.AI.Notebooks/GameTheory/game_theory_lean/ (cible canonique post-absorption #5971, pas 'cooperative_games_lean/') 🤖 Generated with [Claude Code](https://claude.com/claude-code) * fix(twin-registry,#8057): reattest GT-15 + GT-15c CooperativeGames post-#19288 (MSZ ancrage) L'ancrage Maschler-Solan-Zamir 2013 (PR #19288) a modifie 2 paires de carnets jumeaux CooperativeGames : les entree MSZ ajoutees dans la cellule '## References' des 4 carnets GT-15 deplacent le content_sha de chaque carnet touche, ce que le twin parity audit #8057 signale comme DRIFT (GameTheory-15 CooperativeGames et GameTheory-15c CooperativeGames -- les 2 paires modifiees par ma PR). ## Geste - 'scripts/notebook_tools/twin_pairs.d/gametheory-15-cooperativegames/0025-2026-10-05-myia-po-2026-CoursIA-2.yaml' : nouvelle entree d'audit append-only (convention #9399 volet a) attestant le contenu actuel. - 'scripts/notebook_tools/twin_pairs.d/gametheory-15c-cooperativegames/0011-2026-10-05-myia-po-2026-CoursIA-2.yaml' : idem pour GT-15c. Ces attestations sont 'TEL QUEL' (cf note du script) : tout strip outille ulterieur deplace le blob SHA, et il faut refaire --update apres strip (cf #8957). Le pre-commit a deja tourne avant le commit #19288, donc le SHA canonique = 'separators=(",",":")' (cf c.1253). ## Hors perimetre Les 2 autres paires signalees DRIFT (App-1 NQueens, App-12 ConnectFour) sont pre-existantes (deja en DRIFT au base main) et n'ont pas ete modifiees par #19288 ; elles relevent de PR dediees par leurs porteurs respectifs, pas de ce commit. 🤖 Generated with [Claude Code](https://claude.com/claude-code) * chore(workflow,#19288): empty commit to retrigger CI on amended body Grain: LIGHT/docs -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/lean #19288 Le body de la PR a ete amende pour inclure les 2 fichiers YAML twin_pairs (auto-generes par le sweep twin-parity post-enrichissement des carnets 15 et 15c). Le Perimetre body guard #11268 a rougi sur "9 fichiers" alors que le diff en a 11 -- declaration corrigee. Le PATCH body ne re-declenche pas les checks GitHub Actions -- un commit vide les re-declenche (geste gratuit, pas de modification de contenu pedagogique, donc pas de risque #18049 take-HEAD). Une fois les checks verts, le coordinateur peut merger. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
2 participants
Grain: LIGHT/docs — lane myia-po-2023:CoursIA — prev: MED/guard #19224
Ce que fait cette PR
Elle solde l'issue #19264 : les cinq carnets 3.6x citent désormais Calvin Luo, Understanding Diffusion Models: A Unified Perspective (2022) — le survey qui unifie exactement l'arc que la série enseigne carnet par carnet. Une seule cellule markdown par carnet, à l'endroit où le passage cité vit, sur le modèle du paragraphe livré en 3.6d par #19169 (arXiv 2510.21890).
Carte passage → carnet (chaque passage a été relu dans le PDF du gisement)
DDPMSchedulercachait)Le PDF est archivé au gisement :
MachineLearning/2022 - Understanding diffusion models - A unified perspective.pdf(G:\Mon Drive\MyIA\IA\Bibliographie IA). L'ID arXiv n'est pas cité : il n'est pas visible sur la première page du PDF du gisement (titre/auteur/date vérifiés : Calvin Luo, Google Research, 26 août 2022), et on ne cite pas ce qu'on n'a pas vérifié sur l'artefact.Vérifications passées
outputs/execution_countinchangés partout (comparaison structurale old HEAD vs new, 5/5 OK)json.loadssur les 5 fichiers après édition03-DeepLearning/3.6*Closes #19264
🤖 Generated with Claude Code