Module certificate 

Safety certificate — the output of the certification kernel.

Structs

SafetyCertificate

A safety certificate produced by the certification kernel.

SafetyCertificateBuilder

Builder for assembling safety certificates.

Enums

CertificationDecision

Certification decision made by the kernel.

SafetyZone

Domain-agnostic safety zone classification.

Functions

verify_safety_certificate

Verify that a safety certificate’s hash matches its content.