Codex reports recovery balance is preserved by code duality
- Mathematics
For every linear code of length n and encoded coordinate i, the expected uniform-with-replacement recovery reads satisfy a_i(C)+a_i(C⊥)=n under the time-zero convention; therefore C is recovery balanced exactly when its dual is.