STEP_050M07R20QZB_R09: empty registry semantics; backup transport fix; zero-to-one-to-zero proof