Preuves et certificats
Une affirmation claire. Un enregistrement inspectable.
Une affirmation claire. Un enregistrement inspectable.
Suivez le sujet, la méthode et l'historique d'un certificat de modèle, d'inférence ou de simulation.
Explorateur de preuves
Suivre une décision
Qu'est-ce qui a été utilisé ? Que s'est-il passé ?
Gardez ensemble le sujet, l'entrée, la sortie du modèle et l'action de politique. Ouvrez l'enregistrement pour voir le périmètre de cet exemple.
- inspection-model-v3
- RUN-0142
- Non effectuée
Un résultat que vous pouvez examiner.
- Sujet
- RUN-0142
- Référence du modèle
- inspection-model-v3
- Référence d'entrée
- FRAME-0018
- Sortie observée
- obstruction détectée
- Action de politique
- commande d'arrêt émise
- Réponse physique
- hors de cet exemple
Un enregistrement lisible relie le contexte et le résultat. Sa seule présence ne certifie pas l'exactitude.
Examiner l'enregistrement
Cet exemple détaillé relie une entrée de modèle, une sortie et une commande de politique. Le retour physique et la vérification cryptographique sont hors du champ de ce jeu d'essai.