Labels

• blueprint

  blueprint

  Verso blueprint authoring on blueprint-atlas (not main cleanup)

• bug

  bug

  Something isn't working

• build:regression

  build:regression

  Full-tree build regression caught by the build-health monitor

• bump-deprecation

  bump-deprecation

  fix deprecated mathlib names from a bump

• coordinator:todo

  coordinator:todo

  Coordinator-owned cross-cutting work, not a lane worker ticket

• deprecation

  deprecation

  mathlib deprecation surfaced by the daily bump

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• extract:tate-torsion

  extract:tate-torsion

  Extract+upstream the E[N]≅(ZMod N)² torsion structure / Tate module

• freeze:active

  freeze:active

  HOLD: bump/rename in progress — workers idle

• generalise:triage

  generalise:triage

  Generalise false-positive awaiting reviewer closure

• good first issue

  good first issue

  Good for newcomers

• health:log

  health:log

  Build-health monitor status log

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• lane:cleanup

  lane:cleanup

  Worker lane: /cleanup (golf/style; auto-merge)

• lane:decompose

  lane:decompose

  Worker lane: /decompose-proof (helpers; auto-merge)

• lane:generalise

  lane:generalise

  Worker lane: /generalise (statement-changing; review gate)

• mathlib:borderline

  mathlib:borderline

  mathlibable verdict needs a human scope call

• mathlib:pr

  mathlib:pr

  candidate to PR to mathlib as-is

• mathlibable

  mathlibable

  from /overview Step-9 mathlibable assessment

• priority:modular-curves

  priority:modular-curves

  Owner directive: clean the modular-curves surface first — claim these before other lanes' backlog

• qc:dedup

  qc:dedup

  QC dedup / junk-bundler removal across repos

• qc:escalate

  qc:escalate

  QC found something unsound — needs owner attention

• qc:log

  qc:log

  Standing QC sampling log

• qc:reopened

  qc:reopened

  Re-opened by QC: prior ticket closed without the full work

• question

  question

  Further information is requested

• state:changes-requested

  state:changes-requested

  Reviewer requested changes — back to the worker (read the comments, fix on the same branch)

• state:in-progress

  state:in-progress

  Ticket claimed + being worked