Labels

• bug

  Something isn't working
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• javascript

  Pull requests that update javascript code
• merge-risk: 🚨 automation

  🚨 Merging this PR could break CI, automerge, proof capture, label sync, or automation.
• merge-risk: 🚨 compatibility

  🚨 Merging this PR could break existing users, config, migrations, defaults, or upgrades.
• merge-risk: 🚨 security-boundary

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

  Normal priority bug or improvement with limited blast radius.
• P3

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

  Further information is requested
• rating: 🐚 platinum hermit

  Good normal PR readiness with ordinary maintainer review expected.
• rating: 🦐 gold shrimp

  Decent PR readiness signal, but merge confidence is limited.
• rating: 🦪 silver shellfish

  Thin PR readiness signal; proof, validation, or implementation needs work.
• rating: 🧂 unranked krab

  Not merge-ready due to missing proof or serious correctness/safety concerns.
• status: ⏳ waiting on author

  ClawSweeper has contributor-facing work open and is waiting for author action.
• status: 👀 ready for maintainer look

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

  Pull requests that update submodules code
• wontfix

  This will not be worked on