Legal with 12 players on the field at the snap
If they have 13, we flag it at the snap, but let the play continue.
The penalty would be 10 yards PLS, repeat the down.
Just to start up a bit of argument it looks like you guys are intentionally setting aside a rule. If the book says 12 on the field at the snap is a 15 yard penalty, then call it that.