{
  "finding_id": "DF-3915",
  "title": "Wild OOB read (and NVRAM garbage write) in _mapping_commit_enc_entry via unvalidated enclosure start_index ingested from DPM pg0 (num_slots==0 bypasses DF-1282)",
  "verdict": "not_reproduced",
  "impact": "none_on_guest_hardware_gated",
  "primitive_proven": "object-level wild read (index 0xFFF0 * 32 = 2,096,640 bytes past an 8,448-byte allocation; reservation-loop bypass demonstrated)",
  "reproduce": {
    "build": "sh build.sh   # cc -O2 -Wall -o harness_df3915 harness_df3915.c",
    "run": "sh run.sh     # ./harness_df3915",
    "expected": "reservation loop (:2328) iterations: 0 (DF-1282 write BYPASSED); RESULT: WILD READ PRIMITIVE PROVEN; exit 0"
  },
  "kernel_refs": [
    "sys/dev/raid/mpr/mpr_mapping.c:129",
    "sys/dev/raid/mpr/mpr_mapping.c:130",
    "sys/dev/raid/mpr/mpr_mapping.c:2251",
    "sys/dev/raid/mpr/mpr_mapping.c:2293",
    "sys/dev/raid/mpr/mpr_mapping.c:2310",
    "sys/dev/raid/mpr/mpr_mapping.c:2328",
    "sys/dev/raid/mpr/mpr_mapping.c:2481",
    "sys/dev/raid/mpr/mpr_mapping.c:2489",
    "sys/dev/raid/mpr/mpr_mapping.c:2491",
    "sys/dev/raid/mpr/mpr_mapping.c:2140"
  ],
  "artifacts": [
    "README.md", "VERDICT.md", "harness_df3915.c", "build.sh", "run.sh",
    "build.log", "run.log", "env.txt", "fix.diff", "fix_build.log",
    "manifest.json", "verdict.json"
  ]
}