Struct KernelSnapshot 

pub struct KernelSnapshot {
    pub turn: u32,
    pub total_tokens: u64,
    pub tasks: Vec<TcbSnapshot>,
    pub context: ContextSnapshot,
    pub run_spec: Option<String>,
}

Full kernel snapshot.

Fields

turn: u32

total_tokens: u64

tasks: Vec<TcbSnapshot>

context: ContextSnapshot

run_spec: Option<String>

Implementations

impl KernelSnapshot

pub fn from_state( turn: u32, total_tokens: u64, tasks: &TaskTable, context: &ContextSnapshot, run_spec: Option<&AgentRunSpec>, ) -> Self

Create a snapshot from kernel state components.

pub fn run_spec(&self) -> Option<AgentRunSpec>

Convert back to AgentRunSpec if present.

pub fn to_os_process_records(&self) -> Vec<ProcessRecord>

W2-2: Convert to OsSnapshot-compatible process records for verification with rebuild_os_snapshot_from_events. This enables cross-validation between the live state snapshot and the event-log-derived audit view.

pub fn restore_tcb(&self, snapshot: &TcbSnapshot) -> Option<Tcb>

W2-2: Restore TCB from snapshot. Returns None if the snapshot data is invalid.

Trait Implementations

impl Clone for KernelSnapshot

fn clone(&self) -> KernelSnapshot

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KernelSnapshot

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for KernelSnapshot

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for KernelSnapshot

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.