The verdict, as a pure function of values already read from the chain.
Split out for the same reason every other evaluator is: the decision is the part worth testing
exhaustively, and as a pure function it can be, chain free, across the whole gap rather than
only the amounts a fork happens to produce.
The verdict, as a pure function of values already read from the chain.
Split out for the same reason every other evaluator is: the decision is the part worth testing exhaustively, and as a pure function it can be, chain free, across the whole gap rather than only the amounts a fork happens to produce.