variation-protocol l.19 : la prose donne le prev: déclaré comme clé d'adjacence G-VAR-3, l'organe lit la séquence mergée depuis #12095 (2 HOLD coordinateur faux, rétractés) #15589

Activity

1. jsboige

   added

   documentationImprovements or additions to documentationImprovements or additions to documentation

   on Sep 11, 2026
2. jsboige commented on Sep 11, 2026

   

   jsboige

   on Sep 11, 2026

   OwnerAuthor

   More actions

   Grain: LIGHT/docs — lane myia-po-2023:CoursIA — prev: MED/guard #15591

   [CLAIMED] #15589 — myia-po-2023:CoursIA 2026-09-11T12:05Z

   Preflight fait avant de poser le claim :

   • check_lane_claim.py 15589 --lane "myia-po-2023:CoursIA" --paths … → blocked: false, les 2 chemins en free_paths ;
   • --open-prs-on .claude/rules/variation-protocol.md → aucune PR ouverte n'intersecte le chemin (idem pour le fichier de détail, vérifié par scan des files des 100 PRs ouvertes) ;
   • 0 commentaire sur l'issue → aucune lane ne l'a prise.

   Les 4 affirmations de l'issue re-mesurées contre la source (pas de propagation) :

   1. la phrase de la ligne 19 dit bien « le genre est la clé d'adjacence » ;
   2. grep -c 'scripts/ci/variation_adjacency_guard' .claude/rules/variation-protocol.md = 0 ;
   3. grep -ci 'merged-sequence|séquence mergée' sur la règle = 0 (et sur le fichier de détail = 0) ;
   4. l'organe scripts/ci/variation_adjacency_guard.py existe, porte --merged-prs-file, et rend prev_source ∈ {merged-sequence, declared}.

   Un point que je corrigerai plus précisément que la rédaction proposée dans l'issue : prev: déclaré n'est pas seulement documentaire — le docstring de l'organe dit qu'il reste source de vérité quand la lane n'a aucun grain merge a consulter (premier grain, ou echec de fetch — jamais un crash). Écrire « purement documentaire » remplacerait une affirmation fausse par une autre. Le livrable le dira exactement.

   Périmètre : .claude/rules/variation-protocol.md + docs/reference/variation-protocol-detail.md. Hors périmètre confirmé : le vocabulaire fail-OPEN de canonicalize_genre (#13475), non fusionné.

   PR à venir, avec sign-off user demandé puisque .claude/rules/ est concerné (CLAUDE.md §A).
3. jsboige commented on Sep 11, 2026

   

   jsboige

   on Sep 11, 2026

   OwnerAuthor

   More actions

   [DONE] lane myia-po-2023:CoursIA — livrable PR #15593 (docs/15589-prev-adjacency-key, commit 8e66947f11). LIGHT/docs, +20/-1 sur 2 fichiers.

   Les 4 acceptance, mesurees sur le fichier ecrit

   #	Critere	Mesure
   A1	la ligne 19 ne presente plus le genre declare comme cle d'adjacence, et nomme la sequence mergee	grep -c "le genre est la clé d'adjacence" = 0 ; grep -ci "séquence mergée" = 1
   A2	le chemin complet de l'organe figure dans la regle	grep -c 'scripts/ci/variation_adjacency_guard' .claude/rules/variation-protocol.md = 1 (> 0)
   A3	role documentaire distingue par ecrit du role de calcul	mot « documentaire » + clause de repli + « aucune lane ne deplace son adjacence en choisissant sa declaration »
   A4	decision sur la consequence 2 citee, pas implicite	detail §2.1, decision en negatif et mesuree (voir ci-dessous)

   Temoin live, reproduit sur la PR qui corrige le defaut

   #15593 declare prev: MED/guard #15591 (#15591 est OPEN). L'organe, interroge sur cette PR avec la sequence mergee reelle :

   {"guard_pass": true, "blocking": false, "adjacent": false, "genre": "docs",
    "prev_genre": "notebook-python", "lane": "myia-po-2023:CoursIA",
    "prev_source": "merged-sequence", "declared_prev_genre": "guard",
    "prev_pr": 15448, "reason": "genres differ (docs vs notebook-python) -- no adjacency"}
   

   Le predecesseur reel est notebook-python (#15448), pas le guard declare. Deux lectures du meme tag, deux faits differents — exactement ton mecanisme du 2026-09-11.

   Consequence 2 — decision : NON, et c'est deja mesure

   Ta « piste » (« le garde verifie que le prev: reference une PR mergee, en advisory d'abord ») a deja ete implementee, mesuree, puis retiree le 2026-09-08. L'invariant PREV-ABANDONED (validate_prev_targets, scripts/ci/variation_prev_guard.py) ne rougit aujourd'hui que sur une PR fermee sans merge — lignee abandonnee — jamais sur une PR en vol.

   La mesure qui a fait retirer l'ancienne lecture « not merged » : cinq PRs ouvertes bloquees (#15156, #15190, #15207, #15209, #15210) citant quatre predecesseurs distincts (#15129, #15175, #15199, #15203) — les quatre OPEN, pas un seul abandonne. Flaguer OPEN punissait exactement le comportement que R1 de proactive-coordination.md impose : « 1 PR entre 2 wakeups = PLANCHER, jamais plafond — une PR livree ne clot pas la session ». Ta propre PR #15593 est dans ce cas et il est legitime.

   Donc : seule la relecture trompeuse est un defaut, et elle est traitee par la prose — pas par un gate. Re-introduire le flag serait un retour en arriere sur un correctif mesure. Ecrit noir sur blanc dans le detail §2.1, avec la mesure.

   Une correction a ta redaction

   Tu ecris que le prev: declare est « documentaire » (consequence 1). Le docstring de l'organe dit plus precisement qu'il reste source de verite en repli — quand la lane n'a aucun grain merge a consulter (premier grain, ou echec de fetch, jamais un crash). Ecrire « purement documentaire » aurait remplace une affirmation fausse par une autre ; la PR dit la version exacte.

   Verification

   • check_docs_links.py --check apres le dernier commit : OK: No new broken links (0 pre-existing, 6807 total).
   • Liens relatifs ajoutes verifies un par un sur disque (dont ../../scripts/ci/variation_adjacency_guard.py).
   • Paragraphes : max 1499 c dans la regle, 1016 c dans le detail (limite 2000).
   • Les deux organes de variation lances localement sur le body avant push : variation_prev_guard -> guard_pass: true, prev_targets_accepted: [15591] ; variation_adjacency_guard -> guard_pass: true, adjacent: false. Tag valide avec l'extracteur lui-meme : required_pass: true, LIGHT/docs.
   • La regle reste succincte (fichier auto-charge, cf harnais: redescendre le contexte auto-charge sous 70k tokens (mesure: 98,5k, cible -29%) #15204) : le mecanisme, la mesure et le cas « prev: ouvert » vivent dans le detail §2.1, atteint par un pointeur d'une ligne (harness-hygiene, 3 tiers).

   Hors perimetre respecte : le vocabulaire fail-OPEN de canonicalize_genre (#13475) n'est pas touche, non fusionne.

   .claude/rules/ est concerne -> PR + sign-off user (CLAUDE.md §A), signale sur le dashboard et dans le body. Je ne m'auto-autorise pas a modifier la doctrine : la PR corrige un fait faux, elle ne change aucune intention (ban G-VAR-3, boucle de rattrapage et exemption inchanges). Je ne ferme pas cette issue moi-meme.
4. jsboige

   added a commit that references this issue on Sep 12, 2026

   docs(variation,#15589): le prev: declare n'est pas la cle d'adjacence…

   ...

   4793dc3
5. jsboige

   closed this as completedin #15593on Sep 12, 2026