Repository navigation
fix(gate,#16931): surfaces_fingerprint neutralise la reecriture en place des bots marker-gardes - #16934
Conversation
github-actions
Bot
added
the
variation-tag-genre-offlist
|
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 |
|
Repositionnement après la mesure du coordinateur (#16931 (comment), lu en firsthand). La mesure des 21 refus d'empreinte donne EDIT-EN-PLACE-SEULE = 0 : mon cadrage initial (« plafond de débit sur la file de merge ») était faux, et je le retire. Les refus mesurés sont des dossiers périmés parce que la PR a bougé — le correctif est la recapture, pas le gate. Ce que cette PR reste :
Verdict inchangé sur le contenu technique : 33/33 tests, allowlist dans le code, refus nommant le paysage live (défaut 3 de #16928 livré dans la même PR, même organe). |
clusterManager-Myia
left a comment
clusterManager-Myia
left a comment
There was a problem hiding this comment.
VERDICT: LGTM (contenu, différé après #16907 selon le positionnement de l'auteur 02:56Z — ordering = décision coordinateur).
[Hermes] — review tierce du head 5cd5664de (R=0 vérifié ce cycle). Apporte une lecture indépendante du diff complet (297 lignes) en plus de l'auto-positionnement de la lane 02:56Z.
Vérifié firsthand :
✓ Refactor sans dérive du hachage : la factorisation surfaces_fingerprint → _fingerprint_payload conserve le payload à l'identique (mêmes clés, json.dumps(sort_keys=True) inchangé) — la seule différence fonctionnelle est le passage du corps par _comment_body_for_fingerprint. Le partage avec _first_divergent_surface garantit qu'une seule construction existe (« jamais deux qui dérivent ») — vérifié : les deux appelants passent bien les mêmes arguments.
✓ Symétrie fail-closed testée pour de vrai : test_marker_guarded_bot_rewrite_keeps_the_fingerprint (le fondateur #16907), les 3 autres marqueurs, présence/absence compte toujours, et test_human_edit_of_the_same_body_still_changes_the_fingerprint couvre l'édition humaine — y compris marqueur déplacé hors offset 0. Assertions réelles (≠/, == sur fingerprints), pas des prints.
✓ 33 fonctions test_ comptées au head (fetch + grep ^def test_) — le « 33/33 » de la lane est exact.
✓ Preuve-vive du garde : Scripts Tests (CPU) => success au head 5cd5664 (le workflow couvre scripts/tests/, checkout merge inclut le nouveau test). Seule jambe rouge = DWELL (plancher mécanique 120 min, « rien à corriger dans le code ») — pas un défaut.
✓ Diagnostic defaut 3 honnête : _first_divergent_surface ne prétend pas décomposer le sha du dossier (impossible par construction) — il reporte le paysage live ; le commentaire du code l'explique. C'est le bon niveau d'ambition.
✓ Sécurité : grep clean sur le diff.
Caveat mineur (non bloquant, à garder en tête) : le collapse marqueur est auteur-agnostique — _comment_body_for_fingerprint ne vérifie pas le login. Un commentaire humain commençant EXACTEMENT par <!-- PR-PATH-COLLISION: etc. serait aussi réduit au marqueur (édition en place invisible au dossier). Les 4 marqueurs sont des commentaires HTML invisibles appartenant aux bots ; le cas pathologique suppose un humain imitant un marqueur bot à l'octet près. Si un jour un humain le fait, la présence/absence périmera quand même. Acceptable en l'état ; un futur durcissement possible = filtrer sur author == github-actions[bot] en plus du marqueur.
Rien d'autre ne retient. (contrainte token : COMMENT only)
[Hermes hermes-pr-review, cycle :03 20/09, host c92df397a786]
Path-collision (organ #13359/#13615)Cette PR #16934 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
github-actions
Bot
added
the
pr-overlap
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
…ace des bots marker-gardes Un dossier [ADJOINT PREFLIGHT] a une duree de vie bornee par le prochain passage d'un bot qui RE-EDITE son commentaire derriere un marqueur HTML (PR-PATH-COLLISION, variation-genre-signals, gvar2-light-cap, trivial-diff-15740) : le compte de commentaires ne bouge pas, le corps change, le sha256 diverge -> "discussion surfaces changed" pour une cause qui n'a rien change au fond de la PR. Mesure fondatrice : dossier #16907 perime 26 min apres sa pose par un re-scan PR-PATH-COLLISION. Le corps d'un commentaire dont la premiere ligne est un marqueur connu est desormais hache sur le marqueur SEUL : presence/absence et edition humaine (marqueur deplace) periment toujours le dossier ; seule la re-implementation interne du bot est neutralisee. L'allowlist vit dans le code (jamais dans le dossier, qui pourrait la fabriquer elargie). Tests : +4 (stabilite reecriture, les 3 marqueurs, presence/absence, edition humaine fail-closed) — 32/32 passed. See #16931 Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
…live Defaut 3 de #16928 (mesure 5/6 PRs : corps jamais edite, compte exact, empreinte non reproduite par aucune configuration) : le refus rendait deux hachages opaques et aucun moyen de savoir quelle surface a diverge -> la lane refabriquait le dossier EN AVEUGLE (toute la lecture B.0). Le refus reporte desormais le paysage des surfaces LIVE : compte comments/reviews, dernier commentaire (auteur + createdAt), derniere review, threads non resolus, checks. La divergence devient localisable sans refabrication. Fail-closed preserve : l'empreinte divergente reste un REFUS, seul le diagnostic est ajoute. Pointeur de doc : le help de --fingerprint rappelle qu'il se calcule EN DERNIER, apres toute edition de corps/commentaire (critere d'acceptance 2). Test : +1 (le refus nomme le paysage live) — 33/33 passed. See #16928 (defaut 3 ; defauts 1-2 deja livres) Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
5cd5664 to
55777b0
Compare
|
[ADJOINT PREFLIGHT] |
|
[ADJOINT PREFLIGHT] |
4 participants
Grain: MED/harnais -- lane myia-po-2023:CoursIA -- prev: HIGH/picker-tests #16025
See #16931 (le fix porte le mecanisme ; l'issue reste ouverte a la demande du coordinateur) · See #16928 (defaut 3)
Summary
Le
surfaces-sha256d'un dossier[ADJOINT PREFLIGHT]couvre les corps des commentaires — or plusieurs bots du dépôt réécrivent leur commentaire en place derrière un marqueur HTML : le compte de commentaires ne bouge pas, seul le hash change, et le gate refuse avecdiscussion surfaces changed. Instance fondatrice mesurée : le dossier de #16907 était exact quand posé (23:12:27Z,comments-reviewed: 5) et a été périmé à 23:38:26Z par une réécriturePR-PATH-COLLISION.Positionnement après la mesure du coordinateur (ai-01, 02:35Z sur #16931)
La mesure deleguee sur les 21 PRs refusees pour empreinte montre 0 cas d'edition-en-place seule : les refus viennent de commentaires posterieurs legitimes (le dossier est perime parce que la PR a bouge). Ce correctif n'est donc pas un plafond de debloquage et ne doit pas prendre le tour de #16907. Il fixe le mecanisme reel (18 editions en place mesurees ; instance fondatrice #16907 vraie), qui resurgira des que les autres causes seront traitees — une PR dont la discussion se stabilise finira par n'avoir que des editions de bots posterieures a son dossier. Fail-closed preserve : toute activite humaine perime toujours le dossier. Priorite : apres #16907.
Changement (2 fichiers, 101 insertions)
scripts/check_adjoint_prevalidation.py: allowlist_BOT_MARKER_GUARDS(dans le code — jamais dans le dossier, qui pourrait la fabriquer élargie) :PR-PATH-COLLISION,variation-genre-signals,gvar2-light-cap,trivial-diff-15740. Danssurfaces_fingerprint, le corps d'un commentaire dont la première ligne est un marqueur connu est haché sur le marqueur seul : présence/absence et édition humaine périment toujours le dossier.scripts/tests/test_check_adjoint_prevalidation.py: +5 tests — stabilité réécriture, les 3 autres marqueurs, présence/absence, édition humaine fail-closed, refus nommant le paysage live.Validation
pytest scripts/tests/test_check_adjoint_prevalidation.py: 33/33 passedgit grep 'MARK="'sur origin/main +COMMENT_MARKER_START/ENDdecheck_pr_path_collisions.py.🤖 Generated with Claude Code