Struct InProcessKernelAssist 

pub struct InProcessKernelAssist { /* private fields */ }

In-process, in-memory KernelAssist impl. State lives in plain HashMaps. Used by Stage 3’s tests and as a runnable default before jar-kernel-v3 lands its σ-backed implementation.

Per spec §22, kernel-internal state is reset per block (the kernel is stateless across blocks). This impl persists across Vm invocations; the chain orchestrator that owns the Vm is responsible for the block-boundary reset (see reset_block_state).

Implementations

impl InProcessKernelAssist

pub fn new() -> Self

pub fn reset_block_state(&mut self)

Reset all kernel-assisted state. The chain orchestrator calls this at block end per the v3 design (kernel is stateless across blocks).

pub fn register_file(&mut self, file_id: u64, data: CapHashOrRef)

Register a FileId → cache reference mapping. host_open of the file_id returns the cache reference. Useful when seeding fixtures.

Trait Implementations

impl Debug for InProcessKernelAssist

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

Formats the value using the given formatter.

impl Default for InProcessKernelAssist

fn default() -> Self

Returns the “default value” for a type.

impl KernelAssist for InProcessKernelAssist

fn gas_meter_get(&self, meter_id: MeterId) -> u64

Read the remaining gas for meter_id. Missing entry → 0.

fn gas_meter_set(&mut self, meter_id: MeterId, value: u64) -> u64

Atomically GasMeter[meter_id] := value; return previous value (or 0 if no entry existed).

fn storage_quota_get(&self, quota_id: QuotaId) -> u64

fn storage_quota_set(&mut self, quota_id: QuotaId, value: u64) -> u64

fn yield_catcher_markers(&self, catcher_hash: CapHash) -> Vec<CapHash>

Read the marker list for a YieldCatcher instance identified by catcher_hash. Order matters: routing walks the list and takes the first match.

fn yield_catcher_add( &mut self, catcher_hash: CapHash, marker_instance_hash: CapHash, )

Add a marker template to the catcher’s list.

fn yield_catcher_remove( &mut self, catcher_hash: CapHash, marker_instance_hash: CapHash, )

Remove a marker template. No-op if absent.

fn yield_catcher_new(&mut self) -> CapHash

Mint a fresh empty YieldCatcher. Returns its content hash (which the caller stores as a Cap::Instance[YieldCatcher]).

fn host_open(&mut self, file_id: u64) -> Option<CapHashOrRef>

Materialize a σ-resident file as a cache reference (typically a CapHashOrRef::Hash of a published Cap::Data). None if the file_id isn’t registered.

fn host_save( &mut self, data: CapHashOrRef, quota_id: u64, size: u64, ) -> Option<u64>

Mint a new file from the cache reference data after debiting quota_id by the resolved DataCap size. Returns the new file_id. Default returns None (no file registry).