ProgressGate uses TypeSafe Jev to detect when an AI agent is taking different actions without making real progress, then returns CONTINUE, WARN, REPLAN, or HALT decisions before the next model call.