← Tous les concepts
CONCEPT GENOS · INTELLIGENCE COLLECTIVE

Physiologie relationnelle
dans GenOS.

Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.

SCIENCE ET FORMALISATION

Comprendre le
mécanisme.

FONDEMENT SCIENTIFIQUE

Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.

MODÈLE MATHÉMATIQUE OU LOGIQUE

Regrouper les sources dépendantes S en classes C(S). Le nombre de voix effectives est |C(S)|, non |S| ; une indépendance inconnue reste inconnue.

PORTÉE DANS GENOS

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

Explorer le mécanisme: Physiologie relationnelle

Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.

01 / 03
Transition en cours · Étape 1Charger les relations bornées

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.

01

Charger les relations bornées

Les dépendances sociales et causales modifient le nombre de preuves réellement indépendantes. Le noyau encode les relations pour contraindre routage et quorum.

02

Vérifier indépendance et autorité

Regrouper les sources dépendantes S en classes C(S). Le nombre de voix effectives est |C(S)|, non |S| ; une indépendance inconnue reste inconnue.

03

Transmettre un contenu réduit

Pour Physiologie relationnelle, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.

RECHERCHE PRIMAIRE · MÉCANISME

Sources et
limites.

ACCORD EN PRÉSENCE DE PARTICIPANTS FAUTIFS · 1982

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 Physiologie relationnelle, 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 Physiologie relationnelle.

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.