>>239
9とか10で、それぞれ10種類ぐらいビルドしてrom捜しした自分の理解だと、
Pinについては
Android9: pin入力のみで解除
Android10:pin入力後、エンター押したら解除
なんだけど。

ちなみにMi9のデバイスリポジトリは
https://github.com/search?q=device_xiaomi_cepheus&;type=Repositories