Compiling law into generative property based tests for gov servicedigitalpolicy.substack.com·1 pts·gordonguthrie·1