[1214] thicken/correct/simplify 文档、单元测试与 correct 性能优化

[da-liii]

概要

• 为 thicken（两个重载）、correct、simplify 补充 Doxygen 中文文档注释
• 新增 4 个单元测试用例、扩充 2 个（覆盖空列表、保序、不可变性、退化剔除、相邻合并、长列表返回副本）
• correct(rectangles) 递归改迭代 + 尾插直挂，签名改 const& 传参

bench（同二进制 A/B，nanobench，release，1024 元素，ns/op）

变体	ns/op
correct 递归（优化前）	35,394
correct 迭代 + 尾插直挂	19,215

加速比约 1.84x，同时消除 O(n) 递归深度。

验证

• xmake test "moebius_tests/*" 16/16 通过
• xmake r invalidate_test 6/6 通过
• gf fmt --changed-since=main 已执行

🤖 Generated with Claude Code