Format specs as colourful documentation
Prohibit saving more than one verification per verifiable