It is! But you can then verify it via a correct, conventional forward dictionary.

The scary applications are the ones where it's not so easy to check correctness...

Right. Except the dictionary analogy only goes so far and we reach the true problem.