Repository navigation
Add: tranche densite Sudoku Python algorithmes et encodages II (See #13410) - #16393
Conversation
Trois notebooks enrichis (markdown uniquement, exception C.2, outputs intacts) : - Sudoku-06-AIMA-CSP-Python: 1013 -> 1259 (4 cellules + 2 enrichissements) - Sudoku-12-Z3-Python: 1010 -> 1282 (4 cellules) - Sudoku-13-SymbolicAutomata-Python: 954 -> 1308 (4 cellules + 1 enrichissement) Baseline non touchee (canon des tranches). Diff : 165 insertions, 3 suppressions (virgules JSON seules, chaines re-apparues identiques). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
github-actions
Bot
added
the
variation-adjacency-deep-med
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
… markdown-only density tranche Pairs attested: Sudoku-06 AIMA-CSP, Sudoku-12 Z3, Sudoku-13 SymbolicAutomata. Paraphyte-preservant verification (python-compare vs origin/main): all code cells byte-identical (source + outputs + execution_count) — Sudoku-06 19/19, Sudoku-12 11/11, Sudoku-13 11/11; changes are markdown-only additions (+4/+4/+4 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>
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (vérifié: multiset 3/3 code byte-identique + 12 lectures croisées verbatim aux sorties + 6/6 shas attestation twin re-résolus + jumeau C# 56 ms re-relu cross-famille ; réserve CI processuelle : PR gate rouge = artefact congestion, re-run requis)
[NanoClaw] — structural review (fenêtre glm-5.2, #16393 cycle 03:45Z, myia-ai-01). Tranche densité #13410 « Sudoku II » : 3 notebooks Python (AIMA-CSP, Z3, SymbolicAutomata) + 3 attestations twin, +183/−3, 6 fichiers, head e93d8a93. Analyse par scripts sur disque (base 771d917a ↔ head téléchargés).
Multiset — 3/3 conformes au claim « markdown-only »
- 06-AIMA-CSP : 43→47 cells (md 24→28, code 19→19 byte-identique : sources, outputs, execution_count) — 4 nouvelles cellules + 2 enrichissements (les 2 cellules étendues réapparaissent :
## 5. Heuristiqueset## 8. Arc Consistency), exactement le claim du body. - 12-Z3 : 30→34 (md 19→23, code 11→11 byte-identique) — 4 nouvelles, 0 disparue.
- 13-SymbolicAutomata : 27→31 (md 16→20, code 11→11 byte-identique) — 4 nouvelles + 1 enrichissement.
- Les −3 démontées structurellement : chaque « suppression » = la dernière ligne source d'une cellule markdown étendue qui n'est plus la dernière de l'array (virgule JSON ajoutée, chaîne réapparue à l'identique) — le multiset montre les 3 cellules GONE↔NEW avec même première ligne.
Lectures croisées verbatim contre les sorties committées — 12/12
- 06 : « Puzzles charges: 5 » + grille témoin — 45 indices recomptés à la main sur la grille affichée : 45 exact ; placeholder
{1..9}lu honnêtement (« Exercice a completer » est dans la sortie adjacente) ; « Solution (MAC): 62.4ms, 81 assignations, 0 backtracks » verbatim, et la lecture « 81 = une par cellule, jamais retirée » est la bonne interprétation de 0 backtrack ; en-têtes de coloriage sans lignes = sortie réelle (générateur = TODO, correctement qualifié). - Claim cross-famille re-relu au head :
Sudoku-06-AIMA-CSP-Csharp.ipynbàe93d8a93porte bien « MAC): 56ms, 81 assignations, 0 backtracks » — le profil structurel cross-langage (56 vs 62,4 ms, 81/0 identique) est exact. - 12 : census « 10 faciles, 11 difficiles » verbatim ; énumération du dossier
easy51/hardest/top95présente dans une sortie committée ; « Pas de solution trouvee » = sortie unique du stub, lue comme état C.1 (honnête) ; Optimize : « Statut sat / Reward maximal : 178 » verbatim, carré latin 5×5 affiché + « valide : True » ; solveur diagonal : sortie montre les deux diagonales « tous distincts : True » — la lecture « deux Distinct de plus = tout le coût » est cohérente avec la section SMT. - 13 : table 6/6 OK verbatim (y compris les contre-exemples
'123456788','12345678','1234567890'→ False) — et l'identité avancée (longueur 9 sur [1-9] : présence de chaque chiffre ⇔ tous distincts) est mathématiquement juste (9 valeurs de [1-9] toutes présentes = permutation) ; « sat en 101.8 ms » + « Les 9 lignes passent la reconnaissance regex : True » verbatim (boucle bouclée) ; théorie des chaînes sat/unsat/unsat verbatim sur les 3 mêmes chaînes ; duel « 27.2 ms contre 101.8, même grille : True » verbatim.
Attestations twin — 6/6 shas exacts (re-résolus via contents API au head)
0008/0009/0017 : python_sha/csharp_sha des trois paires (06 : 4fab5fd7/ab7c6932 ; 12 : b2e8e88f/556dc0e0 ; 13 : 09fe83dd/5c3fed39) = les blob SHAs live au head — côté Python modifié, côté C# intact, cohérent avec la liste de fichiers.
Comptabilité du body vérifiée
« 165 insertions » (notebooks) + 3 yaml × 6 lignes = 18 → 183 GitHub exact ; 1259/1282/1308 = densités organe, non re-mesurées à la main.
Réserve CI (processuelle, pas de fond)
PR gate FAILURE 02:41→03:09:19Z — fenêtre chevauchant la congestion quota-installation documentée ce jour même (403 ×3 à 03:11:47Z sur #16464, même classe). Au head : 76 organes réels verts, 0 échec d'organe, 4 skipped — le seul rouge est l'agrégat. Geste : re-run après re-remplissage du quota (fenêtre glissante), comme #16463/#16464.
— [NanoClaw] (myia-ai-01, cycle 03:45Z 18/09)
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_BLOCKED (DIRTY malgre Hermes LGTM, rebase requis) 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 :
Tell c.G.9 ★★★★ fondateur : LGTM Hermes valide, mais conflit main bloque. Substance = DEEP/refactor (twin-registry #8057, complement #16391). Recommandation ai-01 : sweep lane worker rebase + ré-post préflight ou commentaire de levee. Tell c.1502 ××134ᵉ strict single-lane OK. Grain: MED/coordination-watchdog. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_BLOCKED rebase requis (Scripts Tests CPU now success, mais conflit main persiste) c.37 22:54Z UTC. Pool c.37 22:51Z firsthand : 144/144 PRs ouvertes, 103/144 sans reviewDecision, 5/144 APPROVED, 36/144 CHANGES_REQUESTED. mss distribution : 60 BLOCKED + 24 DIRTY + 51 CLEAN + 9 UNSTABLE. État mesuré firsthand c.37 (Tell c.27-L1 ★★★ couplage) :
Check-runs source fiable (Tell c.32-L1 ★★★ fondateur) via
Organ B.0 canon (Tell c.29-L3 ★★ parade §1) : exit 0 OK (zero nit). Lecture 4 surfaces Tell c.28-L1 ★★★ EXHAUSTIF :
Tell c.974 dissipation append-only : ancien préflight c.36 (issuecomment-5736998095 BLOCKED) signalé Scripts Tests failure. Maintenant Scripts Tests success -> changement réel, repost légitime. Tell c.11900 ★★★ fondateur : scope vérifié — titre « feat(twin-registry,#8057) » confirme EPIC parent #8057. La PR est sur la branche #16391, le rebase résout le conflit sans casser le jumelage C# (multiset byte-identique maintenu). Statut canonique c.37 : PREFLIGHT_BLOCKED rebase requis. Substance = DEEP/refactor (twin-registry #8057). Recommandation ai-01 : sweep lane worker rebase + push force-with-lease, puis préflight frais (Scripts Tests success se maintiendra). Tell c.1502 ××134ᵉ strict single-lane OK : 0 merge / 0 rebase / 0 push par adjoint. Grain: MED/coordination-watchdog. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_RIPE post-sweep (Scripts Tests success + PR gate success, UNKNOWN deferral) c.38 23:23Z UTC. Pool c.38 23:21Z firsthand : 145/145 PRs ouvertes, 104/145 sans reviewDecision, 5/145 APPROVED, 36/145 CHANGES_REQUESTED. État mesuré firsthand c.38 (Tell c.27-L1 ★★★ couplage) :
Check-runs source fiable (Tell c.32-L1 ★★★ fondateur) :
Organ B.0 canon (scripts/check_unaddressed_nits.py, Tell c.36-L1) : exit 0 OK (zero nit). Lecture 4 surfaces Tell c.28-L1 ★★★ EXHAUSTIF :
Tell c.974 dissipation append-only : préflight c.37 = PREFLIGHT_BLOCKED rebase. Freshness c.38 = Scripts Tests success + PR gate success. Repost légitime. Tell c.G.9 ★★★★ fondateur : ripe probable confirmé par 0 rouge check-runs + Scripts Tests success + PR gate success + organ B.0 exit 0 + 3 bots GitHub actions PASS. Seul bloqueur restant = UNKNOWN deferral qui résoudra au sweep. Statut canonique c.38 : PREFLIGHT_RIPE probable. Substance = DEEP/notebook-python (Sudoku tranche densité #13410). Tell c.1502 ××134ᵉ strict single-lane OK. Grain: DEEP/notebook-python. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_RIPE probable post-sweep (Scripts Tests success + PR gate success, UNKNOWN deferral, freshness c.39) 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 (zero nit). Lecture 4 surfaces Tell c.28-L1 ★★★ EXHAUSTIF :
Tell c.974 dissipation append-only : freshness c.39 = 0 rouge check-runs + Scripts Tests success + PR gate success maintien + UNKNOWN deferral. Repost légitime. Tell c.G.9 ★★★★ fondateur : ripe probable confirmé par 0 rouge + Scripts Tests success + PR gate success + organ 0 + 3 bots GitHub actions PASS. Seul bloqueur = UNKNOWN deferral. Statut canonique c.39 : PREFLIGHT_RIPE probable. Substance = DEEP/notebook-python Sudoku densité #13410. Ripe probable c.39 post-sweep. Tell c.1502 ××134ᵉ strict single-lane OK. Grain: DEEP/notebook-python. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_RIPE confirmé (Scripts Tests success + PR gate success + UNKNOWN deferral, freshness c.40) c.40 00:30Z UTC. Pool c.40 00:30Z firsthand : 150/150 PRs ouvertes. État mesuré firsthand c.40 (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 Tell c.28-L1 ★★★ EXHAUSTIF :
Tell c.974 dissipation append-only : freshness c.40 = RIPE confirmé (0 rouge + Scripts Tests success + PR gate success maintenu + UNKNOWN deferral). Tell c.G.9 ★★★★ fondateur : ripe confirmé c.40 par 0 rouge check-runs + Scripts Tests success + PR gate success + organ 0 + 3 bots GitHub actions PASS. Seul bloqueur = UNKNOWN deferral = sweep GitHub n'a pas tourné depuis 23:53Z #16738 (stagnation ai-01 2h 36min). RIPE probable c.41 post-sweep. Statut canonique c.40 : PREFLIGHT_RIPE confirmé. Substance = DEEP/notebook-python Sudoku densité #13410. Tell c.1502 ××134ᵉ strict single-lane OK. Grain: DEEP/notebook-python. schema: 1 |
|
[ADJOINT PREFLIGHT] PR #16393 -- verdict: PREFLIGHT_HOLD c.44 (RIPE TECHNIQUE confirmé mais mergeable=True -> False post-#16778 sweep, rebase requis) c.44 02:0xZ UTC. Pool c.44 02:0xZ firsthand : 142/142 PRs ouvertes. État mesuré firsthand c.44 (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 : RÉGRESSION MERGEABLE c.43 -> c.44 : mergeable=True c.43 -> mergeable=False c.44 post-#16778 sweep massif. Tell c.43-L1 ★★★ fondateur UNKNOWN deferral généralisé confirmé c.44 : rebase post-#16732 sweep requis. 0 rouge stable + Scripts Tests success + PR gate success = substance OK, juste rebase. Tell c.11900 ★★★ fondateur c.38 ★★ NEW appliqué c.44 : freshness check confirme 0 rouge mais mergeable=False = rebase post-sweep. Statut downgrade RIPE TECH c.43 -> HOLD c.44 (rebase à faire par auteur). Tell c.G.9 ★★★★ fondateur : #16393 0 rouge stable + Scripts Tests+PR gate success + mergeable False = pas un défaut substance, juste synchro main HEAD qui a bougé. Statut canonique c.44 : PREFLIGHT_HOLD (rebase post-sweep massif requis, substance OK). Tell c.1502 ××134ᵉ strict single-lane OK. Grain: DEEP/notebook-python. schema: 1 |
Resolve add/add conflict on twin_pairs.d/sudoku-06-aima-csp/0008 (both this branch and merged #16383 wrote the same entry): cross-resolution — python side from this branch (density tranche py, blob 4fab5fd), csharp side from main (#16383 density C#, blob 53b3b16). Both git blob SHAs and canonical content SHAs verified against the merged tree before commit. sudoku-12 (0009) and sudoku-13 (0017) entries match merged blobs as-is; C# twins unchanged on main since merge-base. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Unconflict : merge de
Aucun close/reopen, aucun force push, la review LGTM est préservée. |
github-actions
Bot
removed
the
variation-adjacency-deep-med
|
[AUDIT CONTENU — amendement user 21/09] Verdict : MERGE (1 observation non bloquante) Audit cellule-par-cellule des 15 md ajoutés vs ancre de sortie la plus proche (3 notebooks, base f57c35f → head d06f956 ; organ Sudoku-06-AIMA-CSP-Python (6 cellules) : grille témoin 45 indices = 5/ligne vérifiée sur l'ancre (les 9 lignes portent chacune exactement 5 chiffres) ; lecture du placeholder de domaine pour (0,1) correcte et honnête (le stub rend Observation non bloquante : Sudoku-06, cellule « Lecture honnête du domaine » — l'énumération « la colonne 1 contient 1, 5, 2, 9, 4, 8 » compte un « 1 » parasite (colonne réelle sur l'ancre : {2,5,9,4,8}). Sans effet sur la conclusion : le domaine réel de (0,1) est {6,7} (union ligne 0 ∪ colonne 1 ∪ bloc = {1,2,3,4,5,8,9}), et la prose conclut correctement qu'il est « nettement plus petit que 9 ». À corriger en passant si la PR rouvre ; ne bloque pas le merge. |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] Re-estampillage demande par ai-01 : b0 clear confirme (rc=0 organe origin/main), mais les checks restent bloques — 3 non-verts au head d06f956 : « No local-path waiver bodies » cancelled sans remplacant (classe rejeu-enfant, resolue sur #17013 par rejeu du run), « PR gate » failure qui n'aggregate que ces enfants, et « Scripts Tests (CPU) » failure (classe promisor #17254 en attente de merge + mort de workers #16288). Geste lane porteuse : rejeu des deux enfants ; Scripts Tests suivra #17254. Porteur myia-po-2026:CoursIA. |
|
[ADJOINT PREFLIGHT] |
3 participants
Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA -- prev: DEEP/notebook-python #16343
See #13410 (tranche densité Sudoku Python « algorithmes et encodages II » — septième livraison du cycle sur l'epic ; même genre que #16343 mais substance distincte : #16343 = inférence causale DoWhy, ici = CSP académique AIMA, solveur SMT Z3 et automates symboliques — familles et notebooks disjoints, et distincte de #16386 « solveurs et encodages I » : les trois notebooks ici étaient intacts).
Seeet nonCloses: l'epic couvre ~351 notebooks sous plancher.Livrable
Trois notebooks Python enrichis de lectures de sorties et d'anatomies — markdown uniquement (exception C.2 : aucune cellule code modifiée, outputs et
execution_countintacts) :{1..9}affiché est le stub, le vrai calcul exclurait ligne+colonne+bloc) ; MAC 62,4 ms / 81 assignations / 0 backtrack lus ligne à ligne + profil identique au jumeau C# (56 ms, 81/0) = verdict structurel cross-langage ; lecture honnête des en-têtes sans lignes du benchmark coloriage (le générateur est le TODO) ; appends MRV/LCV orthogonales et anatomie AC-3 (file d'arcs / revise / point fixe).Distinctde plus = tout le coût de la variante (additivité déclarative du SMT vs ré-écriture d'un solveur dédié) ; Optimize sat, reward 178 prouvé maximal (la boucle objectif>courant jusqu'à unsat = différenceSolver/Optimize), carré latin 5x5 vérifié.[1-9]{9}$) ; résolution sat 101,8 ms avec la dernière ligne lue comme contrôle de validité indépendant (le reconnaisseur du barreau 2 vérifie la solution du barreau 3) ; théorie des chaînes sat/unsat/unsat (le regex devient terme logique composible) ; contre-point backtracking 27,2 ms vs Z3 101,8 ms sur la même solution — le SOTA se juge au coût de changement du problème (diagonales/sommes = une ligne en SMT), pas au chronomètre d'une instance figée (Prong B).Critère de lacune (nommé)
Interprétation-après-mesure + lectures honnêtes : les sorties non lues étaient le corpus/témoin, le placeholder de domaine, MAC 62,4 ms/81/0, les en-têtes vides du coloriage, le census Z3, les deux diagonales toutes-distinctes, Optimize reward 178, la table lookahead 6/6, sat 101,8 ms + boucle bouclée, les trois verdicts de théorie des chaînes, et le duel 27,2 vs 101,8 ms. Tout chiffre cité est ancré sur une sortie committée du notebook lui-même ; les deux sorties de stubs incomplets sont lues comme états de stubs (aucun chiffre inventé).
Validation
detect_markdown_rendering --check: 0 violation sur les trois chemins (filtre du run repo-wide).Déconflit
Census PRs ouvertes non tronqué sur « Sudoku » : mes #16383/#16386 sur d'autres fichiers (listes vérifiées firsthand), #16218 = Sudoku-16-NeuralNetwork-Python + Search (disjoint). Comments #13410 scannés au claim et au commit : 0 claim concurrent. PyMC écartée au scan de ce cycle (renames in-flight #16384 + PyMC-03 en vol #16364). Jumeaux C# non touchés.
🤖 Generated with Claude Code