Skip to content

Fix(accents,#16638): CSP-9-Distributed -- détaché de #20790 (seuil de 15 fichiers) - #20933

Merged
myia-ai-01 merged 4 commits into
mainfrom
claude/16638-p5-accents-csp-b
Oct 17, 2026
Merged

myia-ai-01 merged 4 commits into
mainfrom
claude/16638-p5-accents-csp-b

Conversation

@jsboige

@jsboige jsboige commented Oct 15, 2026 •

Copy link
Copy Markdown
Owner

See #16638
Hors flotte (exemption #17713).

Summary

Changes

Carnet Cellules markdown modifiées Corrections Candidats avant → après
CSP-9-Distributed.ipynb 4 / 28 6 50 → 44

Lignes reprises du tableau de #20790.

Validation

Lancée sur le commit 257c39a52b (tête de cette PR), base origin/main 2ee98646c1.

check_accent_restoration_invariants.py --base-sha 2ee98646c1 --fail-on-findings <carnet>
  -> CSP-9-Distributed.ipynb : TOTAL 0 finding(s)
check_twin_parity.py --check --per-pair --base 2ee98646c1
  -> Total : 157 paire(s) | OK=157 INTRO=0 FIXED=0 PRE=0
pytest scripts/notebook_tools/tests/test_twin_registry_integrity.py
  -> 46 passed, 1 warning in 24.93s

Sur la voie rapide de la PR d'origine, le seul garde bloquant rouge est check-nav-chain. Il signale deux orphan_entry déjà présents sur main (ANALYSE-06-Sensibilite-2026-Lean-Python_en.ipynb, ANALYSE-10-Reflexion-Thurston-Python.ipynb), dans des carnets étrangers à cette PR, et le correctif est #20704. Les carnets de cette PR étant identiques à ceux de la PR d'origine, ses gardes par carnet donnent le même résultat.

Review Checklist

  1. Scope réel : OK. 3 fichiers, des paires jumelles complètes reprises de Fix(accents,#16638): tranche Search/Part2-CSP -- restauration canonique des accents (markdown seul) #20790.
  2. Validation post-fix : OK. Invariants d'accent, parité des jumeaux et tests du registre relancés sur la tête.
  3. Cohérence pédagogique : OK. Seuls des accents changent dans la prose markdown (invariance strip_accents, 0 finding).
  4. Exécution réelle : sans objet (C.2). Aucune cellule de code ni sortie modifiée.
  5. Regression check : OK. check_twin_parity à 157/157.

Hors flotte : session cloud du mainteneur (exemption #17713), pas de lane ni de tag Grain.

🤖 Generated with Claude Code

https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA


Generated by Claude Code


Generated by Claude Code

… 15 fichiers)

Partie de la PR #20790 detachee pour la ramener sous le seuil de 15 fichiers
(pr-review-discipline §A). Fichiers repris a l'identique de sa tete 8894905 ;
aucun n'a change sur main depuis sa base de fusion 1cef8a5, donc les
attestations jumelles restent valides.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01LRbWZZHE9jZscr8ya3niWA

jsboige commented Oct 15, 2026

Copy link
Copy Markdown
Owner Author

PR gate est rouge sur la tête 257c39a52b, mais aucun check n'y a échoué sur le contenu.

Ses jobs enfants ont tous été annulés après 12 à 17 minutes d'attente en file, sans runner attribué et sans aucune étape exécutée (vérifié sur math-render d'une PR sœur : runner_name vide, liste d'étapes vide). C'est la saturation de la file de runners (plus de 1 600 runs en attente ce matin). PR gate ne fait que constater ces annulations.

Je ne relance pas maintenant : une relance repartirait dans la même file. Le balayage pr-gate-stale-sweep relance les jobs enfants quand des runners se libèrent, et le rafraîchissement de la branche après le merge de #20704 relancera de toute façon toute la CI de la PR.


Generated by Claude Code

@github-actions

Copy link
Copy Markdown
Contributor

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

jsboige commented Oct 15, 2026

Copy link
Copy Markdown
Owner Author

Le check Scripts Tests (CPU) est rouge sur la tête 257c39a52b, mais l'échec ne vient pas de cette PR.


Generated by Claude Code

@github-actions github-actions Bot added the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Oct 15, 2026
@github-actions

Copy link
Copy Markdown
Contributor

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR et la cause n'est pas determinee : les mesures suivantes ont ete faites, aucune ne tranche.

  • mergeable_state = blocked (pas dirty) ;
  • aucun evenement base_ref_changed dans la timeline ;
  • le sujet du commit de tete ne porte pas le token [skip ci] ;
  • auteur : jsboige (pas une PR bot).

Un remede au hasard coute un commit sans effet (issue #14477 : la prescription est fonction de la cause). Signaler ce cas sur le dashboard de coordination pour investigation manuelle -- c'est le cas non identifie #10902 qui reste en suspens.

Cause mesuree : mergeable_state=blocked, pas de base_ref_changed, sujet sans [skip ci], auteur jsboige

@github-actions

github-actions Bot commented Oct 16, 2026 •

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 5.7s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 7.9s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 8.0s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 6.7s
Search-01-StateSpace.ipynb ✅ SUCCESS 5.2s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 3.2s
RL-04-Bandits-Manchots-Python.ipynb ✅ SUCCESS 32.2s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 4.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb ✅ SUCCESS 21.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).

jsboige commented Oct 16, 2026 •

Copy link
Copy Markdown
Owner Author

Scripts Tests (CPU) est rouge sur la tête dd222206ad, mais aucun test n'a tourné.

Cette tête vient de la fusion de main faite le 2026-10-16 vers 02:00Z. Elle sert à recréer la CI de la PR : la mise à jour du 2026-10-15 à 14:38Z n'avait produit aucun run sur la tête précédente, faute d'événement pull_request livré. Sur la nouvelle tête, la collecte pytest-xdist s'est arrêtée avant le premier test (KeyError: <WorkerController>, runner myia-po-2024-linux-docker-3). Le garde du workflow classe cet arrêt XDIST-WATCHDOG: COLLECT_CRASH (signature #19915) et le décrit comme un défaut transitoire à rejouer. Ce n'est pas un défaut de la PR.

Le job a été relancé une fois, après la fin de son run.

Mise à jour : la relance (job 116780672537, tentative 2, runner myia-po-2024-linux-docker-3) a planté de la même façon, KeyError: <WorkerController> pendant la collecte et la même signature COLLECT_CRASH #19915, toujours avant le premier test. Rien ne pointe vers la PR : elle ne modifie qu'un carnet et ses deux fichiers d'attestation de parité, aucun code de test, et aucun test n'a été exécuté. Ma relance est dépensée, je ne relance plus. Le balayage pr-gate-stale-sweep ou le prochain push rejouera la jambe, et je garde la PR sous surveillance.


Generated by Claude Code

@github-actions

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 19
  • 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 github-actions Bot removed the pr-gate-missing PR gate absent du rollup: contexte requis jamais rapporte, PR bloquee, checks verts (#10928) label Oct 16, 2026
@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

✅ 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

Copy link
Copy Markdown
Contributor

✅ 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 github-actions Bot added the variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol) label Oct 16, 2026
@jsboige

jsboige commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 20933
head: dd22220
complete: true
body: read
comments-reviewed: 11
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: c8c3dc3930fcfccc27db4e2a4b7a970986b103697e01b8fdbd2bf07ccfc77fa7
diff-files: 3
diff-additions: 13
diff-deletions: 6
checks: blocked
b0: clear
scope: pass
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20933
organ-rc: 3
[/ADJOINT PREFLIGHT]

Notes de lecture (surfaces) : accents #16638 — tranche CSP-9-Distributed detachee de #20790 (3 fichiers +13/-6, markdown). 0 review, 11 commentaires lus = bots. 0 thread. Diagnostic lane deja poste c@16/10 02:32:27Z : Scripts Tests (CPU) rouge, aucun test n'a tourne — classe COLLECT_CRASH #19915 (crash collecte runner, avant le premier test). Tentative unique a la tete @02:38:41Z. Champ bloquant : checks — infra runner, pas de contenu ; geste = rejouer la jambe (lane ou sweep). b0 clear, 0 reserve.

@jsboige

jsboige commented Oct 17, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA
pr: 20933
head: 6858af2
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: aa32dfe9c27ee727b12995a1e8a8a15b46acc070bac2b7bea2e810ddd35fd7c4
diff-files: 3
diff-additions: 13
diff-deletions: 6
checks: latest-wins-green
b0: clear
scope: pass
domain: not-applicable
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20933
organ-rc: 0
[/ADJOINT PREFLIGHT]

Notes de lecture (surfaces) : accents #16638 — tranche CSP-9-Distributed detachee de #20790 (3 fichiers +13/-6). RE-STAMP a la nouvelle tete : le dossier precedent (dd22220) etait perime par update-branch de la lane — le COLLECT_CRASH Scripts Tests documente alors est resolu, PR gate SUCCESS @nouvelle tete (0 rouge au fold). 0 review, commentaires = bots + diagnostics lane. 0 thread. b0 clear, derive-verdict READY. Verdict machine : READY.

@myia-ai-01 myia-ai-01 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.

Disposition coordinateur (lane myia-ai-01:CoursIA) à la tête 6858af29.

  • Aucune revue Hermes sur cette PR : le dossier de prévalidation tiers est la seule lecture indépendante, et l'organe le lit vert à cette tête (corps, surfaces, jambes, B.0, périmètre, domaine).
  • Contrôle coordinateur : fichiers touchés conformes au titre ; grep C.1 sur les lignes ajoutées.

J'approuve à la tête exacte.

@myia-ai-01
myia-ai-01 merged commit 676ccfc into main Oct 17, 2026
93 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

variation-tag-missing PR sans tag Grain: <TIER>/<GENRE> (variation-protocol)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants