PROUVÉ sur snapshot126 sources, 48/48 tests recovery
Le snapshot recovery ferme 126 sources au digest c25ee67a0a9302cf532a546a33c895a3b27dfc6a7121efa1c3ef5ad8b2a27e6f et au digest d’entrées 5c64e87449a54a644cb8cf26c12fc65999c81ab2b3ebee8a01be832153d05902. La suite telephony-backup-restore passe 48/48 tests, dont 42 scénarios hostiles internes; les quatre suites ciblées passent 81/81. Cette preuve porte sur le snapshot et les contrats, pas sur un service en production.
Lire la fiche du lab transactionnel
PROUVÉ localSystemd après deux coupures forcées
Le rapport brut v6 historique utilise une VM QEMU x86_64 émulée et jetable sous PID 1 systemd. Deux arrêts forcés enchaînent verrou persistant, adoption stale, finalizer, reprise synthétique positive, puis refus fail-closed d’un reçu corrompu. Son source-lock archivé reste la provenance exacte de ce rapport; le nouveau snapshot ne le réécrit pas. Les artefacts restent locaux, non signés et non authentifiables sans ancre externe.
Lire la fiche admission et coupure forcée
PROUVÉ par contrats locauxReaper provider borné
Avec une CLI Scaleway factice, un canari déjà expiré doit disparaître avant toute ressource facturable, par un run réussi strictement postérieur, puis rester absent sur trois observations. Le serveur est supprimé sans cascade avant les UUID exacts du groupe de sécurité, du volume et de l’IP. Une course de rattachement est refusée; un GET direct vérifie les UUID mémorisés lorsque les listes sont vides.
Périmètre d’inventaire: l’état vide observe seulement les serveurs, groupes de sécurité, volumes et IP du Project et de la zone sélectionnés. Il ne couvre ni les autres zones ni les autres familles de ressources. Un Project dédié et une fenêtre d’écritures IAM exclusive restent des hypothèses d’exploitation, pas des faits attestés.
Coût et cycle de vie: le plafond de 0,10 EUR couvre seulement le DEV1-M, son IPv4 et son volume de 40 Go; le Job partagé est exclu. Le coût compute court jusqu’à serverDeletedAt; les coûts IPv4 et volume jusqu’à billableAttachmentsAbsentAt. Le workspace temporaire est créé seulement après readiness du reaper et armement du nettoyage persistant, puis supprimé après finalisation et absence attestée des ressources.
Harnais et coupures: tous les NAVY_SCALEWAY_TEST_* sont refusés avant toute commande provider hors du harnais hermétique exact; le catalogue synthétique ne peut pas activer un run réel. Trois arrêts SIGKILL prouvent causalement le maintien du nettoyage aux frontières du workspace.
Décision: la contre-revue ne trouve aucun P0/P1. Un essai Scaleway payant borné est GO seulement sous Node 22.23.2, avec Project et profil dédiés et opérateur local de confiance. P2 ouverts: vérificateur statique lexical et TOCTOU local théorique, même UID, entre hash et exécution. Le même parseur traverse deux pages synthétiques, mais aucune API publique réelle, aucun vrai Job/provider cloud ni perte complète du contrôleur n’a été exécuté. Aucun RPO/RTO réel. Production NO-GO.