语义质量审查

针对指定语义边界和风险视角进行有界、可反证的质量审查，记录故障假设、实现路径、证据、问题记录和残余风险； 仅在已有“边界 × 风险视角 × 源码版本”单元及进入原因时使用，不负责普通差异分析或一般代码审查。