A domain-specific language and compiler for cross-domain cascade-risk notation, validated against a curated evidence base. - View it on GitHub