Un système de rôles typés associe les besoins d'une tâche aux capacités déclarées. Cette compatibilité ne prouve pas la réussite du worker.
CONCEPT GENOS · INTELLIGENCE COLLECTIVE
Types de workers
dans GenOS.
Un système de rôles typés associe les besoins d'une tâche aux capacités déclarées. Cette compatibilité ne prouve pas la réussite du worker.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Worker w admissible pour t si besoins(t)⊆capacités(w), permissions(w,t)=autoriser et budget suffisant.
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: Types de workers
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Déclarer les besoins de la tâcheENTRÉE
02Associer les capacités du workerMÉCANISME
03Appliquer les contraintes du rôleISSUE SOUS CONDITIONS
Transition en cours · Étape 1Déclarer les besoins de la tâche
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.
Déclarer les besoins de la tâche
Un système de rôles typés associe les besoins d'une tâche aux capacités déclarées. Cette compatibilité ne prouve pas la réussite du worker.
Associer les capacités du worker
Worker w admissible pour t si besoins(t)⊆capacités(w), permissions(w,t)=autoriser et budget suffisant.
Appliquer les contraintes du rôle
Pour Types de workers, 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.
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM 12(10), 576–580
Recherche primaire sur preuve de correction des programmes. Elle éclaire l'analogie avec Types de workers, 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 Types de workers.
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/agents/workerKindService.js ↗Code : backend/src/services/topologyWorkerKindService.js ↗Code : backend/tests/test_worker_native_matrix.js ↗Code : backend/tests/test_worker_native_lifecycle.js ↗Code : backend/tests/test_worker_native_boundaries.js ↗