provisional step-1 correction and conditional-write boundaries passed