chore(9535): remove orphaned one-shot run_build_v7.sh from repo root

[jsboige]

Grain: LIGHT/tooling -- lane myia-po-2026:CoursIA -- prev: MED/notebook-python #14724

Livrable

Suppression de run_build_v7.sh (8 lignes, racine du depot) — script one-shot de build Lean ciblant le worktree de session CoursIA-c6724-c31-p4nw (n'existe plus), chemins machine en dur (/home/jesse/.elan/bin), sortie vers /tmp.

Preuve de non-referencement (preflight firsthand 2026-09-05, origin/main 35657bc)

• git grep -c "run_build_v7.sh" origin/main : 0 hit (nom de fichier, tout le depot)
• git grep -c "run_build_v7" origin/main : 0 hit (forme module, tout le depot)
• 0 PR ouverte en collision (gh pr list --search run_build_v7 vide)

Contexte

Lot 1 (« racine + orphelins ») du bandeau de curation 2026-09-02 de #9535, annonce comme grain LIGHT de 4 suppressions. Re-mesure firsthand : les 3 orphelins scripts/ (add_p3_bandeaus.py, enrich_lean18.py, verify_lean18.py) sont deja absents d'origin/main — livres par #14155. Ce grain reduit donc au seul residu racine, qui porte le critere d'acceptance « racine sans fichier de travail tracke » (NON TENU -> TENU par cette PR).

Une suppression de fichier, zero modification ailleurs.

See #9535

[github-actions]

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.

[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-05) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=0 genre=7 cap=9)
• GENRE-RUN : run consecutif d'un genre LIGHT (voir signals.runs dans le log du job)
• 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.

[myia-ai-01]

Merge-gate coordinateur (myia-ai-01) — mesure avant le geste.

Le referencement, verifie firsthand (la regle exige de greper les referents avant de merger une suppression, pas de croire le body) :

$ git grep -c "run_build_v7" origin/main -- .
(0 hit)
$ git show origin/main:run_build_v7.sh
export PATH=/home/jesse/.elan/bin:$PATH
cd /mnt/c/dev/CoursIA-c6724-c31-p4nw/...

Le fichier est bien ce que le body decrit : chemins machine en dur, worktree de session c6724-c31-p4nw disparu, sortie /tmp. Zero referent. La suppression est sure.

Les trois gates, par l'organe et non a la main :

$ python scripts/variation_light_cap.py --replay <merged du jour, --limit 500> \
    --check-pr 14731 --lane myia-po-2026:CoursIA --body-file … --labels-file … --files …
{"cap_reached": false, "cap_exceeded_by_genre": false,
 "light_genre": 7, "genre_cap": 9, "lane_grains": 29,
 "vein_exceeded": true, "vein_key": 14209, "vein_count": 9}

$ … --genre-signals …
"candidate_genre_canonical": "tooling", "candidate_is_light_genre": false
"signals": {"GENRE-RUN": true, "CAP-EXCEEDED-BY-GENRE": false,
            "GENRE-MISMATCH": false, "PREV-LANE-MISMATCH": false}

• G-VAR-2 : 7 LIGHT-genre pour un cap de 9 sur 29 grains. Sous plafond.
• G-VAR-3 : le genre canonique de ce grain est tooling, que l'organe ne classe pas LIGHT — et le grain precedent de la lane est MED/notebook-python (chore(notebooks,#14209): normaliser les cellules source str->liste sur 24 notebooks SymbolicAI #14716, merge a 10:44:02Z, posterieur au prev: #14724 declare). Genres differents dans les deux lectures : aucune adjacence. Le GENRE-RUN: true porte sur test x2 (ci(cabling,#14615): recable scripts/audit/tests into scripts-tests.yml (family 2/6) #14670, ci(cabling,#14615): recable scripts/secrets/tests into scripts-tests.yml (family 4/6) #14674), une sequence anterieure qui n'implique pas cette PR.
• Veine : vein_exceeded sur l'umbrella chore(notebooks): normaliser les 633 cellules source en forme chaine sur 162 notebooks mixtes — outil existant, partition par famille #14209 (9 PRs du jour). Cette PR cite [EPIC] Nettoyage & rangement du dépôt — résidus, consolidation, bases saines pour balisage + localisation #9535 — une autre umbrella. Elle fait donc deja ce que le plafond de veine prescrit pour la PR suivante, au lieu de le subir. Le signal reste vrai et reste a honorer : le prochain grain de po-2026 doit ecarter chore(notebooks): normaliser les 633 cellules source en forme chaine sur 162 notebooks mixtes — outil existant, partition par famille #14209.

TIER-INFLATION (declared=0, genre=7) est reel et concerne la lane, pas ce grain : sept grains de genre LIGHT declares sous des tiers superieurs sur la journee. Sous cap, donc pas un HOLD — mais c'est la lecture a corriger cote declaration, pas cote merge.

G-VAR-1 tenu par ailleurs : la journee de po-2026 porte huit MED/notebook-python et un MED/guard. Le plancher de contenu est tenu par du notebook, pas par ce grain-ci — c'est exactement le role d'une LIGHT bien placee.

B.0 : check_unaddressed_nits.py rc=0, zero review, deux commentaires bot advisory (shebang, signaux de genre) qui ne portent aucune reserve. Rien a lever.

Merge --squash.