I love this exchange.

It's about what you'd call "hard SF" and one side calls their argument a "solved problem" :-)))

Only requires more structures and geoengineering larger than humans have bever done before.

We know how, and we know it doesn't require more than operating at higher scales of industry than ever before. Any interplanetary or kardishev 1+ venture makes those assumptions.