merge: 挖掘风险不等式方案 §九 裁决回填落籍（P1-P7+grill七问全裁·任务书待U0）

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

@@ -282,6 +282,20 @@ q=1 时旗与挖已知安全格**期望兑付恰好相等**（同为 E_dig），
 | P6 | 直伤雷 6/8/8 与普通 L2 缺口的处置序 | 先裁「缺口四选一」再议案丁 / 缺口与修订并行呈报（本报告按并行呈报） |
 | P7 | 口径修正登记 | d70f6c3 §二 池 76→77 混计、直伤 4/5/5→6/8/8 时效化两点，是否随批在 registry 留修正注记 |
 
+## 九、判读与 grill 裁决回填（2026-10-04，用户两轮「按推荐的来」全裁）
+
+**§八 拍板点全裁**：P1=甲+丙组合先行（乙 η 降为读数非判式、丁挂后备）／P2=三层口径并行立（条款2 锚+条款3 聚合健康式+旗边际引理）／P3=形态 **(a) 兑付溢价 · δ=1.25（provisional）**——(b) 专属池重摇不启，留给丁案异池立项一并裁／P4=带端点 **[1.2, 2.5]**，u=3（β=1.17）微破下限=登记态点名，不强制回滚／P5=复利维持定性／P6=缺口并行呈报；iter8「缺口四选一」（普通 L2 7.9% 处置）**确认仍独立在案**，与本修订解绑／P7=随批 registry 修正注记。
+
+**grill 七问全按推荐裁**：
+
+- **Q2 落文即越带**：判式先行，条件二现行值按「越带登记」纪律落文为**已知破·限期闭合**（T 机制小批转绿），文档批不被代码批绑架。
+- **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 批准开工。
+
+**数学注记（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 由带判读看护）全覆盖确认。
+
 ## 附录 A：判值全表（复算用，名义 ρ=0.25）
 
 ```