Labels

• bug

  bug

  Something isn't working

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• javascript

  javascript

  Pull requests that update javascript code

• merge-risk: 🚨 automation

  merge-risk: 🚨 automation

  🚨 Merging this PR could break CI, automerge, proof capture, label sync, or automation.

• merge-risk: 🚨 security-boundary

  merge-risk: 🚨 security-boundary

  🚨 Merging this PR could weaken sandboxing, authorization, credentials, or sensitive data.

• P2

  P2

  Normal priority bug or improvement with limited blast radius.

• P3

  P3

  Low-risk cleanup, docs, polish, ergonomics, or speculative feature.

• question

  question

  Further information is requested

• rating: 🐚 platinum hermit

  rating: 🐚 platinum hermit

  Good normal PR readiness with ordinary maintainer review expected.

• rating: 🦞 diamond lobster

  rating: 🦞 diamond lobster

  Very strong PR readiness with only minor maintainer review expected.

• rating: 🦪 silver shellfish

  rating: 🦪 silver shellfish

  Thin PR readiness signal; proof, validation, or implementation needs work.

• status: ⏳ waiting on author

  status: ⏳ waiting on author

  ClawSweeper has contributor-facing work open and is waiting for author action.

• status: 👀 ready for maintainer look

  status: 👀 ready for maintainer look

  ClawSweeper has no concrete contributor-facing blocker left for this PR.

• wontfix

  wontfix

  This will not be worked on