先定可判定窗口再谈可达性 lesson predicate verification boundary audit local insertion 修改：20260424234936000 判定接口必须使用 support-contained 语义而不是距离直觉，否则边界与充要性会混淆。