=== PATCHED kernel (#1, corrected fix) DF-0134 ===
--- TEST 1: OOB (out-of-slice) label must be REJECTED ---
DIOCGDINFO64: Invalid argument          <-- baseline (unpatched #0) returned LEAK_CONFIRMED with part[1] end=100728832

--- TEST 2: VALID (in-slice) label must still LOAD (control, no over-rejection) ---
[*] in-core disklabel64: magic=0xc4464c59 npart=2 d_total_size=33554432 d_pbase=65536 d_pstop=33554432
    part[0]: p_boffset=65536  p_bsize=1048576  end=1114112
    part[1]: p_boffset=0      p_bsize=33554432 end=33554432
RESULT: NO_LEAK — partitions are bounded (validation present)