Struct ProofGraph 

pub struct ProofGraph {
    pub schema_version: String,
    pub contract_id: Uuid,
    pub evidence: BTreeMap<Uuid, Evidence>,
    pub links: Vec<EvidenceLink>,
    pub final_workspace_generation: Option<u64>,
    pub final_state_binding: Option<String>,
    pub termination: Option<ProofTermination>,
}

Evidence nodes and their links to contract criteria.

Fields

schema_version: String

Graph schema version.

contract_id: Uuid

Contract this graph evaluates.

evidence: BTreeMap<Uuid, Evidence>

Evidence keyed for deterministic serialization.

links: Vec<EvidenceLink>

Directed evidence-to-criterion edges.

final_workspace_generation: Option<u64>

Final workspace generation against which fresh evidence is evaluated.

final_state_binding: Option<String>

Canonical digest or other binding for the final workspace state.

termination: Option<ProofTermination>

Runtime terminal state that prevents normal completion evaluation.

Implementations

impl ProofGraph

pub fn new(contract_id: Uuid) -> Self

Creates an empty graph for a contract.

pub fn bind_final_workspace( &mut self, generation: u64, state_binding: Option<String>, )

Sets the final workspace state used by freshness requirements.

pub fn block(&mut self, reason: impl Into<String>)

Records a policy, authorization, or external dependency blocker.

pub fn cancel(&mut self, reason: impl Into<String>)

Records user or client cancellation.

pub fn record(&mut self, evidence: Evidence) -> Uuid

Adds evidence and returns its identifier.

pub fn link( &mut self, contract: &TaskContract, evidence_id: Uuid, criterion_id: impl Into<String>, rationale: Option<String>, ) -> Result<(), ProofError>

Links existing evidence to an existing criterion.

pub fn evaluate_detailed( &self, contract: &mut TaskContract, ) -> Result<ProofEvaluation, ProofError>

Recomputes every non-waived criterion and returns detailed derivation data.

pub fn evaluate( &self, contract: &mut TaskContract, ) -> Result<RunOutcome, ProofError>

Recomputes every non-waived criterion and returns the overall outcome.

Trait Implementations

impl Clone for ProofGraph

fn clone(&self) -> ProofGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProofGraph

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofGraph

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ProofGraph

fn eq(&self, other: &ProofGraph) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ProofGraph

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProofGraph