# Plan: remove-lesson-status

**Branch:** feature/remove-lesson-status

## Phases

- [ ] Remove lesson status from proof system — delete subcommand, simplify type union, reclassify upstream findings, backward compat
  - Spec: spec.md
