As per Correlations in CW305_ECC - #8 by jpthibault, the addition is discarded when the k bit is 1.
Yes.
From the waveform it appears that the addition result for bits 1, 2 and 3 is discarded, because move_inhibit
is set, which in turn is because the associated k bit is set.
Jean-Pierre