Struct ChildCompleted 

pub struct ChildCompleted {
    pub task_id: TaskId,
    pub attempt_id: AttemptId,
    pub result: ChildResult,
    pub parent_requests: Vec<SyscallRequest>,
}

A child task attempt finished.

parent_requests is the only legal child→parent request channel: the requests enter P1 with ChildAttempt causation inside this same transition. GAP-4: the completion itself is a fact and commits unconditionally, while each request is adjudicated independently — a denied request produces a structured rejection observation and changes neither the completion nor its siblings.

Fields

task_id: TaskId

attempt_id: AttemptId

result: ChildResult

parent_requests: Vec<SyscallRequest>

Trait Implementations

impl Clone for ChildCompleted

fn clone(&self) -> ChildCompleted

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChildCompleted

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChildCompleted

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ChildCompleted

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ChildCompleted

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 ChildCompleted