docs(packaging): 判据 1/2 的新口径同步到 docstring 与证据账(M249 r1)
9aefb6a 改了行为没改说明:docstring 还写着判据 1 是「截图那一行 renderer=wgpu」
(现在是「全部 [shot] 行都是 wgpu」)、判据 2 只写「X 不在禁令里」(现在取不到也算
失败)。doc §3.1 也从「两个变异」改成三条。
This commit is contained in:
1 parent
9aefb6a5b0
commit
cb061d1da2
2 files changed
+6
-4
No files matched your search
@@ -8,9 +8,11 @@
|
|||||||
入参 = 一份 stderr 日志 + 一张 PNG(可选 `--expect-refuse` 走负例口径)。正例六条判据(每条抓得住
|
入参 = 一份 stderr 日志 + 一张 PNG(可选 `--expect-refuse` 走负例口径)。正例六条判据(每条抓得住
|
||||||
什么、抓不住什么见 `packaging/docs/gpu-evidence.md` §2):
|
什么、抓不住什么见 `packaging/docs/gpu-evidence.md` §2):
|
||||||
|
|
||||||
1. 截图那一行 `[shot] … renderer=wgpu`——**不是** `[probe] renderer = wgpu`:后者只是启动前的意图,
|
1. **全部** `[shot] … renderer=` 行都是 `wgpu`——不是「出现过」(把 CPU 那次的 stderr `>>` 拼进来
|
||||||
M246 的 A6 负例里它照样打印 wgpu,却一个像素都没画。
|
就会骗过旧写法),也**不是** `[probe] renderer = wgpu`:后者只是启动前的意图,M246 的 A6 负例里
|
||||||
2. `Selected: AdapterInfo { … device_type: X }` 的 `X` 不在 `DISALLOWED_DEVICE_TYPES` 内。
|
它照样打印 wgpu,却一个像素都没画。
|
||||||
|
2. `Selected: AdapterInfo { … device_type: X }` 的 `X` 不在 `DISALLOWED_DEVICE_TYPES` 内;
|
||||||
|
**取不到 `X` 也算失败**(多行 Debug 漂移不许静默给绿)。
|
||||||
3. PNG 能解码且像素数 > 0。
|
3. PNG 能解码且像素数 > 0。
|
||||||
4. PNG 宽高 = 日志里 `[shot] W×H` 声明的宽高(把图和日志钉在一起)。
|
4. PNG 宽高 = 日志里 `[shot] W×H` 声明的宽高(把图和日志钉在一起)。
|
||||||
5. `[backend] final=wgpu result=started`(后端自己的结论行与上面几条不矛盾)。
|
5. `[backend] final=wgpu result=started`(后端自己的结论行与上面几条不矛盾)。
|
||||||
|
|||||||
@@ -59,7 +59,7 @@ A6 的负例形状(`WGPU_BACKEND=metal`):`Available adapters: []` → `wgp
|
|||||||
### 3.1 判据对「行为被改坏」敏感(变异自证)
|
### 3.1 判据对「行为被改坏」敏感(变异自证)
|
||||||
|
|
||||||
`--self-test` 的向量在 `packaging/tests/gpu_shot_vectors.json`,每条的 `expect_fail` 是**期望的失败判据
|
`--self-test` 的向量在 `packaging/tests/gpu_shot_vectors.json`,每条的 `expect_fail` 是**期望的失败判据
|
||||||
清单,逐条对**。两个变异都能被抓住:
|
清单,逐条对**。三个变异都能被抓住(本轮 r1 又补了判据 2 的「取不到即红」):
|
||||||
|
|
||||||
| 变异 | 抓它的向量 | 结果 |
|
| 变异 | 抓它的向量 | 结果 |
|
||||||
|------|-----------|------|
|
|------|-----------|------|
|
||||||
|
|||||||
Reference in new issue
Block a user