Struct SigmaKernelAssist 

pub struct SigmaKernelAssist { /* private fields */ }

σ-aware KernelAssist. Owns only ephemeral per-block kernel state.

Implementations

impl SigmaKernelAssist

pub fn new() -> Self

pub fn reset_block_state(&mut self)

Reset per-block ephemeral tables. Called at the start of each block apply.

pub fn seed_root_gas(&mut self, budget: u64)

Seed the root gas meter (meter_id 0) with the chain’s block-wide gas budget.

pub fn seed_root_quota(&mut self, budget: u64)

Seed the root storage quota (quota_id 0).

Trait Implementations

impl Default for SigmaKernelAssist

fn default() -> Self

Returns the “default value” for a type.

impl KernelAssist for SigmaKernelAssist

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).