=== DF-3807 serial console evidence (dfbsd-qemu/boot.log) ===
--- decisive sequence (grep -n mskrep2, first 5 lines) ---
204:mskrep2: mode=1 (fix.diff shape) - STAT_PUT_IDX=5, LE0 port=1 (no ifnet), HW_OWNER set
205:mskrep2: invalid port opcode 0x00000000 (port 1 has no ifnet)
206:mskrep2[fixed]: drain returned 0 after 0 outer iterations, stat_cons=5 idx=5 rx_frames=4 - interrupt re-enabled (B0_Y2_SP_ICR), ISR RETURNS
207:mskrep2: mode=0 (shipped if_msk.c shape) - STAT_PUT_IDX=5, LE0 port=1 (no ifnet), HW_OWNER set
208:mskrep2: invalid port opcode 0x00000000 (port 1 has no ifnet)
--- SPINNING line count (non-termination pressure) ---
1312
--- first and last SPINNING markers ---
mskrep2[shipped]: SPINNING outer=67108864 stat_cons=0 idx=5 (no progress)
mskrep2[shipped]: SPINNING outer=88046829568 stat_cons=0 idx=5 (no progress)
--- panic check ---
0
NO PANIC - pure permanent spin/starvation