Labels

• audit

  audit

  Audit findings

• blocks:erc4337

  blocks:erc4337

  Blocks ERC-4337 EntryPoint parity/verification

• blocks:lido

  blocks:lido

  Blocks Lido StakingRouter parity/verification

• blocks:morpho

  blocks:morpho

  Blocks Morpho Blue parity/verification

• bug

  bug

  Something isn't working

• cleanup

  cleanup

  Stale or dead code removal

• deferred

  deferred

  Intentionally deferred until architectural cleanup is complete

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• good-first-issue

  good-first-issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• help-wanted

  help-wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• layer-3

  layer-3

  Layer 3 (IR → Yul) verification proofs

• lean

  lean

  Lean 4 code

• P0: correctness

  P0: correctness

  Proofs are wrong today

• P1: core language

  P1: core language

  Blocks writing common contracts

• P2: important

  P2: important

  Blocks specific contract categories

• P3: deferred

  P3: deferred

  Builds on P0-P2 work

• P4: nice-to-have

  P4: nice-to-have

  Low priority improvement

• proof

  proof

  Lean proof work

• question

  question

  Further information is requested

• wontfix

  wontfix

  This will not be worked on