Enum FileCap 

pub enum FileCap {
    Cap(u64),
    OracleCrash(&'static str),
}

The per-file byte cap at the READ stage.

The oracle’s parse_file runs fh.read(cap + 1), which CRASHES the oracle uncaught for huge caps (PORT-CONTRACT decision-3 marker class), with the boundary verified empirically against CPython 3.11:

• cap >= 2^63 - 1 (cap + 1 > sys.maxsize): OverflowError: cannot fit 'int' into an index-sized integer
• 2^63 - 34 <= cap <= 2^63 - 2 (cap + 1 exceeds the bytes-object size limit PY_SSIZE_T_MAX - 33): OverflowError: byte string is too large
• below that, down to roughly the machine’s allocatable memory, the oracle raises MemoryError — an ENVIRONMENT-DEPENDENT crash that cannot be mirrored deterministically and is deliberately NOT mirrored (the Rust engine reads incrementally and never preallocates the cap).

Variants

Cap(u64)

OracleCrash(&'static str)

Every file READ crashes the oracle with this exception line.

Trait Implementations

impl Clone for FileCap

fn clone(&self) -> FileCap

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FileCap

impl Debug for FileCap

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

Formats the value using the given formatter.

impl Eq for FileCap

impl PartialEq for FileCap

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FileCap