Struct ContextProofV2 

pub struct ContextProofV2 {
    pub proof_version: String,
    pub run_id: String,
    pub created_at: String,
    pub lean_ctx_version: String,
    pub session_id: Option<String>,
    pub quality_level: QualityLevel,
    pub claims: Vec<Claim>,
    pub summary: ProofSummary,
}

Fields

proof_version: String

run_id: String

created_at: String

lean_ctx_version: String

session_id: Option<String>

quality_level: QualityLevel

claims: Vec<Claim>

summary: ProofSummary

Implementations

impl ContextProofV2

pub fn new(run_id: String, session_id: Option<String>) -> Self

pub fn add_claim(&mut self, claim: Claim)

pub fn recompute(&mut self)

Trait Implementations

impl Clone for ContextProofV2

fn clone(&self) -> ContextProofV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextProofV2

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ContextProofV2

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ContextProofV2

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

where __S: Serializer,

Serialize this value into the given Serde serializer.