Struct InitialContext 

pub struct InitialContext {
    pub messages: Vec<LogicalMessage>,
    pub knowledge: Vec<KnowledgeEntry>,
    pub capabilities: Vec<CapabilityGrant>,
    pub requested_capabilities: Vec<Capability>,
}

What the kernel needs to start thinking, and nothing else (§7.4).

Explicitly not here: session logs, provider replay envelopes, host paths. Those are host storage concerns; a kernel that accepted them would be persisting facts it cannot reproduce.

Fields

messages: Vec<LogicalMessage>

knowledge: Vec<KnowledgeEntry>

capabilities: Vec<CapabilityGrant>

requested_capabilities: Vec<Capability>

spc_009-04: the operation root’s own fine-grained Capability set (resource/actions/ constraints/lease) — distinct from capabilities above, which is the coarse kind/id allowlist CapabilityGrant predates this field with. The two do not merge: CapabilityGrant cannot be mechanically converted into a Capability (an allowed id implies nothing about what actions should be granted), so a Host that wants root to hold real delegatable authority must declare it here explicitly.

Trait Implementations

impl Clone for InitialContext

fn clone(&self) -> InitialContext

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InitialContext

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

Formats the value using the given formatter.

impl Default for InitialContext

fn default() -> InitialContext

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for InitialContext

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for InitialContext

fn eq(&self, other: &InitialContext) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for InitialContext

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for InitialContext