Le calcul appartient à un contexte proche
Les systèmes doivent rester utiles sans réseau, compte ou fournisseur requis.
Manifeste / Révision 0.1
Le logiciel devient une infrastructure lorsque les gens peuvent en inspecter les limites, reproduire ses preuves et continuer à en assurer la gestion.
Les systèmes doivent rester utiles sans réseau, compte ou fournisseur requis.
L’exécution passée peut améliorer la récupération et la compréhension lorsqu’elle reste inspectable et délimitée.
Les benchmarks nomment le matériel, la charge de travail, la validation, le protocole et les limitations.
Des contributions ambiguës et des budgets épuisés devraient conduire à des refus plutôt qu’à des suppositions.
Une approche échouée peut empêcher un travail répété et doit rester dans le dossier.
Les accélérations préservent les invariants déclarés numériques, de sécurité et de durabilité.
Les rôles, les décisions, les droits, la sécurité et la succession doivent être lisibles.
Les biens communs durables nécessitent des institutions capables de survivre à n’importe quelle entreprise ou personne.
Les registres de recherche, les enregistrements de décisions, les récépissés de libération, les registres de limites connues et les enregistrements de transfert permettent à une personne extérieure de déterminer l'état des travaux.
Un bien commun est crédible lorsqu’une personne extérieure à son cercle fondateur peut vérifier le projet et gagner de l’autorité en son sein.