I wrote a little on this same topic, automating away compliance with evidence, back in 2018 [1]. Some might find it interesting.

[1] "A Universal Lemma For Compliance" https://blog.eutopian.io/a-universal-lemma-for-compliance/