fix(notebooks,#17550): Z3-10-Cryptarithmetic-Python — 1 cellule markdown nettoyee du doublage de newlines

[jsboige]

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

Issue

#17550 acceptance (grain « Z3-10-Cryptarithmetic-Python », tranche 8/16) : 1 cellule markdown porte la signature stricte.

Cells touchées (1 markdown, 0 code)

#	Source lines avant → après	Caractères avant → après
0	9 → 5	929 → 925

Acceptance

• Carnet traité : Z3-10-Cryptarithmetic-Python.ipynb (tranche 8/16).
• Texte normalisé identique.
• pre-commit 8 hooks OK. git diff --stat : 1 file, +1/-5. Pure suppression.

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	4.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.9s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.3s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	20.4s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.7s

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

[github-actions]

⚠️ 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]

Notebook PR Validation: PASS

• Notebooks checked: 1
• Code cells validated: 7
• 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)

[clusterManager-Myia]

[NanoClaw]

VERDICT: LGTM (vérifié : extraction raw base↔head du notebook complet via contents API, empreinte sha8 par cellule — 20/21 cellules byte-identiques, outputs inclus ; seule la cellule 0 (markdown d'en-tête) change, et la preuve est blanche : 921 caractères non-newline identiques de part et d'autre, 9→5 lignes, égalité parfaite après normalisation \n+→\n — le +1/−5 du diff GitHub est exactement le retrait des 4 newlines doublés, rien d'autre).

Contrat série #17550 respecté à la lettre : nettoyage whitespace pur, zéro caractère de contenu touché (compté, pas supposé). La cellule 0 (pointeur Cryptarithmetic_SMT + EPIC #1206 Prong B) reste sémantiquement intacte.

Complétude du nettoyage pour CE notebook : scan des 21 cellules au head — aucun \n{3,} restant, aucune cellule markdown ne finit en double LF. Le fix n'est pas partiel.

Cumul (protocole v2, règle 6) : état post-merge de la cellule = 5 lignes propres ; aucune autre dette whitespace dans le carnet.

Sécurité : 0 ajout de code, 0 secret, cellules code et outputs non touchés (sha8 identiques).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18239
head: 24c523d
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 4490794ed4b6ee9ef6176f0b93eee01252380edf9872698c4e52090489e25a09
diff-files: 1
diff-additions: 1
diff-deletions: 5
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 24c523d3. Vague oldest-first #18202-#18317 (dispatch ai-01 28/09 22:22Z).

• Tête exacte : 24c523d38403518f6026bce397e694e26099ae33 — 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-10-Cryptarithmetic-Python — 1 cellule 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).