Struct Presentation 

pub struct Presentation {
    pub antigen_type: String,
    pub file: PathBuf,
    pub line: usize,
    pub item_kind: String,
    pub item_target: ItemTarget,
    pub match_kind: MatchKind,
    pub canonical_path: Option<String>,
    pub inherited_from: Option<Vec<ProvenanceEntry>>,
    pub structural_fingerprint: String,
    pub requires_predicate: Option<String>,
    pub proof: Option<String>,
}

A #[presents(antigen_type)] declaration or synthetic fingerprint match discovered in source.

Fields

antigen_type: String

The antigen type referenced (last path segment, e.g., PanickingInDrop).

file: PathBuf

Source file path.

line: usize

Line number.

item_kind: String

Item kind that was annotated (impl, fn, struct, etc.).

item_target: ItemTarget

Item identity for structural matching against Immunity. W3.

match_kind: MatchKind

How this presentation was discovered: explicit marker vs fingerprint match. W6a. Defaults to ExplicitMarker for backwards compatibility with serialized reports from before W6a.

canonical_path: Option<String>

Canonical declaration site of the antigen referenced by this presentation (not the presentation’s own location). ADR-017. None for intra-workspace antigens; Some("<crate>@<version>") for cross-crate antigens (set by the --include-deps driver after scanning the dependency crate root).

inherited_from: Option<Vec<ProvenanceEntry>>

Provenance chain of ancestor antigens this presentation was inherited from. ADR-018 (propagation semantics).

• None = direct presentation (explicit marker or fingerprint match).
• Some(chain) = synthesized via the propagation walk; the chain names every transitive ancestor antigen whose presentation propagated here (set-union across diamond paths). Empty Vec inside Some is forbidden — normalised to None at construction.

Audit emits a warn-level diagnostic for presentations with inherited_from = Some(_) that lack a re-attested immunity or tolerance on the descendant site (state 7 of the 7-state matrix).

structural_fingerprint: String

FNV-1a structural digest of the presented item at scan time. Populated for FingerprintMatch presentations; empty string for ExplicitMarker presentations and inherited presentations where the ancestor was an explicit marker. Allows adopters to pass this value directly to attest scaffold --fingerprint without needing an #[immune] marker first (DX finding 6).

requires_predicate: Option<String>

Substrate-witness predicate JSON folded onto the presents-site via #[presents(X, requires = <predicate>)] (ADR-029 R5 — the substrate-tier migration target for #[immune(requires=...)]). Some only when the presents-site carries site-attached substrate evidence. The audit evaluates this against .attest/ sidecars to grade the immune-state verdict.

#[serde(default)] so pre-ADR-029 reports deserialize cleanly.

proof: Option<String>

Phantom-type proof expression folded onto the presents-site via #[presents(X, proof = <expr>)] (ADR-029 R5 — the phantom-tier migration target for #[immune(witness = <phantom>)]), rendered as its token string (e.g. NonPanickingProof :: < T > :: verified). The audit recognizes the phantom shape structurally and grades FormalProof.

#[serde(default)] so pre-ADR-029 reports deserialize cleanly.

Trait Implementations

impl Clone for Presentation

fn clone(&self) -> Presentation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Presentation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Presentation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Presentation

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

where __S: Serializer,

Serialize this value into the given Serde serializer.