三态判别协议的压力测试结果

三态判别协议的压力测试结果（empirical robustness）

对触及 greedy witness 的场景，把敏感/中性判别压成只看 S[:k] 与 S[:k+1] 的三态协议后，做了更严格的压力测试：

# 测试
- 随机采样：字母表 abcd，50k 组随机 (X,S)，长度范围约 |X|<=10，|S| 与 |X| 同量级。
- 小规模穷举：字母表 abcd，|X|<=5，|S|<=5（并限制 |S|<=|X|+2 以控规模）。

# 观察
- 未找到任何反例：
- 一旦某个相邻交换改变 k，它始终触及 greedy witness 的占用位置；
- 在已知触及 witness 的前提下，三态协议在小规模里仍与敏感/中性分类一致。

# 结论
这不是证明，但说明三态协议至少不是一个脆弱的小规模偶然现象；它在更大字母表与更长串上的经验稳定性较强。

# 备注
仍需继续寻找：
1. 更大规模上的反例；
2. 触及 witness 但三态不足的更细结构；
3. 是否存在更简洁但仍充要的局部状态机。