[Jackie] Doc update: full loose impl of the FSM