TENIR Labs · Expérience technique
TENIR/REG — Atelier de diagnostic et de preuve
Sur cette page
EXPÉRIENCE TECHNIQUE · VERSION LOCALE
Autoriser une action ne signifie pas connaître son résultat.
Le TENIR/REG Diagnostic & Evidence Workbench relie choix de configuration, états d’exécution simulés et sources de preuve. Il commence par une question très concrète : un agent a reçu un PASS, mais la confirmation de son action a disparu. Que sait-on réellement ?
PARCOURS EN QUATRE TEMPS
Ce que l’atelier rend vérifiable
Choisir
Comparer quatre axes et sept clauses sur 144 configurations.
Examiner
Lire quatre scénarios fictifs et suivre leurs états.
Remonter
Retrouver les champs, empreintes et liens d’un dossier signé.
Distinguer
Séparer les faits, les inconnues et les prochains contrôles.
ÉVÉNEMENTS ENREGISTRÉS · SIMULATION
Quatre issues, des conséquences différentes
- 01Autorisation
- Une demande recevable peut être envoyée, sans que le verdict confirme son résultat.
- 02Veto
- Une contrainte bloquante empêche l’envoi. Il n’y a pas d’effet fournisseur à inférer.
- 03Attente
- Une observation manque ou expire ; le système doit s’abstenir d’envoyer.
- 04UNKNOWN
- L’appel a été tenté, mais sa confirmation manque. Le rejeu aveugle serait une mauvaise conclusion.
Ce que cela ne démontre pas
Le démonstrateur local n’est pas intégré au site et n’est pas connecté à TENIR-Gov 5.7.0. L’admissibilité structurelle ne démontre pas une garantie effective. Les signatures Ed25519 assurent la cohérence du dossier synthétique relativement à la clé fournie ; elles ne prouvent ni l’identité indépendante du signataire ni un effet fournisseur réel.