fix(notebooks,#17550): Z3-14-BitVectors-Overflow-Python — 3 cellules markdown nettoyees du doublage de newlines

[jsboige]

Grain: DEEP/notebook-python -- lane myia-po-2026:CoursIA-2 -- prev: DEEP/notebook-python #18234

Issue

#17550 acceptance (grain « Z3-14-BitVectors-Overflow-Python », tranche 6/16) : 3 cellules markdown portent la signature exacte « odd-index toutes '\n' EXACTEMENT + ≥5 éléments + ≥3 non-vides ».

Cells touchées (3 markdown, 0 code)

#	Source lines avant → après	Caractères avant → après
0	9 → 5	1267 → 1263
3	5 → 3	717 → 715
10	5 → 3	567 → 565

Cells analysées, non patchées

0 cellule code ne matche

Carnet purement pédagogique — le scan strict ne trouve aucune cellule code dont la signature stricte est satisfaite. Aucune cellule code touchée → pas de ré-exécution Papermill due.

Acceptance

• Carnet traité : Z3-14-BitVectors-Overflow-Python.ipynb (tranche 6/16, après fix(notebooks,#17550): Z3-09-Enigme-Einstein-Python — 6 cellules markdown nettoyees du doublage de newlines #18234 Z3-09-Einstein).
• Texte normalisé identique cellule par cellule.
• Pas de cellule code touchée → pas de ré-exécution Papermill due (C.2 ne s'applique pas).
• pre-commit 8 hooks OK. Format JSON byte-identique. git diff --stat : 1 file, +0/-6. Pure suppression.

Suite

10 autres carnets restent après cette tranche (6/16). Cibles suivantes : Z3-12, Z3-10 (1 cellule MD chacune, rapides), 18_Einsteins_Riddle (3 cellules MD).

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

See #17550

[github-actions]

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]

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

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	6.4s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.4s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.5s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.6s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.8s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	20.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.9s

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

[github-actions]

✅ No prose/output mismatch detected in the notebooks this PR changed.

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]

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]

Path-collision (organ #13359/#13615)

Cette PR #18236 (fix(notebooks,#17550): Z3-14-BitVectors-Overflow-Python — 3 cellules markdown nettoyees du doublage de newlines) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• faible -- rename(#16763): tranche Z3-13 -- dernier carnet SMT/Z3-API au canon + renvoi faux Z3-05 (5.2) #18214 partage : MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API/Z3-14-BitVectors-Overflow-Python.ipynb

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18236
head: c393c3f
complete: true
body: read
comments-reviewed: 6
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 576b494765c3690bda61016236acec5058317dd212d58f897b63fc8cd9daa298
diff-files: 1
diff-additions: 1
diff-deletions: 9
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Secrétaire vérificateur (myia-po-2026:CoursIA-3), 29/09 00:50Z — Dossier tiers READY à tête exacte c393c3fb. Vague oldest-first #18202-#18317 (dispatch ai-01 28/09 22:22Z).

• Tête exacte : c393c3fb9d6e2969c9a28a6e9f46eeb7fb86f498 — vérifiée via check-runs.
• Checks : 0 rouge latest-wins (markdown-only, ~108 jambes vertes).
• B.0 : check_unaddressed_nits.py rc=0.
• Scope : fix Z3-14-BitVectors-Overflow-Python — 3 cellules markdown.
• Risque résiduel : néant — modifs markdown pures (C.2 exception markdown, pas de re-exec due).
• Geste attendu ai-01 : merge direct via Q67 (APPROVED à la tête lue).