判断压缩是否安全的关键是语义边界：一次完整的搜索、一段闭合的证明、一个已确认的中间结论是可安全折叠的最小单元。