Guest:   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
Compiler: cc 8.3 [DragonFly] Release/2019-02-22
hz:      100 (harness print: "hz=100")
USB:     u4b stack, ubsa not loaded in the running kernel (no Belkin HW);
         evidence via KLD harness built in-tree against /usr/src
         (same sources as the audited tree), loaded as ubsa5476stall.ko
Modules: ubsa5476stall loaded/unloaded during the run; ubsa.ko (patched,
         fix validation) built but NOT loaded; /usr/src production
         ubsa.c restored byte-identical after the fix compile
Scratch: /usr/src/sys/bus/u4b/serial/ub5476/ + /root/df5476/ on the guest
         (removed by vm.sh reset with-src after the run)
Repo:    sys/bus/u4b/serial/ubsa.c @ 662 LOC, pass 2 (GLM 5.3 re-audit)