distinctEncodings

the same count over the encoded forms, by contentEquals. Below distinctStates the codec cannot tell two reachable states apart; above it, two equal states encode differently.