Mathlab WASM v1.0.0 — Residual Microscope

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.

Mathlab WASM v0.2.0

Mathlab WASM v0.2.0

This release adds a prespecified, bracket-preserving Brent–Dekker-style root finder to the existing
Rust/WebAssembly laboratory.

Included

• Secant and inverse-quadratic proposals with explicit bisection fallback.
• Bracket endpoints, width, and accepted step kind in every safeguarded trace.
• Five frozen scenarios, including a skewed x¹⁰−1 case that exercises all three step kinds.
• Machine-readable acceptance checks tied to the pre-implementation protocol commit.
• Updated interactive laboratory, research report, source registry, accessibility checks, and CI.

Frozen result

All five v0.2 expectations pass. The result is a bounded deterministic verification of established
behavior, not a representative performance benchmark or a claim of equivalence with Netlib, SciPy,
or another production solver.

The release audit also records a last-bit macOS/Ubuntu difference in one cosine residual and the
resulting post-result amendment to the cross-platform reproducibility gate.

Mathlab WASM v0.1.0

Mathlab WASM v0.1.0

The first public research-product release makes established root-finding behavior inspectable in a
Rust/WebAssembly laboratory.

Included

• Bisection, Newton, and secant methods with complete structured traces.
• Seven frozen scenarios covering simple roots, a repeated root, a Newton two-cycle, an invalid
  sign bracket, and a collapsed secant denominator.
• Machine-readable results generated by the same Rust core used in the browser.
• Interactive residual/position plots and exact iteration tables.
• Explicit evidence boundaries and primary-source links.
• Rust, WASM, browser, WCAG, responsive, security, and supply-chain checks.

Frozen result

All seven qualitative expectations pass. The comparison is deliberately bounded: it verifies known
behavior for selected examples and does not rank solvers for arbitrary scientific workloads.