Labels

• accepted-correction

  Accepted correction pending or completed
• accessibility

  Accessibility or assistive-technology concern
• broken-link

  Broken URL, redirect, asset, or navigation target
• bug

  Something isn't working
• critique

  Substantive challenge, objection, or stress test
• dependencies

  Pull requests that update a dependency file
• documentation

  Documentation or public guidance improvement
• duplicate

  Duplicate of an existing issue or discussion
• enhancement

  New feature or request
• errata-candidate

  Possible correction to a public artifact
• formalization

  Lean or formalization-related concern
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• good-first-inspection

  Bounded first inspection task
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• metadata

  Metadata, taxonomy, or classification issue
• needs-domain-review

  Needs review by a domain expert
• needs-editorial-review

  Needs editorial review
• needs-formal-review

  Needs formal methods or Lean review
• question

  General question or request for clarification
• result-status

  Concern about result status, verification, or external acceptance
• source-mapping

  Issue with source, import, citation, or cross-reference mapping
• wontfix

  This will not be worked on
• wontfix-explained

  Closed with explanation and no planned change