Pick a column disagreement's wording from one swap, one proof and one switch

2026-09-28 10:55:49 +02:00
parent 2254b33f0e
commit 6afe16ba01
2 changed files with 16 additions and 28 deletions
@@ -21,8 +21,6 @@ Self-sufficiency 5.6), every seat capped by Locality, and all nine naming

 This round, in order:

- Make `disagreement` and `bothTyped` a table of cases: each swaps its operands and
-  runs a proof to pick an error's wording.
 - Derive a column's datatype in one place: `columnItems` yields nothing for a
  `tableColumn`, and six callers re-derive it from items.
 - Give `head`, `index`, `bound` and `draw` one meaning each, name `table.family`