import Spec.Courseware.Check.Diagnostic
import Spec.Courseware.Check.Pipeline

/-!
# Courseware.Check —— 产品 checker 语义

诊断分类与合法 lesson(`Diagnostic`)、检查管线的阶段与序(`Pipeline`)。决策出处
ADR-0010。
-/
