CI: le ratchet exec-sequence n'a aucun consommateur d'ack fail-by-design (#11577) -- 6 PRs bloquees structurellement #21273

Constat (mesuré le 18/10/2026)

Le ratchet Exec-sequence ratchet (base vs PR) (.github/workflows/notebook-exec-sequence-ratchet.yml) documente un cas d'échec assumé (#11577, précédent #11574). Une PR ré-exécute légitimement une seule cellule, parce que la ré-exécution complète est liée à une machine (2 GPU réels, run GPU de 10 h et plus). La séquence execution_count passe alors de CLEAN à DUPLICATE ou NOT_FROM_1. Le workflow prescrit (l.12-20) de documenter la séquence dégradée dans le body et d'obtenir un ack explicite du reviewer avant merge.

Aucun organe ne lit cet ack. scripts/pr_gate.py ne contient ni fail-by-design, ni 11577, ni aucune exemption : la jambe reste rouge, le PR gate reste rouge, et mergeStateStatus reste BLOCKED. Le compte myia-ai-01 n'a pas le droit de merge admin. Seul le propriétaire peut forcer un merge, et le faire est une décision user.

PRs bloquées structurellement, à la date du constat, avec un body fail-by-design :

• Fix(dswa,#17379): tranche 3 audits 09/10 -- enonce neutre 3.1, decomposition fp32 3.13, portees 3.13b #20369 (3.13b, 2 GPU réels nccl ; ack déjà accordé par ai-01 à une tête antérieure, review 5485941942) ;
• fix(ict,#5105): ICT-25 §5.2 — plafond saturant retiré (cap 80→1024), re-exec GPU-2 des deux bras N/I #20377, fix(ict,#20871): densite_gliders detecte une translation vers la droite #20921 (ICT, run GPU) ;
• fix(notebook,#21189): Planners-10 ToT reel, CoT honnete (raisonnement non transmis, relabel), HAS_DOTENV retire, tableau qualitatif #21255, Fix(planners,#21190): validate_pddl_advanced 4 etapes + tableau qualitatif #21256, Fix(symbolic,#20863): SL-13b -- epingle numpy/matplotlib/torch + check version cellule 1 #21257 (Planners-10, SL-13b ; compteur de kernel à offset).

Ce qui est demandé

Un consommateur d'ack sur le modèle de la double clé de traduction (#10332 : label translation-override et commentaire [TRANSLATION-OVERRIDE]) :

1. Le job du ratchet, quand la séquence se dégrade, cherche les deux éléments suivants :
   • le label exec-sequence-ack ;
   • un commentaire ou une review de myia-ai-01, en ligne propre, [EXEC-SEQ-ACK] head=<sha40>, où <sha40> est la tête exacte de la PR.
2. Les deux présents, à la tête exacte : conclusion success, avec une annotation notice qui nomme l'ack (auteur, heure, tête) et les notebooks dégradés. Un push ultérieur périme l'ack, parce que la tête change.
3. Sinon : comportement actuel, inchangé (hard-fail).
4. Tests : un ack à la bonne tête passe ; un ack à une tête périmée échoue ; un label sans commentaire échoue ; un commentaire d'un autre auteur échoue ; une séquence CLEAN n'a pas besoin d'ack.
5. Mise à jour du gabarit « Ratchet exec-sequence fail-by-design » dans docs/reference/regles-validation-detail.md : le geste d'ack y est nommé.

Hors périmètre : ne pas élargir l'exemption à d'autres ratchets, ne pas toucher pr_gate.py sauf si l'agrégation l'exige. Le ratchet lui-même doit conclure vert. L'ack ne crée aucun droit nouveau : il rend exécutable une règle déjà écrite depuis #11577.

Critère de clôture

Une des PRs listées passe son PR gate après un ack à sa tête, sans merge admin.