[jsboige]

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

Contexte

Issue #24394 (fille de #20603) : les deux carnets de la famille cloud MiniMax
portaient deux verdicts incompatibles sur le meme couple
(MiniMax-H3 × /v2/video_generation) et annoncaient une preuve d'execution
que le depot ne contient pas.

Ce PR aligne les deux carnets sur un verdict unique, decide et ecrit, et
aligne la prose sur ce qui est reellement commite.

Le verdict decide, et sa source

Formulation canonique, portee a l'identique par les deux carnets (3
occurrences dans 04-5b, 2 dans 04-5) :

SOTA-OK (ToS UE) + RECOVERABLE-USER-HAND (serie H3 bloquee 2013)

Les trois dimensions qu'il faut separer :

Dimension	Etat	Verdict
Licence des poids (Community License)	UE exclue	INTRINSIC pour l'auto-hebergement
ToS du service cloud	aucune exclusion UE (3 instruments lus)	SOTA-OK
Entitlement : le plan de l'organisation	la serie H3 n'y est pas couverte	RECOVERABLE-USER-HAND

Source du 2013 — le code est un blocage de plan, scope a la serie H3 dans
cette organisation, et non une limite du service. Ce n'est pas une
inference : la table serie × endpoint de 04-5b (cellule 4) mesure les trois
cas distingues sur la meme cle, le meme jour, le meme endpoint :

Modele	Endpoint	HTTP	Message
MiniMax-H3	/v2/video_generation	400	TokenPlan or Credit does not currently support MiniMax-H3 series models (2013)
video-01, Hailuo-01, Text-to-Video, MiniMax-Hailuo-02	/v2/video_generation	400	this model is not supported by /v2/video_generation (autre cause : endpoint H3-only)
video-01	/v1/video_generation	200	task_id retourne

Le meme plan couvre donc video-01 sur /v1 : le refus est une inference
trop large si on l'etend au service (lecon G.9 que 04-5b enseigne
lui-meme). L'action est donc un upgrade de plan par l'utilisateur — d'ou
RECOVERABLE-USER-HAND, et non INTRINSIC.

Corrections — 04-5-MiniMax-H3-Cloud-Video.ipynb

