Struct BoundedDatabaseStructuralStats 

pub struct BoundedDatabaseStructuralStats {
    pub database_pages: u32,
    pub structural_pages_visited: u64,
    pub ownership_spool_bytes: u64,
    pub ownership_scan_window_bytes: usize,
    pub maximum_record_bytes: usize,
}

Proof counters from a bounded whole-image structural validation.

Every field is evidence that the proof ran within fixed resident memory: ownership_spool_bytes is exactly one byte per database page and ownership_scan_window_bytes is the fixed window used to scan that spool, neither of which grows with database size.

Fields

database_pages: u32

Database pages declared by the validated main-file image.

structural_pages_visited: u64

B-tree, overflow, freelist, and pointer-map pages claimed by the walk.

ownership_spool_bytes: u64

Anonymous on-disk ownership bytes (exactly one byte per database page).

ownership_scan_window_bytes: usize

Fixed resident window used to scan the ownership spool for orphans.

maximum_record_bytes: usize

Hard maximum record payload accepted by this bounded validator.

Trait Implementations

impl Clone for BoundedDatabaseStructuralStats

fn clone(&self) -> BoundedDatabaseStructuralStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BoundedDatabaseStructuralStats

impl Debug for BoundedDatabaseStructuralStats

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

Formats the value using the given formatter.

impl Default for BoundedDatabaseStructuralStats

fn default() -> BoundedDatabaseStructuralStats

Returns the “default value” for a type.

impl Eq for BoundedDatabaseStructuralStats

impl PartialEq for BoundedDatabaseStructuralStats

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BoundedDatabaseStructuralStats