Engine of bajgar-2024-valuewalk (via Hamiltonian Monte Carlo). Parent: thesis-hub. TBD — fill in as needed.