Struct ProofCertificate 

pub struct ProofCertificate {
    pub framework: ComplianceFramework,
    pub verified_at: DateTime<Utc>,
    pub toolchain_version: String,
    pub total_requirements: usize,
    pub verified_count: usize,
    pub spec_hash: String,
}

Proof certificate embedding verification metadata

Fields

framework: ComplianceFramework

Framework this certificate is for

verified_at: DateTime<Utc>

Timestamp of verification

toolchain_version: String

TLA+ toolchain version used

total_requirements: usize

Total requirements covered

verified_count: usize

Requirements verified with mechanized proofs

spec_hash: String

Cryptographic hash of the specification

Implementations

impl ProofCertificate

pub fn is_complete(&self) -> bool

Check if all requirements are verified

pub fn verification_percentage(&self) -> f64

Get verification percentage

Trait Implementations

impl Clone for ProofCertificate

fn clone(&self) -> ProofCertificate

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProofCertificate

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofCertificate

fn deserialize<__D>( __deserializer: __D, ) -> Result<ProofCertificate, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofCertificate

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.