>Those two percentages should match.

Not necessarily. Employers have the ability to directly contribute to an employee's 401(k). These contributions would not count against the employee's annual contribution limit. These direct contributions are also not necessarily the matching portion either.

Per the IRS:

>In addition, in a traditional 401(k) plan, employers have the option of making contributions on behalf of all participants, making matching contributions based on employees’ elective deferrals, or both.

(that's "in addition" to the employee's deferral election).

Some hypothetical numbers: Let's say the employee is making $150k/year.Employer's stated direct contribution would be 5% of that ($7,500). That's with the employee doing nothing, and contributing nothing on their own. There is no payroll deduction from the employees paycheck, rather this is money paid directly from the company into the 401k. Nice!

Now let's assume the employee decides to contribute 10% ($15,000).Now the employer match (up to 3%) kicks in, and they add and additional $4,500.

Employer direct and employer matching contributions do not count against the annual employee contribution limit, so total contributions for the year in this case would be $27,000.

Note: for 2023, the employee contribution limit is $22,500. However, the TOTAL contribution limit (including employer direct and match contributions) is actually $66,000.

OP should definitely confirm this with their HR, but based on the info they gave here, this looks like a fairly generous plan. OP should definitely contribute and not leave that additional 3% match on the table.

(edit: math is hard SMH)