Struct PreparedProgram 

pub struct PreparedProgram { /* private fields */ }

A [ProgramBlob] lowered to the buffers a ProgramSpec borrows.

ProgramSpec borrows its memory image and overlay list, so something has to own them; that is this type. Build it once, then hand out spec() as often as you like.

Implementations

impl PreparedProgram

pub fn new( blob: &ProgramBlob, endpoint: u8, args: [u64; 4], ) -> Result<Self, PrepareError>

Prepare endpoint of blob for entry with args in φ[7..=10].

Mirrors the cap-path lowering exactly: the whole data extent is materialized flat from DATA_BASE, the read-only region is re-laid as an RoOverlay so guest stores fault, the register file starts from the endpoint’s initial_regs (which the linker seeded with the stack top), and declared_mem_size is the data high-water mark that selects the load/store gas tier.

pub fn spec(&self) -> ProgramSpec<'_>

Borrow the prepared spec, ready for run_program.

pub fn entry_pc(&self) -> u64

Entry PC of the endpoint this was prepared for.