Struct Limits 

pub struct Limits {
    pub max_input_bytes: u64,
    pub max_output_bytes: u64,
    pub max_block_bytes: u32,
    pub max_payload_bytes: u32,
    pub max_model_bytes: u32,
    pub max_blocks: u64,
    pub max_trace_symbols: u64,
    pub max_oracle_output_bytes: u64,
    pub oracle_timeout: Duration,
}

Central resource limits.

Fields

max_input_bytes: u64

Maximum input bytes to read.

max_output_bytes: u64

Maximum output bytes to produce.

max_block_bytes: u32

Maximum bytes per uncompressed block.

max_payload_bytes: u32

Maximum bytes per compressed payload.

max_model_bytes: u32

Maximum bytes per model encoding.

max_blocks: u64

Maximum number of blocks.

max_trace_symbols: u64

Maximum trace symbols to emit.

max_oracle_output_bytes: u64

Maximum bytes to capture from oracle output.

oracle_timeout: Duration

Maximum wall-clock time for oracle execution.

Implementations

impl Limits

pub fn check_block_size(&self, size: u32) -> Result<(), AppError>

Check that a block’s declared uncompressed length is within limits.

pub fn check_payload_size(&self, size: u32) -> Result<(), AppError>

Check that a block’s declared payload length is within limits.

pub fn check_model_size(&self, size: u32) -> Result<(), AppError>

Check that a model length is within limits.

pub fn check_block_count(&self, count: u64) -> Result<(), AppError>

Check that the block count does not exceed the limit.

pub fn check_output_total( &self, current: u64, additional: u64, ) -> Result<u64, AppError>

Check that adding additional to current output does not exceed the limit. Uses checked arithmetic.

pub fn parse_size(s: &str) -> Result<u64, String>

Parse a human-readable size string (e.g., “1MiB”, “64KiB”, “1024”). Supports: KiB, MiB, GiB (1024-based). No suffix = bytes.

Trait Implementations

impl Clone for Limits

fn clone(&self) -> Limits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Limits

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

Formats the value using the given formatter.

impl Default for Limits

fn default() -> Self

Returns the “default value” for a type.