Struct ProofResult

Source

pub struct ProofResult {Show 21 fields
    pub reality_exists: bool,
    pub identity_confirmed: bool,
    pub active_boundary_confirmed: bool,
    pub active_law_confirmed: bool,
    pub state_confirmed: bool,
    pub event_received: bool,
    pub event_directly_mutated_state: bool,
    pub law_check_performed: bool,
    pub law_check_result: bool,
    pub transition_recorded: bool,
    pub transition_grounded_in_law_check: bool,
    pub movement_memory_recorded: bool,
    pub inspection_available: bool,
    pub replay_result: bool,
    pub continuity_result: bool,
    pub hidden_state_mutation_detected: bool,
    pub hidden_boundary_growth_detected: bool,
    pub hidden_law_growth_detected: bool,
    pub permission_drift_detected: bool,
    pub hidden_drift_required: bool,
    pub proof_status: bool,
}

Fields§

§reality_exists: bool§identity_confirmed: bool§active_boundary_confirmed: bool§active_law_confirmed: bool§state_confirmed: bool§event_received: bool§event_directly_mutated_state: bool§law_check_performed: bool§law_check_result: bool§transition_recorded: bool§transition_grounded_in_law_check: bool§movement_memory_recorded: bool§inspection_available: bool§replay_result: bool§continuity_result: bool§hidden_state_mutation_detected: bool§hidden_boundary_growth_detected: bool§hidden_law_growth_detected: bool§permission_drift_detected: bool§hidden_drift_required: bool§proof_status: bool

ProofResult

Struct ProofResult Copy item path

Fields§

Trait Implementations§

impl Clone for ProofResult

fn clone(&self) -> ProofResult

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

impl Debug for ProofResult

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

impl<'de> Deserialize<'de> for ProofResult

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

impl Eq for ProofResult

impl PartialEq for ProofResult

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

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

impl Serialize for ProofResult

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

impl StructuralPartialEq for ProofResult

Auto Trait Implementations§

impl Freeze for ProofResult

impl RefUnwindSafe for ProofResult

impl Send for ProofResult

impl Sync for ProofResult

impl Unpin for ProofResult

impl UnsafeUnpin for ProofResult

impl UnwindSafe for ProofResult

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<T> DeserializeOwned for Twhere T: for<'de> Deserialize<'de>,

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Struct ProofResult

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T> ToOwned for T
where T: Clone,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,