When Infrastructure Writes the Spec