{
 "verdict": "reproduced",
 "impact": "dos",
 "reproduce": {
  "build": "cc -O1 -o /tmp/df5015 /tmp/df5015.c (in guest)",
  "run": "see README.md (arm -> pressure churn -> flip loop -> monitor-key mismatch detection -> scroll-lock arm/fire cycles)",
  "expected": "marker-wrap artifact (rows>=2) proving 25-row ring vs 60-row screen; sysctl hw.df5015 rows=25 size=2000 ... ysize=60; post-fire ring views show executed appends; kernel write fault in sc_vtb_bcopy during the campaign (attributed to DF-5016)"
 },
 "kernel_refs": [
  "sys/dev/misc/syscons/schistory.c:118-160",
  "sys/dev/misc/syscons/schistory.c:211-215",
  "sys/dev/misc/syscons/schistory.c:219-234",
  "sys/dev/misc/syscons/schistory.c:244-259",
  "sys/dev/misc/syscons/scvtb.c:183-186",
  "sys/dev/misc/syscons/scvtb.c:221-235",
  "sys/dev/misc/syscons/scvtb.c:239-242",
  "sys/dev/misc/syscons/scvtb.c:198-211",
  "sys/dev/misc/syscons/scvidctl.c:146-163",
  "sys/dev/misc/syscons/scvidctl.c:382-397",
  "sys/dev/misc/syscons/syscons.c:3843-3933"
 ],
 "artifacts": [
  "README.md",
  "VERDICT.md",
  "build.sh",
  "df5015.c",
  "drive.py",
  "env.txt",
  "fix.diff",
  "manifest.json",
  "off.c",
  "offmod2.c",
  "panic-offmod2-tool.log",
  "panic-scvtb_bcopy-unpriv-churn.log",
  "probe.c",
  "race5016.c",
  "round2.py",
  "round3.py",
  "round4.py",
  "round5.py",
  "round6.py",
  "run.log",
  "run.sh",
  "squeeze.c",
  "verdict.json",
  "watcher.sh"
 ]
}