+ ./mpr_smid_oob
[DF-1228] mpr SMID OOB-index demonstrator
[DF-1228] Bug: sc->commands[le16toh(SMID)] at mpr.c:2336 & :2407
[DF-1228] sc->commands[] sized num_reqs (few thousand); SMID is u16 (0..65535)
[DF-1228] KASSERT only fires AFTER OOB read; no real bounds check exists

[DF-1228] No /dev/mprN found: No such file or directory
[DF-1228] No LSI MPT-Fusion HBA on guest -> interrupt handler never runs.
[DF-1228] Source-level verification only (see VERDICT.md).
RUN_EXIT=0