Signal Box — the payoff
Everything you just saw (the oracle, the five types, the enumeration, the counts) is one pure PureScript core with no foreign code in it. The error-repelling surface you watched contract therefore compiles to anything PureScript compiles to.
And that PureScript code can compile and run on at least the following runtimes, integrating with the native languages of those runtimes:
This page recomputes the full audit, all five rungs and 93,900 states, in your browser right now. It renders the same plain-text report the terminal harness prints and hashes it. It then fetches the checked-in reports from the other runtimes and hashes those too, client-side. The agreement costs no seeds and no emulation layer: algebraic data types mean the same thing on each runtime, and the hashes show it.
The greyed rows mark backends that exist without columns yet; each will land as a receipt file and a hash. A disagreeing hash would be useful news, since the same matrix doubles as a differential conformance test of the backends themselves.