We ended up digging into test.check. Here's the summary: https://github.com/orgs/madclj/discussions/39#discussioncomment-16092176