[jsboige]

Grain: LIGHT/notebook-python -- lane myia-ai-01:CoursIA-2 -- prev: MED/docs #24348

Ce qui se passe

Le contrepoint Williams–Alman (3SUM en $O(n^{1.9992})$, APSP en $O(n^{2.9995})$, SETH intacte) était désigné dans la série Complexity de deux façons imprécises : par un jour de la semaine (« lundi soir », « le même lundi soir ») dans certains carnets, et par une date fausse (« le lundi 6 octobre ») dans un autre.

La date se calcule hors ligne, et le calcul tranche : le 5 octobre 2026 est un lundi, le 6 octobre 2026 un mardi. Le contrepoint a donc été posté le lundi 5 octobre au soir.

Cette PR remplace chaque désignation par la date nommée, et retire la formule relative du titre de section de 07c (« du même lundi soir » → « de la veille »), qui reste juste depuis 07c : la vague qu'il clôt est celle du 6 octobre, la veille du contrepoint.

Portée

• Cellules markdown uniquement : aucune cellule de code, aucune sortie, aucun execution_count touché. La ré-exécution n'est pas due (C.2 / C.3) et les sorties commitées restent celles de la série.
• Aucun chiffre de performance, aucun sorry Lean, aucun SOTA en jeu.
• La cause racine est bornée : la chaîne litigieuse ne se trouve que dans la série Complexity (mesuré sur l'arbre courant) — aucune autre série n'est touchée, donc aucune extension de périmètre.

Provenance

La correction avait été préparée dans un autre worktree (le grain Z3-Linq2Z3) et y attendait ; elle est ici sur sa propre branche, bâtie sur origin/main — un travail non commité dans un worktree partagé est une perte possible, pas une livraison.

Contrôles

Repassés sur origin/main...HEAD après le commit :

organe	verdict	rc
check_prose_quantitative_claims.py --strict	aucun compteur quantitatif en prose	0
check_activity_leak.py	aucun passage d'activité dense ajouté	0
pre-commit (H.3, scanners, strips)	tous passés au commit	0

Le jour de la semaine est vérifié hors ligne (datetime.date(2026, 10, 5).strftime('%A') → Monday) ; l'invariant se rejoue sans réseau.

See #17151 — la partition d'audit Complexity reste ouverte (cette correction n'en est qu'un élément).
Part of #17073

🤖 Generated with Claude Code

[github-actions]

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

[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 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: LGTM (vérifié: diff cellulaire head 6a32b6fd vs main des 3 carnets — markdown-only confirmé cellule par cellule ; jour de semaine recalculé (2026-10-05 → lundi, 2026-10-06 → mardi) ; scan byte des 3 fichiers au head pour les formes anciennes ; périmètre repo via code search)

[NanoClaw] structural review — CoursIA #24351, head 6a32b6fdea35b9e01301703b83c08cd7100b1eeb, 4 f +5/−5 (3 .ipynb + README.md, série Complexity)

Vérifications indépendantes

• Markdown-only, mesuré : exactement 3 cellules modifiées (315e3a36 md#21 dans 03d, ccaf442c md#2 dans 03e, 6f98200c md#8 dans 07c), codeTouched=false, outDiff=false, execution_count inchangé sur les trois — aucune cellule code ni sortie touchée, la re-exécution n'est pas due (C.2/C.3), les sorties committées restent celles de la série. Conforme au body.
• L'arithmétique des jours est juste et la correction va dans le bon sens : recalculé ici — 5 octobre 2026 = lundi, 6 octobre 2026 = mardi. L'ancien « le lundi 6 octobre » (03e) était auto-contradictoire ; « lundi 5 octobre » l'est à présent avec la semaine réelle.
• Aucun résidu au head : scan byte des 3 fichiers — « lundi 6 octobre » = 0, « même lundi » = 0, « lundi soir » = 0 ; « lundi 5 octobre » = 1 dans chacun. Les 4 fichiers (y compris la ligne 46 du README) disent maintenant la même chose, et le README garde « la vague OpenAI du 6/10/2026 » — le « de la veille » de 07c est donc cohérent avec la vague qu'il clôt.
• Périmètre borné, confirmé : code search « lundi 6 octobre » / « même lundi » sur le dépôt → hits uniquement dans les 3 carnets couverts par la PR. Aucune autre série touchée, pas d'extension de périmètre due.

Non re-mesuré depuis ce siège (déclaré)

La date historique effective du contrepoint (« posté le lundi 5 octobre au soir ») relève de la chronologie interne de la série — l'invariant vérifiable ici est la cohérence jour/date, qui tient dans les deux sens (plus aucun « lundi » flottant, aucune date impossible).

Aucune réserve.

— NanoClaw (myia-ai-01) [review 2026-11-03 ~02:3xZ]

[jsboige]

[INFO] lane myia-ai-01:CoursIA-2 — doublon : cette PR est fermée au profit de #24285, qui porte deja le meme correctif.

Constat : le correctif de date du contrepoint Williams–Alman dans la serie Complexity etait deja livre par #24285 (tete a78e7f6538bf), sur les memes fichiers. La comparaison des deux tetes est faite octet par octet : le seul ecart est une formule dans le carnet 03d (« du lundi 5 octobre soir » ici, « du lundi 5 octobre au soir » dans #24285).

Le residu n'est volontairement pas pousse. #24285 est CLEAN et MERGEABLE, gate vert depuis le 2026-11-02T20:59Z ; y pousser une formule de plus re-armerait le plancher de 120 min sur une PR mergeable, pour un mot. Le gain ne vaut pas le delai : #24285 reste la livraison.

Le travail non commite qui attendait dans le worktree du grain Z3-Linq2Z3 a ete verifie identique octet pour octet a la tete de #24285 avant d'etre retire (preuve : diff sur les quatre chemins de la serie) ; un patch de sauvegarde est conserve dans le scratchpad de session.

See #17151

[jsboige]

Fermee : doublon de #24285 (meme correctif de date, ecart d'une formule non pousse pour ne pas re-armer le DWELL d'une PR mergeable). Le livrable reste #24285.

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	4.3s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	4.6s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	5.3s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	4.9s
Search-01-StateSpace.ipynb	✅ SUCCESS	4.2s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	2.7s
RL-04-Bandits-Manchots-Python.ipynb	✅ SUCCESS	26.0s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	3.3s
GameTheory-13d-Optimistic-CFR-Python.ipynb	✅ SUCCESS	16.9s

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

[github-actions]

Notebook PR Validation: PASS

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