R20Q-U-C R05 STOP verification

Read-only continuation. R04 core proof remains valid.