Pilier
Dépôts Git natifs
Le serveur Git de DevKosher parle le protocole v2 parce qu’il l’a écrit. Il n’y a pas de binaire amont dans le chemin critique.

Forge souveraine
DevKosher n’assemble pas des logiciels tiers derrière un thème. Il implémente les protocoles : le serveur Git parle le protocole v2 parce qu’il l’a écrit, le registre parle l’OCI Distribution v1.1 parce qu’il l’a écrit.
Les seules grandeurs publiées sur ce site sont celles qui ont été mesurées. Elles portent leur date. Aucune n’est arrondie pour faire joli, aucune n’est projetée.
2 704
projets
103
groupes
115,42 Gio
de dépôts
28,64 Gio
de grands fichiers (LFS)
69,02 Gio
de paquets
Un seul modèle de données, un seul modèle d’autorisation, une seule horloge. L’utilisateur voit une plateforme, et l’opérateur en exploite une.
Pilier
Le serveur Git de DevKosher parle le protocole v2 parce qu’il l’a écrit. Il n’y a pas de binaire amont dans le chemin critique.
Pilier
Un moteur de graphe et un ordonnanceur propres. Pas de greffon, pas de passerelle vers un exécuteur tiers.
Pilier
Un registre d’images qui parle l’OCI Distribution v1.1, et sept dépôts de paquets qui parlent chacun leur protocole.
Pilier
La chaîne devient vérifiable de bout en bout parce que la plateforme tient les deux extrémités.
Une brique est native si et seulement si la plateforme sait servir le protocole avec le processus tiers arrêté, si une épreuve de conformité exécute un client de référence non modifié — git, oras, npm, docker — contre notre implémentation, et si le verdict de cette épreuve est une quantité dérivée. Une brique qui échoue à l’un des trois points est une intégration, et se déclare comme telle.
Une surface DevKosher distingue trois situations et les affiche différemment : peuplé, vide — le registre a été lu et ne contient rien — et injoignable, déclaré avec son motif et l’heure de la mesure. Un registre injoignable ne se remplace jamais par un exemple.