Retirement tax questions

That all sounds right.  Your retirement contributions are usually pre-tax and excluded from box 1 wages.  So you are not paying tax on them.  Box 12 would be for other kinds of plans like a 401k contribution.  @dmertz anything else to add?