Drop the done readField item from the plan

This commit is contained in:
2026-09-30 20:35:41 +02:00
committed by Lillem4n
parent 26b35abe70
commit 55b127856b
-2
View File
@@ -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.