pub enum AdmissionResult {
Stored(Option<Contradiction>),
Merged {
category: String,
key: String,
confirmations: u32,
value: String,
},
RejectedLowSalience {
salience: u32,
floor: u32,
},
}Expand description
Outcome of a write-time admission decision (#970), returned by
ProjectKnowledge::remember_admitted. It is the difference between “the agent
asked to store X” and “what lean-ctx actually persisted”.
Variants§
Stored(Option<Contradiction>)
Inserted / confirmed / superseded the normal way; carries any contradiction the write resolved.
Merged
The value was a near-duplicate of an existing same-category fact under a different key and was merged into it (a confirmation bump) instead of growing the store. Carries the target’s identity, its new confirmation count, and the value finally kept.
RejectedLowSalience
Content salience was below the configured floor; nothing was written.
Trait Implementations§
Source§impl Clone for AdmissionResult
impl Clone for AdmissionResult
Source§fn clone(&self) -> AdmissionResult
fn clone(&self) -> AdmissionResult
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl Freeze for AdmissionResult
impl RefUnwindSafe for AdmissionResult
impl Send for AdmissionResult
impl Sync for AdmissionResult
impl Unpin for AdmissionResult
impl UnsafeUnpin for AdmissionResult
impl UnwindSafe for AdmissionResult
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<A, B, T> HttpServerConnExec<A, B> for Twhere
B: Body,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more