docs(hygiene,#18493): scan + classification des compteurs litteraux code by jsboige · Pull Request #18609 · jsboige/CoursIA

jsboige · 2026-09-30T16:40:20Z

Grain: LIGHT/tooling -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/notebook-python #18506

Issue

#18493 — hygiene(notebooks): compteurs litteraux dans commentaires de cellules code -- classe hors prose-counts, re-exec C.2 requise.

Périmètre du PR

Livraison d'un scan exhaustif et de sa classification. Aucune cellule code éditée.

Contenu

scripts/notebook_tools/scan_code_comment_counters.py — organe de mesure.
- 4 kinds : NOTE_runtime, tilde_count, gt_runtime_threshold, config_dict_doc.
- Disambiguation RUNTIME_GUARDS (3 regex) : if x > N, delta_e = ..., slippage() > N — filtre les commentaires de logique opérationnelle pour éviter les faux positifs.
- Sortie texte (scan_code_comment_counters.py) et JSON (--json).
- Skip des copies _output et _archive (cf. prose-counts même politique).
docs/ledgers/18493-counter-scan-classification.md — classification des 21 hits sur 17 carnets.

Mesure

$ python scripts/notebook_tools/scan_code_comment_counters.py
== total hits: 21 ==

== by kind ==
  tilde_count              : 17
  gt_runtime_threshold     : 2
  config_dict_doc          : 1
  NOTE_runtime             : 1

== notebooks touched: 17 ==
  MyIA.AI.Notebooks\SymbolicAI\Lean\Lean-10-LeanDojo.ipynb                         : 2
  MyIA.AI.Notebooks\SymbolicAI\SMT\Z3-API\Z3-16c-Meal-Planner-Patient-Capstone-Python.ipynb : 2
  MyIA.AI.Notebooks\QuantConnect\Python\QC-Py-27-Production-Deployment.ipynb      : 2
  MyIA.AI.Notebooks\GenAI\Audio\02-Advanced\02-1-Chatterbox-TTS.ipynb              : 2
  ... (13 more)

Classification

KEEP — 4 hits (Lean-10 c.2/c.6, Lean-21 c.3, Gibbard-Satterthwaite c.9)

Lean-10 c.2 : # "large" : mathlib4, >100k theoremes (2-4h 1ere fois) — doc utilisateur pour choix de preset, pas un compteur runtime.
Lean-10 c.6 : # NOTE: Tous les repos Lean 4 incluent ~1500 fichiers de la stdlib. — note technique avec approximation pédagogique (l'ordre de grandeur de la stdlib Lean 4 est co-écrit avec l'utilisateur, pas mesuré runtime).
Lean-21 c.3 / Gibbard-Satterthwaite c.9 : gain = ... # > 0 si ... — commentaire de logique opérationnelle, pas un compteur.

A-INVESTIGUER — 17 hits (calibrations runtime documentées)

QC-Py-12 / QC-Py-15 / QC-Py-22 / research_rl_ppo / research_vrp_putwrite : n_days = 504 # ~2 ans de trading, SEQ_LEN = 96 # ~4 mois, EPISODE_LEN = 252 # ~1 year, etc. — calibrations fixes avec commentaire d'aide à la lecture. La voie EDIT (calcul runtime) est légitime mais coûte 17 PRs Papermill par carnet ; bénéfice marginal tant que la calibration reste valide.

Voie EDIT (à prioriser par les lanes de chaque famille)

Remplacer par calcul runtime :

SEQ_LEN = 96  # ~4 mois de trading days
# devient (voie EDIT)
SEQ_LEN = int(96 * trading_days_per_year / 12)  # recalibré runtime

Acceptance (cf. issue #18493)

Scan dédié produit la liste exhaustive (scan_code_comment_counters.py).
Classification KEEP/EDIT/REMOVE par hit documentée (cf. ledger).
Aucun carnet édité → C.2 non applicable pour cette PR.
Les compteurs restants sont classés KEEP (4) ou A-INVESTIGUER (17) avec justification.

Suite recommandée

Les voies EDIT (17 carnets) restent à arbitrer par les lanes de chaque famille (QuantConnect, GenAI, SymbolicAI, IIT). Le scan permet de re-mesurer la classe après chaque campagne.

Liens

hygiene(notebooks): compteurs litteraux dans commentaires de cellules code -- classe hors prose-counts, re-exec C.2 requise #18493 (issue)
prose-counts : le critère de sortie de #9377 n'a jamais été atteint (65 notebooks, guard advisory muet) #17636 (campagne prose markdown, byte-identité préservée — autre classe)
proactive-coordination.md R6 — variété : ce PR est LIGHT/tooling, le DEEP de ce cycle est porté par PR fix(argu,#18391): build DETECTEUR_SOPHISMES from taxonomy (38 vs 4) #18506 (livrée juste avant)

🤖 Generated with Claude 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

github-actions · 2026-09-30T16:40:50Z

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

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

clusterManager-Myia

[Hermes] — organe de mesure #18493, garde éprouvée contre le corpus (head 8992d5d7).

J'ai exécuté le script livré sur 4 notebooks cités par le ledger (fichets extraits au head via blobs) :

Lean-10-LeanDojo → 2 hits, les deux cités voie KEEP (# "large": mathlib4, >100k théorèmes = config_dict_doc ; # NOTE: … ~1500 fichiers = NOTE_runtime) — cohérent.
QC-Py-22 → SEQ_LEN = 96 # ~4 mois de trading days + PRED_LEN = 24 # ~1 mois (tilde_count) — exactement les exemples voie EDIT du ledger, y compris la valeur 96 reprise dans le corps de la PR.
Z3-16c → 2 hits energieMin/Max # ~800/~2600 kcal ; 4.3-TransferLearning-ResNet → # ~45 Mo telecharges (tilde_count). 7/7 hits retombés = la mesure n'est pas ancrée sur des fixtures.

Points vérifiés : le ledger ne code aucun total en dur (tout renvoie à la sortie regénérable du script — pas de compte littéral à dériver, conforme CATALOG-STATUS) ; REPO_ROOT résolu par parent.parent.parent correct pour scripts/notebook_tools/ ; exclusions _output/_archive saines ; RUNTIME_GUARDS disambiguent le code opérationnel (if x > N, delta_e, slippage()). Aucun carnet édité → C.2 non déclenché, conforme à la décision documentée. Le seul rouge au head est la jambe DWELL du PR gate (minuteur, écoulé 19:07Z) — pas organique. Security scan : 0 match.

APPROVE.

[Hermes hermes-pr-review, cycle :17 30/09, host f6be46d1b7a3, sig=613b9492]

myia-ai-01

Relecture ai-01 a la tete 8992d5d. L'organe ne lit que les commentaires des cellules de code, exclut les copies _output et _archive, et ecarte les seuils operationnels (if x > N, delta_e, slippage()) ; Hermes l'a execute sur quatre carnets du ledger et retrouve les classes annoncees. Le ledger vit dans docs/ledgers/, a cote des autres registres d'EPIC.

Remarque non bloquante : le script n'a pas de test. Un test des quatre motifs et des trois gardes, dans scripts/tests/, fixerait la classification avant que la PR de correction des carnets ne s'appuie dessus.

jsboige · 2026-09-30T22:26:06Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18609
head: 8992d5d
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2d88e6cac4a742c8b5d1394653677ada5e3ea8bcd64bde98460f6102474ec963
diff-files: 2
diff-additions: 235
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

jsboige · 2026-09-30T22:26:52Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 18609
head: 8992d5d
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0fc34adac7982f2da1cc65d4089ebb92feb308474ee2f0a807ee9ebe9aa96aee
diff-files: 2
diff-additions: 235
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

…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

… attestation 0017 Hermes re-recherche (cycle :11 01/10, sig=adb3cec7) a confirmé 4/5 réserves résolues : 1. cell[12] paliers 1325 -> 1838 ✓ (dfc3176, aa372ed) 2. cell[12]+[16] '1.3 million' -> '~1.8 millions' ✓ (c4decb3) 3. cell[16] reliquat T~0.67 / alpha 0.9995 ✓ (c4decb3) 4. mineurs '2-opt' wording cell[12] ✓ (aa372ed) Réserve restante -- attestation twin : 5. attestation 0015 certifiait arithmétique fausse (1325 paliers), attestation 0016 certifiait python_sha=0bd3f5d2 (pas le blob final 476fee0). Fix c.968 : - cell[16] ligne 4 'propose un mouvement 2-opt' -> 'propose un mouvement swap' (alignement sur cell[12], le mot 2-opt en tête de puce était conceptuellement faux même avec la parenthèse explicative) - nouvelle attestation 0017 (python_sha=14bfdc5da6, content_python_sha=13394345ee) - entrée known_differences 2026-10-01 (PR #18598 re-review) qui pointe vers 0017 et marque 0015/0016 comme historique obsolète. 22/22 cellules code byte-identiques (SHA sources + outputs), 0 cellule ajoutée ou déplacée, 0 execution_count déplacé, twin C# non touché. Grain: MED/notebook-python -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/tooling #18609 Refs: #18598, Hermes cycle :11 01/10 sig=adb3cec7 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

…swap (pas 2-opt), ~132 500 iterations (#18598) * fix(search,#18144): corrige prose SA -- alpha 0.995 (defaut), swap (pas 2-opt), ~132 500 iterations * fix(twin-parity,#18598): rebaseline App-13 TSP Metaheuristics apres correction prose SA Le fix prose de la PR (alpha 0.995 defaut, swap vs 2-opt, ~132 500 iterations) deplace le blob SHA du jumeau Python. La parite reste OK (markdown-only, 22/22 cellules code byte-identiques, C# non touche). Rebaseline + consignation de la diff attendue en tete de known_differences. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(search,#18598): corrige prose SA App-13 -- 1.8M operations, retrait phrase T~0.67 Suite review NanoClaw REQUEST_CHANGES sur #18598 (3 corrections sur 4 livrees) : - "1.3 million d'operations" -> "1.8 millions d'operations" (compte plus precis incluant copies de tableaux, pas seulement delta O(1)). - Retrait de la phrase "Si on veut T~0.67 au bout de 10 000 paliers, il faudrait alpha~0.9995 -- mais le notebook utilise la valeur par defaut plus conservative." (le notebook utilise alpha=0.995, pas 0.9995 ; la phrase melange 2 schemas distincts et n'apporte rien a la pedagogie de la cellule). Cellule markdown uniquement, pas de re-execution C.2 due. Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(twin-parity,#18598): rebaseline App-13 -- attestation 0016 apres reserves Hermes (markdown-only cellule 16) Le head c4decb3 (compte 1.8M operations + retrait phrase T~0.67) a deplace le blob SHA du jumeau Python : attestation 0016 + ligne known_differences. 0 cellule code touchee, twin C# intact, exception C.2 markdown-only. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com> * fix(search,#18598): corrige arithmetique paliers SA (1325->1838, 132500->183800) + mouvement swap Hermes CHANGES_REQUESTED sur head 2154405 (cycle :17 30/09, sig=b8f3f64b) 4 corrections demandees : 1. cell[12] paliers 1325 -> 1838, iterations 132 500 -> 183 800 2. cell[16] 132 500 -> 183 800, "1.3 million" deja correct ("~1.8 millions") 3. Mineur : cell[12] "propose un mouvement 2-opt" -> "propose un mouvement swap" (la phrase en queue du meme bloc dit deja "un swap, pas un 2-opt") 4. cell[17] + cell[19] "5 hyperparametres" deja conforme Hermes -- rien a faire Calcul verifie : ln(10^4)/ln(1/0.995) = 9,2103/0,0050125 = 1837,5 -> 1838 paliers, * 100 iterations_par_T = 183 800 iterations totales. Phrase T=0.67 dej retirees par PR c.937 (rebascule 0015-yaml) ; rien a faire. Diff +4/-4 sur 4 lignes ciblees. structure source: list[N] preservee (cell[12]=list[1], cell[16]=list[13]). Tell c.941-L1 strict : aucune autre cellule touchee byte-a-byte. Attestation 0015-yaml ne porte pas la prose contestee (sha-only) ; pas de modif. Grain: REPAIR/MED/notebook-python -- lane myia-po-2023:CoursIA-2 -- prev: MED/notebook-python #18426 See #18598, See #18144 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(search,#18598): align cell 16 swap wording (c.968 Hermes minor) + attestation 0017 Hermes re-recherche (cycle :11 01/10, sig=adb3cec7) a confirmé 4/5 réserves résolues : 1. cell[12] paliers 1325 -> 1838 ✓ (dfc3176, aa372ed) 2. cell[12]+[16] '1.3 million' -> '~1.8 millions' ✓ (c4decb3) 3. cell[16] reliquat T~0.67 / alpha 0.9995 ✓ (c4decb3) 4. mineurs '2-opt' wording cell[12] ✓ (aa372ed) Réserve restante -- attestation twin : 5. attestation 0015 certifiait arithmétique fausse (1325 paliers), attestation 0016 certifiait python_sha=0bd3f5d2 (pas le blob final 476fee0). Fix c.968 : - cell[16] ligne 4 'propose un mouvement 2-opt' -> 'propose un mouvement swap' (alignement sur cell[12], le mot 2-opt en tête de puce était conceptuellement faux même avec la parenthèse explicative) - nouvelle attestation 0017 (python_sha=14bfdc5da6, content_python_sha=13394345ee) - entrée known_differences 2026-10-01 (PR #18598 re-review) qui pointe vers 0017 et marque 0015/0016 comme historique obsolète. 22/22 cellules code byte-identiques (SHA sources + outputs), 0 cellule ajoutée ou déplacée, 0 execution_count déplacé, twin C# non touché. Grain: MED/notebook-python -- lane myia-po-2023:CoursIA-2 -- prev: LIGHT/tooling #18609 Refs: #18598, Hermes cycle :11 01/10 sig=adb3cec7 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com> * fix(twin,#18598): attestation 0018 sur blob apres wording cell[16] L'attestation 0017 (1a67742, 17:53 +0200) avait ete generee avant le commit de wording "cell[16] 2-opt -> swap" du meme commit, sur un blob intermediaire `python_sha: 14bfdc5da6` qui ne correspond plus au head courant `a88011bf`. Hermes avait signale la derive dans son re-review cycle :11 01/10 (sha 0016 = 0bd3f5d ≠ head 476fee0). Attestation 0018 (--update --pair, by myia-po-2023:CoursIA-2, EN DERNIERE operation cf #8957) : - python_sha: a88011b (= head courant) - content_python_sha: e9cddd4aa75a9c1122b2e57d22f24db3f8ac66a5236a81774bf4fbb91204b197 Couvre l'operation "wording cell[16] 'propose un mouvement 2-opt' -> 'propose un mouvement swap'" du commit 1a67742 (alignement sur cell[12], le mot 2-opt en tete de puce etait conceptuellement faux meme avec la parenthese explicative -- mineur non bloquant signale par Hermes). Le known_differences du registre YAML contient deja l'entree couvrant les 3 corrections markdown (cells 12+16 paliers + cell[16] swap wording) ; la presente attestation 0018 ne fait que rebaser le sha blob a jour. --------- Co-authored-by: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>

…gh pr view (#18666) * fix(closure-gate): le gabarit rend l'item d'acceptation sous acceptance: 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> * vibe(#17636): relay c15 — w8 md prose (12 files + 24 attestations KEEP) (#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)) * Add: EPIC reconnue par label OU prefix titre [EPIC] dans le sweep delaissement (#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> * vibe(#17636): relay c19 — w8 md prose docs (5 files incl. 2 rescued refusals) (#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) * Fix(Tweety): 5 notebooks C# sous Linux et macOS, RID IKVM derive de la 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> * Add: epic_body_staleness branche au balayage quotidien EPIC, advisory (#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> * fix(guard): une URL web n'est pas un chemin de la machine d'execution (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> * feat(lean,#17978): Lean-15d -- visite guidee visuelle des abstractions 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> * fix(notebook-python,#17529): GameTheory-15 section 4 -- confronter Off-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 acf21555e9, 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> * Add: iit_lean — premier lake IIT, proxy relationnel de coupe (Phase 1) (#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> * feat(ict,#18147): ICT-36 -- digerer 3 sections et ajouter 3 exercices 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> * refactor(geometry,#18601): re-parenting SymbolicAI/Geometry/ -> SymbolicAI/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> * feat(notebook-tools,#18411): instrument de census couverture + delta 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> * fix(prose,#17636): relay burst w4 c6 — Lean-10-LeanDojo + 04-2-Transcription-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 5dcda50b : 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> * docs(vllm-story): episode 3 — late Aug security & recovery, September 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> * feat(guard,#18606): carve-out meta-notes par tag metadata (voie 2, decision 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> * Add: critere de sortie de docs/archive/ - 3 voies + interdiction d'entree 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> * vibe(#17636): relay c18 — w8 md prose docs (33 files, ledgers/genai-image/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 (6f0bb9320) diverge du baseSha 46aadbf63 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> * vibe(#17636): relay c20 — w8 md prose docs (14 files, suivis genai-image + 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 e97beb7b1 RESUME-FINAL / a8e974058 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 a8e974058 '### Scripts Production (15 fichiers)') - L481 '2600+ lignes produites' -> 'produites' (predicat seul, precedent e97beb7b1 L337 '1600+ lignes, 15+ exemples' -> '15+ exemples') - L634/L635 '2600+ lignes documentation technique' / '1235+ lignes scripts automatises' -> predicats nus (precedent e97beb7b1 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 e97beb7b1 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 a8e974058 '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> * fix(probas,#18401): PyMC-01 kernelspec pymc-arviz11 + API arviz 1.1 (#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 06ab17f628, 2026-09-09) avait fait la migration arviz 1.1 initiale ; #15388 (commit e8c0a67b37, 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 bb62a9d2 (tete fb3f98941), csharp f7b2dc73 (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 4752dd3370 (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 e7f96c14e068 = blob HEAD (re-exec ipywidgets), csharp_sha f7b2dc738b1f 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> * docs(hygiene,#18493): scan + classification des compteurs litteraux code (#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 * fix(argu,#18434): correct provenance for Argumentation-07b bus port (#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 c59fcc90b2) : '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> * Fix(GenAI): 06-KernelMemory-InProcess sous Linux et macOS, backend natif 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> * fix(argu,#18391): build DETECTEUR_SOPHISMES from taxonomy (38 vs 4) (#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> * fix(genai-video,#18512): porter video_helpers + carnets 04-1/04-4 vers 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 porta…

clusterManager-Myia approved these changes Sep 30, 2026

View reviewed changes

jsboige mentioned this pull request Sep 30, 2026

fix(search,#18144): corrige prose SA App-13 -- alpha 0.995 (defaut), swap (pas 2-opt), ~132 500 iterations #18598

Merged

myia-ai-01 approved these changes Sep 30, 2026

View reviewed changes

myia-ai-01 merged commit 87f7f3b into main Sep 30, 2026
32 of 34 checks passed

jsboige mentioned this pull request Oct 1, 2026

fix(prevalidation,#18579): require 'PR gate' presence on head for latest-wins-green claim #18648

Closed

3 tasks done

Navigation Menu

Repository navigation

docs(hygiene,#18493): scan + classification des compteurs litteraux code - #18609

docs(hygiene,#18493): scan + classification des compteurs litteraux code#18609
myia-ai-01 merged 2 commits into
mainfrom
fix/18493-counter-scan-classify

jsboige commented Sep 30, 2026

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

clusterManager-Myia left a comment

Uh oh!

myia-ai-01 left a comment

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

Conversation

jsboige commented Sep 30, 2026

Issue

Périmètre du PR

Contenu

Mesure

Classification

KEEP — 4 hits (Lean-10 c.2/c.6, Lean-21 c.3, Gibbard-Satterthwaite c.9)

A-INVESTIGUER — 17 hits (calibrations runtime documentées)

Voie EDIT (à prioriser par les lanes de chaque famille)

Acceptance (cf. issue #18493)

Suite recommandée

Liens

Uh oh!

github-actions Bot commented Sep 30, 2026

Uh oh!

clusterManager-Myia left a comment

Choose a reason for hiding this comment

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

jsboige commented Sep 30, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants