Repository navigation
fix(nav): relier les 2 orphelins drift main (ICT-MUH, Lean-12c) — check full-repo 3 NEW -> 1 NEW - #18276
Conversation
Suite directe de #18268 (PR #18270) : le check full-repo check_notebook_nav_chain.py --check etait ROUGE sur main avec 3 findings NEW vs baseline. Deux des trois sont repares ici, le troisieme (SL-13 unreachable) est deja gueri par la PR #18218 en review (lien entrant SL-12b -> SL-13 dans son patch) -- le laisser a sa PR evite la collision. - ICT-16-MDLTwoPartCode : ligne Navigation ajoutee (cell0) pointant le temoin transverse ICT-MUH, topologie mutualisee declaree par ICT-MUH lui-meme ("Voisin MDL : ICT-16" dans son en-tete) - Lean-12b-Lean-Sensitivity-Theorem : ligne Navigation ajoutee en fin de cell0 avec Suivant -> Lean-12c, predecesseur que Lean-12c declare lui-meme dans son en-tete READMEs ecartes volontairement : le README Lean est reecrit par la tranche rename #18199 (hunks adjacents au tableau) et les READMEs serie sont touches par la PR catalogue #18202 -- le fix in-notebook evite les deux collisions. check_notebook_nav_chain.py --check : 3 NEW -> 1 NEW (SL-13 seul, hors diff, non imputable). Gate simulee --diff-files : exit 0. check_notebook_navlinks.py : 0 lien casse sur les 2 notebooks. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Trivial-diff advisory (#15740, non bloquant). |
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Golden-Set Execution (H.7 P3)✅ 8/8 notebooks passed (certified reproducible)
Pinned lockfile: |
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Les 5 rouges de cette tete ne viennent pas de ce diff — arbre de slot incompletLes cinq jambes non-
Contre-mesure, tete identique, arbre complet (worktree isole sur Et les fichiers que les jobs declarent absents existent sur Le Perimetre de cette PR : Classe rattachee : workspace de slot non nettoye / checkout incomplet (#14801), porte par le regime de 🤖 Generated with Claude Code |
|
Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit |
…erie Le check-nav-chain rougissait a la tete du 27/09 : le carnet neuf ICT-46-Strate7-FreeCoordinates n'avait aucun lien entrant, donc aucun lecteur ne pouvait l'atteindre en suivant la navigation de la serie (regle de l'organe : un carnet sans lien entrant dans une serie qui en a plus d'un est un orphan_entry). Deux aretes en markdown seul, sans re-execution (exception C.2 markdown-only) : - ICT-45, barre **Navigation** : Suivant -> ICT-46 ; - ICT-46, barre **Navigation** inseree sous le titre : Index + Precedent -> ICT-45. Mesure locale (check_notebook_nav_chain.py --check) : le finding [orphan_entry] .../ICT-46-Strate7-FreeCoordinates.ipynb disparait. Le second finding que la CI impute au diff, [orphan_entry] ICT-MUH-FibreTegmark, est pre-existant sur main et sa reparation est en vol dans la PR #18276 (lane myia-po-2026:CoursIA) -- hors perimetre de cette lane, cf commentaire de PR. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Path-collision (organ #13359/#13615)Cette PR #18276 (
|
|
[ADJOINT PREFLIGHT] Secrétaire vérificateur (myia-po-2026:CoursIA-3), 29/09 00:55Z — Dossier tiers READY à tête exacte
|
…2c sur cette branche etait un artefact de base perimee)
…/* et rafraichir le baseline nav - docs/curriculum/ia-symbolique.md : Lean-18/19/20/20b -> ANALYSE-01..04 (oublies du rename, 4 liens casses par check-links) - merge origin/main : ramene le lien 12b->12c de #18276 -- l orphan_entry Lean-12c sur la branche etait un artefact de base perimee, pas du rename - baseline_nb_nav_chain regenere (436 connus ; 9 findings resolus par le merge, recommande par le check) Verifie localement : check_docs_links 0 lien casse ; nav_chain --check 0 NEW finding ; fast_lane --shadow aucun bloquant en echec. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…econd ordre en banc exécutable (#18059) * feat(ict,#18052): module ict/free_coordinates — banc executable strate 7 (G_t, coups ontologiques, 6 proxys, predicteur espace fixe) See #18052 · See #7745 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * feat(ict,#18052): ICT-46 — premiere livraison strate 7, freebits de second ordre en organe executable Notebook 29 cellules (9 code, papermill 0 erreur) : banc G_t, pont Aaronson ordre 1 vs ordre 2, six proxys executes, deux lectures graduées, gap Mathlib, 3 exercices stubbes C.1. See #18052 · See #16781 · See #7745 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * docs(ict,#18052): README serie — strate 7 livree par ICT-46 (titre de section, carte, table) Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(iit,#18052): P(R) lissage Laplace symetrique en bits + marginalisation par equivalence Reponse au CONCERN NanoClaw (review 5331122613, PR #18059) : - performative_power: np.log -> np.log2 (les 13.033/8.363 affiches etaient des nats), lissage de Laplace SYMETRIQUE sur l'union des supports des deux bras (plus de plancher 1e-12 qui dominait la KL : toute action nouvelle pesait mass*ln(mass/1e-12)), nouveau parametre equivalence={action: classe} qui fusionne les histogrammes par classe avant la KL. - Semantique honnete du contraste decoratif, en deux lectures : brut, une copie de paiement identique reste une option DISTINGUEE (P(R) 1.819 bits) ; marginalisee (vendre2 = vendre), elle tombe a 0.029 bit — la copie ne change pas la dynamique de fond. Personne morale : 2.753 bits dans les deux lectures. Mesures multi-seeds (0/7/42/99/ 2026) dans le docstring du test. - Test renforce : asserte desormais le claim qu'il nomme (p_fort > 2.0, p_deco < p_fort, p_deco_eq < 0.15, p_fort > 10*p_deco_eq) au lieu du seul p_deco < p_fort. - Notebook : section 5 reecrite (3 nombres, 3 lectures, lien explicite au quotient d'extensions du C_t §4) ; mineur §2 : 0.938 bit mesure contre H(0.7)=0.881 (lissage de Laplace), remplace le approx 1 bit. - Re-execution papermill complete (C.2) : 29 cellules, 0 erreur, exec counts 1-9. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(iit,#18052): table des strates -- ligne strate 7 alignee sur l'etat livre du reste du README La ligne de la table disait encore « cadrée par la dimension D1, non livrée » alors que l'en-tête (l.16), la carte (l.18), le bloc d'état (l.263), le paragraphe de section (l.265), l'encart D2 (l.290) et le socle Thom (l.309) passent la strate 7 à livrée par ICT-46. Colonne État corrigée ; colonne « Pattes de la tresse » inchangée (elle décrit l'axe transverse, qui reste « D2 alimente sans occuper »). Markdown seul. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(notebooks,#18052): ICT-46 relie a la chaine de navigation de la serie Le check-nav-chain rougissait a la tete du 27/09 : le carnet neuf ICT-46-Strate7-FreeCoordinates n'avait aucun lien entrant, donc aucun lecteur ne pouvait l'atteindre en suivant la navigation de la serie (regle de l'organe : un carnet sans lien entrant dans une serie qui en a plus d'un est un orphan_entry). Deux aretes en markdown seul, sans re-execution (exception C.2 markdown-only) : - ICT-45, barre **Navigation** : Suivant -> ICT-46 ; - ICT-46, barre **Navigation** inseree sous le titre : Index + Precedent -> ICT-45. Mesure locale (check_notebook_nav_chain.py --check) : le finding [orphan_entry] .../ICT-46-Strate7-FreeCoordinates.ipynb disparait. Le second finding que la CI impute au diff, [orphan_entry] ICT-MUH-FibreTegmark, est pre-existant sur main et sa reparation est en vol dans la PR #18276 (lane myia-po-2026:CoursIA) -- hors perimetre de cette lane, cf commentaire de PR. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(notebooks,#18052): ICT-MUH relie a ses deux voisins declares ICT-MUH-FibreTegmark.ipynb declarait dans son propre en-tete « Voisin MDL : ICT-16 | Charniere compression : ICT-17b », mais aucun des deux ne le citait en retour : le carnet etait un `orphan_entry` pour check_notebook_nav_chain.py — rien ne menait a lui depuis la chaine de navigation de la serie. Le lien reciproque est ajoute dans les deux voisins, en tete de leur cellule 0, sous la forme deja pratiquee par la serie (ligne `**Navigation** : Index | voisin | axe transverse`), qui est celle des paires 44<->45. Mesure : `check_notebook_nav_chain.py --check --diff-files` passe de `FAIL: 1 NEW finding` a `OK: 0 NEW finding`. Les deux findings restants du rapport (Lean-12c, SL-13) sont hors du diff et deja presents sur main. Precision de provenance : ICT-MUH etait deja orphelin sur main avant cette PR (mesure sur un arbre propre a 52f7b32 : memes trois findings). Le lien est donc un correctif reel, pas la reparation d'une regression introduite ici. Edition markdown seule (exception C.2) : aucune re-execution n'est due. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
…rents (pilote CL1) (#18015) * rename(#16231): git mv purs (4 notebooks) Table : C:/Users/jsboi/AppData/Local/Temp/analyse.tsv, pilotee par rename_notebooks.py. * rename(#16231): referents reecrits par surface (17 fichiers) Cellules de code citees : jamais reecrites (re-execution C.2 due). Sorties commitees : jamais touchees. Catalogue : restaure byte-identique a main (regle catalogue, cron le regenere). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * rename(#16231): profondeurs relatives + READMEs de la descente ANALYSE 19 liens repris (cellules markdown uniquement, gardes I2/I3) : liens sortants du dossier ../../ -> ../../../ (Search, IIT), prefixe ../ vers les carnets restes a la racine (Lean-21 x2), prefixe ANALYSE/ depuis la racine (x9). README serie : liens table -> ANALYSE/, marqueur sous-serie ligne 18, arbre plat -> entree dossier (modele Serre100). Nouveau ANALYSE/README.md (FR). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(lean,#18015): retirer le compteur de lignes de la prose Lean-28 Le garde prose-counts --strict refuse la ligne parce qu'elle entre dans le diff (#9377) ; le compteur est de la prose preexistante, non liee au renommage. La mesure est retiree, le predicat conserve : « un monolithe single-file » au lieu de « un monolithe single-file de 248 818 lignes ». Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(curriculum,#18015): relier les 4 liens ia-symbolique vers ANALYSE/* et rafraichir le baseline nav - docs/curriculum/ia-symbolique.md : Lean-18/19/20/20b -> ANALYSE-01..04 (oublies du rename, 4 liens casses par check-links) - merge origin/main : ramene le lien 12b->12c de #18276 -- l orphan_entry Lean-12c sur la branche etait un artefact de base perimee, pas du rename - baseline_nb_nav_chain regenere (436 connus ; 9 findings resolus par le merge, recommande par le check) Verifie localement : check_docs_links 0 lien casse ; nav_chain --check 0 NEW finding ; fast_lane --shadow aucun bloquant en echec. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
Grain: LIGHT/docs -- lane myia-po-2026:CoursIA -- prev: LIGHT/docs #18270
Sujet
Réparer 2 des 3 findings NEW vs baseline qui rendent le check full-repo
check_notebook_nav_chain.py --checkROUGE surmain(mesuré sur origin/main 1bae7ac, suite directe de #18270/#18268) :[orphan_entry] IIT/ICT-Series/ICT-MUH-FibreTegmark.ipynb— zéro lien entrant repo-wide[orphan_entry] SymbolicAI/Lean/Lean-12c-Tensor-Product-Representations-Lean.ipynb— zéro lien entrant repo-wideLe 3e finding (
[unreachable] SL-13-Discover-TPR) est volontairement laissé : la PR #18218 (en review) ajoute déjà le lien entrant SL-12b → SL-13 dans son patch (vérifié firsthand) — le corriger ici doublerait le geste et crée le risque de collision.Changements (2 notebooks, lignes Navigation ajoutées)
Pourquoi in-notebook et pas README : le README Lean est réécrit par la tranche rename #18199 (hunk
@@ -73,23adjacent aux lignes du tableau où 12c s'insérerait), et les READMEs de série sont touchés par la PR catalogue #18202 — le fix in-notebook évite les deux collisions tout en créant des arêtes que le guard compte (cellules de navigation).Preuves (commit 40d45be)
Édits markdown-only (round-trip JSON lossless vérifié) : outputs,
execution_countet IDs intacts (exception C.2 markdown-only).See #18268 (le grain fondateur de la classe), See #18218 (guérit le résiduel).
🤖 Generated with Claude Code