先找切分点，再谈独立性

含锚点 μ 的 witness 不要预先固定左右边界；先引入可变切分点 k，再用 k 统一表达左右可行性。