> Pointer provenance is not explicitly present in the C standard.

But comparing pointers from different allocations is UB, as well as computing pointers outside of the allocation (short of directly afterwards).