Documentation
Documentation et parcours de lecture
Un point d’entrée dans les questions documentées du Lab : calcul, requêtes, données, sessions, cryptographie et consensus.
Ressources.
Documentation, essais et repères d’exploitation.
Le Lab
Ressources techniques
Documentation, outils et essais publics.
Éléments de preuve
Preuves, modèles et conditions de vérification
Un parcours pour relier une propriété à son modèle, à ses conditions de vérification et aux limites de la conclusion.
Essai natif
GL-C Studio : une fonction et ses entrées
Un essai de compilation et d’exécution de fonctions GL-C, avec entrées Bool ou Int, résultat et artefacts du rapport.
Essai natif
GLAP : admission, refus et rejeu
Trois scénarios publics suivent une lecture admise, une écriture refusée et le rejet d’un paquet rejoué.
Essai natif
BraidCell : suivre un accord local
Des scénarios locaux relient les événements, les votes et les certificats à la finalisation ou au refus observé.
Guide d’évaluation
Cadrer une intégration et ses critères d’acceptation
Un guide pour définir une opération, ses responsabilités, ses résultats attendus et ses cas de refus avant l’intégration.
Guide d’évaluation
Exploitation : autorité, état conservé et reprise
Un guide de lecture des responsabilités et des conditions d’installation, de mise à jour et de récupération à examiner pour un usage.