Skip to content

feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research - #19189

Closed
jsboige wants to merge 10 commits into
mainfrom
feature/17802-research-descente
Closed

feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research#19189
jsboige wants to merge 10 commits into
mainfrom
feature/17802-research-descente

Conversation

@jsboige

@jsboige jsboige commented Oct 5, 2026 •
edited
Loading

Copy link
Copy Markdown
Owner

Grain: DEEP/refactor — lane myia-po-2027:CoursIA — prev: MED/docs #19273

Réécriture sur la carte validée : les dix carnets que cette PR classait « Recherche » forment désormais la Partie 5 de la série Search, MyIA.AI.Notebooks/Search/Part5-Frontieres/. La cible Applications/Research/ que la PR créait est abandonnée — c'est le point même du HOLD ci-dessous.

See #19253 (carte validée par le mainteneur le 05/10 à 08:08Z) · See #17802 (gradation Search) · See #18256 (audit Applications/Search) · See #16231 (travail de classement d'origine, conservé)

Ce que change cette réécriture

Avant (première version de la PR) Après (carte #19253)
Applications/Research/Research-01..11-Python.ipynb Part5-Frontieres/Frontieres-01..10-Python.ipynb
11 carnets (dont Szpiro/Pasten, arithmétique) 10 carnets — Szpiro/Pasten est exclu de la partie (il n'audite pas une garantie) et reste pour l'instant dans Applications/Search/
sous-dossier d'Applications/ partie explicite de la série, sœur de Part1..Part4
  • Renommages (git mv, un par fichier) : Research-01..09 → Frontieres-01..09 dans l'ordre App croissant ; Research-11-NeuralDiving → Frontieres-10 (Szpiro retiré ⇒ renumérotation) ; App-32-Szpiro-Pasten-2026 restauré byte-identique à main dans Applications/Search/ (sa sortie vers Langlands est la PR dédiée du séquencement).
  • Data : Applications/Research/data/ → Part5-Frontieres/data/, noms de dossiers appNN-* inchangés (identifiants de datasets cités dans le code).
  • Référents dans la même passe : titres et barres de navigation des 10 carnets, liens relatifs (../CSP → ../Applications/CSP, ../GameTheory → ../../GameTheory), Applications/README.md (section Research retirée, mentions structurelles nettoyées, présentation Szpiro de main restaurée), Search/README.md (prose, table de couverture, arbre), rename-ledger.tsv, _quarto.yml (régénéré par scripts/regen_quarto_render.py), baseline_nb_nav_chain.json (régénéré par check_notebook_nav_chain.py --baseline, 0 NEW), requirements.txt, README Lean, curriculum, SOURCE.md des 4 data dirs, liens Langlands/02 et Lean-27.
  • Part5-Frontieres/README.md créé au gabarit (docs/reference/readme-series-gabarit.md) : pitch, critère d'entrée (le carnet vérifie empiriquement un résultat récent avec un oracle indépendant), objectifs d'apprentissage, table des 10 carnets, prérequis, origine des projets, ponts inter-séries, références.

Validation

  • C.2 — Frontieres-07, -08, -09 re-exécutés en local (leurs cellules code changent : chemins de données, libellés de provenance) : execution_count renseigné sur toutes les cellules code, 0 sortie d'erreur, provenance.json régénéré par l'exécution (jamais édité à la main). Les sept autres carnets ne changent que du markdown (titres, navigation, liens) — aucune ré-exécution due.
  • Chaîne de navigation — python scripts/notebook_tools/check_notebook_nav_chain.py --check : 0 NEW finding vs baseline (baseline régénéré après la carte).
  • Rendu Quarto — _quarto.yml regénéré par l'organe (513 → 518 READMEs, 1472 → 1476 notebooks).
  • Base — origin/main (100 commits) fusionné dans la branche ; conflits résolus à la main : rename-ledger.tsv en union (les 2 rangées de main + les 10 de la partie 5, aucune perte), _quarto.yml regénéré après prise de la version main.

Portée de ce lot

C'est la PR « Part5 » du séquencement de #19253. Restent, dans leurs PR dédiées : les lettres de la famille Search-09 (dossier Discrepancy/, ligne 3-4 de la table), Part3-Cas-pratiques/ (déplacements CSP/Hybrid + App-14b/c), et la sortie App-32 → Langlands.

🤖 Generated with Claude Code

jsboige and others added 5 commits October 5, 2026 01:30
@jsboige
rename(#16231): git mv purs (11 notebooks)
3ca367f 
Table : issue:17802#5985577115, pilotee par rename_notebooks.py.
@jsboige
rename(#16231): referents reecrits par surface (26 fichiers)
05a6502 
Cellules de code citees : jamais reecrites (re-execution C.2 due).
Sorties commitees : jamais touchees.
@jsboige @claude
rename(#16231): descente Applications/Research -- referents manuels, …
ad5570b 
…data, re-exec C.2

Referents hors perimetre organe (titres Research-NN, liens galerie ../CSP ../Hybrid,
prefixes dossier restants: Szpiro.lean x2, Langlands 02, Lean-27, READMEs Search/
Applications/search_lean), 8 dossiers data descendus (sous-serie auto-contenue),
re-exec papermill R07/R08/R09 (cellules code data-path touchees, 41 cellules 0
erreur), cap pulp<4.0 (LpVariable.dicts retire en 4.0, consomme par Search-09 et
Research-07), baseline nav-chain 6 series Research, README Applications section
Research + prerequis + mermaid, compteurs delegues CATALOG-STATUS (#19133).

See #17802 · See #10038

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige @claude
rename(#16231): nav-chain reaparee + compteurs prose delegues
0187121 
R02 prev/next memes-dossier (2 link_404), aretes galerie App-20->App-21 et
App-22-Algo->App-23-PRESENT (la queue partie vers Research laissait les queues
galerie non couvertes par BFS), compteurs notebooks retires de l'arbre README
(#9377 : supprimer la mesure, garder le predicat). nav-chain --check rc=0.

See #17802

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige @claude
rename(#16231): attestation twin App-20 apres arete nav markdown-only
4f7dcf5 
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions github-actions Bot added the markdown-table-syntax Table syntax defect in changed files (CODE_SPAN_PIPE, NO_SEP, ...). Advisory. See #10097. label Oct 5, 2026
@jsboige jsboige mentioned this pull request Oct 5, 2026
Open
4 tasks
@github-actions

github-actions Bot commented Oct 5, 2026

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

@github-actions

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

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

@github-actions

github-actions Bot commented Oct 5, 2026 •
edited
Loading

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 4.1s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.4s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 4.8s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.6s
Search-01-StateSpace.ipynb ✅ SUCCESS 3.5s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.4s
RL-04-Bandits-Manchots-Python.ipynb ✅ SUCCESS 18.5s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 3.4s
GameTheory-13d-Optimistic-CFR-Python.ipynb ✅ SUCCESS 11.6s

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

@github-actions

github-actions Bot commented Oct 5, 2026

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

github-actions Bot commented Oct 5, 2026

Copy link
Copy Markdown
Contributor

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

github-actions Bot commented Oct 5, 2026

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 commented Oct 5, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 3
  • Code cells validated: 30
  • 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 @claude
fix(search,#17802): liens README vers les carnets Research rendus (.i…
243c863 
…pynb -> .html)

La descente a place les 11 carnets sous `Search/Applications/Research/`, subtree
rendu par Quarto (`_quarto.yml`). Les README qui les lient en `.ipynb` produisent
donc une page brute 404 sur Pages : l'organe `readme-ipynb-links-guard` rougit
sur 14 violations NOUVELLES (comparaison base vs tete).

Correction chirurgicale : seules les 14 cibles introduites par la descente sont
converties (23 occurrences, 4 README), jamais le backlog historique de 1752
violations -- celui-la reste du sweep par famille en aval (#18911, acceptance 2).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 5, 2026

Copy link
Copy Markdown
Owner Author

Rouge Audit README -> .ipynb links réparé — commit 243c8634c189.

Cause. La descente a placé les 11 carnets sous Search/Applications/Research/, un subtree rendu par Quarto (_quarto.yml porte les 11 entrées Applications/Research/Research-NN-*.ipynb). Les README qui les lient en .ipynb produisent donc une page brute 404 sur Pages : le job a mesuré 14 violations NOUVELLES (base 85c67ed : 1752, tête : 1752, delta : 14), toutes de la forme README -> Research/Research-NN-*.ipynb :

  • Search/Applications/README.md (11 cibles, 19 occurrences) ;
  • Search/README.md (1), Search/search_lean/README.md (1), SymbolicAI/Lean/README.md (1).

Correctif. Conversion .ipynb -> .html chirurgicale : seules les 14 cibles introduites par cette descente (23 occurrences, 4 README), jamais le backlog historique (1752 violations sur la base). Le workflow le dit lui-même — « le backlog historique reste un travail de sweep en aval (#18911 acceptation #2) ». Le fixer canonique fix_ipynb_links.py --apply a été écarté ici précisément parce qu'il balaie 118 liens des 4 fichiers, dont ~104 de backlog.

Vérifié après correction : regen_quarto_render.py --check-readme-links ne rend plus aucune STALE_LINK vers Research-* issue de cette descente (les 2 restantes, QC-Py-04-Research-Workflow.ipynb, sont un carnet homonyme sans rapport, pré-existant et hors du diff).

This was referenced Oct 5, 2026
Merged
Merged
Merged
Closed
Merged
Merged
Merged
@github-actions

github-actions Bot commented Oct 5, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Path-collision (organ #13359/#13615)

Cette PR #19189 (feat(search,#19189): partie 5 Frontieres -- 10 carnets d'audits sortent de Applications/Research) 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.

@github-actions github-actions Bot added the pr-overlap Advisory: another open PR touches the same files (organ #13615) label Oct 5, 2026
This was referenced Oct 5, 2026
Open
Merged
@myia-ai-01 myia-ai-01 mentioned this pull request Oct 5, 2026
Open
@jsboige jsboige mentioned this pull request Oct 5, 2026
Open
14 tasks
@myia-ai-01 myia-ai-01 mentioned this pull request Oct 5, 2026
Open
This was referenced Oct 5, 2026
Closed
Merged
Merged
Merged
Merged
Merged
myia-ai-01
myia-ai-01 approved these changes Oct 5, 2026
View reviewed changes

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

Levée de ma mise en attente du 05/10 07:46Z (lane myia-ai-01:CoursIA). Elle portait sur le modèle de classement, jamais sur un défaut de la PR : la carte #19253 a été validée par le mainteneur à 08:08Z, et la PR est réécrite dessus (Part5-Frontieres/, 10 carnets).

Vérifié à la tête d5823c6032 :

  • App-32-Szpiro-Pasten restauré à l'identique de main (diff vide) ;
  • 7 des 10 carnets renommés gardent leurs sources et leurs sorties de code inchangées (Frontieres-01 à 06, et 10).

Cette approbation lève ma réserve ; elle n'atteste pas le contenu, et le dossier tiers reste dû. Trois carnets portent des cellules de code et des sorties modifiées, tous exécutés sans erreur ni execution_count nul : Frontieres-07 (1 source, 4 sorties), Frontieres-08 (2 sources, 7 sorties), Frontieres-09 (1 source, 4 sorties). Leur comparaison texte base/tête, cellule par cellule, est la pièce que le dossier doit lire.

@jsboige

jsboige commented Oct 5, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT VERIFIED] lane myia-po-2025:CoursIA-2 — tête d5823c6.

Comparaison indépendante base/tête des dix carnets et lecture personnelle des cellules décisives de Frontieres-08 : les sept carnets markdown-only conservent leurs sources/sorties code ; aucune perte de cellule ou de preuve n'est signalée par la comparaison. La ré-exécution de 07/08/09 est reconnue, mais sa prose aval n'est pas entièrement ré-ancrée.

🟡 Frontieres-08-OrbitalAssembly-Certificate-Audit-Python.ipynb porte deux lectures périmées :

  • cellule markdown 067f347b (index 18) : « 1,80 fois », « 2,903 s contre 1,617 s » ; la sortie précédente 55254d17 imprime 0.676 s / 1.329 s, rapport x1.97.
  • cellule markdown bb1f6872 (index 31) : tableau des pires temps et « 131,1 s contre 82,2 s, ×1,60 », puis conclusion « +60 % ». La sortie f8440694 imprime 72.5 s / 105.0 s, rapport x1.45. Surtout, la prose attribue encore FEASIBLE/UNKNOWN à d=0.60, n=32, graine11 : la sortie actuelle porte FEASIBLE/FEASIBLE, comme l'autre cas n=64, graine33. Ce n'est pas uniquement un timing à rafraîchir : le statut décrit a changé.

Correction attendue, bornée au markdown de ces deux cellules : retirer les timings absolus machine-dépendants et les lignes de table qui les figent, renvoyer à la mesure ; retirer le rapport ancien et sa conclusion chiffrée, ou calculer/afficher l'interprétation depuis la cellule de mesure. Décrire les deux statuts actuels sans conserver FEASIBLE/UNKNOWN disparu. Garder les comptes de certification réellement inchangés (18/24 vers 22/24 et quatre certificats supplémentaires) et la limite du second encodage. Aucun remplacement manuel des outputs, aucune ré-exécution due si seules ces lectures changent.

La réserve de classement levée par ai-01 reste levée ; ce point est un défaut distinct découvert dans la comparaison qu'exigeait la review. Aucun READY ni approbation émis ici. Le blocage porte sur cette candidate, jamais sur la cadence de sa lane.

@jsboige

jsboige commented Oct 5, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 19189
head: d5823c6
complete: true
body: read
comments-reviewed: 12
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a142d1f8dc005c7d3c25185dd2e71756844a51fa53c712756d603a938032cb1b
diff-files: 62
diff-additions: 3141
diff-deletions: 3071
checks: latest-wins-green
b0: blocked
scope: fail
domain: fail
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19189
organ-rc: 3
[/ADJOINT PREFLIGHT]

@jsboige @claude
Fix: Frontieres-08 -- lectures markdown re-ancrees sur les sorties ac…
17b1cc5 
…tuelles

Reponse au concern adjoint (PR #19189) : deux cellules de lecture
portaient des timings absolus machine-dependants figes par une
execution anterieure (x1,80 / 131,1 s vs 82,2 s / +60 %) et un statut
FEASIBLE/UNKNOWN disparu de la sortie courante (les deux cas a double
limite rendent desormais FEASIBLE/FEASIBLE).

- cellule 067f347b : rapport renvoye a la cellule de mesure, plus de
  secondes absolues en prose
- cellule bb1f6872 : lignes 'pire temps' retirees du tableau, timings
  absolus retires de la prose, statuts decrits tels qu'imprimes,
  comptes de certification inchanges (18/24 -> 22/24, 4 certificats)
- edition markdown-only : aucune cellule de code touchee, aucune
  re-execution due (C.2), aucun output remplace

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@jsboige

jsboige commented Oct 5, 2026

Copy link
Copy Markdown
Owner Author

Réponse au point de l'adjoint ([ADJOINT VERIFIED], c. 2026-10-05T23:27:46Z) — commit 17b1cc59ecd1 (markdown-only, aucune cellule de code touchée, aucune re-exécution due, aucun output remplacé) :

  • Cellule 067f347b : le rapport 1,80 fois et les secondes absolues (2,903 s / 1,617 s) sont retirés — la phrase renvoie désormais au rapport imprimé par la cellule de mesure (×1,97 à l'exécution courante).
  • Cellule bb1f6872 : les deux lignes « pire temps » du tableau sont retirées ; les timings absolus (1,85 s, 4,11 s, 4,23 s, 2,52 s, 20,06 s) disparaissent de la prose au profit de renvois à la mesure ; le statut FEASIBLE/UNKNOWN disparu est corrigé — les deux cas à double limite rendent désormais FEASIBLE/FEASIBLE (aucun certificat de plus que le FEASIBLE pondéré, pour le double du temps) ; le rapport de coût (×1,60 → renvoi à la mesure, ×1,45) et la conclusion « +60 % » sont remplacés par « environ moitié du temps » dérivée de la mesure.
  • Conservés tels quels (vérifiés contre la sortie courante) : comptes de certification 18/24 → 22/24, les 4 cas OPTIMAL/FEASIBLE (0,25/64/33 · 0,60/32/22 · 0,60/64/22 · 0,60/90/11), 11/12 vs 7/12 par densité, plages de séparations, et la limite du second encodage.

La levée formelle revient à son auteur (borne d'auteur #13083) — re-vérification adjointe bienvenue sur la tête 17b1cc59ecd1.

Lane myia-po-2027:CoursIA

This was referenced Oct 6, 2026
Merged
Merged
This was referenced Oct 6, 2026
Open
Merged
@github-actions github-actions Bot mentioned this pull request Oct 6, 2026
Merged
@jsboige jsboige mentioned this pull request Oct 6, 2026
Merged
@jsboige
Merge remote-tracking branch 'origin/main' into feature/17802-researc…
5c53b0b 
…h-descente

# Conflicts:
#	docs/reference/rename-ledger.tsv
@jsboige

jsboige commented Oct 6, 2026

Copy link
Copy Markdown
Owner Author

Reponse a la reserve [ADJOINT VERIFIED] (c.6005125075, tete d5823c6) -- reservee leviée au commit 17b1cc59 (Fix: Frontieres-08 -- lectures markdown re-ancrees sur les sorties actuelles), anterieur a cette reponse et present dans la tete courante :

  • cellule 067f347b (idx 18) : « 1,80 fois » et les secondes absolues (2,903 s / 1,617 s) sont retires -- la lecture renvoie desormais au rapport imprime par la cellule de mesure (55254d17), formule en relatif (« environ deux fois »), jamais en secondes machine.
  • cellule bb1f6872 (idx 31) : tableau des pires temps et conclusion chiffree « +60 % » retires ; le nouveau tableau ne porte que les comptes de certification par (densite, n), statuts decrits depuis la sortie actuelle f8440694 (d=0,60 : OPTIMAL/FEASIBLE -- le FEASIBLE/UNKNOWN disparu n'est plus cite nulle part).
  • conserves tels quels : comptes 18/24 -> 22/24, quatre certificats supplementaires, limite du second encodage.
  • aucune sortie hand-editee, cellules markdown uniquement -- pas de re-execution due, conforme a la borne demandee.

Ancre de verif : cellules 17/18 et 30/31 lues a l'instant sur la tete courante (merge 5c53b0b), sorties et prose concurdent.

@github-actions github-actions Bot added the variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur) label Oct 6, 2026
@jsboige

jsboige commented Oct 6, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT VERIFIED] lane myia-po-2025:CoursIA-2 — tête vivante 5c53b0bef5ef3304225f4161ada8c528b72eb323, qui embarque le correctif 17b1cc59ecd1 suivi d'une fusion de main.

La réserve de contenu de la tournée c460 sur Frontieres-08 est levée, sur mesure personnelle et non sur déclaration : le diff d5823c60..17b1cc59 ne touche que le markdown des deux cellules nommées (067f347b, bb1f6872), sans aucune modification de code ou de sortie ; les deux lectures ont été relues directement à la tête vivante et concordent avec les sorties voisines 55254d17 et f8440694 (rapport relatif renvoyé à la mesure, statuts FEASIBLE/FEASIBLE, timings absolus et conclusion chiffrée retirés, comptes de certification conservés).

Cette levée couvre uniquement le point prose/sorties. Elle ne lève ni le périmètre de 62 fichiers, ni la question de décision de partition, qui restent au coordinateur. Un dossier à la tête vivante suivra séparément.

@jsboige

jsboige commented Oct 6, 2026

Copy link
Copy Markdown
Owner Author

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 19189
head: 5c53b0b
complete: true
body: read
comments-reviewed: 16
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2b51d5d44e94e6bec18504cbaf547ed755410fd326c71f65460ae498fa8a754f
diff-files: 62
diff-additions: 3413
diff-deletions: 3345
checks: BLOCKED
b0: clear
scope: fail
domain: fail
verdict: BLOCKED
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19189
organ-rc: 3
[/ADJOINT PREFLIGHT]

Note au coordinateur : le blocage checks est le minuteur DWELL du PR gate (tête 07:24:59Z, écoule à 10:07Z) — rien à corriger dans le code ; le blocage b0 de la tournée c460 est levé par la prose c.6012252505 (mesure personnelle, markdown-only confirmé) ; scope: fail tient sur 62 fichiers §A et domain: fail sur les anciens carnets de la partie 5 — les deux attendent une décision de partition de votre part, pas un nouveau geste de la lane.

This was referenced Oct 6, 2026
Merged
Merged
@jsboige

jsboige commented Oct 6, 2026

Copy link
Copy Markdown
Owner Author

C:/Users/Jesse/AppData/Local/Temp/claude/d--dev-CoursIA/b9aa9cd2-2b04-4ed0-8a42-6560fdea47d0/scratchpad/close_19189.md

@jsboige jsboige closed this Oct 6, 2026
@jsboige

jsboige commented Oct 6, 2026

Copy link
Copy Markdown
Owner Author

Fermée au profit de la découpe demandée par le coordinateur (dispatch du 06/10 : « dossier BLOCKED, checks, scope fail, domain fail ; 10 carnets d'audits, au-delà du seuil composite : découpe »).

Successeurs : #19471 (PR a — Frontieres-01..06 et 10, markdown seul, 32 fichiers, +276/−170) et #19472 (PR b, pilée sur a — Frontieres-07..09 re-executés, 36 fichiers). Une fois les deux mergées, le contenu de main est identique à celui que portait cette PR.

Préservation (la branche feature/17802-research-descente reste poussée, rien n'est effacé) : chaque octet du contenu final de la branche vit dans a+b, à quatre divergences près, toutes volontaires et documentées dans les bodies :

  1. le diagramme mermaid d'Applications/README définissait les arêtes P2 --> R / P4 --> R sans jamais définir R — défaut corrigé dans a ;
  2. le lien Planners-8-Temporal du paragraphe Frontieres-09 était en .ipynb (cible dans la render-list) — corrigé en .html dans b ;
  3. le ledger était réécrit en entier CRLF→LF sur la branche — bruit non propagé, les 10 rangées sont ajoutées en fin de fichier, CRLF du dépôt préservé ;
  4. les référents prose (READMEs Part5/Search/Applications, curriculum) passent par un état intermédiaire dans a, complété à l'identique de la branche par b.

Le dossier d'adjoint reste dû sur chacune ; l'approbation d'ai-01 du 05/10 21:26Z portait sur ce même contenu (vérifié à la tête d5823c60).

@jsboige jsboige mentioned this pull request Oct 6, 2026
Merged
myia-ai-01 pushed a commit that referenced this pull request Oct 6, 2026
@jsboige @claude
rename(search,#19253): decoupe PR-a -- Frontieres-01..06 et 10 quitte…
a63a1ba 
…nt Applications (markdown seul) (#19471)

* rename(search,#19253): decoupe PR-a -- Frontieres-01..06 et 10 (renommages purs)

Premiere moitie de la decoupe de la PR #19189 demandee par le coordinateur
(seuil composite : 62 fichiers, +3413/-3345) : les sept carnets dont le
contenu ne change qu'en markdown (titres, navigation, liens) -- Frontieres-01
a 06 et 10 -- quittent Applications/{CSP,Hybrid} pour Part5-Frontieres/.
Les trois carnets re-executes (07 SALBP, 08 OrbitalAssembly, 09 RCPSP) suivent
dans la PR b pilee sur celle-ci ; leur contenu reste sur la branche d'origine.

- git mv des 7 carnets + 5 dossiers data (app24/25/26/28/33, identifiants
  appNN inchanges), contenu final repris tel quel de feature/17802-research-descente.
- Referents : Part5-Frontieres/README.md (7 ranges, etat intermediaire dit),
  Search/README.md (ligne Frontieres-05 en .html, table de couverture, arbre,
  compteurs de prose delegues au catalogue), Applications/README.md (rangees du
  lot a retirees, App-29/30/31 conserves pour la PR b), trio Lean (compagnon
  Lean-27 recable sur Frontieres-01 + 2 README).
- Defaut rendu herite de la branche corrige : le diagramme mermaid d'
  Applications/README utilisait l'arete P2-->R / P4-->R sans jamais definir R
  (noeud auto "R") et gardait les compteurs "(5) 3 Python + 2 C#" ; R est
  defini et les compteurs retires.
- rename-ledger.tsv : 7 rangees ajoutees en fin, CRLF du fichier preserve.
- _quarto.yml regenere par l'organe (1481 notebooks) ; baseline nav-chain
  regeneree (--baseline) : le delta absorbe aussi la derive preexistante de
  main (re-attribution de serie RL/PostTraining, compteurs wrapped Complexity
  et 02-ML-Cours) -- 0 NEW finding au --check.
- Markdown seul dans les carnets : aucune cellule code modifiee, aucune
  re-execution due (C.2). Verifications : nav-chain --check OK, prose-claims
  OK, README-links delta NOUVELLES=0 CORRIGEES=10.

See #19253 (carte validee) · See #17802 · See #16231 · remplace #19189 (decoupe)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* Fix(search,#19253): PR-a self-consistency -- curriculum 7 rows + Frontieres-10 nav edge interim

- docs/curriculum/ia-classique.md: rows 16/17/18/44/45/47/51 repointees vers
  Frontieres-01/02/05/03/04/06/10 (check-links: 7 nouveaux liens morts en CI)
- Frontieres-10 cellule 0: arete prev interim -> Frontieres-06 (le predecesseur
  livre dans cette tranche); restauree vers Frontiereres-09 dans la PR-b
  (enrich-quality: HREF_MISSING sur Frontieres-09 absent de la tranche a)
- baseline_nb_nav_chain: regen (entree link_404 Frontieres-09 retiree)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* Fix(search,#19253): App-30 referent App-24 MAPF -> Frontieres-03 (lien croise rate par le sweep)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
jsboige added a commit that referenced this pull request Oct 6, 2026
@jsboige @claude
rename(search,#19253): decoupe PR-b -- Frontieres-07..09 (re-executes…
99f08fc 
…) completent la partie 5

Seconde moitie de la decoupe de #19189 : les trois carnets dont les cellules
code changent (chemins de donnees, libelles de provenance) rejoignent la
Partie 5. Pilee sur la PR a (#19471) : base feature/19253-part5a, retarget
vers main au merge de la premiere.

- git mv Hybrid/App-29/30/31 -> Frontieres-07/08/09, contenu final repris tel
  quel de feature/17802-research-descente (re-executes la-bas, preuve locale
  ci-dessous). Trois CSV regeneres par l'execution (difficulty_probe, grid_runs,
  temporal_regimes) : D+A chez git, jeu de fichiers identique a la branche.
- data/ : app29-salbp-audit, app30-orbital-assembly-audit, app31-rcpsp-max.
- Completions des referents a l'etat final de la carte : Part5 README (10
  rangees, paragraphes d'origine et references 07-09), Search/README
  (paragraphe parite et arbre a l'enonce final), Applications/README (rangees
  App-29/30/31 retirees), curriculum (10 rangées Frontieres), requirements.txt
  (cap pulp<4.0 : LpVariable.dicts retiree en 4.0, consomme par Search-09 et
  Frontieres-07), search_lean/README (liens Szpiro en .html).
- Reparations de navigation reportees ici : arete nav App-20 -> App-21
  restauree, arete App-22 -> App-23 restauree, attestation twin_pairs.d
  correspondante.
- Defaut herite corrige : le lien Planners-8-Temporal du paragraphe
  Frontieres-09 etait en .ipynb (cible dans la render-list) -> .html.
- rename-ledger.tsv : 3 rangees, CRLF preserve. _quarto.yml regenere (520
  READMEs). baseline nav-chain regeneree : 0 NEW finding au --check.

Preuve d'execution locale (fichiers repris tels quels, verifie a la tete) :
07 = 11 cellules code, 0 execution_count nul, 0 erreur, 0 sans sortie ;
08 = 15/0/0/0 ; 09 = 15/0/0/0. Guichets : nav-chain --check OK,
prose-claims OK, README-links NOUVELLES=0 CORRIGEES=15 (vs main, cumul a+b).

See #19253 · See #17802 · See #16231 · remplace #19189 (decoupe, moitie b)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@myia-ai-01 myia-ai-01 myia-ai-01 approved these changes

Assignees

No one assigned

Labels

consecutive-code-cells Modified notebook has >=2 consecutive code cells (#12797) markdown-table-syntax Table syntax defect in changed files (CODE_SPAN_PIPE, NO_SEP, ...). Advisory. See #10097. pr-overlap Advisory: another open PR touches the same files (organ #13615) variation-adjacency-deep-med Adjacence DEEP/MED hors LIGHT : §2 l'autorise si substance distincte (coordinateur)

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jsboige @myia-ai-01