Module neuro_symbolic_sieve 

Grammar-constrained FSM sieve for neuro-symbolic LLM output (zero-heap hot path).

Structs

NeuroSymbolicSieve

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

SieveLexSpec

Stack-only IRI hash lists for dynamic .q42.lex mask population (cold path).

SieveSlot

One lexicon-bound token slot in a state mask.

SieveStateMask

Stack mask: linear scan during chunked argmax (no HashMap / Vec).

Enums

SieveError

Sieve exhausted: no allowed token had finite logit mass.

SieveState

FSM states for Subject → Predicate → Object graph emission.

Constants

MAX_SIEVE_ALLOW

Max allowed token IDs per FSM state (stack-only mask).