Certified LM-head decode — read a quarter of the output head, losslessly