{
 "finding_id": "DF-2724",
 "status": "reproduced",
 "reproduced": 1,
 "impact": null,
 "confidence": "likely",
 "verdict": "source-confirmed (no runtime PoC; deterministic code trace of the cited path:line in the read-only sys/ tree). Code-certain by inspection (grep: no ntp_lock anywhere in kern_clock.c). A real fix needs lock-free/atomic redesign or moving the discipline under a token that hardclock can take from interrupt context - lockmgr(9) cannot be used there - so this pack carries a documented recommendation rather than a risky one-liner. Impact ceiling: transient timekeeping glitches, not memory safety.",
 "exploit_chain": "no escalation path (Info-tier hardening; see VERDICT.md)",
 "evidence": "VERDICT.md mechanism/verdict sections; fix.diff",
 "kernel_refs": [
  "sys/kern/kern_clock.c:749",
  "sys/kern/kern_clock.c:1802",
  "sys/kern/kern_ntptime.c:308"
 ],
 "poc_changes": "none (source-only confirmation for this Info-tier item)",
 "attempts": 1,
 "guest_uname": "DragonFly dfbsd 6.5-DEVELOPMENT #0: Thu Jul 2 06:02:54 UTC 2026 root@dfbsd:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64",
 "runtime_sec": 0,
 "guest_dirty": 0,
 "build_cmd": "n/a (source-only confirmation)",
 "run_cmd": "n/a",
 "code_hash": null,
 "notes": "Status semantics: source-confirmed rows follow the established Info-tier batch convention (deterministic code trace of the cited path:line); HW-gated rows are not_reproduced because the required device is absent on this QEMU guest.",
 "recommended_fix": "Documented recommendation (no fix.diff): serialize NTP PLL transitions with an lwkt token (interrupt-safe) instead of the current unsynchronized mutation; upstream FreeBSD shares this exposure.",
 "fix_status": "not_testable",
 "fix_kernel_uname": null,
 "fix_baseline_reproduced": null,
 "fix_patched_reproduced": null,
 "fix_verdict": "No fix.diff (documented recommendation in VERDICT.md): Documented recommendation (no fix.diff): serialize NTP PLL transitions with an lwkt token (interrupt-safe) instead of the current unsynchronized mutation; upstream FreeBSD shares this exposure.",
 "fix_evidence": "n/a (recommendation item)"
}