Can Jev typed outputs still be wrong? Type safety vs correctness

Jev guarantees a valid instance of the requested type, not a correct decision. Typed outputs still require behaviour evals to catch semantic errors.