Le contrôle de version conserve un historique et des branches immuables. Appliqué à un agent, il ne permet de rejouer que l'état inclus dans la frontière enregistrée.
CONCEPT GENOS · INTELLIGENCE COLLECTIVE
AgentGit
dans GenOS.
Le contrôle de version conserve un historique et des branches immuables. Appliqué à un agent, il ne permet de rejouer que l'état inclus dans la frontière enregistrée.
SCIENCE ET FORMALISATION
Comprendre le
mécanisme.
Commit c=(parent, empreinte d'état, métadonnées). La fusion M(c1,c2) résout les conflits et conserve la provenance.
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: AgentGit
Un modèle pédagogique qualitatif de ce concept. Il n'exécute pas GenOS et ne valide pas son implémentation.
01Versionner l'état agentENTRÉE
02Brancher et comparerMÉCANISME
03Rejouer ou fusionner avec preuvesISSUE SOUS CONDITIONS
Transition en cours · Étape 1Versionner l'état agent
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.
Versionner l'état agent
Le contrôle de version conserve un historique et des branches immuables. Appliqué à un agent, il ne permet de rejouer que l'état inclus dans la frontière enregistrée.
Brancher et comparer
Commit c=(parent, empreinte d'état, métadonnées). La fusion M(c1,c2) résout les conflits et conserve la provenance.
Rejouer ou fusionner avec preuves
Pour AgentGit, 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 AgentGit, sans valider l'implémentation GenOS.
Ouvrir la source ↗The source code control system
Marc J. Rochkind · IEEE Transactions on Software Engineering SE-1(4), 364–370
Recherche primaire sur historique versionné du code source. Elle éclaire l'analogie avec AgentGit, 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 AgentGit.
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/agentGitService/index.js ↗Code : backend/src/services/agentGitService/gitOperations.js ↗Code : backend/tests/test_agent_git_sqlite_e2e.js ↗Code : backend/tests/test_agent_git_invariants_p0.js ↗