Regularity of flat level sets in phase transitions | Synapse