decision/docs/adr/0007-inertie-cinq-crans.md

# 0007 — Inertie à cinq crans, calée sur la participation du groupe

> Complète [0002](0002-vote-permanent.md) : la règle « l'inertie se vote au cran au-dessus »
> y est remplacée par l'héritage décrit ici. Décision d'Yvv du 2026-10-30 (revue, L10).
> **Le C de la formule est remplacé par [0013](0013-quorum.md)** (2026-11-03) : R = B^W +
> ratio(T')·T', T' = max(T, Q), un quorum Q par cran. M, G_k, s_k, p̃ et ses bornes restent ;
> « au-delà de C » se lit désormais « parmi les T' votants » ; les nombres ci-dessous sont ceux
> d'avant (ceux d'après : ADR 0013).

**Contexte.** Quatre niveaux (`low`, `standard`, `high`, `max`) fixaient M et G une fois pour
toutes. Yvv, 2026-10-30 : « L'indice d'inertie doit avoir 5 niveaux. Tu mets par défaut au
milieu (3) pour toutes les propositions, (4) pour les 2 engagements structurels » ; « par
défaut l'inertie de l'indice d'inertie lui-même hérite de l'inertie de l'article » ; « une
échelle cohérente qui s'adapte aux nombres de certifiés et à la participation médiane aux
votes du groupe ». Au formulaire, il a choisi l'échelle **calée sur la participation** :
chaque cran exige une part fixe de « pour » quand le groupe vote comme d'habitude, puis se
relâche vers la majorité M quand plus de monde vote.

## Décision

**La formule reste celle de la Ğ1**, adoptée si « pour » ≥ ⌈R⌉ :

```
R = C + B^W + (M + (1 − M)·(1 − (T/W)^G)) · max(0, T − C)
```

Seuls M et G dépendent du cran k. M_k est la majorité à pleine participation ; s_k la part de
« pour » exigée **au-delà de C** à la participation habituelle p̃ ; G_k s'en déduit :

```
s_k = M_k + (1 − M_k)·(1 − p̃^G_k)   ⇔   G_k = ln(1 − (s_k − M_k)/(1 − M_k)) / ln(p̃)
```

| Cran | Nom | M_k | s_k |
|---|---|---|---|
| 1 | très basse | 50 % | 60 % |
| 2 | basse (l'ordre des articles de chaque section, ADR 0009) | 50 % | 67 % |
| 3 | moyenne (par défaut) | 55 % | 75 % |
| 4 | haute (E1, E2 ; le titre du document, ADR 0009) | 60 % | 83 % |
| 5 | très haute | 66 % | 90 % |

**La participation habituelle p̃** d'un groupe (`crates/ld-server/src/participation.rs`) :

- l'échantillon : les propositions du groupe (tous ses documents, toutes sortes, modules
  compris) **ouvertes, en vigueur ou appliquées** — statuts `open`, `in_force`, `applied`,
  nommés un par un dans la requête — qui portent au moins un vote sur leur révision actuelle,
  le dernier exprimé depuis moins de 365 jours. Les brouillons et les propositions retirées
  n'en sont pas ; un statut qui viendrait à exister n'y entre pas tant qu'il n'est pas nommé
  (lot D, 2026-10-31 : la liste d'exclusion `NOT IN ('draft', 'withdrawn')` laissait entrer
  tout statut nouveau sans qu'on l'ait décidé ; test
  `the_usual_participation_counts_the_statuses_it_names_and_only_those`) ;
- T de chacune est compté **au moment de la mesure** : c'est le T que voit la formule, le vote
  étant permanent ;
- T̃ = la médiane de ces T (moyenne des deux du milieu pour un nombre pair) ; p̃ = T̃ / W, avec le
  W du moment : quand la toile grandit, l'échelle demande toujours s_k au même nombre habituel
  de votants ;
