== DF-2372 baseline (ACHARNESS #3, 2026-10-23) ==
ACSIM: op: pciub32
ACSIM: DF-2372 raw pci_cfgregread(0:0.0, reg0, 4 bytes) = 0x12378086
ACSIM: DF-2372 AcpiOsReadPciConfiguration Width=32 -> status 0x0 value 0x0000000000000000
ACSIM: DF-2372 AcpiOsReadPciConfiguration Width=16 -> status 0x0 value 0x0000000000008086
ACSIM: DF-2372 AcpiOsReadPciConfiguration Width=8  -> status 0x0 value 0x0000000000000086
ACSIM: DF-2372 VERDICT: 32-bit read MASKED TO ZERO by (1<<(4*8))-1 == 0 UB shift; 16-bit read intact. BUG REPRODUCED.