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