Struct FactProvenance 

pub struct FactProvenance {
    pub fact_name: &'static str,
    pub key: String,
    pub outcome: FactOutcome,
    pub detail: Option<String>,
}

A record that a policy consulted a fact while reaching its decision.

Fact-backed policies (such as crate::RebacPolicy) attach one of these per fact lookup to their PolicyEvalResult::Granted or PolicyEvalResult::Denied node, so a decision’s inputs are explained alongside its outcome. Provenance is intentionally type-erased — a fact name, a rendered key, an outcome, and optional detail — rather than the typed crate::FactKey, so it lives on the non-generic result tree and is straightforward to log.

Operational fact-load telemetry (latencies, batch fan-out, cache hits) is a separate concern surfaced through tracing spans (gatehouse.fact_load); this type is for per-decision explanation.

Fields

fact_name: &'static str

The crate::FactKey::NAME of the consulted fact (e.g. "relationship").

key: String

A human-readable rendering of the fact key that was looked up.

outcome: FactOutcome

How the load resolved.

detail: Option<String>

Optional extra detail, such as the backend error message when outcome is FactOutcome::Error.

Implementations

impl FactProvenance

pub fn new( fact_name: &'static str, key: impl Into<String>, outcome: FactOutcome, detail: Option<String>, ) -> Self

Records a consulted fact.

Trait Implementations

impl Clone for FactProvenance

fn clone(&self) -> FactProvenance

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactProvenance

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

Formats the value using the given formatter.

impl Display for FactProvenance

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

Formats the value using the given formatter.

impl Eq for FactProvenance

impl PartialEq for FactProvenance

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for FactProvenance