I think everything you said sounds reasonable with a possible exception of the Nalimov tablebase comment (proven perfect play/result of any position with 7 pieces or less for those that are curious about the definition).
6 pieces. I just gave that as an example. A forced checkmate or conversion would also work. I wouldn't want to allow resignation if there's a realistic chance of drawing, put it that way.