fix(ci,#17771): desserrer no_pr_match — résolution par tête distante + content_on_main

[jsboige]

Grain: DEEP/ci-python — lane myia-po-2026:CoursIA — prev: DEEP/notebook-python #16897

prédicats 1 + 2 : desserrer no_pr_match sans desserrer les gardes

diagnose_worktree termine aujourd'hui en no_pr_match (REFUSE conservatrice) dès que la résolution par le nom de branche locale échoue — même quand le travail est trivialement rattachable : checkout pr-123 (le nom local n'est pas la tête de PR), ou branche dont le contenu est déjà intégré à main sans PR rattachable. Deux prédicats ordonnés, insérés après tous les gardes existants (saleté source, untracked non toléré, submodules, commits non poussés, branche protégée) :

Prédicat 1 — résolution par la tête distante qui porte HEAD

Quand lookup_pr_for_branch(<nom local>) rend None, nouvel essai par remote_head_for_head(wt_path, branch, head_sha) :

1. upstream explicite <branche>@{u} (hors */main, cf le faux-positif massif documenté dans get_worktree_info) → nom court ;
2. sinon scan de tips for-each-ref refs/remotes/origin : une branche origin/* dont le TIP est exactement head_sha (origin/main/origin/HEAD exclus).

La PR retrouvée suit alors le verdict standard : OPEN → REFUSE pr_open (le garde n'est pas affaibli), MERGED/CLOSED → REMOVE.

Prédicat 2 — content_on_main

Toujours sans PR rattachable, si git merge-base --is-ancestor HEAD origin/main : chaque commit du worktree est déjà sur main → REMOVE avec motif dédié (WorktreeStatus.content_on_main, champ additif, motif aussi rendu dans render_text). Les deux autres conditions de l'issue sont structurellement garanties par les gardes amont — un commit non poussé serait sorti en unpushed_commits, une édition source en uncommitted_source_changes/untolerated_untracked. Borne au cas branche : un HEAD détaché garde son verdict dédié (detached_no_match/detached_on_main).

Tests (113 passés + 11 nouveaux, 1 skipped inchangé)

Test	Garde
test_remote_head_merged_removes	le lookup reçoit bien ["pr-17771", "fix/renamed"] (chute du nom local vers la tête distante)
test_remote_head_pr_open_refuses	contrôle négatif exigé : PR OPEN retrouvée par tête distante → REFUSE pr_open
test_no_remote_head_keeps_conservative_refuse	aucune tête distante → no_pr_match inchangé
test_ancestor_clean_removes_with_motif	REMOVE + content_on_main=True + refusal_reason=None
test_not_ancestor_still_refuses	commits propres (squash-merge) → REFUSE conservatrice
test_py_edit_primes_over_content_on_main	contrôle négatif exigé : tête ancêtre de main MAIS édition .py non suivie → REFUSE uncommitted_source_changes, et l'appel gh lève AssertionError (jamais atteint)
test_detached_head_not_eligible	HEAD détaché : head_is_ancestor_of_main ne doit même pas être appelé
TestRemoteHeadForHead (4 tests)	upstream court, upstream origin/main esquivé, scan excluant origin/main/origin/HEAD, tip divergent → None

Suite complète : python -m pytest scripts/tests/test_prune_merged_worktrees.py → 113 passed, 1 skipped (326 s). install_prune_task.py non modifié (seuls l'organe et ses tests changent).

Mesure avant/après (cette machine, 2026-09-25, dry-run --json)

Même flotte de worktrees, deux passes consécutives — BEFORE depuis un worktree détaché à origin/main (9a2dd8aa4f), AFTER depuis la branche de cette PR (130e1f81cf).

Métrique	Avant	Après
no_pr_match	14	5
detached_no_match	0	0
removable	9	17
refusés	51	43
budget API (ancre)	14 appels	16 appels

Décomposition du −9 (verdict par verdict, diff des JSON) :

• 5 via prédicat 1 — REMOVE avec PR MERGED retrouvée par tête distante : CoursIA-17288 (pr=fix(iit,#17183): serie ICT -- 5 conclusions cessaient de promettre des notebooks deja ecrits #17288), CoursIA-17746 (pr=fix(ci,#17744): marqueur body 'enrich-quality: reecriture assumee' pour les reecritures annoncees #17746), CoursIA-t17327 (pr=fix(rl,#17251): rl_11 POMDP - Tiger Problem canonique (reset sans observation gratuite, F1-F4) #17327), CoursIA-t17341 (pr=fix(gametheory,#17107): GT-03d — le plan de deformation calcule pour de vrai (eq.7 exacte + hysteresis reelle) #17341), CoursIA-t17349 (pr=fix(sudoku,#17239): Sudoku-14-BDD-Python — 3 findings Hermes (docstring MDD fantôme, énoncé BDD-vs-MDD inexecutable, numérotation) #17349) ;
• 3 via prédicat 2 — REMOVE content_on_main : CoursIA-17336, CoursIA/.claude/worktrees/agent-a35c686484ceed65e, agent-ac26c04f8c36f982f (HEAD ancêtres de main, arbres propres) ;
• 1 artefact de mesure : CoursIA-17771-prune (la branche de cette PR, SKIP_CURRENT dans la passe AFTER car elle en est le CWD — no_pr_match depuis tout autre CWD).

Les 5 no_pr_match restants sont des REFUSE correctes : pr-16897 (PR #16897 ouverte, en attente de merge — la tête distante a bougé depuis le checkout), pr-17639, fix/16361-renumbers, tmp-16386, fix/16861-prose-outputs (têtes divergentes de tout ref distant — rien à rapprocher sans inventer).

Conformité

• install_prune_task.py intact (critère d'acceptation) ;
• aucun garde existant n'est réordonné ou affaibli : les deux prédicats vivent après saleté/untracked/submodules/unpushed/protected, et n'émettent que des verdicts standards (pr_open REFUSE, MERGED/CLOSED REMOVE) ou un REMOVE motivé par ascendance ;
• champ additif content_on_main (compat JSON amont, même patron que dead_registration [infra] Rien ne retire un worktree quand sa PR merge — 265 en 36 h sur po-2026, 103 sur ai-01, #8924 refermee sans organe #14195).

See #17771
See #14195

🤖 Generated with Claude Code

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2026:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-25) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=2 cap=2)
• GENRE-UNKNOWN : le genre canonise `python` est hors enumeration close -- trou d'adjacence G-VAR-3, requalifier le genre dans le body (Un genre hors énumération passe silencieusement : canonicalize_genre le rend tel quel, aucun signal, adjacence G-VAR-3 inatteignable #12158)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

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 variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #17809 (fix(ci,#17771): desserrer no_pr_match — résolution par tête distante + content_on_main) touche au moins un chemin de fichier aussi modifie par d'autres PRs ouvertes. Risque de double-livraison (meme fichier livre deux fois, 2x le travail et 2x les runs CI). Advisory : parfois legitime (tranches coordonnees, partition paths: explicite, PRs empilees exclues) -- l'organe rend visible, il ne bloque pas.

• terminal -- fix(ci,#17292): rendre rc=1 non ambigu et remonter le diagnostic de prune_merged_worktrees #17293 partage : scripts/ci/prune_merged_worktrees.py, scripts/tests/test_prune_merged_worktrees.py, recouvrement de chemins 100% -- fix(ci,#17292): rendre rc=1 non ambigu et remonter le diagnostic de prune_merged_worktrees #17293 est deja sur main.
• terminal -- fix(ci,#17684): prune ne donne plus a un HEAD detache la PR d'un commit ancetre #17686 partage : scripts/ci/prune_merged_worktrees.py, scripts/tests/test_prune_merged_worktrees.py, recouvrement de chemins 100% -- fix(ci,#17684): prune ne donne plus a un HEAD detache la PR d'un commit ancetre #17686 est deja sur main.

Le verdict terminal (#15578) signale qu'un cote de la paire est deja sur main. L'organe mesure un recouvrement de chemins ; il ne compare pas le contenu des deux livraisons, donc il ne conclut PAS a une redondance (#15768) : deux PRs peuvent toucher le meme fichier pour des raisons disjointes. L'arbitrage reste a la lane ou au coordinateur.

[jsboige]

Diagnostic du rouge Scripts Tests (hérité de main, hors périmètre de cette PR). test_no_lake_ever_lost_the_gate (scripts/lean/tests/test_check_axiom_gate_coverage.py, #17097 critère 3) échoue : « a deleted dispatcher called lean-serre.yml and its lake is now served only by the matrix » (gated_paths Serre100/serre100_lean, deleted_by 52b248a3e0 = merge #17370, 2026-09-25 10:02Z). Vérifié firsthand : le test rougit sur un arbre identique à origin/main — le diff de cette PR (2 fichiers : scripts/ci/prune_merged_worktrees.py + ses tests) ne touche aucun workflow Lean. Le rouge sera levé par le re-wire/la justification côté propriétaire #17336, puis rerun des checks ici (DWELL de cette PR : 14:05Z). DM HIGH + dashboard WARN envoyés à ai-01.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2024:CoursIA-2
pr: 17809
head: ed06b87
complete: true
body: read
comments-reviewed: 4
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a3b05d49a9ed75adbe552db36b406e0895f5bdab0fe28c979243951917f2f2f8
diff-files: 2
diff-additions: 302
diff-deletions: 5
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

2 fichiers (scripts/ci/prune_merged_worktrees.py + son test), +302/-5 : perimetre conforme au titre (desserrage de no_pr_match par tete distante + content_on_main). PR gate latest-wins success @15:04:22Z. Le commentaire non evalue est le diagnostic base-inherited du Scripts Tests, non une reserve.