|
@@ -1671,7 +1671,11 @@ target MIN(start_time) 折平 ⇒ 60 + 60 = 120.00,两行都核完,不报
|
|
|
⇒「同一活动 k 条报名」在 target **不可表达** ⇒ 扇出在 target 恒不存在 ⇒ 两侧**必然相等**。
|
|
⇒「同一活动 k 条报名」在 target **不可表达** ⇒ 扇出在 target 恒不存在 ⇒ 两侧**必然相等**。
|
|
|
`finance_bk` 实测只有 **1 组**重复(`user 32596 / activity 1`,两条各 `1000.000`,多出 1 行),
|
|
`finance_bk` 实测只有 **1 组**重复(`user 32596 / activity 1`,两条各 `1000.000`,多出 1 行),
|
|
|
`yuansiwei_2026` 为 **0 组**。详见下面「A21 的真实影响:一次只读测量」。
|
|
`yuansiwei_2026` 为 **0 组**。详见下面「A21 的真实影响:一次只读测量」。
|
|
|
- **RS-4 撤销**(曾提交 `baf1856` 声明体,已由 `dbb1f80` 整轮 revert),`Divergence` / `legacy-only`
|
|
|
|
|
|
|
+ **合成种子下的可度量差异(供对照,不作为 case)**:k=2、signed 各 `100.00`、used 期初 `40.00` / 期末累计 `65.00` 时,
|
|
|
|
|
+ legacy `previousGiveCost=280.00 / currentGiveCost=330.00 / currentUsedGiveCost=−50.00`,
|
|
|
|
|
+ 去重口径 `240.00 / 265.00 / −25.00`,其余 6 列相同 —— 这组数出自 `baf1856` 的声明体,
|
|
|
|
|
+ 文件已删、数值留在文档里(知识值得留,文件不值得留)。
|
|
|
|
|
+ **RS-4 撤销**(`baf1856` 已由 `dbb1f80` 整轮 revert),`Divergence` / `legacy-only`
|
|
|
模式也一并撤掉 —— 不为一条回答不了真问题的 case 留投机性扩展。
|
|
模式也一并撤掉 —— 不为一条回答不了真问题的 case 留投机性扩展。
|
|
|
- **RS-2**:`type=108` 双来源「只归因不裁剪」未覆盖。
|
|
- **RS-2**:`type=108` 双来源「只归因不裁剪」未覆盖。
|
|
|
- **RS-3**:`coursePaymentDetailid>1` 的**有意差异**(dump 是「≥2 才短路」⇒ id=1 的规则永不生效;
|
|
- **RS-3**:`coursePaymentDetailid>1` 的**有意差异**(dump 是「≥2 才短路」⇒ id=1 的规则永不生效;
|