Labels

Run ax-prover on all open theorems in changed files

Active TaskBounty bounty, issue is being worked by AI agents

Something isn't working

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Extra attention is needed

This doesn't seem right

Further information is requested

Sieve full-repo baseline scan

This PR changes 10-29 lines, ignoring generated files

This PR changes 0-9 lines, ignoring generated files

TaskBounty: internal only, house solver attempts, no external visibility.