Labels

Public API or module design

Something isn't working

Dependencies, toolchain, packaging, or release work

Maintenance work

CI, tests, checks, or automation

Potential correctness, soundness, or proof issue

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

Runtime, memory, or benchmark concern

Platform, toolchain, or environment compatibility

Further information is requested

Behavior, stability, or error-handling concern

A reviewer is requested for correctness or design feedback

User experience, ergonomics, or workflow

This will not be worked on