This website requires JavaScript.
Explore
Help
Sign In
LPK
/
decision
Watch
7
Star
0
Fork
0
forked from
yvv/decision
Code
Pull Requests
Activity
Files
ca0c7294817887b1753bb0e359693b1f79e1e75a
decision
/
crates
/
ld-server
T
History
Yvv
and
Claude Opus 5.5
581f7c3c9e
Lot T3b : N1.1, la phrase de G vraie pour tout W et tout quorum (fr, en, es) — « 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 […], où s est cette part du cran (60, 67, 75, 83 ou 90 %) » ; « il faut autant de « pour » que si le quorum avait voté » en français ; l'amendement 2026-11-03-n1-1-chiffres repris lui-même (to 7f62fd42…, sa raison), F1.2 inchangé ; le _source du seed
...
Co-Authored-By: Claude Opus 5.5 <
noreply@anthropic.com
>
2026-11-03 18:28:50 +01:00
..
migrations
Fusion de chantier/acte-certification (lots H et S) dans le lot V : le tampon et ses états, avec le quorum et les Propositions seed
2026-11-03 05:32:51 +01:00
src
Lot T3b : N1.1, la phrase de G vraie pour tout W et tout quorum (fr, en, es) — « 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 […], où s est cette part du cran (60, 67, 75, 83 ou 90 %) » ; « il faut autant de « pour » que si le quorum avait voté » en français ; l'amendement 2026-11-03-n1-1-chiffres repris lui-même (to 7f62fd42…, sa raison), F1.2 inchangé ; le _source du seed
2026-11-03 18:28:50 +01:00
tests
Lot T3b : les tests d'abord, rouges sur le texte de T3 (
2ce2028
) — la phrase de G de N1.1 vraie pour tout W et tout quorum, sur la grille de « comme d'habitude » (as_usual_grid, partagée avec the_share_of_a_level_as_usual_is_asked_beyond_the_quorum) ; « autant de « pour » » en français ; le test des nombres honnête sur « 100 votants » (un paramètre, 2 × voteFloor ; la participation de référence ne vaut 100 votants qu'entre 200 et 10 000 membres, un test à part)
2026-11-03 18:28:43 +01:00
Cargo.toml
Licence : AGPL-3.0 (choix d'Yvv du 02/11)
2026-11-02 00:40:47 +01:00