Findings from an automated research loop. Judges grade every area on benefit, evidence, rigor, tractability and neglect. Claims are checked in Lean before anything is published. A fixed rule turns the grade and the Lean verdict into a recommendation on whether to investigate further.