The device unlock pin isn't directly used for encryption. It only needs to be strong enough to stop people from manually guessing it from the lock screen.

Yeah the current problem is both systems and data usually use the same password. If they separate it out you could boot and check the system without data. Or in this case repair mode could temporarily ensure the data volume uses a different password.