Repository navigation
fix(complexity,#17151): Complexity-04 — conclusion re-synchronisée sur les sorties commises (1480x / n=13) - #17340
Conversation
…ies commises du banc Le tableau de synthese citait une execution anterieure (~12 qubits, ~1600x) au lieu des outputs commis (bascule mesurée des n = 13, ratio 1480x a n=20). Markdown-only, sources code byte-identiques. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
|
✅ No prose/output mismatch detected in the notebooks this PR changed. Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
github-actions
Bot
added
variation-tag-malformed
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Path-collision (organ #13359/#13615)Cette PR #17340 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
|
[ADJOINT PREFLIGHT] |
…rc=2) (#17426) * fix(tooling,#17424): enrich_quality_ci --base rejects git revs (loud rc=2) Le help de --base annonçait une "revision", mais high_signatures() retombait silencieusement sur un ensemble vide quand Path.exists() rendait False (rev git brute ou chemin inexistant). Conséquence : chaque finding HIGH du head passait pour une "new REGRESSION" — la base "n'avait rien" — et la porte sortait rc=1 sur des phantoms préexistants. Le workflow CI (enrich-quality-gate.yml) extrait déjà commit 7bf5e6b Author: Jean-Sylvain Boige <jsboige@gmail.com> Date: Tue Sep 22 13:01:37 2026 +0200 fix(complexity,#17151): re-synchroniser la conclusion §4 sur les sorties commises du banc (#17340) Le tableau de synthese citait une execution anterieure (~12 qubits, ~1600x) au lieu des outputs commis (bascule mesurée des n = 13, ratio 1480x a n=20). Markdown-only, sources code byte-identiques. Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com> diff --git a/MyIA.AI.Notebooks/Complexity/Complexity-04-Aaronson-Dequantification-Stabilizer.ipynb b/MyIA.AI.Notebooks/Complexity/Complexity-04-Aaronson-Dequantification-Stabilizer.ipynb index 8e84088..9df53fa 100644 --- a/MyIA.AI.Notebooks/Complexity/Complexity-04-Aaronson-Dequantification-Stabilizer.ipynb +++ b/MyIA.AI.Notebooks/Complexity/Complexity-04-Aaronson-Dequantification-Stabilizer.ipynb @@ -1619,7 +1619,7 @@ "| Dériver, pas recopier | §1–§2 | Table de phase et conjugaison CHP **construites** par multiplication des matrices $2\\times2$ ; le piège de phase $X_c Z_t / Y_c Y_t$ exhibé, pas affirmé |\n", "| Construire l'organe | §3 | Port CHP complet (rowsum, portes, mesures — déterministe par lecture GF(2), aléatoire par re-stabilisation) ; Bell et GHZ lus dans le tableau, 50/50 corrélations mesurées |\n", "| Prouver l'arbitre | §4 | **84 valeurs propres** stabilisatrices exactes au $10^{-9}$ (zéro bruit) ; distributions TV sous 6× le bruit de sondage ; stim confirme les outcomes déterministes |\n", - "| Mesurer le régime | §5 | Bascule **mesurée** dès ~12 qubits ; ratio ~1600× à $n = 20$ ; pente $\\approx 1$ bit/qubit côté état complet ($R^2$ affiché) avec échelons locaux au-dessus du plancher $2\\times$ (mémoire) ; projections $n = 30/40$ **extrapolées du fit, étiquetées telles** |\n", + "| Mesurer le régime | §5 | Bascule **mesurée** dès $n = 13$ qubits ; ratio 1480× à $n = 20$ ; pente $\\approx 1$ bit/qubit côté état complet ($R^2$ affiché) avec échelons locaux au-dessus du plancher $2\\times$ (mémoire) ; projections $n = 30/40$ **extrapolées du fit, étiquetées telles** |\n", "| Fermer la classe | §5 | Une porte $T$ → refus du port **et** de stim (pas de méthode `t`) ; l'état complet inchangé — la frontière est Clifford/le-reste, pas quantique/classique |\n", "\n", "**Ce que 2004 a fondé ici.** Aaronson et Gottesman n'ont pas « accéléré » la simulation\n", vers un fichier temp avant l'appel, donc il est immunisé ; le bug mordait uniquement les invocations worktree du type . Mesure first-hand sur la campagne densité g15-genai-7 : 4 occurrences PHANTOM_IN_FENCE régressaient alors que HEAD~1 et HEAD étaient identiques sur la cellule touchée. Correctif : resolve_base() valide que l'argument est None, le littéral "NONE", ou un chemin qui existe sur disque ; tout le reste lève BaseNotResolvedError et main() retourne rc=2 (distinct de OK=0 et REGRESSION=1) pour que CI puisse brancher dessus. 4 tests de régression couvrent les 4 formes (None, '', "NONE", chemin réel, rev git) + le rc=2 via main(). * noop(#17426): bump SHA pour re-rollup CI avec prev:#16380 corrigé Tell c.566 strict voie 3 + c.1185 ★★★ strict voie 1 fondateur #17375 : sans noop commit, l'amend body seul ne force pas le step lent 'Always-on guards -- adjacency' a re-lire le body actuel. La PR echouait sur l'ancien body qui pointait prev: #16887 (OPEN, violation Tell c.16204-L4 ★★ strict). Le prev: corrige pointe sur #16380 (MED/tooling, po-2026:CoursIA-2, mergé 2026-09-16 11:34:01Z). 🤖 Generated with [Claude Code](https://claude.com/claude-code) * noop(#17426): bump SHA pour re-rollup avec tag LIGHT/tooling Tell c.1185 ★★★ strict voie 1 fondateur #17375 + Tell c.679 strict ★★★ ★★★ G-VAR-3 : le tag 'LIGHT/guard' violait l'interdiction de 2 grains LIGHT consecutifs de meme genre sur la lane (predecesseur reel #17313 LIGTH/guard). Le discriminant Tell c.679 strict §1 ('guard' vs 'tooling') place un script/helper sans statut d'echec propre en 'tooling', pas 'guard'. Re-tag 'guard' -> 'tooling' corrige le verdict aggregator. 🤖 Generated with [Claude Code](https://claude.com/claude-code) --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
2 participants
Grain: CONTENU/notebook-python -- lane myia-po-2026:CoursIA -- prev: CONTENU/notebook-dotnet #17332
Complexity-04 — re-synchronisation de la conclusion sur les sorties commises (1 finding #17151)
Finding ($n=20$ » — aucun de ces deux nombres n'existe dans les sorties commises. Vérifié firsthand sur le notebook au
stale-claim, cellulea88963a7§7 vs sorties §5) : le tableau de synthèse citait « Bascule mesurée dès ~12 qubits ; ratio ~1600× àorigin/main:c9a6f8fc, ec=9) :Ratio etat-complet / port CHP a n=20 : 1480xe2410d1e(ec=10) :Bascule MESUREE : des n = 13 qubitsFix (1 ligne, markdown-only) : « Bascule mesurée dès$n = 13$ qubits ; ratio 1480× à $n = 20$ » — la prose cite désormais exactement les sorties commises (leçon #16590 : lectures ancrées sur les outputs réels, jamais sur une exécution antérieure).
Le reste de la ligne de conclusion est vérifié sain contre les sorties : pente 1.10 bits/qubit («$\approx 1$ »), échelons 1.3×-7.9× (« au-dessus du plancher 2× »), projections n=30/40 étiquetées extrapolées/non mesurées. Grep complet : aucune autre occurrence des nombres périmés (~12 / 1600) dans le notebook.
Validation
origin/maindetect_markdown_rendering.pycheck_split_reading_cells.pyrestore_accents_canonical.py --checkenrich_quality_ci.py(base = blob main extrait)Volets non couverts par cette PR (frontières de campagne, cf claim) : Complexity-02 (claims d'exclusivité + cross-links rl_17/rl_18) = renvoyés à l'arbitrage user #16429 par le bot lui-même ; Concern user « série trop hardue » = capturé par l'Epic #17063 (refonte curriculum en accrétion).
See #17151 (contribution partielle : volet Complexity-04 ; 01/02/03 RAS ou hors frontière).
🤖 Generated with Claude Code