 AskaEth
|
8722c5a0ab
|
fix(ci)+test(packaging): 关掉「门禁关死而自检全绿」三条路：outputs 绑定、判据步真跑、自检步指向
r2 复审：r1 那 11 条 + M3 已闭合（复审自己重放 12/12 红），但它新造的 40 条变异仍有 11 条漏网，
其中三条是「1 行改绿」：把 `probe.outputs.available` 改指向 `reason`/字面量（门永久关、每次绿）；
判据步的退出码在标记表之外被吞（`|| echo 先忽略` / `; :` / `| cat` / `if !` / `true # 原行`，
复审真 bash 实测 exit 0）；自检步被指向另一个脚本（自检根本不跑）。
三条 P1：
- 新判据 9：`probe.outputs.{available,log,png}` 必须逐个等于 `${{ steps.detect.outputs.<同名> }}`；
- 新判据 5：把 `id: judge` 的 `run` 原文真跑两次 —— 正例必须 exit 0、CPU 档日志必须 exit≠0，
且 `bash -e` 与**裸 bash** 各跑一遍（`; :` 只在后者现形，实测 `bash -e`=1 / 裸 bash=0）。
这一条一次封掉整类「吞码」，不依赖标记表；
- 判据 2：`id: wiring` 的 `run` 必须含 `gpu_shot_ci_selftest.py`，且 `vectors`/`wiring` 必须是**单条命令**
（不许换行/管道/`;`/`&`/反引号/`#`/`$(`）⇒ `|| echo 先忽略` 无从下手。
两条 P2：
- 新判据 10：`on:` 必须同时有 `push`（含 `main`）/`pull_request`/`workflow_call`；
- 「载体依赖」这条边界补进四处（自检 docstring / gpu-evidence.md §8 / README / workflow 头注释）：
整个 workflow 被删掉就没有东西会跑自检，`guards.yml` 399/400 行塞不进去。
止步线（写进 docstring 与 §8）：封闭清单 10 类 / 33 条变异向量；明确不覆盖「改判据脚本」「删掉整个
workflow」「求值器与 GitHub 语义差」「判据 4 的合法调用替换」；本文档不宣称「不可能被改成总是绿」；
**自 2026-11-11 起停止加固，扩项须由人类新开 mission**。
新增 `packaging/tests/gpu_shot_ci_expr.py`（`if:` 小求值器，判据脚本仍守 ≤400 行：377/215/64）。
|
2026-11-11 18:31:30 +08:00 |
|
|
AskaEth
|
2e9702790d
|
fix(ci)+test(packaging): 接线自检不再给假安全证书：19 条变异重放全红，dev 线接上
r1 复审 P1-1：上一版自检对外宣称「不可能被改成总是绿」，实测 19 条变异漏 11 条
（最要命的是把 `available` 写成恒 false —— 门禁永久关闭而每次运行都绿）。根因是三条
判据只是字符串存在性检查、自测步与自检步被整条豁免、`is True` 挡不住 `'true'`。
`packaging/tests/gpu_shot_ci_selftest.py` 重写为 6 条判据：
① 五步按 `id:` 必须在场且无条件（`vectors`/`exitcodes`/`wiring`/`detect`/`judge`，
`exitcodes` 还得真断言 `expect 0/1/2`）；
② 解析 `if:` 表达式后**求值**判「判定挂门」（`available` 取 `'true'`/`'false'`/`''`
必须真/假/假，认不出一律红）—— `|| always()` 这类文本层面的门现在真红了；
③ 两种调用形态都必须在场且产物来自 `needs.probe.outputs.*`；
④ 跳过路径**实跑 7 种输入**（新增 `packaging/tests/gpu_shot_ci_probe.py`），
断言 `$GITHUB_OUTPUT` 的 `available`、summary 文案、`::warning::` 与三条红线的 exit≠0；
⑤ `continue-on-error` 按 YAML 布尔语义判（`'true'` / `${{ true }}` 也算开启）；
⑥ 扫所有 `python`+`packaging/` 的 `run`（自测步、自检步都在内），`|| true` / `; true` /
`|| exit 0` / 裸 `exit 0` 全算吞。
变异向量搬到 `packaging/tests/gpu_shot_ci_vectors.json`：21 条，按解析后的结构注入。
P2-1：`gpu-evidence.yml` 加 `workflow_call:`，`dev-guards.yml` 里 `uses:` 同一份 ——
直推 dev 时 selftest 那一半现在会跑（evidence 在 dev 上照样显式跳过）。
P2-2：跳过摘要与 `gpu-evidence.md §8` 改成唯一可行的补救路径（把产物提交进被 dispatch
的 ref，`git add -f`），并写明「就地拷文件在 CI 上做不到」。
措辞：三处「不可能被改成总是绿」改成能复跑的覆盖面 + 边界。
|
2026-11-11 18:08:31 +08:00 |
|
|
AskaEth
|
075769c6d2
|
feat(ci)+test(packaging): GPU 证据接进 CI：自测无条件跑，无 GPU 显式跳过（跳过≠通过）
新增 `.github/workflows/gpu-evidence.yml`：`selftest` 无条件跑 `--self-test` 与三个退出码
（0 过 / 1 判据不过 / 2 用法错，用真 CLI 走一遍）；`probe` 只探测可用产物与硬件适配器；
`evidence` 的 job 级 `if:` 要求 `needs.probe.outputs.available == 'true'`，所以没产物时它在
Actions 里是灰色 skipped（不是一个绿色 ✓），原因写进 job summary 并打 `::warning::`。
新开文件而不是并进 `guards.yml`：那份已 399/400 行，`release-build.yml` 正好 400。
新增 `packaging/tests/gpu_shot_ci_selftest.py`：把接线口径变成机器判据（自测步不许有 `if:`、
真判据必须挂门、跳过必须 summary+`跳过`+`::warning::`+`$GITHUB_OUTPUT`、禁 `continue-on-error`、
判据命令不许 `|| true`），并带 5 条变异向量证明每种「改绿」写法都会当场红。
`packaging/docs/gpu-evidence.md` §8 记账（含「CI 上从没真跑过」）与 `packaging/README.md` 索引更新。
|
2026-11-11 17:53:53 +08:00 |
|
 worker-gpushot
