Une messagerie fiable distingue persistance, traitement et accusé de réception. Une livraison au moins une fois peut produire des doublons.
CONCEPT GENOS · INTELLIGENCE COLLECTIVE
Plan de signalisation sans texte
dans GenOS.
Une messagerie fiable distingue persistance, traitement et accusé de réception. Une livraison au moins une fois peut produire des doublons.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Automate attente→bail→ACK ou reprise. Après k échecs, délai d_k=min(d_max,d_0·2^k), puis quarantaine à la borne fixée.
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: Plan de signalisation sans texte
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Persister le signal adresséENTRÉE
02Livrer ou escaladerMÉCANISME
03Accuser réception ou réessayerISSUE SOUS CONDITIONS
Transition en cours · Étape 1Persister le signal adressé
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.
Persister le signal adressé
Une messagerie fiable distingue persistance, traitement et accusé de réception. Une livraison au moins une fois peut produire des doublons.
Livrer ou escalader
Automate attente→bail→ACK ou reprise. Après k échecs, délai d_k=min(d_max,d_0·2^k), puis quarantaine à la borne fixée.
Accuser réception ou réessayer
Pour Plan de signalisation sans texte, 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.
Time, Clocks, and the Ordering of Events in a Distributed System
Leslie Lamport · Communications of the ACM 21(7), 558–565
Recherche primaire sur ordre causal dans les systèmes distribués. Elle éclaire l'analogie avec Plan de signalisation sans texte, 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.
GUIDE EXPLICATIF
Zéro prompt inutile : comment ?
Le principe est de réserver le raisonnement par modèle aux cas qui le nécessitent. Un signal courant peut être validé, acheminé et traité par une règle déterministe, sans conversation entre modèles.
1. Événement typé2. Contrôle + regroupement3. Récepteur compatible ?4. Action directe ou examen d'une escalade
Exemple : aucun appel LLM pour traiter le signal
Un composant publie un signal typé DEPLOY_READY. Un récepteur déjà configuré reconnaît le type et déclenche l'action autorisée. La lecture, le routage et ce déclenchement ne demandent aucun prompt au modèle.
Quand un modèle peut intervenir
Si aucun récepteur ne peut agir, le signal peut être soumis à un contrôle d'utilité avant de créer une tâche cognitive. Et une action wake_worker peut lancer ensuite une mission qui utilise un modèle. Zéro prompt pour le traitement du signal ne signifie donc pas zéro modèle dans toute la mission.
Le signal transporte une indication, pas une preuve finale : réception, compréhension, action et vérification sont des étapes distinctes.
IMPLÉMENTATION ET PREUVES
Vérifier la portée de Plan de signalisation sans texte.
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 ↗