A paper-level retraction flag is an adequate substitute for claim-level retraction annotations: projecting the annotations down to a single paper-level bit loses nothing a downstream consumer needs.
lines 175–178 in main.tex