Struct ExplanationEvidence 

pub struct ExplanationEvidence {

    pub support: Option<usize>,
    pub support_omitted: bool,
    pub class: EvidenceClass,
    pub ordinal: u32,
    pub outline: OutlineTrail,
    pub block_path: Option<String>,
    pub source: Option<SourceSpan>,
    pub bases: Vec<EvidenceBasis>,
    pub previews: Vec<ExplanationPreview>,
    pub previews_omitted: bool,
    pub entry: Option<ExplanationEntry>,
    pub content: Option<ExplanationContent>,
    pub details_omitted: bool,
    pub match_details_omitted: bool,
    pub name_bindings_omitted: bool,
    pub content_omitted: bool,
}

One independently addressable evidence owner.

Fields

support: Option<usize>

Response-local declaration context; in scope results the pool belongs to this evidence’s document report. This is not an alias edge.

support_omitted: bool

A known declaration context could not fit the copy budget.

class: EvidenceClass

Exclusive category determined before pagination or content copying.

ordinal: u32

Zero-based ordinal before result pagination.

outline: OutlineTrail

Real owner/containing section; prose is never assigned a synthetic entry.

block_path: Option<String>

IR block/item/cell coordinate for ordinary supporting content.

source: Option<SourceSpan>

Original source coordinates, when known.

bases: Vec<EvidenceBasis>

All retained reasons for this owner’s inclusion.

previews: Vec<ExplanationPreview>

At most two representative matched blocks, in their source order.

previews_omitted: bool

A representative match window did not fit the remaining copy budget.

entry: Option<ExplanationEntry>

Semantic metadata, absent for prose or when its copy exceeds the budget.

content: Option<ExplanationContent>

Original owner body, omitted atomically rather than silently clipped. Prose retains only its matched block, never an invented section/entry.

details_omitted: bool

Original forms/facts were too large for the remaining copy budget.

match_details_omitted: bool

Some actual Name/Form records or applicable matched positions were omitted.

name_bindings_omitted: bool

Some ordinary display bindings applicable to returned targets were omitted.

content_omitted: bool

Original body was too large for the remaining copy budget.

Implementations

impl ExplanationEvidence

pub fn source_reference(&self, pool: &[ExplanationSupport]) -> Option<usize>

Validated reference to returned original source, regardless of whether it also carries a declaration-group relationship.

pub fn shared_entry(&self, pool: &[ExplanationSupport]) -> Option<usize>

Validated physical-entry reference, distinct from a group relationship.

pub fn covered_by_support(&self, pool: &[ExplanationSupport]) -> bool

Whether a shared source fragment covers this exact owner and its forms. Invalid references must never hide separately returned metadata.

impl ExplanationEvidence

pub const fn has_omitted_content(&self) -> bool

Whether any selected facts, representative preview or complete body was omitted by the shared copy budget (not ordinary window clipping).

Trait Implementations

impl Clone for ExplanationEvidence

fn clone(&self) -> ExplanationEvidence

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplanationEvidence

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExplanationEvidence

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ExplanationEvidence

impl JsonSchema for ExplanationEvidence

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl PartialEq for ExplanationEvidence

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ExplanationEvidence

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 ExplanationEvidence