Skip to content

fix(pedagogy,#17066): GT-04f — retitrage spécifique des 17 lectures (16 sections en trop -> 0) - #17626

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17066-gt04f-duplicates
Sep 24, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/17066-gt04f-duplicates

Conversation

@jsboige

@jsboige jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner

Grain: DEEP/notebook-python — lane myia-po-2023:CoursIA — prev: MED/qc #17624

GT-04f — retitrage spécifique des 17 « Lecture du résultat » (16 sections en trop → 0)

Un seul fichier, GameTheory-04f-Theories-Decision-Predicteur.ipynb (63 cellules, notebook livré par #17551). Tête no 3 du dépôt au scan frais du jour (mesure #17066 recalculée sur main courant : 190 porteurs restants sur 218 initiaux) : « lecture du résultat » ×17 — cellules 5, 8, 13, 16, 19, 22, 25, 30, 32, 34, 39, 42, 45, 50, 52, 54, 57.

Méthode (mandat user 2026-09-20 respecté)

  1. Lecture intégrale avant tout geste : les 63 cellules cartographiées (vue structurelle), les 17 contenus de lecture lus en entier. Verdict : les 17 contenus sont tous distincts et substantiels (chacun interprète le résultat de SA cellule de code) — le défaut est purement nominal, aucune fusion ni suppression ne s'impose. Même classe que fix(pedagogy,#17066): QC-Py-20 — retitrage des 29 lectures (28→0), lectures replacées contre leurs démos #17074 (QC-Py-20, retitrage) — fix(pedagogy,#17066): QC-Py-21 — consolidation sections dupliquées 37→0, lectures replacées, corrections factuelles #17072 (QC-Py-21, consolidation) avait lui de vrais doublons à consolider.
  2. Retitrage spécifique : chaque titre nomme la conclusion réelle de sa lecture (ex. cellule 5 : « le seuil EDT à p* et l'écart constant de CDT » ; cellule 45 : « invasion de la minorité CDT puis effondrement de la coopération »). Aucun titre ne cite un nombre absent de la lecture qu'il coiffe ; aucun contenu ajouté (interdit no 3 respecté : pas de re-densification).
  3. Progression vérifiée : 0 imports → 1 Newcomb → 2 Fisher → 3 CCDT/Edgington → 4 UDT → 5 2TDT-1CDT → 6 inattention rationnelle → 7 limites → 8 conclusion → références ; chaque cellule code suivie de sa lecture, 4 exercices intacts, nav (cellule 0) intacte.

Validation

  • check_duplicate_sections.py sur le fichier : 0 finding (nécessaire, pas suffisant — la lecture critique est faite ci-dessus).
  • Diff 17 insertions / 17 deletions, exclusivement les lignes de titre markdown.
  • 23/23 cellules code byte-identiques (source, outputs, execution_count vérifiés programmatiquement contre HEAD) — diff markdown-only, exemption C.2, aucune re-exécution due.
  • nbformat.validate OK (4.5, 63 cellules) ; 17 nouveaux titres tous distincts, 0 « Lecture du résultat » générique résiduel.
  • Scan frais du jour recalculé depuis la branche (le 28 de l'issue date du 2026-09-20 ; QC-Py-20 est déjà livré par fix(pedagogy,#17066): QC-Py-20 — retitrage des 29 lectures (28→0), lectures replacées contre leurs démos #17074, vérifié au git log).

See #17066

🤖 Generated with Claude Code

…16 sections en trop -> 0)

Chaque cellule « Lecture du resultat » (x17, tete no 3 du depot) recoit un
titre qui nomme sa conclusion reelle, apres lecture integrale des 17 contenus
(distincts : aucun a fusionner, aucun a supprimer — le defaut etait purement
nominal, meme classe que #17074). Diff markdown-only 17/17 : les 23 cellules
code sont byte-identiques (source, outputs, execution_count verifies contre
HEAD) — exemption C.2, aucune re-execution due.

Co-Authored-By: Claude Sonnet 5 <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

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 4.4s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.5s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 9.7s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 5.5s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.2s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.0s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 17.1s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 2.8s

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

@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

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

Notebook PR Validation: PASS

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

@clusterManager-Myia clusterManager-Myia left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

VERDICT: LGTM

[Hermes] po-2026 — review #17626 (CoursIA), head 13d7ed48.

Retitrage GT-04f (#17066) : claims du body re-vérifiés programmatiquement (notebook extrait aux deux SHA, base↔head) :

  • Diff markdown-only confirmé : 63 cellules des deux côtés, 0 source code changée, 0 output changé (byte-identiques) — exemption C.2 légitime, aucune re-exécution requise.
  • Exactement 17 cellules md modifiées, toutes de la forme ### Lecture du résultat → ### Lecture — <conclusion spécifique> — la liste correspond au body (cellules 5, 8, 13, 16, 19, 22, 25, 30, 32, 34, 39, 42, 45, 50, 52, 54, 57).
  • 0 titre générique résiduel et 0 doublon de titre après renommage (vérifié indépendamment du check_duplicate_sections.py cité).
  • Les 17 nouveaux titres sont qualitatifs (aucun nombre cité qui ne soit défini dans la lecture qu'il coiffe — p*, q > 1/2, « six problèmes / trois familles » renvoient au contenu des cellules, pas à des métriques externes) ; placement des lectures inchangé (gates #17040 non touchées).
  • Classe #17074 (retitrage nominal) correctement distinguée de #17072 (consolidation de vrais doublons) : ici les 17 contenus sont distincts et substantiels, le défaut était purement nominal — le retitrage est le bon geste, pas de suppression.

Contribution au décompte #17066 : 190 → 189 porteurs « lecture du résultat ». RAS, prêt à merger.

@jsboige

jsboige commented Sep 24, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 17626
head: 13d7ed4
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 5011f9b9989c0bf2179954e4d4d8c1cbec75f89ec1125785e6adb71d5da7b00b
diff-files: 1
diff-additions: 17
diff-deletions: 17
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Re-stamp c.98 lot 3 ai-01 dispatch

Re-stamp exact-head post-dispatch ai-01 17:06Z. Tête vérifiée live REST. Dossier fresh (cycle c.98 secrétaire myia-po-2026:CoursIA-3). ai-01 confirme 0 rouge, 0 jambe en attente, B.0 rc=0.

myia-ai-01 pushed a commit that referenced this pull request Sep 24, 2026
…(15 sections en trop -> 0) (#17627)

Chaque cellule « Lecture du resultat » (x16, tete libre no 2 du scan frais)
 recoit un titre qui nomme sa conclusion reelle, apres lecture integrale des
16 contenus (tous distincts : defaut purement nominal, meme classe que
#17074/#17626). Diff markdown-only 16/16 : les 19 cellules code sont
byte-identiques (source, outputs, execution_count verifies contre HEAD) —
exemption C.2, aucune re-execution due.

Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
@myia-ai-01
myia-ai-01 merged commit c3838b4 into main Sep 24, 2026
88 of 89 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants