Struct SchemaLoweringProfile 

pub struct SchemaLoweringProfile {

    pub id: SchemaLoweringProfileId,
    pub fingerprint_domain: FingerprintDomain,
    pub canonicalization: CanonicalizationVersion,
    pub semantic_profile: SemanticProfileId,
    pub provider: String,
    pub provider_version: String,
    pub transactional_schema_queries: bool,
    pub required_capabilities: CapabilitySet,
    pub interface_defaults: Vec<InterfaceDefault>,
    pub fact_rules: Vec<FactTransitionRule>,
    pub annotation_rules: Vec<AnnotationTransitionRule>,
    pub safety_rules: Vec<SafetyScenarioRule>,
    pub evidence: Vec<EvidenceFlag>,
}

Frozen, fingerprinted registry for lowering schema deltas to one provider.

Fields

id: SchemaLoweringProfileId

Stable profile identifier.

fingerprint_domain: FingerprintDomain

Domain used to fingerprint canonical profile bytes.

canonicalization: CanonicalizationVersion

Canonicalization identity used for profile bytes.

semantic_profile: SemanticProfileId

Schema semantic profile accepted by this lowering profile.

provider: String

Provider family name.

provider_version: String

Exact measured provider version.

transactional_schema_queries: bool

Whether schema statements execute transactionally.

required_capabilities: CapabilitySet

Capabilities required to execute every supported rule.

interface_defaults: Vec<InterfaceDefault>

Provider defaults for schema interfaces.

fact_rules: Vec<FactTransitionRule>

Closed fact-transition rule table.

annotation_rules: Vec<AnnotationTransitionRule>

Closed annotation-transition rule table.

safety_rules: Vec<SafetyScenarioRule>

Closed semantic safety rule table.

evidence: Vec<EvidenceFlag>

Measured provider evidence bound by the profile.

Implementations

impl SchemaLoweringProfile

pub fn fact_rule( &self, fact: FactKind, transition: FactTransition, ) -> Option<&TransitionRule>

Return the rule for an exact fact transition, when registered.

pub fn annotation_rule( &self, subject: AnnotationSubjectKind, annotation: AnnotationKind, transition: AnnotationTransition, ) -> Option<&TransitionRule>

Return the rule for an exact annotation transition, when registered.

pub fn safety_rule( &self, scenario: SafetyScenario, ) -> Option<&SafetyScenarioRule>

Return the safety rule for an exact semantic scenario.

Trait Implementations

impl Clone for SchemaLoweringProfile

fn clone(&self) -> SchemaLoweringProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SchemaLoweringProfile

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

Formats the value using the given formatter.

impl Eq for SchemaLoweringProfile

impl PartialEq for SchemaLoweringProfile

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SchemaLoweringProfile

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 SchemaLoweringProfile