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