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
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-01 across an L0 to L4 pipeline: parse the task, compute step by step with units, independently verify