Fix(symbolicai,#23384): Z3-16b -- convergence kernel canon CPython 3.13.14 by jsboige · Pull Request #23819 · jsboige/CoursIA

jsboige · 2026-10-31T20:38:22Z

Grain: DEEP/notebook-python — lane myia-po-2024:CoursIA — prev: LIGHT/docs #23813

Part of #23793 (tranche Z3-16b, dernière libre de la famille) · EPIC convergence #23384, patron #23379/#23794/#23799.

Le geste

Convergence du kernel du carnet Z3-16b-Meal-Planner-Data-External-Python.ipynb vers le canon CPython 3.13.14 (kernelspec python3, exécuté sous 3.11.9 jusqu'ici) par re-exécution papermill réelle, sans toucher aux sources :

0 cellule source modifiée (C.3 : diff limité aux outputs/execution_count/métadonnées kernel) ;
10/10 cellules code exécutées, 0 erreur (C.2 : sorties réelles committées) ;
exercices inchangés, aucun raise NotImplementedError/assert False/1/0 (C.1) ;
corpus porté au pin complet 15 batches RecipeML (1504 XML) : la première passe n'avait que 10/15 batches (téléchargement Wayback interrompu) ; corpus complété, puis re-exécution — la cellule de setup repasse par la branche « Données présentes », 0 chemin machine en sortie (le leak D:\... de la branche downloader n'existe pas dans la sortie commise).

Preuve d'exécution

Papermill (MCP jupyter-papermill, kernel python3) — run final : status: success, cells_executed: 10, cells_succeeded: 10, cells_failed: 0, execution_time: 9.3s. language_info.version = 3.13.14, execution_count 1-10, aucun output de type error.

Diagnostic dérive

Cause (a) env/kernel : les anciennes sorties dataient d'une exécution 3.11.9.

Drift	Avant (HEAD)	Après	Nature
cell 3 timing	`Ciqual chargé en 9.0s`	`en 4.8s`	horloge machine, comptes 74 constituants / 3484 aliments / 3484 compositions inchangés
cell 11	—	+1 ligne vide cosmétique après la ligne d'agrégation	rendu stream 3.13
cell 1 setup	(branche downloader sur corpus incomplet)	branche « Données présentes », sortie identique à HEAD	corpus complet au pin

Valeurs épinglées en prose vérifiées contre la sortie : taux d'appariement 74,1 % → sortie 74.1% ✓ ; aucun timing épinglé en prose. Verdict : CAUSE_FIXED (kernel porté au canon, corpus au pin 15 batches ; les valeurs restantes sont des horloges non épinglées, re-exécutées honnêtement).

Gardes locales (base `origin/main` @ `a69a8c6`)

check_kernel_drift OK (0 regression) · check_prose_quantitative_claims OK · check_activity_leak OK · check_output_collapse 0 flagged · check_source_collapse 0 flagged (advisory) · check_output_failure_text 0 regressed · validate_pr_notebooks 1/1 PASS (10 cells) · pre-commit 14 hooks Passed (chemins papermill normalisés en basename par le hook dédié).

Résiduel signalé (préexistant sur main, hors tranche)

La note d'échelle de la cellule 0 dit « 5 lots RecipeML ≈ 500 recettes » / « (712) » alors que le carnet tourne au pin 15 batches depuis le passage RML_BATCHES_PIN = 15 : la sortie (déjà sur main) agrège 1465 recettes / 716 ≥ 80 %. Dérive de prose antérieure à cette PR (aucune ligne de prose ajoutée ici) — à traiter en grain séparé sur la famille.

🤖 Generated with Claude Code

…13.14 (3.11.9), corpus pin 15 batches complete Re-execution papermill reelle (kernel python3, 3.13.14), 10/10 cellules, 0 erreur, sorties commitees (C.2), 0 cellule source modifiee (C.3), exercices inchanges (C.1). Drift : timing Ciqual 9.0s -> 4.8s (comptes 74/3484/3484 inchanges), ligne vide cosmetique cell 11. 0 chemin machine en sortie (branche donnees presentes). Prose epinglee 74,1 % verifiee contre la sortie. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-31T20:44:17Z

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-31T20:45:45Z

⚠️ 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-31T20:45:48Z

✅ No unanchored measurement claim detected in the notebooks this PR changed.

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-31T20:45:52Z

✅ 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-31T20:50:44Z

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.9s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.3s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	19.2s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.7s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	11.4s

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

github-actions · 2026-10-31T20:58:51Z

Notebook PR Validation: PASS

Notebooks checked: 1
Code cells validated: 10
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-10-31T21:00:10Z

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

myia-ai-01

[OVERRIDE] lane myia-ai-01:CoursIA — lecture coordinateur à la tête 82090ebc4ebf50ec9460ada9dfcb2541644d3b24.

Ré-exécution papermill de Z3-16b-Meal-Planner-Data-External-Python : 10/10 cellules, 0 échec (body). Vérifié à la tête : sources identiques, 0 erreur, 0 execution_count nul, sorties à peu près du même volume (4 213 → 4 272 caractères), language_info.version 3.11.9 → 3.13.14.

Checks relus à la source (check_run_state.py --pr 23819) : aucun rouge. B.0 : aucune réserve ouverte, seuls des commentaires de bots.

Approuvé à la tête exacte 82090eb

jsboige mentioned this pull request Oct 31, 2026

[SymbolicAI] SMT/Z3-API : converger les carnets Python hors canon au CPython 3.13 (kernel python3) #23793

Open

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

jsboige mentioned this pull request Oct 31, 2026

[GenAI/Texte] TransformerVariants : converger les 3 carnets Python hors canon au CPython 3.13 (kernel python3) #23805

Closed

myia-ai-01 approved these changes Nov 1, 2026

View reviewed changes

myia-ai-01 merged commit c8e5457 into main Nov 1, 2026
93 of 94 checks passed

Navigation Menu

Repository navigation

Fix(symbolicai,#23384): Z3-16b -- convergence kernel canon CPython 3.13.14 - #23819

Fix(symbolicai,#23384): Z3-16b -- convergence kernel canon CPython 3.13.14#23819
myia-ai-01 merged 1 commit into
mainfrom
feature/23793-z3-16b-canon313

jsboige commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

myia-ai-01 left a comment

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Oct 31, 2026

Le geste

Preuve d'exécution

Diagnostic dérive

Gardes locales (base origin/main @ a69a8c6)

Résiduel signalé (préexistant sur main, hors tranche)

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Uh oh!

github-actions Bot commented Oct 31, 2026

Golden-Set Execution (H.7 P3)

Uh oh!

github-actions Bot commented Oct 31, 2026

Notebook PR Validation: PASS

Uh oh!

github-actions Bot commented Oct 31, 2026

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

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Gardes locales (base `origin/main` @ `a69a8c6`)

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