Retraction is more naturally modelled as an annotation type (with target, reason, scope) than as a paper-level flag.
lines 95–98 in main.tex