forked from yvv/decision
Acte M8 : en tête, pour Yvv, les quatre phrases avant / après et l'exemple retiré (lots T3 et T3b) ; non figé
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
This commit is contained in:
@@ -1,68 +1,104 @@
|
||||
# Acte — Mise en ligne M8 (aucun chiffre daté dans les textes votés, lot T3)
|
||||
# Acte — Mise en ligne M8 (aucun chiffre daté dans les textes votés, lots T3 et T3b)
|
||||
Classe : déploie
|
||||
Projet : libreDecision Date : 2026-11-03
|
||||
**État : PRÉPARÉ, non figé** (en attente de la relecture indépendante) — sur `2ce2028`
|
||||
(`2ce2028eb200932834c47af6927b9b4d3e44b65e`) ; préparé par l'intégrateur libredecision-d4 ; exécuté par
|
||||
**État : PRÉPARÉ, non figé** (en attente de la relecture indépendante de `e7ab82f`) — sur `e7ab82f`
|
||||
(`e7ab82f48f41f52b3f31e322553f7cf18bc21601`) ; préparé par l'intégrateur libredecision-d4 ; exécuté par
|
||||
orch (dev-63) sous son mandat (« déploie » et « pousse », du 03/11 au 08/11).
|
||||
|
||||
## Intention
|
||||
## Pour Yvv : ce que tu liras de changé
|
||||
|
||||
Mettre en ligne le lot T3. Yvv, le 03/11 avant 16 h 56, mot pour mot : « Je valide textes-quorum-seed (dont
|
||||
le point 3, pas de chiffre datés dans un texte voté). Tu peux lancer la livraison de decision. » (registre
|
||||
`~/harness/etat/reponses-yvv.md`, commit `9b701da`). Ordre T3 d'orch (dev-63, 03/11 vers 16 h 57) : retirer
|
||||
des textes votés F1.1, F1.2, N1.1 (fr, en, es ; deux groupes) tout chiffre qui dépend de l'état de la toile ou
|
||||
d'une participation à une date ; le texte reste vrai pour tout W ; la phrase de N1.1 « pas un nombre minimal
|
||||
de votants », fausse pour un quorum d'auteur bas, écrite vraie. Points 1, 2, 4 et 8 de
|
||||
`textes-quorum-seed.md` : le défaut reste.
|
||||
Quatre phrases, avant / après (le français fait foi), et un exemple retiré. Toutes dans les textes votés
|
||||
de départ, dans les deux groupes ; F1.1 n'est pas touché.
|
||||
|
||||
**Ce qu'Yvv lira de changé** (le détail et les preuves : `docs/chantiers/acte-certification/textes-quorum-seed.md`,
|
||||
section « Lot T3 ») :
|
||||
|
||||
1. **N1.1, l'exemple retiré** (le dernier paragraphe, dans les trois langues ; rien ne le remplace) :
|
||||
« Exemple : avec 7 224 membres et une participation habituelle de 120 votants, quand 120 personnes votent,
|
||||
il faut 72, 81, 90, 100 ou 108 voix pour, du cran 1 au cran 5 ; au cran 3, 75 % des 120 votants, soit 90.
|
||||
Sous le quorum, les absents comptent comme « non » : au cran 2 (quorum 12), 9 voix pour passent avec
|
||||
3 « contre » au plus ; au cran 3 (quorum 50), il faut 39 voix pour, avec 11 « contre » au plus. »
|
||||
2. **N1.1, la phrase du quorum** (premier paragraphe) :
|
||||
1. **N1.1, la phrase du quorum** (premier paragraphe) :
|
||||
- avant : « Chaque cran a aussi son quorum, qui n'est pas un nombre minimal de votants : sous le quorum,
|
||||
les votants qui manquent comptent comme « non ». »
|
||||
- après : « Chaque cran a aussi son quorum : sous le quorum, les votants qui manquent comptent comme
|
||||
« non », et il faut autant de voix pour que si le quorum avait voté. »
|
||||
- en : « Each level also has its quorum: below the quorum, the voters who are missing count as votes
|
||||
against, and it takes as many votes in favour as if the quorum had voted. » ; es : « Cada nivel tiene
|
||||
además su quórum: por debajo del quórum, los votantes que faltan cuentan como «no», y hacen falta tantos
|
||||
votos a favor como si hubiera votado el quórum. »
|
||||
- pourquoi : au quorum 2 (le plus bas qu'un auteur puisse fixer dans Monnaie libre), il faut 2 « pour », à
|
||||
tout cran et sur toute toile : le quorum y est bien un minimum de votants. La nouvelle phrase est vraie
|
||||
pour tout quorum : sous le quorum, le moteur demande exactement le seuil du quorum
|
||||
(`under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted`, plus de 500 000 cas : W de 100 à
|
||||
10 000 000, chaque quorum de la borne basse à W, les cinq crans, quatre participations, le groupe
|
||||
d'essai).
|
||||
3. **Deux phrases de plus, écrites vraies pour tout W et tout quorum** (même principe ; accord d'orch,
|
||||
03/11 à 17 h 46, « pour qu'Yvv les lise ») :
|
||||
- **N1.1, l'introduction des cinq crans** :
|
||||
- avant : « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée quand le groupe vote comme
|
||||
d'habitude, puis quand tout le monde vote, et ce qui est à ce cran au départ. »
|
||||
- après : « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée au-delà du quorum, quand le
|
||||
groupe vote comme d'habitude, puis quand tout le monde vote, et ce qui est à ce cran au départ. »
|
||||
- **F1.2, « Par défaut »** :
|
||||
- avant : « Le cran par défaut est le 3 (moyenne) : M = 55 %, un quorum de 50 dans Monnaie libre, et le
|
||||
groupe demande 75 % de « pour » quand il vote comme d'habitude. »
|
||||
- après : « Le cran par défaut est le 3 (moyenne) : M = 55 %, un quorum de 50 dans Monnaie libre, et,
|
||||
au-delà du quorum, le groupe demande 75 % de « pour » quand il vote comme d'habitude. »
|
||||
- en : « the share asked beyond the quorum, when the group votes as usual » ; « and, beyond the quorum,
|
||||
the group asks for 75% of votes in favour when it votes as usual » ; es : « la proporción exigida más
|
||||
allá del quórum, cuando el grupo vota como de costumbre » ; « y, más allá del quórum, el grupo pide un
|
||||
75 % de votos a favor cuando vota como de costumbre ».
|
||||
- pourquoi : « 75 % comme d'habitude » est faux quand la participation habituelle reste sous le quorum :
|
||||
le groupe est alors jugé sur le quorum. Exemple : une toile de 3 000 membres dont la participation
|
||||
habituelle est de 40 votants (dans les bornes : 1 % de 3 000, c'est 30), au cran 3, quorum 50 : il faut
|
||||
38 « pour » de ces 40 votants, soit 95 %, pas 75 %. Cela arrive dès que la toile passe sous 5 000
|
||||
membres avec une participation habituelle sous 50, ou quand l'auteur d'un article fixe un quorum
|
||||
au-dessus de la participation habituelle (`the_share_of_a_level_as_usual_is_asked_beyond_the_quorum`).
|
||||
4. **F1.1 n'est pas touché** : ni chiffre daté, ni phrase fausse sur la toile (« B^W ne compte pas » est
|
||||
prouvé de 100 à 10 000 000 membres, `b_to_the_power_w_never_counts_in_the_web_of_trust`). Rien d'autre ne
|
||||
change ; les titres restent.
|
||||
« non », et il faut autant de « pour » que si le quorum avait voté. »
|
||||
2. **N1.1, l'introduction des cinq crans** :
|
||||
- avant : « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée quand le groupe vote comme
|
||||
d'habitude, puis quand tout le monde vote, et ce qui est à ce cran au départ. »
|
||||
- après : « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée au-delà du quorum, quand le
|
||||
groupe vote comme d'habitude, puis quand tout le monde vote, et ce qui est à ce cran au départ. »
|
||||
3. **N1.1, la phrase de G** (dernier paragraphe) :
|
||||
- avant : « **G** se calcule pour que la part exigée, à la participation habituelle, soit exactement celle
|
||||
du cran : `G = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, où s est la part exigée comme d'habitude et p̃ la
|
||||
participation habituelle divisée par W. »
|
||||
- après : « **G** se calcule pour que la part exigée, au-delà du quorum, soit exactement celle du cran
|
||||
quand le groupe vote comme d'habitude : `G = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, où s est cette part du
|
||||
cran (60, 67, 75, 83 ou 90 %) et p̃ la participation habituelle divisée par W. »
|
||||
4. **F1.2, « Par défaut »** :
|
||||
- avant : « Le cran par défaut est le 3 (moyenne) : M = 55 %, un quorum de 50 dans Monnaie libre, et le
|
||||
groupe demande 75 % de « pour » quand il vote comme d'habitude. Tout nouvel article commence à ce
|
||||
cran. »
|
||||
- après : « Le cran par défaut est le 3 (moyenne) : M = 55 %, un quorum de 50 dans Monnaie libre, et,
|
||||
au-delà du quorum, le groupe demande 75 % de « pour » quand il vote comme d'habitude. Tout nouvel
|
||||
article commence à ce cran. »
|
||||
5. **N1.1, l'exemple retiré** (le paragraphe qui suivait la phrase de G ; rien ne le remplace) : « Exemple :
|
||||
avec 7 224 membres et une participation habituelle de 120 votants, quand 120 personnes votent, il faut 72,
|
||||
81, 90, 100 ou 108 voix pour, du cran 1 au cran 5 ; au cran 3, 75 % des 120 votants, soit 90. Sous le
|
||||
quorum, les absents comptent comme « non » : au cran 2 (quorum 12), 9 voix pour passent avec 3 « contre »
|
||||
au plus ; au cran 3 (quorum 50), il faut 39 voix pour, avec 11 « contre » au plus. »
|
||||
|
||||
**Pourquoi.**
|
||||
- L'exemple (5) : ta décision du 03/11, aucun chiffre daté dans un texte voté. 7 224 membres et 120 votants
|
||||
sont un état de la toile et une participation d'une date ; ce qui en était calculé sort avec eux.
|
||||
- La phrase du quorum (1) : « pas un nombre minimal de votants » est faux pour un quorum bas fixé par
|
||||
l'auteur. Au quorum 2 (le plus bas dans Monnaie libre), il faut 2 « pour », à tout cran et sur toute
|
||||
toile : le quorum y est bien un minimum. La phrase nouvelle est vraie pour tout quorum : sous le quorum,
|
||||
le moteur demande exactement le seuil du quorum. « autant de « pour » » plutôt que « autant de voix pour »,
|
||||
qui se lisait d'abord « pour que ».
|
||||
- Les phrases 2, 3 et 4 disaient la part du cran « comme d'habitude » sans condition. C'est faux quand la
|
||||
participation habituelle reste sous le quorum : le groupe est alors jugé sur le quorum. Exemple : une
|
||||
toile de 3 000 membres dont la participation habituelle est de 40 votants (dans les bornes : 1 % de
|
||||
3 000, c'est 30), au cran 3, quorum 50 : la courbe donne 75 % à 40 votants, mais la part exigée se calcule
|
||||
sur 50 (74,2 %), et il faut 38 « pour » de ces 40 votants, soit 95 %, pas 75 %. Cela arrive dès que la
|
||||
toile passe sous 5 000 membres avec une participation habituelle sous 50, ou quand l'auteur d'un article
|
||||
fixe un quorum au-dessus de la participation habituelle. Les phrases 2 et 4 ont été trouvées par le lot
|
||||
T3 ; la phrase 3 par la relecture indépendante de T3 (« 2ce2028 : à reprendre »), reprise par le lot T3b.
|
||||
Accord d'orch sur les trois (03/11, à 17 h 46, puis en réponse à mon message de 18 h 13).
|
||||
|
||||
Les preuves, phrase par phrase, et les textes entiers en fr, en, es :
|
||||
`docs/chantiers/acte-certification/textes-quorum-seed.md`, section « Lot T3 » (avec « Après la relecture
|
||||
de 2ce2028 »).
|
||||
|
||||
## Intention
|
||||
|
||||
Mettre en ligne les lots T3 et T3b. Yvv, le 03/11 avant 16 h 56, mot pour mot : « Je valide
|
||||
textes-quorum-seed (dont le point 3, pas de chiffre datés dans un texte voté). Tu peux lancer la livraison
|
||||
de decision. » (registre `~/harness/etat/reponses-yvv.md`, commit `9b701da`). Ordre T3 d'orch (dev-63, 03/11
|
||||
vers 16 h 57) : retirer des textes votés F1.1, F1.2, N1.1 (fr, en, es ; deux groupes) tout chiffre qui
|
||||
dépend de l'état de la toile ou d'une participation à une date ; le texte reste vrai pour tout W ; la phrase
|
||||
de N1.1 « pas un nombre minimal de votants », fausse pour un quorum d'auteur bas, écrite vraie. Points 1, 2,
|
||||
4 et 8 de `textes-quorum-seed.md` : le défaut reste.
|
||||
|
||||
**en et es** (fidèles au français) :
|
||||
- 1 : « Each level also has its quorum: below the quorum, the voters who are missing count as votes against,
|
||||
and it takes as many votes in favour as if the quorum had voted. » ; « Cada nivel tiene además su quórum:
|
||||
por debajo del quórum, los votantes que faltan cuentan como «no», y hacen falta tantos votos a favor como
|
||||
si hubiera votado el quórum. »
|
||||
- 2 : « the share asked beyond the quorum, when the group votes as usual » ; « la proporción exigida más allá
|
||||
del quórum, cuando el grupo vota como de costumbre ».
|
||||
- 3 : « **G** is computed so that the share asked, beyond the quorum, is exactly that of the level when the
|
||||
group votes as usual: `G = …`, where s is that share of the level (60, 67, 75, 83 or 90%) and p̃ the usual
|
||||
turnout divided by W. » ; « **G** se calcula para que la proporción exigida, más allá del quórum, sea
|
||||
exactamente la del nivel cuando el grupo vota como de costumbre: `G = …`, donde s es esa proporción del
|
||||
nivel (60, 67, 75, 83 o 90 %) y p̃ la participación habitual dividida por W. »
|
||||
- 4 : « and, beyond the quorum, the group asks for 75% of votes in favour when it votes as usual » ; « y, más
|
||||
allá del quórum, el grupo pide un 75 % de votos a favor cuando vota como de costumbre ».
|
||||
|
||||
**Les preuves** (tests de `crates/ld-server/tests/seed_quorum_texts.rs`) :
|
||||
- aucun chiffre daté : `every_number_of_the_quorum_texts_is_the_engine_s` n'admet que des paramètres (vu
|
||||
rouge sur les textes de T2) ; « 100 votants » y est dit pour ce qu'il est, deux fois le quorum de
|
||||
référence, et `the_reference_turnout_is_a_parameter_the_bounds_bring_back` montre que les bornes le
|
||||
ramènent hors de 200 à 10 000 membres ;
|
||||
- 1 : `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted`, plus de 500 000 cas (W de 100 à
|
||||
10 000 000, chaque quorum de la borne basse à W, les cinq crans, quatre participations, le groupe d'essai) ;
|
||||
- 2 et 4 : `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` ;
|
||||
- 3 : `g_gives_the_share_of_the_level_beyond_the_quorum_when_the_group_votes_as_usual` (même grille ; G tel
|
||||
qu'écrit égale celui du moteur ; s au-delà du quorum, plus bas en dessous ; le cas 3 000 / 40 en dur) ;
|
||||
- F1.1 laissé : `b_to_the_power_w_never_counts_in_the_web_of_trust` (« B^W ne compte pas », de 100 à
|
||||
10 000 000 membres).
|
||||
|
||||
## Ce qui part
|
||||
|
||||
|
||||
Reference in New Issue
Block a user