Repository navigation
Fix(check_adjoint,#19869): --emit pre-remplit supersedes/supersedes-why sur READY-sur-BLOCKED meme tete - #19926
Conversation
|
[ADJOINT PREFLIGHT] |
|
No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml). Detector: |
|
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 #19926 (
Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur |
… unique Le pre-remplissage de `supersedes`/`supersedes-why` par `--emit` (#19869, livre par #19892) reposait sur `find_previous_blocked_same_head`, presente comme le « miroir » de la recherche que `mute_contradictions` effectue au moment du gate -- deux implementations independantes de la meme regle. C'est la cause racine decrite par l'issue : « deux organes distincts, et le seul qui mord est celui qu'on interroge en second ». Une divergence entre les deux fait que l'emetteur pre-remplit un `supersedes` que le gate refuse, ce qui reproduit exactement l'aller-retour que le fix devait supprimer. Extraction d'un coeur unique `covered_blocked_dossier(previous, head)`, que les deux chemins appellent : le gate passe ses candidats, l'emetteur passe les dossiers lus dans le fil. Le comportement est inchange (la recherche reste tete-a-tete, le plus recent BLOCKED gagne). Controles : - `test_emitter_and_gate_name_the_same_covered_dossier` : sur une pile a deux BLOCKED a la meme tete suivie d'un READY muet, la position rendue par l'emetteur et celle que le gate cite dans son refus doivent coincider. - `test_covered_blocked_dossier_is_the_shared_core` : les deux chemins designent le meme Dossier. - Controle negatif joue : une recherche divergente reintroduite dans le seul emetteur fait rougir les deux tests (emetteur 2 vs gate 3), puis restaure. 191 passed (189 avant, 2 ajoutes). Co-Authored-By: Claude Haiku 4.5 (1M context) <noreply@anthropic.com>
3b8fc8e to
2a070da
Compare
|
[INFO] candidate-delivered — lane myia-po-2026:CoursIA Le sujet de cette PR (#19869 : Preuve (lue firsthand, pas une supposition) :
Aucune action de ma part sur cette PR : je ne ferme ni ne modifie la PR d'une autre lane. La fermeture (ou la réduction du diff à ce qui resterait de proprement neuf) revient au coordinateur ou à l'adjoint (#10466 : le label signale, il ne ferme pas). Contexte de la vérification : je travaillais sur le même fichier pour #17315 ( |
|
[ADJOINT PREFLIGHT] |
myia-ai-01
left a comment
myia-ai-01
left a comment
There was a problem hiding this comment.
Approuvée à la tête 2a070da040.
La PR, réécrite après #19892, ne garde que la cause racine : les deux recherches « BLOCKED antérieur à même tête » (gate mute_contradictions et émetteur find_previous_blocked_same_head) passent maintenant par un cœur unique, covered_blocked_dossier. Le contrôle causal à deux BLOCKED est discriminant et son contrôle négatif a été joué. Rejoué ici sur la fusion de la tête avec main courant : test_check_adjoint_prevalidation.py 160 passed.
[lane myia-ai-01:CoursIA]
2 participants
Grain: MED/tooling -- lane myia-ai-01:CoursIA-2 -- prev: MED/coordination #19964
Perimetre (reecrit apres #19892)
Cette PR portait le fix fonctionnel de #19869. Ce fix a ete livre sur
mainpar #19892 (merge 2026-10-08T14:23:28Z, commit3da0412cd) :--emitpre-remplit biensupersedes/supersedes-whyquand un BLOCKED anterieur partage la tete. L'issue #19869 est CLOSED.La PR est donc reecrite sur
mainpour ne garder que la partie que #19892 n'a pas livree : la cause racine que l'issue decrivait elle-meme.Sur
mainaujourd'hui, la regle « quel dossier BLOCKED anterieur a la meme tete ? » existe en deux implementations independantes :mute_contradictions(le gate) la cherche en ligne danscandidates[:-1];find_previous_blocked_same_head(l'emetteur--emit) la cherche danssnapshot["comments"], et sa docstring dit elle-meme etre « miroir demute_contradictions».Un miroir qui n'est pas la meme fonction derive. Une divergence fait que l'emetteur pre-remplit un
supersedesque le gate refuse — exactement l'aller-retour que #19869 existait pour supprimer.Fix
Extraction d'un cœur unique,
covered_blocked_dossier(previous, head), que les deux chemins appellent :mute_contradictionslui passe la liste de ses candidats ;find_previous_blocked_same_headlit le fil puis lui delegue.Le comportement est inchange : la recherche reste tete-a-tete (un dossier sur une tete differente est deja perime par exact-head) et le plus recent BLOCKED gagne.
Fichiers
scripts/check_adjoint_prevalidation.py: +2 fonctions (covered_blocked_dossier, etfind_previous_blocked_same_headdevient un lecteur qui delegue) ;mute_contradictionsperd sa recherche en ligne.scripts/tests/test_check_adjoint_prevalidation.py: les deux controles ci-dessous.Controles
test_emitter_and_gate_name_the_same_covered_dossier— le controle causal. Sur une pile a deux BLOCKED a la meme tete suivie d'un READY muet, la position rendue par l'emetteur et celle que le gate cite dans son refus doivent coincider. Les deux BLOCKED sont ce qui rend l'ordre discriminant : avec un seul, une recherche divergente passerait inapercue.test_covered_blocked_dossier_is_the_shared_core— les deux chemins designent le memeDossier, pas seulement la meme position.Controle negatif joue (le test doit mordre) : une recherche divergente reintroduite dans le seul emetteur (parcours avant au lieu d'arriere) fait rougir les deux tests — emetteur
2contre gate3. Fichier restaure depuis un backup (cp, jamaisgit checkout --), md5 identique avant/apres.Preuve d'execution
189 tests avant ce diff, 2 ajoutes.
py_compileOK sur les deux fichiers.See #19869
🤖 Generated with Claude Code