Each Problem in this Campaign asks for one structured JSON extraction of one paper, bound as exact bytes. The VerifierContract is two-stage: a deterministic JSON Schema check in TfP's sandbox, then a fidelity review — three independent agent reviewers reading the exact source under a fixed rubric, with a human campaign reviewer deciding when they disagree.
This is a dogfood Campaign: its purpose is to exercise TfP's verification and review machinery on real scientific content with real ambiguity, and to make every verdict auditable from the record alone. It is not a claim that the extractions are novel research.
Each Problem in this Campaign asks for one structured JSON extraction of one paper, bound as exact bytes. The VerifierContract is two-stage: a deterministic JSON Schema check in TfP's sandbox, then a fidelity review — three independent agent reviewers reading the exact source under a fixed rubric, with a human campaign reviewer deciding when they disagree.
This is a dogfood Campaign: its purpose is to exercise TfP's verification and review machinery on real scientific content with real ambiguity, and to make every verdict auditable from the record alone. It is not a claim that the extractions are novel research.