锚点不变量检验要先排除触锚编辑，再用最小 witness span 收缩候选域

凡是带固定锚点的不变量检验，先把所有会触及锚点的编辑从候选集里剔除，再把剩余搜索域压到最小 witness span；否则表面更大的 witness 可能仍然漏掉反例。这个原则本质上是 检索要用字段收缩来验证结构性空集 的结构化版本：先缩小可检索域，再判断结论是否成立。