When does recurrent depth beat width? A falsifiable supervision theorem + honest sub-1B negatives