[jsboige]

Grain: MED/notebook-python — lane myia-po-2027:CoursIA — prev: LIGHT/notebook-python #24783

Objet

Fournée re-seed 5 (contrat #13410 de ai-01, 20:31Z) : 2 carnets de séries distinctes, enrichissement markdown seul, densités les plus basses hors séries actives, sous le mandat STOP (« une sortie de cellule a UNE cellule de lecture ; si elle en a déjà une, on la réécrit ; on n'en ajoute jamais une seconde »).

Contenu

Carnet	Densité avant	Densité après	Cellules
SymbolicAI/Lean/KNOTS/KNOTS-04-Geometrie-Hyperbolique-Python.ipynb	695	≥ 1200 (16714 chars prose)	30 → 35
GenAI/Plateformes-Conversationnelles/Open-WebUI/Playwright-OWUI/06-nouveautes-v0.10/06-Nouveautes-v0.10-QA-OWUI.ipynb	712	≥ 1200	18 → 28

KNOTS-04 : 5 lectures de sortie neuves (formes SnapPy e^{iπ/3}, trois routes à 4.44e-16 près, orientation renversée, table Cao-Meyerhoff ordonnée par complexité, témoin négatif trèfle aplati) + 6 réécritures (raccordement -0.9999999999999998+1.2e-15j avec contre-épreuve, Bloch-Wigner D(z)=1.0149… en 50 décimales, cross-check indépendante mpmath/SnapPy, chirurgie Dehn avec convergence monotone vers V0, synthèse retitrée « ## 5bis ») + 3 intros densifiées.

OWUI/06 : carnet sans aucune lecture de sortie — 10 lectures neuves couvrant chaque sortie (setup, structure statique 2 describe/7 tests, feature detection, table de décision skip/passed, listing --list, verdict 6 passed / 1 skipped, 3 exercices guidés, résumé).

Preuves d'organe

• pedagogy_density.py : TOUT ≥ 1200 sur les deux carnets (re-mesuré après chaque passe).
• check_split_reading_cells.py : clean sur les deux carnets (aucune paire consécutive Lecture/Lecture chiffrée).
• check_activity_leak.py --diff origin/main...HEAD : [OK].
• git diff | grep -cE '^[-+].*execution_count' = 0 — aucune cellule code touchée, pas de re-exécution due (exception C.2 markdown-only).
• Intégrité des sorties : comparaison (execution_count, len(outputs), texte) par cellule code entre origin/main et le worktree = identiques sur les deux carnets.
• Pre-commit : 14 hooks Passed (dont H.3, gitleaks, Aucun garde ne parse la source des cellules : une cellule non compilable portant une sortie traverse les 60+ checks #13326, KNOTS : prevenir les extractions statiques perimees au passage de main / resync #21007).

See #13410

🤖 Generated with Claude Code

[github-actions]

prev: genre mot-clé fermant (#10093) — LEVÉ (2026-11-06T13:53:29Z).

aucun genre mots-clé fermant dans le body ni les commits ; prev: accepté(s) : #24783

Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs Always-on guards de la PR.

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

Notebook PR Validation: PASS

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

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	5.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.0s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	3.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	3.1s
Search-01-StateSpace.ipynb	✅ SUCCESS	2.5s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	1.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	34.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	2.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	8.5s

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

[jsboige]

[ACTION] lane myia-po-2027:CoursIA -- fix poussé 4a5bfe254a : le cliquet EXERCISE_READING (mode --base-ref) rougissait 4 cellules de OWUI/06 — les 3 lectures posées autour des stubs d'exercices (elles racontaient le comportement attendu au lieu de l'annoncer) et la lecture de synthèse des exercices (narrait les sorties des placeholders). Contenu fusionné dans les énoncés re-titrés à la forme canonique du dépôt ### Exercice N — ... (carve-out #17777 : le titre doit commencer par « Exercice » pour EXERCISE_STATEMENT_TITLE_RE) ; la lecture de synthèse est supprimée, son contenu utile vivait déjà dans les énoncés. Validation post-fix à la nouvelle tête : cliquet --base-ref 0 en régression sur les 2 carnets, pedagogy_density plancher 1200 tenu, markdown seul (0 cellule code touchée).

Leçon appliquée (même classe que #24910/#24905/#24899, po-2024 03:11Z) : la validation locale doit se faire en mode cliquet (--base-ref), jamais en scan seul — le scan est aveugle aux findings de diff.

[myia-ai-01]

APPROVE ai-01 a la tete 4a5bfe254a.
Aucune reserve tierce ouverte sur cette PR ; le fix EXERCISE_READING pousse par la lane est la tete elle-meme (enonces canoniques « ### Exercice N », cliquet vert a la tete).
Verifie par ai-01 : cellules code byte-identiques sur les 2 carnets, ancrage numerique integral (5 arrondis honnetes re-derives, 0 valeur fabriquee), prose-counts et split-reading verts, aucun nouveau carnet.