{
  "probe": "lab:D6 · png-luma 故障注入",
  "generatedAt": "2026-09-02T06:19:48.642Z",
  "subjectSha": "de746f3d6b4df911e8e6c5d116cbb6fa42093417c09f485aa56ca83e1f04dd1b",
  "sourceByteIdentical": true,
  "arms": 11,
  "failedArms": [],
  "results": [
    {
      "arm": "ctrl-pristine",
      "kind": "绿侧控制",
      "what": "什么都不改，只换成副本",
      "injected": false,
      "anchorHits": 0,
      "exit": 0,
      "wentRed": false,
      "failedControls": [],
      "verdict": "PASS",
      "expectRed": false
    },
    {
      "arm": "ctrl-noop-comment",
      "kind": "绿侧控制",
      "what": "只加一行注释",
      "injected": true,
      "anchorHits": 1,
      "exit": 0,
      "wentRed": false,
      "failedControls": [],
      "verdict": "PASS",
      "expectRed": false
    },
    {
      "arm": "a1-alpha-not-excluded",
      "kind": "alpha 处置",
      "what": "透明像素照样进 opaque 统计",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MN1-alpha-excluded",
        "MN1-opaquePx"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "m1-median-is-mean",
      "kind": "统计量",
      "what": "median() 改回 mean",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MH4-mean-pulled"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "c1-luma-coef-swap",
      "kind": "luma 系数",
      "what": "0.299r+0.587g → 0.587r+0.299g",
      "injected": true,
      "anchorHits": 1,
      "exit": 0,
      "wentRed": false,
      "failedControls": [],
      "verdict": "PASS",
      "expectRed": false
    },
    {
      "arm": "c2-luma-not-normalized",
      "kind": "luma 量纲",
      "what": "忘记除以 255",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MH1/filter0",
        "MH1/filter1",
        "MH1/filter2",
        "MH1/filter3",
        "MH1/filter4",
        "MH2",
        "MH3-mean",
        "MH3-median",
        "MH4-median-robust",
        "MH5/frozen-filter0",
        "MH5/frozen-filter1",
        "MH5/frozen-filter2",
        "MH5/frozen-filter3",
        "MH5/frozen-filter4"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "f1-paeth-to-none",
      "kind": "filter 解码",
      "what": "filter type 4（Paeth）当成 0 处理",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": null,
      "verdict": "PASS",
      "expectRed": true,
      "note": {
        "stdout": "",
        "stderr": "file:///private/var/folders/sy/0pl6ds2947s0njgbf867tx1r0000gn/T/png-luma-f1-paeth-to-none-zIDjpZ/png-luma.mjs:84\n      else if (ft !== 0) throw new Error(`未知 filter type ${ft} @row ${y}`)\n                               ^\n\nError: 未知 filter type 4 @row 0\n    at decodePng (file:///private/var/folders/sy/0pl6ds2947s0njgbf867tx1r0000gn/T/png-luma-f1-paeth-to-none-zIDjpZ/png-luma.mjs:84:32)\n    at lumaS"
      }
    },
    {
      "arm": "f2-avg-filter-broken",
      "kind": "filter 解码",
      "what": "filter type 3（Average）少了 >>1",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MH5/frozen-filter3"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "g1-idat-length-fail-open",
      "kind": "fail closed",
      "what": "IDAT 长度对不上不抛，截断当小图读",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MN4-height-under-declared-must-throw"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "g2-signature-fail-open",
      "kind": "fail closed",
      "what": "非 PNG 不抛",
      "injected": true,
      "anchorHits": 1,
      "exit": 1,
      "wentRed": true,
      "failedControls": [
        "MN5-bad-signature-must-throw"
      ],
      "verdict": "PASS",
      "expectRed": true
    },
    {
      "arm": "b1-border-is-whole-image",
      "kind": "边缘取样",
      "what": "borderMedian 退化成全图 median",
      "injected": true,
      "anchorHits": 1,
      "exit": 0,
      "wentRed": false,
      "failedControls": [],
      "verdict": "PASS",
      "expectRed": false
    }
  ]
}