D digitalpolicy.substack.com Compiling law into generative property based tests for gov service 1 points gordonguthrie 3 years ago 1 comments