|
cb061d1da2
|
docs(packaging): 判据 1/2 的新口径同步到 docstring 与证据账（M249 r1）
9aefb6a 改了行为没改说明：docstring 还写着判据 1 是「截图那一行 renderer=wgpu」
（现在是「全部 [shot] 行都是 wgpu」）、判据 2 只写「X 不在禁令里」（现在取不到也算
失败）。doc §3.1 也从「两个变异」改成三条。
|
2026-11-11 13:14:57 +08:00 |
|
|
worker-gpushot
|
9aefb6a5b0
|
fix(packaging): 堵两处判定假绿 + 证据账读数可复跑（M249 r1 P2-1/2/3）
P2-1 判据 2：`Selected: AdapterInfo {` 与字段不在同一行时（pretty-print Debug 漂移）
`device_type` 取不到、旧写法默认 `"?"` 而 `"?" ∉ {Cpu,Other}` ⇒ 判绿。改成取不到即判红。
P2-2 判据 1：`"wgpu" in renderers` 是「曾经出现过」，把 CPU 那次的 stderr >> 追加进来
再配 CPU 那张图会判绿。改成 `set(renderers) == {"wgpu"}`（全部 [shot] 行都声称 wgpu）。
P2-3 doc §2：A6 `--expect-refuse` 那行的「3/3」需要传 PNG 路径才成立，按表复跑是 2/2；
命令列补上 PNG，并单列「不传 PNG = 2/2」一行。
行数：判据脚本 383 → 311（自测脚手架搬到 tests/gpu_shot_selftest.py，124 行；向量
16 → 19 条，红 16 / 绿 3，新增「多行 Debug」「空体」「混入异种 renderer」三条靶子）。
|
2026-11-11 13:13:36 +08:00 |
|
|
worker-gpushot
|
1f7dfd7bdd
|
feat(packaging): GPU 截图证据判定 check_gpu_shot.py（M249 GPUSHOTGATE）
把 M246「这张图真是 GPU 档出来的」的人读判据固定成可复跑的门禁：
入参 = 一份 stderr 日志 + 一张 PNG（可选 --expect-refuse），逐条点名失败
的判据（不只印 FAILED），退出码 0/1/2。
判据：① `[shot] … renderer=wgpu`（不是 `[probe] renderer =`，那只是意图）
② `Selected: AdapterInfo` 的 device_type ∉ {Cpu, Other}（与 probe.rs:165-167
同口径）③ PNG 能解码且非空 ④ PNG 宽高 = 日志 [shot] 的宽高 ⑤ `[backend]
final=wgpu result=started` ⑥ 复用 check_screenshot.py 的非空白判据。
PNG 解码直接 import 同目录 check_screenshot，不复制第二份解码器。
--expect-refuse 是 A6 负例口径：via=refuse + 无出图行 + 目标 PNG 不存在。
--self-test 跑 tests/gpu_shot_vectors.json 的 16 条向量（红 13 / 绿 3），
每条给出期望的失败判据清单，变异（允许 Cpu / 删掉 renderer=wgpu 判据）
会让清单对不上而报红。
docs/gpu-evidence.md 记录能证什么（字形栅格与边缘 AA、面板 α 与玻璃、
两后端一致性）与不能证什么（首帧与帧率、整窗 α 与圆角观感 —— 走 DWM，
任何截图都拍不到），并写明历史 --diff 基线已永久不可复核。
本脚本尚未接进 CI（另一条 mission），本 mission 不改 Rust、不改 workflow。
|
2026-11-11 13:01:44 +08:00 |
|