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
cc24e6f487b1d2e9d9505fe99928d57217c9698f
decision
/
crates
/
ld-server
T
History
Yvv
and
Claude Opus 5.5
aba86200c6
Lot T3 : N1.1 et F1.2 sans chiffre daté, chaque phrase vraie pour tout W et tout quorum (fr, en, es) — l'exemple de N1.1 retiré ; « sous le quorum, les votants qui manquent comptent comme « non », et il faut autant de voix pour que si le quorum avait voté » ; la part du cran « comme d'habitude » au-delà du quorum (N1.1, F1.2) ; F1.1 laissé ; amendements gardés 2026-11-03-f1-2-chiffres et -n1-1-chiffres qui suivent ceux de T2 (dépassés) ; le _source du seed le dit
...
Co-Authored-By: Claude Opus 5.5 <
noreply@anthropic.com
>
2026-11-03 17:27:30 +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 T3 : N1.1 et F1.2 sans chiffre daté, chaque phrase vraie pour tout W et tout quorum (fr, en, es) — l'exemple de N1.1 retiré ; « sous le quorum, les votants qui manquent comptent comme « non », et il faut autant de voix pour que si le quorum avait voté » ; la part du cran « comme d'habitude » au-delà du quorum (N1.1, F1.2) ; F1.1 laissé ; amendements gardés 2026-11-03-f1-2-chiffres et -n1-1-chiffres qui suivent ceux de T2 (dépassés) ; le _source du seed le dit
2026-11-03 17:27:30 +01:00
tests
Lot T3 : les tests d'abord, rouges sur les textes de T2 (aucun chiffre daté : l'exemple de N1.1 fait échouer le test des nombres ; la phrase du quorum de N1.1 vraie pour tout quorum, sur une grille de W, de quorums, de crans et de participations ; « comme d'habitude » au-delà du quorum seulement ; B^W ne compte jamais dans la toile ; l'amendement gardé qui suit celui de T2) ; textes de T2 gardés dans tests/fixtures/seed-quorum-t2.json ; wot::PLAUSIBLE public
2026-11-03 17:22:37 +01:00
Cargo.toml
Licence : AGPL-3.0 (choix d'Yvv du 02/11)
2026-11-02 00:40:47 +01:00