#witness normalization

• 三态判别协议的压力测试结果 20260425015339000
• 旧前缀+下一前缀联合生存刻画中性（small-case） 20260425014335000
• 旧前缀可替代嵌入不足以判别中性 20260425013950000
• 单一局部特征通常只能给出必要条件 20260425013436000
• 候选影响区不等于敏感区 20260425012422000
• 锚点固定后先局部化，再做单侧交换 20260425011113000
• 单侧交换位置可压缩为局部窗口 20260425010941000
• 交换不依赖右侧的充分条件 20260425005858000
• 左侧一次相邻交换的切分判定复用模板 20260425005439000
• 先找切分点，再谈独立性 20260425002443000
• Iter-4360dd15-0186-fact-left-prefix-consumption-cut 20260425002431000
• 局部化不等于可分解 20260424235814000
• Iter-4360dd15-0184-failure-left-split-overclaim 20260424235623000
• 锚定后交换只改一侧 20260424235519000
• 用 fresh marker 规范化 witness 20260424235110000