- il faut **au moins 5** propositions votées ; avant, la **référence** p0 = 2C/W s'applique
  (Monnaie libre : 100 votants sur 7 224, 1,38 %) — deux fois le plancher, une participation
  que le groupe doit de toute façon atteindre pour que C laisse place à la majorité.

**Les bornes.** p̃ (mesurée ou de référence) est ramenée dans **[1 %, 50 %]**. Ainsi
0 < p̃ < 1, ln(p̃) est négatif et fini ; comme M_k < s_k < 1 pour chaque cran,
0 < 1 − (s_k − M_k)/(1 − M_k) < 1 et G_k est fini et positif (de 0,05 à 1,77). Alors :

- **le seuil croît avec le cran** : la part exigée vaut 1 − (1 − M_k)·(T/W)^G_k, croissante en
  M_k et en G_k, et M_k, G_k croissent avec k (à pleine participation, les crans 1 et 2 se
  rejoignent à M = 50 %) ;
- **la part exigée décroît vers M quand la participation monte**, et vaut M à T = W ;
- **à p̃, la part au-delà de C vaut s_k** ;
- **C reste un plancher** : à T ≤ C, R = C + B^W ; une seule voix ne fait jamais passer un
  texte dans Monnaie libre ;
- le groupe d'essai (W = 2, C = 1) : la référence vaut 100 %, ramenée à 50 % ; G reste fini ;
  il faut les deux voix, à tout cran. Cette garde tient à B^W : dès 16 membres, 0,1^W passe sous
  la précision du calcul (1 + 10⁻¹⁶ = 1), et une voix seule suffit alors, C valant 1. Monnaie
  libre n'est pas concernée (C = 50).

Les réglages de la formule disent les deux, dans cet ordre (lot D) : la mesure telle quelle — sa
part est celle de la valeur elle-même, une médiane de 2,5 votants sur 4 fait 62,5 %, jamais
« 3 sur 4 » arrondi d'abord (`web/src/lib/participation.ts`, `usualShown`) —, puis ce que le
groupe en fait quand elle est ramenée : « le groupe demande ses voix pour comme si 2 personnes
votaient (50 %) » (contrôle C27).

