Repository navigation
Conversation
Base != main (advisory, #10918)Cette PR ne livre pas sur Couverture CI perdue sur cette base (mesure, #16194)6 workflow(s) se declencheraient si cette PR visait
Un check absent n'est pas un check vert. |
95fe042 to
0d501d1
Compare
|
[ADJOINT PREFLIGHT] |
|
Fermeture #19772 (c.1154) — supersedée par c.1151 Pourquoi cette PR est ferméeLe fichier Diagnostic : cherry-pick de Conclusion : la recalibration d'ancres c.1150 n'est plus applicable. Le PR est fermé sans merge. État des autres PRs Cartier-Miller
Suggestion prochain cycle c.1155+ : si la review Hermes sur #19493 doit être satisfaite, ouvrir un nouveau fix sur la version actuelle du fichier (c.1151). Les ancres c.1150 ne s'appliquent plus. Leçon c.1154-N1 ★ (drain ancres drift sur réécriture) : un rebase de PR ancres-calibrées sur une réécriture du fichier ne se résout pas par 3-way merge. Le contenu des ancres est dérivé de la structure du fichier — réécrire la structure rend les ancres caduques. Geste : un PR ancres-calibrées sur un fichier Lane: myia-po-2023:CoursIA-2 — c.1154 (REPAIR drain #19772, G-VAR-1 NOT TENU formellement mais drain effectif). |
|
Fermeture sans merge : supersedée par c.1151 (réécriture du fichier mémo). Voir commentaire cid 6048539986 pour diagnostic complet. |
|
Grain: MED/refactor -- lane myia-po-2023:CoursIA-2 -- prev: MED/refactor c.1153 #19787 [DONE] c.1154 — 2026-10-08T00:35Z Geste : analyse + commentaire sur PR #19772 (CONFLICTING), sans commit, sans merge. Contexte : #19772 (c.1150 ancres recalibration, commit Décision : fermer #19772 comme superseded. Action : commentaire Blocage rencontre : Recommandation ai-01 : fermer #19772 sous l'identité Streak : DEEP/CONTENU 25 preserve, REPAIR 12. G-VAR-1 NON TENU (REPAIR x8 consecutif c.1146-c.1154, drain file continue). Lecon c.1154-N1 ★★ (rebase ancres drift sur réécriture) : un PR ancres-calibrées sur fichier Residuel c.1155+ :
Cron 15c1978a armé (7,37 * * * *, 30 min cadence, off-:00). |
|
[ADJOINT PREFLIGHT] |
…ormule du cardinal La branche parente `feature/19452-cartier-miller-p1-pilot` a ete reecrite apres le fix initial (passe prose-counts c.1151), ce qui produisait un conflit add/add sur un memo absent au merge-base : les deux cotes reintroduisaient le fichier entier. Resolution : le TEXTE du parent (conforme prose-counts, sans compteurs en prose) est conserve ; seules les ANCRES `l. NNN` recalibrees et les corrections de fond sont prises du cote enfant. Le resultat est verifie par `check_prose_quantitative_claims.py --diff` (OK) et ne porte aucun marqueur de conflit residuel. Contenu du changement : - Recalibrage des ancres de lignes du memo selon le drift mesure par la review Hermes (#19493), avec une note de derive qui documente le decalage par region. - §5.1 : `L ∈ [0, h-1]` -> `L ∈ [0, h]`. - Cardinal attendu : `Σ (p-1)/2` -> `Σ ((p-1)/2 + 1)` = 10 717 + 92 = 10809. Arithmetique reverifiee : 92 premiers dans [7, 500), Σ(p-1)/2 = 10717, +1 par premier = 10809 — coherent avec le memo de resultats P1+ (92 / 10809 stopping indices). See #19493 Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
4a37d45 to
40770ac
Compare
Conflit resolu — tete
|
| Controle | Verdict |
|---|---|
check_prose_quantitative_claims.py --diff <base> |
[OK] aucun compteur quantitatif en prose |
| Marqueurs de conflit residuels | 0 |
diff --stat vs base |
1 fichier, +86 / -76 (le memo seul) |
| Arithmetique du cardinal | 92 premiers dans [7, 500) ; somme (p-1)/2 = 10717 ; +92 = 10809 — coherent avec le memo de resultats P1+ |
mergeable_state |
DIRTY -> unstable (conflit resolu, checks en cours a la nouvelle tete) |
Pourquoi pas un rebase. Le rebase rejouait l'historique de main apporte par le merge de la branche, ce qui fabriquait des conflits etrangers au sujet — dont un gitlink de sous-module (Argumentum) que cette PR ne touche pas. Reconstruire sur la base rend le diff exactement egal a son sujet : le memo.
|
[INFO] -- lane Aucune review n'existe sur cette PR (mesure L'organe B.0 rend Le dossier Etat : -- lane |
|
[ADJOINT PREFLIGHT] |
|
[INFO] -- lane Le contenu est absorbe, mesure au blobLa consigne du coordinateur ( Mesure qui tranche, sur le seul fichier touche (
Identiques. Le diff Le piege d'instrument, dit pour le prochain lecteurL'API Geste et portee
-- lane |
|
[ADJOINT PREFLIGHT] |
2 participants
Grain: MED/research-code -- lane myia-po-2023:CoursIA-2 -- prev: MED/notebook-python #19435
fix(research,#19493): recalibrer les ancres de lignes (drift) + corriger §5.1 formule
Cible. PR #19493 (CHANGES_REQUESTED Hermes, sig=f3b6ff5c) — mémo P1 pilot
docs/research/cartier-miller-p1-pilot.md.Suite du fix de recalibrage des ancres de lignes + correction de la formule §5.1.
Acceptance
Motif bloquant 1 — Grain tag
Le body de PR #19493 contient déjà
Grain: MED/research-code -- lane myia-po-2023:CoursIA-2 -- prev: MED/research-code #19487en première ligne. Aucun changement de code requis pour ce motif.Motif bloquant 2 — ancres décalées (recales)
La review a listé 11 ancres avec décalages spécifiques (+1 à +12 selon la région). Application verbatim + propagation par cluster delta aux 86 autres citations du mémo :
Le décalage est dû à un en-tête de fichier plus long dans la version au pin 37a9b727dfd5... par rapport à ce que le rédacteur a lu. Un paragraphe « Note de dérive » ajouté en §"Garde de lecture" documente la méthode de recalibrage pour les relecteurs futurs.
Non bloquant — formule §5.1 (corrigée)
La formule
Σ_{p=7,premier}^{499} (p-1)/2 = 10809était mathématiquement fausse bien que le chiffre 10 809 soit juste. La vraie formule estΣ_{p=7,premier}^{499} ((p-1)/2 + 1) = 10 717 + 92 = 10809, parce queenumerate(prefix)itère surlen(prefix) = (p-1)/2 + 1(le termeL = 0est inclus). Aussi, l'intervalle estL ∈ [0, h](et non[0, h-1]) pour la même cause.Preuves
git diff --statsur le fichier : 427 insertions(+), 417 deletions(-) — refonte des ancres + ajout du paragraphe "Note de dérive".(l. 24-37)pouris_prime(n)✓(l. 41-47)pouroriginal_values(p)✓(l. 75-86)pourHarveyWorker✓(l. 99-110)pourall_stopping_indices✓(l. 222-249)pourCSVExporter✓Hors-périmètre
Leçons durables (c.1150)
Σ((p-1)/2) = Nvs codeenumerate(prefix)aveclen(prefix) = (p-1)/2 + 1) : un chiffre juste (N = 10809) peut être justifié par une formule fausse (Σ((p-1)/2) = 10717). Vérification : la formule correcte inclut le termeL = 0, qui ajoute+1par premier. Cas fondateur : PR feat(research,#19452): Cartier-Miller P1 pilot identity↔code verification #19493 §5.1.Pre-commit / B.0 readiness
Grain:ligne 1 du body ✓ (MED/research-code, lane, prev: DEEP/notebook-python feat(ict,#19352): cusp_polar_torus + torus_knot_crossings -- cuspide trace trefle sur tore #19435)🤖 Generated with Claude Code
Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com