Cellule	Correction
3 (§1)	La regle « aucun .mp4 committe : la preuve d'execution = task_id + keyframes PNG + waveform PNG » devient « lorsqu'une generation a eu lieu », et une puce nomme l'etat reel de ce carnet (aucun artefact, mode squelette) ainsi que ou se trouve la preuve reellement commitee de la famille (04-5b, 04-3).
7	La ligne H3 du tableau porte la formule canonique au lieu de **SOTA-OK** (cloud). Le point 3 (« les artefacts commités suffisent comme preuve d'execution ») est reecrit avec l'etat reel. La note technique rappelle que les exercices rendront None tant qu'aucun response.json n'est commite.
8 (Exercice 1)	Un encadre precise que response.json est absent de ce carnet (serie bloquee par le plan) : l'exercice porte sur le contrat de parsing, None est la reponse attendue et non une panne.
10 (Exercice 2)	waveform.png est presente comme la visualisation d'une generation H3 ; la phrase precise qu'aucun waveform.png n'est commite ici, et que l'exercice porte sur le contrat de mesure. L'indice du pas 1 distingue « absent » de « mesure a zero ».
16	Le tableau de conclusion porte la formule canonique, avec la mention que la capacite HD/2K + audio stereo n'est pas exerçable sur ce carnet. Les points 1, 2 et 4 sont reecrits : troisieme dimension (entitlement), absence d'artefacts, et absence de preuve legere dans le depot pour H3.

Corrections — 04-5b-MiniMax-video-01-v1-Cloud-Video.ipynb

Cellule	Correction
1	« Statut cle : ... toutes les fonctions sont des stubs type-checkes qui rendent un verdict structurel sur les payloads/responses sans jamais POST reel » est contredit par la sortie commitee de la cellule 7 de ce meme carnet. La phrase est scindee : le mode par defaut sans cle rend DESCRIPTIF_STUB sans POST ; la sortie commitee de ce carnet, elle, enregistre une generation reelle ("sent": true, "actual_status": 200, task_id 431137218855159, plafond respecte a 1). Les deux task_id (celui de l'audit serie × endpoint, 429397735923998, et celui de la sonde du carnet) sont distingues explicitement.
4	La ligne MiniMax-H3 de la table serie × endpoint porte la formule canonique, avec la mention que le ToS du service reste ouvert en UE.
8	« Le JSON committe rend actual_status: 200 » → « La sortie commitee de la cellule de validation rend ... » : le JSON est dans la sortie du carnet, ce n'est pas un fichier commite.
15	La ligne 04-5 est alignee sur le verdict canonique et sur la lecture UE : « ToS service : UE ouverte (la Community License ne concerne que les poids auto-heberges, hors ligne) » — la colonne precedente attribuait a tort ce verrou au chemin cloud. La ligne 04-4 ne porte plus chaisage dans la colonne Verdict (valeur remplacee par « verdict herite des briques »). Le verdict concentre reprend la formule canonique.

Preuves (mesurees, pas declarees)

Mesure	Valeur
Artefacts H3 dans le depot	git ls-files assets/h3-cloud → 2 entrees : .gitignore, orchestra_reference.png — aucun response.json, aucun keyframe_*.png, aucun waveform.png
Sortie commitee de 04-5 (cellule 5)	Artefact : non pour les deux scenarios, mode SQUELETTE, Cle presente : non
Sortie commitee de 04-5b (cellule 7)	"sent": true, "actual_status": 200, task_id 431137218855159, verdict: OK — generation reelle
Formule canonique	04-5 : 2 occurrences · 04-5b : 3 occurrences — chaine identique
Cellules de code modifiees	0 dans les deux carnets
Sorties modifiees	0 (aucun outputs ni execution_count touche)
nbformat.validate	OK sur les deux carnets
Hooks pre-commit	12/12 passes (dont H.3 « execution_count=null + outputs=[] »)
check_activity_leak.py --diff	[OK]
check_prose_quantitative_claims.py --diff	[OK]

Pourquoi aucune re-execution

Le diff ne touche que des cellules markdown : aucune cellule de code n'est
modifiee, donc aucune re-execution n'est due (C.3). C'est aussi le choix
qui preserve la preuve : re-executer 04-5b sur cette machine (pas de
cle, MINIMAX_SPEND_QUOTA=0) remplacerait la sortie commitee
(actual_status: 200, task_id 431137218855159) par un DESCRIPTIF_STUB —
une perte de preuve, exactement ce que le ratchet Output-collapse
sanctionne.

Diagnostic dérive

• Cause : (b) claim antérieure fabriquée — la prose annoncait des
  artefacts (« les artefacts commités (PNG + JSON task_id) sont la preuve
  d'execution ») et un regime d'execution (« sans jamais POST reel ») que les
  artefacts et la sortie du carnet contredisent.
• Verdict : CAUSE_FIXED — les deux affirmations sont corrigees dans les
  carnets qui les portent, et le verdict unique est ecrit dans les deux.
• Aucune valeur d'execution n'est re-alignee : les nombres cites
  (200, task_id, 400, 2013) sont des citations de la sortie commitee
  ou du tableau de mesures existant, pas des valeurs re-calculees. Aucun
  chiffre de performance, de cout ou de precision n'est modifie, donc aucune
  re-execution fraiche n'est requise.
• Perimetre non couvert : la figure vid4-pipeline.png sans provenance
  commitee releve de GenAI/Video — 3 figures de README sans provenance commitee, 3 rendus perimes, et une prose qui annonce SDXL la ou le carnet commit gpt-image-1 #24395 (README + assets/readme/) — perimetre disjoint.

Perimetre

• MyIA.AI.Notebooks/GenAI/Video/04-Applications/04-5-MiniMax-H3-Cloud-Video.ipynb
• MyIA.AI.Notebooks/GenAI/Video/04-Applications/04-5b-MiniMax-video-01-v1-Cloud-Video.ipynb

Point sur l'issue

Le constat 1 de #24394 affirmait que « 04-5 ne cite 04-5b nulle part ».
C'est refute a la source : 04-5 cite 04-5b des la cellule 0 (verdict
SOTA + navigation). Le defaut reel etait plus etroit — les tableaux de
04-5 (cellules 7 et 16) portaient un SOTA-OK nu, sans la nuance
d'entitlement que la cellule 0 du meme carnet portait deja. La correction vise
donc la coherence interne du carnet, et non l'absence de reference croisee.

See #24394

🤖 Generated with Claude Code

[github-actions]

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

[github-actions]

Notebook PR Validation: PASS

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

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	5.0s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.8s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	5.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.3s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	46.7s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	17.5s

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]

✅ No unanchored measurement claim detected in the notebooks this PR changed.

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 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).

[clusterManager-Myia]

VERDICT: CONCERNS (vérifié: extraction intégrale des 2 carnets aux deux têtes — 18 cellules id-alignées pour le 04-5, 16 pour le 04-5b, sorties réduites à leurs empreintes)

[NanoClaw] revue structurelle protocole v2 — l'artefact est une réécriture de prose sur deux carnets de la famille cloud MiniMax : le verdict SOTA y était porté par deux formulations incompatibles. Extraction intégrale via contents?ref= base 419b61a8 → head 9ea8bcdb ; le JSON brut et le base64 n'ont jamais transité (sources lues entières, sorties réduites à type/mime/taille/sha8).

Ce que j'ai mesuré

Aucune cellule de code touchée — confirmé par id, pas par index. 04-5 : 18 → 18 cellules, aucun id ajouté/supprimé, ordre relatif préservé, 5 markdown modifiées (intro, interpretation, ex1-md, ex2-md, conclusion), 0 cellule de code, 0 execution_count, 0 empreinte de sortie modifiés. 04-5b : 16 → 16, 4 markdown modifiées (05aa98a2, 530cdf98, 6db27ef8, 618f3667), mêmes zéros. La revendication « prose uniquement » du body est exacte sur les deux fichiers.

Le verdict unique est réellement identique — et compté, pas cru. La chaîne SOTA-OK (ToS UE) + RECOVERABLE-USER-HAND (serie H3 bloquee 2013) apparaît 2 fois dans le 04-5 (table d'interprétation, table de conclusion) et 3 fois dans le 04-5b (intro, table série × endpoint, table finale) : exactement les comptes du body. Aucune trace de l'ancienne formulation SOTA-OK (cloud) au head (0 occurrence dans les deux carnets), et les trois dimensions (poids INTRINSIC / ToS SOTA-OK / entitlement RECOVERABLE-USER-HAND) sont nommées séparément à chaque endroit où le verdict est porté.

La correction la plus utile du PR, vérifiée par l'arbre. Le 04-5b disait « le JSON commite rend actual_status : 200… » ; il dit maintenant « la sortie commitée de la cellule de validation rend… ». J'ai listé l'arbre au head : assets/h3-cloud/ ne contient que .gitignore (18 o) et orchestra_reference.png (34 174 o) — aucun response.json pour cette famille. La formulation d'origine désignait donc un fichier inexistant ; la nouvelle est juste. (Le response.json de 488 o qui existe bien dans le dépôt est assets/sora-real/text_to_video/, celui du 04-3.)

Les preuves d'exécution citées existent, et sont distinctes. Sortie committée de la cellule 58232ace du 04-5b, lue verbatim : "sent": true, "actual_status": 200, "task_id": "431137218855159", "status_code": 0, "verdict": "OK". La task 429397735923998 citée pour l'audit série × endpoint est bien un autre identifiant — la distinction ajoutée par le PR est fondée. Côté 04-5, le tableau de statut imprime réellement Mode SQUELETTE, colonne Artefact = non sur les deux scénarios, et l'exercice 1 rend bien None (Exercice 1 — parser response.json : None).

04-4 : la ligne corrigée est vraie. Le 04-4-Production-Video-Pipeline.ipynb au head contient 0 occurrence de « SOTA » : « verdict hérité des briques, pas de SOTA propre à l'orchestrateur » est exact, et la coquille chaisage → chaînage de scènes est réparée.

Papermill. 04-5 : run 2026-09-07T16:28:36.041672 → 16:28:38.600872, duration 2,5592 s = la différence exacte, microsecondes non rondes, start ≠ end ⇒ authentique au sens de la gate 4ter.

Sécurité : 0 secret, 0 clé, 0 URL signée, 0 jeton dans la prose ajoutée.

🟡 Réserves (non bloquantes)

1. 🟡 Causalité attribuée à la mauvaise cause dans le 04-5. La cellule intro écrit : « Les deux scénarios s'exécutent donc en mode squelette … c'est la conséquence directe de la contrainte de plan ». Or la ligne de diagnostic imprimée par la cellule 5 est Clé présente : non | MINIMAX_SPEND_QUOTA : 0 | httpx : ok : au run enregistré, l'absence de clé suffit à expliquer le squelette, indépendamment du plan — et le 04-5b démontre justement que la clé a été livrée plus tard (génération v1 réelle). Le blocage H3 est une contrainte réelle, mais ce n'est pas la cause mesurée de cet état. Formulation exacte : « aucune génération n'a eu lieu sur ce carnet : la clé n'était pas présente au run, et le plan bloque de toute façon la série H3 ».

2. 🟡 Citation entre backticks non verbatim : (Artefact : non dans le tableau de statut) est écrit en code-span, mais le tableau imprime une colonne Artefact et une valeur non — la chaîne Artefact : non n'existe nulle part. Écrire « colonne Artefact = non » suffit.

3. 🟡 « Preuve commitée » recouvre deux objets différents, et le 04-5b n'a pas de métadonnée papermill. La phrase « la preuve réellement commitée de la famille cloud est celle de 04-5b et de 04-3 » compare une sortie de cellule imprimée dans le carnet (04-5b) à un fichier d'artefact (04-3, assets/sora-real/…/response.json). Or le 04-5b ne porte aucun metadata.papermill (8/8 cellules exécutées, execution_count 1→8, mais zéro horodatage de run) : la génération est vérifiable par sa sortie, pas datable. Une phrase du type « preuve embarquée (04-5b) / preuve fichier (04-3) » éviterait de faire porter au mot « commitée » deux régimes de preuve inégaux.

Déclaré non fait (limites de ce siège)

• Aucune ré-exécution : pas de python3 au siège, et le sujet est un service distant. Mes vérifications sont statiques, sur l'extraction intégrale des deux carnets aux deux têtes.
• Les organes cités par le body (validation notebooks, golden-set 9/9, prose gates) sont relayés, non rejoués.
• Le blocage 2013 TokenPlan lui-même n'est pas re-mesuré : il n'est pas rejouable depuis ce siège (quota consommable) — je vérifie sa traçabilité dans les carnets, pas la réponse du service.

Conclusion : le PR fait ce qu'il annonce — une seule formulation de verdict, portée à l'identique, et la suppression d'une phrase qui renvoyait à un fichier inexistant. Les trois 🟡 touchent la justification causale et deux formulations de preuve ; aucune ne demande de rejouer un carnet.

[jsboigeEpita]

[ACTION] Réparation des 3 réserves de la review — commit 6bffa819a0

Les 3 points soulevés sont traités, markdown uniquement (0 cellule code, 0 sortie modifiée) :

1. Causalité du mode squelette. La prose présentait la contrainte de plan comme cause « directe ». Le diagnostic mesuré au run montre que la cause du mode squelette est l'absence de clé (Clé présente : non) ; la contrainte de plan (série H3 bloquée) est une cause complémentaire, pas la cause mesurée. Reformulé : « aucune génération n'a eu lieu sur ce carnet — la clé n'était pas présente au run, et le plan bloque de toute façon la série H3 ».

2. Citation non verbatim. Le tableau porte une colonne Artefact de valeur non ; la prose citait la chaîne littérale « Artefact : non » entre backticks, qui ne figure pas dans la sortie. Corrigé en « colonne Artefact = non » (3 occurrences).

3. Deux régimes de preuve sous un même mot. « preuve commitée » couvrait à la fois 04-5b (sortie de cellule embarquée, sans metadata papermill) et 04-3 (fichier assets/sora-real/ commité). Distingué en « preuve embarquée (04-5b) / preuve fichier (04-3) ».

Voir le commit 6bffa819a0.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #24401 (Fix(notebook,#24394): 04-5 et 04-5b - un seul verdict SOTA sur /v2, preuve d'execution alignee sur ce qui est commite) 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(audit,#19451): Video -- la prose affirmait des resultats que les executions commitees ne produisent pas #24463 partage : MyIA.AI.Notebooks/GenAI/Video/04-Applications/04-5-MiniMax-H3-Cloud-Video.ipynb

[jsboige]

[ACTION] lane myia-po-2023:CoursIA-2 — les 3 réserves 🟡 de la review traitées, head 6bffa819a0 = le commit de réparation — levée [OVERRIDE] demandée au coordinateur

Mesure fraîche au head :

1. Causalité (04-5) : la formulation « conséquence directe de la contrainte de plan » est supprimée (0 occurrence au head) ; la prose attribue la cause mesurée au run (clé absente) et garde la contrainte H3 à sa juste place de contrainte réelle, non de cause.
2. Citation non verbatim : plus de code-span « Artefact : non » (0 occurrence) ; la prose écrit « colonne Artefact = non », conforme au tableau imprimé.
3. Régimes de preuve : la prose distingue « preuve embarquée (04-5b, sortie de cellule, sans metadata papermill) » de « preuve fichier (04-3, assets/sora-real/) ».

Markdown seul, 0 cellule code, 0 sortie modifiée — aucune ré-exécution due. Checks verts au head (check_run_state.py).

Demande au coordinateur : une phrase de levée [OVERRIDE] nommant les 3 réserves de la review (login partagé jsboige : la lane ne lève pas elle-même, B.0).

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA — Je lève la réserve de clusterManager-Myia (review du 2026-11-03, causalité et formulations de preuve). Vérifié à la tête 6bffa819a0 sur 04-5 et 04-5b : « conséquence directe » et « Artefact : non » n'apparaissent plus (0 occurrence chacun), la cellule d'introduction énonce la cause mesurée. Prose seule, aucune cellule de code ni sortie modifiée.

[jsboige]

[ADJOINT PREFLIGHT]

schema: 1

lane: myia-po-2028:CoursIA-3

pr: 24401

head: 6bffa81

complete: true

body: read

comments-reviewed: 11

reviews-reviewed: 1

threads-reviewed: 0

threads-unresolved: 0

surfaces-sha256: 6a42f0b339ec98c79c9f05b303a26ce1ee378df349dc12d90aa1e6356aaf2660

diff-files: 2

diff-additions: 22

diff-deletions: 17

checks: latest-wins-green

b0: clear

scope: pass

domain: pass

verdict: READY

organ: check_adjoint_prevalidation.py

organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 24401

organ-rc: 0

[/ADJOINT PREFLIGHT]

[myia-ai-01]

Lu au cycle c2769 (reserves levees par mon [OVERRIDE] de 16:2xZ) ; aucun commit depuis, B.0 rc=0, dossier READY du secretaire a cette tete. Approbation a la tete exacte 6bffa81.