Enum CommandKind 

#[repr(u8)]
pub enum CommandKind {
    AssertEdge = 0,
    RetireEdge = 1,
    UpsertConcept = 2,
    WriteBulkAtomic = 3,
    RebuildCurrent = 4,
    RegisterModel = 5,
    Shutdown = 6,
    BulkImportChunk = 7,
    WriteConceptsChunk = 8,
    WriteAnalyticsChunk = 9,
    UpsertEmbeddingChunk = 10,
    Archive = 11,
    RebuildFts = 12,
    ShadowRebuild = 13,
}

The command kinds the actor can spend a turn on.

One flat enum across both channels rather than one per channel. The question this exists to answer is “which command broke the budget”, and a reader looking at a 400 ms hold does not first want to know which queue it came off. Priority is a property of scheduling; kind is a property of cost.

Variants

AssertEdge = 0

RetireEdge = 1

UpsertConcept = 2

WriteBulkAtomic = 3

RebuildCurrent = 4

RegisterModel = 5

Shutdown = 6

BulkImportChunk = 7

WriteConceptsChunk = 8

WriteAnalyticsChunk = 9

UpsertEmbeddingChunk = 10

Archive = 11

RebuildFts = 12

ShadowRebuild = 13

One step of a chunked shadow rebuild (T1.2). Its own kind rather than folded into RebuildCurrent, because the two have opposite latency profiles and the whole point of the chunked path is that its turns are short — averaging them together would hide exactly the improvement.

Implementations

impl CommandKind

pub const ALL: &'static [CommandKind]

Every kind, in declaration order. Indexing into the per-kind arrays is by position in this slice, so the two must not drift — which is why the arrays are sized from ALL.len() rather than from a hand-written count.

pub const COUNT: usize

pub const fn index(self) -> usize

pub const fn as_str(self) -> &'static str

pub const fn exempt_from_budget(self) -> bool

Whether this kind is exempt from crate::CHUNK_BUDGET by contract.

The three exemptions are the table in CHUNK_BUDGET’s own rustdoc, and they are carried here so a dashboard can separate “the budget is being broken” from “the budget does not apply and never claimed to”. Counting an archive as a budget violation would make the violation count useless on any database that archives.

CommandKind::ShadowRebuild is deliberately not exempt. Its fill chunks are meant to fit the budget and its swap turn is not going to — the swap rebuilds three indexes under the lock, which is the residual cost T1.2 could not remove. Both facts are worth seeing, and exempting the kind would hide the first to excuse the second.

Trait Implementations

impl Clone for CommandKind

fn clone(&self) -> CommandKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for CommandKind

impl Debug for CommandKind

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

Formats the value using the given formatter.

impl Display for CommandKind

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

Formats the value using the given formatter.

impl Eq for CommandKind

impl Hash for CommandKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for CommandKind

fn cmp(&self, other: &CommandKind) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for CommandKind

fn eq(&self, other: &CommandKind) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl PartialOrd for CommandKind

fn partial_cmp(&self, other: &CommandKind) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for CommandKind