But even then you’ll have users putting things in the same compartment for convenience, rather than leaving them properly sequestered.
This is a good point; however the isolating code should be much smaller and easier to verify.