Jidoka

Jidoka/Autonomation in lean