Struct FalsificationClaim 

pub struct FalsificationClaim {
    pub id: String,
    pub feature: String,
    pub criteria: Vec<FalsificationCriterion>,
    pub criteria_hash: u64,
    pub timestamp: SystemTime,
    pub claimant: String,
    pub version: String,
    pub evidence: Vec<String>,
}

Developer’s claim that falsification passed

Fields

id: String

Claim ID

feature: String

Feature or component being claimed

criteria: Vec<FalsificationCriterion>

F-criteria that were tested

criteria_hash: u64

Hash of all criteria for integrity

timestamp: SystemTime

Timestamp of claim

claimant: String

Developer making the claim

version: String

Version of the software

evidence: Vec<String>

Evidence supporting the claim (test results, logs)

Implementations

impl FalsificationClaim

pub fn new(id: &str, feature: &str, claimant: &str, version: &str) -> Self

Create a new claim

pub fn add_criterion(&mut self, criterion: FalsificationCriterion)

Add a criterion to the claim

pub fn add_evidence(&mut self, evidence: &str)

Add evidence to the claim

pub fn verify_hash(&self) -> bool

Verify the criteria hash matches

pub fn is_valid(&self) -> bool

Check if claim is valid (has required fields)

Trait Implementations

impl Clone for FalsificationClaim

fn clone(&self) -> FalsificationClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FalsificationClaim

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

Formats the value using the given formatter.