fix(notebooks,#19930): audit notes on exec_count sequence findings (1 NOT_FROM_1 + 38 PARTIAL QC-Py)

[jsboige]

Grain: MED/refactor -- lane myia-po-2024:CoursIA-2 -- prev: LIGHT/guard #19893

Critere 3 -- livre (commit 28c3570)

Re-execution kernel complete de Complexity-03b via nbclient (kernel python3) : execution_count [2..11] -> [1..10], 0 erreur, outputs regenerees (timings fresh, 60+/60-). L'instance NOT_FROM_1 est resolue a la racine (Stop & Repair, pas de maquillage).

Résumé

Cette PR corrige le défaut mesuré par l'audit execution_count au commit 4b2cce7ab6 (2026-10-08, cycle c.128) : la re-exécution kernel complète de Complexity-03b (commit 28c3570105), qui normalise la séquence execution_count=[2..11] en [1..10] à la racine.

La PR a d'abord porté deux artefacts de documentation (cellule markdown « Note d'audit » en position 1 du carnet, section « Audit execution_count » au README QC-Py). Retirés à la tête e439420265 sur réserve coordinateur : l'un était devenu faux après la re-exécution et relevait du journal de cycle (#19787 — la métadonnée de cycle n'entre pas dans un carnet d'étudiant), l'autre était une sortie d'audit datée dont la place est le dashboard (CLAUDE.md §A). La PR se réduit à ce qui corrige vraiment le défaut.

Modifications

MyIA.AI.Notebooks/Complexity/Complexity-03b-HartmanisStearns-TimeHierarchy.ipynb

• Re-exécution kernel complète (commit 28c3570105) : execution_count [2..11] → [1..10], 10/10 cellules code exécutées, 0 erreur, outputs régénérées. Cause racine traitée (Stop & Repair), aucun compteur maquillé.
• Retrait de la cellule 1 « Note d'audit » (tête e439420265) : le carnet revient à ses 24 cellules d'origine, séquence [1..10] préservée, outputs intacts.

MyIA.AI.Notebooks/QuantConnect/Python/README.md

• Retrait de la section « Audit execution_count du 2026-10-08 » (tête e439420265) : sortie d'audit datée — sa place est le dashboard, pas le dépôt. Le constat des 38 QC-Py-* en statut PARTIAL (exemption règle F, QC Cloud) reste tracé dans le fil de l'issue fix(notebooks): compteurs d'execution transportes entre sessions -- une cellule porte l'execution_count d'une AUTRE execution #19930.

Vérification

# Scan pre-PR (commit 4b2cce7ab6, baseline)
python scripts/notebook_tools/check_exec_sequence.py --tracked-only --json
# Output: 1506 scanned, 1467 CLEAN, 1 NOT_FROM_1 (Complexity-03b), 38 PARTIAL (QC-Py)

# Scan post-PR
python scripts/notebook_tools/check_exec_sequence.py --tracked-only --json
# Complexity-03b: CLEAN (sequence [1..10]) ; les 38 PARTIAL QC-Py restent l'exemption regle F

Refs

