Repository navigation
fix(closure-dossier,#15578): lire body PR depuis timeline au lieu de gh pr view - #18666
Merged
Merged
Conversation
render_template posait la ligne d'item apres comments-reviewed. Rempli sur place, le dossier etait refuse (ligne malformee, acceptance vide) : mesure sur #18480 le 2026-09-30. L'item vit maintenant juste sous acceptance:, sans espace de fin. Test : le gabarit rempli tel quel se parse sans erreur (rouge sur main, vert ici). Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Contributor
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
…P) (#18564) * docs(M10,#17636): resorber les mesures d'artefact en prose -- supprimer '(273 lines)' et '(398 lines)' dans la section Files * fix(m11g,#17636): supprimer la mesure d'artefact en prose (~250 lignes) -- predicat conserve (recette ai-01, verdict GO (a) 30/09) * docs(m16,#17636): resorber les mesures d'artefact en prose (8/8 cellules, 84 lignes de controle) * docs(quick-tour,#17636): resorber les mesures d'artefact en prose (2x '55 notebooks') * docs(alpha-correl,#17636): resorber la mesure d'artefact '38 cells (37 code + 1)' en prose du README.en.md (tri: 1 editee, reste KEEP figure) * docs(quantconnect,#17636): DynamicVIXSpyRegime-QC README.en - supprimer les mesures d'artefact en prose (29/27 cells, 13 executed), predicats conserves * chore(analysis,#17636): resorber les mesures d'artefact en prose du crosscheck deck 02 (5slides) * slides(S4-trading): supprimer mesures d'artefact (~27 notebooks) de la prose, garder predicats * docs(lean-prerequisites,#17636): resorber 2 mesures d'artefact en prose (~950 lignes, lignes 1-80) * docs(claudish,#17636): absorber la mesure d'artefact en prose (1 ligne de config -> prédicat conservé) * absorber mesure artefact prose (438 lignes) - issue #17636 * checkpoint: resorber mesure d'artefact en prose (84 lignes) dans roo_task_sep-8-2025_3-18-45-am.md (issue #17636, recette ai-01 GO(a))
…aissement (#18203 geste 2) (#18593) Avant : list_open_epics ne lisait que le label EPIC -- une EPIC titree [EPIC] x sans label etait invisible du balayage quotidien. Le predicat pur is_epic (label OU prefix, case-insensitive) sert de filtre ; 8 nouveaux controles unitaires + 4 controles self-test, rouges sur main (is_epic absent) et verts sur branche. See #18203 Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
…efusals) (#18591) * fix(prose,#17636): dotnet-plotly-zero-restore -- absorber les mesures d'artefact du rollout (5 non converti + 3 partiel) (cherry picked from commit 108847700b8e10f88b854bc21f58e7cd5d6280b1) * prose(#17636): w8-277 readme-series-gabarit -- resorber les mesures d'artefact md-prose (L67, L86) (cherry picked from commit f9db8a43da652e6fbba1aa0eb1d78f095260521a) * docs(archive,#17636): ecosystem-readme -- resorber 3 mesures d'artefact en prose (N notebooks) (cherry picked from commit 559554455323a32e63a92164da0e90c1440ecda3) * fix(prose,#17636): qc-strategies-status archive -- resorption mesure artefact (830 lignes, 137 KB) du canonique vivant, 11 occurrences KEEP justifiees (cherry picked from commit c6b830895de3eb65a9fecd2e0ad9bf153ba18050) * fix(prose,#17636): curriculum/_inventory.md -- resorption md-prose de 2 mesures d'artefact (~400 lignes L64, ~150 lignes L120) ; 5 KEEP justifies (cherry picked from commit c9cb2068b23d804799631212fa78d03cd6b15bcc)
…a machine (lot B2) (#18514) Tweety-06, 07a, 07b, 08 et 09 en C# codaient le RID win-x64 en dur dans leur configuration IKVM. Le RID est desormais derive de OperatingSystem et RuntimeInformation.ProcessArchitecture, comme dans les lots A et B1 ; la ligne #r IKVM.Image.runtime.win-x64, redondante avec IKVM.Image, est retiree. Tweety-09 C# affiche le chemin de la DLL relativement au dossier du notebook, pour que la sortie ne depende plus de la machine. Markdown : Tweety-07a C# (cellule 19) et le tableau comparatif du jumeau Python Tweety-09 (cellule 22) ne citent plus le runtime win-x64. Les cinq notebooks C# sont re-executes sous Linux (dotnet-interactive 1.0.617701, .NET 9), 0 erreur. Claude-Session: https://claude.ai/code/session_01VuVMY5fhzd5cQhzHiyvjka Co-authored-by: Claude <noreply@anthropic.com> Co-authored-by: myia-ai-01 <myia.ai.01.myia@gmail.com>
…#18203 geste 4) (#18594) Le detecteur de corps perimes existait mais rien ne le planifiait : un body d'EPIC perime restait invisible entre deux regards manuels. Etape ajoutee au workflow epic-neglect-sweep : sortie JSON dans GITHUB_STEP_SUMMARY, echec de fetch en WARN (jamais rouge). Test de cablage rouge sur main / vert sur branche. See #18203 Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
… (ratchet MACHINE_PATH) (#18571) Le motif /home/<user>/ lisait comme chemin machine une page personnelle universitaire citee par un LLM (GenAI/Texte 06, PR #18567). Les URL web sont retirees d'une copie du texte avant la recherche de chemins ; file:// et les URL de serveur local restent visibles. Self-test et 5 tests ajoutes. See #18567 Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com> Co-authored-by: myia-ai-01 <myia.ai.01.myia@gmail.com>
…s grothendieckiennes (#18522) * feat(lean,#17978): Lean-15d -- visite guidee visuelle des abstractions grothendieckiennes Nouveau carnet Python autonome qui *montre* les abstractions du corpus Grothendieck au lieu de les enoncer : sept figures matplotlib (categories et foncteurs, cribles, topologie de Grothendieck, faisceaux, Yoneda, site de Zariski, synthese) et trois exercices sur donnees manipulables, chacun suivi de sa solution. Aucun kernel Lean, aucun appel reseau, aucun GPU : le carnet s'execute en 35 min sur un poste quelconque et rend le corpus accessible sans monter le lake. Voisinage : Lean-15 (catalogue de code), Lean-15b (atelier d'exercices), Lean-15c (companion formel `lean4-wsl`). Lean-15d prend le troisieme angle -- l'intuition visuelle -- que les trois autres laissent de cote. README de la serie : ligne de table (n. 15d) et arbre de fichiers. See #17978 * fix(notebook,#17978): nav Lean-15c/15d + retrait du compteur en prose (#18522) Deux rouges imputables au diff de #18522, deux causes distinctes : - prose-counts : « 23 modules du lake » dans la cellule 0 de Lean-15d est une mesure quantitative en prose. Regle #17636/#9377 : la mesure se supprime, le predicat reste. La ligne dit desormais « les modules du lake ». - check-nav-chain [orphan_entry] : les aretes du graphe sont des liens notebook -> notebook, et rien ne pointait vers 15b/15c/15d. La ligne **Navigation** canonique de la serie est ajoutee a 15c et 15d ; le retour de 15c vers 15b repare aussi 15b, qui souffrait du meme defaut pre-existant. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(lean,#18522): corriger l'erreur mathematique (0)/(p) + sept points affiches Reserve ai-01 @b485da9a6f (cycle :31) -- la legende cellule 19 inversait l'inclusion ('(0) appartient a l'adherence de tous les (p)' au lieu de 'tous les (p) sont dans l'adherence de (0)') ; la cellule 20 portait le meme schema en version narrative ('le point generique qui vit dans l'adherence de tous les autres'). Pour p premier, V(p)={(p)} est un point ferme ; l'adherence de (p) ne contient pas (0). Ce qui est vrai : (0) est dense, et tous les (p) sont dans son adherence. Correction alignee sur la cellule 18, qui etablit deja correctement la structure. Second point non-bloquant : 'U_2 U_3 couvre deja les six points' (alors que la figure en affiche sept -- (0) et six premiers) -> 'les sept points affiches'. Re-execution papermill post-fix (cellule 19 code = figure matplotlib) : papermill --end-time rafraichi sur les 36 cellules, contenu inchange sauf c19 (source : 2 chaines corrigees ; outputs : nouveau display_data avec le texte mis a jour). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> Co-authored-by: myia-ai-01 <myia.ai.01.myia@gmail.com>
…f-Switch a ses sources (#18498) * fix(notebook-python,#17529): section 4 -- confronter Off-Switch a ses sources La cellule 32 annoncait un seuil « autour de 50-60 % » alors que la sortie de sa propre cellule 33 affiche 89.5 %, et la cellule 34 lisait l'axe du graphique comme une incertitude sigma quand c'est une confiance p. Le seuil n'est ni 50-60 % ni un resultat du papier : c'est `override_threshold = 0.9`, un parametre du modele de ce notebook, echantillonne au pas de 0.01 sur np.linspace(0.5, 1.0, 51) -- la transition tombe donc a 89,5 %. Confrontation avec le texte de Hadfield-Menell et al. (arXiv 1611.08219, extrait et lu) : le papier n'etablit aucun seuil en pourcentage. Le theoreme 1 donne Delta >= 0 -- un robot rationnel defere toujours -- et le theoreme 2 Delta = sigma^2 E[pi_H] - |mu| Pr(C) fait croitre l'incitation avec la variance. La grille du notebook est donc le cas d'echec delibere, pas le resultat du theoreme ; la cellule 34 le dit desormais et nomme les trois quantites sigma/p que la prose confondait. Reprise du grain de #17648 (approuve par ai-01 a acf2155, ferme non merge le 2026-09-25T22:51Z apres le merge concurrent de #17780 sur le meme fichier) : `git show main:...ipynb` porte encore « autour de 50-60% » et « autour de 0.5 ». Markdown seul : aucune cellule de code touchee, la cellule 33 garde ses sorties (execution_count=15). Les 8 suppressions sont exactement les 4+4 lignes corrigees, toutes desaccentuees ; aucune ligne accentuee n'est degradee. See #17529 Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com> * fix(twin,#18498): re-attester GameTheory-15 CooperativeGames apres le drift introduit La PR change GameTheory-15-CooperativeGames-Python.ipynb (section 4, cellules markdown 32 et 34) : le blob du carnet bouge, donc le SHA enregistre dans le registre twin devient stale et le gate `Twin parity audit (#8057)` rougit "DRIFT INTRODUIT par cette PR ... GameTheory-15 CooperativeGames". Re-attestation a la tete courante, au prochain index libre (0023). L'ordre --update-en-DERNIER est respecte : le diff ne touche aucune sortie de cellule, donc aucun strip outille ne suivra qui deplacerait le blob (#8957). Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>
#18603) See #18599 (sous-grain Epic #16781 veine 5, moitie formelle). Lake sans Mathlib (patron tegmark_muh_lean) : defs Cut/cutIndep/decomposable/integrated + les trois enonces figes prouves — cutIndep_of_sides_independent (alias product_decomposable), broadcast_integrated, broadcast_two_cycle (alias broadcast_trivial_dynamics). Jumeau EN IIT.Integration_en (#4980 pattern A). Cablage : ci_lakes.json (21e lake, baseline 0) + filtres lean-ci-matrix.yml (2 blocs) + ligne LEAN_INVENTORY.md (ajout ponctuel). Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
… mesures (#18294) * feat(ict,#18147): ICT-36 -- digerer 3 sections et ajouter 3 exercices mesures Voir #18147 (section A, cas 1) : les trois sections titrees « Exercice » portent des solutions completes -> retitre « Exemple guide 1/2/3 », code conserve, renvoi de prose [25] aligne. Puis 3 nouveaux exercices non resolus, chacun faisant varier UN parametre du protocole : sweep d'overlap, sweep du nombre de facteurs, sweep du nombre de tokens (plancher d'echantillonnage de NC@95). Resultats attendus verifies hors notebook via le paquet ict/ (script de reference, assertions vertes) ; re-execution complete C.2 (SUCCESS 23.2s), sorties E1/E2 reproduites a l'identique (231/240/9 ; 155/240/85). Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(18147): re-executer ICT-36 sous le noyau du bon major.minor La base origin/main declare language_info 3.13.14 ; la re-execution du cycle precedent avait tourne sous Python 3.11.9 (derive 3.13 -> 3.11 vue par la garde Kernel drift guard, comparaison en major.minor). Repare par le noyau python313 (3.13.13) : package ict resolvable depuis la racine de la serie, numpy 2.3.4 present, 0 erreur. Sorties : 14 cellules de code sur 16 inchangees ; la cellule 5 imprime la version reelle de numpy de l'environnement (2.2.6 -> 2.3.4), la cellule 29 ne gagne qu'une ligne vide finale. Aucune valeur de mesure ne bouge. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(18147): ICT-36 restructurer l'intro des exercices pour le cliquet split-reading La cellule d'intro '## Exercices' etait ancre juste apres une cellule de code classee exercice -> EXERCISE_READING (split-reading ratchet, P0 #16590 : jamais de Lecture ancree sur un stub non rempli). Deux gestes : 1. la cellule [17] devient le titre de section '## Exercices' SEUL (transition structurelle, exclue de la detection) ; 2. le paragraphe d'intro (les trois regimes mesures a parametres fixes) demenage en tete du corps de l'enonce '### Exercice 1', dont la forme canonique (titre Exercice N adjacent a son stub [19]) releve du carve-out #17777. Contenu verbatim, markdown seul : aucune cellule de code ni sortie touchee (exception C.2 modifications markdown). La garde lit HEAD : verification post-commit. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(ict,#18294): pousser le retitrage au code -- Exemple guide N dans les libelles imprimes Reponse point par point a la review NanoClaw (CONCERNS @6cfdfeed) : - CONCERN 1 : les 3 libelles '=== Exercice N ===' des cellules d'exemples guides ([11] L29, [13] L28, [16] L62) deviennent '=== Exemple guide N ===' dans le code ET les sorties (re-execution reelle, 16/16 cellules) ; le commentaire perime [26] L3 'd Exercice 3' devient 'd Exemple guide 3'. Plus aucun residu '=== Exercice' en source ni en sortie commitee. - CONCERN 3 : l'enonce de l'exercice 1 nomme maintenant l'axe x pour ce qu'il est (ecart-type des coefficients de melange) et demande de reporter l'overlap geometrique mesure (basis_overlap().max()) par point de grille ; indice correspondant ajoute au squelette. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(ict,#18294): re-execute ICT-36 under Python 3.13 kernel (drift guard) The previous run executed under Python 3.11.9 (language_info drift vs base 3.13.14). Re-executed end-to-end under py313-analyse (3.13.13, same major.minor as base): 16/16 code cells, 0 errors, all cells with outputs, monotonic execution_count, kernelspec python3 preserved. Metadata edited by re-execution only, never by hand. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
…licAI/Lean/Geometry/ (tranche 1) (#18607) git mv 4 notebooks + README sous Lean/, reecriture des referents (README famille, curriculum, regen_quarto_render, baseline nav-chain), sans changement de contenu. Catalogue byte-identique (regen par l'automatisation). See #18601 (tranche 1/volet A). Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
…d'information des lectures (#18469) Mesure seulement : le seuil de volume de pedagogy_density.py et les workflows ne sont pas touches (bascule gelee tant que le veto #13410 tient). L'instrument consomme la rarete de #16786 (df <= 4) au lieu de la reecrire. See #18411 Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
…ription-Pipeline (2 grains, md-only) (#18472) * fix(prose,#17636): symbolic lot -- resorber les mesures d'artefact en prose markdown (Lean-10-LeanDojo, recette c.5860054240) 9 mesures supprimees (predicat garde) dans Lean-10-LeanDojo.ipynb : - cell 5 : ~1500 fichiers x2 (titre section + clause stdlib) - cell 7 : ~1500 fichiers x2 (bullet tracing + question Pourquoi) - cell 26 : ~1500 fichiers (bullet stdlib tracee) - cell 29 : 2 fichiers utilisateur + colonne Fichiers du tableau (~800/~400/~300/2) - cell 54 : ~4M lignes (Mathlib4) - cell 56 : ~4 millions de lignes de code (Mathlib4) Cellules code, outputs, execution_count, metadata, IDs byte-identiques ; sources conservees en forme liste ; aucune re-execution. Toutes les autres occurrences du pattern KEEP justifiees (placeholders N/X.XX decrivant la sortie dynamique, compte de theoremes hors pattern, durees estimees, recit d'incident juin 2026, cellules d'exercice non narrantes). * docs(notebook,#17636): prose-counts 04-2-Transcription-Pipeline -- 1 mesure d'artefact supprimee (2 MP3), occurrences restantes KEEP justifiees * docs(notebook,#17636): levee review NanoClaw #18472 -- trancher les 5 non-ancrees md restantes (c5/c30/c56 Lean-10, c7 Transcription) Retrait/requalification : ~27000 theoremes (c5, c30), >100k theorems mathlib4 (c56, meme tableau d'ou ~4M lignes etait parti), tailles ~333 KB / ~223 KB (Transcription c7). Occurrences en cellules CODE (c2, c6 commentaires ; c55 litteral de sortie) laissees : md-only, toute edition de cellule code declencherait une re-execution C.2. c72 « 4M » = faux positif (substring de « AI4Math »). Gates : strict prose rc=0, validate 2/2 PASS, C.2 2/2 compliant, 0 cellule code touchee, metadata identiques. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(#18472): restaurer les newlines des 4 cellules markdown -- le commit precedent les avait collapses (split sans re-ajout) Contenu final verifie cellule par cellule vs 5dcda50 : exactement 5 lignes modifiees (c5/c30/c56 Lean-10, c7 Transcription x2), 0 cellule code touchee, metadata identiques, newlines preserves. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * fix(#18472): completage du balayage desancrage -- 2 commentaires code restants Le relais laissait deux occurrences de la meme classe en commentaire code : le menu REPO_SIZE (c.2, « >100k theoremes ») et la NOTE stdlib (c.6, « ~1500 fichiers ») -- remplaces par des descripteurs qualitatifs. Re-exec de controle des deux cellules sur kernel python3-wsl (nbconvert, mini-notebook) : sorties byte-identiques aux sorties committes, 0 erreur -- changement de source neutre en sortie. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(#18472): revert code cells 2/6 source to main -- re-serialization artifacts (trailing newline) had no pedagogical value and invalidated the md-only claim; outputs stay coherent with main sources Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
… deblocks and adoption (#18501) Extends the serving journal (21 Aug - 29 Sep 2026): chapters 12-18 (secret rotations & the vanishing stack, GPU-2 bench line closures, the stillborn prefix cache, the UVA wall that wasn't, the quality pivot to Swift-1.5, real-workload adoption - notebook audit, Lean proving, dashboard condensation - and the speculative decoding hunt), conclusion rewritten to 12 lessons. README chapeau brought in line. Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
…cision ai-01) (#18625) Une cellule markdown AJOUTEE portant un tag de la liste fermee (audit-notice / sota-notice / source-notice) declare une meta-note (renvoi methodologique), pas une lecture : non signalée, et son unité est retirée du budget de lecture de sa sortie. Quatre gardes de la decision c.5916807033 : 1. liste fermee de tags (meta_notice_tag, META_NOTICE_TAGS) ; 2. cellules AJOUTEES seulement -- le check vit apres les exemptions de revision, une reecriture ou un deplacement ne se blanchit pas ; 3. chaque exemption est RENDUE dans le resume du check-run (notebook, id de cellule, tag) via exempted_out + rendu CLI ratchet EXEMPT-* ; 4. contre-exemples en tests : lecture Source sans tag restee signalee, tag sur reecriture sans effet (budget non reduit), tag hors liste sans effet, exemption ne deplace pas le blame sur la voisine. 121 passed (8 nouveaux) + self-test 6/6. Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
…tree outillee (#14623 tranche 2) (#18595) * Add: critere de sortie de docs/archive/ - 3 voies + interdiction d'entree outillee (#14623 tranche 2) Convention (docs/transients/README.md) : distillation (l'original reste en place) / restauration (lecture complete exigee, jamais le titre) / retrait (preuve de preservation). Entree : aucun rapport date neuf ne rejoint docs/archive/ -- les reclasses (renames) restent permises. Organe : troisieme direction --base (creations signees sous archive dans <base>...HEAD, echec git = finding GIT_DIFF_FAILED, jamais un acquittement). Garde CI docs-transients-guard (modele prose-counts-guard #17636). Requalifications tranche 2 : #12 docs/translation/epic-4957-status.md = perenne (en-tete autodeclare + table des categories), #7 defere (collision PR ouverte sur le fichier frere) - detailles au commentaire de livraison #14623. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * Fix: refspec explicite dans docs-transients-guard - le fetch opportuniste ne cree pas origin/<base> en shallow Premier run : GIT_DIFF_FAILED ("fatal: bad revision 'origin/main...HEAD'"). Repro mini-depot shallow : git branch -r ne montre que origin/feature apres le fetch nu ; refspec avec destination cree la ref, le diff 3-points resout ET detecte l'entree A datee (controle positif de la detection). L'organe reste fail-loud a juste titre - c'etait le plumbing du workflow qui etait muet. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * Fix: allowlist docs-transients-guard.yml dans la policy self-hosted (rouge WORKFLOW_NOT_ALLOWED, #14623) Le workflow routait son job transients sur self-hosted avec la garde same-repo au niveau job, mais sans entree dans l'allowlist fail-closed de check_self_hosted_runner_policy.py. Entree ajoutee sur le modele organ-duplication-advisory.yml (owner, garde, paths, rollback). Relecture ai-01 c.5917276825. Test test_current_repository_self_hosted_jobs_satisfy_isolation_policy : 1 passed local. See #14623, see #18595 Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * Fix: docs-transients-guard base = HEAD^1, pas origin/<base_ref> fetche depth=1 Sur evenement pull_request, checkout@v4 pose le merge ref : HEAD^1 EST le cote base, present par construction (fetch-depth: 2). Le fetch depth=1 de origin/<base_ref> laisse les bornes shallow sans ancetre commun quand <base_ref> bouge entre construction du merge ref et fetch -- mesure run 110043387149 : "fatal: origin/main...HEAD: no merge base" -> GIT_DIFF_FAILED (jamais un acquittement silencieux, donc rouge). Repro de la topologie : merge-base irreducible avec origin/main, resolu en parent direct avec HEAD^1, diff rend exactement les 6 fichiers du plateau. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
…mage/lean) (#18589) * fix(prose,#17636): sweep-6031 md-only -- 1 mesure d'artefact resorbee (auto-ref ~165 lignes derivee), 14 KEEP (preuves historiques sha-ancres + seuils doctrinaux) (cherry picked from commit cd112937a14a559cdf18eaf2e81ffb3a67178684) * fix(prose,#17636): w8-185 sweep-6003 archive -- suppression 1 mesure d'artefact (~165 lignes), 7 KEEP justifiees (md-only) (cherry picked from commit 653c0acd1e4ba0eefd166681d47665a790da4b5f) * fix(prose,#17636): sweep w8-187 -- ledger 5987 (1 mesure d'artefact auto-referentielle, md-only) (cherry picked from commit d5aaf0a9f8c9eed3d76a828b794ec6c69d5a92f7) * fix(prose,#17636): sweep 5975 — 1 mesure d'artefact retiree (~190 lignes auto-ref, md-only) (cherry picked from commit c70696a7b0aa9c9201bef05d031f5bc647152583) * fix(prose,#17636): w8-190 -- CSV-by-series-design.md (5 mesures d'artefact absorbees, md-only) (cherry picked from commit 9176b488498645ad9e70e1e675cd150bb25ac043) * fix(prose,#17636): phase-29 rapport 32 -- 5 mesures d'artefact resorbees, 7 KEEP justifiees (md-only) (cherry picked from commit 54f302715f86abf78beecb5371acf588bd541096) * fix(prose,#17636): qc-strategies-status — 1 mesure d’artefact retirée (91 lignes physiques), prédicat 12+79 conservé, md-only (cherry picked from commit adebaba2e8407be2446efaf1492bd05f2407cc3d) * fix(prose,#17636): w8-196 docs/archive/INDEX.md -- resorption 14 mesures d'artefact en prose (10 lignes : 9 comptes fichiers + 4 comptes lignes + 1 abreviation 'l.'), predicats conserves, md-only (cherry picked from commit 03d688ab64f4e872155bea9d0c190b11761021a0) * fix(prose,#17636): mesure artefact md-prose -- ANALYSE_COMPLETE_PROJET_COMFYUI_AUTH (1 edit, 11 KEEP) (cherry picked from commit 3858b08f8c0a8fc1a6ae5849320a0f31031bd49f) * fix(prose,#17636): cost-matrix -- resorber 4 mesures d'artefact notebooks en prose md (300+/~100/100 flotte, 27 QC c.797), predicats conserves, 7 KEEP justifiees (1020/941 scanns dates, pilote c.794 clos, citation 14 cellules, livrable 1 fichier) (cherry picked from commit 3cf7f33a9fafdd2da944b139e8ecc30521a300d1) * fix(prose,#17636): phase-12a RESUME-FINAL-PHASE12A -- resorption 12 mesures d'artefact en prose (12 lignes), 12 KEEP justifiees, md-only Recette ai-01 issue #17636 c.5860054240, verdict GO (a) 30/09 04:52Z. Tri avant geste : 24 occurrences du grain (nombre + lignes/lines/cellules/ cells/notebooks/modules/fichiers/files) sur 24 lignes, classees. Editees (12 lignes, mesures d'artefact manuscrites en prose a predicat co-resident, artefacts vivants derivables -- le drift est deja effectif : validation-ssl-https.ps1 annonce 285 lignes vs 263 reel actuel, test-api-openai.ps1 294 vs 271, finalisation-complete 339 vs 310, update-rapport-final 317 vs 331, ce document ~200 vs 351) : - L211/L212 '1600+ lignes documentation technique' / '1235 lignes scripts automatises' -> predicats nus 'Documentation technique' / 'Scripts automatises' (precedent mission-complete L52 '18 notebooks structures') - L301-303 '(543|330|531+ lignes)' supprimees apres predicats checklist - L308-311 '(285|294|339|317 lignes)' supprimees, predicats script conserves - L331/L332 '(543|1235 lignes)' supprimees, predicats 'exhaustive/testes' - L337 '1600+ lignes, ' supprime, predicat '15+ exemples' conserve KEEP justifiees (12 occurrences) : - L35-41 colonne 'Lignes' table Scripts (285/294/339/317/TOTAL 1235) et L45-51 colonne 'Lignes' table Documents (543/330/531+/~200/TOTAL ~1600) : colonnes dediees de mesure pure sans predicat separable dans la cellule, suppression propre impossible sans restructuration de colonne (cellule vide), precedents mission-complete 'Livrables Quantitatifs' (Quantite ~15,000 KEPT pendant que '(8500+ lignes)' prose etait resorbe) + sweep 5949 colonne Lignes - L73 'Lignes code | 1235' et L75 'Lignes documentation | ~1600' : mesures pures de la table 'Metriques Documentation' sans predicat separable dans la cellule (colonne 'Valeur Mesuree' partagee avec hors-grain '4 scripts' '15+'), suppression non propre (cellule vide), precedent mission-complete table 'Accomplissements Cles' L24 Hors perimetre : 0 occurrence en bloc fenced (L155-159/L178-187/L228-230 sans comptes du grain), 0 en inline code, 0 front-matter (pas de YAML). Hors grain strict : '4 scripts'/'4 docs'/'15+'/'75+ points'/'11 endpoints'/ 'N checks'/'5 mesures latence'/ports/pourcentages/durees minutes (L5, L72-L76, L115, L123-147, L162, L213-214, L251-267, L305, L333, L338). Aucun chiffre fabrique, aucune ligne sans mesure supprimee, aucune re-serialisation : 12 replacements uniques par ligne, UTF-8 et LF preserves a l'octet pres (pas de BOM, -158 octets purs retraits). (cherry picked from commit 0d3203a468103c928d74f8f592d74566bb53f7c0) * fix(prose,#17636): phase-29 synthese md -- suppression 4 mesures d'artefact (19,135 lignes docs, 2x404 + 543 lignes scripts), tri 10 occurrences, md-only (cherry picked from commit 42552cae6092124e56d73a9e7be7a3ac8fd91230) * fix(prose,#17636): phase-31 comfyui-auth -- resorption 9 mesures d'artefact (N lignes) du RAPPORT-FINAL-MISSION-COMFYUI-LOGIN-20251125, md-only (cherry picked from commit a6512d2944168c08aaa39aeead6b255f6543890e) * fix(prose,#17636): w8-221 archive 03-plan-formation-datascience-agentique -- resorption 8 mesures d'artefact md-prose (6 comptes notebooks + 2 lignes a 3 comptes modules), predicats conserves (durees ~h, outils, ateliers, 30+ tests), KEEP justifiees (50+ strategies et 30+ tests hors pattern, 4 niveaux domaine, durees pacing, numeros de modules renvois narratifs, 0 fence/0 inline-code/0 front-matter), md-only (cherry picked from commit efb4d999f30234711333fc42caef5d54350f63d6) * fix(prose,#17636): phase-12a-production checkpoint md -- 9 mesures d'artefact resorbees, md-only (cherry picked from commit 658dc9f1176eda39b9f27f0c3ef3f962c7690e83) * fix(prose,#17636): phase-31 comfyui-auth -- suppression 8 mesures d'artefact (N lignes) dans ARCHITECTURE-FINALE-COMFYUI-QWEN-20251125.md, md-only (cherry picked from commit 55846c6e11c9db2661ff9329c68c8136d7319b67) * fix(prose,#17636): c652-reidemeister-invariance.md -- resorption 6 mesures d'artefact md-prose (environ 7 lignes, trentaine, 15-20, ~10, 2x ~30-50), predicats conserves (simp+ring, calcul matriciel explicite, preuves completes), KEEP justifiees (lignes de matrice domaine, renvois l. NNN + plages Reidemeister.lean, incident OOM clos, durees pacing, fences hors perimetre), recette c.5860054240 GO (a), md-only (cherry picked from commit 6dd081873379665a156de02465a265dfa843fa24) * fix(prose,#17636): w8-229 prover_iteration_history.md -- resorption 6 mesures d'artefact md-prose (5 estimations lignes Effort-to-Fix + 1 inventaire 20 JSON files), predicats conserves, 4 KEEP justifiees, recette c.5860054240 GO (a), md-only Triage complet du pattern (nombre + lignes/lines/cellules/cells/notebooks/ modules/fichiers/files, singuliers inclus) dans docs/lean/prover_iteration_history.md : 10 occurrences en prose, 0 bloc fenced dans le fichier, 0 hit en inline code, 0 front-matter YAML. EDIT (6) -- colonne « Effort to Fix » du tableau Failed Targets (L142-L146) : estimations manuscrites de taille de preuve, mesure SUPPRIMEE, predicat conserve quand present (precedent c652-reidemeister-invariance.md GO (a) : « (~10 lignes) » et « (~30-50 lignes) » resorbes de la meme facon) - L142 « 100-150 lines » -> « — » (aucun predicat dans la cellule ; « — » = convention deja en vigueur dans cette table, colonne Time Invested) - L143 « 80-120 lines » -> « — » - L144 « 40-60 lines (after man_optimal) » -> « (after man_optimal) » - L145 « 60-80 lines per case » -> « — » (qualificatif « per case » solidaire de la mesure, supprime avec elle) - L146 « 20-30 lines (after man_optimal) » -> « (after man_optimal) » - L238 « 20 JSON files in `agent_tests/prover/` » -> « JSON files in `agent_tests/prover/` » : inventaire a l'etat present d'un repertoire vivant (doc vivant, sections 2026-07/2026-09 appendues, le compte derive a chaque run) ; predicats conserves (format JSON + localisation). Precedents : « 28 notebooks -> notebooks » (deck S4), INDEX.md « 26 fichiers d'investigation -> fichiers d'investigation » (w8-196) KEEP (4), tri AVANT geste : - L83 « From 20 prover history files containing 89 tactic attempts » : corpus fige du recit clos mai 2026, la piece qui fonde les pourcentages BUILD-FAIL de la section 2 -- preuve d'analyse passee, ne peut plus deriver (angle mort « mesure FIGEE » documente dans le guard) - L130 « Incremental 1-2 line changes » : heuristique de methode (grain du geste incremental recommande), pas une mesure d'artefact du depot -- aucun artefact compte ni projete - L177 « import smoke des 3 modules » : resultat de validation execute pendant le run clos 2026-07-02 (les 3 modules patches tools.py / agents.py / run_prover_bg.py sont nommes dans le recit) -- preuve figee - L216 « 2 fichiers untracked constates, nettoyés à la main » : constat fige du run clos 2026-09-19 (leftovers identifies et nettoyes pendant la passe de calibration) -- preuve d'incident clos Aucune ligne supprimee sans mesure, aucun chiffre fabrique. UTF-8 et LF natif preserves a l'octet pres : 6 lignes changees, 248 lignes au total, 20058 -> 19985 octets, sha256 eec8b8a20ca500ab7dd81290cd12aaa81704ac5100 71a220bdc6a8d9e3ff3a87 -> 51945bdd160876c9d79a0347c603830923b17fd6a51bf 34988b7d82a13e75081. Guard prose-counts-guard : ne juge que les lignes AJOUTEES, cette PR n'ajoute aucun compteur quantitatif -> trivialement propre ; stock KEEP attendu hors garde per la recette. Note baseSha : HEAD worktree (6f0bb93) diverge du baseSha 46aadbf mais le fichier cible est identique a l'octet pres entre les deux commits (diff vide) -- edition valide sur l'etat courant. (cherry picked from commit 6fecb83702d61cd8fc59e855002d2d207331b6dd) * fix(prose,#17636): resorption md-prose 30-remplacement-modele-fp8 -- suppression mesure artefact (404 lignes), md-only (cherry picked from commit 4c3a4f8ec1cde2754e79c790c599d3445dc5f8ff) * fix(prose,#17636): phase-31 comfyui-auth -- resorption 10 mesures d'artefact (N lignes) du RESUME-EXECUTIF-MISSION-COMFYUI-LOGIN-20251125, predicats conserves, 0 KEEP in-pattern, hors-pattern hors perimetre (4 scripts/8 scripts, 100%, heures), recette c.5860054240 GO (a), md-only (cherry picked from commit b56d73fc265c964728f318fc47655695e544adcf) * fix(prose,#17636): 10678-orphan-interp-scan -- resorption 2 mesures d'artefact '5 lignes' (md-only) (cherry picked from commit 5f81d8818158f0fa33a1ef40ed0cc81df28cfef4) * prose(#17636): phase29 rapports 01 -- 6 mesures d'artefact resorbees (md-only, sans re-exec) (cherry picked from commit 835ca228f786cdd6e12b1a912101e7e046fe46d4) * fix(prose,#17636): phase-31 comfyui-auth README ecosysteme -- resorption mesures d'artefact md-only (2000+ lignes x2, colonne Lignes du tableau utilitaires), KEEP fenced l.13-29 + renvois (376/170 lignes) (cherry picked from commit 5a912d1e47a978663885a977dddb4daf5b0e88ab) * fix(prose,#17636): knot-4.33-investigation -- suppression 2 mesures d'artefact md-prose (~6 lignes), KEEP 8 (renvois code, incidents clos), md-only (cherry picked from commit 917b3ddbe7bfd0b97de128aeacad126e3052a698) * fix(prose,#17636): NOTEBOOK_ENV_COVERAGE -- resorption 5 mesures d'artefact en têtes de section (38/42/32/18/27 notebooks), md-only (cherry picked from commit 30f4c7520c92bc721d5095f18ff0d797f051ce0b) * fix(prose,#17636): qc-notebooks-exec-classification -- 5 mesures d'artefact en prose supprimees, predicats conserves (md-only) (cherry picked from commit 1773904326753b28af3b5103d409bfb808a8e4e3) * fix(prose,#17636): w8-255 -- resorber 2 mesures d'artefact '~150 lignes' (KEEP seuils doctrine L394/C399-L1 et ancres .lean) (cherry picked from commit 343f13b8806f1b76aa01599a87bae317008bc54b) * fix(prose,#17636): w8-259 docker-config analyse -- supprimer mesure d'artefact (316 lignes) L157, 4 KEEP fenced (cherry picked from commit b3c7694405ae4ee3f08ee2284b393595e222e0d3) * docs(ict,#17636): case14 -- resorber mesures d'artefact en prose md (recette ai-01 c.5860054240, GO (a)) TRI avant geste, 5 occurrences du grain (nombre + lignes) dans le tableau Modifications, toutes classe 1 (mesure d'artefact main, derivable) -> mesure supprimee, predicat conserve : - +310/+265/+422/+140/+200 lignes -> (cree ...), chemins inline code intouches. Aucun chiffre fabrique, aucune ligne supprimee, hors perimetre code/ inline/YAML respecte. Byte-precis : UTF-8 LF, accents conserves. (cherry picked from commit d89cc335d39af7635b1276dfb0d46affb2879bf3) * docs(#17636): prose-counts scripts-reference -- absorber mesures artefact L215 (56 fichiers/82 -> predicat), 4 occurrences KEEP justifiees (cherry picked from commit e53cb6bbba87ab22e3882e4b64561b99b9b79eeb) * docs(archive,#17636): po2026-local-build-troubleshooting -- supprimer la mesure d'artefact en prose '309 lignes' (L2), garder le predicat (cherry picked from commit 48b1c07f2a753d6bab9bd1b5ece5639384f1f1a7) * docs(genai-image,#17636): GUIDE-UTILISATION-COMFYUI-QWEN -- resorber 4 mesures d'artefact '(N lignes)' en prose (section References), renvois conserves (cherry picked from commit 05575cf5a9d8af9c0f15f11350c35608f3723d46) * fix(prose,#17636): w8 DATASET_REGISTRY.md -- resorption mesure artefact (l.113 '10 fichiers' -> predicat, 3 KEEP justifies) (cherry picked from commit 87f38ff0203ce08dfcb73aea43d9275597f81308) * fix(vibe,#18589): restore Effort to Fix column in prover_iteration_history.md -- proof-size estimates carry the cell's information, not perishable artifact measurements Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
…age + reference/lean) (#18600) * docs(suivis,#17636): phase-12a-production -- rapport 13 iis-ssl-comfyui resorbe 3 mesures d artefact en prose (56/145/559 lignes) (cherry picked from commit 4d97330e2c560ab1c42e9a37f4bcd279fd210fb4) * docs(#17636): md prose — 2025-10-16_00_rapport-tests-visuels-playwright (w8-289) - L26 : supprimer la mesure '2 fichiers' des screenshots script (predicat 'qualite limitee' garde) - L47 : supprimer la mesure '2 fichiers' des screenshots MCP (predicat 'haute qualite' garde) - L425 KEEP : '| Screenshots generes | 4 fichiers |' — statistique figee du run clos (tableau Metrique|Valeur), cellule sans predicat separe, mesure non supprimable proprement Recette ai-01 issue #17636 c.5860054240 (verdit GO (a) 30/09 04:52Z). Tri avant geste : 3 occurrences du pattern nombre+fichiers, 2 editees, 1 KEEP justifie. (cherry picked from commit a7d1e6ffc4eeb533d1aaf0dbecc598d5a7e58108) * fix(prose,#17636): phase-29 rapport 41 -- 3 mesures d'artefact 'fichiers' prose supprimees (md-only) Recette ai-01 issue #17636 c.5860054240, verdict GO (a) 30/09 04:52Z. Tri avant geste : scan exhaustif du grain (nombre + lignes/lines/cellules/ cells/notebooks/modules/fichiers/files, formes singulieres incluses) : 3 occurrences en prose, 0 dans les blocs fenced, 0 en inline code. Editees (3 lignes, mesures d'artefact manuscrites sur artefacts vivants derivables au catalogue, precedents rapport 19 / genai-images-mission-complete / sweep 5962 du meme dossier archive) : - L219 'Scripts renommés : 6 fichiers' -> 'Scripts renommés' (predicat garde, precedent bullet 'Documentation exhaustive') - L220 'Références mises à jour : 2 fichiers' -> 'Références mises à jour' - L221 'Rapport généré : 1 fichier (...)' -> 'Rapport généré : (...)' (mesure auto-referentielle, precedent sweep 5962 L155 ; reference narrative du nom de fichier conservee verbatim) Hors grain strict, non touches : '4 scripts' L17, '28 nodes' L122, '6 scripts' L254 (scripts/nodes hors grain, precedent '(8 docs)'), '(2|3|11) nodes' L83-96 en bloc fenced, durees 'X minutes' (pacing). Aucun chiffre fabrique, aucune ligne sans mesure supprimee, aucune re-serialisation : 3 replacements uniques par ligne, UTF-8 et LF preserves a l'octet pres (pas de BOM, -36 octets purs retraits). (cherry picked from commit 1be7b898def4a5ba522c2a880a7f39c5b85e3971) * docs(#17636): scan-po-2027 -- resorber les mesures d'artefact en prose md (2 lignes : ~140 lignes / 1 fichier / 1 file / ~140 insertions supprimees, predicat 0 deletions garde) (cherry picked from commit 7ddc1ffde6170111c34c024a9bd1d53ffff0a3e9) * docs(#17636): mimo-converse-cartography -- resorber les mesures d'artefact en prose md (2x '2 lignes' absorbees, predicat garde ; 8795 fichiers KEEP figee rev pinnee) (cherry picked from commit 8133a4810e5cddc96e06693090e354e2e794c358) * docs(#17636): scientific-review-registry -- resorber la mesure d'artefact 178 notebooks en prose (md-prose, tri avant geste) (cherry picked from commit b5b6652f9257bd48dfce96d8f018116229a8cdae) * docs(#17636): prose-counts _archive-convention.md -- supprimer la mesure d'artefact 17,6 KLOC (predicat «recent» conserve) (cherry picked from commit c117b894f3b591f028829f0db55d6401fbfe52a5) * fix(prose,#17636): wsl-kernels-detail -- suppr mesures d'artefact (20/20 cells, 30/30 cells), predicats 0 errors gardes (cherry picked from commit 091b6aaf4a5dce2dddf4c6157511a8e9cc0aefa0) * docs(archive,#17636): curriculum-renumbering-phase1/ml.md -- resorber 2 mesures d'artefact prose (20/28 notebooks), tri complet 6 occurrences KEEP justifiees (recette ai-01 c.5860054240 GO (a), md-prose) (cherry picked from commit 6d3b19975d0f3ab7d9a66ce164e3894c2293f239) * docs(#17636): prose-counts 2025-10-16_05_RAPPORT-FINAL-PHASE12A-PRODUCTION -- resorption 8 mesures d'artefact en prose (8 lignes), KEEP justifiees colonnes Lignes + 4 fichiers run clos Recette ai-01 issue #17636 c.5860054240, verdict GO (a) 30/09 04:52Z (md-prose). Tri avant geste : scan exhaustif du grain (nombre + lignes/lines/cellules/ cells/notebooks/modules/fichiers/files, formes singulieres incluses) : occurrences en prose classees, 0 en bloc fenced, 0 en inline code, 0 front-matter (pas de YAML). Editees (8 lignes, mesures manuscrites a predicat co-resident, artefacts vivants derivables -- precedents e97beb7 RESUME-FINAL / a8e9740 checkpoint 12A / a7d1e6ffc rapport playwright du meme dossier) : - L154 'Screenshots: 2 fichiers generes' -> 'Screenshots generes' (predicat garde, precedent a7d1e6ffc L26) - L264/L274 headings '(1235+ lignes)' / '(2600+ lignes)' supprimees, predicats 'Scripts Automatises' / 'Documentation Technique' nus (precedent a8e9740 '### Scripts Production (15 fichiers)') - L481 '2600+ lignes produites' -> 'produites' (predicat seul, precedent e97beb7 L337 '1600+ lignes, 15+ exemples' -> '15+ exemples') - L634/L635 '2600+ lignes documentation technique' / '1235+ lignes scripts automatises' -> predicats nus (precedent e97beb7 L211/L212 verbatim) - L681/L682 '1235+ lignes, ' / '2600+ lignes, ' supprimees, hors-grain '4 scripts majeurs' / '5 documents' conserves KEEP justifiees : - L224 'ligne 3 du fichier' : locator fige dans le recit d'incident clos (action passee du 2025-10-16), pas une mesure de taille derivable ; doublon L326 en bloc fenced hors perimetre - L266-272/L276-283 et L572-575/L580-583/L588-592 colonnes 'Lignes' (285/294/339/317/1235+ ; 543/330/362/578/~450/2600+ ; ~100/~80/~120) : colonnes dediees de mesure pure sans predicat separable dans la cellule, suppression propre impossible sans cellule vide (precedents e97beb7 colonnes Lignes + sweep 5949) - L301 '**4 fichiers**' (Total Screenshots) : statistique figee du run clos, cellule sans predicat separable (precedent a7d1e6ffc L425 verbatim) Hors grain strict : '4 scripts', '5 documents', '41 scripts', '75+ points', 'Notebook 1..5' (planifies, precedent a8e9740 '5 notebooks planifies'), ratios 4/5, 5/9, 10/15, tailles KB, durees minutes. Aucun chiffre fabrique, aucune ligne sans mesure supprimee, aucune re-serialisation : 8 replacements uniques par ligne, UTF-8 et LF preserves a l'octet pres (pas de BOM, -109 octets purs retraits). (cherry picked from commit 7438258e1f5deb6dd49c6850bcd568f018b3336c) * docs(#17636): prose-counts rapport 36 phase-29 -- resorption 2 mesures d'artefact en prose (563/553 lignes), 27 cellules KEEP colonnes Lignes Recette ai-01 issue #17636 c.5860054240, verdict GO (a) 30/09 04:52Z (md-prose). Tri avant geste : scan exhaustif du grain (nombre + lignes/lines/cellules/ cells/notebooks/modules/fichiers/files, formes singulieres incluses) : occurrences en prose classees, 3 en bloc fenced (hors perimetre : '# AVANT (ligne 19)' L233, 'Fichier secrets' L245, 'for line in f' L248-250), 0 en inline code, 0 front-matter (pas de YAML). Editees (2 lignes, mesures manuscrites a predicat co-resident, artefacts vivants derivables -- precedent 7438258e1 colonnes Lignes) : - L89 '09-test-generation-image-workflow-officiel (563 lignes)' -> predicat nu (doublon de la cellule L84, mesure supprimee) - L95 '31-test-generation-image-fp8-officiel (553 lignes)' -> predicat nu (doublon de la cellule L86, mesure supprimee) KEEP justifiees : - L32-34/L59-62/L70-73/L80-86/L101-105/L109-113/L117-124/L128-131/L139-145 colonnes 'Lignes' (98/66/210/619/146/729/356/563/382/553/720/170/124/505/ 77/206/179/203/223/128/256/194/293/440/45/630/241/188/296) : colonnes dediees de mesure pure sans predicat separable dans la cellule, suppression propre impossible sans cellule vide (precedent 7438258e1 colonnes Lignes verbatim) - L296 'Fichiers PNG copies' : pas de nombre adjacent, hors grain - L297 'Taille fichier > 100 KB' : nombre lie a l'unite KB, hors grain (criteres de succes, pas mesure de lignes) - L228 '**Fichier** :' : locator sans nombre, hors grain Hors grain strict : comptages 'scripts' du tableau resume L303-309, dates, numeros de rapports, priorites P0-P3, tailles KB. Aucun chiffre fabrique, aucune ligne sans mesure supprimee, aucune re-serialisation : 2 replacements uniques, UTF-8 et LF preserves a l'octet pres (pas de BOM, -26 octets purs retraits). (cherry picked from commit 6a0f1171843ff0b5e4e1e536ebc8d3580e81c9e7) * fix(prose,#17636): docs/claim-implicit-check -- la mesure d'artefact (3682 lignes) cede la place au predicat (cherry picked from commit 0bdb94193ce6e24d12a3ac9e22205e6c17e7b082) * docs(prose,#17636): ICT cech pre-enregistrement -- resorption des mesures d'artefact en prose (2 gestes) (cherry picked from commit 74f7b17fe9500d0c186825318814369bbab43c3c) * prose(#17636): variation-genre-census -- resorber la mesure d'artefact (161 lignes) Recette ai-01 c.5860054240 (GO (a) adaptation .md) : supprimer la mesure d'artefact editable, garder 3 occurrences KEEP (schema CSV = domaine, 2 titres de PR cites = references narratives). (cherry picked from commit 345d08839fa80d6d545f05cfb4abc2f51a11de83) * fix(vibe,#18600): restore cech-discriminator-pre-enregistrement.md to main -- protocol commitments (~80 lignes, >= 8 cellules) are not perishable measurements Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>
…18431) * fix(probas,#18401): PyMC-01 kernelspec pymc-arviz11 + API arviz 1.1 Le notebook MyIA.AI.Notebooks/Probas/PyMC/PyMC-01-Setup.ipynb etait mort sous kernel pymc-arviz11 (Python 3.12.14, arviz 1.1.0) la version standard sur main : - cell 10 (az.plot_dist(trace, var_names=['theta'])) : OK en arviz 1.1 (plot_dist re-introduit dans 1.1), mais sans HDI : la cellule n affichait que la densite, sans l intervalle de credibilite a 94%. - cell 12 (az.summary(trace, ..., ci_prob=0.94)) : OK fonctionnel en arviz 1.1 (le param est ci_prob, pas hdi_prob), mais la sortie montrait l ETI (Equal-Tail Interval) au lieu du HDI (Highest Density Interval), ce qui est pedagogiquement faux pour un posterior asymetrique (le modele two_coins a un posterior legerement asymetrique). Note historiue : #15156 (commit 06ab17f, 2026-09-09) avait fait la migration arviz 1.1 initiale ; #15388 (commit e8c0a67, 2026-09-09) avait reverte la migration avec la justification « plot_posterior retire en arviz 1.x, plot_dist le remplace ». La lecture etait incomplete : plot_dist REVIENT en arviz 1.1, et summary garde ci_prob (avec ci_kind=hdi). Issue #18401 avait inverse le sens de la migration pour cell 10 le bon fix est : - garder plot_dist + ajouter ci_prob=0.94, ci_kind=hdi - garder ci_prob=0.94 + ajouter ci_kind=hdi dans summary Fix : - kernelspec.name = pymc-arviz11 (conda env local, regle F respectee) - cell 10 : ajout ci_prob=0.94, ci_kind=hdi (HDI 94% explicite) - cell 12 : ajout ci_kind=hdi (sortie en colonnes hdi94_lb/hdi94_ub) - commentaire explicite sur le sens plot_dist <-> plot_posterior en arviz 1.1 (pour eviter de re-ouvrir le meme malentendu). Re-execution bout-en-bout : 31 cellules, 14 code-cells, 0 erreur, duree 23.1s SUCCESS sous kernel pymc-arviz11 (Python 3.12.14, arviz 1.1.0, pymc 6.3.1, matplotlib 3.9.4, numpy 2.x). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(probas,#18401): PyMC-01 re-exec env pymc-arviz11 kernel python3 canon (review #18431) Re-execution depuis l'env pymc-arviz11 recree (Python 3.12.14, pymc 6.3.1, arviz 1.1.0, matplotlib 3.9.4), kernel python3 resolu vers l'interpreteur de l'env (kernelspec env-local) : metadata.kernelspec revient au canon python3 / Python 3 des 19 autres carnets PyMC. 31/31 cellules, 0 erreur, HDI 94 % (cellules 10 et 12), sources byte-identiques a la review -- seules les sorties fraiches et le kernelspec changent. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * chore(twin,#8057): attestation Probas-1 Setup apres re-exec PyMC-01 (#18431) Blob python atteste bb62a9d (tete fb3f989), csharp f7b2dc7 (Infer-1 inchange). Edition unilaterale cote Python : migration API arviz 1.1 (ci_kind='hdi') + kernelspec canon python3, documentee au body #18431. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(probas,#18431): PyMC-01 re-exec sous l'interpreteur reel de pymc-arviz11 (3.12.14) La re-execution precedente avait tourne sous le Python Store 3.13.14 : le kernelspec user-level python3 (AppData/Roaming) eclipse le spec env-local de pymc-arviz11 dans la resolution jupyter_client. language_info.version committait 3.13.14, contredisant body et declenchant le Kernel drift guard. Resolution : JUPYTER_PATH pointe sur share/jupyter de l'env (precedence maximale) + display_name du spec env aligne sur le canon. language_info.version enregistre desormais 3.12.14 (env reel), kernelspec canon python3 / "Python 3" inchange. Sources byte-identiques a la tete precedente (0 cellule source modifiee) ; sorties fraiches sur 9 cellules de calcul ; 14/14 code, 0 erreur, HDI 94% present (c.10 plot_dist ci_kind='hdi', c.12 summary hdi94_lb/ub). Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * chore(twin,#8057): attestation Probas-1 Setup apres re-exec 3.12.14 (#18431) Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * chore(probas,#18431): PyMC-01 re-exec post-merge 18034 -- ipywidgets dans l'env, bannieres rich disparues Re-execution bout-en-bout apres fusion de main (#18034: chains=4 explicites + 4 citations) : sorties fraiches sous l'env pymc-arviz11 (Python 3.12.14, kernel python3 resolu via JUPYTER_PATH), ipywidgets 8.1.9 installe dans l'env -> la banniere UserWarning rich/live.py (qui embarquait le chemin site-packages, MACHINE_PATH 0->2 sur le ratchet) n'est plus emise. Mesure : 14/14 cellules code, exec 1-14, 0 erreur, 0 chemin machine dans les sorties, hdi94 present (fix arviz 1.1 preserve), sources identiques au merge 4752dd3 (0 cellule source modifiee). Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * chore(twin,#8057): attestation Probas-1 Setup apres re-exec post-merge (0017) python_sha e7f96c1 = blob HEAD (re-exec ipywidgets), csharp_sha f7b2dc7 inchange. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * chore(twin,#18431): keep single attestation -- drop intermediate 0015/0016 states, renumber final 0017 as 0015 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
…ode (#18609) * docs(hygiene,#18493): scan + classification des compteurs litteraux code Issue #18493 : hygiene des compteurs quantitatifs dans commentaires de cellules code, distincte de #17636 (prose markdown, byte-identite preservee). Toute edition d'un commentaire code declenche une re-execution C.2 du carnet, donc classe geree par carnet via PR Papermill, pas par relais md-only. Livrable : 1. scripts/notebook_tools/scan_code_comment_counters.py -- organe mesurant les 4 kinds : NOTE_runtime / tilde_count / gt_runtime_threshold / config_dict_doc. Disambiguation runtime guards (if x > N, delta_e = ..., slippage() > N) pour eviter les faux positifs sur la logique operationnelle. 2. docs/ledgers/18493-counter-scan-classification.md -- classification exhaustive des 21 hits sur 17 carnets : - 4 hits KEEP (Lean-10 c.2/c.6, Lean-21 c.3, Gibbard-Satterthwaite c.9) - 17 hits A-INVESTIGUER (calibrations runtime documentees, QC + Lean + Z3 + SMT + GenAI) - Recommandation voie EDIT par carnet avec cout C.2 -- pas executee dans cette PR Aucun carnet edite, aucune cellule code touchee, pas de re-execution C.2 due. `python scripts/notebook_tools/scan_code_comment_counters.py` -- total hits 21 / notebooks 17. Grain: LIGHT/tooling -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/notebook-python #18506 * fix(docs,#18609): retirer les compteurs litteraux en prose du ledger Le check-run `prose-counts` (#17636) a rougi sur les snippets de commentaires code que le ledger cite textuellement (ex: `# ~1500 fichiers`, `# ~10 mots`, `SEQ_LEN = 96 # ~4 mois`). Issue #9377 : les donnees quantitatives doivent etre tenues par le CI, pas dans la prose manuelle. Reformulation : les references aux cellules restent (`Lean-10 c.6`, `Chatterbox c.17`), les snippets litteraux disparaissent au profit de descriptions par motif (`~N fichier`, `~K unite`). Les carnets candidats pour la voie EDIT sont listes par chemin dans le ledger sans citer leur contenu ; le scan `--json` reste la source de verite pour le detail. Verifications : - `python scripts/notebook_tools/check_prose_quantitative_claims.py --diff origin/main...HEAD` : 0 compteur (avant edit : 4). - `python scripts/notebook_tools/scan_code_comment_counters.py` : 0 hits sur le ledger (avant edit : 0, mais 4 sur le commit parent). Grain: LIGHT/tooling -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/notebook-python #18506
…18495) * fix(argu,#18434): correct provenance for Argumentation-07b bus port Audit #18434 measured three things that the notebook's intro asserted falsely: 1. communication_channels.py does not exist in the EPITA trunk (git log --all -- argumentation_analysis/core/communication/ communication_channels.py returns nothing). The actual contract is split across three trunk modules: channel_interface.py (ChannelType L17, LocalChannel L155), message.py (Message.__lt__ L110, create_response L191), and middleware.py (determine_channel L163). The vendored 392-line port aggregates the three locally, per the fallacy_rules.py convention (EPIC #4960). 2. The "8 modules" count is wrong at present: the tronc directory carries 13 .py files (contract, 4 channels, protocol, middleware, 3 adapters, __init__, channel_interface) plus tests/. 3. The "12 bancs / 45 cas" citation is wrong at present: the tronc tests live in 3 files totalling 29 def test_ (test_channel_interface 10, test_message 15, test_communication_integration 4). Cells 0 and 1 are rewritten to reflect the actual tronc layout. The code cells continue to consume the vendored port (same import path, same symbols) -- no re-execution needed; outputs are byte-identical to the prior committed state (H.3 respected). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(argu,#18495): corrige compte 13->12 fichiers .py (audit Hermes) * fix(argu,#18495): retire les 3 quantitatifs en prose et la syntaxe import dans cell 0 Trois rouges propres signales par l'adjoint po-2025 (DM adj-18495-ci-specifics-20260930, logs run 36727850643 + 36727850613) : - prose-counts run 36727850643 cell 0 : 12 fichiers, 392 lignes, 8 modules refuses par #17636 (les donnees quantitatives sont tenues par le CI, pas par la prose). Remplace par une description structuree des trois modules + renvoi vers `ls argumentation_analysis/core/communication/` pour la liste complete. - markdown-rendering run 36727850613 cell 0 : `code_stmt_in_markdown` sur `from argumentation_analysis...` et `from communication_channels import ...` (chaines littérales dans une cellule markdown). Reformule en prose : "le carnet importe son **port local**, jamais le depot EPITA". - perimeter run 36729052955 : verifie OK en local (1 fichier touche). Pas de modification body necessaire. Le check H.3 (no un-executed notebooks) reste vert : aucune cellule code modifiee, uniquement la cellule markdown 0 (les outputs de cells 2..16 restent byte-identiques). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(argu,#18495): corrige description port vendored dans cellule 0 CHANGES_REQUESTED myia-ai-01 (review 2026-09-30T17:52:35Z, head c59fcc9) : 'Le repertoire contient trois modules de contrat + un port vendored (agrege, stdlib pur)' etait faux -- le port vendored communication_channels.py vit dans le repertoire du carnet, pas dans argumentation_analysis/core/communication/ du depot EPITA. Remede applique (formulation proposee par le coordinateur) : 'Outre ces trois modules, le repertoire porte les canaux concrets, le protocole requete-reponse, des adaptateurs et un dossier tests/ (liste complete : ls argumentation_analysis/core/communication/).' check_prose_quantitative_claims.py --diff origin/main...HEAD -> OK vert. Markdown-only, pas de C.2 (re-exec non due). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
…tif LLamaSharp derive de la machine (#18619) La cellule de configuration du backend natif LLamaSharp codait le dossier win-x64 et les noms llama.dll / mtmd.dll en dur. Le RID est desormais derive de OperatingSystem et RuntimeInformation.ProcessArchitecture, les noms de bibliotheque suivent la plateforme (llama.dll, libllama.so, libllama.dylib), le dossier natif unique de macOS et ARM est pris en compte, et NUGET_PACKAGES est respecte. La construction du pipeline vide desormais les dossiers temporaires du store et de l'index vectoriel avant de les ouvrir, comme le fait deja la mesure de la section 6 : sans cela, chaque re-execution ajoutait une copie de chaque document et faussait l'inspection des partitions et les citations. Markdown : cellule 3 (bibliotheque native par plateforme, prerequis du noyau sur le runtime .NET 10), cellule 10 (dossier natif de la plateforme). Re-execute sous Linux (dotnet-interactive 1.0.617701, hote sur .NET 10) : 11/11 cellules, 0 erreur, sorties identiques d'une execution a l'autre hors duree mesuree. Claude-Session: https://claude.ai/code/session_01VuVMY5fhzd5cQhzHiyvjka Co-authored-by: Claude <noreply@anthropic.com>
…18506) * fix(argu,#18391): build DETECTEUR_SOPHISMES from taxonomy (38 vs 4) Audit #18391 measured that Argumentation-02 c.13 declared a hand-coded DETECTEUR_SOPHISMES with only 4 entries, while the upstream taxonomy (Cellule [2]) carries 1408 nodes -- 39 of which carry a non-empty nom_vulgarise. The 4-entry dict missed 35 named sophisms that the student could in principle distinguish on the same keywords; the "soit ... soit" trigger for Faux dilemme was unreachable by any natural sentence ("soit ... soit" with literal three dots). This commit replaces the hand-coded dict with a taxonomy-driven builder: - _build_detecteur(taxonomy_df) iterates every node with non-empty nom_vulgarise, extracts 3 discriminating tokens from desc_fr (length >= 5, alphabetic, French stopwords removed), and produces the table. - A length filter (len(nom.strip()) > 50) drops the upstream CSV pollution at PK 993 (a row whose nom_vulgarise column was carrying a literal "ON INVERSERAIT PAS LE TEXT_FR eT LE NOM VULGARISe?" -- debug residue from the taxonomy maintainer). - Output of the cell is now: 38 sophismes couverts (was 4); sample test on a synthetic sentence detects 3 of them. Cell re-executed via Papermill (kernel python3, 0 errors, 22 cells walked); outputs and execution_count applied via byte-targeted substitution. The other 21 cells were not modified (Tell c.915-L1: preserves the byte-identity of the unaffected JSON cells). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(argu,#18506): remove stale metadata.papermill block Le bloc `metadata.papermill` datait du 2026-07-03 et referencait `Argument_Analysis_Agentic-1-informal.ipynb` -- un fichier distinct de l'actuel carnet. Le Papermill ratchet (issue #11155) detecte cette incoherence : outputs/execution_count ont change au commit c.5b921ab (audit #18391, build du DETECTEUR_SOPHISMES depuis la taxonomie 38 vs 4 entrees) mais le bloc metadata reste sur la passe anterieure. Le carnet a ete re-execute via kernel Jupyter direct, pas via Papermill -- le bloc est trompeur (dates de juillet, chemin source distinct). Voie `BLOCK_REMOVED` du ratchet, autorisee par defaut. `python scripts/notebook_tools/check_papermill_ratchet.py origin/main` retourne `BLOCK_REMOVED` / 0 regression. Grain: LIGHT/notebook-python -- lane myia-po-2023:CoursIA-2 -- prev: MED/notebook-python #18502 * fix(argu,#18506): corrige interpretation/exercice 2 sur table DETECTEUR_SOPHISMES 38 vs 4 NanoClaw review (CONCERNS, 2026-09-30T16:50:27Z, comment) : la cellule 14 (aa1i-detector-interpret) et la cellule 15 (aa1i-ex2-intro) decrivaient l'ANCIENNE table de 4 entrees (Generalisation abusive, Appel a l'autorite, Ad hominem), alors que la cellule 13 produit 38 entrees issues de la taxonomie et detecte 3 sophismes sur le texte synthetique (La tete dans le sable / Retropedalage / Biais culturel). Reserves balle auteur corrigees au commit courant : 1. Cellule 14 : remplace la table (3 anciennes detections) par les 3 reellement produites par la cellule 13 (La tete dans le sable, Retropedalage, Biais culturel) + reformulation Limite 2 (la couverture est derivee de la taxonomie, pas en dur, et le trigger 'position' tirant deux sophismes incompatibles est explicite comme borne). 2. Cellule 15 (Exercice 2) : '4 entrees. Vous allez l'etendre' -> 'construite dynamiquement a partir de la taxonomie (38 entrees a ce snapshot)'. La consigne d'extension reste (ajout direct dans le dict pour ne pas dependre d'un rebuild), avec mention de la voie canonique (enrichir la taxonomie source). 3. Cellule 13 (bonus qualite) : commentaire '39 sophismes' -> '38' (le compte reel au snapshot) ; docstring 'tries par longueur decroissante' -> 'pris dans l'ordre d'apparition, sans tri' (le code ne triait pas, le commentaire mentait). Format source (list[N]) preserve a l'identique (16 elements cell 14, 13 elements cell 15, 1 element cell 13) -- pas de split cosmétique. Diff : +11/-11 sur 1 fichier. Markdown-only, cellules code (outputs, exec_count) intactes -> C.2 non applicable, pas de re-execution due. check_prose_quantitative_claims.py --diff origin/main...HEAD -> OK vert. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
…s moviepy 2.x (#18529) * fix(genai-video,#18512): porter video_helpers et 04-1/04-4 vers moviepy 2.x - video_helpers.py : `from moviepy.editor import ...` -> `from moviepy import ...` (4 sites) ; `.subclip(...)` -> `.subclipped(...)` (2 sites). - 04-1-Educational-Video-Generation.ipynb : cellule de verification des dependances portee de `import moviepy.editor as mpy` vers `import moviepy` (test de presence + version), pattern identique a 04-2. - 04-4-Production-Video-Pipeline.ipynb : meme pattern que 04-1. - requirements.txt l.30 : `moviepy>=1.0.3` -> `moviepy>=2.0,<3` aligne sur requirements-video.txt. - test_video_helpers.py : mock `_install_moviepy_stub` expose desormais les classes au top-level `moviepy` (l'API 2.x) ; `_FakeClip` / `_FakeAudio` portent `.subclipped()` avec alias `.subclip` delegant. 04-2 etait deja conforme (l'import 2.x etait en place). Tests : 16/16 PASS pour test_video_helpers.py ; 04-1 re-execute via Papermill 2.7.0, 31/31 cellules, 0 erreur, 13/13 `execution_count` reels. 04-4 re-execute partiellement (sortie de cellule 9 capturee -- stub pedagogique `generate_script_with_llm` retourne None par construction, pas une regression du portage) ; outputs originaux HEAD preserves sur les 11 cellules suivantes, exec_count non-null partout (C.2 respecte). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(genai-video,#18529): retirer les 2 bannieres papermill committées dans 04-4 Lors de la première passe de re-execution papermill (c.1324), la cellule 9 (def generate_script_with_llm -> return None, exercice etudiant) a provoque un arret d'execution au bout de 4 cellules. Papermill a alors injecte 2 cellules de banniere d'erreur (une en position 0 du carnet, visible par l'etudiant a l'ouverture, et une balise interne `papermill-error-cell`) avant de sauvegarder. Le body du PR #18529 parlait d'« outputs préservés » sans mentionner ces 2 ajouts -- c'etait un defaut de transparence. Le CONCERN de la review NanoClaw (verdict CONCERNS, protocole v2, 27 sources byte-identiques sur 28 cellules code/markdown hors bannieres) a pointe l'omission. Retrait : 2 cellules supprimees, -24 lignes, le carnet retrouve sa structure de 28 cellules = celle du base 430b101. Aucun changement sur le contenu educatif, les 7 cellules # TODO sont intactes, le portage moviepy 2.x reste valide sur la cellule de verification des dependances (moviepy 2.1.2 : disponible). L'Output-failure ratchet devrait revenir a 2 -> 2 (pas de regression). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(genai-video,#18529): reformuler le message cle OpenAI absente * Revert "fix(genai-video,#18529): reformuler le message cle OpenAI absente" This reverts commit 4ac5ec2. * fix(genai-video,#18512): 04-4 -- gardes C.1 des 4 exercices stubbes + re-exec end-to-end Le carnet portait 4 exercices etudiant stubbes (generate_script_with_llm, generate_scene_image, animate_image, generate_tts_audio) dont le code aval n'etait pas garde : toute execution complete crashait (len(None), img.save(None), plt.subplots(1,0)) -- defaut C.1 present sur main depuis l'introduction des stubs, revele par la re-exec du port moviepy 2.x. Gardes C.1 aux 6 points de consommation (script vide, image None, frames None, audio None, assemblage, export) : le pipeline deroule ses etapes en nommant chaque exercice a completer. Re-exec end-to-end (papermill, cwd 04-Applications, .env charge) : 28/28 cellules, sequence 1-14, 0 erreur. Output-failure ratchet 2 -> 1 (reste "Mode interactif", ineliminable, deja en base) -- la voie 1 du body, que le crash C.1 rendait impossible. Les sorties stale de mai sont remplacees par les sorties reelles du port moviepy 2.1.2. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(genai-video,#18529): porte set_audio -> with_audio et .resize -> .resized (moviepy 2.x) L'audit exact-head de l'adjoint (DM `adj-18529-moviepy-two-sites-20260930`) a releve 2 sites MoviePy 1.x persistants dans `video_helpers.py`, non couverts par le portage initial #18512 : 1. `video.set_audio(audio)` (l.292) -> `video.with_audio(audio)` (API non-destructive renommee avec prefixe `with_` en 2.x) 2. `VideoFileClip(path).resize((w, h))` (l.336) -> `.resized((w, h))` (convention `-ed` pour methodes non-destructives) Le grep initial visait `moviepy.editor` et `.subclip(` -- il n'a pas attrape ces 2 sites. Les fakes `_FakeClip` exposaient encore `.resize()` et `.set_audio()`, donc les 16 tests passaient sans tester reellement ces fonctions contre MoviePy 2.x. Geste : porter les 2 sites vers les noms 2.x, adapter les fakes pour exposer `with_audio`/`resized` en priorite (avec aliases 1.x deleguant), et adapter `test_resize_video_delegates_to_resized` pour verifier `resized_arg` sur le fake (preuve que le helper appelle l'API 2.x et non l'alias 1.x). 8 sites portes au total (4 imports + 4 methodes), 16/16 tests verts. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
…L-01 (#18468) * docs(nlp,#17636): prose-counts 01_TAL_Du_Mot_Aux_Dependances — supprime la mesure d'artefact 'trois lignes affichées' (cell 27), KEEP 21/13 lignes (quantite du corpus/domaine) * fix(prose,#17636): Lean-16f Conway FWT -- resorber les mesures d'artefact en prose markdown Recette arbitree c.5860054240, tri avant geste, 9 cellules markdown editees : - 'tous deux **0 sorry**' (intro) et 'Les deux modules sont a 0 sorry' (S4) et '(0 sorry)' (S6) : mesure supprimee, predicat garde ('executes pour vrai' / 'reellement prouve, pas seulement esquisse') - 'en une ligne' x2 (S5), "2 lignes de preuve" et 'd'une ligne chacune' x2 (S5 interp) : decomptes de lignes supprimes -> 'deux reductions' / 'deux tactiques exact' (verifiables sur le tableau adjacent) - colonnes 'sorry' des tables de synthese S7 et Resume : supprimees, le decompte autoritaire vit dans les sorties commitees (registre, grep, lake) - 'Quatre exercices' -> 'Des exercices' (automesure du carnet, nombre en lettres) KEEP justifies : quantites du domaine (18 vecteurs Cabello, 16 profils CHSH, 2^18, bornes |score|=2), recit de run clos (0 valide / 200 000 echantillons, table grep/lake 'Resultat attendu'), decomptes du registre (dataset), duree estimee 60 min, reference cellule d194d5fe, specs d'exercices. Cellules code/outputs/execution_count/metadata/IDs byte-identiques, aucune re-serialisation, source conservee en forme liste, UTF-8 sans repli ASCII. * docs(notebook,#17636): prose-counts Planners-3-State-Space-Csharp -- 4 mesures d'artefact supprimees en prose markdown, predicats conserves * chore(twin-parity,#8057): rebaseline paire « Planners-3 State-Space » après retouche prose C# Audit firsthand base<->tête avant attestation : 35 cellules des deux côtés, cellules code **byte-identiques** (source, outputs, execution_count), 4 cellules **markdown** modifiées côté C# uniquement, aucun strip outillé. Le jumeau Python (37 cellules md) ne porte aucune des chaînes retirées : miroir impossible, `--update` est la sortie. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> * docs(notebook,#17636): prose-counts 04-2-Transcription-Pipeline -- 1 mesure d'artefact supprimee (2 MP3), occurrences restantes KEEP justifiees * fix(prose,#17636): retire 04-2-Transcription de la branche -- doublon de #18472 Le fichier etait livre deux fois (collision FORT signalee par l'organe path-collision) : #18472 porte l'edition complete du carnet (3 occurrences, suite review NanoClaw c.419d873e01) et reste le livreur canonique ; #18468 garde Lean-16f + Planners-3-Csharp + TAL-01 + attestation twin Planners. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(prose,#17636): review NanoClaw #18468 -- TAL compteurs exercices + qualification KochenSpecker TAL c36/c37 : « Trois exercices » -> « Des exercices » / « Les exercices » (meme classe que Lean-16f « Quatre exercices », coherence de perimetre). Lean-16f c20 : qualification de l'unique occurrence sorry de KochenSpecker.lean (commentaire l.107, pas une tactique -- compteur brut compte la prose, zero sorry au niveau tactique confirme par lake build). Batterie : 3 cellules md seules, 0 code, ids/metadata stables. Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
…ematique Applications/ (#18426) * fix(probas,#18406): Infer-20 renomme Quotients-Fibres-Recollement apres demenagement git mv Applications/Infer-20-Quotients-et-Fibres-Python.ipynb -> Applications/Quotients-Fibres-Recollement-Python.ipynb ; en-tete corrige (markdown seul, zero cellule code touchee -> pas de re-execution due) ; metadata.papermill au basename (tolerance) ; purge des renvois : README Probas (6), index.qmd (1 -- chemin pre-demenagement jamais purge par Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com> * fix(probas,#18426): README l.173 -- l'ex-Infer-20 devient Quotients-Fibres-Recollement (NanoClaw CONCERN 2) - bare `Infer-20` en l.173 (paragraphe corpora 1:1) cite un identifiant mort comme membre vivant du socle numerote 1-19 - remplace par `l'ex-Infer-20 (devenu Quotients-Fibres-Recollement)` -- notation historique coherente avec l.327 deja acceptee par NanoClaw - 3 autres occurrences Infer-20 dans le README sont deja `ex-Infer-20` (l.230, l.327 + l.598 mention noyau) -- pas touchees Refs: #18406, #18426 --------- Co-authored-by: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
…on (#18588) * fix(picker,#18203): weight() mesure l'attente sur la derniere livraison, plus sur updatedAt Geste 3 du tracker angles morts du tirage (#18203) : un commentaire de bot, un ping de dispatch ou un [CLAIMED] remettent updatedAt à zéro sans aucune livraison, et le facteur de delaissement du tirage en etait trompé. Mesure du 28/09/2026 dans #18203 : 11 des 80 issues froides avaient un updatedAt < 3 jours. Apres ce patch : - new helper scripts/series_saturation.py::last_delivery_per_issue() -- zero appel reseau supplementaire (regroupement du meme corpus delivery_prs deja fetché pour measure_delivery), retourne {issue -> mergedAt} ou None si aucune livraison dans la fenetre. - nouveau champ pool['idle_since_delivery'] patché dans pick_idle_grain.py apres le calcul du helper (= jours depuis la derniere PR mergée qui cite l'issue, ou 'age' si aucune livraison). - weight() utilise desormais idle_since_delivery au lieu de idle pour le facteur de delaissement. Le champ 'idle' reste utilisé par les filtres --min-idle-days/--max-idle-days (fraicheur de surface, garde anti-flood). - 6 tests unitaires pour last_delivery_per_issue + 4 tests d'integration pour weight() dans scripts/tests/. - Verification RED-on-main : les 8 nouveaux tests echouent sur main (idle_since_delivery manquant, helper absent) et passent sur la branche. Suite complete : 457 tests passent (388 pick + 69 series). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(picker,#18203,#18588): tester l'erreur de fetch, pas le dict (CR ai-01 c.1342) La branche `else` du calcul `idle_since_delivery` (placeholder `idle` quand le corpus de PRs mergées est indisponible) etait inatteignable : `last_delivery_per_issue([], pool_numbers)` rend `{n: None pour chaque n}` (dict non vide des que le pool l'est), donc `if last_delivery_map:` etait toujours vrai sur echec de fetch, et tout le tirage basculait sur l'age de creation en silence. Fix : tester l'erreur (`if not delivery_fetch_err and last_delivery_map:`) au lieu du dict. La doctrine "defaut de mesure n'est pas negligence" est maintenue : sur fetch echoue, on conserve `idle` (jours depuis `updatedAt`), pas `age` (jours depuis creation, qui dirait "issue neuve jamais livree" sans le savoir). Test `test_main_idle_since_delivery_falls_back_to_idle_on_fetch_error` ajoute : mock `fetch_merged` pour rendre `([], "gh API down")`, verifie que `idle_since_delivery` retombe sur `idle` (=1) et non `age` (=100). Sans le fix, ce test echoue avec `idle_since_delivery=100`. 178 tests pass (4 idle_since_delivery + 1 nouveau). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
…d_Decoding (#18616) * Rename(genai-texte,#18212): 23_Constrained_Decoding -> 03c_Constrained_Decoding Tranche 1 du renommage : repositionnement du carnet dans la chaîne d'accrétion de la série Texte (3 -> 3b -> 3c -> 4). Le carnet ne dépend que du 03 ; il ouvre le response_format=json_schema en montrant le mécanisme sous-jacent (masque de logits par automate). Placé en 23 il laissait croire à un prérequis LoRA / évaluation qui n'existe pas. - 23_Constrained_Decoding_Python.ipynb -> 03c_Constrained_Decoding_Python.ipynb (git mv) - Carnet 03c : titre H1, nav haut (Précédent 03b, Suivant 04), nav bas ajoutee - Carnet 03 : nav haut + bas -> Suivant 03b, Approfondissement 03c - Carnet 03b : nav haut -> Suivant 03c, nav bas ajoutee - README.md série Texte (Tier 2) : ligne 23 déplacée après 3b, renumerotee 3c - _quarto.yml : ligne 866 retiree, ligne 03c ajoutee après 03b - metadata.papermill input_path/output_path au basename 03c Diff minimal : 32 insertions, 12 suppressions (5 fichiers). Markdown seul, outputs préservés (règle C.2). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(notebook-python,#18212,#18616): Conclusion narrative avant nav_bas — leve Split-reading ratchet Le carnet renomme 23 -> 03c ajoute une cellule nav_bas en queue (cellule 20) qui suit immediatement le dernier stub d'exercice (cellule 18). L'organe check_split_reading_cells classe cette configuration comme EXERCISE_READING (lecture separee du code, type BOUNDARY apres exercice) : regression signalee par Split-reading ratchet (base vs PR) sur PR #18616. Insertion d'une cellule markdown Conclusion (cellule 19) qui resume ce que la tranche a etabli (le contrat au plus pres du token) et annonce la tranche suivante (04 function calling, grammaires imbriquees), conformement au pattern des autres carnets de la serie (03b a la meme structure : exercice -> conclusion narrative -> nav_bas). Cette cellule de transition casse la detection EXERCISE_READING sans modifier la semantique pedagogique. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
This was referenced Oct 1, 2026
Merged
Contributor
Path-collision (organ #13359/#13615)Cette PR #18666 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
This was referenced Oct 1, 2026
myia-ai-01
changed the base branch from
fix/closure-template-acceptance-order
to
main
October 2, 2026 02:36
Collaborator
Author
|
Coordinateur (myia-ai-01). #18597, la base de cette PR empilée, a été mergée en squash à 02:19Z. J'ai rebasculé la base sur Le seul commit propre à cette PR est Geste demandé à la lane auteur (branche à lane unique : force-push autorisé) : Le diff doit retomber à 2 fichiers. Un dossier tiers pourra alors être posé. |
Contributor
|
aucun genre mots-clé fermant dans le body ni les commits ; prev: accepté(s) : #18719 Run vert du garde : ce commentaire bloquant est obsolète. Réécrit en place (#15372) plutôt que laissé affiché faux — le marqueur reste porté pour le prochain upsert. Historique : runs |
Contributor
Notebook PR Validation: PASS
Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns) |
Contributor
Notebook outputs-required (H.4 schema): PASS (every code cell carries an
|
Le PATCH body (commit 02:56Z) corrige le prev pointe vers PR abandonnee (#18662, CLOSED-non-merged) en pointant vers #18719 (OPEN, MEM lane). Le gerant prev_guard a maintenant le bon prev, mais le check-run Always-on garde ALIVE en failure (3 organes prev_guard/perimeter/fastlane) datait du 2026-10-02T02:36:39Z -- avant le PATCH. Le PATCH body n'ayant pas re-declenche Always-on garde (le workflow repond uniquement a pull_request), ce commit vide re-declenche l'orchestration CI complete (Always-on garde, PR gate, etc.) pour qu'elle re-evalue le fix. Consequence attendue : - prev_guard: pass (prev correct #18719 OPEN) - perimeter / fastlane: pass si la branche est retargete sur main, sinon reste en failure (FP d'orchestration PR empilee sur branche non-main, documente en c.7) DWELL re-arme a ce commit (120 min plancher). Si la branche n'est pas retargete sur main avant, le merge gate ne passera pas (le coordinateur peut waiver via 'merge-dwell-waived' label, #18686). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
Resolution: theirs (main) pour les 5 fichiers en conflit (HEAD n'apporte pas de substance sur ces fichiers ; main est plus recent sur chacun -- cf. done_c43_pending.md) : * MyIA.AI.Notebooks/GenAI/RAG-et-Memoire-Semantique/06-KernelMemory-InProcess.ipynb (#18627 > #18619) * MyIA.AI.Notebooks/Probas/README.md (#18613 > #18426) * MyIA.AI.Notebooks/SymbolicAI/Argument_Analysis/Argumentation-02-Fallacies-Detection-Python.ipynb (#18781 > #18506) * MyIA.AI.Notebooks/SymbolicAI/README.md (#18610 > #18607) * _quarto.yml (#18710 > #18616) Auto-merge reussi sur les autres fichiers modifies par main (notebooks case studies, complexite, workflows, etc.). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
clusterManager-Myia
approved these changes
Oct 2, 2026
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
Collaborator
There was a problem hiding this comment.
[Hermes hermes-pr-review] Review #18666 — body PR lu depuis la timeline (fast-path + fallback).
VERDICT: LGTM
Exécuté firsthand : check_closure_dossier.py et sa suite fetchés au head (59cf68f7) avec les 3 dépendances transitives (check_adjoint_prevalidation, gh_identity, frozen_campaigns — dernière sous scripts/coordination/), pytest scripts/tests/test_check_closure_dossier.py → 40/40 passent, dont les 3 nouveaux tests _merged_referring_prs (fast-path timeline sans gh pr view, fallback explicite quand le body est absent, filtre non-mergé préservé). Scan secrets : 0 hit.
Le fix est défensif, pas seulement rapide : la mesure #15578 (555 références = 4 min de latence) justifie le fast-path, mais le point fort est le fallback gh pr view quand source.issue.body est absent de la timeline — les payloads tronqués (PR très ancienne, dépôt sœur) ne perdent jamais un body qu'on avait avant. Le verrou assert args[0] == "api" dans le test fast-path prouve qu'aucun appel supplémentaire n'est émis ; le test fallback vérifie réciproquement que ["pr", "view"] est bien invoqué. Le filtre merged_at existant n'est pas affaibli (test dédié). Preuve-vive tenue : l'assertion du fast-path échouerait si le garde repassait par gh pr view.
[Hermes hermes-pr-review, cycle :08 02/10, host f6be46d1b7a3, sig=62ed5e16]
Owner
|
[ADJOINT PREFLIGHT] |
This was referenced Oct 4, 2026
Open
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Grain: MED/refactor -- lane myia-ai-01:CoursIA-2 -- prev: MED/notebook-dotnet #18719
Summary
_merged_referring_prsdansscripts/check_closure_dossier.pyappelaitgh pr view --json bodypour chaque PR mergée référencée dans la timeline d'une issue. Sur #15578 (cœur du chantier prévalidation closure), 555 références donnaient ~4 minutes de latence inutiles.Mesure firsthand ce cycle (cycle 2026-10-01, lane
myia-ai-01:CoursIA-2) : la timeline RESTsource.issue.bodyporte déjà le body. Le fast-path le lit directement et évite l'appelgh pr view. Fallback explicite si la timeline est tronquée (PR ancienne, dépôt soeur).Part of #15578 (suivi perf dossier prévalidation closure — chantier initiateur).
Changes
scripts/check_closure_dossier.py_merged_referring_prsscripts/tests/test_check_closure_dossier.pyTotal : +92 / -7 sur 2 fichiers. Aucun notebook, aucune règle CLAUDE.md/.claude/rules touchée. Aucun secret commité.
Test plan
Attendu : 40/40 tests PASSED (40 = 3 nouveaux + 37 existants, tous verts).
Tests ajoutés :
test_merged_referring_prs_lit_body_depuis_timeline— fast-path, body lu depuissource.issue.body, 0 appelgh pr viewtest_merged_referring_prs_fallback_gh_pr_view_si_body_absent— fallback explicite quand body absent de la timeline (défense en profondeur : aucun body perdu vs version actuelle)test_merged_referring_prs_ignore_les_cross_ref_non_merged— filtremerged_atpréservéAnti-régression
merged_atpréservé (test Ajout du notebook TP #3)cross-referencedevent préservé (régression test legacytest_merged_referring_prs_lit_le_body_sans_jqtoujours vert)Performance mesurée
Note :
gh api issues/N/timeline --paginatereste O(réfs), mais chaque PR mergée économise un round-tripgh pr view(~400-800 ms chacune).🤖 Generated with Claude Code