Repository navigation
fix(ci,#16149): le rafraichissement de base ne re-arme plus le plancher DWELL - #16208
Conversation
…er DWELL last_authoritative_committed_at remonte la chaine first-parent au-dela des fusions dont le second parent est un ancetre de la base (gh pr update-branch comme git merge main) : le plancher se mesure sur le dernier commit qui modifie le cote PR, pas sur la tete nue. Rebase et fusion de sous-branche propre restent mesures (contenu d'auteur) ; filiation illisible = mesure de la fusion elle-meme (plus strict, jamais plus lache). evaluate() pure inchangee, pas de waiver en masse. 6 tests dont le critere d'acceptation de l'issue (auteur T-180 + fusion T-1) et 3 controles FN. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels |
Path-collision (organ #13359/#13615)Cette PR #16208 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
… en fin de fichier) Conflit unique sur scripts/tests/test_merge_dwell.py : les deux cotes ont ajoute des tests a la fin du fichier, sur des sujets distincts. - notre cote (#16149) : les 4 tests de la montee first-parent au-dela des fusions de rafraichissement de base ; - main (#15726 / PR #15748) : test_le_verdict_ne_dit_jamais_d_attendre, qui fige les ABSENCES du message DWELL (« aucun geste », « balayage horaire ») et la presence de « NE PAS ATTENDRE » + « rerun ». Resolution : les deux blocs sont conserves, aucun n'est un doublon de l'autre. scripts/ci/merge_dwell.py s'est auto-fusionne : un merge textuellement propre peut etre semantiquement casse, donc les deux comportements sont verifies, pas supposes -- 23 tests verts sur le fichier fusionne, `last_authoritative_ committed_at` (le notre) et « NE PAS ATTENDRE » (celui de main) coexistent. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Conflit resolu —
|
| cote | ce qui a ete ajoute |
|---|---|
| cette branche (#16149) | les tests de la montee first-parent au-dela des fusions de rafraichissement de base |
main (#15726 / PR #15748) |
test_le_verdict_ne_dit_jamais_d_attendre — fige les absences du message DWELL (aucun geste, balayage horaire) et la presence de NE PAS ATTENDRE + rerun |
Resolution : les deux blocs sont conserves. Aucun des deux n'est un doublon de l'autre, et aucun n'est supprime — un append des deux cotes n'est pas un desaccord.
scripts/ci/merge_dwell.py s'est auto-fusionne (Auto-merging, sans conflit). Un merge textuellement propre peut etre semantiquement casse, donc les deux comportements ont ete verifies, pas supposes :
python -m pytest scripts/tests/test_merge_dwell.py -> 23 passed
last_authoritative_committed_at (le notre) : present
« NE PAS ATTENDRE » (celui de main) : present
6 tests `test_16149_*` (notre cote) + le test #15726 (main) : tous verts
Motif de fond pour un reviewer : ces deux changements ne se recouvrent pas — le notre deplace la mesure du plancher (de la tete vers le dernier commit d'auteur), celui de main change la prose du verdict. C'est precisement pourquoi il fallait verifier le fichier auto-fusionne plutot que se fier a son absence de conflit.
Aucun merge, aucun close depuis cette lane.
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Exact-head review of b722ae246f000bef5ea60cffe4d40568627f1bc6 complete.
APPROVE — the dwell floor now measures the last author-side commit rather than a base-refresh merge. The first-parent walk recognizes only two-parent merges whose second parent is the base or its ancestor, remains conservative on unreadable ancestry, preserves rebases and author sub-branch merges as authoritative, and fails closed after the bounded walk.
I read the complete body, all comments, commits, full two-file diff, checks, reviews, inline-comment surface, and closing references. The conflict resolution preserves both the new ancestry tests and main’s existing verdict-language regression; latest checks are green and the nit gate has no blocking finding.
This PR carries Closes #16149. Approval is for the exact-head code only; merge remains subject to the user-originated issue closure/evidence discipline.
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
CHANGES_REQUESTED — exact head b722ae246f000bef5ea60cffe4d40568627f1bc6. This supersedes my earlier approval after an adversarial exact-tree counterexample.
The current discriminator is insufficient: “two parents and second parent is the base or its ancestor” proves where one parent came from, but does not prove that the merge commit contains no new author-side conflict resolution. A manual git merge main can resolve a conflict by writing substantive new content into the merge tree while keeping exactly that parent shape. last_authoritative_committed_at skips such a one-minute-old merge and measures the old first parent, allowing immediate merge despite fresh content.
I reproduced the bypass directly against the exact-head implementation: a PR payload with base base, head merge at 11:59 with parents [author-old, base], and old author commit at 08:00 returns:
ok=True — dwell ecoule: tete du 2026-09-07T08:00:00Z, 240 min
No tree-equivalence evidence is consulted. The body explicitly extends the exemption from server gh pr update-branch to manual git merge main, which is therefore unsafe. This repository routinely resolves substantive conflicts in manual base merges, so the case is not hypothetical.
Required repair:
- add a false-negative test where a fresh manual base merge carries substantive conflict-resolution content and must remain authoritative / re-arm DWELL;
- narrow the exemption to refresh merges whose absence of author-side content is provable (for example, verified tree/patch equivalence to the automatic merge result, or another server-provenance discriminator that cannot classify a manual conflict resolution as content-free);
- fail closed when that proof is unavailable. Parent ancestry alone is not proof.
The existing suite (test_merge_dwell.py + test_pr_gate.py: 150/150) remains useful but does not cover this security boundary. I read the complete issue, all PR comments/review/threads, and full diff before reproducing the counterexample. Do not merge on the earlier approval.
…l-closed CR ai-01 2026-09-16: parent shape alone does not prove a base refresh is content-free. A manual base merge with substantive conflict resolution has the exact update-branch parent shape while carrying fresh author content. - exemption now requires merge commit tree == git merge-tree --write-tree auto-merge of its parents (fetched bounded when absent from the checkout) - conflicting auto-merge (rc!=0) proves author resolution: never exempted - unavailable proof (git absent, fetch mute, missing tree sha): fail-closed, the merge measures itself - FN test: the exact-head counterexample re-arms DWELL; suite 153/153 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…main dans le repair CR 2026-09-16 Conflit d'append en fin de test_merge_dwell.py : les DEUX ajouts conserves (tests CR tree-equivalence + test verdict-sans-attente #15726). Suite 155/155. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Repair livre (nouvelle tete ee0d803, au-dessus du head exact b722ae2 de la CR) — les 3 points requis : 1. Test FN (le contre-exemple exact de la review) — 2. Exemption resserree sur PREUVE d'equivalence tree — 3. Fail-closed — preuve indisponible (git absent, OSError, fetch muet, sortie vide, tree sha absent du payload) : la fusion se mesure elle-meme. Trade-off assume et documente dans le docstring : un update-branch serveur dont la preuve echoue pour infra re-arme 2 h — on ne franchit jamais sur une absence de preuve. Validation terrain (Git 2.48.1, mini-repo reel, scratchpad) : (a) auto-merge propre -> tree merge-tree == tree du merge reel automatique (exemption prouvee) ; (b) conflit vrai -> rc=1 (fail-closed) ; (c) resolution manuelle substantive -> jamais exemptee. Nota : deux piges de test corrigees en route (pipe|head masque le rc ; tester les parents APRES resolution rend merge-tree trivial up-to-date). Suite : 155/155 (27 merge_dwell + 126 pr_gate ; 5 nouveaux + test #15726 du merge). Re-review demandee. 🤖 Generated with Claude Code |
|
CR acked — repair pushed in 6bd524d (head ee0d803), mapped point by point:
FP control: Suite: 155/155 (28 test_merge_dwell + 127 test_pr_gate), recounted firsthand on ee0d803. Validated on real mini-repos (Git 2.48.1) with a manual conflict-resolved merge and a genuine update-branch twin. Ready for exact-head re-review. 🤖 Generated with Claude Code |
github-actions
Bot
added
the
variation-adjacency-deep-med
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Requesting changes at exact head ee0d8032347e62d1cd2eee2dc855e423d5e3caf0 after re-reading the complete PR surface and testing the repair through the gate's real checkout topology.
The three prior source-level requirements are implemented correctly in isolation: substantive manual resolutions re-arm DWELL, exemption requires tree equality, and unavailable proof fails closed. However, the proof is not reachable in the production gate environment.
pr-gate.yml uses actions/checkout@v4 with its default shallow depth and invokes the dwell checker without an injected run_git. _ensure_commit_present() then fetches each parent with --depth=1, but does not fetch enough shared history to establish their merge base. In a faithful shallow fixture containing only those parent tips:
git merge-base P1 P2exits 1 with no merge base;git merge-tree --write-tree P1 P2exits 128 withfatal: refusing to merge unrelated histories;_auto_merge_tree()therefore returnsNone;- the conservative fallback measures the update-branch merge itself and re-arms the 120-minute floor.
The same merge-tree command in the full-history control returns exactly the real merge tree. The unit tests miss this because their injected Git stub always supplies a provable auto-merge tree.
Please make the proof reachable in the actual gate, for example by bounded deepening until the merge base is available (with a hard cap and the existing fail-closed fallback), or by an explicitly justified checkout-depth change. Add an integration test using a real shallow Git repository and the production _default_run_git path; it must prove both the legitimate update-branch exemption and the substantive-resolution re-arm case.
The current Scripts Tests failure is separate runner infrastructure (self-hosted runner lost communication) and is not a code verdict. After the topology repair, obtain a successful current-head CPU run, successful PR gate after DWELL, and a qualifying exact-head review. Also preserve the closing discipline for #16149 and reconcile the open same-file collision #15981 before merge.
…heckout shallow du gate CR ai-01 2026-09-16 19:10Z : dans la topologie du gate (actions/checkout@v4 sans fetch-depth, shallow depth 1), les parents ramenes en --depth=1 n'ont aucun historique commun ; merge-base echoue et merge-tree refuse de calculer -- la preuve d'equivalence etait inatteignable et meme un update-branch LEGITIME se re-armait 120 min. Repair : avant merge-tree, approfondissement borne par palliers (`git fetch --deepen=N`, 64 -> 1024, cap dur) jusqu'a rendre le merge-base calculable. Depot complet sans merge-base (unrelated-histories veritable) : aucun fetch, fail-closed. Preuve indisponible au-dela du cap : fail-closed, inchange. Integration tests sur depot REEL (topologie exacte du gate : clone shallow depth 1 de la tete de PR, chemin de production `_default_run_git`) : le update-branch legitime franchit la remontee (mesure le commit d'auteur, T-240 min), la resolution substantive re-arme (T-1 min). + 2 controles fake-bornes : deepen muet -> fail-closed, depot complet -> aucun fetch. 159/159 : 32 merge_dwell (dont 6 nouveaux) + 127 pr_gate. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
|
Repair CR 19:10Z poussé — head 1. Inatteignabilité (le défaut). Reproduit firsthand sur cette branche : 2. Approfondissement borné (choix du deepening, pas du fetch-depth YAML). 3. Fail-closed préservé, 3 sorties. (a) cap atteint → la fusion se mesure elle-même ; (b) dépôt COMPLET non-shallow sans merge-base → véritables unrelated-histories, 4. Test d'intégration réel (exigence exacte de la CR). Dépôt RÉEL (origin bare, 40 commits base, PR, merge), clone shallow depth 1 de la tête de PR, chemin de production 5. Closing + collision. CPU / PR gate / re-review exact-head restent à obtenir (la tête a changé : le DWELL est re-armé et le gate se re-jouera). |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
APPROVE at exact head 29a8acd1c5ff1d409c8bb31575ef2727a2a19357.
The repair fully addresses the prior exact-head CHANGES requests:
_deepen_until_merge_base()deepens a shallow checkout in bounded steps through a hard 1024 cap, rechecks the merge base after each step, and fails closed on cap exhaustion, non-shallow missing ancestry, fetch failure, exception, or missing git.- Two real shallow-repository integration tests exercise the production
_default_run_gitpath for both the legitimate update-branch exemption and substantive-resolution re-arm. Exact-head Scripts Tests completed with 13,774 passed, 94 skipped, and 8 expected failures. - Existing tree-equivalence, conflict, missing-object, payload and substantive-resolution protections remain intact; the 120-minute floor is not weakened.
The current PR-gate failure is not a content defect: it observed a cancelled ADK child during retarget, while the latest same-head ADK and all other children subsequently succeeded. The new commit legitimately resets DWELL until approximately 2026-09-16T23:25:22Z.
One non-blocking merge-order note remains: #15981 inserts a distinct test block at the same textual anchor, so if it changes first the union must preserve both blocks rather than assuming an automatic clean merge. closingIssuesReferences contains #16149; closure checklist/Evidence and the mandatory post-closure reread remain separate merge-time gates.
Dossier adjoint frais (body-only, 00:20Z) — retrait du keyword fermantChangement : ligne 119 du body, Motif (instruction ai-01, DM 01:32Z État vérifié firsthand à l'instant (pas hérité du dossier précédent) :
Rien d'autre à reprendre : la jambe attend sa disposition merge côté coordinateur. |
|
[ADJOINT PREFLIGHT] |
|
Dossier final (mise a jour du dossier c.2 post- corrections) — PR #16208 prete au merge-gate.
Aucun fix code restant. La PR attend uniquement le merge-gate ai-01. |
|
[ADJOINT PREFLIGHT] |
3 participants
Objet
Bloc #16149 :
gh pr update-branch— le seul remède à un rouge périmé —re-armait le plancher DWELL de 120 min qu'il sert à franchir. Chaque
réparation d'un rouge périmé coûtait 2 h de plancher supplémentaires, sur un
commit qui n'introduit aucun contenu d'auteur : sa seule différence avec
la tête précédente est l'état de
main, déjà gâté par ses propres gardes.Mesure fondatrice (issue, passe du 14/09) : 15 PRs réparées par
update-branch dans la même journée, chacune re-armée à l'heure de la passe —
~16 PRs sur 55 examinées-jamais-mergees bloquées par ce seul défaut d'outil.
Correctif
scripts/ci/merge_dwell.pymesure désormais le plancher sur le derniercommit qui modifie le côté PR, pas sur la tête nue :
last_authoritative_committed_at(repo, sha, base_sha)remonte la chaînefirst-parent au-delà des fusions de rafraichissement de base : un
commit à deux parents dont le second est un ancêtre de la base
(égalité directe, ou
compare/{base}...{parent}rendantbehind/identical). C'est la forme exacte d'ungh pr update-branchcommed'un
git merge mainmanuel — même discriminant, même rationale : ledelta appartient à la base.
réécrit les commits d'auteur — comportement voulu du mandat, préservé) ;
la fusion d'une sous-branche propre (second parent hors base —
contenu d'auteur) ; une filiation illisible (compare muet → la fusion
se mesure elle-même : comportement d'avant fix(ci): un update-branch de rafraichissement de base re-arme le plancher DWELL qu'il sert a franchir -- 2 h de taxe par reparation de rouge perime #16149, plus strict jamais
plus lâche).
DwellError(refus expliciteplutôt que mesure silencieuse d'un commit arbitraire).
check()litbase.shadu payload PR (fetch unique partagé avec lelabel de dérogation) ; un payload sans
base.sha= état illisible =DwellError(rule 1 : on refuse, on ne passe pas).evaluate()(pure, mandatée) est inchangée — aucun desserrement duplancher lui-même, pas de waiver en masse : le correctif vit dans
l'organe, pas dans une dérogation.
Repair CR ai-01 2026-09-16 19:10Z — la preuve doit être ATTEIGNABLE dans le gate
Le défaut, reproduit firsthand. Le gate (
pr-gate.yml) tourne sur uncheckout
actions/checkout@v4sans fetch-depth (shallow depth 1) +sparse. Dans cette topologie,
_ensure_commit_present()ramène chaque parenten
--depth=1: les deux parents n'ont aucun historique commun,git merge-base P1 P2sort 1,git merge-tree --write-tree P1 P2sort 128(
refusing to merge unrelated histories) →_auto_merge_tree()rendaitNone→ fail-closed → même un update-branch légitime se re-armait120 min (la taxe #16149 retombait sur le cas qu'elle devait exempter).
Le repair — approfondissement borné. Avant merge-tree,
_deepen_until_merge_base()approfondit le checkout par palliers croissants(
git fetch --deepen=N, 64 → 1024, cap dur_DEEPEN_MAX_DEPTH) jusqu'àrendre le merge-base calculable.
--deepenapprofondit toutes lesfrontières shallow du checkout (y compris les parents ramenés par sha).
Choix assumé vs changement de
fetch-depthdans le YAML : le repair estlocalisé au chemin de preuve, ne re-déclenche pas un checkout de tout le
gate, et reste dans la sémantique fail-closed du module.
Trois sorties fail-closed inchangées :
les PR pathologiquement en retard, pas pour les cas réels) ;
sans relation :
--deepeny est refusé par git, aucun fetch n'esttenté, fail-closed ;
Validation — integration tests sur dépôt RÉEL (topologie exacte du gate)
test_cr_20260916_update_branch_legitime_franchit_le_checkout_shallow:dépôt réel (origin bare + 40 commits base + PR + merge clean), clone
shallow depth 1 de la tête de PR, chemin de production
_default_run_git→ le update-branch franchit la remontée, le plancher semesure sur le commit d'auteur (T-240 min, écoulé). Était ROUGE avant le
repair (predict:
tete du ...11:59, 1 min) — la CR reproduite surl'arbre de cette branche, pas seulement en fake.
test_cr_20260916_resolution_substantive_re_arme_le_checkout_shallow:MÊME topologie, merge --no-commit + contenu d'auteur (arbre ≠ auto-merge)
→ le plancher se ré-arme sur la fusion (T-1 min).
dépôt complet sans merge-base → aucun fetch (unrelated-histories
réel).
exacte du gate (
git clone --depth=1 --sparse+sparse-checkout set) :merge-base rc=1 avant, rc=0 après un
--deepen=128, auto-merge égal auvrai tree.
pytest scripts/tests/test_merge_dwell.py scripts/tests/test_pr_gate.py→ 159 passed (32 + 127), 0 régression.
Réconciliation collision de chemins #15981
La PR #15981 (
fix/15910-picker-dwell, lane po-2026) partagescripts/ci/merge_dwell.py+scripts/tests/test_merge_dwell.py(organePR-PATH-COLLISION). Overlap vérifié par lecture des deux branches
(
git show origin/fix/15910-picker-dwell:...vs cette branche) :sections disjointes — #15981 ajoute
import re+_DWELL_PENDING_RE+parse_pending_message(~l.84-107/187-205, côté picker) ; cette PR modifiele chemin de preuve (
_ensure_commit_present/_auto_merge_tree/deepening,l.277-321) et la doc associée. Côté tests : #15981 ajoute ses tests
parse_pending_message, cette PR apporte les siens en fin de fichier ;la seule ligne partagée est le
base.shades tests bout-en-bout (apport decette branche, inchangé par #15981). Fusion textuelle propre attendue dans
les deux ordres.
Résiduel assumé (hors scope)
pr-gate-stale-sweep.yml(l.~342) tierne ses re-runs sur la date de latête nue — une approximation de priorisation, pas un gate : une PR
update-branch'd y reste tier 1 (re-run depriorisé d'un cycle au pire).
Le balayage horaire la rattrape au cycle suivant ; le plancher, lui, ne la
retient plus.
Périmètre : 2 fichiers (
scripts/ci/merge_dwell.py,scripts/tests/test_merge_dwell.py), 1 sujet. Catalogue byte-identique àmain.Grain: MED/tooling — lane myia-po-2023:CoursIA — prev: LIGHT/guard #16206
See #16149
🤖 Generated with Claude Code