This follows up on Mainframes, Monads, and Stack Machines.

Short version of that post: we model computation as a small stack machine whose

programs are assembled in Dhall, executed by the Scala JVM, and orchestrated as

Spring Batch steps under Pekko actor supervision.

This post is about what happens when you want to verify that computation