I believe that ProSheet checks moment equilibrium when solving for the sheet pile length. The user then adds the extra embedment as desired. Or the user can input a reduced Kp to give embedment with the desired safety factor. The input safety factor in ProSheet addresses only the bending stress of the sheet pile.
If you apply a safety factor to Kp, you will need a bigger sheet pile section than if you use full Kp, solve for moment equilibrium, and then increase the embedment length by about 20%.
Certain text books add extra sheet pile embedment in order to get force equilibrium in the x direction. This seems like baloney to me. For a cantilevered wall, the passive resistance is a reaction, not a force. Due to its shorter moment arm in checking moment equilibrium, the total passive pressure will always be greater than the total active pressure. Even though the total passive presure is greater than the total active pressure, the wall cannot move backwards. If it could, the active side would become passive and the passive side would become active. The process would then keep repeating. Makes no sense. For cantilevered sheet pile walls, I solve for moment equilibrium only, get the required embedment depth, then add at least 20% to the embedment length. Then, I'm done.
Good luck in trying to match your Excel calcs with the ProSheet results.