旧前缀+下一前缀联合生存刻画中性（small-case）

旧前缀+下一前缀联合生存给出触及 witness 场景下的中性判别协议（small-case）

在把局部交换判定压到 k = max { t | S[:t] ⪯ X } 且候选交换**触及** greedy witness 的前提下，单看“旧前缀 S[:k] 是否仍可嵌入”不足以判别中性；但在穷举范围内，下面这个联合条件与“中性”完全一致：

# 联合判别（经验版）
对交换后的串 X'：
1. S[:k] ⪯ X'；
2. S[:k+1] ⊀ X'。

也就是：**旧前缀继续生存，且下一前缀仍未被放行**。

# small-case 证据
- 二元字母表 {'a','b'}，|X|,|S|<=7：
- 所有“中性交换”都满足上述联合条件；
- 所有“敏感交换”都违反上述联合条件；
- 未发现任何 mismatches。
- 三元字母表 {'a','b','c'}，|X|,|S|<=6：
- 同样未发现 mismatches。

# 方法含义
这说明在 witness 触及场景里，判别状态至少需要到“前缀层级 k 与 k+1 的同时量化”，而不是只看单条 witness 路径是否幸存。

# 后续推断
更深的充要模式，若存在，可能表现为“前缀层级上的双阈值/多阈值状态机”，而不是单一局部几何特征。