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
Auto Trait Implementations§
impl Forget for AdmissionResult
impl Freeze for AdmissionResult
impl Move 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