Update to Lean 4.32.0-rc1

[alok]

Summary

• align the root package with the current mathlib toolchain, leanprover/lean4:v4.32.0-rc1
• pin ProofWidgets v0.0.104 and Verso v4.32.0-rc1, then regenerate the Lake manifest
• update the documentation entry point for the Verso 4.32 EmitHtml and RenderConfig APIs

PR #5 landed the minimal LeanPlot.ToFloat header fix separately so contributor attribution is preserved. This update supersedes the older Lean 4.30 bundle in PR #6.

Verification

• lake update
• lake build LeanPlot.ToFloat
• lake build (49 jobs)
• lake build Manual leanplot-docs (498 jobs)

All commands pass. Existing Verso specificity, line-length, and missing-doc warnings remain warnings.

Tracking: ALOK-777

[claude]

Claude encountered an error —— View job

---

I'll analyze this and get back to you.

[alok]

CI triage: both Lean Action runs passed. The Claude review job failed before performing a review because the configured external Anthropic credential returned Invalid API key with zero tokens used; this is unrelated to the PR diff. The direct module build, full package build, and docs build also pass locally on the pinned toolchain.