{
  "verdict": "reproduced",
  "impact": "none (wrong API result; correctness bug)",
  "reproduce": {
    "build": "cc -O2 -o ioprio_pgrp ioprio_pgrp.c",
    "run": "./ioprio_pgrp",
    "expected": "ioprio_get(PRIO_PGRP, pgid) = 2 while members are 1/2/8 and ioprio_get(PRIO_USER) = 8; prints REPRODUCED"
  },
  "kernel_refs": [
    "sys/kern/kern_resource.c:365",
    "sys/kern/kern_resource.c:366",
    "sys/kern/kern_resource.c:367",
    "sys/kern/kern_resource.c:368",
    "sys/kern/kern_resource.c:335",
    "sys/kern/kern_resource.c:408"
  ],
  "artifacts": [
    "ioprio_pgrp.c", "build.sh", "run.sh",
    "run.log", "run.2.log", "env.txt", "fix.diff",
    "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}