单一局部特征通常只能给出必要条件

单一局部特征通常只能给出必要条件，不能给出充要判别

在把判定压成 k = max { t | S[:t] ⪯ X } 且只研究一次相邻交换是否触及 S[:k] 的 greedy witness 时，曾尝试用一类单一局部特征直接区分“敏感交换”与“中性交换”。

## 已筛掉的候选
穷举结果显示，下列特征都出现了敏感/中性混合，因此不能单独充当充要判别：
- 是否触及 witness
- 触及位置个数
- 是否连续触及
- 是否碰到 witness 首端
- 是否碰到 witness 尾端
- 是否命中 witness 边界
- 局部字符串窗口形状
- witness 长度
- greedy span 长度

## 经验结论
单一局部几何特征最多提供“值得进一步检查”的必要条件；若要接近充要模式，判别式至少需要叠加：
1. 交换后 greedy 路径是否被迫改道；
2. 被改动步骤后续是否存在可替代匹配；
3. 触及点之前的前缀资源是否已经耗尽。

## 方法教训
当一个特征在穷举中同时覆盖敏感与中性样本时，应立刻降级为 filter，而不是误当作 classifier。