工程(S8结算禁await闸): B1域文件集await零命中落 static_scan(S13后独立段,文件集缺位自检),盘面零存量,撤销证明红绿闭环,--code 域闸全绿
This commit is contained in:
1 parent
44aa805658
commit
79733fa57f
1 file changed
+35
-1
@@ -91,7 +91,6 @@ fi
|
||||
# TODO(正式工程落地后精化为扫描配置并升格为硬失败):
|
||||
# S6 core↔core 信号连接只许方法 Callable(禁 lambda 捕获 self);发射者禁反向引用
|
||||
# S7 B2/B3/B4 API 符号命中文件 ⊆ B1 文件集(编排唯一性)
|
||||
# S8 结算路径 await 零命中(B1 结算/编排文件集)
|
||||
|
||||
# ── S11 — 代码注释禁用词 ──
|
||||
# 禁「板级」「门票」「正主」「落籍」「完美排雷」等退役词进注释面(完整词表见术语表解析)
|
||||
@@ -253,4 +252,39 @@ else
|
||||
fail=1
|
||||
fi
|
||||
|
||||
# ── S8 — 结算路径 await 零命中(B1 结算/编排文件集)──
|
||||
# 规则(architecture.md「静态扫描域 S1–S8 承接清单」S8 行 / D2 AC-14 口径):结算本体是
|
||||
# 可回放纯逻辑步骤流(同种子同输入逐位复现),await 会打断确定性——「模块归属」B1 行已写明
|
||||
# 「禁 await——切片 88 冒烟实证」。本闸为防回归防线(2026-10-24 人工 grep 盘面干净)。
|
||||
# 扫描面:B1 域文件集(与 architecture.md「模块归属」B1 行同口径)=battle_orchestrator.gd
|
||||
# + settlement/ 五段段类 + damage_controller.gd,共 7 文件,显式清单见 S8_FILES。
|
||||
# 执行侧字面值豁免:脚本必须带字面值才能工作;文件集与架构文档冲突时以 B1 域文件集为准。
|
||||
# 判据:文件集内出现 await 关键字即红(词边界 \bawait\b,任何形态——await 信号/协程/
|
||||
# get_tree());排除注释行(行首 #/##)与字符串字面量(双引号包裹段内的 await 非代码),
|
||||
# 口径仿 S1/S2 的 grep 排除手法。
|
||||
# 自检:清单内文件缺位(路径写错/被改名)即判红——防扫面为空静默绿。
|
||||
S8_FILES="game/core/battle_orchestrator.gd game/core/settlement/aura_segment.gd game/core/settlement/combat_segment.gd game/core/settlement/decay_segment.gd game/core/settlement/grant_segment.gd game/core/settlement/verdict_segment.gd game/core/damage_controller.gd"
|
||||
S8_MISS=0
|
||||
for f in $S8_FILES; do
|
||||
if [ ! -f "$f" ]; then
|
||||
echo "[static_scan] S8 FAIL: 文件集缺位——$f 不存在(路径写错/被改名导致的静默空转)"
|
||||
S8_MISS=1
|
||||
fi
|
||||
done
|
||||
if [ "$S8_MISS" -eq 1 ]; then
|
||||
fail=1
|
||||
else
|
||||
S8_HITS=$(grep -rnE '\bawait\b' $S8_FILES 2>/dev/null \
|
||||
| grep -vE '^[^:]+:[0-9]+:[[:space:]]*#' \
|
||||
| grep -vE '"[^"]*\bawait\b[^"]*"' \
|
||||
| wc -l)
|
||||
if [ "$S8_HITS" -gt 0 ]; then
|
||||
echo "[static_scan] S8 FAIL: 结算路径 await 命中 $S8_HITS 处(同种子逐位回放不可被 await 打断)"
|
||||
grep -rnE '\bawait\b' $S8_FILES 2>/dev/null | grep -vE '^[^:]+:[0-9]+:[[:space:]]*#' | grep -vE '"[^"]*\bawait\b[^"]*"'
|
||||
fail=1
|
||||
else
|
||||
echo "[static_scan] S8 ok(扫描面 B1 文件集 7 个 .gd,await 零命中)"
|
||||
fi
|
||||
fi
|
||||
|
||||
exit $fail
|
||||
Reference in new issue
Block a user