Standard Model Lagrangian Specifications with Right-Handed Neutrinos

A fully expanded, gauge-fixed Standard Model Lagrangian with three sterile right-handed neutrinos and Dirac neutrino masses, written in the physical field basis in 't Hooft-Feynman gauge and including the complete Faddeev-Popov ghost sector. The deposit includes the model specification and its LaTeX source, a reference sheet and its LaTeX source, and a computational verification report.