🧊 Soil Freezing Front and Frost Heave under a Road: Enthalpy Model with Exact Check

A freezing front descends into wet soil beneath a road. An enthalpy finite-volume model with latent heat reproduces the exact Neumann solution, adds frost heave from in-place expansion and ice lenses, and tests insulation, soil moisture and a full seasonal cycle.