diff --git a/todo.md b/todo.md index 0b417aa..9273f7a 100644 --- a/todo.md +++ b/todo.md @@ -40,8 +40,6 @@ maintainer chose on 2026-09-30 to go on with the path steps regardless. This round, in order: -- Fix at compile how `readField` reads an arm, `arm.kind`, deleting its two panics and - its `held` lookup per read. - Switch `disagreement` on the fixed item's kind, with the other item inside each arm, and rename its `proven` local, which shadows the `proven` type: seven seats read the seven-arm switch as a truth table without the table.