# DF-4017

Low/Info finding — PoC skipped per contract (hardware-gated / dead code).
Source citations in the pass-2 result block.

Fix: remove the #ifdef COMPAT_FREEBSD32 block or port it properly (match the DF-4011 resolution)