Property-based testing for compliance logic

When you can't see the reference corpus, you derive the tests from the regulation itself. How property-based testing makes a rules engine trustworthy on inputs you never hand-wrote.