docs/solutions/logic-errors/2026-04-05-multiple-complex-list-units-still-reduce-to-one-wrapper-list-fragment-when-each-unit-is-already-proved.md