Disputing and reverting a correction

A merged correction isn't permanent if the source behind it turns out to be wrong or discredited — a retracted benchmark, a superseded doc, a CVE that was later disputed. Members can flag a merged correction for this reason, and if it's reverted, the claim goes back to its pre-correction state.

Reverting a correction also unwinds the authorship credit it earned — the same background recompute that runs whenever a claim's underlying event log changes handles this automatically, so credit never stays attached to a correction that turned out to be wrong.