Struct BoundedDatabaseValidationStats 

pub struct BoundedDatabaseValidationStats {
    pub structural: BoundedDatabaseStructuralStats,
    pub table_rows_checked: u64,
    pub check_constraint_evaluations: u64,
    pub foreign_key_constraints_checked: u64,
    pub foreign_key_child_rows_checked: u64,
    pub foreign_key_parent_probes: u64,
    pub index_entries_checked: u64,
    pub index_point_probes: u64,
}

Semantic proof counters for a bounded whole-image validation.

Note the shape: this contains the structural proof rather than sitting beside it. A semantic validation is a structural validation plus row, index and foreign-key concordance over the same pinned snapshot, so a caller reads stats.structural.* and stats.table_rows_checked off one value. That containment is also why a structural-only proof can never be substituted here: it has no rows, probes, or constraint counts to report. Deliberately not Default: a zero-valued proof is indistinguishable from a real validation of an empty image, so there is no such thing as a default one. Stats exist only as the return value of a completed validation.

Fields

structural: BoundedDatabaseStructuralStats

Exact structural ownership proof for the same pinned image.

table_rows_checked: u64

Ordinary ROWID table rows recomputed for index concordance.

check_constraint_evaluations: u64

Persisted CHECK expressions evaluated against inflated table rows.

foreign_key_constraints_checked: u64

Declared foreign-key constraints fully checked in the pinned snapshot.

foreign_key_child_rows_checked: u64

Child rows streamed while checking declared foreign keys.

foreign_key_parent_probes: u64

Direct parent ROWID or UNIQUE-index probes made for non-NULL child keys.

index_entries_checked: u64

Persisted index entries scanned for ordering, uniqueness, and counts.

index_point_probes: u64

Exact full-key index probes made from recomputed table rows.

Trait Implementations

impl Clone for BoundedDatabaseValidationStats

fn clone(&self) -> BoundedDatabaseValidationStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BoundedDatabaseValidationStats

impl Debug for BoundedDatabaseValidationStats

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

Formats the value using the given formatter.

impl Eq for BoundedDatabaseValidationStats

impl PartialEq for BoundedDatabaseValidationStats

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BoundedDatabaseValidationStats