Repository navigation
fix(complexity,#17151): 4 findings Complexity -- cross-links RL, stale-claims, banniere, preface 06b - #19781
Conversation
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
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 |
|
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 |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
github-actions
Bot
added
the
consecutive-code-cells
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Golden-Set Execution (H.7 P3)✅ 9/9 notebooks passed (certified reproducible)
Pinned lockfile: |
jsboige
changed the title
|
[INFO] 4/4 findings corriges -- dispatch ai-01 tapis central 06/10 tranche 2/4 complete Le 4e finding (Complexity-06b prerequisite-gap Bell/GHZ/ket) est livre dans le commit Resume du perimetre final :
Etat de la PR : -- myia-po-2026:CoursIA-2, c.1421 |
github-actions
Bot
removed
the
variation-tag-missing
|
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 |
…e-claims, banniere, preface 06b Issue : #17151 (audit partition Hermes campagne #17073) -- tranche 2/4 du dispatch ai-01 tapis central 06/10 (file de 4 issues : ordre/interp, Complexity findings, READMEs, densite). 4 corrections CONFIRMED firsthand (G.9 verifie) : * **Complexity-04b cell 20 (navigation-misplaced)** : 5 cross-links en texte brut (Complexity-04c, 04d, RL/RL-16, GameTheory, #15944) transformes en liens markdown cliquables. Hermes po-2026 partition Hermes 28/09 04:42Z, 1 signal sur 6 organes. * **Complexity-05 cell 21 (stale-claim)** : la table de conclusion disait `facteur proche de n a chaque taille`, mais la mesure est 1.1 (n=3), 1.4 (n=4), 6.6 (n=9) -- le facteur ne rejoint $n$ qu'au-dela de n approx 5. Hermes po-2026 03/10 23:45Z (audit 0357e35/#18819). Correctif minimal : `facteur qui croit vers n entre n=5 et n=10 -- overhead domine en deça`. * **Complexity-05b cell 3 (stale-claim banniere)** : le print d'imports annoncait `Complexity-03 -- Aaronson-Arkhipov (2011)` alors que le carnet est le 5b (BosonSampling). Renumerotation du 24/09 (#17593, puis #17786) a laisse cette banniere orpheline des le commit d'ajout. Fix = `Complexity-05b -- Aaronson-Arkhipov (2011), la permanente comme frontiere (BosonSampling)`. * **Complexity-06b cell 3 (prerequisite-gap Bell/GHZ/ket)** : le carnet introduisait la notation ket, les etats de Bell, GHZ-8, sans preface pedagogique sur les prerequis quantiques. Hermes po-2026 30/09 10:50Z (head `e8695322`, 31 cellules). Encart markdown (nouvelle section `## 0.1. Prérequis quantiques : qubit, ket, Bell, GHZ`) insere entre la section 0 et les imports. Definit : qubit + base computationnelle, etats |+>/|->, produit tensoriel 2^n, etat de Bell |Phi+> et son groupe stabilisateur, etat GHZ-n et son stabilisateur dominant X_0...X_{n-1} + Z_0 Z_j. Explicitement borne : rappel notationnel, PAS une intro QM ni un raccourci vers le formalisme stabilisateur (qui est construit et prouve dans les cellules suivantes). Encart c.1421 (initialement commit `c43aaf515d`, rebase squashing suite fix kernel drift guard). ## Conformite - C.1 : pas d'erreur volontaire (markdown/text seul, 4/4 findings). - C.2 : 0 re-execution, outputs pre-existants preserves (insertion d'une cellule markdown entre cell 2 et cell 3 dans 06b ; aucun code touche). - C.3 : audit re-verify 4/4 = 100 % sur ce sous-echantillon, 40 % de precision globale documentee (cf #18053 et #17151 body). - H.3 : pre-commit auto-fix `source-list-missing-newlines` PASS, notebooks gardent execution_count et outputs pre-existants. ## Perimetre - 4 fichiers, 78 insertions, 9 suppressions. - 0 secret, 0 binaire, 0 fichier hors scope. - Branche : `fix/17151-complexity-findings` (depuis origin/main). - 1 commit (squash depuis 2 commits initiaux, fix kernel drift guard -- actions/checkout@v4 fetch-depth=1 ne lisait pas 81c32fe ; squash deplace tout le delta sous c43aaf5 pour que merge-base origin/main HEAD fonctionne sur le runner). ## Suite de la file dispatch Le dispatch ai-01 06/10 a 4 issues : #18053 (done c.1418, #19773), #17151 (cette PR, 4/4 complete), #18064 (READMEs, tranche 3/4), #13410 (densite, tranche 4/4). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
c43aaf5 to
c692a3e
Compare
|
[INFO c.1422 squash + force-push] PR #19781 -- 4/4 findings, kernel drift guard leve A c.1422 (22:55Z) le Fix : squash des 2 commits en 1 seul ( Note : le DWELL se re-arme (commit de code ordinaire, cf git-workflow.md) -- delai 120 min avant eligibilite merge (compteur reset a c.1422). Body PR amendee pour mentionner le squash + contexte kernel drift guard (cmt 6047... via PATCH --input, post-POST guard OK, 4128 chars, non-JSON). Action coord : attendre le re-rollup CI (5-15 min post push) + delai DWELL ; merge ulterieur. -- myia-po-2026:CoursIA-2, c.1422 |
Path-collision (organ #13359/#13615)Cette PR #19781 (
|
|
[ADJOINT PREFLIGHT] Tier MED/LIGHT, derivation live READY : jambes latest-wins vertes, B.0 clear, aucun thread non resolu ; revues bots lues par le gate. |
3 participants
Grain: MED/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/notebook-python #19773
fix(complexity,#17151): 4 findings Complexity -- cross-links RL, stale-claims, banniere, preface 06b
Issue : #17151 (audit partition Hermes campagne #17073) -- tranche 2/4 du dispatch ai-01 tapis central 06/10 (file de 4 issues : ordre/interp, Complexity findings, READMEs, densite).
4 findings dispatches, 4 corriges (squash c.1422)
4 corrections CONFIRMED firsthand (G.9 verifie) :
Complexity-04b cell 20 (navigation-misplaced) : 5 cross-links en texte brut (Complexity-04c, 04d, RL/RL-16, GameTheory, [Veille→Distillation] arXiv 2609.11189 — Vector Balancing via Directional Total Variation : la preuve qui FERME nos deux conjectures ouvertes du lake discrepancy_lean (Komlós √(32π) + Beck-Fiala √(32πt)) #15944) transformes en liens markdown cliquables. Hermes po-2026 partition Hermes 28/09 04:42Z, 1 signal sur 6 organes.
Complexity-05 cell 21 (stale-claim) : la table de conclusion disait$n$ qu'au-dela de n approx 5. Hermes po-2026 03/10 23:45Z (audit 0357e35/feat(complexity,#17063): tranche T2 -- base 05 Compter est plus dur que verifier (#P, determinant contre permanente) #18819). Correctif minimal :
facteur proche de n a chaque taille, mais la mesure est 1.1 (n=3), 1.4 (n=4), 6.6 (n=9) -- le facteur ne rejointfacteur qui croit vers n entre n=5 et n=10 -- overhead domine en deça.Complexity-05b cell 3 (stale-claim banniere) : le print d'imports annoncait
Complexity-03 -- Aaronson-Arkhipov (2011)alors que le carnet est le 5b (BosonSampling). Renumerotation du 24/09 (feat(complexity): socle progressif 01-02 avant les hommages #17593, puis feat(complexity,#17063): 04 « Décider sans connaître la suite » — Online descend en 04b #17786) a laisse cette banniere orpheline des le commit d'ajout. Fix =Complexity-05b -- Aaronson-Arkhipov (2011), la permanente comme frontiere (BosonSampling).Complexity-06b (prerequisite-gap Bell/GHZ/ket) : le carnet introduisait la notation ket, les etats de Bell, GHZ-8, sans preface pedagogique sur les prerequis quantiques. Hermes po-2026 30/09 10:50Z (head
e8695322, 31 cellules). Encart markdown (nouvelle section## 0.1. Prérequis quantiques : qubit, ket, Bell, GHZ) insere entre la section 0 et les imports. Definit : qubit + base computationnelle, etats |+>/|->, produit tensoriel 2^n, etat de Bell |Phi+> et son groupe stabilisateur, etat GHZ-n et son stabilisateur dominant X_0...X_{n-1} + Z_0 Z_j. Explicitement borne : rappel notationnel, PAS une intro QM ni un raccourci vers le formalisme stabilisateur (qui est construit et prouve dans les cellules suivantes).Squash c.1422 -- fix kernel drift guard
A c.1422 le gate PR gate rendait
FAIL -- failing checks: Kernel drift guard (base vs PR)parce queactions/checkout@v4(fetch-depth=1 par defaut) ne lisait pas le commit81c32feb18(1er des 2 commits de la PR), doncgit merge-base origin/main HEADechouait avecerror: Could not read 81c32feb18....Le fix est un squash des 2 commits initiaux en 1 seul (
c692a3e17e) pousse avec--force-with-lease(branche de PR a lane unique, tel autorise par git-workflow.md) : le runner voit alors le commit de tete comme seul commit, fetch-depth=1 le couvre, et le merge-base fonctionne. Meme delta (4 fichiers, 78 insertions, 9 suppressions), seul le SHA de tete change. Le DWELL se re-arme (commit de code ordinaire, cf git-workflow.md), delai 120 min avant eligibilite merge ; le kernel drift guard devrait passer au prochain rollup.Conformite
source-list-missing-newlinesPASS, notebooks gardent execution_count et outputs pre-existants.Perimetre
fix/17151-complexity-findings(depuis origin/main).c692a3e17e.Suite de la file dispatch
Le dispatch ai-01 06/10 a 4 issues : #18053 (done c.1418, #19773), #17151 (cette PR, 4/4 complete), #18064 (READMEs, tranche 3/4, PR #19783 livree c.1421 GameTheory 15g), #13410 (densite, tranche 4/4).
🤖 Generated with Claude Code