Porosity variation below a fluid–porous interface