Struct GuestProfileEvidence 

pub struct GuestProfileEvidence {
    pub profile: Symbol,
    pub reader: Symbol,
    pub lowering: Symbol,
    pub eval_policy: Symbol,
    pub organs: Vec<Symbol>,
    pub capabilities: Vec<CapabilityName>,
    pub gaps: Vec<Symbol>,
}

Complete, checked evidence for the boundary owned by a guest profile.

This projection deliberately keeps syntax, lowering, evaluation, shared organs, authority, and known gaps separate. A profile cannot use an attractive fidelity badge as a substitute for declaring any of them.

Fields

profile: Symbol

Profile whose evidence was checked.

reader: Symbol

Reader/codec owned by the guest crate.

lowering: Symbol

Surface-to-Expr lowering owned by the guest crate.

eval_policy: Symbol

Evaluation policy configured by the guest crate.

organs: Vec<Symbol>

Shared runtime organs used by the profile.

capabilities: Vec<CapabilityName>

Capabilities required by the profile.

gaps: Vec<Symbol>

Explicitly unsupported language surfaces.

Trait Implementations

impl Clone for GuestProfileEvidence

fn clone(&self) -> GuestProfileEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GuestProfileEvidence

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

Formats the value using the given formatter.

impl Eq for GuestProfileEvidence

impl PartialEq for GuestProfileEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for GuestProfileEvidence