We’re to date only allocating from 1/8th of the overall IPv6 address space.
There’s 7/8ths remaining in which policy can be changed, if required.
And I would put a bet on IPv6 not being the mainstream global / interplanetary communication protocol in hundreds of years, but I won’t be around to collect, so….
On the /64 boundary, I’d point you at RFC7421.