用状态机建模产线换型：未清线前下一个 SKU 无法开工

为食品工厂的 MES/ERP 设计时，把产线清线做成显式状态机，让下一个生产订单在清线完成前无法启动。状态依次为 closed_out、cleaned、cleared、setup、released，换型类型分 light、full、allergen 并对应不同清洁程序与验证检查，且要求检查人与清洁人不同。startOrder 仅在状态为 setup、必需检查通过且首件 QC 合格时才放行。