`PW5043`

navigate_before_a_commit

The program must hold to this: a navigate is a handler's, last in the Ok arm of the command's answer nearest it: a page is left only once a command has committed.

Reading the diagnostic

pw check prints the code in brackets, [PW5043], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.