Struct NeuroSymbolicSieve 

pub struct NeuroSymbolicSieve { /* private fields */ }

Neuro-symbolic grammar sieve (masks built once from tokenizer + lex — cold path may alloc).

Implementations

impl NeuroSymbolicSieve

pub fn from_lex_and_tokenizer( lex: &Q42LexMmap<'_>, tok: &GgufTokenizer, spec: &SieveLexSpec, ) -> Self

Build masks from a memory-mapped .q42.lex view and GGUF tokenizer (load-time only).

pub fn from_gguf_tokenizer(tok: &GgufTokenizer) -> Self

Tokenizer-only fallback when no .q42.lex sidecar is loaded (dev / tests).

pub fn state(&self) -> SieveState

pub fn is_complete(&self) -> bool

pub fn emitted_len(&self) -> u8

pub fn current_mask(&self) -> &SieveStateMask

pub fn apply_token(&mut self, token_id: u32) -> Result<(), SieveError>

Apply a sieve-selected token and advance the FSM.

pub fn assemble_quin(&self, context_hash: u64) -> NQuin

Assemble the 48-byte NQuin from constrained emissions (stack only).

pub fn masks_ready(&self) -> bool

pub fn resolved_token_triple(&self) -> Option<(u32, u32, u32)>

First resolved token ID per FSM slot (cold-path / test helper).

Trait Implementations

impl Clone for NeuroSymbolicSieve

fn clone(&self) -> NeuroSymbolicSieve

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NeuroSymbolicSieve

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

Formats the value using the given formatter.