强制执行法律交叉询问中的单调进展：防止基于 LLM 的探究中出现长程停滞

大型语言模型虽具备流畅的语言能力，但在显式程序约束下难以可靠完成长程任务。在法律交叉询问中，纯概率生成常导致行为连贯但程序停滞。本文将此定义为“程序停滞”，并提出 Soft-FSM，一种通过外部确定性状态控制器强制关键信息单元单调进展的神经符号架构。在台湾三起真实凶杀案实验显示，基线方法完成率低于 40%，而 Soft-FSM consistently 超过 97% 且冗余近乎为零，证明显式外部状态控制对可靠任务完成的必要性。