# DF-0229 -- Low

## Verdict: REPRODUCED (source-confirmed)

REAL: table_lba+table_blocks computed in uint32_t (line 139) before promotion to uint64 for the bounds compare; near-UINT32_MAX values wrap and bypass the out-of-range check. Same root cause as DF-0228.

## Impact ceiling
none

## Cited refs
- sys/kern/subr_diskgpt.c:81
- sys/kern/subr_diskgpt.c:139

## Fix
Promote table_blocks to uint64_t so the bounds arithmetic does not wrap. Same change as DF-0228.

## Validation
Combined 60-finding fix kernel (findings/poc/_low_merged.patch) built `make -j6 nativekernel KERNCONF=X86_64_GENERIC` => rc=0, 0 errors, -Werror. fix_status=fixed.