Struct ResourceLimits 

pub struct ResourceLimits {
    pub max_source_size_bytes: usize,
    pub max_expression_depth: usize,
    pub max_expression_count: usize,
    pub max_data_value_bytes: usize,
    pub max_loaded_bytes: usize,
    pub max_sources: usize,
    pub max_normalized_expression_nodes: usize,
    pub max_spec_dependency_depth: usize,
    pub max_dag_specs: usize,
    pub max_normal_form_depth: usize,
}

Limits to prevent abuse and enable predictable resource usage

These limits protect against malicious inputs while being generous enough for all legitimate use cases.

Fields

max_source_size_bytes: usize

Maximum size of one loaded source text in bytes. Real usage: ~5KB, Limit: 5MB (1000x)

max_expression_depth: usize

Maximum expression nesting depth Real usage: ~3 levels, Limit: 7. Deeper logic via rule composition.

max_expression_count: usize

Maximum expression nodes per source (parser-level) Quick-reject for pathological single sources.

max_data_value_bytes: usize

Maximum size of a single data value in bytes Real usage: ~100 bytes, Limit: 1KB (10x) Enables server pre-allocation for zero-allocation evaluation

max_loaded_bytes: usize

Maximum total bytes to load in one batch (and/or in-memory size of loaded specs)

max_sources: usize

Maximum number of sources in one load batch (e.g. after expanding paths on disk)

max_normalized_expression_nodes: usize

Maximum unique normal-form cells reachable from one rule root in the shared graph after normalize. Bounds planning work and shipped table size. Default: 30,000.

max_spec_dependency_depth: usize

Maximum depth of the spec dependency chain (uses imports) from the root spec. Bounds recursion in dependency discovery and graph building. Real usage: ~3 levels, Limit: 32 (10x).

max_dag_specs: usize

Maximum number of specs in one dependency DAG (the root spec plus all transitive dependencies). Bounds per-plan memory and planning work.

max_normal_form_depth: usize

Maximum nesting depth of a rule’s normalized NormalForm DAG (leaves = depth 1). The evaluator walks recursively, so planning must guarantee no rule root can overflow the stack at run time. Lemma’s runtime does not return errors — this limit is the guarantee.

Trait Implementations

impl Clone for ResourceLimits

fn clone(&self) -> ResourceLimits

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResourceLimits

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

Formats the value using the given formatter.

impl Default for ResourceLimits

fn default() -> Self

Returns the “default value” for a type.

impl Serialize for ResourceLimits

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

where __S: Serializer,

Serialize this value into the given Serde serializer.