Skip to main content

LowPriCommand

Enum LowPriCommand 

Source
pub enum LowPriCommand {
    WriteConceptsChunk {
        chunk: Vec<ConceptUpsert>,
        responder: Sender<Result<usize>>,
    },
    WriteAnalyticsChunk {
        chunk: Vec<Annotation>,
        responder: Sender<Result<usize>>,
    },
    UpsertEmbeddingChunk {
        model: ModelName,
        chunk: Vec<(String, Vec<f32>)>,
        responder: Sender<Result<usize>>,
    },
    BulkImportChunk {
        chunk: Vec<EdgeAssertion>,
        responder: Sender<Result<usize>>,
    },
    Archive {
        cutoff: String,
        archive_path: PathBuf,
        responder: Sender<Result<ArchiveReport>>,
    },
    RebuildFts {
        responder: Sender<Result<()>>,
    },
    ShadowRebuild {
        step: ShadowStep,
        responder: Sender<Result<ShadowOutcome>>,
    },
}
Expand description

Commands sent to the Write Actor on the low-priority channel (background work).

Variants§

§

WriteConceptsChunk

One chunk of concepts — a ledger write, logged and versioned.

Fields

§responder: Sender<Result<usize>>
§

WriteAnalyticsChunk

One chunk of derived annotations — off-ledger, no log trigger (D-041).

The pair is named apart deliberately: this variant was WriteAnalyticsChunk beside a WriteAnnotationsChunk that carried concepts, which is the crossing D-075 undid.

Fields

§responder: Sender<Result<usize>>
§

UpsertEmbeddingChunk

One chunk of vectors for one model (§5.9, D-048).

Low priority: embedding is bulk derived work and must never preempt an interactive assertion.

Fields

§chunk: Vec<(String, Vec<f32>)>
§responder: Sender<Result<usize>>
§

BulkImportChunk

Fields

§responder: Sender<Result<usize>>
§

Archive

Fields

§cutoff: String
§archive_path: PathBuf
§

RebuildFts

Reconstruct the FTS index from concepts (§5.9, D-036, D-051).

Low priority: it is maintenance on a derivative table, and a search index that is a few seconds stale is a smaller cost than an interactive write that waits behind a full reindex.

Fields

§responder: Sender<Result<()>>
§

ShadowRebuild

One step of a chunked shadow rebuild (§5.8, T1.2, D-082).

Low priority, and one command per step rather than one per rebuild: the whole value of building beside the live table is that the actor returns here between chunks. See Database::rebuild_current_chunked.

Fields

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> 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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> IntoRequest<T> for T

Source§

fn into_request(self) -> Request<T>

Wrap the input message T in a tonic::Request
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Error = Infallible

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

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more