docs(roadmap): 挖掘风险不等式判式换代批编入迭代14（用户裁·作为迭代内需求②号卡）——roadmap迭代14行加②批全文（判式三层换代+β带[1.2,2.5]+δ1.25形态a+runsum五字段+audit工具刷新·任务书指针·红线·开工门U0）+估时列改双批合计·方案报告§九Q7注记编入裁定（原独立mini-loop表述作废·迭代内序位待排）

design/research/方案-挖掘风险不等式修订-2026-10-04.md

@@ -292,7 +292,7 @@ q=1 时旗与挖已知安全格**期望兑付恰好相等**（同为 E_dig），
 - **Q3 判式文本瘦身**：条件一删 U_band——只留下限 0（盲挖不为负），上限由 β_hi 独家承载（同一约束单一承载）；丙案删「≤15pp·S 形」装饰条款，改「直伤雷行值/ρ 每次提案逐档检算落带」。
 - **Q4 δ 行为敏感度判据**：≥5pp（N=200 可辨线）为「有感」；行为无效时 δ **仍保留**（规范条款，不等式诚实性不依赖行为弹性），登记「行为无感」读数——防修订批出口重演「缓解未闭合」官司。
 - **Q5 η 分母**：=全部插旗数（可测零歧义），标空率作次读数分列；防呆旗未来成风再扩字段。
-- **Q7 立项时点**：任务书草案已呈（`.zcode/plans/mine-inequality-revision-miniloop-plan-2026-10-04.md`，T0-T5≈2.5 日），待 U0 批准开工。
+- **Q7 立项时点**：任务书草案已呈（`.zcode/plans/mine-inequality-revision-miniloop-plan-2026-10-04.md`，T0-T5≈2.5 日），待 U0 批准开工。**2026-10-04 用户续裁：本批编入 roadmap 迭代 14、作为迭代内需求之一（②号卡）**——原「独立 mini-loop、不占迭代 13/14 序」表述作废；迭代内序位待排，开工门不变=U0。
 
 **数学注记（T4 判读用）**：δ=1.25 时条件二以**等号压线成立**（E[标中]=1.25·E_dig = (1+0.25)·E_dig，判式取 ≥ 故成立）；严格大于须 δ>0.25，×1.5 档留余量。形态 (a) 落地后 L2 首次翻正：旗对已知安全格边际 = +0.25·E_dig ≈ +0.36 当量（u=1）——四层病灶（L1 由条件一+β 带接替、L2 由条件二接替、L3/L4 由带判读看护）全覆盖确认。