#[non_exhaustive]pub struct RecallResponse {
pub memories: Vec<ScoredMemory>,
pub total: usize,
pub provenance: Option<ReadProvenance>,
pub superseded: Option<Vec<SupersededRecord>>,
pub orientation_cache: Option<RenderedContextMap>,
pub evidence_selection: Option<EvidenceSelectionReport>,
pub retained_evidence: Option<RetentionReport>,
pub reconstruction: Option<ReconstructedBelief>,
}Fields (Non-exhaustive)§
This struct is marked as non-exhaustive
Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.memories: Vec<ScoredMemory>§total: usize§provenance: Option<ReadProvenance>HMAC receipt over the recalled records — present iff the
caller set RecallRequest.with_provenance = Some(true) AND
the engine has a ProvenanceSigner attached.
See crate::provenance.
superseded: Option<Vec<SupersededRecord>>v0.4.7 — older fact-versions dropped by the current-fact
resolver, in newest-superseded → oldest order. Present iff
the caller set
CurrentFactResolverConfig::include_supersession_chain
to true AND the resolver actually dropped any candidates.
orientation_cache: Option<RenderedContextMap>v0.4.8 — bounded, namespace-scoped orientation map rendered
after the recall ran. Present iff the caller set
RecallRequest::orientation_cache AND the engine has an
OrientationCacheStore
attached AND the config did not set include_in_response = false. PEEK-anchored (arXiv:2605.19932).
evidence_selection: Option<EvidenceSelectionReport>v0.4.12 — diagnostics from the cost-aware evidence budget.
Present iff the caller set RecallRequest::evidence_budget.
Reports the scorer used, how many candidates were examined vs
returned, the cumulative sufficiency score, and whether
early-stop / the cap fired. See crate::query::evidence.
retained_evidence: Option<RetentionReport>EMBER (arXiv:2606.05894) — budgeted evidence-retention view.
Present iff the caller set
RecallRequest::retained_token_budget. Carries verbatim
evidence capsules (excerpt + retrieval key) packed under the
requested token cap, ranked by recoverability. Additive: the
memories list above is unchanged. See crate::query::retained.
reconstruction: Option<ReconstructedBelief>v0.5.1 — active-reconstruction belief-state node (MRAgent,
arXiv:2606.06036). Present iff the caller selected the
reconstruct strategy (RetrievalMode::Reconstruct).
Carries a deterministic summary synthesised from the retrieved
candidates plus the linked/causal context gathered by walking the
memory graph. Additive: memories is exactly the top-k the default
hybrid (auto) path returns, so the raw read path is unchanged.
Implementations§
Source§impl RecallResponse
impl RecallResponse
pub fn new(memories: Vec<ScoredMemory>, total: usize) -> Self
Trait Implementations§
Source§impl Clone for RecallResponse
impl Clone for RecallResponse
Source§fn clone(&self) -> RecallResponse
fn clone(&self) -> RecallResponse
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for RecallResponse
impl Debug for RecallResponse
Source§impl<'de> Deserialize<'de> for RecallResponse
impl<'de> Deserialize<'de> for RecallResponse
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Auto Trait Implementations§
impl Freeze for RecallResponse
impl RefUnwindSafe for RecallResponse
impl Send for RecallResponse
impl Sync for RecallResponse
impl Unpin for RecallResponse
impl UnsafeUnpin for RecallResponse
impl UnwindSafe for RecallResponse
Blanket Implementations§
impl<T> Allocation for T
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
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<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
impl<T> Fruit for T
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>
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>
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