docs(14318): marquer feature/runner-positive-control GARDER dans le TSV classe E

[jsboige]

Grain: LIGHT/docs -- lane myia-po-2027:CoursIA -- prev: MED/tooling #20010

Objet

Critere 4 de #14318 : la branche feature/runner-positive-control est la seule survivante des 7 branches nommees par l'audit classe E (L576), et elle doit etre conservee deliberement -- c'est un temoin positif dont l'echec est le livrable (#13378 : le runner doit echouer proprement pour prouver que le harness detecte les echecs). Le TSV docs/reference/branch-cleanup-classe-e-l576.tsv ne portait aucun marqueur de conservation : sa ligne etait PENDING, indiscernable d'une branche oubliee.

Changement

Une seule cellule, ligne 32 : auto_supprimable_strict PENDING -> GARDER. verdict_v1 reste INCONNU (c'est la colonne du verdict d'audit v1, pas celle de la decision de conservation).

Le TSV est maintenu a la main (aucun script de main ne le consomme -- verifie par grep sur l'arbre complet) : introduire la valeur GARDER ne casse aucun parseur, et le vocabulaire existant (PENDING, A_VERIFIER_DIFF) ne couvrait pas la case « conserve a dessein ».

Mesures prealables (criteres 1-3 de #14318, detail au fil de l'issue)

• Critere 1 (preuve safe sur main) : banks_set_condorcet vit a Voting.lean:702 comme preuve reelle (tactiques classiques), 0 sorry dans le fichier entier -- entre par edda4948f070 (feat(lean,#4365): absorb SocialChoice (Arrow+Sen+Voting FR+EN) into game_theory_lean — anti-proliferation GT 6->2 #6058).
• Criteres 2/3 : rendus moots par attrition -- des 7 branches nommees, seule feature/runner-positive-control survit encore en distant.
• Comptage distant : 4 228 refs de tete (contre 1 034 au moment de l'audit) -- la regrowth rend toute purge naive dangereuse, ce qui rend le marqueur durable necessaire.

Suivi propose (critere 5, non livre ici)

56 lignes restent INCONNU dans le TSV. Une passe de classification par ancres L576 (quatre ancres, cf orphan-branch-scan-l576.md) les reduirait -- a ouvrir en sous-grain separe si le coordinateur le veut.

See #14318 (critere 4 seulement, livraison partielle).

🤖 Generated with Claude Code

[github-actions]

Trivial-diff advisory (#15740, non bloquant).
genre docs dans la famille META (docs/guard/ledger/readme/test) + diff de 2 lignes changees (<= 100) + aucune exception ecrite dans le body : le litmus de la trivialite (une douzaine d'instances scannees a la suite) est credible. Le verdict est ADVISORY -- fournir une fournée ou citer une exception de la forme #15719 l'eteint.
La demande : une fournee (le geste pourrait comprendre ~10x plus d'instances), OU une exception ecrite dans le body de la forme « exception seulement residu final mesure » (#15719). Editer le body re-deroule cet organe et retire le label.

[github-actions]

Path-collision (organ #13359/#13615)

Cette PR #20082 (docs(14318): marquer feature/runner-positive-control GARDER dans le TSV classe E) 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 -- chore(tooling,#14238): tranche 3 triage classe E -- 72 branches L576 v2 + première passe #19422 partage : docs/reference/branch-cleanup-classe-e-l576.tsv, recouvrement de chemins 100% -- chore(tooling,#14238): tranche 3 triage classe E -- 72 branches L576 v2 + première passe #19422 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]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 20082
head: e55b257
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 3a88273bf74ab43794ab285a5e43098faffd9a28f2daa101504c265be97b930d
diff-files: 1
diff-additions: 1
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 20082
organ-rc: 0
[/ADJOINT PREFLIGHT]