Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines (Logical Methods in Computer Science, 2024)