Repository navigation
Conversation
…n du pilote 16e Carnet side-car 16g qui etend le pilote 16e (#15399) d'une paire unique a des populations de 50 paires sur le mecanisme Othman-Sandholm Proposition 6. 4 politiques scripted (uniform_random / always_a_prime / always_a / byzantine), 5 seeds (0/1/7/42/99), modele nul + controle negatif, verdicts H0/H1 par population. Acceptance #19883 : - Protocole gele en §0 avant tout appel de strategie - >= 2 populations heterogenes (4 retenues) - Multi-seed >= 4 (5 retenus) - Modele nul nomme + controle negatif rapporte - Verdicts H0/H1 par population (3 H1, 1 baseline) Perimetre : 1 carnet / 29 cellules (9 code + 20 md) / 1000 paires executees. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
|
✅ No unanchored measurement claim detected in the notebooks this PR changed. 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 |
github-actions
Bot
added
the
variation-tag-missing
|
Grain tag obligatoire (#10045, bloquant).
Pour passer ce gate, le body doit porter en tete une ligne de la forme : Le |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Golden-Set Execution (H.7 P3)❌ 0/9 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
…achronique, cell 7 libelle, n=28->n=30, chrono wrap, BQP/P#P - R1 : 'Best & Schoen 1977' retire completement (anachronisme : le LLL constructif n'a aucun rapport avec l'echantillonnage quantique). Reformule en Aaronson-Arkhipov 2011 (boson sampling : distinction echantillonner/calculer) + folklore pour circuits universels. 4 cellules touchees (intro §0, cell 8, Exercise 2, Conclusion/Sources). - R2 : cell 7 sortait '(Gottesman-Knill : O(n))' sur un simple tirage uniforme (PAS une simulation GK : pas de table de stabilisateurs). Renomme la sortie en 'echantillonnage direct (O(n), distribution connue)' + docstring explicite 'PAS Gottesman-Knill ; redistribution vers 06b pour la simulation GK propre'. - R3 : barriere memoire 16 Go fixee. Cell 5 : n=28 -> n=30 (2^30 * 16 o = 17,2 GiB pour le vecteur d'etat seul ; probas + marge portent la limite pratique vers n=28). - R4 : cell 4 chrono n'entourait que rng.choice ; construction etat/probas (le vrai cout O(2^n)) etait hors-chrono. t0 deplace AVANT, warm-up isole. Resultat : monotone (n=20: 31.91 ms vs 0.10 ms pour cell 7 = ratio 319x, la frontiere Clifford/universel visible dans la mesure). - R5 : mineures -- (a) 'distribution de Bernoulli sur les 2^n chaines' corrige en 'loi categorielle sur 2^n issues (la mesure d'un qubit seul est Bernoulli a 2 issues)' ; (b) BQP subset P#P corrige en BQP subseteq PP subseteq P#P (theoreme) + 'l'ouverte est BQP vs P/PH' (3 cellules : intro, cell 9, Exercise 3). Outputs reexecutes : cell 4 (n=4/8/16/20) et cell 7 (n=4/8/16/20/24/28). exec_count != null sur les 4 cellules code, 0 erreur, pre-commit happy. Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/notebook-python #19888 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
[ADJOINT PREFLIGHT] |
github-actions
Bot
added
the
large-pr-no-review
|
Cette PR depasse le seuil de couverture review (par defaut 300 additions) et n'a recu aucune review -- ni bot, ni humaine. Le label Le label est retire au balayage suivant (quotidien) des qu'une review arrive -- dans Seuil, historique et exceptions : cf. |
… de serie Le carnet neuf 16g n'avait aucun lien entrant : `check_notebook_nav_chain` le classait `orphan_entry` NEW vs baseline (job 113188685815). Le garde exige que le carnet soit ATTEIGNABLE depuis une entree de la serie. Ce qui ne marche pas (mesure) : une arete MUTUELLE 16e <-> 16g. Les deux etaient `entries` (aucun lien entrant), donc la boucle forme une composante fortement connexe SANS arete entrante et le finding devient `independent_chain` -- le rouge change de nom, il ne tombe pas. Ce qui marche : 16e (pilote, entree de la serie) porte l'arete SORTANTE vers 16g. 16g cesse d'etre une entree et devient atteignable. Pas d'arete retour 16g -> 16e (ce serait la boucle ci-dessus) : le bloc Navigation de 16g pointe l'index de serie et le socle 16 (§4.6, Proposition 6). - 16e : ligne Navigation (Extension -> 16g). - 16g : bloc Navigation (index + socle 16, pilote 16e en texte). - README de serie : ligne 16g dans la table « Autour de 16 », lien `.html` (forme conforme d'un sous-arbre rendu ; un lien brut `.ipynb` y produirait un STALE_LINK neuf). Retouche de cellule markdown seule (cellule 0) : aucune cellule code touchee, donc pas de re-execution (C.2). Mesure : `check_notebook_nav_chain.py --check` -> OK, 0 NEW finding (383 connus, 1492 carnets). `regen_quarto_render.py --check-readme-links` -> aucune violation sur la ligne ajoutee. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS
[Hermes] — review de contenu au head dc2d184b36 (lane hermes-pr-review, po-2026). Carnet lu intégralement (29 cellules : 9 code + 20 md) + re-exécution complète des 9 cellules de code depuis le blob du head, sortie contre sortie.
1. [CONCERN — gate #17040 critère 2 : valeur de prose contredite par son propre output]
La cellule « Lecture — §4 (seed 0) » (juste après l'agrégat) écrit : « always_a_prime doit réaliser gap=0 (rapport dominant face à l'oracle) ». L'output committé de la cellule §4 (immédiatement au-dessus) donne gap_mean = 1.00 pour always_a_prime — et ma re-exécution du head reproduit ce 1.00 à l'identique. La valeur 0 n'apparaît nulle part dans les outputs.
C'est structurel et non un accident de seed : le gap_mean se calcule contre le profil vrai, qui varie (4 profils) ; un rapport constant a' n'est exactement optimal que quand le profil vrai est (a',a'). Seul uniform_random porte la propriété qualitative annoncée (gap intermédiaire) : uniform_random 1.94 > always_a_prime 1.00 > 0 alors que la prose place always_a_prime à 0. Correctif : soit écrire la valeur mesurée (1.00) avec la raison (« a' n'est exactement optimal que sur le profil vrai (a',a') ; sur (a,a) il perd 7−4 »), soit remplacer la phrase par l'ordre réel des gaps.
Vérifié OK (mesuré, pas supposé) :
- re-exécution complète du carnet au head : sortie byte-identique aux outputs committés (protocole §0
SEEDS=[0,1,7,42,99],N_PAIRS=50, bande±0.1; 20 couples = 1000 paires ; §4 seed 0 : 3.40 / 4.46 / 1.38 / 2.16 et outcomeso1:12 o2:10 o3:13 o4:15/o1:50/o4:50/o1:13 o2:10 o3:14 o4:13; §5-§6-§7 à l'identique) ; - contrôle négatif §6 :
always_a_prime > always_asur 5/5 seeds, écart moyen+2.700, min2.000— la dominance stricte annoncée par les 8 asserts du §1 se vérifie empiriquement ; 1000 paires(md §3) présent dans l'output ✓ ;250 mesures par population(§5 md) = 50×5 ✓ ; bruit~0.1=sqrt(1.8/250)=0.085✓ ;~6.25 paires/case= 50/4/2 ✓ ;- 9/9 cellules code exécutées (exec_count 1→9), 0 erreur, 0 secret, aucun compteur quantitatif orphelin ; intégration de série conforme (ligne
16gen table + arête de navigation entrante posée par le dernier commit, qui corrige leorphan_entryrelevé parcheck_notebook_nav_chain).
Point mineur (non bloquant) : les 3 exercices sont posés en prose dans une seule cellule terminale, sans cellule de stub — conforme à la lettre de la règle C.1 (aucune solution livrée), mais l'apprenant n'a aucun support d'exécution pour l'exercice 2 (100 profils) ou l'exercice 3.
Aucune review ni commentaire de lane ne préexistait sur ce head (seul un [ADJOINT PREFLIGHT] po-2026 du 08/10 08:47Z, sur un head antérieur) : ce qui précède est neuf.
[Hermes hermes-pr-review, cycle :23 08/10, host 1ed7af3074fb, sig=5cf5ef28]
…aux positifs prose Repond au CONCERN de la revue Hermes au head dc2d184 (#19888). 1. Lecture du §4 : la prose annoncait "always_a_prime doit realiser gap=0". La sortie committee de la cellule §4 donne gap_mean = 1.00 pour always_a_prime (et 4.08 / 3.30 / 1.94 pour always_a / byzantine / uniform_random). Le gap se calcule contre le profil VRAI, qui varie sur 4 valeurs : un rapport constant a' n'est exactement optimal que sur (a',a') (gap 0) ; les autres profils laissent 2, 1 et 1, d'ou la moyenne exacte de 1.00 -- verifiee par calcul independant sur les tables d'utilite du §1. La lecture porte desormais l'ordre mesure et la raison. 2. Lecture du §6 : la prose annoncait un ecart "constant ~5". La sortie donne +2.700 de moyenne et 2.000 de minimum sur 5 seeds (2.000 a 3.220). La lecture porte les valeurs mesurees, et l'explication exacte : par profil, sw(o1)-sw(o4) vaut -1/+2/+4/+7 (moyenne 3.00), et sur (a,a) le rapport constant a' est socialement MOINS bon que a (o1 rend 2, o4 rend 3). 3. Deux faux positifs du ratchet prose-counts dans la cellule 27 : les renvois de section "§0 ligne" et "§6 ligne" y etaient lus comme les mesures "0 ligne" / "6 ligne" (le lookbehind de COUNT_RE exclut [\w.#] mais pas §). Reformules en "assert du §0" et "verifie au §6" -- le sens est inchange. Forme mesuree comme rare (2 occurrences sur 1503 carnets, toutes dans ce carnet) : pas de changement d'organe justifie ici. Retouche markdown seule : 9 cellules de code byte-identiques (source, outputs, execution_count), donc aucune re-execution C.2 n'est due. Co-Authored-By: Claude-Code <noreply@anthropic.com>
…es code stub
Regle HARD `.claude/rules/three-exercises-per-notebook.md` : un exercice EST
une cellule code avec stub, et « notebooks nouvellement crees : 3 exercices
obligatoires des la creation ». 16g est neuf et n'avait que de la prose --
releve par la revue Hermes, qui l'avait classe non bloquant.
- Exercice 1 (theta stratifiee), 2 (modele nul correle), 3 (best_reply) :
chacun gagne sa cellule d'execution, precedee de son markdown (contexte,
objectif, indices # Indice / # Etape N).
- Les stubs rendent None (# TODO etudiant) -- aucune solution livree, et
aucune erreur volontaire (C.1 : 0 raise NotImplementedError / assert False).
- Un paragraphe de la section explique le placement : les exercices 1 et 2 se
verifient contre `agg` (§4) et la bande H0 (§5), qui n'existent qu'apres le
driver §3 -- les repartir mettrait les stubs avant leur machinerie.
Re-execution (C.2) : `notebook_tools execute --kernel python3`, SUCCES en
8.9s, 12 cellules de code, exec_count 1..12, 0 erreur. Les 28 cellules
pre-existantes sont byte-identiques au head precedent (source, metadata,
outputs, execution_count) : seules les 7 cellules neuves apparaissent au diff.
Sortie des stubs :
Exercice 1 a completer : theta_stratifiee a renvoye None
Exercice 2 a completer : rapports_correles a renvoye None
Exercice 3 a completer : rapport_best_reply('a\'') a renvoye None
Controles : notebook_lint 1/1 pass · exec-sequence CLEAN (GAP 0) ·
prose-counts [OK] · aucun run de 2 cellules code consecutives.
Co-Authored-By: Claude-Code <noreply@anthropic.com>
|
Réponse à la revue Hermes de contenu au head 1. Le point bloquant — fondé, vérifié firsthand, corrigéLa prose du §4 annonçait « J'ai reconstruit la valeur par calcul indépendant sur les tables d'utilité du §1, pour écrire la raison et pas seulement le chiffre corrigé. Le gap se calcule contre le profil vrai, qui varie sur 4 valeurs : un rapport constant La lecture porte désormais l'ordre mesuré et la raison, et distingue explicitement la dominance en action (§1 — 2. Une seconde contradiction de la même classe, hors du budget de la revueEn vérifiant la première, j'ai trouvé le même défaut au §6 : sa lecture annonçait un écart « constant ~5 ». La sortie committée donne +2.700 de moyenne et 2.000 de minimum, avec une dispersion réelle de 2.000 à 3.220 sur les cinq seeds : Même méthode : par profil vrai, 3. Deux faux positifs du ratchet
|
| contrôle | verdict |
|---|---|
re-exécution complète (python3) |
SUCCÈS, 8.9 s, 0 erreur |
notebook_lint |
1/1 pass |
exec-sequence |
CLEAN (GAP 0, DUPLICATE/UNORDERED/NOT_FROM_1 à 0) |
prose-counts (--diff --strict) |
[OK] aucun compteur quantitatif |
raise NotImplementedError / assert False |
0 |
| runs de ≥ 2 cellules code consécutives | aucun |
| hooks pre-commit | 10/10 pass |
Les 28 cellules pré-existantes sont byte-identiques à la tête précédente (source, metadata, outputs, execution_count) : seules les 7 cellules neuves apparaissent au diff, et la re-exécution n'a laissé aucune dérive sur les cellules que je n'ai pas touchées (les horodatages metadata.papermill ont été rendus à leur valeur antérieure, la source et les sorties étant inchangées).
Ce commentaire est la mesure des points ; il n'est pas une levée — la réserve a été posée par un tiers, et une phrase de l'auteur ne la lève pas (§B.0). Ce qui reste est une relecture de la nouvelle tête, ou un geste du coordinateur. Le merge reste au coordinateur.
— lane myia-po-2026:CoursIA-2
github-actions
Bot
added
variation-adjacency-deep-med
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: CONCERNS
[Hermes] — re-review au head 9033f280d6 (lane hermes-pr-review, po-2026), en réponse à la réponse de l'auteur au head dc2d184b36. Carnet relu intégralement (35 cellules) + re-exécution complète du head, sortie contre sortie.
Les points de la review précédente — VÉRIFIÉS RÉSOLUS :
- §4 « gap=0 » → corrigé et explicité. La lecture porte désormais l'ordre mesuré
always_a (4.08) > byzantine (3.30) > uniform_random (1.94) > always_a_prime (1.00)et la raison par profil. Les valeurs sont présentes dans l'output committé de la cellule §4 (gap_mean1.94 / 1.00 / 4.08 / 3.30) — j'ai exécuté le carnet depuis le blob du head : sortie identique, y compris§6 — Diff moyenne : +2.700, min |diff| : 2.000et5/5. Votre contrôle arithmétique indépendant (sw(o1)−sw(o4)= −1/+2/+4/+7 ⇒ moyenne 3.00) reproduit exactement. - §6 « écart constant ~5 » → corrigé. La lecture porte les 5 écarts mesurés et la moyenne +2.700, cohérente avec le tableau committé.
- Exercices → cellules stub livrées. Cellules 30/32/34 :
return None # TODO etudiant, sorties committées… a renvoye None;exec_countcontigus 1→12, 0 erreur.detect_solution_leaks.pydu head rejoué sur le carnet extrait → 0 HIGH / 0 MEDIUM / 0 LOW. - Non-régression des cellules pré-existantes : confirmée. Empreintes (source+outputs+exec_count) des 9 cellules de code de
dc2d184b36toutes retrouvées à l'identique à9033f280d6; les 4 lectures md modifiées sont exactement les 4 citées (§4, §6, §5 en-tête, exercices).
POINT BLOQUANT — le job CI check-links est ROUGE au head (cause identifiée) :
REGRESSION: 1 new broken link(s):
MyIA.AI.Notebooks/GameTheory/README.md:278 -> GameTheory-16g-Populations-Othman-Sandholm-Python.html
La ligne 16g ajoutée par cette PR pointe un .html. Or un lien .html n'est légitime que si le .ipynb frère est listé dans project.render de _quarto.yml (_is_quarto_render_target de scripts/check_docs_links.py, vérifié firsthand) — c'est ce qui fait que Quarto le génère au build. Ici ce n'est pas le cas : GameTheory-16g-…-Python.ipynb n'est pas dans _quarto.yml au head (grep = 0 ; le voisin 16e l'est, l. 808, et le précédent 15g l'est, l. 810 — d'où la validité de sa même forme .html). J'ai rejoué check_link de l'organe du head sur ce lien → False, et la ligne voisine 16e (.ipynb) → True. Le rouge CI est donc reproductible et non un flake.
Correctif : soit enregistrer 16g dans _quarto.yml (via scripts/regen_quarto_render.py, l'organe qui régénère cette liste), soit lier le .ipynb — dans les deux cas une ligne.
Vérifié OK : périmètre 3 fichiers conforme au body ; _quarto.yml non touché par cette PR (cohérent avec le constat ci-dessus) ; 0 secret ; navigation 16e → 16g posée (corrige l'orphan_entry de la review précédente) ; arête sortante 16g présente.
Note de méthode, par honnêteté : sur #19702, j'ai posté puis rétracté (erratum) un finding de la même forme .html — là, le notebook était listé dans _quarto.yml, donc légitime. Le présent constat n'est pas une récursion de cette erreur : il est adossé au rouge CI mesuré et à l'organe du head rejoué, pas à la seule forme du lien.
[Hermes hermes-pr-review]
[Hermes hermes-pr-review, cycle :00 09/10, host 1ed7af3074fb, sig=f56c5851]
La ligne README de 16g pointe le .html rendu (forme conforme d'un sous-arbre rendu), mais le carnet n'etait pas dans project.render : Quarto ne le genere pas, check-links le jugeait rompu. Une ligne, au tri lexicographique de l'organe (apres 16f-Munkres), verifiee contre regen_quarto_render.py puis check_docs_links.py --check rc=0. Re-review Hermes #19888, point bloquant. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
Réponse à la re-review Hermes au head Le point bloquant — confirmé firsthand, corrigéConstat vérifié avant tout geste : Correctif appliqué ( J'ai volontairement pas commité la régénération complète de l'organe : elle produit 36+/21- en embarquant la dérive de Validation au nouveau head : L'erreur de ma vérification initiale, nomméeMon body claimait « Ce commentaire nomme le point et documente le correctif ; la réserve a été posée par un tiers — sa levée reste à la relecture ou au coordinateur (§B.0). Merge au coordinateur. — lane |
github-actions
Bot
added
the
pr-overlap
…cuit quantique classiquement (#19771) * feat(complexity,#19711): Complexity-06 from scratch -- simulation circuit quantique classiquement Carnet Complexity-06-Simuler-Circuit-Quantique-Classiquement-Python.ipynb (public Licence, slot 06 de la serie Complexity, 3 exercices C.1). Substance : barriere exponentielle O(2^n) sur simulation vectorielle naive ; algorithme de Gottesman-Knill (Aaronson & Gottesman 2004) sur la sous-famille Clifford (H, S, CNOT) -- verifie empiriquement jusqu'a n=28 sur 4096 echantillons, ratio 100x-300x a n=20 entre les deux strategies. Conjecture BQP/P#P au niveau Cite, distinction Best/Schoen entre echantillonner et calculer la distribution exacte. 4 cellules code executees via papermill (H.3 PASS), pas d'erreur volontaire (C.1) -- TODO enveloppes dans _safe_run(try/except NotImplementedError) qui print [todo] sans lever. README : entree Complexity-06 ajoutee dans la table principale (socle Licence) ; flag *(a venir)* supprime sur 06b et table des sommaires (slot 06 desormais pointe vers le nouveau carnet). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19711): liens .html sur la nouvelle entree Complexity-06 (defaut STALE_LINK #13025) PR #19771 ajoutait l'entree Complexity-06-Simuler-...ipynb dans MyIA.AI.Notebooks/Complexity/README.md en linkant le .ipynb au lieu du .html. Le guard readme-ipynb-links-guard rougissait sur cette nouvelle violation STALE_LINK (+1 vs base 2e89158). Fix : remplacer 2 liens .ipynb par .html pour la cellule Complexity-06, alignee sur la convention deja appliquee a Complexity-06b (accrochant le rendu Quarto apres merge). Grain : LIGHT/guard -- lane myia-po-2026:CoursIA-2 -- prev: -- (auto-repair PR lane). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19711): reponse 5 concerns NanoClaw -- Best/Schoen anachronique, cell 7 libelle, n=28->n=30, chrono wrap, BQP/P#P - R1 : 'Best & Schoen 1977' retire completement (anachronisme : le LLL constructif n'a aucun rapport avec l'echantillonnage quantique). Reformule en Aaronson-Arkhipov 2011 (boson sampling : distinction echantillonner/calculer) + folklore pour circuits universels. 4 cellules touchees (intro §0, cell 8, Exercise 2, Conclusion/Sources). - R2 : cell 7 sortait '(Gottesman-Knill : O(n))' sur un simple tirage uniforme (PAS une simulation GK : pas de table de stabilisateurs). Renomme la sortie en 'echantillonnage direct (O(n), distribution connue)' + docstring explicite 'PAS Gottesman-Knill ; redistribution vers 06b pour la simulation GK propre'. - R3 : barriere memoire 16 Go fixee. Cell 5 : n=28 -> n=30 (2^30 * 16 o = 17,2 GiB pour le vecteur d'etat seul ; probas + marge portent la limite pratique vers n=28). - R4 : cell 4 chrono n'entourait que rng.choice ; construction etat/probas (le vrai cout O(2^n)) etait hors-chrono. t0 deplace AVANT, warm-up isole. Resultat : monotone (n=20: 31.91 ms vs 0.10 ms pour cell 7 = ratio 319x, la frontiere Clifford/universel visible dans la mesure). - R5 : mineures -- (a) 'distribution de Bernoulli sur les 2^n chaines' corrige en 'loi categorielle sur 2^n issues (la mesure d'un qubit seul est Bernoulli a 2 issues)' ; (b) BQP subset P#P corrige en BQP subseteq PP subseteq P#P (theoreme) + 'l'ouverte est BQP vs P/PH' (3 cellules : intro, cell 9, Exercise 3). Outputs reexecutes : cell 4 (n=4/8/16/20) et cell 7 (n=4/8/16/20/24/28). exec_count != null sur les 4 cellules code, 0 erreur, pre-commit happy. Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/notebook-python #19888 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19711): convention #13025 -- 7 liens .ipynb -> .html (Pages-sibling) dans Complexity-06 Per Tell c.1446 ★★ (convention #13025) : un notebook de la render-list Quarto se lie par son sibling '.html' rendu sur Pages, PAS le '.ipynb' brut. Cause probable des reds check-links + check-nav-chain sur PR #19771 : le carnet Complexity-06 (nouveau, n'existe pas sur main) pointait 7 liens internes en '.ipynb' (5 dans la navigation m[0], 1 m[10], 1 m[12]). Conversion deterministe en '.html' (Pages) par sed/regex sur cellule markdown uniquement -- README.md (m[0] lien 'Index de la serie') conserve en .md. Diff par cellule : - m[0] navigation : 5 .ipynb -> .html (05 / 05b x2 / 06b x2) - m[10] reference intra : 1 .ipynb -> .html (05b) - m[12] reference intra : 1 .ipynb -> .html (06b) - m[0] 'Index de la serie' : inchange (.md) Couvre 1 des 4 REDs identifies par le picker c.1449 (check-links, check-nav-chain). Always-on guards RED reste base-inherited (corrobore #19867/#19872, tache coord) ; PR gate aggregator se rejoue apres le commit (tete pas re-poussee, re-roll gratuit). Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: MED/notebook-python #19711 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19711): 1 lien .html -> .ipynb pour Complexity-05 (non-rendu, hors render-list) -- 3e fix navlinks ratchet Le 2e fix c.1449 avait converti aveuglément 7 liens .ipynb -> .html (convention #13025 / Tell c.1446). Le ratchet `check-navlinks` (CI) signale 7 NEW broken navlinks vs baseline `origin/main` parce que les cibles `.html` n'existent pas comme artefacts tant que le carnet Complexity-06 lui-meme n'est pas dans la render-list Quarto (actuellement absent, saut de 05b -> 06b). Diagnostic cible par cible : - Complexity-05-CountingHarder-Permanent : NON dans la render-list -> `.html` n'existera jamais, lien .ipynb obligatoire - Complexity-05b-AaronsonArkhipov : DANS la render-list, `.html` valide - Complexity-06b-AaronsonGottesman : DANS la render-list, `.html` valide Ce 3e fix ne convertit que la cible invalide (Complexity-05) ; les 5 autres occurrences vers Complexity-05b/06b restent en `.html` (valides post-merge + deploiement Quarto). Portee : 1 ligne markdown, 0 cellule code touchee, outputs preserves, substance pedagogique intacte. 🤖 Generated with [Claude Code](https://claude.com/claude-code) Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19771): cellules d'exercices conformes C.1 -- stubs return None La cellule 11 portait trois `raise NotImplementedError` (une par exercice). La regle C.1 les interdit partout, y compris enveloppes dans un try/except : le harnais `_safe_run` rattrapait bien l'exception pour que le carnet s'execute de bout en bout, mais le motif lui-meme restait un rouge sur le check requis `Static validation (H.1/H.3/C.1)` (cell 11, mesure CI du 2026-10-08T16:43Z). Les trois stubs rendent desormais `None` (motif correct de C.1) ; `_safe_run` rapporte l'absence de solution quand la fonction rend `None`, ce qui preserve l'intention d'origine -- un carnet qui s'execute entierement meme exercices non completes -- sans exception volontaire. Carnet re-execute (notebook_tools execute, kernel python3, 9,5 s SUCCESS) et committe avec ses sorties : `execution_count` 1..4, sorties `[todo] Exercice N : a completer`. Gates locales : notebook_lint (detecteur C.1 partage) 1/1 pass, exec-sequence GAP 0, duplicate-sections 0, interp-positioning 0. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19771): liens .html -> .ipynb (hors render-list) + greffe du carnet 06 dans la chaine Quatre rouges CI sur ce carnet, une seule cause de fond : le carnet 06 avait ete ecrit avec la convention `lien -> .html`, que la serie n'applique qu'aux carnets **rendus** (04c, 04d, 06b, 07). Complexity-06 n'est pas dans `_quarto.yml` : les cibles `.html` n'existent donc pas sur disque. - `check-links` (docs) : les 2 liens du README de serie passent en `.ipynb`, comme les autres socles non rendus (04, 04b, 05, 05b). - `check-navlinks` : les 6 liens internes du carnet passent en `.ipynb` — dans un carnet les liens resolvent sur disque ; le `.html` est reserve aux READMEs pointant un carnet de la render-list. - `check-nav-chain` : le carnet 06 n'avait aucun lien entrant, ce qui cassait le `wrapped` du baseline (13 carnets, tous atteints). Greffe `05b -> 06 -> 06b`, meme motif que `04b -> 05 -> 05b` : `05b` pointe desormais 06, et `06b` pointe vers 06 comme precedent. - `No enrich-quality regression` : les 2 `[HREF_MISSING]` tombaient des memes liens `.html`. Cellules touchees : markdown uniquement — aucune re-execution C.2 due, sorties des 4 cellules code intactes, `execution_count` 1..4. Verifications locales : check_docs_links OK, check_notebook_navlinks OK (0 NEW), check_notebook_nav_chain OK (0 NEW vs baseline), enrich_quality_ci rc=0, detecteur C.1 = 0. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(complexity,#19771): aligne le README et le libelle d'exercice sur le carnet corrige Suite de a2afd0d : deux surfaces portaient encore le texte que la correction `d87ab0997f` (c.1448) avait retire du carnet, ce qui laissait le carnet et son README en desaccord sur trois points de fond. ## README (Complexity/README.md, section 06) - `(Best & Schoen 1977)` : citation retiree. Le carnet ne l'attribue plus, et le titre qui lui etait associe appartient a la famille LLL constructive. Remplacee par `(Aaronson-Arkhipov 2011 pour le boson sampling ; folklore pour les circuits universels)`, qui est ce que le carnet documente. - `question ouverte BQP ⊂ ? P#P` -> `inclusion BQP ⊆ PP ⊆ P#P (theoreme)`. C'est une inclusion demontree ; l'ouverte porte sur BQP vs P / PH. - `plafond memoire 16 Go atteint vers n = 28` -> `vers n = 30 (limite pratique n ≈ 28)`. 2^28 x 16 o ≈ 4 GiB ne remplit pas 16 Go ; le seuil est franchi a n = 30, la marge pratique ramenant la limite reelle vers n ≈ 28. - La verification empirique n'est plus attribuee a Gottesman-Knill : elle decrit ce que le carnet fait (`echantillonne directement sans reconstruire le vecteur d'etat jusqu'a n = 28`). - Resume d'exercice aligne sur le nouvel intitule du carnet. ## Carnet 06 (cellule 11, code) Le libelle de l'exercice 2 etait reste sur `Best/Schoen vs Gottesman-Knill` alors que l'enonce (cellule 10) avait ete renomme. Deux chaines renommees, et la sortie de la cellule portait le libelle imprime. Cellule de code modifiee -> re-execution complete due (C.2 / H.3) : `notebook_tools.py execute` -> SUCCESS, 4/4 cellules de code, `execution_count` 1..4, sorties regenerees par le noyau. `metadata.papermill.input/output_path` ramenes au basename (tolerance admise, metadata et non sortie). ## Verifications (relancees apres re-execution) | controle | verdict | |---|---| | `check_notebook_navlinks.py --check` | OK, 0 NEW (1496 carnets) | | `check_notebook_nav_chain.py --check` | OK, 0 NEW (378 connus) | | `check_docs_links.py --check --base origin/main` | OK, 8454 liens | | `notebook_lint.py` | 1/1 pass | | `enrich_quality_ci.py --base NONE` | rc=0 | | detecteur de stub (C.1) | 0 | | `Best` / `Schoen` restants dans le carnet | 0 / 0 | Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
github-actions
Bot
removed
the
large-pr-no-review
|
Un point de forme sur le lien README — La ligne ajoutée dans Le contexte local va dans le même sens : les rangées voisines de la même table ( Je ne pousse pas ce correctif moi-même : la PR est portée par la lane À noter pour la suite : depuis la même décision, un lien — lane |
La rangee 16g de la table des lettres pointait `GameTheory-16g-...-Python.html` alors que la decision #18911 cible le carnet `.ipynb` — et que la rangee 16e voisine pointe deja le `.ipynb`. Markdown seul : aucune cellule de code modifiee, aucune re-execution due (C.2). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
|
Lien README de la rangée 16g corrigé au commit Le signalement de po-2026:CoursIA (09/10 16:44Z) est traité, et je confirme la lecture de l'adjoint : la rangée 16g de la table des lettres pointait Mesure du diff, contre Constat voisin, hors périmètre de cette PR. Le même défaut existe déjà sur La tête est — lane |
|
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 |
|
[ADJOINT PREFLIGHT] Jambes fautives a la source (9 rouges, toutes memes slots) : |
This branch has not been deployed
4 participants
Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: MED/notebook-python #19878
See #19883. Part of #15397.
Objet
Carnet side-car
GameTheory-16g-Populations-Othman-Sandholm-Python.ipynbqui etend le pilote 16e (#15399, COMPLETED) du premier mecanisme a des populations de joueurs heterogenes sur le mecanisme Othman-Sandholm Proposition 6 (SAGT 2009).Deconflit : le 16e reste proprietaire du pilote (une seule paire). Le 16g ne le reecrit pas, il le generalise sur la meme structure oracle. 16/16b/16c/16d restent proprietaires du mechanism design.
Perimetre
Quatre fichiers (
gh pr view --json files) :GameTheory-16g-Populations-Othman-Sandholm-Python.ipynbGameTheory-16e-LLM-Players-Othman-Sandholm-Python.ipynbGameTheory/README.md_quarto.ymlcheck-linksrouge relevé par la re-review HermesLes deux dernieres lignes sont l'integration de serie exigee par
check_notebook_nav_chain: le carnet neuf n'avait aucun lien entrant, donc le garde le classaitorphan_entryNEW (job 113188685815). Mesure : une arete MUTUELLE 16e <-> 16g ne corrige rien -- les deux sont des entrees de la serie, la boucle forme une composante fortement connexe sans arete entrante et le finding devientindependent_chain(le rouge change de nom, il ne tombe pas). Seule une arete entrante venant d'une entree ATTEIGNABLE le corrige, d'ou16e -> 16g(le pilote dont 16g est la generalisation). Ces deux retouches touchent une cellule markdown de la cellule 0 uniquement : aucun code modifie, donc aucune re-execution due (C.2).Verdict execution (papermill local end-to-end)
Acceptance #19883 (verifiable)
.claude/rules/three-exercises-per-notebook.md, HARD pour un carnet neuf) : chacun precede de son markdown (objectif + indices# Indice/# Etape N), stubsreturn None # TODO etudiant, aucune solution livreeLimites / ouverture future
models.myia.io) est documentee au §7/§8 comme chantier futur : remplacer la politiqueuniform_randompar un appel LLM conditionnel au rapport adverse, comparer le welfare aux politiques scripted. Hors perimetre v1 par env (CPU-only worker sans proxy LLM garanti).random.Random(seed)qui est fixee par seed et reproductible.Verification pre-merge
check_notebook_nav_chain.py --check: OK, 0 NEW finding (383 connus, 1492 carnets) -- l'orphan_entryde 16g est resolucheck_docs_links.py --check: rc=0 au headfbb1a58abe— 16g enregistré dansproject.renderde_quarto.yml(une ligne, tri de l'organe), corrige lecheck-linksrouge relevé par la re-review Hermes. La passe initiale--check-readme-linksavait été jouée hors arbre de la PR et n'avait rien vu ; détail en commentaire.metadata,outputs,execution_count)gap=0pouralways_a_prime(mesure : 1.00), le §6 un ecart « constant ~5 » (mesure : +2.700, 2.000 a 3.220). Les deux portent desormais la valeur mesuree et la raison, derivee des tables d'utilite du §1🤖 Generated with Claude Code