Labels

Something isn't working

Community Candidate

Core Candidate

Deprecated Candidate

Candidate needs counterexamples

Candidate needs stronger evidence

Candidate needs redaction before review

Rejected Candidate

Reviewed Candidate

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

Proof appears to rely only on mocks, lint, type checks, or CI

Real behavior proof is missing or incomplete

Maintainer explicitly overrode proof gate

Maintainer judged proof sufficient

Proof fields are present

Further information is requested

May change future agent behavior

Adds or changes dependencies

May affect file write behavior

May affect GitHub token permissions

Changes governance rules

May affect network behavior

May expose private or sensitive evidence

May break schema compatibility

Security-sensitive change