mode--07-math

A session-level enforcement MODE that kills confident arithmetic and quantitative errors: wrong calculations, unit and dimension mistakes, dropped or duplicated terms, wrong formulas, precision and rounding slips, order-of-magnitude errors, and asserted numbers that were never checked. Runs VERIFY-0