{
  "contractVersion": "hwpod-spec-registry-v1",
  "source": {
    "kind": "preinstalled-verified-spec",
    "caseRepo": "pikasTech/hwlab-case-registry",
    "caseId": "d601-f103-v2-compile",
    "caseSpecPath": "cases/d601-f103-v2-compile/hwpod-spec.yaml",
    "verificationIssue": "pikasTech/HWLAB#924",
    "verificationPr": "pikasTech/hwlab-case-registry#1",
    "verifiedAt": "2026-06-05"
  }
}
