Struct KeepsakeRelationTarget 

pub struct KeepsakeRelationTarget {
    pub tenant_id: TenantId,
    pub fact: FactId,
    pub subject: SubjectRef,
    pub relation_id: RelationId,
    pub subject_slot: Option<SubjectSlot>,
}

Resolved keepsake target for a gatekeep fact binding.

Fields

tenant_id: TenantId

Tenant containing the subject and relation.

fact: FactId

Gatekeep fact that maps to this keepsake relation target.

subject: SubjectRef

Keepsake subject used for relation lookups and lifecycle writes.

relation_id: RelationId

Keepsake relation definition id.

subject_slot: Option<SubjectSlot>

Request-scoped subject slot used by this target, when any.

Implementations

impl KeepsakeRelationTarget

pub fn effective_presence( &self, time: ObservationTime, snapshot: &RelationSnapshot, fulfillment: Option<&FulfillmentEvidence>, ) -> Result<Presence, EffectiveFactError>

Resolves effective presence from a current scoped assignment or absence.

The caller owns the observation’s completeness and concurrency provenance: protected writes must retain the database scope lock through commit. A scoped absence is not proof that another transaction cannot apply a relation. Fulfillment evidence must describe this assignment at the supplied time.

Errors

Returns a scope mismatch or unavailable time/lifecycle evidence.

impl KeepsakeRelationTarget

pub fn revoke_by_subject( &self, at: OffsetDateTime, context: CommandContext, ) -> RevokeBySubject

Builds a keepsake revoke-by-subject command for this target.

Trait Implementations

impl Clone for KeepsakeRelationTarget

fn clone(&self) -> KeepsakeRelationTarget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for KeepsakeRelationTarget

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

Formats the value using the given formatter.

impl Eq for KeepsakeRelationTarget

impl PartialEq for KeepsakeRelationTarget

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for KeepsakeRelationTarget