Warm and retry Lean signature typechecks

[FluffyAIcode]

Summary

• prewarm a reduced complex-analysis mathlib prelude at supervisor startup
• retry Lean signatures with 45s then 120s budgets and explicit failure classifications
• terminate timed-out Lean process groups and retain partial diagnostics
• abort Generator/Critic whitespace-only decode loops as semantic_stall

Test plan

• 59 targeted Python/Lean tests passed
• reduced Lean build: 2793 jobs passed
• timeout retry and second-timeout classification regressions
• whitespace-only decode stops before an unterminated Lean block can be accepted

The uncommitted candidate.py file is active runtime state and is excluded.

Made with Cursor

[cursor]

Bugbot is not enabled for your account, so this pull request was not reviewed.

Enable Bugbot in the Cursor dashboard to get automatic reviews on future PRs.