fix(notebooks): re-exec 29/09 sauvée du WIP — Search-01 + SL-1 (source inchangée, outputs 2-3,5 mois stalées) by jsboige · Pull Request #19839 · jsboige/CoursIA

jsboige · 2026-10-08T01:05:45Z

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/lean #19087

Sauvetage WIP 29/09 (mandat user, registre Q17)

Re-execution papermill du 29/09 recuperee du WIP de l'arbre partage, jamais commitee (session interrompue). Sur les 8 notebooks du WIP, 6 ont depuis bouge sur main (re-exec obsolete, ecartee) ; les 2 ci-dessous avaient une source strictement identique a main (0 commit de drift) et des sorties stallees de 2 a 3,5 mois — elles sont livrees telles quelles.

Notebook	Derniere exec sur main	Exec livree ici
Search-01-StateSpace.ipynb	2026-08-11	2026-09-29
SL-1-LogicalLearning.ipynb	2026-06-16	2026-09-29

Perimetre effectif — 6 fichiers

Liste derivee de gh pr view 19839 --json files (source de verite de l'organe perimeter), pas d'une intention de redaction.

Fichier	Role
`MyIA.AI.Notebooks/Search/Part1-Foundations/Search-01-StateSpace.ipynb`	re-exec 29/09 livree (auteur de la PR)
`MyIA.AI.Notebooks/SymbolicAI/SymbolicLearning/SL-1-LogicalLearning.ipynb`	re-exec 29/09 livree (auteur de la PR)
`scripts/notebook_tools/twin_pairs.d/search-01-statespace.yaml`	twin rebaseline post re-exec — commit `96164471e`, lane `myia-po-2024:CoursIA-2`
`scripts/notebook_tools/twin_pairs.d/search-01-statespace/0014-2026-10-08-myia-po-2024-CoursIA-2.yaml`	idem
`scripts/notebook_tools/twin_pairs.d/sl-1-logicallearning.yaml`	idem
`scripts/notebook_tools/twin_pairs.d/sl-1-logicallearning/0008-2026-10-08-myia-po-2024-CoursIA-2.yaml`	idem

Aucun workflow CI touche. Les entrees twin_pairs.d/** ne sont pas de l'auteur de la PR : la lane myia-po-2024:CoursIA-2 a pousse le commit 96164471e sur cette branche pour rebaseliner la parite des twins apres le refresh d'outputs. Elles sont conservees telles quelles — le refresh et le rebaseline vont ensemble, separer l'un de l'autre laisserait la parite rouge sur main.

Nature du diff (preuve)

Source inchangee : git diff hors outputs/metadata/images = 0 ligne — aucune cellule source modifiee (C.3 non applicable, pur refresh d'outputs C.2).
Churn = timestamps kernel, execution_count reels, plots matplotlib regenerees (base64), valeurs d'outputs recomputees.

Validation

0 erreur ("evalue": "Error" = 0 sur les deux carnets), 0 execution_count: null, exec end-to-end du 29/09 09:29 (papiers dans les timestamps kernel).
Verdict d'execution : EXEC_PROVED (exec reelle, outputs frais, pas de degradation gracieuse — aucune banniere d'outil manquant ajoutee).

Voisinage

PR #19676 (compteurs en prose sur Search) touche le meme carnet en prose markdown — orthogonal au present refresh (outputs de cellules code uniquement), pas d'interaction attendue.

🤖 Generated with Claude Code

…uts 2-3.5 mois stalées, source inchangée) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige · 2026-10-08T01:20:41Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19839
head: 084bede
complete: true
body: read
comments-reviewed: 0
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 7c5ee66be0ca4787b473dd50ac2ca90d5661ed9e9bf555f7d9437e312f49e300
diff-files: 2
diff-additions: 565
diff-deletions: 480
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19839
organ-rc: 3
[/ADJOINT PREFLIGHT]

github-actions · 2026-10-08T01:39:02Z

⚠️ 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-10-08T01:39:05Z

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

github-actions · 2026-10-08T01:39:08Z

✅ 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 factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

github-actions · 2026-10-08T01:39:44Z

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-10-08T01:44:46Z

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.9s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.9s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	5.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	3.1s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	18.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	4.2s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	10.5s

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

2 paires mises en DRIFT par la re-exec (kernel 4.5+ vs 4.5 ancien). Audit YAML files ajoutes (0014, 0008) avec nouveaux blob SHAs. Known_differences en tete de chaque paire documente l'operation. Refs: #19839, #8264 (drift pre-existant) Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-10-08T02:48:36Z

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

github-actions · 2026-10-08T05:26:04Z

Notebook PR Validation: PASS

Notebooks checked: 2
Code cells validated: 37
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)

jsboige · 2026-10-08T10:43:26Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19839
head: 9616447
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 58282e29e0c040adc48e962fedf18c010e74e813dd326e2c1f1797b16025b8b8
diff-files: 6
diff-additions: 579
diff-deletions: 480
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19839
organ-rc: 0
[/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.

…-2024) apres merge main Le sidecar 0008-2026-10-08-myia-po-2023-CoursIA.yaml collisionnait avec 0008-2026-10-08-myia-po-2024-CoursIA-2.yaml, present sur main. Le job bloquant evalue le ref de merge : _latest_audit (audits[-1], ordre des noms de fichier) retenait l'attestation de po-2024, donc "La PR a introduit 1 paire(s) en DRIFT" alors que l'arbre de travail local rendait drift_introduced: 0. - merge origin/main (jumeau Python re-execute par #19839, sans conflit) - suppression du 0008 collide, --update -> 0009 (index libre, unicite verifiee) - verifie en mode CI : drift_introduced: 0, drift_pre_existing: 3 (#8264) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

…net SL-1 Conflit unique : SL-1-LogicalLearning.ipynb. Les deux cotes avaient re-execute. Cote main (#19839, fda8d07) : source INCHANGEE, outputs seuls (verifie first-hand : 0 difference de source merge-base -> origin/main). Cote branche : 3 changements de source (markdown x2, code f2c3a922 = le fix du finding Hermes) + re-exec du 08/10, bloc papermill du jour. Resolution : version de la branche -- les outputs de main sont anterieurs au fix de source, donc perimes par construction ; aucun changement de source de main n'est perdu (mesure : identite de source vs HEAD apres resolution).

…ec main (#19839) git mv pur, contenu byte-identique : le fichier du 10-07 cede l'index 0014 au 0014-2026-10-08 arrive sur main via #19839 (posterieur garde l'index, premier index libre = 0015). Aucune re-execution, aucune contiguite testee. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

…e merge Le gate `Twin parity audit (#8057)` tourne sur la ref de MERGE de la PR (`twin-parity.yml`), pas sur la tete de branche. La fusion de `main` y apporte le carnet Python re-execute par #19839 (`content 7e77fa35`), alors que l'entree la plus recente du registre restait `0015` (10-07, `6a9c7b9b`) -- index superieur a la `0014` de `main` (10-08), donc gagnante a tort. Un `--update` sur la branche NON fusionnee est refuse en no-op (les SHA enregistres coincident avec la tete) : le drift n'existait que dans la ref de merge. Geste : `git merge origin/main` (propre, aucun conflit) puis `check_twin_parity.py --update --pair "Search-01 StateSpace"`, qui ecrit `0016-2026-10-09` attestant le contenu du merge. Discrimination du diagnostic : les sources de la paire sont byte-identiques entre `main` et la branche (52/52 cellules, 0 differente) -- aucune divergence de contenu, l'attestation etait perimee. Aucun strip outille n'est applique apres l'attestation (#8957). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

…rose (#19676) * fix(search,#17636): resorber 3 compteurs (N lignes x M colonnes) en prose - Search-01 : "(7 lignes x 11 colonnes)" -> "grille rectangulaire" (md, cellule markdown) - Search-07 : "(6 lignes x 7 colonnes, gravite)" -> "(grille, gravite)" (commentaire C#, pas d'impact exec) - Search-08 : "(5 lignes x 5 colonnes)" -> suppression (commentaire Python, pas d'impact exec) Tranche md-only de la campagne #17636 : suppression des compteurs litteraux au profit de descriptions structurelles (les dimensions de grille ne sont pas des invariants pedagogiques, juste des exemples). Pas de re-execution (commentaires inactifs, outputs inchanges, C.2 OK md-only Tell c.18570). Compteur passe de 53 a 50 (3 de moins). Reste 50 carnets sous le seuil de #9377 = 0. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * Fix(search,#17636): miroir jumeau Search-07 python + rebaseline 3 paires twin La passe batch 1 touchait un cote de 3 paires inscrites -> twin parity audit DRIFT_INTRODUCED. Miroir du compteur restant sur le cote python (Grille de 6 lignes x 7 colonnes -> Grille rectangulaire, md-only) puis attestation des 3 paires (Search-01/07/08). DRIFT restants: 5 pre-existants (PR dediee #8264). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * Fix(search,#17636): re-attestation twin Search-07 post-hooks -- le pre-commit a deplace le blob apres la 1ere attestation (0017 -> 0018) La premiere attestation (0017) avait ete generee avant le passage des hooks de commit : le blob python committé differe de l'attesté, la paire Search-07 MCTS-And-Beyond est passee DRIFT_INTRODUCED au gate. Rebaseline au HEAD committé (lecon #8957 : --update en DERNIER, apres les strips). Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * fix(search,#19676): rebaseline 0017 twin attestation post-merge (python_sha stale) 0017 attestait python_sha=24905278... (le blob d'avant pre-commit hooks) mais le merge avec main l'a remplacé par 9145f5e. NanoClaw review CONCERN (11:18Z, c.80) reservait sur cette incohérence mécanique -- l'attestation ne décrivait pas l'état de la paire au commit où elle vit. Geste : rebaseline manuelle du 0017 avec les SHAs courants (python_sha + content_python_sha alignés sur le blob `9145f5e3` post-merge). `note:` porte la trace de la correction. csharp_sha et content_csharp_sha inchangés (le jumeau C# n'a pas bougé). Test `test_audit_index_unique_and_no_identical_duplicates_per_pair` : OK localement (bad_dup=[], bad_index=[]). Refs PR #19676 (fix/search,#17636), NanoClaw review 11:18Z, #18795. * fix(search,#19676): twin search-01 0014 -> 0015 -- collision index avec main (#19839) git mv pur, contenu byte-identique : le fichier du 10-07 cede l'index 0014 au 0014-2026-10-08 arrive sur main via #19839 (posterieur garde l'index, premier index libre = 0015). Aucune re-execution, aucune contiguite testee. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(search,#19676): rebaseline twin Search-01 StateSpace sur la ref de merge Le gate `Twin parity audit (#8057)` tourne sur la ref de MERGE de la PR (`twin-parity.yml`), pas sur la tete de branche. La fusion de `main` y apporte le carnet Python re-execute par #19839 (`content 7e77fa35`), alors que l'entree la plus recente du registre restait `0015` (10-07, `6a9c7b9b`) -- index superieur a la `0014` de `main` (10-08), donc gagnante a tort. Un `--update` sur la branche NON fusionnee est refuse en no-op (les SHA enregistres coincident avec la tete) : le drift n'existait que dans la ref de merge. Geste : `git merge origin/main` (propre, aucun conflit) puis `check_twin_parity.py --update --pair "Search-01 StateSpace"`, qui ecrit `0016-2026-10-09` attestant le contenu du merge. Discrimination du diagnostic : les sources de la paire sont byte-identiques entre `main` et la branche (52/52 cellules, 0 differente) -- aucune divergence de contenu, l'attestation etait perimee. Aucun strip outille n'est applique apres l'attestation (#8957). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

Fix(notebooks): re-exec 29/09 sauvee du WIP -- Search-01 + SL-1 (outp…

084bede

…uts 2-3.5 mois stalées, source inchangée) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige mentioned this pull request Oct 8, 2026

organ(prevalidation): une tete sans run du PR gate passe 'latest-wins-green' par vacuite #18579

Closed

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

myia-ai-01 merged commit fda8d07 into main Oct 8, 2026
116 of 139 checks passed

jsboige mentioned this pull request Oct 8, 2026

Fix(sl,#17793): jumeau C# SL-1 -- exercices dédoublés dans le Bilan + numérotation Exercice 1-3 #19910

Open

github-actions Bot mentioned this pull request Oct 8, 2026

fix(symboliclearning,#17793): SL-1 -- findings Hermes (stale-claim cells 36/38, exercise-mismatch cell 47) #19905

Merged

jsboige mentioned this pull request Oct 9, 2026

fix(search,#17636): resorber 3 compteurs (N lignes x M colonnes) en prose #19676

Merged

Navigation Menu

Repository navigation

fix(notebooks): re-exec 29/09 sauvée du WIP — Search-01 + SL-1 (source inchangée, outputs 2-3,5 mois stalées) - #19839

fix(notebooks): re-exec 29/09 sauvée du WIP — Search-01 + SL-1 (source inchangée, outputs 2-3,5 mois stalées)#19839
myia-ai-01 merged 2 commits into
mainfrom
fix/wip-salvage-29sep-reexec

jsboige commented Oct 8, 2026 •

edited

Loading

Uh oh!

jsboige commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

jsboige commented Oct 8, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

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

Uh oh!

Sauvetage WIP 29/09 (mandat user, registre Q17)

Perimetre effectif — 6 fichiers

Nature du diff (preuve)

Validation

Voisinage

Uh oh!

jsboige commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 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 Oct 8, 2026

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

Uh oh!

github-actions Bot commented Oct 8, 2026

Notebook PR Validation: PASS

Uh oh!

jsboige commented Oct 8, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

jsboige commented Oct 8, 2026 •

edited

Loading

github-actions Bot commented Oct 8, 2026 •

edited

Loading

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