And if not, are there any obvious tough obstacles in the way of making it this detailed?

sure, that's all there. not a lot of magic, these are just clojure.test assertions handled by a reporting function

Thank you 🙂