My bigger concern would be that he pivots, takes the code with on the pivot, finds success, and 6 years later when he's about to sell his cofounder returns claiming 50% of the proceeds are owed to him.
I've been involved with lawsuits over the exact type of situation. Maybe the OP could win, but it will be a costly process...