We present a thermodynamically consistent derivation of extended Biot poroelasticity, showing that Gassmann, Brown–Korringa, and related models emerge as special cases. Our formulation clarifies the conditions under which Gassmann’s relation holds and extends it by incorporating off-diagonal Hessian terms. Symbolic Maple code with consistency checks ensures full transparency, reproducibility, and accessibility for further research.