1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
//! DAFSA storage stack: compact, queryable, on-disk representation
//! of large sequence sets.
//!
//! Three layers, each adding a concern on top of the previous one:
//!
//! - [`core::Dafsa`] -- the minimum-state DAFSA itself. Builds from a
//! strictly-sorted sequence iterator via [`core::Dafsa::from_seqs`]
//! (streaming-friendly: only the active path plus the register of
//! finalized states are held in memory during construction). Query
//! surface: `contains`, `get(i)`, `iter`, `walk_prefix`. JSON and
//! gzipped-JSON round-trip via [`core::Dafsa::write_json`] /
//! [`core::Dafsa::read_json`].
//!
//! - [`rat::RatDafsa`] -- a `Dafsa` wrapper specialised for "rats"
//! (canonical cyclotomic angle sequences from `rat_enum`). Stores
//! each rat with a leading length-prefix byte so the natural lex
//! traversal yields rats in `(length asc, lex asc)` order, which is
//! the assigned-index ordering [`rat::RatDafsa::get`] and
//! [`rat::RatDafsa::index_of`] expose. Wraps the public-facing JSON
//! read/write in the format discriminator `tilezz-rat-dafsa`.
//!
//! - [`lazy`] -- block-based, lazy-loadable variant of [`rat::RatDafsa`]
//! for environments that can't (or shouldn't) materialise the whole
//! automaton up front. The asset is a manifest plus N gzipped block
//! files; the reader fetches one block on each cache miss.
//! [`lazy::LazyRatDafsa`] is the synchronous reader (callback-based
//! fetcher, used by tests and any sync consumer). [`lazy::LazyRatDafsaAsync`]
//! is the async cousin that mirrors the query surface for WASM /
//! async-Rust callers; both share the same on-disk format.
//!
//! # Format discriminator strings
//!
//! - `tilezz-dafsa` -- single-file [`core::Dafsa`] JSON
//! - `tilezz-rat-dafsa` -- single-file [`rat::RatDafsa`] JSON
//! - `tilezz-rat-dafsa-blocks` -- block manifest for the lazy readers
pub use Dafsa;
pub use ;
pub use RatDafsa;
pub use ;