Labels

Contained agent integrations and provenance

Architecture and durable interfaces

Continuous integration and repository automation

Bug-finding engines, oracles, and adapters

Evidence, provenance, storage, and replay

Execution, isolation, scheduling, and targets

Verus, proofs, and trusted boundaries

Crucible YAML and configuration lowering

Requires compatibility or migration handling

Something isn't working

Dependency and supply-chain updates

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Good for newcomers

Project governance and community policy

Extra attention is needed

This doesn't seem right

Immediate correctness, security, or project-integrity risk

High-impact work for an active milestone

Further information is requested

Exclude from generated release notes

Blocked by an identified dependency or decision

Requires design discussion before implementation

Awaiting initial maintainer assessment

This will not be worked on