Struct StaticExecutor 

pub struct StaticExecutor;

The distinct, allocation-free execution engine for authorized firmware plans. It consumes the exact McuArenaRequirements and executes over caller-owned arenas, growing no collection and touching no allocator. This is the firmware counterpart to the host crate::PlanExecutor; both drive the same canonical AuthorizedPlan to an identity-stable receipt.

Implementations

impl StaticExecutor

pub fn execute<V, K>( plan: &AuthorizedPlan, requirements: &McuArenaRequirements, invocation_id: [u8; 32], arenas: &mut StaticArenas<'_, V>, kernel: &mut K, ) -> Result<StaticReceipt, StaticExecutionError>

where V: Clone + Default, K: StaticKernel<Value = V>,

Execute plan on McuAot over caller-owned arenas.

• values holds one live-buffer slot per plan buffer (value_slots).
• terminals collects unconnected outputs (terminal_slots).
• output_scratch is reused per step (max_step_outputs).
• invocation supplies one value per invocation port (invocation_slots).

All four are sized by AuthorizedPlan::mcu_arena_requirements. The method performs no allocation.