Une expérience contrôlée isole les changements candidats. L'isolement améliore l'attribution, mais dépendances communes et biais d'évaluation subsistent.
Espaces de travail contrefactuels
dans GenOS.
Une expérience contrôlée isole les changements candidats. L'isolement améliore l'attribution, mais dépendances communes et biais d'évaluation subsistent.
Comprendre le
mécanisme.
Comparer Δ_i=Y(candidat_i)−Y(témoin) sous mêmes entrées et budgets ; l'interprétation causale exige un changement déclaré unique.
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.
Explorer le mécanisme: Espaces de travail contrefactuels
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
La transition modélisée peut avancer. Modifiez l'hypothèse et parcourez les étapes pour examiner la décision.
Du signal
au résultat.
Créer des candidats isolés
Une expérience contrôlée isole les changements candidats. L'isolement améliore l'attribution, mais dépendances communes et biais d'évaluation subsistent.
Exécuter des sondes comparables
Comparer Δ_i=Y(candidat_i)−Y(témoin) sous mêmes entrées et budgets ; l'interprétation causale exige un changement déclaré unique.
Comparer les résultats contrôlés
Pour Espaces de travail contrefactuels, cette issue découle du modèle ci-dessus seulement si ses hypothèses et le contrôle de résultat sont satisfaits.
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 Espaces de travail contrefactuels, 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.
Vérifier la portée de Espaces de travail contrefactuels.
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.