module Toji::Progress::KojiState