spec for robustness diagram builder
enrich specs