nx_solve_steps_lib.nx

nx_solve_steps_lib.nx -- A SOLVE, WORKED STEP BY STEP, EACH STEP NAMING THE RULE IT APPLIED. WHY THIS EXISTS (measured 2026-09-03). nx_capsearch over 7,305 sources with corpus_complete=1 shows the estate ALREADY HAS a solver: nx_calc_solve ships nx_calc_solve_linear and nx_calc_solve_quadratic and returns roots. What it does not produce is the WORKING. The rival the operator named states its own product as "get step-by-step algebra answers instantly", so the gap against it was never the arithmetic -- it was the explanation. This organ is that join, and it is deliberately a SEPARATE lib rather than a change to the solver, because "what is the answer" and "how would a person get there" are two questions and one organ should do one thing. EVERY STEP CARRIES ITS RULE. A worked solution that shows lines without naming the operation is a magic trick; a learner cannot tell a legal move from a wrong one. So each row is RULE then LaTeX, and the LaTeX goes through nx_mathml at render time, so the page shows real typeset mathematics with no third-party typesetter anywhere in the path. ★EXACT WHERE EXACT IS POSSIBLE, AND HONEST WHERE IT IS NOT. Rational answers are reduced by gcd and printed as fractions, never as truncated decimals. When a quadratic root is irrational this says so and prints the EXACT radical form rather than a rounded decimal pretending to be the answer. A solver that silently rounds is teaching that mathematics is approximately true. license_tier: ORIGINAL