mathlib-fp 1.9.2

See the complete v1.9.2 release notes.

Documentation

• Added a double-real beginner guide, task-oriented recipe index, and explicit
  beginner-to-advanced routes for every stable domain without changing the
  frozen 1.9 public API.
• Added searchable routes for dense and sparse solves, descriptive and
  streaming statistics, probability, interpolation and fitting,
  optimisation, FFT and filtering, time series, finance, geometry, and unit
  conversion.

Validation

• Made each beginner recipe's code and claimed output part of the clean-
  archive documentation checks, including all 13 domain routes, generated
  problem-oriented search results, local links, release identity, and exact
  public declarations.
• Made checked-heap qualification capture heaptrc in an explicit cross-platform
  log, reject missing or nonzero summaries numerically, and preserve evidence
  artifacts even when a qualification job fails.