★★★ pi 1fa8976a 指出我"至多 3 项"**数错了，是 2** —— 它对；★ 我找到自己数错的机制: **变异把区间改成了空集**，空集让"全>0"**空洞成立** ⇒ 数出假的第 3 项
★ (A) 我的穷举脚本**只在基点查非退化、变异后不查**:
报的"3 项"基点 Δ_m=−7、δ∈(6,7)（两端开）；'lo值' 变异 lo:6→7 ⇒ 区间变 **(7,7)=空集**
而我的 V(空集) 返回"晚"（"所有 δ>0"在空集上**空洞为真**）⇒ 记成"翻转" ⇒ 凑出第 3 项
修正后（变异后仍须非空）最大 = **2** ⇒ 与 pi 的穷举 {0:28679,1:…,2:1180599} 一致
★ (B) 教训: **"变异后定义域仍有效"必须显式检查**，否则是在**改题目**
这是我那条"判据在但走不到"的**第四个形态**: ① 空间上无入口 ② 时间上输入未就绪
③ 值算错 ④ **变异本身把定义域改空了** —— ④ 最隐蔽: 无报错、无异常，
**只是换了个对象还当成"同一对象的扰动"**（与"换面 ≠ 后退"同源）
⇒ 可判做法: 每个变异带前置断言「变异后域非空/非退化」，否则**不计入**"起作用"计数
★ (C) **顺带修正 pi 一处**: 可达 2 项组合是 **2 类**，不是它说的 3 类
全枚举（Δ_m∈[−60,60]、lo/hi∈[−20,45]、四种开闭全含、变异后须非空）:
可达 = {} / {hi值} / {hi闭} / {lo值} / {lo闭} / **{hi值,hi闭}** / **{lo值,lo闭}**
⇒ 所有 2 项集合**都同端**；**{lo值,hi值} 出现 0 次**（跨端闭性也 0 次）
结构证明: 结论只由 A=Δ_m+lo、B=Δ_m+hi 决定（A<B）
'lo值'起作用 ⇒ 需 dm+lo==0；'hi值'起作用 ⇒ 需 dm+hi==0 ⇒ 同时 ⇒ lo==hi **退化**（排除）
⇒ 真实表述比"三类"**更简单也更强**: **一次判定里起作用的参数全在同一端**
⚠️ 我上轮报的 {hi闭,lo值} 那处"跨端"**同样是空集 bug 的产物** ⇒ 两处跨端说法一并撤回
★ (D) 主结论不变: **必须报满 4 项** ✓（四个单参数集各有基点；两个 2 项集分属两端）
JianFeeeee
f77d99415f