M9 : relecture de d66823b « à reprendre » (formula.reading, la majorité M qui suffit, faux pour W ≤ 15), lot U3c lancé ; ce qui tient ; mineurs en liste d'attente ; dossier : « à Chiara ou à Yvv » nommé, le retour des traductions en et es (dans git seulement)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

actes/2026-11-03-m9-amorce-hors-vote.md

@@ -58,8 +58,8 @@ au vote déplié, dans le panneau « Réglages de la formule », sur la ligne d'
 **Les choix faits pour toi** (appliqués ; dis lequel tu changes, il se change par un nouvel amendement tant
 qu'aucun vote n'existe) : « il y a une et une seule clé » (« n'y a » lu comme une coquille, la seule
 correction de tes mots) ; I1 en trois paragraphes, le premier en italique ; tes virgules gardées ; « ces
-trois principes » = E1, E12, E2 ; E12 au cran 2 ; le chapitre titré comme tu l'as écrit ; « @ chiara » lu
-« à Chiara » ; une fois un article en vigueur, la première phrase de ton paragraphe disparaît et « y entrent
+trois principes » = E1, E12, E2 ; E12 au cran 2 ; le chapitre titré comme tu l'as écrit ; « @ chiara ou Yvv »
+lu « à Chiara ou à Yvv » ; une fois un article en vigueur, la première phrase de ton paragraphe disparaît et « y entrent
 par le vote » devient « entrent en vigueur par le vote ».
 
 Tes deux propositions d'inertie retirées le 03/11 (sur I1 et E1, Q12) ne bloquent pas la réécriture de ces
@@ -188,7 +188,33 @@ proposition) ; la migration 0012 reste (ignorée par `de1b7eb`, `set_ignore_miss
    vote) ; en tout 0 vote, 0 bulletin, aucune E12, migration 11. **Lu par l'intégrateur le
    03/11 à 22 h 50** sur sa copie de la copie d'orch de 22 h 41 : l'attendu exact. Une trace fait refuser
    l'amendement concerné avec sa raison, et rien ne bouge pour lui.
-3. La relecture indépendante de `d66823b`, inscrite « ok » dans `~/harness/etat/relectures.json`.
+3. La relecture indépendante, inscrite « ok » dans `~/harness/etat/relectures.json`.
+   - **`d66823b` : à reprendre** (sous-agent neuf, sans le contexte de l'intégrateur, lancé le 03/11 à
+     23 h 00 sur la consigne `m9/relis-m9.md` du scratchpad de l'intégrateur, inscrit à 23 h 25 ; transcript
+     `~/.claude/projects/-home-yvv-Documents-PROD-DEV-libreDecision/d0a7108b-7f2f-484a-bcb0-de339238199d/subagents/agent-a81f5c0481c04ce9b.jsonl`).
+     Aucun bloquant. **À reprendre** : `formula.reading` (« La formule du seuil » du vote déplié) finit par
+     « quand tout le monde vote, la majorité M suffit », faux pour W ≤ 15 quand M·W est entier (B^W ajoute
+     une voix ; aucun groupe actuel touché : l'essai a un membre, Monnaie libre 5 745) → lot U3c, lancé à
+     23 h 26, avec les raisons de la file (« Proposition d'amorce » au lieu de « Proposition seed », elles
+     iront dans le message de commit public). **Tient**, prouvé par elle :
+     - le retrait : chaque route sondée sur les 10 unités des deux groupes répond 404, 400 ou 409 ; aucune
+       vue ne contient une unité retirée ; une trace de membre posée à la main (quatre essais : inertie
+       retirée sur F1.3, ordre retiré, brouillon sur N1.1, texte remplacé sur F1) refuse le retrait de son
+       groupe, `member_proposal`, l'autre groupe appliqué ;
+     - la migration 0012 additive ; « AUCUNE LIGNE SUPPRIMÉE » à chaque étape ;
+     - le retour sur `de1b7eb` (binaire reconstruit par elle) : 34 articles, 8 ordres, JSON des 10 unités
+       identique à avant M9 ; repassage sans écriture ; les deux propositions d'inertie retirées d'Yvv,
+       JSON identique avant M9, après M9 et après le retour ;
+     - les textes d'Yvv octet par octet : seule différence « n'y a » → « y a » ; empreintes recalculées ;
+     - boucle : 336 tests Rust, 113 vitest, e2e 48 / 48.
+     Mineurs, **liste d'attente** (aucun ne touche la production d'aujourd'hui) :
+     - la garde de réécriture d'I1, E1, E2 ne lit que la Proposition d'amorce : un quorum fixé sur
+       l'article, un texte rival d'un membre ou un vote sur une proposition d'inertie retirée la laissent
+       passer (la garde du retrait compte le quorum fixé) ; la prémisse 2 lit ces traces avant l'acte ;
+     - `inertia.explain`, première phrase : une tendance, pas une règle ;
+     - `vote.others.rule` ne dit pas qu'une version retenue par une objection n'entre pas en vigueur ;
+     - après un retour, une trace laissée sur F1 à O1 n'empêche pas le repassage de les tenir retirées
+       (limite connue de l'ADR 0014).
 4. `git diff de1b7eb d66823b -- docker/ .woodpecker/ .env data/` → vide ; sous
    `crates/ld-server/migrations/`, le seul ajout `0012_retired.sql` ; `git diff 5730d78 d66823b -- crates/
    seeds/` → vide (la répétition vaut pour `d66823b`). **Vu par l'intégrateur le 03/11 à 23 h 01.**
@@ -237,8 +263,10 @@ Puis la branche du chantier (orch, même mandat) : `git push origin chantier/act
   `cd /opt/libredecision-app && docker compose up -d --force-recreate`. `previous` sera `de1b7eb`, qui ignore
   la migration 0012 et la colonne : les sept articles et les trois ordres réapparaissent, rien d'effacé
   (rejoué en répétition). Un nouveau passage à `d66823b` ne rejoue rien.
-- **Les textes** : pas de retour automatique ; l'ancien texte reste dans l'historique de chaque proposition,
-  un nouvel amendement gardé pourrait le remettre. E12 reste (donnée).
+- **Les textes** : pas de retour automatique. L'ancien texte français reste dans l'historique de chaque
+  proposition (`revisions`) ; les traductions en et es d'I1, E1, E2 sont remplacées sur place : les
+  anciennes ne restent que dans git (le seed de `de1b7eb`, identiques 12 sur 12, vérifié par la relecture).
+  Un nouvel amendement gardé pourrait les remettre. E12 reste (donnée).
 
 ## Exécution