Acte M5 exécuté : 3f10a0e en ligne depuis le 02/11 à 03 h 04 ; tableau et HANDOFF

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

actes/2026-11-02-m5-retenue-textes-regles.md

@@ -1,7 +1,7 @@
 # Acte — Mise en ligne M5 (une version retenue : « contre » et retrait ; les articles des règles réécrits ; la licence)
 Classe : déploie
 Projet : libreDecision   Date : 2026-11-02
-**État : PRÉPARÉ** sur `3f10a0e` — armé d'avance par Yvv (« Pousse. Déploie. », le 02/11, pour relire en
+**État : EXÉCUTÉ** le 02/11/2026 — armé d'avance par Yvv (« Pousse. Déploie. », le 02/11, pour relire en ligne), relecture `0919b46+3f10a0e` « ok »
 ligne) ; on exécute à l'« ok » de la relecture de `0919b46+3f10a0e`
 
 ## Intention
@@ -104,3 +104,56 @@ Irréversibilité : **partielle**. Le code se remet en arrière. Ce qui reste :
 - **Les quatre textes** : pas de retour automatique. L'ancien texte reste dans l'historique de chaque
   proposition ; un nouvel amendement gardé pourrait le remettre.
 - **Le commit publié** : on publierait par-dessus.
+
+## Exécution
+
+Acte exécuté le 02/11/2026, 02h53-03h10, par orch (session libreDecision).
+- **Armement** : par Yvv dans cette session, d'avance (« Pousse. Déploie. »). Il voulait relire en
+  ligne : « Pour que je fasse une review, faut que je vois en ligne ».
+- **Relecture** : « 0919b46+3f10a0e : ok », inscrite à 02 h 53, sans bloquant.
+
+Prémisses revérifiées à 02 h 53 :
+1. santé `4d4adcc2` ;
+2. `prod/main` = `4d4adcc` ;
+3. relectures inscrites ;
+4. aucune configuration changée ;
+5. boucle et image du 02/11 vers 02 h ;
+6. sur une copie fraîche, les quatre propositions `1.0.0` à la révision 1 et à 0 vote dans les deux
+   groupes. La copie a été retirée.
+
+Mise en ligne :
+- 02 h 58 : `git push prod 3f10a0e:main` → `4d4adcc..3f10a0e  3f10a0e -> main` ;
+- la santé répondait `4d4adcc2`, puis n'a pas répondu à la sonde de 03 h 00 min 32, pendant la
+  bascule ; à 03 h 04 min 15 : `{"build":"3f10a0e8","ok":true}`.
+
+Journaux du démarrage (02 h 04 UTC) :
+- huit lignes « seed amendment applied » (F1.2, N1, N1.1, O1 × essai, Monnaie libre) ;
+- `published … commit="unchanged"` : la publication ne rend que les textes en vigueur, comme l'avait
+  annoncé la relecture ;
+- aucune ligne ERROR ni WARN.
+
+Image de retour : `libredecision-app:previous`, construite le 01/11 à 23 h 05 (`4d4adcc`).
+
+Redémarrage à froid (03 h 07) :
+- santé `3f10a0e8` vue de l'extérieur, `RestartCount` 0 ;
+- aucun amendement rejoué ;
+- la reprise a publié un commit `17c4db2`, qui ne change qu'une ligne de `document.json` :
+  `"electorate": 5708` → `5707`, le nombre de membres relu sur la chaîne. C'est le fonctionnement
+  prévu, sans rapport avec cet acte.
+
+Invariants sur une copie fraîche, identiques à la répétition :
+- migrations `1,…,8` ;
+- 90 propositions ; les quatre à la révision 2 dans les deux groupes ; les seules autres révisées
+  sont I1 ×2 ;
+- 100 révisions, 144 traductions, 0 vote, 0 signalement, 1 identité ;
+- `seed_amendments` : 10 lignes, toutes « applied » ;
+- `integrity_check` ok, `foreign_key_check` vide.
+
+Retirés, parce qu'ils portaient des données réelles : la copie de la prémisse 6, la copie d'après et
+la répétition `/tmp/ld-repetition-m5`. Image de contrôle et journal de construction retirés le 02/11
+à 02 h 03.
+
+À reprendre au prochain tour, avec la relecture d'Yvv en ligne :
+- dans N1.1, G se calcule sur p̃ rapporté à W, pas sur un nombre de votants ;
+- un second amendement d'un texte déjà amendé demande d'étendre la garde : la révision 2 et
+  l'historique initial puis amendement doivent être admis.