Struct ReaderRegion 

pub struct ReaderRegion<M> { /* private fields */ }

Mapping-lifetime owner that can mint acquire-only capabilities.

Implementations

impl<M: ReadOnlyMapping> ReaderRegion<M>

pub fn new( mapping: M, layout: ValidatedRegionLayout, topology: RegionSetLayout, ) -> Result<Self, BindingError>

Consumes a platform-minted read-only witness.

pub fn slot(&self, slot: u32) -> Result<ReaderSlot<'_>, BindingError>

Binds one checked slot without exposing shared bytes.

pub fn copy_payload( &self, slot: u32, expected_sequence: u64, ) -> Result<Vec<u8>, BindingError>

Copies one bounded hostile payload and rechecks its publication metadata.

Same-sequence malicious mutation can still produce torn bytes; the returned owned buffer must be decoded as hostile input.

pub fn acknowledgement( &self, target: RoleId, slot: u32, ) -> Result<AcknowledgementReader<'_>, BindingError>

Binds one checked acknowledgement route without exposing shared bytes.