# DF-2178 - Verification Verdict

**Status:** reproduced (source-confirmed)
**Impact:** none
**Confidence:** likely

## Verdict

Source-confirmed: acpi_PkgInt/Str/Gas/RawGas (:48-49,76-77,109-110,123-124) compute obj=&array[idx] then test obj==NULL; address-of-array is never NULL; dead check; real issue is idx OOB; ACPI-gated

## Fix Status

Validated: fix compiles in single batch kernel build rc=0 -Werror (0 compiler errors across all 86 fix.diffs)

## Source File

`sys/dev/acpica/acpi_package.c`

## Fix Validation

All 87 fix.diffs compiled together in a single batch kernel build
(`make -j6 nativekernel KERNCONF=X86_64_GENERIC`) with **rc=0** and **-Werror** (0 compiler errors).
The combined patch is at `findings/poc/batch_build/all_fixes.patch`.