Pushes runtime-verification findings from tobeverified.com as tasks. Interns and reviewers adjudicate the findings; adjudications flow back to TBV as labeled data for the verifier models.