Generates validated interactive HTML diagrams, from architecture to sequence and state, out of typed JSON, with optional motion.
