For the most part, and for Android users, b is achievable : https://signal.org/blog/reproducible-android/