Bevis og sertifikater
En tydelig påstand. En etterprøvbar logg.
En tydelig påstand. En etterprøvbar logg.
Følg objektet, metoden og historikken bak et modell-, inferens- eller simuleringssertifikat.
Bevisutforsker
Følg én beslutning
Hva ble brukt? Hva skjedde?
Hold objektet, inndataene, modellens utdata og policyhandlingen samlet. Åpne registreringen for å se omfanget av dette eksempelet.
- inspection-model-v3
- RUN-0142
- Ikke utført
Et resultat du kan undersøke.
- Objekt
- RUN-0142
- Modellreferanse
- inspection-model-v3
- Inndatareferanse
- FRAME-0018
- Observerte utdata
- hindring oppdaget
- Policyhandling
- stoppkommando gitt
- Fysisk respons
- utenfor dette eksempelet
En lesbar registrering kobler sammen kontekst og utfall. At den finnes, sertifiserer ikke i seg selv at noe er korrekt.
Undersøk registreringen
Dette konkrete eksempelet kobler sammen ett sett modellinndata, utdata og én policykommando. Fysisk tilbakemelding og kryptografisk verifisering ligger utenfor dette testoppsettet.