sheng 0.1.0

Register-resident refutation sieves for regex. Builds Hartmanis-Stearns SP-quotients of a pattern's automaton small enough to live in a SIMD register, and uses them to prove a document match-free before a real engine ever walks it. Sound by construction: a sieve may pass a non-matching document, never reject a matching one.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
sheng — register-resident refutation sieves for regex
Copyright 2026 The Billy Company

This product includes software developed at The Billy Company
(https://billylives.com/).

No third-party source or data is bundled here. The crate depends on
regex-automata and memchr through the registry, and both keep their own
notices; nothing is vendored into this tree.

The idea and the kernel are not original to this package, and the README
credits them where they are used: the substitution property and its lattice
are Hartmanis & Stearns (1966); the register-resident DFA is Geoff Langdale's
Sheng (2018), which ships in Hyperscan; the enumerative parallelization is
Mytkowicz, Musuvathi & Schulte (ASPLOS 2014); the nibble set classifier is
Wojciech Muła's SIMDized byte lookup (2018), which ships in Hyperscan as
shufti. No code was copied from any of them.