Struct ClaimsLedger 

pub struct ClaimsLedger {
    pub claims: Vec<Claim>,
    /* private fields */
}

The claims ledger — persistable via to_json / from_json, like the calibration store.

Fields

claims: Vec<Claim>

All claims (pending, validated, falsified).

Implementations

impl ClaimsLedger

pub fn new() -> Self

Create an empty ledger.

pub fn record( &mut self, statement: &str, domain: &str, source_date: i64, predicted_outcome: &str, confidence: f64, falsification_criteria: &str, ) -> Claim

Record a new pending claim.

Returns the stored claim. The falsification criterion is mandatory — a claim that cannot be falsified is not a claim.

pub fn resolve( &mut self, claim_id: &str, validated: bool, event: &str, event_date: i64, source: Option<String>, ) -> Result<Claim, String>

Resolve a claim against a validation event.

validated: true marks the claim validated and credits points equal to the verified lead time in weeks. validated: false marks it falsified — recorded as a miss, which is part of the track record.

pub fn status(&self) -> Value

Aggregate ledger status: totals, score, average lead, falsified count.

pub fn list( &self, domain: Option<&str>, status: Option<ClaimStatus>, ) -> Vec<Claim>

List claims, optionally filtered by domain and status.

pub fn calibration(&self) -> ClaimCalibration

Calibration report over resolved (validated + falsified) claims with statutory default k.

pub fn calibration_with_k(&self, k: f64) -> ClaimCalibration

Calibration report over resolved (validated + falsified) claims with custom empirical-Bayes prior strength k.

pub fn calibrated_confidence(&self, raw: f64) -> f64

Empirical-Bayes calibrated confidence for a raw confidence with statutory default k.

Shrinks the raw confidence toward the observed hit rate, weighted by resolved sample size (w = n/(n + k)). Identity when nothing is resolved — the record is never edited, only re-read through the lens of its own track record.

pub fn calibrated_confidence_with_k(&self, raw: f64, k: f64) -> f64

Empirical-Bayes calibrated confidence with custom prior sample weight k.

pub fn to_json(&self) -> Value

Serialize to JSON for persistence.

pub fn from_json(&mut self, value: &Value) -> Result<(), String>

Restore from persisted JSON.

Trait Implementations

impl Clone for ClaimsLedger

fn clone(&self) -> ClaimsLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClaimsLedger

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

Formats the value using the given formatter.

impl Default for ClaimsLedger

fn default() -> ClaimsLedger

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ClaimsLedger

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ClaimsLedger

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

where __S: Serializer,

Serialize this value into the given Serde serializer.