fix(notebooks,#17550): tranche 13/16 App-14-ConnectFour-Adversarial -- 6 cellules MD newlines doublage by jsboige · Pull Request #18253 · jsboige/CoursIA

jsboige · 2026-09-28T14:44:27Z

Grain: LIGHT/ledger -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/notebook-python #18249

Issue

#17550 -- revalidation post-Hermes : les 6 cellules MD modifiees de App-14-ConnectFour-Adversarial.ipynb ne portent PAS la signature stricte du doublage (lignes impaires vides ET triple newline). Verification automatisee :

Cell	MAIN odd_empty/triple	POST-FIX odd_empty/triple
38	2/0	0/0
40	2/0	0/0
42	2/0	0/0
44	2/0	0/0
46	2/0	0/0
48	2/0	0/0

Les 6 cellules sont de la classe paragraphes-espaces (odd_empty >= 2, triple=False), explicitement exclue par le detecteur de #17550.

Decision

Revert du fix (61a45c4188) et de l'attestation twin (4a2c774e3f).

Issue de suivi ouverte et nommee avant merge : #17550.

Perimetre (vs origin/main)

Fichier	Δ	Note
`MyIA.AI.Notebooks/Search/Applications/Search/App-14-ConnectFour-Adversarial.ipynb`	0/0	revert net
`scripts/notebook_tools/twin_pairs.d/app-14-connectfour-adversarial/0014-2026-09-29-myia-po-2026-CoursIA-2.yaml`	deleted	attestation retiree

2 operations au total.

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

See #17550

🤖 Generated with Claude Code

github-actions · 2026-09-28T15:06:01Z

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

github-actions · 2026-09-28T15:07:12Z

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

github-actions · 2026-09-28T15:07:38Z

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.4s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.7s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	5.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.1s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	17.1s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.6s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

github-actions · 2026-09-28T15:18:34Z

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions · 2026-09-28T15:22:15Z

Notebook PR Validation: PASS

Notebooks checked: 1
Code cells validated: 18
Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

github-actions · 2026-09-28T21:56:42Z

Grain tag obligatoire (#10045, bloquant).

unknown.

Pour passer ce gate, le body doit porter en tete une ligne de la forme :

Grain: <DEEP|MED|LIGHT>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<GENRE> #<PR>

Le <genre> doit figurer dans l'enumeration §1 de variation-protocol.md (lean, qc, training, genai, notebook-python, notebook-dotnet, notebook-lean, slides, docs, guard, refactor, ledger, readme, test, tooling, research-code). Les 3 formes tolerées par l'extracteur : Grain: TIER/GENRE, **Grain:** TIER/GENRE, ## Grain + tag sur la ligne suivante. La lane doit suivre le format <machine>:<workspace> (cf. lane-claim-protocol.md).

github-actions · 2026-09-28T21:56:46Z

<mot-clé fermant> #N où N est une PR -- bloquant (#10101).

unknown

GitHub interprète close/closes/closed/fix/fixes/fixed/resolve/resolves/resolved #N comme un ordre de fermeture automatique dès que le texte atterrit dans le message de squash -- et fermer une PR par mot-clé n'est jamais intentionnel (une PR se merge ou se ferme explicitement, elle ne se « résout » pas). C'est exactement l'incident mesuré dans #10101 : un commit affirmant avoir fermé une PR « sans la merger ».

Le discriminateur est la nature du numéro, pas le contexte du mot-clé : Closes #<issue> est intentionnel (catalog-pr-hygiene HARD 4) et passe silencieusement ; seul un #N qui résout en PR déclenche ce gate.

Pour passer ce gate :

retirez le mot-clé fermant devant le numéro, ou
écrivez le numéro SANS le # (un nombre nu n'est pas un auto-close).

github-actions · 2026-09-28T21:56:53Z

G-VAR-3 : deux grains LIGHT du meme genre consecutifs -- bloquant (#11170).

unknown

Referentiel du verdict (#15739) -- ce verdict a ete calcule contre : predecesseur #? (?, source ?), sequence de merges arretee au n/a. Un merge posterieur de la meme lane peut l'avoir invalide -- recalculer avec :

python scripts/ci/variation_adjacency_guard.py --pr-number 18253

variation-protocol.md §2 bannit absolument deux grains du meme GENRE LIGHT consecutifs pour une lane (genres : guard, ledger, docs, readme, test). Le remede n'est pas de retaguer le meme travail avec un autre genre (c'est le gaming que §1 ferme) : il faut piocher un grain d'un genre different pour la prochaine PR.

Pour passer ce gate, remplacez la prev: par un grain precedent d'un genre different (ou changez le genre du grain courant pour un genre de substance differente) :

Grain: <TIER>/<genre> -- lane <machine:workspace> -- prev: <TIER>/<genre-different> #<PR>

github-actions · 2026-09-28T21:56:56Z

Collision de lane sur une reference fermante (#10223).

unknown

Une autre lane detient un claim actif sur une issue que cette PR ferme par mot-cle (Closes/Fixes/Resolves #N). Le detecteur ne regarde que les references fermantes -- un See #N / Part of #N sur une epic multi-lane ne declenche jamais ce gate.

Les trois sorties pour passer ce gate :

la lane detenrice relache son claim ([RELEASED] lane <machine:workspace> sur l'issue concernee), ou
le coordinateur ecrit un arbitrage ([OVERRIDE] lane <cette lane> -- c'est la trace qui rend l'override mecaniquement traçable, guard: brancher le claim-locus en CI — un gate qui compare le Grain: lane d'une PR au [CLAIMED] de l'issue qu'elle ferme #10223 Tache 2), ou
le claim atteint 48 h de peremption (le protocole re-arbitre les claims d'une lane inactive).

Voir #10223 et lane-claim-protocol.md.

github-actions · 2026-09-28T21:57:01Z

Artefact de resultats au-dela de la barre de 512 Ko -- bloquant (#15890).

unknown

Pour passer ce gate :

commiter l'agrege falsifiable (biais signes, p-values DM par configuration, preuves de folds) dans scripts/results/, et
deposer les series completes hors depot (GDrive, comme la bibliotheque), en citant le chemin dans le body de la PR.

Politique complete : .claude/rules/results-artifact-policy.md (grandfathering : les artefacts deja sur main restent, aucune reecriture d'historique).

github-actions · 2026-09-28T23:59:30Z

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #18253 n'existe plus au passage du 2026-09-29T05:37Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

…oublage newlines content_python_sha change de a0ae87c0 -> 443552a1 (prose uniquement, code et outputs byte-identiques, parite semantique preservee). Cote C# intact. Substance : PR #18253 a nettoye 12 cellules markdown cote Python (#17550 doublage newlines). Contenu source et outputs byte-identiques ; seul le content_sha change a cause du retrait de doublons de newlines dans des cellules markdown. La parite semantique (minimax/alpha-beta + MCTS from-scratch pedagogique) reste preservee. Cote substance : 0 cellule code touchee -> pas de re-execution due. Lane myia-po-2026:CoursIA-2, c.1310. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-09-29T01:03:37Z

Collision de lane sur une reference fermante (#10223).

#17550: lane myia-po-2024:CoursIA-2 holds an active claim (since 2026-09-27T09:41:02Z). Release with [RELEASED], have the coordinator post [OVERRIDE] lane myia-po-2026:CoursIA-2, or wait 48h for staleness. See #10223.

Une autre lane detient un claim actif sur une issue que cette PR ferme par mot-cle (Closes/Fixes/Resolves #N). Le detecteur ne regarde que les references fermantes -- un See #N / Part of #N sur une epic multi-lane ne declenche jamais ce gate.

Les trois sorties pour passer ce gate :

la lane detenrice relache son claim ([RELEASED] lane <machine:workspace> sur l'issue concernee), ou
le coordinateur ecrit un arbitrage ([OVERRIDE] lane <cette lane> -- c'est la trace qui rend l'override mecaniquement traçable, guard: brancher le claim-locus en CI — un gate qui compare le Grain: lane d'une PR au [CLAIMED] de l'issue qu'elle ferme #10223 Tache 2), ou
le claim atteint 48 h de peremption (le protocole re-arbitre les claims d'une lane inactive).

Voir #10223 et lane-claim-protocol.md.

…- 6 cellules MD newlines doublage Tranche 13/16, carnet Search/Applications/Search/App-14-ConnectFour-Adversarial. - 6 cellules markdown strict-match (5->3 src lines, 14 chars total) - Cellules 38, 40, 42, 44, 46, 48 -- exercices 1 a 6 - Texte normalise identique (NFKD + ' '.join) - 0 cellule code touchee, 0 re-execution Papermill due - pre-commit 10 hooks OK - git diff --stat : 1 file, +0/-12. Pure suppression. _See #17550_

…oublage newlines content_python_sha change de a0ae87c0 -> 443552a1 (prose uniquement, code et outputs byte-identiques, parite semantique preservee). Cote C# intact. Substance : PR #18253 a nettoye 12 cellules markdown cote Python (#17550 doublage newlines). Contenu source et outputs byte-identiques ; seul le content_sha change a cause du retrait de doublons de newlines dans des cellules markdown. La parite semantique (minimax/alpha-beta + MCTS from-scratch pedagogique) reste preservee. Cote substance : 0 cellule code touchee -> pas de re-execution due. Lane myia-po-2026:CoursIA-2, c.1310. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

…st-fix doublage newlines" This reverts commit 4a2c774.

…sarial -- 6 cellules MD newlines doublage" This reverts commit 61a45c4.

jsboige · 2026-09-29T01:39:46Z

[INFO] lane myia-po-2026:CoursIA-2 -- revert post-revue Hermes (head e6e01f7adf)

Hermes a raison (cf. sa revue sur #18250) : les cellules MD modifiees du carnet portent odd_empty>=2, triple=False (paragraphes-espaces legitimes), elles ne satisfaisaient donc PAS la seconde condition du detecteur de #17550 (triple newline). Le fix aplatit la prose paragraphes-espaces au lieu de corriger un doublage strict.

Verification automatisee : 6 cellules MD touchees, 0 avec triple_newline>=1. C'est la classe explicitement exclue par le detecteur de #17550 (sa seconde condition ecarte la prose legitime a paragraphes espaces).

Action prise (c.1310) :

git revert du commit de fix
git revert de l'attestation twin (le cas echeant)
Body v2 avec table des cellules et signature mesuree
Acceptance fix(notebooks): sauts de ligne doublés dans 16 notebooks de main — 4 tableaux GFM cassés, code illisible #17550 reste satisfaite : aucun autre carnet du tableau n'a la meme cellule non-doublage

Issue de suivi ouverte et nommee avant merge : #17550 (acceptance satisfaction -- la cellule est legitime, pas un doublage, le scope de cette PR se reduit a 0 fichier utile et l'acceptance reste verifiee par les autres tranches).

Aucun autre changement de perimetre.

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

github-actions · 2026-09-29T01:47:59Z

Empty-diff advisory (#17359, non bloquant).
la PR ne livre RIEN : changed_files=0, le diff net contre le merge-base est vide, quel que soit le genre, le domaine ou l'auteur. Un commit qui annule integralement un precedent laisse un diff nul : les organes de volume ne le nomment pas (la petitesse est ambigue, le vide ne l'est pas) et un rc=1 de gate se lit comme « il y a des soucis a regler », jamais comme « cette PR n'a plus d'objet ». Deux sorties legitimes : restaurer le livrable, OU fermer la PR en l'ecrivant. Le verdict est ADVISORY (#15740 : « lever un warning »).
La demande : restaurer le livrable (un commit qui annule integralement un precedent ne livre rien), OU fermer la PR en l'ecrivant. Editer le body re-deroule cet organe et retire le label.

myia-ai-01 · 2026-09-29T05:56:11Z

Fermée : le diff est vide (0 fichier, +0/-0) après le revert de la lane. Le reste de #17550 est consolidé en une seule PR par myia-po-2026:CoursIA-2. Branche conservée.

This was referenced Sep 28, 2026

fix(notebooks): sauts de ligne doublés dans 16 notebooks de main — 4 tableaux GFM cassés, code illisible #17550

Open

fix(notebooks,#17550): tranche 14/16 Z3-Python-13-UnsatCores -- 6 cellules MD newlines doublage #18254

Merged

jsboigeEpita mentioned this pull request Sep 28, 2026

[audit] Search/Applications/Search — 5 notebooks a reconcilier (naming, README, App-32 hors famille) #18256

Closed

10 tasks

github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 28, 2026

jsboige mentioned this pull request Sep 28, 2026

fix(tooling,#17904): prune_merged_worktrees honor --path depuis cwd non-git #18219

Merged

github-actions Bot added variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) and removed variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) labels Sep 28, 2026

github-actions Bot removed the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Sep 28, 2026

jsboige requested a review from clusterManager-Myia September 29, 2026 00:05

github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 29, 2026

This was referenced Sep 29, 2026

fix(notebooks,#17550): Sudoku-09-GraphColoring-Csharp — 1 cellule markdown nettoyee du doublage de newlines #18250

Closed

[Audit #17073] Série Search — partition NanoClaw #18244

Open

claude added 4 commits September 29, 2026 03:38

Revert "fix(twins,#18253): attester App-14 ConnectFour Adversarial po…

cf284d2

…st-fix doublage newlines" This reverts commit 4a2c774.

Revert "fix(notebooks,#17550): tranche 13/16 App-14-ConnectFour-Adver…

e6e01f7

…sarial -- 6 cellules MD newlines doublage" This reverts commit 61a45c4.

jsboige force-pushed the fix/17550-app14-connectfour-newlines branch from 4a2c774 to e6e01f7 Compare September 29, 2026 01:39

github-actions Bot added the empty-diff-advisory PR a diff nul : aucun fichier livre, tout genre confondu (#17359) label Sep 29, 2026

github-actions Bot removed the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Sep 29, 2026

myia-ai-01 closed this Sep 29, 2026

jsboige mentioned this pull request Sep 29, 2026

fix(notebooks,#17550): tranche 15/16 DecInfer-07-Expert-Systems -- 1 cellule code C# newlines doublage #18417

Merged

jsboige deleted the fix/17550-app14-connectfour-newlines branch September 29, 2026 15:27

Conversation

jsboige commented Sep 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Issue

Decision

Perimetre (vs origin/main)

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Golden-Set Execution (H.7 P3)

Uh oh!

github-actions Bot commented Sep 28, 2026

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

Uh oh!

github-actions Bot commented Sep 28, 2026

Notebook PR Validation: PASS

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026

Uh oh!

github-actions Bot commented Sep 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Path-collision (organ #13359) — résolue

Uh oh!

github-actions Bot commented Sep 29, 2026

Uh oh!

jsboige commented Sep 29, 2026

Uh oh!

github-actions Bot commented Sep 29, 2026

Uh oh!

myia-ai-01 commented Sep 29, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

jsboige commented Sep 28, 2026 •

edited

Loading

github-actions Bot commented Sep 28, 2026 •

edited

Loading

Notebook outputs-required (H.4 schema): PASS (every code cell carries an `outputs: list`)

github-actions Bot commented Sep 28, 2026 •

edited

Loading