The workflow contract now fails an example whose named widget values disagree with the values it loads, whose id is not a random UUID, whose saved zoom is too low to draw widget text, whose download info names a file its loader does not select, or whose save node writes into a folder.