pub struct SemanticTaskGoalWitness {
pub semantic_root: Identity256,
pub authority_root: Identity256,
pub mandatory_links_root: Identity256,
pub constraints_root: Identity256,
pub mandatory_link_count: u64,
pub constraint_count: u64,
}Expand description
Native seal of the independently validated goal authority carried by the controller. The semantic root is the exact XLOG root inspected for the task; the remaining roots bind the complete mandatory dependency and constraint closures. These values are derived by the trusted controller after its closure checks, never supplied by the model-update consumer.
Fields§
§semantic_root: Identity256§mandatory_links_root: Identity256§constraints_root: Identity256§mandatory_link_count: u64§constraint_count: u64Trait Implementations§
Source§impl Clone for SemanticTaskGoalWitness
impl Clone for SemanticTaskGoalWitness
Source§fn clone(&self) -> SemanticTaskGoalWitness
fn clone(&self) -> SemanticTaskGoalWitness
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreimpl Copy for SemanticTaskGoalWitness
Source§impl Debug for SemanticTaskGoalWitness
impl Debug for SemanticTaskGoalWitness
impl Eq for SemanticTaskGoalWitness
Source§impl PartialEq for SemanticTaskGoalWitness
impl PartialEq for SemanticTaskGoalWitness
impl StructuralPartialEq for SemanticTaskGoalWitness
Auto Trait Implementations§
impl Freeze for SemanticTaskGoalWitness
impl RefUnwindSafe for SemanticTaskGoalWitness
impl Send for SemanticTaskGoalWitness
impl Sync for SemanticTaskGoalWitness
impl Unpin for SemanticTaskGoalWitness
impl UnsafeUnpin for SemanticTaskGoalWitness
impl UnwindSafe for SemanticTaskGoalWitness
Blanket Implementations§
impl<T> Allocation for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more