chore(scripts,#14251): archiver scripts c.8257 enrich_lean18.py + verify_lean18.py

[jsboige]

Grain: LIGHT/refactor -- lane myia-po-2026:CoursIA -- prev: LIGHT/guard #14272 (cycle 178)

Summary

Issue #14251 : les scripts one-shot c.8257 scripts/enrich_lean18.py et scripts/verify_lean18.py référencent un chemin qui n'existe plus depuis PR #13685 (descent vers Search/Part1-Foundations/).

NB_PATH = Path("MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-18-Search-AStar-Optimality.ipynb")
#                                                              ^^^^^ n'existe plus

Après PR #13685, le notebook est sous MyIA.AI.Notebooks/Search/Part1-Foundations/Lean-18-Search-AStar-Optimality.ipynb. PR #14250 a fait le rename minimal du notebook (Lean-18-Search-AStar-Optimality → Search-03e-AStar-Optimality) mais n'a pas touché aux scripts (scope minimal affiché par #14250).

Cause structurelle

• NB_PATH est un Path string littéral, pas de wildcard, pas de résolution runtime
• Les scripts ont été créés en c.8257 (enrich(lean,#10488): Lean-18 AStar Optimality density 1056->1447 chars/code-cell #10720, commit 283676536a, 2026-08-14) avant le descent
• Mission one-shot prouvée remplie : le notebook contient désormais les 13 blocs "Le pont" que enrich_lean18.py devait appendre (vérifié par git log -p du notebook — toute re-exécution échouerait avec KeyError car les cell_id ont changé)
• verify_lean18.py : invariants satisfaits (cells, chars/code, ids uniques) — plus rien à vérifier

Geste

Archivage sous convention _archive/<cycle>-<context>/ (cf dossiers existants one_shot_fixes/, one_shots_post_463/, recycle_csp/).

scripts/enrich_lean18.py            → scripts/_archive/c8257-lean18-enrichment/enrich_lean18.py
scripts/verify_lean18.py            → scripts/_archive/c8257-lean18-enrichment/verify_lean18.py
                                      + README.md (préservation + contexte + références)

Préservation (Consolider != Archiver, règle user)

• git mv (pas rm) : l'historique git complet est préservé (blobs + trees + parents).
• Blobs toujours accessibles : git show 283676536a:scripts/enrich_lean18.py continue à montrer le contenu original.
• Chemin de référence conservé dans le README : c.8257 → enrich(lean,#10488): Lean-18 AStar Optimality density 1056->1447 chars/code-cell #10720.
• git grep : aucun hit sur enrich_lean18 ou verify_lean18 ailleurs dans le repo. Archivage sans risque d'import cassé.
• README documente pourquoi archivage (cause structurelle) + comment récupérer (git show) + où est le blob d'origine (commit 283676536a).

Acceptance #14251

• Les deux scripts untracked de scripts/ racine, archivés sous _archive/c8257-lean18-enrichment/.
• git mv détecté comme rename (100% par git) — historique préservé.
• README de préservation conforme au format des autres dossiers _archive/ (cf one_shot_fixes/README.md, one_shots_post_463/README.md).
• Aucun hit git grep ailleurs dans le repo : archivage sans import cassé.
• Aucun changement de code (zéro deletion de logique, zéro modification de fichier en dehors du move).

Scope strict (1 PR = 1 sujet)

• 3 fichiers au total : 2 scripts déplacés via git mv (enrich_lean18.py, verify_lean18.py) + 1 README de préservation créé
• 1 nouveau README de préservation
• 0 modification de logique
• 0 modification d'autre fichier
• Catalogue untouched (R1 catalog-pr-hygiene)

Liens

• Issue : chore(scripts): archiver scripts c.8257 enrich_lean18.py + verify_lean18.py (chemin obsolète post-#13685) #14251
• PR d'origine des scripts (c.8257, enrich(lean,#10488): Lean-18 AStar Optimality density 1056->1447 chars/code-cell #10720) : commit 283676536a du 2026-08-14
• PR descent (chemin obsolète cause chore(scripts): archiver scripts c.8257 enrich_lean18.py + verify_lean18.py (chemin obsolète post-#13685) #14251) : Fix(notebooks,13488): descent Lean-18 to Search/Part1-Foundations (issue 13662) #13685
• PR rename minimal (post-descent, scope notebook seul) : fix(search,#13841): minimal rename Lean-18 -> Search-03e + README attribution fix #14250 / Rename Lean-18-Search-AStar-Optimality.ipynb → ? (post-descent issue 13662) #13841
• Convention : autres dossiers scripts/_archive/ (cf _archive/one_shot_fixes/README.md)
• Règle préservée : .claude/CLAUDE.md (global) "Consolider != Archiver"
• Lane : myia-po-2026:CoursIA

[jsboige]

[CLAIMED] #14251 — myia-po-2026:CoursIA 2026-09-02T09:55Z

PR lightweight : git mv des 2 scripts one-shot c.8257 (mission remplie) + README de préservation. Aucun changement de code. Lane myia-po-2026:CoursIA.

[github-actions]

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.

[github-actions]

G-VAR-2 light cap reached (advisory, non bloquant).
La lane myia-po-2026:CoursIA a deja consomme son budget LIGHT du jour (#13987 (merge a 2026-09-02T00:13:22Z)).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour,
toutes categories LIGHT confondues (guard, doc, refs, ... partagent un seul budget) :
c'est un RATIO, pas un plafond plat. La decision de merge reste au coordinateur.

[github-actions]

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

• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=16 genre=14 cap=9)
• GENRE-UNKNOWN : le genre canonise `chore` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• 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]

Path-collision (organ #13359/#13615)

Cette PR #14274 (chore(scripts,#14251): archiver scripts c.8257 enrich_lean18.py + verify_lean18.py) 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.

• fort -- chore(scripts,#14251): archive enrich_lean18.py + verify_lean18.py post-#13685 descent #14306 partage : scripts/_archive/c8257-lean18-enrichment/README.md, scripts/_archive/c8257-lean18-enrichment/enrich_lean18.py, scripts/_archive/c8257-lean18-enrichment/verify_lean18.py (issues communes : chore(scripts): archiver scripts c.8257 enrich_lean18.py + verify_lean18.py (chemin obsolète post-#13685) #14251)

[github-actions]

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.

[jsboige]

Diagnostic rouge — close-keyword guard faux positif sur merge commit

État au 2026-09-03 : 2 checks FAILURE (Always-on guards -- 12 organes, 1 checkout + PR gate). mergeStateStatus: BLOCKED.

Cause précise identifiée : la garde pr_close_keyword_guard.py scanne tous les commits de la branche (13051 commits après merge de main), pas seulement les commits propres à la PR (2 commits : fdb0385a archive + 8000f6c6 merge main). Le seul commit propre à la PR est clean (vérifié : chore(scripts,#14251): ... — pas de Closes/Fix/Resolve), mais le merge commit 8000f6c6 a intégré tous les commits upstream de main, dont des dizaines portent Closes #N ou Fixes #N. Ces close-keywords sont en fait des fermetures d'issues upstream (résolues par leurs PRs respectives) — pas des instructions de fermeture de #14274 — mais la regex ne distingue pas.

3 autres guards en échec (mêmes origines) :

• prev: close-keyword genre — le prev: LIGHT/guard #14272 matche un mot-clé fermant (guard n'est PAS un close-keyword, donc faux positif similaire — mais la regex \b(close[ds]?|fix(?:es|ed)?|resolv(?:e|es|ed))\b ne matche pas guard ; le hit vient probablement d'ailleurs)
• G-VAR-3 LIGHT-genre adjacency — collision adjacency avec un prédécesseur de lane

Geste proposé : rebase clean de la branche sur main frais + force-push. La branche chore/14251-archive-lean18-scripts n'a que 2 commits propres ; un git rebase --onto origin/main du seul fdb0385a + suppression du merge commit devrait suffire. Force-push avec --force-with-lease (autorisé branche lane unique, cf git-workflow).

Risque : force-push d'une branche non-revue, possible friction avec un autre agent qui aurait cloné en parallèle. Recommandation : faire ce rebase au prochain cycle (c.893 ou plus tard, hors fenêtre REPAIR P0), ou laisser ai-01 trancher.

Acceptance #14251 reste valide (3 fichiers : 2 RENAMED + 1 README ADDED, scope strict respecté). Le contenu de la PR est bon, c'est la forme du diff (merge commit polluant) qui la bloque.

Alternative à arbitrage : si la réparation du rebase est jugée trop risquée, livrer une PR minimale de remplacement sur branche fraîche rebase-clean (pattern c.868 « minimal-PR > rebase conflictuel »). Cette alternative est ma préférée — coût ~5 min de re-création, zero risque sur l'historique.

Lane : myia-po-2026:CoursIA-2.

[github-actions]

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.