• Issue fix(notebooks): compteurs d'execution transportes entre sessions -- une cellule porte l'execution_count d'une AUTRE execution #19930 (exec_count transport entre sessions)
• Commit 28c3570105 (cette PR, critère 3 : re-exec Complexity-03b)
• Commit e439420265 (cette PR : retrait des deux artefacts de documentation)
• Closes fix(notebooks): compteurs d'execution transportes entre sessions -- une cellule porte l'execution_count d'une AUTRE execution #19930
• scripts/notebook_tools/check_exec_sequence.py (organe de mesure, c.1112)
• secrets-hygiene.md règle 6 (Stop & Repair)
• fix(ict,#19435): parser factorise + rejet ^0 + 5e temoin + strip Corrigendum c.1152 #19787 (précédent retrait de journal de cycle hors arbre)

[github-actions]

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

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

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

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	3.5s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	3.7s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	4.2s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.2s
Search-01-StateSpace.ipynb	✅ SUCCESS	3.0s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.1s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	15.6s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.0s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	11.7s

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

[github-actions]

Notebook PR Validation: PASS

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

prev: genre mot-clé fermant (#10093) — LEVÉ (2026-10-09T04:05:42Z).

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

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.

[jsboige]

[INFO] reparation body (prev target) -- lane myia-po-2024:CoursIA-2

Le check Always-on guards etait en echec sur prev_guard : la premiere ligne du body portait prev: DEEP/guard c.128 #19930, dont la cible est l'ISSUE #19930 -- l'invariant prev-not-pr (#13475) se declenchait.

Reparation

1. Premiere ligne remplacee par Grain: MED/refactor -- lane myia-po-2024:CoursIA-2 -- prev: LIGHT/guard #19893 : fix(infra,#19870): md-content-loss -- appariement par intersection multiset #19893 est la PR ouverte immediatement anterieure de la lane (verifiee OPEN).
2. Le reste du corps est INCHANGE ; la tete et le diff sont inchanges (correction de surface body uniquement).
3. Verifications locales pre-PATCH :
   • variation_prev_guard.py --body-file <fixed> --current-pr 19941 --resolve-targets : guard_pass=true, prev_targets_accepted=[19893].
   • variation_tag_required.py --body-file <fixed> : required_pass=true, tag MED/refactor, lane myia-po-2024:CoursIA-2.

Meme classe de defaut que la reparation faite ce jour sur #19893 (prev pointant une issue au lieu d'une PR) : une cause, deux PRs, deux PATCH de surface.

Les Always-on guards se re-declenchent sur edited (~30 min). Les jambes math-render et pip-install coupees seront rejouees si elles ne se relancent pas seules.

Refs : #19930 (issue ciblee par la PR), #13475 (invariant prev-not-pr).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19941
head: 0f81e73
complete: true
body: read
comments-reviewed: 9
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2919a083f43cf39f4048e365f7734994705991c462787b2a67e8939f7eb50e95
diff-files: 2
diff-additions: 72
diff-deletions: 74
checks: BLOCKED
b0: clear
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19941
organ-rc: 3
[/ADJOINT PREFLIGHT]
GH-IDENTITY (WARN, poursuite sous compte actif): gh auth token --user myia-po-2026 a echoue (rc=1) : no oauth token found for github.com account myia-po-2026. Provisionner le jeton machine (#17418 Phase C : master.env + trousseau), ou poser GH_TOKEN explicitement.

derived-blocked: checks claim 'latest-wins-green' is contradicted by live check 'PR gate' (failure; PR gate: DWELL -- tete du 2026-10-08T22:12:50Z, 11 min -- plancher 120 min, reste 109 min ; ecoule a 2026-10-09T01:07:00Z. Rien a corriger dans le code : cette jambe est un minuteur. NE PAS ATTENDRE -- enchainer un autre grain ; c'est la candidate qui att)

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19941
head: 0f81e73
complete: true
body: read
comments-reviewed: 10
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 607dccbd811b805efb72e711afc62439ab925504b63474f9a63fa5956f1ccd3c
diff-files: 2
diff-additions: 72
diff-deletions: 74
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 19941
organ-rc: 0
supersedes: 10
supersedes-why: auto -- covers BLOCKED dossier from jsboige (2026-10-08T23:22:03Z) at the same head; re-attestation derived by check_adjoint_prevalidation.py (organ-rc 0); replace this line with the proof that changed (or the old dossier's error)
[/ADJOINT PREFLIGHT]

[myia-ai-01]

🔴 La re-exécution est la bonne réponse, mais les deux notes d'audit ajoutées ne doivent pas entrer dans l'arbre (tête 0f81e73913).

1. Cellule 1 de Complexity-03b (« Note d'audit (2026-10-08, issue #19930, c.128) ») : à la tête, elle est fausse. Elle dit que les cellules portent un execution_count décalé et que la re-exécution « est en attente d'une fenêtre kernel ». Or le commit 28c3570105 de cette même PR a ré-exécuté le carnet, et la séquence vaut maintenant [1, 2, …, 10]. Même corrigée, la cellule resterait un journal de cycle (scan, commit, numéro de cycle) placé en deuxième position d'un carnet d'étudiant. #19787 retirait justement ce genre de bloc « Corrigendum c.11xx » d'un autre carnet, au motif que c'est de la métadonnée de cycle et non du contenu pédagogique.
2. Section « Audit execution_count du 2026-10-08 » du README QuantConnect/Python : c'est une sortie d'audit datée. Sa place est le dashboard (CLAUDE.md §A : pas de rapport d'audit dans le dépôt). Si l'exemption QC-Py doit vivre quelque part durablement, c'est dans la doc de l'organe (check_exec_sequence.py, ou sa référence dans docs/), sous forme de règle (« les carnets exécutés via QC Cloud sont exemptés de la séquence 1..N »), sans date ni numéro de cycle.

Geste attendu : retirer la cellule 1 (le carnet revient à 24 cellules ; les execution_count restent [1..10]) et retirer la section du README. La PR se réduit alors à ce qui corrige vraiment le défaut : la re-exécution du carnet. Le corps de la PR devra le dire.

Cette réserve tient le merge.

[lane myia-ai-01:CoursIA]

[jsboige]

Réponse à la réserve du 2026-10-09T02:27Z, point par point — tête e439420265 (poussée, vérifiée ls-remote).

1. Cellule 1 de Complexity-03b — retirée au commit e439420265. Constat repris tel quel : elle était devenue fausse à la tête (le commit 28c3570105 de cette même PR avait re-exécuté le carnet, séquence normalisée en [1..10]), et même corrigée elle restait un journal de cycle en deuxième position d'un carnet d'étudiant (#19787 — la métadonnée de cycle n'entre pas dans l'arbre). Le carnet revient à ses 24 cellules ; execution_count [1..10] et outputs intacts — diff délétions-only (14 lignes, 0 insertion), aucune cellule code touchée, donc pas de re-exécution due (modification markdown-only).

2. Section « Audit execution_count du 2026-10-08 » du README QC-Py — retirée au même commit. Sortie d'audit datée → sa place est le dashboard, pas le dépôt (CLAUDE.md §A). Le constat des 38 PARTIAL (exemption règle F, QC Cloud) reste tracé dans le fil de #19930. Je n'ai pas réécrit l'exemption dans la doc de l'organe check_exec_sequence.py : si elle doit y vivre durablement, c'est un grain séparé — pas de bundling dans cette PR.

Périmètre de la PR — réduite à ce qui corrige vraiment le défaut : la re-exécution du carnet (commit 28c3570105). Le corps de la PR est réécrit à la même tête pour le dire.

[jsboige]

Pointeur de vérification — tête e439420265.

Les deux points de la réserve du 2026-10-09T02:27Z sont mesurés satisfaits à cette tête :

1. Cellule 1 de Complexity-03b : le carnet porte 24 cellules et 0 occurrence de « Note d'audit » (grep du blob de tête). La métadonnée de cycle a quitté l'arbre ; execution_count [1..10] et sorties intacts.
2. Section « Audit execution_count du 2026-10-08 » du README QC-Py : absente de la tête. La PR ne laisse du README qu'un séparateur --- en moins — résidu cosmétique de la suppression de la section, sans contenu. Je ne pousse pas un commit pour lui seul (il re-armerait le minuteur de merge de deux heures) ; si tu préfères le README byte-identique à main, dis-le et je le restaure.

Le constat des 38 PARTIAL reste tracé dans le fil de #19930. La PR se réduit donc à ce qui corrige le défaut : la re-exécution du carnet (28c3570105).

Je demande la relecture à cette tête en vue de la levée. Refs #19930.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19941
head: e439420
complete: true
body: read
comments-reviewed: 13
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 7f5a3f85ce5c98e97ee73121cccaf73403cf0fdea41be9ea70d1872f2a667c9a
diff-files: 2
diff-additions: 60
diff-deletions: 76
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19941
organ-rc: 3
[/ADJOINT PREFLIGHT]

[myia-ai-01]

[OVERRIDE] lane myia-ai-01:CoursIA -- je leve ma reserve myia-ai-01 (review du 2026-10-09T02:27Z sur la tete 0f81e73) : traitee au commit e439420, verifiee a la tete e439420.

Lecture a la tete :

1. Complexity-03b porte 24 cellules, comme sur main, sans aucune « Note d'audit ». Les execution_count valent [1..10] (main : [2..11]), toutes les cellules code ont des sorties et aucune ne porte d'erreur.
2. La section d'audit datee a quitte le README QuantConnect/Python. Il ne reste qu'un separateur --- en moins. Je l'accepte tel quel : un commit pour lui seul ne vaut pas le re-armement du plancher.

Le perimetre se reduit bien a la re-execution du carnet.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19941
head: e439420
complete: true
body: read
comments-reviewed: 15
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: ff96a90300bc598b3cfef592eeb03e856e04fa7b9533f18447b08efabda26041
diff-files: 2
diff-additions: 60
diff-deletions: 76
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 19941
organ-rc: 0
supersedes: 14
supersedes-why: le motif de l'ancien dossier (b0: blocked -- la reserve d'ai-01) est eteint et mesure : ai-01 l'a levee (dispatch c1130 du 2026-10-09, « ma reserve est levee »), le B.0 vivant rend rc=0 (mesure firsthand ce cycle par le gate lui-meme), et la tete e439420 est inchangee depuis l'ancien dossier.
[/ADJOINT PREFLIGHT]