Is Lava/Water collision correctly impelmented?

[Leg0shii]

Requires decompiled Minecraft Java 1.8.9, 1.12 and 1.20 code for verification.
Check if a contraction of player hitbox happens for lava collision check as well (like water) or is that already reflected in the negative expansion? Why are the "data types" not consistent.