Struct FactObservation 

pub struct FactObservation { /* private fields */ }

A selected boolean observation and bounded source metadata, never a domain object.

Source and revision labels are application assertions, not verified credentials. An observation inherits the tenant/resource scope of its enclosing decision.

Implementations

impl FactObservation

pub fn new( fact: FactId, value: bool, metadata: Option<FactResolutionMetadata>, observed_at: OffsetDateTime, ) -> Result<Self, ObservationError>

Records a bounded fact identity, boolean and optional source provenance.

Errors

Rejects oversized identities and impossible freshness windows.

pub const fn fact(&self) -> &FactId

Stable named check.

pub const fn value(&self) -> bool

Observed boolean, including an explicit negative.

pub const fn metadata(&self) -> Option<&FactResolutionMetadata>

Source-provided metadata; absence makes no provenance claim.

pub const fn observed_at(&self) -> OffsetDateTime

When this check was observed.

pub fn validate_at( &self, now: OffsetDateTime, ) -> Result<(), FactResolutionError>

Checks freshness at enforcement time.

Errors

Rejects future or expired observations.

Trait Implementations

impl Clone for FactObservation

fn clone(&self) -> FactObservation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactObservation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactObservation

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Eq for FactObservation

impl PartialEq for FactObservation

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FactObservation

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 FactObservation