TENIR-Gov v5.7.0
Source exacte : 47ef67e3efc5f3008896a7d88bebf929fa0a98f0
PARCOURS CRÉDIBILITÉ · TENIR-GOV 5.7.0
Voir ce qui fonctionne. Comprendre ce qui reste à prouver.
Une architecture peut être séduisante. Une preuve doit être vérifiable. Explorez les mécanismes de TENIR-Gov 5.7.0, les tests publiés, une reproduction externe rapportée et les limites des déploiements actuels.
Version 5.7.0 · Source datée du 24 octobre 2026
Périmètre de validationCode de référence Validation de la version publiée Reproduction externe rapportée
5.7.0Preuve de publication
1 2861 286 tests réussis
81 / 8181 tests Raft réussis
1 hostUn périmètre explicite
1 286 PASS
La suite complète de la release a réussi dans GitHub Actions sur Python 3.12/Ubuntu. Les 81 tests Raft sont inclus dans le total, et non ajoutés.
Inspecter les tests de la release ↗Harv Banning · 81/81
Harv Banning a rapporté une exécution indépendante de 81 tests sur macOS, à partir du même SHA, sans modification du code. La première tentative avait rencontré 61 erreurs de configuration dues à une dépendance manquante ; la seconde a réussi après installation.
Résultat rapporté par e-mail le 26 octobre 2026 et corroboré par un extrait pytest communiqué. Le journal brut et son empreinte n’ont pas été revérifiés ici.
Durée totale des 81 tests (rapportée) : 282,08 s
macOS 26.6.2 · Python 3.12.7 · pytest 8.4.2 · PySyncObj 0.3.17
SHA-256 du journal (communiqué, non revérifié) : 0e0cbafda8c90735bf277d783d69ce91df36c5abcad26ac81de4a2d82fe7ff03
Ce que le produit sait faire — dans son périmètre
Contrôle local de l’exécution
Décisions déterministes, contrôle des limites avant action, rattachement du contenu autorisé et comptabilité budgétaire locale par SQLite WAL.
Traiter l’incertitude
Un résultat externe inconnu reste UNKNOWN. HOLD et la réconciliation empêchent de traiter le silence comme une preuve d’échec.
Conserver des traces examinables
Décisions, états et éléments de preuve peuvent être enregistrés et reliés au déploiement — sans prétendre que le journal confirme à lui seul la réalité externe.
Ce que ces preuves ne permettent pas d’affirmer
- Pas de production Raft multi-hôtes en 5.7.0 (FM-20 ouvert).
- Pas de garantie exactement une fois chez un fournisseur externe.
- Pas de certification réglementaire ou de preuve de tolérance de panne inter-hôtes.
- Pas de garantie générale de performance, de disponibilité ou de garde humaine indépendante.
INTERACTIVE ARCHITECTURE · 5.7.0
Explorez l’architecture interactive
Le schéma conserve les cinq niveaux, les signaux, les noyaux, le cycle de vie, les preuves et trois simulations. Le contenu a été actualisé pour la version 5.7.0 ; les animations restent des simulations, sans connexion au runtime.
Et maintenant ?
Découvrir votre propre parcours
Répondez à dix questions et obtenez votre rapport de parcours gratuit, avec trois prochaines étapes adaptées à vos réponses.