Struct MinimumCapabilitySet 

pub struct MinimumCapabilitySet {
    pub witness_log: Option<CapabilityGrant>,
    pub timer: Option<CapabilityGrant>,
    pub self_task: Option<CapabilityGrant>,
    pub syscall_queue: Option<CapabilityGrant>,
}

Minimum capability set for root task after SEC-001 drop.

After Stage 3, the root task should only retain:

• Witness log (write-only for attestation)
• Timer (for scheduling)
• Self capability (for task management)

Fields

witness_log: Option<CapabilityGrant>

Witness log capability (append-only).

timer: Option<CapabilityGrant>

Timer capability.

self_task: Option<CapabilityGrant>

Self task capability.

syscall_queue: Option<CapabilityGrant>

IPC queue for system calls.

Implementations

impl MinimumCapabilitySet

pub fn for_root_task( witness_log_id: u64, timer_id: u64, task_id: u64, syscall_queue_id: u64, ) -> Self

Creates a minimum capability set for the root task.

pub fn count(&self) -> usize

Returns the total number of capabilities in the minimum set.

pub fn is_valid(&self) -> bool

Checks if this set is valid (all required capabilities present).

Trait Implementations

impl Clone for MinimumCapabilitySet

fn clone(&self) -> MinimumCapabilitySet

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MinimumCapabilitySet

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

Formats the value using the given formatter.

impl Default for MinimumCapabilitySet

fn default() -> MinimumCapabilitySet

Returns the “default value” for a type.