{
  "verdict": "reproduced",
  "impact": "dos",
  "confidence": "certain",
  "reproduce": {
    "build": "sh build.sh  (guest root, /tmp/df5704: same-source libprop rig + harness)",
    "run": "sh run.sh   (wedge: control unwedged / buggy wedged exit 42; leak: RSS 19.3MB @400k)",
    "expected": "control: 'add returned TRUE (no wedge)'; buggy: 'STILL BLOCKED in prop_array_add after 5s: rdlock LEAKED (exit 42)'; leak: ru_maxrss 0 -> 19352 kB over 400000 equals()"
  },
  "kernel_refs": [
    "sys/libprop/prop_stack.c:49-63",
    "sys/libprop/prop_stack.c:86-117",
    "sys/libprop/prop_stack.h:50-62",
    "sys/libprop/prop_object.c:1149-1190",
    "sys/libprop/prop_array.c:219-243",
    "sys/libprop/prop_array.c:251-256",
    "sys/libprop/prop_dictionary.c:503-511",
    "sys/libprop/prop_object_impl.h:295-300",
    "sys/kern/kern_udev.c:906",
    "sys/dev/disk/dm/device-mapper.c:299"
  ],
  "artifacts": [
    "README.md",
    "VERDICT.md",
    "df5704_userland.c",
    "build.sh",
    "run.sh",
    "build.log",
    "run.userland.log",
    "run.2.log",
    "fixtest.userland.log",
    "env.txt",
    "fix.diff",
    "verdict.json",
    "manifest.json"
  ]
}