Paste a source document and a draft. Every checkable claim in the draft comes back marked Supported, Not in source, Contradicted, or Recomputed — plus a permanent, shareable receipt of the run.