Le magasin
Un magasin gouverné, sous le corps d'un monde : du SQLite simple, dans le processus, avec un journal qui ne fait que grandir et une écriture qui est une proposition. Sa charte est ratifiée et ses deux premières couches sont construites.
Six propriétés
- Un journal en ajout seul. Les faits s'ajoutent et ne sont jamais réécrits sur place. L'histoire est la vérité.
- Une chaîne vérifiée à l'ouverture. Chaque entrée scelle la précédente, si bien qu'un magasin altéré le dit quand on l'ouvre.
- Des faits dans le temps. Un fait a un intervalle où il était valide et un intervalle où il a été enregistré, si bien qu'on peut poser une question à une date donnée.
- Une écriture est une proposition. Un changement est proposé et jugé avant d'être admis.
- Une fusion est une décision. Quand deux versions d'un fait se rencontrent, quelqu'un décide, et la décision est gardée.
- Des lentilles. Des façons de voir le même magasin.
Où il en est
en construction La charte a été ratifiée le 2026-09-29. Les deux premiers échelons du magasin sont construits, chacun avec un garde et un frère négatif qui échoue quand la propriété est rompue, et ces gardes sont contrôlés par mutation. Les échelons trois à six sont à venir. Le dépôt est privé pour l'instant. La page du domaine liste ce magasin à côté des autres produits, avec son étape.
Cette page est le chapitre du magasin dans l'histoire du corps d'un monde, et la même phrase que disent les pages agentiques pour les fichiers, une écriture est une proposition, énoncée ici pour les données. Le magasin ne porte pas encore ses propres mesures sur ce site ; ces chiffres viennent de la machine de l'auteur et ne sont pas reproduits tant qu'une exécution des gardes ne peut pas être montrée ici.
Voir le domaine et votre première application.