Automaton-based Characterisations of First Order Logic over Infinite Trees (ArXiv cs.LO Recent Papers, 2026)