Repository navigation
Add: tranche densite Sudoku Python - lectures de sorties et anatomies (See #13410) - #16386
Conversation
…#13410) Trois notebooks enrichis (markdown uniquement, exception C.2, outputs intacts) : - Sudoku-07-Norvig-Python: 745.4 -> 1202 (6 cellules + 2 enrichissements) - Sudoku-14-BDD-Python: 791.5 -> 1206 (6 cellules + 2 enrichissements) - Sudoku-04-SimulatedAnnealing-Python: 912.8 -> 1201 (5 cellules + 3 enrichissements) Baseline non touchee (canon des tranches). Diff : 248 insertions, 0 suppression. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
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: |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
github-actions
Bot
added
the
variation-adjacency-deep-med
… markdown-only density tranche Pairs attested: Sudoku-04 SimulatedAnnealing, Sudoku-07 Norvig, Sudoku-14 BDD. Paraphyte-preservant verification (python-compare vs origin/main): all code cells byte-identical (source + outputs + execution_count) — Sudoku-04 19/19, Sudoku-07 12/12, Sudoku-14 14/14; changes are markdown-only additions (+5/+6/+6 cells). Command run per pair: python scripts/notebook_tools/check_twin_parity.py --update --pair "<name>" --by "myia-po-2026:CoursIA" Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
[ADJOINT PREFLIGHT] PR #16386 -- verdict: PREFLIGHT_BLOCKED (conflit main + Solution-leak HIGH + 3 rouges) c.36 22:34Z UTC. Pool c.36 22:34Z firsthand : 143/143 PRs ouvertes, 102/143 sans reviewDecision, 5/143 APPROVED. État mesuré firsthand c.36 :
B.0 organe canonique : exit 0 OK. Lecture 4 surfaces Tell c.28-L1 ★★★ EXHAUSTIF :
3 rouges identifiés : Scripts Tests CPU + PR gate + Solution-leak HIGH delta advisory (Tell c.32-L1 ★★★ fondateur : Solveur-leak = finding reel, pas DWELL). Statut canonique c.36 : PREFLIGHT_BLOCKED (rebase requis + Solveur-leak HIGH). Substance = DEEP/notebook-python (Stable-Diffusion-3 + 21 lectures). Recommandation ai-01 : sweep lane worker rebase + investigate Solveur-leak advisory (mesure avant fix Tell c.G.9). Tell c.1502 ××134ᵉ strict single-lane OK. Grain: MED/coordination-watchdog. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16386 -- verdict: PREFLIGHT_BLOCKED (Scripts Tests CPU + Solution-leak HIGH delta #8053) c.38 23:23Z UTC. Pool c.38 23:21Z firsthand : 145/145 PRs ouvertes. État mesuré firsthand c.38 (Tell c.27-L1 ★★★ couplage) :
Check-runs source fiable (Tell c.32-L1 ★★★ fondateur) :
Organ B.0 canon : exit 0 OK (zero nit). Lecture 4 surfaces : mss=UNKNOWN (deferral) ; mergeable=False ; reviews[].state=[] ; reviews[].body=N/A. Tell c.974 dissipation append-only : préflight c.36 = PREFLIGHT_HOLD. Freshness c.38 = Solution-leak HIGH delta ajouté + Scripts Tests failure persistant. Tell c.G.9 ★★★★ fondateur : Solution-leak HIGH delta finding ratchet novel (pas vu c.36-c.37), couplé Scripts Tests #16643 sweep non résolu. Substance = MED/density. Plafonnement slot WSL + leak détection = double blocage. Statut canonique c.38 : PREFLIGHT_BLOCKED. Recommandation ai-01 : sweep lane worker investigation slot WSL 3 GiB + investigation Solution-leak #8053. Tell c.1502 ××134ᵉ strict single-lane OK. Grain: MED/coordination-watchdog. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16386 -- verdict: PREFLIGHT_BLOCKED (Scripts Tests CPU #16643 + Solution-leak HIGH delta #8053 + PR gate) c.39 00:0xZ UTC. Pool c.39 00:0xZ firsthand : 148/148 PRs ouvertes. État mesuré firsthand c.39 (Tell c.27-L1 ★★★ couplage) :
Check-runs source fiable (Tell c.32-L1 ★★★ fondateur) :
Organ B.0 canon : exit 0 OK. Lecture 4 surfaces Tell c.28-L1 ★★★ EXHAUSTIF :
Tell c.974 dissipation append-only : freshness c.39 = inchangé. Repost légitime. Tell c.G.9 ★★★★ fondateur : Solution-leak HIGH delta finding ratchet novel, couplé Scripts Tests #16643 sweep non résolu. Plafonnement slot WSL + leak détection = double blocage. Statut canonique c.39 : PREFLIGHT_BLOCKED. Substance = MED/density. Tell c.1502 ××134ᵉ strict single-lane OK. Grain: MED/coordination-watchdog. schema: 1 |
Derniere operation apres le merge de main : l'attestation 0008 etait en conflit add/add (blob Python different de part et d'autre) ; la 0009 atteste le notebook Python tel qu'il est maintenant. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Conflit resolu + instruction du delta #8053 — head Merge de main : conflit unique Instruction Solution-leak HIGH delta #8053 (WARN phase) : au head precedent
Il reste |
github-actions
Bot
removed
the
variation-adjacency-deep-med
[ADJOINT-PREFLIGHT RETIRE] |
|
[AUDIT CONTENU — amendement user 21/09] Verdict : MERGE. 3 notebooks (Sudoku-04 SA-Python, 07 Norvig-Python, 14 BDD-Python), 13 cellules. 45 indices / 36 libres recomptés sur la grille témoin ; première colonne de l'initialisation (9,1,5,4,3,1,2,7,2) relue — les deux paires (1,1) et (2,2) sont bien là ; facteurs 58× / 2 263× / ~23 000× et contraste inter-instances ×20 (recuit) vs ×2 (backtracking) recalculés ; 81/27/20 avec décomposition 8+8+4 ; facteur 1,35 = 4,45/3,30 ; BDD 1/1/7 nœuds et produit 7+7→19 ≠ 49 ; le « 1,7 ms » cité pour le §6 confirmé présent dans les outputs committés. Cellule du test 2,67 ms : remarque honnête que la grille de test est déjà résolue. Organ 0/0 deux bouts. |
|
[ADJOINT PREFLIGHT] |
…res de cellules, prose vs trace, constantes mesurees, corpus exercices) (#17303) * fix(sudoku,#17239): repair 4 Hermes findings in Sudoku-04-Python - stale cell-index citations (shifted by density tranche #16386) re-anchored on cell name + section instead of frozen numbers - trace lecture rewritten from the committed trace (real energy sequence, real Accept/Improve maxima) - Prong B exercise constants aligned with the committed paired comparison (Section 9) instead of numbers absent from every output - exercise verifications pointed at the real corpus (Sudoku_top95.txt) instead of a nonexistent 'medium' corpus - cell 48 re-executed (kernel python3), stubs preserved (C.1), outputs committed (C.2); accent cures applied on edited cells Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(sudoku,#17239): derive SA/BT durations from the run in Sudoku-04-Python Les constantes T_SA_MS / T_BT_MS de l'exercice (Section 11) etaient recopiees d'un run anterieur. A chaque re-execution, elles citaient donc des durees absentes de toute sortie committee, et la prose des cellules 24, 37, 46 et 49 reprenait ces valeurs perimees. - cell 36 : capture T_BT_MS_MESURE / T_SA_MS_MESURE dans la comparaison mesuree - cell 48 : T_SA_MS / T_BT_MS derives de cette capture, plus recopies - cells 24/37/46/47/49 : chiffres recales sur les sorties du run committe Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * chore(twin,#8057): rebaseline Sudoku-04 SimulatedAnnealing after the Python fix Le contenu du jumeau Python a change (PR #17303). L'entree d'audit 0013 atteste le nouveau blob et documente le pourquoi en `reason:`. Le C# est inchange, `parity_level: native-both` intacte. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
2 participants
Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-python #16343
See #13410 (tranche densité Sudoku Python « solveurs et encodages » — cinquième livraison du cycle sur l'epic ; même genre que #16343 mais substance distincte : #16343 = inférence causale DoWhy, ici = propagation de contraintes, automates BDD/MDD et recuit simulé — familles, méthodes et notebooks disjoints).
Seeet nonCloses: l'epic couvre ~357 notebooks sous plancher, cette tranche en remonte 3.Livrable
Trois notebooks Python enrichis de lectures de sorties et d'anatomies — markdown uniquement (exception C.2 : aucune cellule modifiée dans le code, outputs intacts) :
assign/eliminate(l'inversion : assign = éliminer les autres ; eliminate propage aux 20 pairs + singletons cachés ; MRV = tri par longueur de chaîne de candidats) ; le test 2,67 ms lu (grille fournie déjà résolue — propagation seule, zéro branchement) ; le benchmark lu (20/20 faciles à 3,30 ms, 11/11 difficiles à 4,45 ms — facteur 1,35, contrasté avec la disqualification du naïf dans le jumeau C#) ; la notation compacte A2=1679 (l'essai de Norvig).apply(computed table = condition du polynomial) ; les tautologies réduites à 1 nœud (x ET NON x → feuille directe ; distributivité 7=7 nœuds, équivalence vérifiée sur 8 assignations — et sa limite exponentielle) ; le RowMDDBuilder (frontière = masque de bits des valeurs posées, 2^N plafond, convergence des ordres) ; le MDD ligne 31 nœuds + validité ; le produit 7+7 = 19 (pas 49 — le partage des nœuds).Critère de lacune (nommé)
Interprétation-après-mesure et anatomie : les sorties non lues étaient les constantes 81/27/20, le test 2,67 ms, le benchmark Python, les tests BDD (tautologies 1 nœud, produit 19), le MDD ligne 31 nœuds, l'initialisation à énergie 29, l'échange delta +1, le test manuel 0,21 s et la comparaison SA/backtracking (347 659 ms). Tout chiffre cité est ancré sur une sortie committée du notebook lui-même.
Validation
detect_markdown_rendering --check: 0 violation sur les trois chemins (filtre du run repo-wide).pedagogy_density.py --check-orphans: OK, 0 orpheline.execution_countet outputs inchangés.Déconflit
Census non tronqué : le seul match PR ouverte sur ces mots-clés est #16383 (ma PR C# d'il y a un cycle) — false positif de body (« twins Python hors périmètre »), ses fichiers = les 3 notebooks C# uniquement, vérifié firsthand. Comments #13410 scannés au claim + au commit : 0 claim concurrent sur ces chemins. La grille témoin 45 indices et sa solution canonique, partagées avec Sudoku-04/06/07-Csharp/11, sont citées comme telles — aucun de ces notebooks n'est modifié ici.
🤖 Generated with Claude Code