Mathlab WASM is now a stable, reproducible research product. The new Residual Microscope makes a foundational numerical-analysis distinction inspectable: raw residual, forward error, and conditioning are related, but they are not interchangeable.
Included
- Five cases frozen before implementation in
docs/protocol-v1.0.md. - A Rust-generated, machine-readable conditioning report with explicit acceptance checks.
- Interactive comparison of residual, forward error, derivative, condition number, and local first-order estimate.
- Transparent handling of a repeated root where the simple-root diagnostic is unavailable.
- Preserved v0.1 solver and v0.2 safeguarded-method studies.
Verification
All prespecified v1.0 checks pass. CI, CodeQL, Security, Rust/WASM, report reproduction, WCAG A/AA automation, and responsive browser tests are green.
Evidence boundary
This release verifies established mathematics. It is not novel theory, a universal stopping rule, a scale-free condition number, or a production-solver certification. The condition number is explicitly tied to additive function-value perturbations; the cubic estimate is local and first-order.