Struct TailBounds 

pub struct TailBounds {
    pub soft_records: WireU64,
    pub hard_records: WireU64,
    pub soft_bytes: WireU64,
    pub hard_bytes: WireU64,
}

Soft watermark and hard limit of the journal tail, on both axes §12.3 names: canonical input count and bytes.

The hard limit is what makes KernelFaultCode::CheckpointRequired reachable, and reaching it is a retryable, zero-mutation rejection — not the historical overflow latch, which permanently disabled snapshots and all later staged transitions once it tripped.

Both axes exist because either one alone is escapable: a run of many tiny inputs blows the record count long before the byte budget, and a single oversized payload blows the byte budget on one record.

Fields

soft_records: WireU64

hard_records: WireU64

soft_bytes: WireU64

hard_bytes: WireU64

Implementations

impl TailBounds

pub const DEFAULT: Self

The documented default: ~500 records / 4 MiB before the host is asked to checkpoint, and four times that before the next input is refused with a retryable CheckpointRequired.

pub fn new( soft_records: u64, hard_records: u64, soft_bytes: u64, hard_bytes: u64, ) -> Result<Self, KernelFault>

Fail closed on an incoherent bound rather than silently reordering it: a soft watermark above its hard limit would mean “warn after it is already too late”.

Trait Implementations

impl Clone for TailBounds

fn clone(&self) -> TailBounds

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TailBounds

impl Debug for TailBounds

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

Formats the value using the given formatter.

impl Default for TailBounds

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TailBounds

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for TailBounds

impl PartialEq for TailBounds

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for TailBounds

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 TailBounds