{
  "tool": "inject-dsr1a",
  "preregistration": "docs/2026-09-03-dsr1a-preregistration.md §6.3",
  "takenAt": "2026-09-03T03:05:43.685Z",
  "baseline": {
    "verdict": "R3_SUPPORTS",
    "NxB_F": 1164,
    "NxB_FnGT": 389,
    "NxB_hits": 388,
    "NxD_F": 1162,
    "RxB_F": 1175,
    "inDomain": 4100
  },
  "arms": [
    {
      "id": "ctrl-pristine",
      "why": "什么都不改 ⇒ 必须逐字复现已落盘读数（证明「跑副本」本身不改读数）",
      "target": "subject",
      "exitCode": 0,
      "controlsHit": [],
      "failures": [],
      "observed": {
        "verdict": "R3_SUPPORTS",
        "NxB_F": 1164,
        "NxD_F": 1162,
        "RxB_F": 1175,
        "NxB_precision": 0.9974293059125964
      },
      "pass": true,
      "notes": []
    },
    {
      "id": "p1-threshold-zero",
      "why": "🔴 阈值 0.5 → 0 ⇒ 只要 fill 与铺底不同色就标 ⇒ F 必须大幅扩张",
      "target": "subject",
      "exitCode": 1,
      "controlsHit": [
        "MN6"
      ],
      "failures": [
        "MN6 违反：阴性对照 N = 17 < 20 ⇒ 该对照不可判读，⛔ 不许静默出比例"
      ],
      "observed": {
        "verdict": "R3_SUPPORTS",
        "NxB_F": 1182,
        "NxD_F": 1180,
        "RxB_F": 1197,
        "NxB_precision": 0.9949622166246851
      },
      "pass": true,
      "notes": []
    },
    {
      "id": "p2-no-containment",
      "why": "🔴 只去掉「几何包含」约束（**保留**可见/不透明/有 SOLID paint）⇒ 没铺满的子层也被当铺底",
      "target": "subject",
      "exitCode": 1,
      "controlsHit": [
        "MH2",
        "MH6"
      ],
      "failures": [
        "MH2 违反：9309:9918 N×B 标而 R×B 未标（递归维度反了）",
        "MH2 违反：9423:2610 N×B 标而 R×B 未标（递归维度反了）",
        "MH2 违反：9423:2620 N×B 标而 R×B 未标（递归维度反了）",
        "MH2 违反：10280:59270 N×B 标而 R×B 未标（递归维度反了）"
      ],
      "observed": {
        "verdict": "R3_NOT_SUPPORTED",
        "NxB_F": 1537,
        "NxD_F": 1107,
        "RxB_F": 1175,
        "NxB_precision": 0.5133079847908745
      },
      "pass": true,
      "notes": []
    },
    {
      "id": "p3-abs-to-signed",
      "why": "🔴 双向 |Δ| 改成单向 ⇒ N×B 必须逐字塌成 N×D ⇒ **MH5 必红**",
      "target": "subject",
      "exitCode": 1,
      "controlsHit": [
        "MH5"
      ],
      "failures": [
        "MH5 违反：|F(N×B)| 1162 ⊁ |F(N×D)| 1162 ⇒ 方向维度不携带信息。或实现塌了，或本面不含「fill 暗 ∧ 铺底亮且差 > 阈值」的节点 —— ⛔ 两种都不许静默放行。"
      ],
      "observed": {
        "verdict": "R3_SUPPORTS",
        "NxB_F": 1162,
        "NxD_F": 1162,
        "RxB_F": 1173,
        "NxB_precision": 1
      },
      "pass": true,
      "notes": []
    },
    {
      "id": "p4-anchor-out-of-face",
      "why": "🔴 锚点换成旧 6 文件面的节点 ⇒ **MH1 必红** —— 专测 D6.2 §5 那个空转形态是否已堵上",
      "target": "measure",
      "exitCode": 1,
      "controlsHit": [
        "MH1"
      ],
      "failures": [
        "MH1 违反（MH-not-in-face）：锚点 0054ib0nLmt27bC3QlGDl7|4867:3469 ⛔ 不在 H 面内。⇒ 该控制不携带信息，⛔ 不许静默放行（这正是 D6.2 §5 登记过的形态）。"
      ],
      "observed": {
        "verdict": "R3_SUPPORTS",
        "NxB_F": 1164,
        "NxD_F": 1162,
        "RxB_F": 1175,
        "NxB_precision": 0.9974293059125964
      },
      "pass": true,
      "notes": []
    }
  ],
  "restoreCheck": {
    "subjectIntact": true,
    "measureIntact": true,
    "noLeftover": true
  },
  "allPass": true
}