DKChan
6c2dbc37c1
- 删除 design/dev/architecture/adr-0001~0007 共 7 份文件（内容留 git 历史可查） - architecture.md：删「ADR 审计」「ADR 立项清单」两节；清除全文 ADR-000X 注记、QQ 表/S 表 ADR 引用；未决表关闭已落定项（QQ-01/02/03），立项清单在途事项转登记 QQ-11~14；补 A1 生成姿态事实、autoload 四件清单、board_generator 性能姿态；文档状态立「事实源地位」条 - CLAUDE.md：恢复 RNG 单点硬性红线（去 ADR-0007 引用）；新增「架构事实唯一源」红线；规范导航架构行标注唯一事实源 - doc-conventions：§5 增「架构事实唯一源」行；§11 活文档清单补架构文档 - registry：architecture.yaml 删 18 处 adr 字段、autoload_set 补 SaveManager/MetaProgression、board_rending 更新为 Node2D 已落地事实；entities.yaml 12 处引用清除 - game/ 代码注释约 60 处清 ADR-000X 引用（事实与日期保留）；豁免标记 ADR-0007-exempt → rng-seed-exempt（main.gd/static_scan.sh/architecture.md/06/iter27 五处同步） - GDD/qa 实现报告/research 卡片/roadmap/tests README 引用全清；死链校验 1206 链接 0 死链、gdd_lint 0 不通过 - 代码中 adr/adr5 等为 adventure_runner 既有局部变量名（非 ADR 引用），未动
57 lines
4.0 KiB
Bash
57 lines
4.0 KiB
Bash
#!/usr/bin/env bash
|
||
# tests/static_scan.sh — 静态扫描域 S1–S8 可执行子集
|
||
# 规则全集与动机：design/dev/architecture/architecture.md「测试与质量域」节
|
||
# 正式工程（core/ 存在）时执行；否则优雅跳过（工程在 game/core——2026-09-24 转正结构批后仓库根布局）。
|
||
# 纪律：新违规案例必须先补本脚本规则再修码（design/dev/code-conventions.md 缺陷-规范对照表）。
|
||
set -u
|
||
cd "$(dirname "$0")/../.." # 迭代 27 T5 修正——2026-09-24 布局迁移后 /.. 落 game/ 致 game/core 守卫恒跳过（静默空转遗产），S 闸规则路径均为仓根相对
|
||
|
||
if [ ! -d game/core ]; then
|
||
echo "[static_scan] game/core 不存在（工程未创建）——跳过，退出 0"
|
||
exit 0
|
||
fi
|
||
|
||
fail=0
|
||
|
||
# S9 — 类型闸（迭代 27 T5——code-conventions §4 机器闸：产品码无类型容器/有值返回缺类型/参数缺类型）
|
||
if python tools/audit_type_hints.py; then
|
||
echo "[static_scan] S9 ok"
|
||
else
|
||
echo "[static_scan] S9 FAIL: 类型闸存量未归零（R1/R2/R3 见上清单）"
|
||
fail=1
|
||
fi
|
||
|
||
# S10 — 文件头闸（code-conventions §1.4.1 第二轮 2026-10-15：头注 ≤8 行+日期/变更叙事黑名单）
|
||
if python tools/audit_file_headers.py; then
|
||
echo "[static_scan] S10 ok"
|
||
else
|
||
echo "[static_scan] S10 FAIL: 文件头存量见上清单（白名单清偿批在册）"
|
||
fail=1
|
||
fi
|
||
|
||
|
||
# S1/S2 — 玩法代码禁 randomize()/自建 RandomNumberGenerator/全局随机函数（绕开 RngService 的口子）
|
||
# 2026-09-24 首次实跑收敛（转正结构批）：违规签名=裸 randomize/rand* 调用（实例方法 .randi() 排除）
|
||
# + RngService 之外的 RandomNumberGenerator.new()；接收服务注入流的类型标注不属违规（core 五文件 15 处实证）
|
||
hits=$(grep -rnE '\brandomize[[:space:]]*\(|(^|[^.[:alnum:]_])randi[[:space:]]*\(|(^|[^.[:alnum:]_])randf[[:space:]]*\(|(^|[^.[:alnum:]_])randf_range[[:space:]]*\(' \
|
||
game/core game/presentation --include='*.gd' 2>/dev/null | grep -vE '^[^:]+:[0-9]+:[[:space:]]*#' | grep -v 'rng-seed-exempt' | wc -l)
|
||
hits2=$(grep -rn 'RandomNumberGenerator\.new()' game/core game/presentation --include='*.gd' 2>/dev/null | grep -vc rng_service)
|
||
if [ "$hits" -gt 0 ] || [ "$hits2" -gt 0 ]; then echo "[static_scan] S1/S2 FAIL: 全局随机/RNG 自建命中 $hits+$hits2 处"; grep -rnE '\brandomize[[:space:]]*\(|(^|[^.[:alnum:]_])randi[[:space:]]*\(|(^|[^.[:alnum:]_])randf[[:space:]]*\(|(^|[^.[:alnum:]_])randf_range[[:space:]]*\(' game/core game/presentation --include='*.gd' 2>/dev/null; grep -rn 'RandomNumberGenerator\.new()' game/core game/presentation --include='*.gd' 2>/dev/null | grep -v rng_service; fail=1; else echo "[static_scan] S1/S2 ok"; fi
|
||
|
||
# S4 — core/ 禁 extends Control/Node2D、禁 .tscn preload（headless 债）
|
||
hits=$(grep -rnE 'extends[[:space:]]+(Control|Node2D)\b|\.tscn' game/core --include='*.gd' 2>/dev/null | wc -l)
|
||
if [ "$hits" -gt 0 ]; then echo "[static_scan] S4 FAIL: core 引擎/UI 依赖命中 $hits 处"; grep -rnE 'extends[[:space:]]+(Control|Node2D)\b|\.tscn' game/core --include='*.gd' 2>/dev/null; fail=1; else echo "[static_scan] S4 ok"; fi
|
||
|
||
# S3 — core/ 禁 ConfigDB 外 data 表加载（schema class_name 直引豁免）
|
||
hits=$(grep -rnE '\b(load|preload)[[:space:]]*\(|ResourceLoader\.load' core --include='*.gd' 2>/dev/null \
|
||
| grep -v 'res://tests/' | wc -l)
|
||
if [ "$hits" -gt 0 ]; then echo "[static_scan] S3 WARNING（人工复核——class_name 直引误报需逐条排除）: $hits 处"; grep -rnE '\b(load|preload)[[:space:]]*\(|ResourceLoader\.load' core --include='*.gd' 2>/dev/null; fi
|
||
|
||
# TODO（正式工程落地后精化为扫描配置并升格为硬失败）：
|
||
# S5 core/ 禁裸引用 ConfigDB/RngService 全局标识符（--script 模式 parse error；grep 近似误报多，需 AST 级或精确白名单）
|
||
# S6 core↔core 信号连接只许方法 Callable（禁 lambda 捕获 self）；发射者禁反向引用
|
||
# S7 B2/B3/B4 API 符号命中文件 ⊆ B1 文件集（编排唯一性）
|
||
# S8 结算路径 await 零命中（B1 结算/编排文件集）
|
||
|
||
exit $fail
|