Un jugement collectif peut agréger des évaluations, mais les erreurs corrélées et les incitations faussent une majorité simple. Un vote n'est pas vérité.
CONCEPT GENOS · ORCHESTRATION
Biocénose
dans GenOS.
Un jugement collectif peut agréger des évaluations, mais les erreurs corrélées et les incitations faussent une majorité simple. Un vote n'est pas vérité.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Pour votes binaires b_i, quorum n_valides≥q·n_admissibles ; accepter si Σb_i/n_valides≥τ, avec abstentions déclarées.
Une biocénose est une communauté d'espèces en interaction. GenOS reprend la pluralité pour la revue collective, tandis que les votes restent logiciels.
Ce modèle explique le principe. Son implémentation et ses preuves sont décrites dans la source GenOS versionnée ; l'analogie scientifique ne les valide pas.
SCHÉMA ANIMÉ · MODÈLE INTERACTIF
01 / 03Explorer le mécanisme: Biocénose
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Recueillir des votes indépendantsENTRÉE
02Vérifier quorum et preuvesMÉCANISME
03Agréger la décision qualifiéeISSUE SOUS CONDITIONS
Transition en cours · Étape 1Recueillir des votes indépendants
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
ÉTAPES PROPRES AU CONCEPT
Du signal
au résultat.
Recueillir des votes indépendants
Un jugement collectif peut agréger des évaluations, mais les erreurs corrélées et les incitations faussent une majorité simple. Un vote n'est pas vérité.
Vérifier quorum et preuves
Pour votes binaires b_i, quorum n_valides≥q·n_admissibles ; accepter si Σb_i/n_valides≥τ, avec abstentions déclarées.
Agréger la décision qualifiée
Une biocénose est une communauté d'espèces en interaction. GenOS reprend la pluralité pour la revue collective, tandis que les votes restent logiciels.
RECHERCHE PRIMAIRE · MÉCANISME
Sources et
limites.
Verification of forecasts expressed in terms of probability
Glenn W. Brier · Monthly Weather Review 78, 1–3
Recherche primaire sur évaluation des prévisions probabilistes. Elle éclaire l'analogie avec Biocénose, sans valider l'implémentation GenOS.
Ouvrir la source ↗The Byzantine Generals Problem
Leslie Lamport, Robert Shostak, and Marshall Pease · ACM Transactions on Programming Languages and Systems 4(3), 382–401
Recherche primaire sur accord en présence de participants fautifs. Elle éclaire l'analogie avec Biocénose, sans valider l'implémentation GenOS.
Ouvrir la source ↗Ces références expliquent le mécanisme ou la technologie d'origine ; elles ne constituent pas une preuve de fonctionnement de GenOS.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Biocénose.
Le schéma animé est pédagogique. La fiche source versionnée décrit l'implémentation ; les statuts ci-dessous indiquent sa maturité sans déduire un fonctionnement réel de l'analogie scientifique.
Implémentation : partielIntégration : raccordéePreuve : tests d'intégrationSource GenOS versionnée ↗Code : backend/src/services/biocenoseService.js ↗Code : backend/src/services/biocenose/judgment/promotionGateService.js ↗Code : backend/tests/test_biocenose_runtime.js ↗Code : backend/tests/test_biocenose_consensus_receipt_integration.js ↗Code : docs/06-qualite-preuves/missions-live-biocenose-sqlite-2026-10-04.md ↗Simulation numérique ciblée ↗