All those publications describe the methodology and modelling process to generate genomes, without testing them experimentally. This article shows that their designed genomes actually work in the wetlab. Your last two links are both preprints.

That's a fair point! I think I've found a few more things, but reading through / verifying first. Will update accordingly and leave notes. Thanks for helping!

edit - I updated to delete my over claim. Thank you!