Enum LayoutVerdict 

pub enum LayoutVerdict {
    Disjoint,
    Overlap {
        func_visible_linmem_base: u32,
        linmem_bytes: u32,
        globals_base: u32,
        overlap_bytes: u32,
    },
}

The verdict of the self-contained linmem↔globals disjointness geometry gate (validate_linmem_globals_disjoint, VCR-VER-003 / #761).

Variants

Disjoint

The globals table sits entirely at or above the function-visible linear memory page ceiling — the two regions cannot alias.

Overlap

The globals table base falls INSIDE the function-visible linmem page: a store to the overlapping tail of the page would alias a global slot (or vice versa) — a silent wrong-value miscompile.

Fields

func_visible_linmem_base: u32

The base the compiled functions address linear memory at (optimized_linmem_base, = R11 + 0x100 under the #687 contract).

linmem_bytes: u32

The size of the function-visible linear-memory page in bytes (initial_pages * 64 KiB).

globals_base: u32

The absolute base the startup points R9 at (the globals table).

overlap_bytes: u32

How many bytes the two regions overlap by (the tail of the page that aliases the table).

Trait Implementations

impl Clone for LayoutVerdict

fn clone(&self) -> LayoutVerdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LayoutVerdict

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

Formats the value using the given formatter.

impl Eq for LayoutVerdict

impl PartialEq for LayoutVerdict

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for LayoutVerdict