Struct ProvenClaim 

pub struct ProvenClaim {
    pub name: String,
    pub verified: bool,
    pub finite_bound: Option<String>,
    pub certificate: Option<TheoremCertificate>,
}

A theorem/axiom claim handed to the inventory by the prove path. Kept tiny so the CLI’s Outcome/prove report can map onto it without a dependency cycle.

Fields

name: String

verified: bool

True when the proof engine kernel-certified it.

finite_bound: Option<String>

The disclosed finite bound when the theorem was checked over a bounded (finite) domain rather than proved unrestricted — None for an unbounded kernel proof.

certificate: Option<TheoremCertificate>

The independently re-checkable proof certificate — the kernel proof term, the goal it proves, and the theorem’s disclosed premises — present ONLY for a genuine unbounded kernel proof. None for an unproved theorem, a finite-enumeration (bounded) theorem, or any surface that does not yet expose a kernel term. An axiom/assumption NEVER carries one.

Trait Implementations

impl Clone for ProvenClaim

fn clone(&self) -> ProvenClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvenClaim

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

Formats the value using the given formatter.