Static analysis and verification for BoltFFI generated bindings
Shared Rust runtime for Syncular SQLite-backed native and browser clients.