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.
edit - I updated to delete my over claim. Thank you!