Can you give details on how this is procedurally generated? Does it expand as players explore?

so the entire map including biome are deterministically, procedurally generated from seed, and yes, they're progressively generated as the player travels to reduce the loading speed.