rename(search,#19253): decoupe PR-b -- Frontieres-07..09 (re-executes) completent la Partie 5

[jsboige]

Grain: MED/notebook-python — lane myia-po-2027:CoursIA — prev: MED/readme #19471

Seconde moitié de la découpe de #19189 (dispatch coordinateur du 06/10 : seuil composite dépassé). PR pilée sur #19471 (base = feature/19253-part5a) : ses checks ne tirent qu'après retarget vers main au merge de la PR a — mécanique connue du dépôt (le filtre branches: [main] ignore les PRs à base non-main ; le retarget déclenche l'événement edited qui relance les gardes).

	PR a (#19471)	Cette PR (b)
Carnets	Frontieres-01 à 06 et 10 (7, markdown seul)	Frontieres-07, 08, 09 (3, cellules code changées)
Validation	aucune re-exécution due	re-exécution déjà faite sur la branche d'origine, preuve locale ci-dessous

See #19253 (carte validée) · See #17802 · See #16231 · remplace #19189 (découpe, moitié b).

Contenu

• git mv des 3 carnets : Hybrid/App-29-SALBP → Frontieres-07, App-30-OrbitalAssembly → Frontieres-08, App-31-RCPSP → Frontieres-09. Contenu final repris tel quel de feature/17802-research-descente (re-exécutés là-bas, approuvés par ai-01 le 05/10 21:26Z sur ce contenu). Similarités 54–71 % : les sources et sorties des cellules code changent (chemins de données Hybrid/data/ → ../data/, libellés de provenance), c'est le motif même de la découpe.
• Data : app29-salbp-audit, app30-orbital-assembly-audit, app31-rcpsp-max → Part5-Frontieres/data/. Trois CSV régénérés par l'exécution (difficulty_probe.csv, grid_runs.csv, temporal_regimes.csv) : git les voit D+A, le jeu de fichiers est identique à la branche. Zéro consommateur restant des anciens chemins (sweep repo-wide, 0 référence).
• Complétions des référents à l'état final de la carte : Part5-Frontieres/README.md (10 rangées + paragraphes d'origine + références 07–09), Search/README.md (paragraphe parité et arbre à l'énoncé final Frontieres-01..10), Applications/README.md (rangées App-29/30/31 retirées — conservées par la PR a en attente de celle-ci), docs/curriculum/ia-classique.md (10 rangées renommées), requirements.txt (cap pulp>=2.8.0,<4.0 : LpVariable.dicts retirée en 4.0, consommé par Search-09 et Frontieres-07), search_lean/README.md (liens Szpiro en .html).
• Réparations de navigation reportées ici : arête nav App-20 → App-21 restaurée, arête App-22 → App-23 restaurée (une ligne chacune), attestation twin_pairs.d correspondante.
• Défaut hérité corrigé : le lien Planners-8-Temporal du paragraphe Frontieres-09 était en .ipynb (cible dans la render-list) → .html.
• rename-ledger.tsv : 3 rangées, CRLF préservé. _quarto.yml régénéré par l'organe. baseline_nb_nav_chain.json régénéré par l'organe.

Preuve d'exécution (vérifiée localement à la tête 9c6ac07a — livrables propres repris tels quels ; la tête courante 159b9cdf est le merge du fix self-consistance de la PR-a, qui ne touche aucun livrable de cette tranche et restaure l'arête finale Frontieres-10 → Frontieres-09)

Carnet	Cellules code	execution_count nuls	Erreurs en sortie	Sans sortie
Frontieres-07	11	0	0	0
Frontieres-08	15	0	0	0
Frontieres-09	15	0	0	0

Guichets (cumul a+b vs origin/main, post-dernier-commit)

• check_notebook_nav_chain.py --check : OK, 0 NEW finding (383 connus sur la tête b).
• diff_readme_link_violations.py : NOUVELLES=0, CORRIGEES=15.
• check_prose_quantitative_claims.py --diff : OK, aucun compteur en prose ajouté.
• H.3 passé au commit (outputs intacts, aucune cellule vidée).

Après le merge de #19471

Retarget de cette PR vers main (gh pr edit --base main) : les checks tirent, puis dossier d'adjoint. Les 10 rangées de rename-ledger.tsv et la baseline seront alors identiques à ceux que portait #19189 — aucune perte de contenu : tout octet de feature/17802-research-descente vit dans a+b, à deux corrections de lien près (mermaid R défini, Planners-8/Szpiro en .html) et le bruit CRLF du ledger non propagé.

🤖 Generated with Claude Code

Merge PR-a 159b9cdf (fix self-consistance + restauration)

• Conflits résolus : ia-classique.md → version finale 10 rangées ; baseline_nb_nav_chain.json → régénérée sur l'arbre fusionné final ; arête prev de Frontieres-10 restaurée vers Frontieres-09 (l'interim → Frontieres-06 ne visait que l'autonomie de la tranche A).
• Garde locale à la tête : check-links rc=0, nav-chain rc=0.

[github-actions]

Base != main (advisory, #10918)

Cette PR ne livre pas sur main : son contenu attend le merge de feature/19253-part5a. 1 PR ouverte(s) de feature/19253-part5a vers main existe(nt) a cet instant -- c'est un stack legitime, le contenu est en vol. Verifier au moment du merge que la base est effectivement reliee a main.

Couverture CI perdue sur cette base (mesure, #16194)

35 workflow(s) se declencheraient si cette PR visait main, et ne se declenchent pas ici : leur filtre de branche cible les eteint, alors que leur filtre de chemins est satisfait par les fichiers de cette PR.

• always-on-guards.yml
• banner-guard.yml
• bare-cross-dir-load-gate.yml
• bios-companion-coverage.yml
• catalog-drift.yml
• cell-order-gate.yml
• consecutive-code-cells-advisory.yml
• enrich-quality-gate.yml
• markdown-claims-output-advisory.yml
• markdown-rendering-guard.yml
• mermaid-fill-color-advisory.yml
• notebook-cell-source-parses.yml
• ... et 23 autre(s)

Un check absent n'est pas un check vert. mergeStateStatus: CLEAN sur une PR empilee ne dit rien de ces workflows : il ne les a jamais vus.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #19472 (rename(search,#19253): decoupe PR-b -- Frontieres-07..09 (re-executes) completent la Partie 5) 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(search,#19269): Boyd & Vandenberghe 2004 -- Convex Optimisation reference #19282 partage : MyIA.AI.Notebooks/Search/README.md
• faible -- renum(ml,19386): 04-Vision 4.2c-k -> 4.4/4.5/4.6 (tranche unifiee, post-19366-merge) #19468 partage : _quarto.yml
• faible -- refactor(ml,#17799): ML.Net consolidation -- padding, suffixes, demotions, titres #19482 partage : MyIA.AI.Notebooks/Search/README.md
• fort -- refactor(gametheory,#16231): GT-03e Plan-deformation -> GT-23a Biens-Publics #19484 partage : _quarto.yml, docs/reference/rename-ledger.tsv, scripts/tests/baseline_nb_nav_chain.json (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
• fort -- rename(#16231): Percolation 01/02 canoniques + plan de croissance (#19494) #19495 partage : _quarto.yml, docs/reference/rename-ledger.tsv (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
• fort -- rename(tweety,#16231): PR-b -- suffixe Python/Lean et paire 11-Causal #19502 partage : MyIA.AI.Notebooks/Search/README.md, _quarto.yml, docs/reference/rename-ledger.tsv, scripts/tests/baseline_nb_nav_chain.json (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
• fort -- rename(kelly,#16231): suffixes kernel des compagnons + section Carnets suivants #19518 partage : _quarto.yml, docs/reference/rename-ledger.tsv (issues communes : Remise d'aplomb de la nomenclature des notebooks — suffixe noyau, sans-numero, profondeur d'accretion #16231)
• faible -- feat(notebook,#19494): Percolation-03b critique -- extensions L=128, L=256 (convergence asymptotique) #19548 partage : _quarto.yml
• faible -- rename(#17545): descente KNOTS en dossier — 3 carnets + lake + workflows (4e sous-série) #19572 partage : _quarto.yml, docs/reference/rename-ledger.tsv
• faible -- feat(ml,#19547): 4 notebooks prerequis data science (1.1 Python, 1.4 Viz, 1.5 Exploration, 1.6 Stats) -- Palmer Penguins vendored #19579 partage : _quarto.yml
• faible -- feat(genai,#19387): 4.6c dazzle garment -- Qwen Image Edit 2509, attribution 4 conditions (C renverse la lecture) #19662 partage : _quarto.yml
• faible -- feat(lean,#19644): Lean-17 Conway-Bridge-to-Knots - portail escalier #19669 partage : _quarto.yml
• faible -- renum(complexity,#17063): Complexity-06 -> 06b (Aaronson-Gottesman) selon curriculum #19691 partage : _quarto.yml

[github-actions]

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

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 9/9 notebooks passed (certified reproducible)

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

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

[github-actions]

PR gate absent du rollup (advisory, #10928)

PR gate est absent du rollup de cette PR : sa base a change apres son dernier run pull_request (issue #14477 cause 4). Le retarget emet l'action edited, que pr-gate.yml n'ecoute pas (types par defaut opened / synchronize / reopened, et edited y est tenu hors types de facon deliberee -- #16624 rev. ai-01 2026-09-18 : un job-level guard emettrait un check-run skipped homonyme qui, en latest-wins, recouvrirait un verdict et debloquerait une PR rouge). Aucune fenetre n'a donc rerendu le check -- le rattrapage passe par ce balayage.

• Rattrapage automatique : ce balayage dispatch desormais une agregation pour la tete (gh workflow run pr-gate-rerun.yml -f pr_number=... -f head_sha=...) -- un workflow_dispatch est l'exception documentee a l'anti-recursion GITHUB_TOKEN, et le verdict POSTE sur la tete est calcule par le meme pr_gate.py que le gate reel (jamais asserte).
• Remede manuel (harnais indisponible) : gh pr close N && gh pr reopen N depuis un token UTILISATEUR -- reopened EST un type de declenchement par defaut ; mesure sur feat(coordination,#16563): issue-debt ledger as a local artifact #16574 (2026-09-18, issue pr-gate: une PR de stack retargetee sur main ne declenche JAMAIS le check requis (BLOCKED a vie, zero rouge) #16624) : tete inchangee, reviewDecision conserve, DWELL non reset, run du gate parti dans la minute. NB : le meme geste fait par un token bot (GITHUB_TOKEN) est INERT -- l'anti-recursion GitHub ne cree aucun run.
• Remede lourd (valide mais cher) : commit vide a arbre identique (declenche un synchronize sans toucher au contenu) -- la nouvelle tete RESET le DWELL et invalide un APPROVED exact-head (re-review due, pr-gate: une PR de stack retargetee sur main ne declenche JAMAIS le check requis (BLOCKED a vie, zero rouge) #16624) : ne le preferer que si le close/reopen utilisateur est impossible. Mesure d'efficacite sur feat(notebook): SC-04 C# twin — frontiere 4 alternatives mesuree, pas estimee (#14432) #14441 : 7 runs -> 31 runs, le PR gate et Secret Scan sont re-dispatchs.
  TREE=$(git rev-parse HEAD^{tree}); PARENT=$(git rev-parse HEAD)
  NEW=$(git commit-tree "$TREE" -p "$PARENT" -m "chore: wake pull_request workflows after base retarget")
  git push origin "$NEW:"

Cause mesuree : base_ref_changed=2026-10-06T22:24:16Z, dernier run PR gate=aucun

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2027:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-10-06) :

• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=3 cap=2)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

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

[jsboige]

[REPAIR] Rebase sur main effectué — lane myia-po-2027:CoursIA

Rebase de feature/19253-part5b (tête a324b5737a50) — la PR-a de la séquence étant déjà mergée, son commit de renommage a été skippé (intégralement upstream : cibles Frontieres-01..06+10 présentes sur main, sources App-2x/3x disparues). Résolutions au replay :

• ia-classique.md : rangées 48-50 passées à Frontieres-07/08/09 (delta propre de la PR-b) ; le commit empilé « PR-a self-consistency » a été résolu HEAD (son delta est déjà sur main via la merge de PR-a) ;
• Frontieres-08 : conflit sur le bloc « Pour aller plus loin » résolu HEAD (le lien croisé App-24→Frontieres-03 de 3e007c601a22 y est déjà incorporé) ;
• baseline nav-chain : les suppressions interim du commit PR-a ont été rejouées, puis a324b5737a50 restaure les orphelins Frontieres-08/09 (portés par la branche en état final — Frontieres-07 a des arêtes de nav, 08/09 pas encore).

Vérifications locales : check_notebook_nav_chain.py --check → 0 NEW finding (383 connus) · check_prose_quantitative_claims.py --diff → OK · 0 marqueur de conflit, notebooks JSON valides.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19472
head: a324b57
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 9a4b7bb31eb48a214323202b45102178717c4484d0b7d85196266af707fce7d7
diff-files: 36
diff-additions: 2960
diff-deletions: 2980
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 19472
organ-rc: 3
[/ADJOINT PREFLIGHT]

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

Notebook PR Validation: PASS

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

[jsboige]

Conflit docs/reference/rename-ledger.tsv issu du merge de #19360 resolu en union : 2 lignes Complexity de main + mes 3 lignes Frontieres-07/08/09. Nouvelle tete 74b93b5f — merge de resolution, aucun changement de contenu au-dela du ledger (baseline_nb_nav_chain.json auto-fusionne proprement). Verifications : vs origin/main = uniquement mes 3 lignes Frontieres ; vs a324b57 = uniquement les 2 lignes Complexity ; 0 ligne retiree.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19472
head: 74b93b5
complete: true
body: read
comments-reviewed: 14
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 8417a3b095eb09773cf2eb2980007080870b7b6a1d561f27697e2366bbc2381a
diff-files: 36
diff-additions: 2961
diff-deletions: 2980
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 19472
organ-rc: 0
[/ADJOINT PREFLIGHT]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 19472
head: a4ca918
complete: true
body: read
comments-reviewed: 15
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 86764de49f1580a10e1167d2d1b5e0a479d7e66bab2c133217c2c7ccd33e84c5
diff-files: 36
diff-additions: 2959
diff-deletions: 2980
checks: latest-wins-green
b0: clear
scope: fail
domain: not-applicable
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19472
organ-rc: 3
[/ADJOINT PREFLIGHT]