Constructs a PRNG whose security reduces entirely to the conjectured one-wayness of the Collatz function, via the HILL framework and a Goldreich–Levin hardcore bit — with a complete security proof under the stated assumption, an open-source C++ reference implementation, and an explicit discussion of the gap between the assumption and a formal proof.