Skip to main content

RememberReport

Struct RememberReport 

Source
pub struct RememberReport {
    pub note: String,
    pub created: usize,
    pub matched: usize,
    pub derived: usize,
    pub provisional: Vec<String>,
    pub provisional_capped: Vec<String>,
    pub fulltext_declared: Vec<String>,
    pub same_as: Vec<SameAsPair>,
    pub same_as_lost: Vec<SameAsPair>,
}
Expand description

Everything one remember call writes.

Fields§

§note: String

The note’s key.

§created: usize

Entities this call brought into existence.

§matched: usize

about keys and entities that already existed.

§derived: usize

Derived edges the rules produced for this commit, incident on the note — edges the engine’s rule provenance attributes to a rule, never one this call inserted itself (ABOUT, a fact’s own edge, or a provisional stub have no rule and never count here). memory_defaults() ships with zero rules, so this is 0 against a plain memory store — and it stays 0 with the identity preset applied: its SAME_AS rules link entity labels, never a note, and are reported in same_as instead. This field only moves once a rule exists whose predicate can match the note itself — such as an about_<label> rule ingest-git declared before 0.7, which derives the note’s ABOUT edge (counted here, on the commit that derived it) in place of the insert this call would otherwise make.

§provisional: Vec<String>

about keys and fact endpoints that had to be stubbed, in the order each was first seen (about before facts).

§provisional_capped: Vec<String>

about keys and fact endpoints that would have been stubbed but were refused instead — [MAX_PROVISIONAL_PER_COMMIT] was already spent by the time this call reached them. Neither the node nor any edge naming it exists; everything else in the call still committed. Empty on every call this cap does not bind.

§fulltext_declared: Vec<String>

Entity labels full-text search had never seen before this call, now declared on (label, "name") so recall can reach them — the same self-declare Note.text gets, extended to entities[].label. Empty on every call that named no unseen label, or that found [MAX_FULLTEXT_PAIRS] already spent.

§same_as: Vec<SameAsPair>

SAME_AS claims this call created, between an entity or stub it wrote and any other node — one entry per pair, whichever directions the rules derived. Empty on a store without the identity preset (memory_schema::memory_identity). This is what tells the caller its extraction agreed with something the store already held.

§same_as_lost: Vec<SameAsPair>

SAME_AS claims this call retracted: pairs that linked an entity it wrote before the commit and do not after it, each with the score it had. aliases is recomputed from the key and the current name, so a write that changes a name can take a full-name link below the floor, and so can the first write to a node whose aliases held items its key and name do not imply. Reported so a write that costs an identity says so, rather than only naming what it gained.

Trait Implementations§

Source§

impl Debug for RememberReport

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Default for RememberReport

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl Serialize for RememberReport

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> ArchivePointee for T

Source§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
Source§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> LayoutRaw for T

Source§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
Source§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

Source§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
Source§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
Source§

impl<T> Pointee for T

Source§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.