== DF-4792 fix run: FIXED variant (uint16_t per fix.diff) harness load ==
guest: DragonFly dfbsd 6.5-DEVELOPMENT #0 x86_64 (same as env.txt)

DF-4792 harness loaded (param type: uint16_t)
DF-4792: entry sizeof=32 TABLE_COUNT=10
PP: Invalid SMU Table version!
DF-4792: in-bounds id=9 (unalloc) rc=-22 (want -EINVAL)
PP: Invalid SMU Table ID!
DF-4792: to_smc(0xFFFF) rc=-22 victim[0..7]=0000000000000000 (untouched)
PP: Invalid SMU Table ID!
DF-4792: from_smc(0xFFFF) rc=-22 victim[0..7]=0000000000000000 (untouched)
PP: Invalid SMU Table ID!
DF-4792: from_smc(0x8000 -> entry[-32768], far OOB) rc=-22
DF-4792 harness unloaded

== BAD BEHAVIOR GONE: all negative table_id values rejected with -EINVAL before any array access; in-bounds path unchanged (unallocated slot still -EINVAL via version check). Full console evidence in run.log.