判式换代批T4（迭代14②）：标中兑付溢价机制——settlement新键flag_hit_premium=125（percent域[100,999]域校验，100=无溢价直通零扰动）+grant单点乘溢价（_grant_routed只挂flag_hit正向：flat power乘后入单据/治疗/排队，percent幅度经premium_pct贯穿_apply_percent_row应用与呈现同乘+容器magnitude_override同快照）；取整四舍五入与伤害管线floor分域（registry登记）；标空/挖格/清图不乘；DamageController零改/雷安同池冻结/直伤6-8-8与p_perfect不动；冒烟断言+3（配置在位/标中行逐型=同型正向×125/100九型全确定/标空负向直伤零溢价）；max路径存储种子42→43重采（δ换代战局位移=断言注释既定程序）；闸=冒烟750/0

game/smoke/smoke_all.gd

@@ -2420,6 +2420,46 @@ func _smoke_polarity_routing() -> void:
 			if eff != "" and not POSITIVE_EFFECTS.has(eff):
 				hit_ok = false
 	check(hit_ok, "标中旗 → 该雷格资源的正向兑付行（origin 指回雷格，效果 ∈ 正向字典）")
+	# 条款3 条件二旗溢价断言（迭代14② T4——标中兑付行数值 = 同型正向 ×(1+δ)）：
+	# δ 读 settlement.flag_hit_premium（125 provisional）；九型正向行值全固定（唯一区间行 clear_blast
+	# 系清图槽不入格池）⇒ 逐型期望全确定。整数量级四舍五入域注记：ac_up/action 1 点量纲取整后不变
+	# =整数粒度地板——等号压线判读在当量聚合面（audit 工具/registry clause3_inequality），非断言面。
+	var prem_pct: int = int(_db.settlement.flag_hit_premium)
+	check(prem_pct == 125, "旗溢价配置在位（flag_hit_premium=125 provisional——形态 a 兑付溢价）")
+	var prem_rows := 0
+	var prem_ok := true
+	for r in probe["rows"]:
+		if String(r.get("source_class", "")) != "flag_hit" or String(r.get("highlight", "")) != "flag_hit":
+			continue
+		prem_rows += 1
+		var rtype := String(r.get("type", ""))
+		var v := int(r.get("value", 0))
+		var eff := String(r.get("effect_id", ""))
+		if rtype == "effect":
+			if eff == "gp_gain":
+				prem_ok = prem_ok and v == int(round(3 * prem_pct / 100.0))   # 金币袋 3→4
+			elif eff == "ap_delta":
+				prem_ok = prem_ok and v == 1   # +1AP：1 点量纲（round(1.25)=1——整数粒度地板）
+			else:
+				var mag: int = int(_db.status_effect_row(eff).get("magnitude", -999))
+				prem_ok = prem_ok and v == int(round(mag * prem_pct / 100.0))   # 增伤50→63/削弱65→81/护甲1→1
+		elif rtype == "heal":
+			# 急救 2→3（clamp 封顶只降不升：满血走 reward_ineffective 不入本行——区间断言）
+			prem_ok = prem_ok and v >= 1 and v <= int(round(2 * prem_pct / 100.0))
+		elif rtype == "damage":
+			var at := String(r.get("attack_type", ""))
+			if at == "":
+				prem_ok = prem_ok and v == int(round(1 * prem_pct / 100.0))   # 爆裂粉尘 1→1（群伤行值=表值直付）
+			else:
+				# 穿刺/魔法 2→3（行值=落地伤=基准+克制点数——反推基准核对；damage_floor 兜底下成立）
+				prem_ok = prem_ok and (v - int(r.get("effectiveness", 0))) == int(round(2 * prem_pct / 100.0))
+	check(prem_rows >= 1 and prem_ok, "标中兑付溢价（×%d 行逐型=同型正向 ×%d/100——等号压线注记：δ=1.25 时条件二 E[标中]=1.25·E_dig 恰等成立）" % [prem_rows, prem_pct])
+	# 标空不乘溢价：负向直伤行（反噬6/陷阱8/魔法反噬8 固定表值）零溢价污染——溢价值挂标中正向单点
+	var miss_flat_ok := true
+	for r in _rows_at(probe["rows"], "flag_miss", probe["miss_cell"]):
+		if String(r.get("type", "")) == "damage":
+			miss_flat_ok = miss_flat_ok and int(r.get("value", 0)) in [6, 8]
+	check(miss_flat_ok, "标空惩罚零溢价（负向直伤行=固定表值原值——溢价只挂标中正向）")
 	# 标空旗：归因行 + 该安全格负向兑付行（flag_miss 来源）
 	var miss_rows := _rows_at(probe["rows"], "flag_miss", probe["miss_cell"])
 	var miss_neg_ok := false
@@ -3223,7 +3263,7 @@ func _smoke_level_graph() -> void:
 	# 逐种子全关卡通关扫描找命中，期望路径过期时 258 次模拟撞 180s 闸（台账 257 + 2026-10-02
 	# 出度≤2 重建两次实证）。存储种子常态一次跑完；图表/数值有意变更致本断言红=快速失败（一次
 	# 即红非扫描超时），重采=临时脚本跑同款 run_level 循环取首命中种子回填（离线一次性）。
-	const MAX_PATH_SEED := 42
+	const MAX_PATH_SEED := 43   # 2026-10-05 判式换代批重采（旗溢价 δ=1.25 落地致种子 42 战局位移=败于终点；同款循环首命中——断言注释既定程序，临时脚本用后即删）
 	var win_max: Dictionary = autoplay.run_level(_db, MAX_PATH_SEED, 2, 200, 100, false, null, "normal", "max", 0)
 	check(win_max.result == "victory" and win_max.visited_ids == [0, 2, 6, 7, 8, 9],
 		"L2·满配 max 路径（max 取最大编号候选）通关 = 0→2(奖励)→6→7→8(商店零购离开)→9（存储种子 %d——T17 出度≤2 拍板模板 0 重建）" % MAX_PATH_SEED)