Two cats, and the thing that finally worked was moving the play session and the last feed to the same time, right before we go to bed, in that order: hunt, then eat, then sleep.
Play alone woke her up. Food alone did nothing. The sequence is apparently the point, and it took about ten days to settle.