Show HN: SyncKit – TLA+ verified CRDT for local-first apps (zero unsafe Rust)