Struct RequiredSafetyCondition 

pub struct RequiredSafetyCondition { /* private fields */ }

One exact verifier-derived requirement bound to its transition and profiles.

Implementations

impl RequiredSafetyCondition

pub const fn id(&self) -> &SafetyConditionId

Return the stable canonical condition identity.

pub const fn operation_index(&self) -> u32

Return the operation ordinal that produced this requirement.

pub const fn policy(&self) -> SafetyClass

Return the original eight-class policy; guards never rewrite it.

pub const fn condition(&self) -> &SafetyCondition

Return the closed derived condition.

pub const fn source_declared_identity(&self) -> &DeclaredIdentityFingerprint

Return the exact source declaration identity.

pub const fn target_declared_identity(&self) -> &DeclaredIdentityFingerprint

Return the exact target declaration identity.

pub const fn semantic_profile(&self) -> &SemanticProfileBinding

Return the exact semantic-profile binding used by the verifier.

pub const fn lowering_profile(&self) -> &SchemaLoweringProfileBinding

Return the exact lowering-profile binding used by the verifier.

pub fn resolves_conditional_requirement(&self) -> bool

Return whether this assertion can resolve a Conditional requirement.

pub fn canonical_identity_bytes(&self) -> Result<Vec<u8>, Diagnostic>

Encode identity material without the self-referential identity field.

pub fn canonical_bytes(&self) -> Result<Vec<u8>, Diagnostic>

Encode the complete trusted condition as canonical JSON.

Trait Implementations

impl Clone for RequiredSafetyCondition

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RequiredSafetyCondition

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

Formats the value using the given formatter.

impl Eq for RequiredSafetyCondition

impl PartialEq for RequiredSafetyCondition

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RequiredSafetyCondition

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 RequiredSafetyCondition