Enum SyncClass 

pub enum SyncClass {
    Bounded(u32),
    UnboundedCycle,
    BudgetExceeded,
}

Outcome of the dfa_sync_class synchronization-distance analysis. The three arms are operationally distinct for the caller’s diagnostics: only SyncClass::Bounded is GPU-segmentable, but a SyncClass::UnboundedCycle (the DFA genuinely never re-synchronizes, e.g. a .* body that must remember unbounded context) can NEVER move to GPU, whereas a SyncClass::BudgetExceeded (the analysis hit [PRODUCT_PAIR_BUDGET] before proving bounded/unbounded) MIGHT segment with a larger budget, the catalog builder logs the split so the over-rejection from budget vs. true unbounded memory is never conflated.

Variants

Bounded(u32)

The DFA synchronizes within this many bytes; a warm-up overlap >= d reconstructs the exact full-scan state at emit_start. GPU-segmentable iff d <= overlap.

UnboundedCycle

A cycle of off-diagonal product pairs is reachable: two scans starting at different states never provably converge ⇒ infinite memory ⇒ whole-file.

BudgetExceeded

The reachable product automaton exceeded [PRODUCT_PAIR_BUDGET] before the analysis terminated. Conservatively treated as not-segmentable, but DISTINCT from UnboundedCycle: a larger budget could still prove it bounded. Surfaced separately so the budget can be tuned to the real distribution instead of silently capping recall onto the host path.

Implementations

impl SyncClass

pub const fn bounded(self) -> Option<u32>

The synchronization distance when proven bounded, else None (the legacy dfa_sync_distance contract: UnboundedCycle and BudgetExceeded both collapse to “not provably segmentable”).

Trait Implementations

impl Clone for SyncClass

fn clone(&self) -> SyncClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SyncClass

impl Debug for SyncClass

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

Formats the value using the given formatter.

impl Eq for SyncClass

impl PartialEq for SyncClass

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SyncClass