pub const MAX_PADDR: Paddr = 0x8000_0000;
Current verification upper bound for tracked physical addresses.
This is a memory-model bound, not the architectural physical-address width.