diff --git a/docs/chantiers/acte-certification/t3c-liste-fermee.md b/docs/chantiers/acte-certification/t3c-liste-fermee.md new file mode 100644 index 0000000..babd0af --- /dev/null +++ b/docs/chantiers/acte-certification/t3c-liste-fermee.md @@ -0,0 +1,259 @@ +# Lot T3c : la liste fermée des phrases de F1.2 et N1.1 + +> Préparé le 2026-11-03 (lot T3c, branche `lot/t3c-habituelle`), après la relecture indépendante de +> `e7ab82f` et le complément d'orch du même soir : « que T3c soit le dernier tour ». Remise telle +> quelle au relecteur. Elle donne **toutes** les phrases de F1.2 « Paramètres par défaut » et de N1.1 +> « Niveaux d'inertie », dans leur texte final (le français fait foi ; en et es disent la même chose, +> mot pour mot dans `seeds/acte-engagement-certification.json`). Pour chacune : ce qu'elle affirme, et +> le test qui la vérifie contre le moteur avec sa grille, ou « rien à vérifier » (une définition, une +> règle sans nombre). Ce qui a changé depuis `e7ab82f`, avant et après, avec ses raisons : +> `textes-quorum-seed.md`, « Après la relecture de e7ab82f ». F1.1 n'est pas touché (ordre de T3c). + +## La grille + +Les tests nommés sont dans `crates/ld-server/tests/seed_quorum_texts.rs`, sauf mention. **La grille +T3c** (`grid()`, 85 100 cas) : + +- **W** : 100, 101, 1 000, 3 000, 5 707, 7 224, 10 000, 1 000 000, 10 000 000 (`ELECTORATES` ; 100 et + 10 000 000 sont les bornes de `wot::PLAUSIBLE`, la toile que le serveur tient pour vraie). +- **La participation habituelle** : la référence (moins de 5 propositions : 2 × 50 votants), puis les + médianes 1, 2, W/100 − 1, W/100, W/100 + 1, 12, 40, 50, 100, 120, 1 000, W/2, W/2 + 1 et W (celles de + 1 à W). Chacune passe par `Participation::of`, comme en production : **une médiane sous 1 % de W ou + au-dessus de 50 % de W est ramenée à la borne**, et c'est la valeur bornée qui est la participation + habituelle (W 7 224, médiane 40 : 72,24 votants). Cette valeur n'est pas toujours un nombre entier de + votants : la part qu'y demande le moteur se lit sur une toile cent fois plus grande (`share_at`, le + moteur ne lit que T'/W ; vérifié contre le moteur sur les nombres entiers). +- **Le quorum de l'article** : chaque quorum qu'un auteur peut fixer, de 2 à W, jusqu'à W = 1 000 ; au-delà, + 2, 3, 11, 12, 13, 49, 50, 51, 100, 1 000, W/2, W − 1, W, et autour de la participation habituelle et de + la médiane (l'entier en dessous, au-dessus, et le suivant). +- **Les cinq crans.** + +Certains tests ont leur propre grille, dite à leur ligne. « Vu rouge » : le test échoue sur le texte de +`e7ab82f` (8 tests, sortie gardée), ou sous une mutation du code, défaite aussitôt (quatre mutations, +en bas). + +## F1.2 « Paramètres par défaut » + +1. « Les valeurs des lettres de la formule (voir « Formule du seuil WoT ») et la façon dont le vote se + déroule. » + - Affirme : ce que contient l'article. **Rien à vérifier.** +2. Intertitre « **Un vote permanent, sans durée** ». **Rien à vérifier.** +3. « Chaque version se vote à tout moment, sans échéance. » + - Affirme : une règle sans nombre. **Rien à vérifier** sur la grille. +4. « Chacun peut changer ou retirer son vote : le dernier fait foi. » + - Affirme : une règle sans nombre. **Rien à vérifier** sur la grille. Tenue ailleurs, sans être reprise + par T3c : `ld-engine` `ballot::the_last_one_stands_in_the_order_of_the_chain`, + `tests/ballots.rs` `the_last_one_stands_in_the_order_of_the_chain`. *À savoir* : sur une version + retenue par une objection, on ne peut que retirer son vote ou passer à « contre » (ADR 0010) ; la + phrase ne le dit pas. Hors du champ de T3c (ni nombre, ni part, ni terme défini) : laissée, à + trancher. +5. « Une proposition entre en vigueur dès qu'elle atteint son seuil. » + - Affirme : une règle sans nombre (le seuil est F1.1). **Rien à vérifier** sur la grille. *À savoir* : + une version retenue par une objection n'entre pas en vigueur (ADR 0010), même au seuil ; même + remarque que la phrase 4. +6. « S'il y a déjà un texte en vigueur, il lui faut en plus une marge (voix pour moins voix exigées) plus + large que celle de ce texte. » + - Affirme : une règle sans nombre. **Rien à vérifier** sur la grille ; tenue par `ld-engine` + `compose::a_rival_must_beat_the_version_in_force`. +7. « Le texte remplacé redevient une proposition, avec ses votes : il peut revenir. » + - Affirme : une règle sans nombre. **Rien à vérifier** ; tenue par `tests/api.rs` + `a_rival_replaces_the_seed_and_the_seed_returns_among_proposals`. +8. « Si plusieurs propositions y parviennent, celle qui a la marge la plus large entre en vigueur. » + - Affirme : une règle sans nombre. **Rien à vérifier** ; tenue par `ld-engine` + `compose::rivals_on_one_unit_yield_one_winner`. +9. Intertitre « **Les lettres** ». **Rien à vérifier.** +10. « **W** : le nombre de membres de la toile de confiance Ğ1, relu sur la chaîne toutes les 6 heures. » + - Affirme : une définition, et le nombre 6. + - Test : `every_number_of_the_quorum_texts_is_the_engine_s` (6 = `wot::REFRESH` ; tout chiffre que + rien ne justifie fait échouer), le même sur chaque W de la grille. +11. « **T** : les votes exprimés sur la version, pour et contre. » — une définition. **Rien à vérifier.** +12. « **Q**, le quorum : sous ce nombre de votants, ceux qui manquent comptent comme « non ». » + - Affirme : sous Q votants, la part se demande à Q votants, les absents comptés « non ». + - Test : `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` — W de la grille, chaque + quorum de 2 à W jusqu'à W = 10 000 (au-delà : 2, 3, 12, 50, 100, 1 000, W/2, W − 1, W), chaque + participation de la grille (les deux bornes y sont), les cinq crans ; le groupe d'essai de 1 à + 40 membres, quorum 1 à W ; 833 105 cas. Vu rouge sous la mutation 2. +13. « Chaque article prend celui de son cran : 12, 12, 50, 50 et 50 dans Monnaie libre, du cran 1 au + cran 5. » + - Affirme : les quorums par cran, et qu'un article sans quorum à lui prend celui de son cran. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (les cinq nombres, lus dans le seed) ; + `tests/quorum.rs` `each_level_has_its_quorum_and_every_evaluation_says_it` (chaque évaluation + sur le quorum de son cran). +14. « L'auteur de la première version d'un article, un administrateur pour les textes de départ, peut en + fixer un autre tant que l'article ne garde la trace d'aucun vote. » + - Affirme : une règle sans nombre (qui, jusqu'à quand). **Rien à vérifier** sur la grille ; tenue par + `tests/quorum.rs` `the_author_of_an_article_sets_its_quorum_before_the_first_vote`, + `in_monnaie_libre_a_quorum_holds_two_voices_and_a_ballot_counts_even_pending`, et + `tests/ballots.rs` `a_vote_exists_for_every_state_of_the_buffer` (lot T2). +15. « Dans Monnaie libre, jamais moins de 2 : une seule voix ne fait jamais passer un texte. » + - Affirme : le quorum le plus bas est 2 ; un seul « pour » ne passe jamais, quels que soient les + « contre ». + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (2 = `quorum_bounds(W, false)`, le même + sur chaque W) ; `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` (sa grille, plus + haut : à chaque cas de Monnaie libre, 1 « pour » avec 0, 1, Q ou W − 1 « contre » ne passe pas ; au + quorum 2, deux « pour » sur chaque W et à chaque cran) ; `tests/quorum.rs` + `in_monnaie_libre_a_quorum_holds_two_voices_…` (un quorum de 1 refusé). +16. « **B = 0,1** : dans la toile de confiance, `B^W` est si petit qu'il ne compte pas. » + - Affirme : 0,1, et que B^W ne change aucun seuil dans la toile. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (0,1 = `FormulaParams::DEFAULT_BASE`) ; + `b_to_the_power_w_never_counts_in_the_web_of_trust` — W de la grille et 102, 5 000, 5 708, chaque + participation de la grille, quorums de 2 à W (échantillon), neuf nombres de votants par cas, + 41 505 cas : le seuil avec B est celui sans B. Vu rouge sous la mutation 2. +17. « **M** et **G** : donnés par le cran d'inertie de l'article (voir « Niveaux d'inertie »). » + - Affirme : M et G sont ceux du cran (G aussi de la participation habituelle, phrase suivante). + - Test : `the_formulas_of_the_texts_are_those_the_engine_computes` — W 2, 40 et ceux de la grille, + chaque participation de la grille, quorums 1, 2, 12, 50, ⌈p̃ × W⌉, W/2, W, douze nombres de + votants, les cinq crans, 19 950 cas par langue : M du cran, G écrit comme N1.1 l'écrit égal à + celui du moteur. Vu rouge sous les mutations 1 et 2. +18. « G n'est pas fixé à la main : il se déduit de la participation habituelle du groupe. » + - Affirme : G vient de la participation habituelle — la valeur bornée, pas la médiane brute. + - Tests : `g_gives_the_share_of_the_level_at_the_usual_turnout_beyond_the_article_s_quorum` (la + grille T3c : G écrit avec p̃ la participation habituelle divisée par W est celui du moteur, à + chaque quorum) ; `the_formulas_…` (ci-dessus). Vus rouges sous la mutation 1. +19. Intertitre « **Par défaut** ». **Rien à vérifier.** +20. « 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 » à sa participation habituelle. » + - Affirme : le cran 3, son nom, M = 55 %, le quorum 50, et, quand la participation habituelle + atteint le quorum, une part exigée de 75 % à cette participation. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (3, moyenne, 55, 50, 75 : le cran par + défaut du moteur, son M, son s, son quorum dans le seed) ; + `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum` (la grille T3c, + donc le cran 3 à chaque quorum, dont 50 : à la participation habituelle, s exactement quand elle + atteint le quorum — 16 985 cas, dont 2 375 où la médiane était sous 1 % de W et 7 365 au-dessus de + 50 % ; jugée sur le quorum, plus bas que s, sinon — 68 115 cas). Vu rouge sur le texte de + `e7ab82f` (« quand il vote comme d'habitude ») et sous la mutation 1. +21. « Tout nouvel article commence à ce cran. » + - Affirme : un article créé est au cran 3. + - Test : `tests/quorum.rs` `the_author_of_an_article_sets_its_quorum_before_the_first_vote` (ajouté + par T3c : l'article « Nouveau » est au cran 3). Vu rouge sous la mutation 3. +22. « Au départ, aucun article n'est en vigueur. » + - Affirme : une règle sans nombre. **Rien à vérifier** sur la grille ; tenue par + `tests/seed_proposals.rs` `a_new_base_is_born_with_three_seed_proposals_and_no_article_in_force`. +23. « Raison d'être, Unicité du compte et Réciprocité sont des Propositions seed, mises en avant pour + lancer le vote, au cran 2 (basse). » + - Affirme : les trois titres, le cran 2 et son nom. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (les titres des versions `seedProposal` + du seed, `seed::SEED_PROPOSAL_LEVEL`) ; `tests/seed_proposals.rs` (ci-dessus). +24. « Le titre du document est au cran 4 (haute), l'ordre des articles de chaque section au cran 2, tous + les autres articles au cran 3. » + - Affirme : trois crans lus dans le seed. + - Test : `every_number_of_the_quorum_texts_is_the_engine_s` (`modules.title.inertia`, + `modules.order.inertia`, chaque `inertia` du seed, toutes égales). + +## N1.1 « Niveaux d'inertie » + +1. « À chaque cran, le groupe demande une part de « pour » parmi les votants (voir « Formule du seuil + WoT »). » + - Affirme : qu'il y a une part, définie plus bas (phrase 4). **Rien à vérifier** à elle seule. +2. « Chaque cran a aussi son quorum : sous le quorum de l'article, les votants qui manquent comptent + comme « non », et il faut autant de « pour » que si ce quorum avait voté. » + - Affirme : sous le quorum de l'article (celui de son cran, ou celui que son auteur a fixé), les + « pour » qui passent sont le seuil du quorum, et un décompte passe dès que ses « pour » l'atteignent. + - Test : `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` (sa grille : F1.2, + phrase 12). Vu rouge sur le texte de `e7ab82f` (« sous le quorum », « si le quorum ») et sous la + mutation 2. +3. « La part exigée dépend du cran et du nombre de votants, comparé à la participation habituelle du + groupe : au-delà de ce quorum, plus il y a de votants, plus elle baisse, jusqu'à la majorité M quand + tout le monde vote. » + - Affirme : la part exigée dépend de k, de T' et de la participation habituelle ; au-delà du quorum de + l'article, elle baisse strictement à chaque votant de plus ; à W votants, M. + - Tests : `the_share_asked_falls_beyond_the_article_s_quorum_down_to_m` (la grille T3c ; chaque + nombre de votants de 0 à W sur W 100 et 101, ailleurs autour du quorum, de la participation + habituelle et de la médiane, W/2, W − 1, W : 808 390 paires au-delà du quorum, strictement + décroissantes, 767 455 en dessous, égales ; M à W ; et la part en voix entières, ⌈part × T⌉ / T, + qui remonte de 9 sur 12 à 10 sur 13 à W 5 707) ; la dépendance à la participation habituelle : + `the_share_of_a_level_is_asked_at_the_usual_turnout_…` (phrase 5). Vu rouge sur le texte de + `e7ab82f` (« La part », « au-delà du quorum ») et sous la mutation 2. +4. « `Part exigée = M + (1 − M) × (1 − (T'/W)^G)`, où T' est le nombre de votants, ou le quorum de + l'article s'il en manque. » + - Affirme : la formule, et T' = max(T, Q) avec Q le quorum de l'article. + - Test : `the_formulas_of_the_texts_are_those_the_engine_computes` (sa grille : F1.2, phrase 17 ; + T' et la part, évalués tels qu'écrits, égaux au moteur). Vu rouge sous les mutations 1 et 2. +5. « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée au-delà du quorum de l'article, à la + participation habituelle, puis quand tout le monde vote, et ce qui est à ce cran au départ. » + - Affirme : ce que disent les colonnes des cinq lignes ; la deuxième vaut au-delà du quorum de + l'article, à la participation habituelle. + - Test : `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum` (la + grille T3c, F1.2 phrase 20). Vu rouge sur le texte de `e7ab82f`. +6. à 10. Les cinq lignes, par exemple « **Cran 1 · très basse** : quorum 12 ; 60 % à la participation + habituelle, 50 % quand tout le monde vote. Aucun article au départ. » ; puis 2 · basse : 12 ; 67 %, + 50 % ; Raison d'être, Unicité du compte, Réciprocité, et l'ordre des articles de chaque section ; + 3 · moyenne : 50 ; 75 %, 55 % ; le cran par défaut : tous les autres articles, et chaque nouvel + article ; 4 · haute : 50 ; 83 %, 60 % ; le titre du document ; 5 · très haute : 50 ; 90 %, 66 % ; + aucun article au départ. + - Affirment : le quorum du cran, s_k à la participation habituelle (au-delà du quorum de l'article), + M_k quand tout le monde vote, ce qui est au cran au départ. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (chaque nombre, chaque nom de cran, ce + qui est au départ, construits depuis le moteur et le seed) ; + `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum` (s_k et M_k sur la + grille T3c) ; `the_participation_habituelle_is_the_median_brought_back_within_its_bounds` (pourquoi + le terme défini). Vus rouges sur le texte de `e7ab82f` (« comme d'habitude ») ; le second sous la + mutation 1. +11. « **La participation habituelle** est la médiane du nombre de votants des propositions du groupe + votées depuis un an. » + - Affirme : une définition (et « un an »). + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (`participation::WINDOW_DAYS` = 365) ; + `tests/inertia.rs` `the_usual_participation_is_the_median_of_five_voted_proposals`, + `the_usual_participation_counts_the_statuses_it_names_and_only_those`, + `a_withdrawn_proposal_leaves_the_usual_participation`. +12. « Tant qu'elle repose sur moins de 5 propositions, elle vaut deux fois le quorum de référence du + document : 100 votants dans Monnaie libre. » + - Affirme : moins de 5 propositions votées dans l'année, la référence 2 × 50 = 100 votants, avant les + bornes (phrase 14). + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (5 = `Participation::MIN_SAMPLE`, + 100 = 2 × `voteFloor`) ; `the_participation_habituelle_is_the_median_brought_back_within_its_bounds` + (sur chaque W et chaque médiane de la grille, 4 propositions donnent la référence) ; + `tests/inertia.rs` `the_usual_participation_is_the_median_of_five_voted_proposals` (cinq + propositions votées, dont une il y a plus d'un an : la référence revient) ; + `the_reference_turnout_is_a_parameter_the_bounds_bring_back` (100 votants de W 200 à 10 000, la + borne ailleurs). Vus rouges sur le texte de `e7ab82f` (« Tant que le groupe n'a pas voté sur 5 + propositions ») ; le dernier sous la mutation 1. +13. « Elle ne dépend pas du quorum d'un article. » + - Affirme : fixer le quorum d'un article ne change ni la participation habituelle ni G. + - Tests : `tests/quorum.rs` `in_monnaie_libre_a_quorum_holds_two_voices_and_a_ballot_counts_even_pending` + (ajouté par T3c : I1 au quorum 20, la participation servie et G de chaque cran restent, p̃ = + 100 / W) ; `g_gives_…` (G le même à chaque quorum de la grille). Vu rouge sous la mutation 4. +14. « Elle est ramenée entre 1 % et 50 % de l'électorat, et se mesure une fois par jour. » + - Affirme : la valeur bornée est la participation habituelle ; 1, 50 ; une fois par jour. + - Tests : `every_number_of_the_quorum_texts_is_the_engine_s` (`Participation::LOWEST`, `HIGHEST`, + `participation::EVERY_HOURS` = 24) ; + `the_participation_habituelle_is_the_median_brought_back_within_its_bounds` (sur chaque W et + chaque médiane : la valeur est la médiane, ou la référence, ramenée ; le cas de la relecture, + W 7 224, médiane 40 : 72,24 votants ; sur la grille, 1 175 cas où la médiane, sous 1 %, atteint le + quorum et où la part à la médiane dépasse s, 10 270 au-dessus de 50 % où elle est sous s) ; + `ld-server` `participation::a_measure_is_taken_again_after_a_day`. Vus rouges sur le texte de + `e7ab82f` (« Elle reste entre ») et sous la mutation 1. +15. « **G** se calcule pour que la part exigée, au-delà du quorum de l'article, soit exactement celle du + cran à la participation habituelle : `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. » + - Affirme : la formule de G ; à la participation habituelle, la courbe donne s ; la part exigée y est + s quand elle atteint le quorum de l'article ; s est la part de la liste ; p̃ est la valeur bornée + sur W. + - Tests : `g_gives_the_share_of_the_level_at_the_usual_turnout_beyond_the_article_s_quorum` (la + grille T3c : 16 985 cas au-delà, s exactement ; 68 115 en dessous, plus bas, jugés sur le quorum) ; + `the_formulas_of_the_texts_are_those_the_engine_computes` ; `every_number_of_the_quorum_texts_is_the_engine_s` + (60, 67, 75, 83, 90). Vu rouge sur le texte de `e7ab82f` (« quand le groupe vote comme + d'habitude ») et sous les mutations 1 et 2. + +## Les mutations, défaites aussitôt + +| | Mutation | Rouges | +|---|---|---| +| 1 | `Participation::of` ne ramène plus la médiane dans ses bornes (`ratio = raw`) | 6 : `g_gives_…`, `the_participation_habituelle_…`, `the_formulas_…`, `the_reference_turnout_…`, `the_share_of_a_level_…`, `under_the_quorum_…` | +| 2 | `judged_voters` sans quorum (`cast`) | 7 : `b_to_the_power_w_…`, `the_formulas_…`, `the_share_asked_falls_…`, `the_share_of_a_level_…`, `the_three_phrases_of_the_review_of_m6b_…`, `under_the_quorum_…`, `g_gives_…` | +| 3 | un nouvel article au cran 2 (`proposals.rs`) | `tests/quorum.rs` `the_author_of_an_article_sets_its_quorum_before_the_first_vote` | +| 4 | la participation calée sur le quorum d'un article (`docs.rs`) | `tests/quorum.rs` `in_monnaie_libre_a_quorum_holds_two_voices_…` | + +Sur le texte de `e7ab82f`, avant le changement : 8 tests rouges, `every_number_…`, `g_gives_…`, +`the_participation_habituelle_…`, `the_reference_turnout_…`, `the_share_asked_falls_…`, +`the_share_of_a_level_…`, `the_texts_of_lot_t3_change_these_phrases_only`, `under_the_quorum_…`. + +## Hors de la liste, pour information + +- **F1.1**, non touché : « G : le gradient : plus il est grand, plus la part demandée monte quand peu de + gens votent » n'a pas d'effet sur un article dont l'auteur a fixé le quorum à W (la part y est M à + tout G). Un cas limite, laissé : F1.1 n'a pas d'amendement. +- **F1.2, phrases 4 et 5** : la version retenue par une objection (ADR 0010) n'y est pas dite. Règles + sans nombre, hors du champ de T3c ; à trancher si on veut les écrire. +- **L'interface** (`settings.reading`, `settings.share.note`, `settings.required.usual`) dit encore + « comme d'habitude » ; non touchée (ordre de T3c). diff --git a/docs/chantiers/acte-certification/textes-quorum-seed.md b/docs/chantiers/acte-certification/textes-quorum-seed.md index 0beb3bb..28a4656 100644 --- a/docs/chantiers/acte-certification/textes-quorum-seed.md +++ b/docs/chantiers/acte-certification/textes-quorum-seed.md @@ -22,6 +22,14 @@ > `2ce2028`, avant la mise en ligne : la phrase de G (N1.1) écrite vraie sous le quorum, « autant de > « pour » » en français, le test des nombres honnête sur « 100 votants » (« Après la relecture de > 2ce2028 », ci-dessous). Le même amendement, avec sa nouvelle empreinte ; rien n'est en ligne. +> +> **Repris le 2026-11-03 par le lot T3c** (branche `lot/t3c-habituelle`), après la relecture +> indépendante de `e7ab82f`, avant la mise en ligne : le terme défini « à la participation +> habituelle » à la place de « comme d'habitude », qui se lisait comme la médiane réelle et devenait +> faux quand elle sort de ses bornes ; puis un passage complet sur F1.2 et N1.1, phrase par phrase +> (« Après la relecture de e7ab82f », ci-dessous). La liste fermée de leurs phrases, chacune avec le +> test qui la vérifie et sa grille, est dans `t3c-liste-fermee.md`. Les mêmes amendements, avec leurs +> nouvelles empreintes ; rien n'est en ligne. ## Lot T3 : aucun chiffre daté, chaque phrase vraie pour tout W @@ -54,6 +62,166 @@ et 50 %. Trois phrases étaient fausses quelque part, chacune prouvée par un te corrigées au plus court. Rien d'autre ne change ; les titres restent. *(La relecture de `2ce2028` en a trouvé une quatrième, la phrase de G : reprise ci-dessous.)* +### Après la relecture de e7ab82f + +La relecture indépendante de `e7ab82f` rend « à reprendre » pour un point, « comme d'habitude » ; orch +demande ensuite un passage complet sur F1.2 et N1.1, phrase par phrase (« que T3c soit le dernier +tour »). T3 n'étant pas en ligne, les amendements `2026-11-03-f1-2-chiffres` et +`2026-11-03-n1-1-chiffres` sont repris eux-mêmes (leurs nouvelles empreintes : « La garde, en +production »), sans en ajouter. F1.1 ne change pas. **La liste fermée** des phrases de F1.2 et N1.1, +chacune avec ce qu'elle affirme et le test qui la vérifie sur sa grille, est dans +`t3c-liste-fermee.md`, remise telle quelle au relecteur. + +**Le terme défini.** N1.1 définit la participation habituelle : la médiane du nombre de votants des +propositions votées depuis un an, ou deux fois le quorum de référence quand elle repose sur moins de +5 propositions, **ramenée entre 1 % et 50 % de l'électorat** ; le moteur calcule G sur cette valeur +bornée (`Participation::of`). « Quand le groupe vote comme d'habitude » se lit d'abord comme la médiane +réelle, et sous cette lecture, trois phrases et les cinq lignes des crans deviennent fausses dès que la +médiane sort de ses bornes. **L'exemple de la relecture** : une toile de 7 224 membres (celle de 2024), +une médiane de 40 votants (0,55 % de W, ramenée à 1 % : 72,24 votants), cran 2, quorum 12. À 40 +votants, au-delà du quorum, la part exigée est de 68,7 % : il faut 28 « pour » sur 40, pas 27 (67 % de +40, arrondi au-dessus) ; 27 « pour » et 13 « contre » ne passent pas. À la participation habituelle, +72,24 votants, la part est de 67 % exactement. Le cas est réaliste dans Monnaie libre aujourd'hui. Le +test de T3 sautait ces cas (`if part.bounded { continue; }`) : la grille de T3c les prend tous, la +participation habituelle étant la valeur bornée (prouvé par +`the_participation_habituelle_is_the_median_brought_back_within_its_bounds`, qui calcule aussi +l'exemple). + +Chaque phrase changée, avant (le texte de `e7ab82f`) et après : + +- **F1.2, « Par défaut »**. + - **Avant** : « …un quorum de 50 dans Monnaie libre, et, au-delà du quorum, le groupe demande 75 % de + « pour » quand il vote comme d'habitude. » + - **Après** : « …un quorum de 50 dans Monnaie libre, et, au-delà du quorum, le groupe demande 75 % de + « pour » à sa participation habituelle. » + - en : « …asks for 75% of votes in favour when it votes as usual. » → « …at its usual turnout. » ; + es : « …un 75 % de votos a favor cuando vota como de costumbre. » → « …con su participación + habitual. » + - **Pourquoi** : le terme défini (l'exemple ci-dessus). « Au-delà du quorum » reste : sous « Par + défaut », juste après « un quorum de 50 », il se lit comme ce quorum-là, celui d'un article au cran + par défaut ; lu comme le quorum de l'article, il est vrai aussi. +- **N1.1, la phrase du quorum** (point 3 de l'ordre, défaut appliqué mot pour mot). + - **Avant** : « Chaque cran a aussi son quorum : sous le quorum, les votants qui manquent comptent + comme « non », et il faut autant de « pour » que si le quorum avait voté. » + - **Après** : « Chaque cran a aussi son quorum : sous le quorum de l'article, les votants qui manquent + comptent comme « non », et il faut autant de « pour » que si ce quorum avait voté. » + - en : « below the quorum, […] as if the quorum had voted » → « below the article's quorum, […] as if + that quorum had voted » ; es : « por debajo del quórum, […] como si hubiera votado el quórum » → + « por debajo del quórum del artículo, […] como si hubiera votado ese quórum ». + - **Pourquoi** : juste après « son quorum » (celui du cran), « sous le quorum » se lisait d'abord comme + le quorum du cran, alors qu'un article peut avoir celui que son auteur a fixé. Le test de la phrase + reste vrai pour tout quorum dans les bornes (`under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted`). +- **N1.1, la phrase de la part** (premier paragraphe, la dernière). + - **Avant** : « La part dépend du cran et du nombre de votants, comparé à la participation habituelle + du groupe : au-delà du quorum, plus il y a de votants, plus elle baisse, jusqu'à la majorité M quand + tout le monde vote. » + - **Après** : « La part exigée dépend du cran et du nombre de votants, comparé à la participation + habituelle du groupe : au-delà de ce quorum, plus il y a de votants, plus elle baisse, jusqu'à la + majorité M quand tout le monde vote. » + - en : « The share depends […] beyond the quorum » → « The share asked depends […] beyond that + quorum » ; es : « La proporción depende […] más allá del quórum » → « La proporción exigida depende + […] más allá de ese quórum ». + - **Pourquoi** : « la part » seule, après « une part de « pour » parmi les votants », peut se lire + comme la part de « pour » à apporter en voix entières, qui remonte parfois au-delà du quorum (toile + de 5 707 membres, participation de référence, cran 2, quorum 12 : 9 « pour » sur 12, 75 %, puis 10 + sur 13, 76,9 %), alors que la part exigée, celle de la formule qui suit, baisse (73,5 %, puis + 73,2 %). « Ce quorum » : la phrase d'avant en nomme deux, celui du cran et celui de l'article ; entre + celui du cran et un quorum d'auteur plus haut, la part ne baisse pas. Prouvé par + `the_share_asked_falls_beyond_the_article_s_quorum_down_to_m`. +- **N1.1, la formule de la part** (T'). + - **Avant** : « …, où T' est le nombre de votants, ou le quorum s'il en manque. » + - **Après** : « …, où T' est le nombre de votants, ou le quorum de l'article s'il en manque. » + - en : « or the quorum if some are missing » → « or the article's quorum if some are missing » ; es : + « o el quórum si faltan » → « o el quórum del artículo si faltan ». + - **Pourquoi** : T' se calcule sur le quorum de l'article (F1.1 : « Q : le quorum de l'article ») ; la + raison de la phrase du quorum. +- **N1.1, l'introduction des crans**. + - **Avant** : « **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. » + - **Après** : « **Les cinq crans** : le quorum dans Monnaie libre, la part exigée au-delà du quorum de + l'article, à la participation habituelle, puis quand tout le monde vote, et ce qui est à ce cran au + départ. » + - en : « the share asked beyond the quorum, when the group votes as usual, » → « the share asked + beyond the article's quorum, at the usual turnout, » ; es : « la proporción exigida más allá del + quórum, cuando el grupo vota como de costumbre, » → « la proporción exigida más allá del quórum del + artículo, con la participación habitual, ». + - **Pourquoi** : le terme défini ; et « de l'article » : juste après « le quorum dans Monnaie libre » + (celui du cran), « au-delà du quorum » se lisait comme ce quorum-là. Pour un article dont l'auteur a + fixé un quorum au-dessus de la participation habituelle, elle-même au-dessus du quorum du cran, la + part du cran n'est pas demandée à la participation habituelle : les votants y sont jugés comme le + quorum de l'article, à une part plus basse que celle du cran, demandée à plus de votants qu'il n'en + vient (sur la grille, 68 115 cas où la participation habituelle n'atteint pas le quorum de + l'article). +- **N1.1, les cinq lignes des crans**. + - **Avant** : « 60 % comme d'habitude, 50 % quand tout le monde vote » (de même 67, 75, 83, 90 %). + - **Après** : « 60 % à la participation habituelle, 50 % quand tout le monde vote ». + - en : « 60% as usual » → « 60% at the usual turnout » ; es : « 60 % como de costumbre » → « 60 % con + la participación habitual ». + - **Pourquoi** : le terme défini. +- **N1.1, la participation habituelle de référence**. + - **Avant** : « Tant que le groupe n'a pas voté sur 5 propositions, elle vaut deux fois le quorum de + référence du document : 100 votants dans Monnaie libre. » + - **Après** : « Tant qu'elle repose sur moins de 5 propositions, elle vaut deux fois le quorum de + référence du document : 100 votants dans Monnaie libre. » + - en : « Until the group has voted on 5 proposals, it is » → « While it rests on fewer than 5 + proposals, it is » ; es : « Hasta que el grupo haya votado 5 propuestas, vale » → « Mientras se + base en menos de 5 propuestas, vale ». + - **Pourquoi** : fausse une fois que le groupe a voté sur 5 propositions. La médiane ne compte que les + propositions votées depuis un an (la phrase d'avant) ; avec moins de 5 dans l'année, la référence + revient (`tests/inertia.rs`, `the_usual_participation_is_the_median_of_five_voted_proposals` : une + des cinq votée il y a plus d'un an, la référence revient). « Elle repose sur » renvoie aux + propositions de la phrase d'avant. +- **N1.1, les bornes**. + - **Avant** : « Elle reste entre 1 % et 50 % de l'électorat, et se mesure une fois par jour. » + - **Après** : « Elle est ramenée entre 1 % et 50 % de l'électorat, et se mesure une fois par jour. » + - en : « It stays between » → « It is kept between » ; es : « Se mantiene entre » → « Se acota + entre ». + - **Pourquoi** : c'est la définition sur laquelle tout le lot s'appuie : la participation habituelle + est la valeur ramenée. « Reste » se lit comme un constat (la médiane resterait d'elle-même entre les + bornes), et la première phrase, « est la médiane », serait fausse pour une médiane de 40 sur 7 224 ; + « est ramenée » dit la règle. En espagnol, « se mantiene » a les deux lectures ; « se acota » (« est + bornée ») n'en a qu'une. +- **N1.1, la phrase de G**. + - **Avant** : « **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. » + - **Après** : « **G** se calcule pour que la part exigée, au-delà du quorum de l'article, soit + exactement celle du cran à la participation habituelle : `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. » + - en : « beyond the quorum, is exactly that of the level when the group votes as usual: » → « beyond + the article's quorum, is exactly that of the level at the usual turnout: » ; es : « más allá del + quórum, sea exactamente la del nivel cuando el grupo vota como de costumbre: » → « más allá del quórum + del artículo, sea exactamente la del nivel con la participación habitual: ». + - **Pourquoi** : G se calcule sur la valeur bornée ; à la médiane réelle hors des bornes, la part n'est + pas s (l'exemple) ; « de l'article », comme l'introduction des crans. + +**Ce qui est relu et laissé**, phrase par phrase, avec son test : `t3c-liste-fermee.md` (24 entrées pour +F1.2, intertitres compris, 15 pour N1.1). Trois points, hors du champ de T3c, sont dans « Points à trancher » (11, 12, 13) : +l'interface dit encore « comme d'habitude » ; F1.2 ne dit pas la version retenue par une objection ; +F1.1, G sans effet au quorum W. + +**Les tests** (`crates/ld-server/tests/seed_quorum_texts.rs`, sauf mention), vus rouges sur le texte +de `e7ab82f` (8 tests), puis verts : + +- une grille commune, `grid()` (85 100 cas) : W de 100 (la borne basse de `wot::PLAUSIBLE`) à + 10 000 000 ; la référence et des médianes sous 1 % de W, dans les bornes et au-dessus de 50 %, chacune + ramenée par `Participation::of`, la participation habituelle étant la valeur bornée ; chaque quorum + d'auteur de 2 à W jusqu'à W = 1 000, un échantillon au-delà ; les cinq crans. Elle remplace + `as_usual_grid`, qui sautait les médianes hors des bornes ; +- renommés : `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` → + `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum` ; + `g_gives_the_share_of_the_level_beyond_the_quorum_when_the_group_votes_as_usual` → + `g_gives_the_share_of_the_level_at_the_usual_turnout_beyond_the_article_s_quorum` ; +- nouveaux : `the_participation_habituelle_is_the_median_brought_back_within_its_bounds` (l'écart entre + la valeur bornée et la médiane, l'exemple de la relecture, et pourquoi le terme défini) ; + `the_share_asked_falls_beyond_the_article_s_quorum_down_to_m` ; dans `tests/quorum.rs`, la + participation et G inchangés quand un administrateur fixe le quorum d'un article de Monnaie libre, et + le cran 3 d'un nouvel article ; +- étendus à la grille : `under_the_quorum_…` (plus « une seule voix ne fait jamais passer un texte »), + `b_to_the_power_w_…`, `the_formulas_…` ; le test des nombres vérifie toujours tout ; +- quatre mutations du code, défaites aussitôt, chacune vue rouge (`t3c-liste-fermee.md`). + ### Après la relecture de 2ce2028 La relecture indépendante de `2ce2028` rend « à reprendre » pour une phrase, et relève deux mineurs. @@ -66,7 +234,8 @@ empreinte, dans « La garde, en production »), sans en ajouter un. F1.2 et F1.1 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 = …`, où s est cette part du cran (60, 67, 75, - 83 ou 90 %) et p̃ la participation habituelle divisée par W. » + 83 ou 90 %) et p̃ la participation habituelle divisée par W. » *(Repris après la relecture de + e7ab82f, ci-dessus : « au-delà du quorum de l'article », « à la participation habituelle ».)* - **Pourquoi** : fausse quand la participation habituelle est sous le quorum, où la part exigée se calcule sur T' = Q. Sur une toile de 3 000 membres dont la médiane est de 40 votants (dans les bornes), au cran 3, quorum 50 : la courbe donne 75 % à 40 votants, mais la part exigée est @@ -79,7 +248,9 @@ empreinte, dans « La garde, en production »), sans en ajouter un. F1.2 et F1.1 formule au-dessus, qui change avec T' ; ce sont des paramètres (s de chaque cran), que le test des nombres vérifie. Prouvé par `g_gives_the_share_of_the_level_beyond_the_quorum_when_the_group_votes_as_usual`, sur la grille de - `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` (la même fonction, `as_usual_grid`) : + `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` (la même fonction, `as_usual_grid` ; + renommés par T3c : `g_gives_the_share_of_the_level_at_the_usual_turnout_beyond_the_article_s_quorum`, + `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum`, `grid`) : G tel que le texte l'écrit est celui du moteur ; la courbe passe par s à la participation habituelle, à tout quorum ; la part exigée du groupe qui vote comme d'habitude est s au-delà du quorum (970 cas), et plus basse que s, jugée sur le quorum, en dessous (700 cas), là où la phrase @@ -149,7 +320,8 @@ participation habituelle » et « la part du cran » sans « au-delà du quorum 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 « pour » que si le quorum avait voté. » *(T3 écrivait - « autant de voix pour que » ; repris après la relecture de 2ce2028, ci-dessus.)* + « autant de voix pour que » ; repris après la relecture de 2ce2028, ci-dessus. Puis, après celle de + e7ab82f : « sous le quorum de l'article », « que si ce quorum avait voté ».)* - **Pourquoi** : « pas un nombre minimal de votants » est faux pour un quorum d'auteur bas. Au quorum 2, la part du quorum dépasse 50 % : il faut 2 « pour », une seule voix ne passe jamais, et le quorum est alors un minimum de votants, à tout cran et sur toute toile (de même au quorum 1 du @@ -169,14 +341,15 @@ participation habituelle » et « la part du cran » sans « au-delà du quorum 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. » + cran au départ. » *(Repris après la relecture de e7ab82f, ci-dessus : « au-delà du quorum de + l'article, à la participation habituelle ».)* - **Pourquoi** : « 75 % comme d'habitude » n'est vrai que si la participation habituelle atteint le quorum. En dessous, le groupe qui vote comme d'habitude est jugé sur le quorum : sur une toile de 3 000 membres dont la médiane est de 40 votants (dans les bornes : 1 %, c'est 30), au cran 3, quorum 50, il faut 38 « pour » de ces 40 votants, 95 %, pas 75 %. Cela arrive dès que la toile passe sous 5 000 membres (1 % sous 50) avec une médiane sous 50, ou quand l'auteur d'un article fixe un quorum au-dessus de la participation habituelle. Prouvé par - `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` : la part du cran exactement quand la + `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` (renommé par T3c) : la part du cran exactement quand la participation habituelle atteint le quorum, une part plus basse, sur plus de votants, sinon ; M quand tout le monde vote, à tout quorum. - en : « the share asked beyond the quorum, when the group votes as usual, then when everyone @@ -190,6 +363,7 @@ participation habituelle » et « la part du cran » sans « au-delà du quorum 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. » + *(Repris après la relecture de e7ab82f, ci-dessus : « à sa participation habituelle ».)* - **Pourquoi** : la raison de la liste des crans de N1.1 ; le cas de 3 000 membres est celui-ci (cran 3, quorum 50). en : « and, beyond the quorum, the group asks for 75% of votes in favour when it votes as usual » ; es : « y, más allá del quórum, el grupo pide un 75 % de votos a favor @@ -221,20 +395,22 @@ attente ou prouvée, quel qu'en soit le sort) ; aucune coquille, traduction de m | Article | Empreinte d'avant : le texte de T2, en ligne | Empreinte d'après : le texte de T3 | |---|---|---| -| F1.2 | `96caf353b33805f2894593d72c5b70fce2e751039cd7f4651d8842c986729a14` | `ddce5aa5fcd13dfc3e374c37509a1bb8cfafddefb6e6add5a06b130b43216d62` | -| N1.1 | `7fbedcb8750c208f8790c4f87dc21d8bd1096a27a1a0044af6b9b8f2057f2aa8` | `7f62fd42617c6e63b1783d5a4d472ed733aa074222240faf834e6b31f1c9c166` | +| F1.2 | `96caf353b33805f2894593d72c5b70fce2e751039cd7f4651d8842c986729a14` | `0c3b800b0c72b1edd4b884c03c6c5479c17609dcf82a95b593d408821e28bb4e` | +| N1.1 | `7fbedcb8750c208f8790c4f87dc21d8bd1096a27a1a0044af6b9b8f2057f2aa8` | `8107c5fc746121f18c8a440e86e23310c5a59ae8e92f5a07f6b098419980263c` | -L'empreinte d'après de N1.1 est celle du texte repris après la relecture de `2ce2028` (lot T3b) ; celle -de `2ce2028`, `4289e3579ee747f6023162339ed60601b810d33462617b42a9f8b5b3735c3238`, n'a jamais été en -ligne et ne sert plus. F1.2 ne change pas. +Les empreintes d'après sont celles des textes repris après la relecture de `e7ab82f` (lot T3c). Les +précédentes n'ont jamais été en ligne et ne servent plus : F1.2, +`ddce5aa5fcd13dfc3e374c37509a1bb8cfafddefb6e6add5a06b130b43216d62` (T3 et T3b) ; N1.1, +`7f62fd42617c6e63b1783d5a4d472ed733aa074222240faf834e6b31f1c9c166` (T3b) et +`4289e3579ee747f6023162339ed60601b810d33462617b42a9f8b5b3735c3238` (`2ce2028`). Appliqué, dans une transaction, par document : le texte (fr) remplacé, **révision 4 → 5** pour F1.2 et N1.1 ; une ligne « texte de départ remplacé » dans l'historique, sans auteur (la révision 4, le texte de T2, reste lisible, avec son diff) ; en et es remplacés ; la décision dans `seed_amendments`. **La file de publication de Monnaie libre** reçoit deux lignes de plus -(« proposition de départ réécrite : F1.2, la part du cran par défaut au-delà du quorum » et « … : -N1.1, sans chiffre daté ; sous le quorum, autant de « pour » que si le quorum avait voté ; G, la part -du cran au-delà du quorum ») ; elles +(« proposition de départ réécrite : F1.2, la part du cran par défaut au-delà du quorum, à la +participation habituelle » et « … : N1.1, sans chiffre daté ; sous le quorum de l'article, autant de +« pour » que si ce quorum avait voté ; au-delà, la part du cran à la participation habituelle ») ; elles attendent, comme les autres, le premier texte en vigueur (ADR 0011) puis des votes prouvés (ADR 0012) : rien n'est publié tant qu'aucun article n'est en vigueur. Le groupe d'essai ne publie jamais. Refusé, le texte de T2 reste, avec sa raison (`votes`, `ballots`, `corrected`, @@ -399,7 +575,7 @@ En production aujourd'hui : 0 vote, 0 bulletin, une seule identité (dit par orc WoT », « Paramètres par défaut », « Niveaux d'inertie »), jamais par le code ; apostrophes droites ; « » espacés en français, “ ” en anglais britannique (*favour*), «» serrés en espagnol ; formules en code, avec × et −, jamais d'astérisque. -- **Longueur** (signes, après la relecture de `2ce2028` ; après le lot T3 : N1.1 fr 2075, en 1937, es 2125 ; après le lot T2 : fr 1122 · 2035 · 2449, en 1093 · 1950 · 2315, es 1126 · 2020 · 2526 ; avant : fr 1081 · 2055 · 2372, en 1058 · 1977 · 2246, es 1083 · 2035 · 2454) : fr : F1.1 1122 · F1.2 2055 · N1.1 2112 ; en : F1.1 1093 · F1.2 1970 · N1.1 1987 ; es : F1.1 1126 · F1.2 2042 · N1.1 2163. Limite d'une proposition : 4 000 (`crates/ld-server/src/proposals.rs:32`) ; +- **Longueur** (signes, après la relecture de `e7ab82f` ; après celle de `2ce2028` : fr F1.2 2055 · N1.1 2112, en 1970 · 1987, es 2042 · 2163 ; après le lot T3 : N1.1 fr 2075, en 1937, es 2125 ; après le lot T2 : fr 1122 · 2035 · 2449, en 1093 · 1950 · 2315, es 1126 · 2020 · 2526 ; avant : fr 1081 · 2055 · 2372, en 1058 · 1977 · 2246, es 1083 · 2035 · 2454) : fr : F1.1 1122 · F1.2 2054 · N1.1 2226 ; en : F1.1 1093 · F1.2 1968 · N1.1 2079 ; es : F1.1 1126 · F1.2 2042 · N1.1 2264. Limite d'une proposition : 4 000 (`crates/ld-server/src/proposals.rs:32`) ; au-delà de 700, l'assistant dit « texte long » (`crates/ld-engine/src/assist.rs:25`), comme pour les textes actuels de F1.2 et N1.1. - **Le ton** est celui de F1.2, N1 et O1 tels que M5 les a posés : le groupe, la personne, jamais le @@ -549,7 +725,7 @@ Les valeurs des lettres de la formule (voir « Formule du seuil WoT ») et la fa **Par défaut** -- 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. +- 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 » à sa participation habituelle. Tout nouvel article commence à ce cran. - Au départ, aucun article n'est en vigueur. Raison d'être, Unicité du compte et Réciprocité sont des Propositions seed, mises en avant pour lancer le vote, au cran 2 (basse). Le titre du document est au cran 4 (haute), l'ordre des articles de chaque section au cran 2, tous les autres articles au cran 3. ``` @@ -576,7 +752,7 @@ The values of the letters of the formula (see “WoT threshold formula”) and h **By default** -- The default level is 3 (medium): M = 55%, a quorum of 50 in Monnaie libre, and, beyond the quorum, the group asks for 75% of votes in favour when it votes as usual. Every new article starts at this level. +- The default level is 3 (medium): M = 55%, a quorum of 50 in Monnaie libre, and, beyond the quorum, the group asks for 75% of votes in favour at its usual turnout. Every new article starts at this level. - At the start, no article is in force. Purpose, Uniqueness of the account and Reciprocity are seed proposals, put forward to start the vote, at level 2 (low). The title of the document is at level 4 (high), the order of the articles of each section at level 2, all other articles at level 3. ``` @@ -603,7 +779,7 @@ Los valores de las letras de la fórmula (ver «Fórmula del umbral WoT») y có **Por defecto** -- El nivel por defecto es el 3 (media): M = 55 %, un quórum de 50 en Monnaie libre, y, más allá del quórum, el grupo pide un 75 % de votos a favor cuando vota como de costumbre. Todo artículo nuevo empieza en este nivel. +- El nivel por defecto es el 3 (media): M = 55 %, un quórum de 50 en Monnaie libre, y, más allá del quórum, el grupo pide un 75 % de votos a favor con su participación habitual. Todo artículo nuevo empieza en este nivel. - Al inicio, ningún artículo está en vigor. Razón de ser, Unicidad de la cuenta y Reciprocidad son Propuestas seed, puestas en primer plano para lanzar la votación, en el nivel 2 (baja). El título del documento está en el nivel 4 (alta), el orden de los artículos de cada sección en el nivel 2, todos los demás artículos en el nivel 3. ``` @@ -620,21 +796,21 @@ Los valores de las letras de la fórmula (ver «Fórmula del umbral WoT») y có Titre : **Niveaux d'inertie** ```markdown -À chaque cran, le groupe demande une part de « pour » parmi les votants (voir « Formule du seuil WoT »). Chaque cran a aussi son quorum : sous le quorum, les votants qui manquent comptent comme « non », et il faut autant de « pour » que si le quorum avait voté. La part dépend du cran et du nombre de votants, comparé à la participation habituelle du groupe : au-delà du quorum, plus il y a de votants, plus elle baisse, jusqu'à la majorité M quand tout le monde vote. +À chaque cran, le groupe demande une part de « pour » parmi les votants (voir « Formule du seuil WoT »). Chaque cran a aussi son quorum : sous le quorum de l'article, les votants qui manquent comptent comme « non », et il faut autant de « pour » que si ce quorum avait voté. La part exigée dépend du cran et du nombre de votants, comparé à la participation habituelle du groupe : au-delà de ce quorum, plus il y a de votants, plus elle baisse, jusqu'à la majorité M quand tout le monde vote. -`Part exigée = M + (1 − M) × (1 − (T'/W)^G)`, où T' est le nombre de votants, ou le quorum s'il en manque. +`Part exigée = M + (1 − M) × (1 − (T'/W)^G)`, où T' est le nombre de votants, ou le quorum de l'article s'il en manque. -**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. +**Les cinq crans** : le quorum dans Monnaie libre, la part exigée au-delà du quorum de l'article, à la participation habituelle, puis quand tout le monde vote, et ce qui est à ce cran au départ. -- **Cran 1 · très basse** : quorum 12 ; 60 % comme d'habitude, 50 % quand tout le monde vote. Aucun article au départ. -- **Cran 2 · basse** : quorum 12 ; 67 % comme d'habitude, 50 % quand tout le monde vote. Raison d'être, Unicité du compte, Réciprocité, et l'ordre des articles de chaque section. -- **Cran 3 · moyenne** : quorum 50 ; 75 % comme d'habitude, 55 % quand tout le monde vote. Le cran par défaut : tous les autres articles, et chaque nouvel article. -- **Cran 4 · haute** : quorum 50 ; 83 % comme d'habitude, 60 % quand tout le monde vote. Le titre du document. -- **Cran 5 · très haute** : quorum 50 ; 90 % comme d'habitude, 66 % quand tout le monde vote. Aucun article au départ. +- **Cran 1 · très basse** : quorum 12 ; 60 % à la participation habituelle, 50 % quand tout le monde vote. Aucun article au départ. +- **Cran 2 · basse** : quorum 12 ; 67 % à la participation habituelle, 50 % quand tout le monde vote. Raison d'être, Unicité du compte, Réciprocité, et l'ordre des articles de chaque section. +- **Cran 3 · moyenne** : quorum 50 ; 75 % à la participation habituelle, 55 % quand tout le monde vote. Le cran par défaut : tous les autres articles, et chaque nouvel article. +- **Cran 4 · haute** : quorum 50 ; 83 % à la participation habituelle, 60 % quand tout le monde vote. Le titre du document. +- **Cran 5 · très haute** : quorum 50 ; 90 % à la participation habituelle, 66 % quand tout le monde vote. Aucun article au départ. -**La participation habituelle** est la médiane du nombre de votants des propositions du groupe votées depuis un an. Tant que le groupe n'a pas voté sur 5 propositions, elle vaut deux fois le quorum de référence du document : 100 votants dans Monnaie libre. Elle ne dépend pas du quorum d'un article. Elle reste entre 1 % et 50 % de l'électorat, et se mesure une fois par jour. +**La participation habituelle** est la médiane du nombre de votants des propositions du groupe votées depuis un an. Tant qu'elle repose sur moins de 5 propositions, elle vaut deux fois le quorum de référence du document : 100 votants dans Monnaie libre. Elle ne dépend pas du quorum d'un article. Elle est ramenée entre 1 % et 50 % de l'électorat, et se mesure une fois par jour. -**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. +**G** se calcule pour que la part exigée, au-delà du quorum de l'article, soit exactement celle du cran à la participation habituelle : `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. ``` ### N1.1 · English @@ -642,21 +818,21 @@ Titre : **Niveaux d'inertie** Titre : **Inertia levels** ```markdown -At each level, the group asks for a share of votes in favour among the voters (see “WoT threshold formula”). 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. The share depends on the level and on the number of voters, compared with the group's usual turnout: beyond the quorum, the more voters, the lower it gets, down to the majority M when everyone votes. +At each level, the group asks for a share of votes in favour among the voters (see “WoT threshold formula”). Each level also has its quorum: below the article's quorum, the voters who are missing count as votes against, and it takes as many votes in favour as if that quorum had voted. The share asked depends on the level and on the number of voters, compared with the group's usual turnout: beyond that quorum, the more voters, the lower it gets, down to the majority M when everyone votes. -`Share asked = M + (1 − M) × (1 − (T'/W)^G)`, where T' is the number of voters, or the quorum if some are missing. +`Share asked = M + (1 − M) × (1 − (T'/W)^G)`, where T' is the number of voters, or the article's quorum if some are missing. -**The five levels**: the quorum in Monnaie libre, the share asked beyond the quorum, when the group votes as usual, then when everyone votes, and what is at that level at the start. +**The five levels**: the quorum in Monnaie libre, the share asked beyond the article's quorum, at the usual turnout, then when everyone votes, and what is at that level at the start. -- **Level 1 · very low**: quorum 12; 60% as usual, 50% when everyone votes. No article at the start. -- **Level 2 · low**: quorum 12; 67% as usual, 50% when everyone votes. Purpose, Uniqueness of the account, Reciprocity, and the order of the articles of each section. -- **Level 3 · medium**: quorum 50; 75% as usual, 55% when everyone votes. The default level: all other articles, and every new article. -- **Level 4 · high**: quorum 50; 83% as usual, 60% when everyone votes. The title of the document. -- **Level 5 · very high**: quorum 50; 90% as usual, 66% when everyone votes. No article at the start. +- **Level 1 · very low**: quorum 12; 60% at the usual turnout, 50% when everyone votes. No article at the start. +- **Level 2 · low**: quorum 12; 67% at the usual turnout, 50% when everyone votes. Purpose, Uniqueness of the account, Reciprocity, and the order of the articles of each section. +- **Level 3 · medium**: quorum 50; 75% at the usual turnout, 55% when everyone votes. The default level: all other articles, and every new article. +- **Level 4 · high**: quorum 50; 83% at the usual turnout, 60% when everyone votes. The title of the document. +- **Level 5 · very high**: quorum 50; 90% at the usual turnout, 66% when everyone votes. No article at the start. -**The usual turnout** is the median number of voters on the group's proposals voted on over the past year. Until the group has voted on 5 proposals, it is twice the document's reference quorum: 100 voters in Monnaie libre. It does not depend on the quorum of an article. It stays between 1% and 50% of the electorate, and is measured once a day. +**The usual turnout** is the median number of voters on the group's proposals voted on over the past year. While it rests on fewer than 5 proposals, it is twice the document's reference quorum: 100 voters in Monnaie libre. It does not depend on the quorum of an article. It is kept between 1% and 50% of the electorate, and is measured once a day. -**G** is computed so that the share asked, beyond the quorum, is exactly that of the level when the group votes as usual: `G = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, where s is that share of the level (60, 67, 75, 83 or 90%) and p̃ the usual turnout divided by W. +**G** is computed so that the share asked, beyond the article's quorum, is exactly that of the level at the usual turnout: `G = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, where s is that share of the level (60, 67, 75, 83 or 90%) and p̃ the usual turnout divided by W. ``` ### N1.1 · Español @@ -664,21 +840,21 @@ At each level, the group asks for a share of votes in favour among the voters (s Titre : **Niveles de inercia** ```markdown -En cada nivel, el grupo pide una proporción de votos a favor entre los votantes (ver «Fórmula del umbral WoT»). 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. La proporción depende del nivel y del número de votantes, comparado con la participación habitual del grupo: más allá del quórum, cuantos más votantes, más baja, hasta la mayoría M cuando vota todo el mundo. +En cada nivel, el grupo pide una proporción de votos a favor entre los votantes (ver «Fórmula del umbral WoT»). Cada nivel tiene además su quórum: por debajo del quórum del artículo, los votantes que faltan cuentan como «no», y hacen falta tantos votos a favor como si hubiera votado ese quórum. La proporción exigida depende del nivel y del número de votantes, comparado con la participación habitual del grupo: más allá de ese quórum, cuantos más votantes, más baja, hasta la mayoría M cuando vota todo el mundo. -`Proporción exigida = M + (1 − M) × (1 − (T'/W)^G)`, donde T' es el número de votantes, o el quórum si faltan. +`Proporción exigida = M + (1 − M) × (1 − (T'/W)^G)`, donde T' es el número de votantes, o el quórum del artículo si faltan. -**Los cinco niveles**: el quórum en Monnaie libre, la proporción exigida más allá del quórum, cuando el grupo vota como de costumbre, luego cuando vota todo el mundo, y lo que está en ese nivel al inicio. +**Los cinco niveles**: el quórum en Monnaie libre, la proporción exigida más allá del quórum del artículo, con la participación habitual, luego cuando vota todo el mundo, y lo que está en ese nivel al inicio. -- **Nivel 1 · muy baja**: quórum 12; 60 % como de costumbre, 50 % cuando vota todo el mundo. Ningún artículo al inicio. -- **Nivel 2 · baja**: quórum 12; 67 % como de costumbre, 50 % cuando vota todo el mundo. Razón de ser, Unicidad de la cuenta, Reciprocidad, y el orden de los artículos de cada sección. -- **Nivel 3 · media**: quórum 50; 75 % como de costumbre, 55 % cuando vota todo el mundo. El nivel por defecto: todos los demás artículos, y todo artículo nuevo. -- **Nivel 4 · alta**: quórum 50; 83 % como de costumbre, 60 % cuando vota todo el mundo. El título del documento. -- **Nivel 5 · muy alta**: quórum 50; 90 % como de costumbre, 66 % cuando vota todo el mundo. Ningún artículo al inicio. +- **Nivel 1 · muy baja**: quórum 12; 60 % con la participación habitual, 50 % cuando vota todo el mundo. Ningún artículo al inicio. +- **Nivel 2 · baja**: quórum 12; 67 % con la participación habitual, 50 % cuando vota todo el mundo. Razón de ser, Unicidad de la cuenta, Reciprocidad, y el orden de los artículos de cada sección. +- **Nivel 3 · media**: quórum 50; 75 % con la participación habitual, 55 % cuando vota todo el mundo. El nivel por defecto: todos los demás artículos, y todo artículo nuevo. +- **Nivel 4 · alta**: quórum 50; 83 % con la participación habitual, 60 % cuando vota todo el mundo. El título del documento. +- **Nivel 5 · muy alta**: quórum 50; 90 % con la participación habitual, 66 % cuando vota todo el mundo. Ningún artículo al inicio. -**La participación habitual** es la mediana del número de votantes de las propuestas del grupo votadas en el último año. Hasta que el grupo haya votado 5 propuestas, vale dos veces el quórum de referencia del documento: 100 votantes en Monnaie libre. No depende del quórum de un artículo. Se mantiene entre el 1 % y el 50 % del electorado, y se mide una vez al día. +**La participación habitual** es la mediana del número de votantes de las propuestas del grupo votadas en el último año. Mientras se base en menos de 5 propuestas, vale dos veces el quórum de referencia del documento: 100 votantes en Monnaie libre. No depende del quórum de un artículo. Se acota entre el 1 % y el 50 % del electorado, y se mide una vez al día. -**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 = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, donde s es esa proporción del nivel (60, 67, 75, 83 o 90 %) y p̃ la participación habitual dividida por W. +**G** se calcula para que la proporción exigida, más allá del quórum del artículo, sea exactamente la del nivel con la participación habitual: `G = ln(1 − (s − M)/(1 − M)) / ln(p̃)`, donde s es esa proporción del nivel (60, 67, 75, 83 o 90 %) y p̃ la participación habitual dividida por W. ``` ## Les autres articles, cherchés et laissés @@ -740,7 +916,17 @@ inertie, le cran de départ de Raison d'être, Unicité du compte et Réciprocit le décrivent aussi, F1.1 dirait « dans la toile de confiance », comme F1.2. 11. **Lot T3, l'interface** (hors de ce lot) : `settings.reading` dit encore « le groupe demande sa part de « pour » quand il vote comme d'habitude », sans « au-delà du quorum » pour cette part ; - même imprécision que la phrase de F1.2 et N1.1 reprise ici (fr, en, es). + même imprécision que la phrase de F1.2 et N1.1 reprise ici (fr, en, es). *(Après T3c : l'interface + dit aussi « comme d'habitude » dans `settings.share.note` et `settings.required.usual` ; les textes + votés disent maintenant « à la participation habituelle ». Non touchée, ordre de T3c.)* +12. **Lot T3c, F1.2, « Un vote permanent »** (pour information, hors du champ de T3c) : « Chacun peut + changer ou retirer son vote » et « Une proposition entre en vigueur dès qu'elle atteint son seuil » + ne disent pas la version retenue par une objection (ADR 0010 : on n'y ajoute jamais un « pour », et + elle n'entre pas en vigueur tant que l'objection tient). Règles sans nombre, laissées : à écrire si + tu le veux, par un autre lot. +13. **Lot T3c, F1.1** (pour information) : « G : plus il est grand, plus la part demandée monte quand peu + de gens votent » n'a pas d'effet sur un article dont l'auteur a fixé le quorum à W (la part y est M + à tout G). Cas limite ; F1.1 n'a pas d'amendement, laissé. ## Les chiffres et leur source @@ -773,8 +959,8 @@ Chaque nombre est vérifié par `every_number_of_the_quorum_texts_is_the_engine_ | Propositions seed au cran 2 | F1.2, N1.1 | `seed::SEED_PROPOSAL_LEVEL` ; les versions `seedProposal` du seed, leurs titres dans chaque langue | | Le titre au cran 4, l'ordre de chaque section au cran 2 | F1.2, N1.1 | le seed, `modules.title.inertia`, `modules.order.inertia` | | Tous les autres articles au cran 3 ; rien aux crans 1 et 5 | F1.2, N1.1 | le seed : chaque `inertia` (toutes égales, vérifié) | -| 5 propositions ; 100 votants (deux fois le quorum de référence) | N1.1 | `Participation::MIN_SAMPLE` ; 2 × `voteFloor` (50), un paramètre, écrit avant les bornes : la participation de référence ne vaut 100 votants que sur une toile de 200 à 10 000 membres, les bornes la ramènent ailleurs (`the_reference_turnout_is_a_parameter_the_bounds_bring_back`) | -| Entre 1 % et 50 % | N1.1 | `Participation::LOWEST`, `HIGHEST` | +| 5 propositions ; 100 votants (deux fois le quorum de référence) | N1.1 | `Participation::MIN_SAMPLE` ; 2 × `voteFloor` (50), un paramètre, écrit avant les bornes : la participation de référence ne vaut 100 votants que sur une toile de 200 à 10 000 membres, les bornes la ramènent ailleurs (`the_reference_turnout_is_a_parameter_the_bounds_bring_back`) ; moins de 5 propositions votées dans l'année, la référence (lot T3c : `the_participation_habituelle_is_the_median_brought_back_within_its_bounds`, `tests/inertia.rs` `the_usual_participation_is_the_median_of_five_voted_proposals`) | +| Ramenée entre 1 % et 50 % | N1.1 | `Participation::LOWEST`, `HIGHEST` ; la valeur bornée est la participation habituelle (lot T3c : `the_participation_habituelle_is_the_median_brought_back_within_its_bounds`) | | Depuis un an ; une fois par jour | N1.1 | `participation::WINDOW_DAYS` = 365, `EVERY_HOURS` = 24 | **Lot T3** : les quatre lignes de l'exemple de N1.1 sont ôtées de ce tableau (72, 81, 90, 100 et @@ -796,9 +982,13 @@ Les règles sans chiffre : | Une version passe quand ses « pour » atteignent le seuil arrondi au-dessus | F1.1 | `threshold::passes`, `clamp_ceil` | | La participation habituelle ne dépend pas du quorum d'un article | N1.1 | `inertia::Participation::reference_ratio` (le quorum de référence du document) ; ADR 0013 | | Au départ, aucun article en vigueur | F1.2 | ADR 0011 ; le seed (aucune version `in_force` hors modules) | -| Sous le quorum, autant de « pour » que si le quorum avait voté (lot T3, puis T3b) | N1.1 | `threshold::judged_voters` ; `yes_needed(0)` égale `wot_threshold(W, Q)` ; `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` | -| La part du cran comme d'habitude, au-delà du quorum (lot T3) | F1.2, N1.1 | `inertia::gradient` ; `the_share_of_a_level_as_usual_is_asked_beyond_the_quorum` | -| G donne la part du cran au-delà du quorum, quand le groupe vote comme d'habitude (lot T3b) | N1.1 | `inertia::gradient`, `threshold::judged_voters` ; `g_gives_the_share_of_the_level_beyond_the_quorum_when_the_group_votes_as_usual` | +| Sous le quorum de l'article, autant de « pour » que si ce quorum avait voté (lot T3, puis T3b et T3c) | N1.1 | `threshold::judged_voters` ; `yes_needed(0)` égale `wot_threshold(W, Q)` ; `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` | +| Dans Monnaie libre, un seul « pour » ne passe jamais (lot T3c, sur la grille) | F1.2 | `threshold::passes` ; `under_the_quorum_it_takes_as_many_for_as_if_the_quorum_had_voted` | +| Au-delà du quorum de l'article, la part exigée baisse à chaque votant de plus, jusqu'à M (lot T3c) | N1.1 | `threshold::required_ratio`, `judged_voters` ; `the_share_asked_falls_beyond_the_article_s_quorum_down_to_m` | +| La part du cran à la participation habituelle, au-delà du quorum de l'article (lot T3, puis T3c) | F1.2, N1.1 | `inertia::gradient`, `Participation::of` ; `the_share_of_a_level_is_asked_at_the_usual_turnout_beyond_the_article_s_quorum` | +| G donne la part du cran au-delà du quorum de l'article, à la participation habituelle (lot T3b, puis T3c) | N1.1 | `inertia::gradient`, `threshold::judged_voters` ; `g_gives_the_share_of_the_level_at_the_usual_turnout_beyond_the_article_s_quorum` | +| La participation habituelle ne dépend pas du quorum d'un article (lot T3c, servie) | N1.1 | `docs.rs` (`Participation::of` sur `vote_floor`) ; `tests/quorum.rs` `in_monnaie_libre_a_quorum_holds_two_voices_and_a_ballot_counts_even_pending` | +| Tout nouvel article commence au cran 3 (lot T3c) | F1.2 | `proposals.rs` (`InertiaLevel::DEFAULT`) ; `tests/quorum.rs` `the_author_of_an_article_sets_its_quorum_before_the_first_vote` | | B^W ne compte pas dans la toile (W de 100 à 10 000 000) | F1.1, F1.2 | `wot::PLAUSIBLE` ; `b_to_the_power_w_never_counts_in_the_web_of_trust` | ## Les textes dans le seed