{
  "verdict": "reproduced",
  "impact": "rng_concurrency_invariant_break",
  "reproduce": {
    "build": "cc -O2 -Wall -o arc4_harness arc4_harness.c -lm",
    "run": "./arc4_harness race 1000",
    "expected": "divergent_from_serialized ~49% ; cross_consumer_duplicate_words=0"
  },
  "kernel_refs": [
    "sys/libkern/arc4random.c:141-162",
    "sys/libkern/arc4random.c:147-150",
    "sys/libkern/arc4random.c:87-99",
    "sys/kern/lwkt_thread.c:941",
    "sys/kern/kern_exec.c:1173",
    "sys/vm/vm_map.c:4408",
    "sys/net/pf/pf.c:4459",
    "sys/netinet/tcp_syncache.c:1070",
    "sys/netinet/ip_input.c:393",
    "sys/netinet/in_pcb.c:885"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "arc4_harness.c", "build.sh", "run.sh",
    "build.log", "run.log", "fix.diff", "manifest.json", "verdict.json"
  ]
}