La borne basse limite aussi l'effet de propositions à une voix multipliées pour faire baisser
la médiane (une médiane basse adoucit les seuils au-dessus d'elle) : à 1 % près, l'effet est
borné, et il faudrait plus de propositions de ce genre que de vraies. Les propositions retirées
sortent de l'échantillon (relecture de `a576b68`, 2026-10-30) : sinon, créer cinq propositions, y
voter puis les retirer tirerait la médiane vers le bas sans laisser de trace visible, et leurs
votes ne pourraient plus être repris.

**Le recalcul : une fois par jour.** La mesure est gardée dans `settings`
(`participation:<groupe>` : médiane, taille de l'échantillon, date) ; elle est reprise au
démarrage puis par le balayage (toutes les 5 minutes) dès qu'elle a 24 heures. Un seuil qui
bougerait à chaque vote exprimé ailleurs dans le groupe ne se lirait pas ; une fois par jour,
il reste stable dans la journée et suit pourtant la vie du groupe. W, lui, change à son rythme
(la toile, toutes les 6 heures), et p̃ = T̃ / W le suit aussitôt.

**L'inertie de l'inertie hérite du cran de l'article.** Une proposition de changement
d'inertie se vote au cran actuel de l'article (`compose::voting_level`), comme son texte —
plus au cran au-dessus. Le cran se change en proposant l'un des cinq crans.

**Un entier reste un entier.** Le calcul flottant de ln et de la puissance peut porter un
milliardième de voix : un seuil qui tombe juste sur un entier (90 % de 70 = 63) ne doit pas
monter d'une voix pour autant. La part inertielle est ramenée à l'entier quand elle en est à
moins de 10⁻⁹ (`threshold::settle`) ; cas réel : 101 membres qui votent tous, M = 55 %, C = 1,
il faut 56 voix, et non 57.

## Les nombres

W = 7 224, C = 50 ; voix pour exigées (tests `ld-engine/src/inertia.rs`) :

| Médiane | T | cran 1 | cran 2 | cran 3 | cran 4 | cran 5 |
|---|---|---|---|---|---|---|
| 120 votants | 120 | 92 | 97 | 103 | 109 | 113 |
| 120 votants | 500 | 306 | 329 | 362 | 397 | 432 |
| 120 votants | 2 000 | 1 091 | 1 145 | 1 271 | 1 404 | 1 549 |
| 360 votants | 120 | 95 | 101 | 106 | 112 | 116 |
| 360 votants | 360 | 236 | 258 | 283 | 308 | 329 |
| 360 votants | 500 | 316 | 345 | 381 | 416 | 449 |
| 360 votants | 2 000 | 1 114 | 1 184 | 1 318 | 1 460 | 1 608 |

Le cas de référence de la formule (vote forgeron v2.0.0 : W 7 224, 120 votants, M 50 %,
G 0,2, C 0 → 94 voix) reste le test de la formule elle-même, lettres données ; ce ne sont plus
les lettres d'aucun cran.

## Les données

- Migration `0005` : les quatre mots deviennent des crans (low → 2, standard → 3, high → 4,
  max → 5 ; le cran 1 est nouveau) dans `units.inertia` et `proposals.inertia_target`. Chaque
  mot est d'abord gardé tel quel (`inertia_legacy`, `inertia_target_legacy`) ; les `params`
  des `adoptions` passées ne sont pas touchés (ils portent les M et G de leur jugement). Le
  serveur lit toujours les quatre mots. Les adoptions nouvelles gardent en plus le cran, s_k
  et p̃ (sa source, l'échantillon, la médiane).
- Le seed : 3 partout, 4 pour E1 et E2.
- Dans une base existante, E1 et E2 passent de 3 à 4 par un **amendement d'inertie**
  (`crates/ld-server/src/inertia_amend.rs`), dans la lignée des amendements de seed : décidé
  une fois par document, seulement si **aucun vote n'a changé l'inertie de l'article** (pas
  d'adoption d'inertie, cran encore celui du seed). Une proposition d'inertie ouverte ne
  l'arrête pas : elle reste ouverte et se vote au nouveau cran. Chaque décision est gardée
  (`inertia_amendments`), écrite dans les journaux, se lit sur l'article (`inertia_changes` :
  « passée de 3 à 4 : réglage de départ du texte ») et le document est republié.

## Coût

- Les seuils de Monnaie libre changent. Avec W = 7 224, C = 50 et la référence (100 votants),
  le cran 3 demande 103 voix à 120 votants (`standard` : 105), 360 à 500 (369), 1 265 à 2 000
  (1 246), 3 996 quand tout le monde vote (3 637, M passant de 50 à 55 %) : un peu moins
  jusqu'à un millier de votants, plus au-delà. Le cran 4 demande 108 à 120 votants (`high` :
  115), 395 à 500 (439), autant à pleine participation (M 60 %). Rien n'est en vigueur par un
  vote aujourd'hui ; les seuils déjà affichés bougent.
- Le seuil d'une proposition dépend désormais des autres votes du groupe, par la médiane : une
  fois par jour, un texte peut passer ou ne plus passer sans nouveau vote sur lui (comme quand W
  change). Chaque entrée en vigueur garde la médiane qui l'a jugée.
- Le document publié (`document.json`) porte l'inertie en nombre (1 à 5), et non plus en mot.
- Le texte N1.1 du seed (« Niveaux d'inertie », quatre niveaux) décrivait autre chose que la règle
  en place. Le 2026-11-02, Yvv a fait réécrire F1.2, N1, N1.1 et O1 selon les règles appliquées
  (`docs/chantiers/acte-certification/textes-regles-seed.md`) ; un amendement de seed gardé remplace
  ces propositions ouvertes là où personne n'y a touché (`seed_amend`, `Version::Open`).