Skip to content

fix(notebooks,#17550): 18_Einsteins_Riddle — 3 cellules markdown nettoyees du doublage de newlines - #18240

Merged
myia-ai-01 merged 2 commits into
mainfrom
fix/17550-18einstein-riddle-newlines
Sep 29, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
fix/17550-18einstein-riddle-newlines

Conversation

@jsboige

@jsboige jsboige commented Sep 28, 2026

Copy link
Copy Markdown
Owner

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

Issue

#17550 acceptance (grain « 18_Einsteins_Riddle », tranche 9/16).

Cells touchées (3 markdown, 0 code)

# Source lines avant → après Caractères avant → après
8 5 → 3 380 → 378
11 5 → 3 531 → 529
13 5 → 3 429 → 427

Acceptance

  • Carnet traité : 18_Einsteins_Riddle.ipynb (tranche 9/16). Carnet Z3-Linq2Z3 (C# counterpart du Z3-09-Einstein Python).
  • Texte normalisé identique.
  • pre-commit 8 hooks OK. git diff --stat : 1 file, +1/-6. Pure suppression.

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

See #17550

…oyees du doublage de newlines

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

Copy link
Copy Markdown
Contributor

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

Copy link
Copy Markdown
Contributor

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

@github-actions

Copy link
Copy Markdown
Contributor

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 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
@github-actions

github-actions Bot commented Sep 28, 2026 •

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.1s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.1s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 5.9s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.7s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.5s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.2s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 17.6s
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

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

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

Copy link
Copy Markdown
Contributor

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

  • mergeable_state = unknown (pas dirty) ;
  • aucun evenement base_ref_changed dans la timeline ;
  • le sujet du commit de tete ne porte pas le token [skip ci] ;
  • auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=unknown, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

@github-actions github-actions Bot removed the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Sep 28, 2026
@jsboige

jsboige commented Sep 29, 2026

Copy link
Copy Markdown
Owner Author

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

  • Tête exacte : c12d8beb63e21dfe04a359c5767d250f16e18923 — 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 18_Einsteins_Riddle — 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).

@myia-ai-01
myia-ai-01 merged commit b26d250 into main Sep 29, 2026
90 of 91 checks passed
@jsboige
jsboige deleted the fix/17550-18einstein-riddle-newlines branch September 29, 2026 15:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants