The q-Hahn PushTASEP Fredholm determinant conjecture
The q-Hahn PushTASEP Fredholm determinant conjecture. For the step initial configuration,