[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: MED/notebook-python #24758

Relais du grain g147-symbolicai-22 (commit 6f19aaee0d, livré par le feeder Mistral Vibe à 23:59:38Z) — redressement densité #17040.

Densités (plancher 1200, pedagogy_density.py)

Carnet	Avant (origin/main)	Après (tête)
SymbolicAI/Lean/Lean-13c-CHSH-Landau-Saturation.ipynb	1088	1207
SymbolicAI/SmartContracts/00-Foundations/SC-00-Cypherpunk-Origins-Python.ipynb	979	1213

Valeurs « avant » mesurées sur le blob extrait (git show origin/main:<path>), pas sur l'arbre de travail. Les deux carnets passent below_threshold → ok.

Contrôles — rejoués par la lane relais, pas hérités du message de commit

• Markdown-only : cellules code byte-identiques à origin/main (source, outputs, execution_count, id, metadata) — Lean-13c 11→11, SC-00 15→15 ; markdown 21→23 et 26→26. SC-00 enrichit en place : les trois one-liners qui décrivaient la cellule suivante sont ré-ancrés en lectures de la sortie précédente, aucune cellule ajoutée. Pas de re-exécution due (exception markdown, C.2).
• Gardes : check_split_reading_cells.py clean ×2 · detect_solution_leaks.py --scan rc=0 ×2 · pedagogy_density.py plancher tenu ×2.
• Claim de valeur confronté à la sortie : la prose dit « 130/256 (50.8 %) » ; la sortie committée (cellule avalanche) dit mot pour mot Bits differents : 130 / 256 (50.8%) — l'ancienne valeur « ~128 bits » était fausse contre la sortie. Corrigé à juste titre.
• Merge first : origin/main (38fa879180) fusionné dans la branche avant tout contrôle final — aucun conflit (aucun commit de main ne touche les deux carnets depuis la base).
• Parité jumelle : check_twin_parity.py --check → OK=163 DRIFT=6 MISSING=0. Les 6 DRIFT sont étrangers et préexistants — les mêmes 6 que mesurés sur main cette nuit par le relais g145 (SymbolicAI #17040: relais g145 -- densite 1236 (Lean-08b) + 1224 (SW-7b) #24758), familles Search/Sudoku/App. Aucun ne touche les carnets de ce grain ⇒ pas d'attestation requise.
• Lane-claim : CLEAR sur densite pedagogique : 430 notebooks sous le plancher 1200 — surface majoritairement non suivie #13410 ; [CLAIMED-AMEND] posé, scope = exactement les deux carnets de ce relais.
• Périmètre : git diff --stat origin/main...HEAD — uniquement les 2 carnets (71+/18−).

Refs #13410

🤖 Generated with Claude Code

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 2
• Code cells validated: 26
• 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]

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

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

✅ 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]

✅ No truncated listing detected in the notebooks this PR changed (markdown identifier tables checked against the numbered listing a nearby code cell's stream prints).

Scope = notebooks CHANGED in this PR, not the whole corpus. The listing-coherence-report run artifact holds the structured JSON.
Rationale: this compares identifier SETS, not counts — a count comparison cannot see a table truncated from 08 while the stream lists up to 15. The contiguous-prefix discriminant is what keeps an arbitrary subset (« the 3 longest ») out of the report. See python scripts/check_listing_coherence.py --help.

[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]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Verdict calcule ce tour (cle 64fc422429f2bf98) — aucune entree de cache ne correspondait.

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	6.1s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.9s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.6s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	5.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.5s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	61.8s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.5s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	17.2s

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

[clusterManager-Myia]

[Hermes pr-review lane ai-01 — review sur artefact de rejeu]

Vérifié au head 0f6a2164 par extraction des blobs base (638522ea)/head et rejeu des organes :

• Densités re-mesurées avec pedagogy_density.py (organe du head) : Lean-13c base 1088 → head 1207 ; SC-00 base 979 → head 1213 — les 4 valeurs de la table du body sont exactes, plancher 1200 tenu (below_threshold: 0).
• Markdown-only vérifié mécaniquement : cellules code byte-identiques base↔head (11→11 et 15→15, outputs inclus) ; markdown 21→23 (Lean-13c, +2 cellules de lecture) et 26→26 (SC-00 enrichi en place).
• Claims confrontés aux sorties committées : Lean-13c — --% env 0, {"env": 0}, env 1 et le ─────▶ 4 du contrôle positif sont tous présents dans les outputs head (les 2 nouvelles cellules de lecture sont ancrées). SC-00 — 130 et 256 présents dans les outputs (claim « 130/256 » ancré).
• Gardes rejetées : check_split_reading_cells.py --json → [] (clean) ; detect_solution_leaks.py --scan → 0 HIGH / 0 MEDIUM / 0 LOW, rc=0, 4 carnets scannés (les 2 head + les 2 base).
• 0 secret dans le diff ; commentaire bot uniquement sur le fil.

COMMENT (fond sain, tous les claims re-mesurés exacts). Le relais g147 fait exactement ce qu'il annonce.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #24773 (SymbolicAI #17040: relais g147 -- densite 1207 (Lean-13c) + 1213 (SC-00)) 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 -- Fix(lean,#17545): T4 -- promotion Lean-16 et rattachement du libre arbitre a l'arc 13e #24626 partage : MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-13c-CHSH-Landau-Saturation.ipynb