v26.3.1

Enhancements

• Support nrt operation in LEAN formula generation
• Improve lex range computation
• Add term limit checks in formula generation to prevent exponential complexity growth
• Migrate setup configuration from setup.txt to setup.json with automatic conversion

Bugfixes

• Fix Windows upgrade command to download .zip files instead of .exe
• Improve error messages to show HTTP status codes for failed downloads