Тема: pipeline

FTS pipeline и визуализация: один прогон и диаграмма модели

Как заменить check, prove, certify и visualize одним вызовом pipeline и что именно показывает mermaid-диаграмма категории, морфизмов и доказательства.