Oh, that's a very different set of requirements than I was thinking, and I missed that context even though you did mention database testing at one point. You're

Oh, that's a very different set of requirements than I was thinking, and I missed that context even though you did mention database testing at one point. You're right, property-based testing is less helpful in that situation, because your database may contain legacy data that your current application code must be able to read but also shouldn't be able to write.