利用见证解析配置文件诊断 LLM Agent 中的实时策略内指令冲突

LLM Agent 受长生命周期自然语言提示策略管辖，但独立合理的规则可能产生未检测的交互冲突。本文研究实时策略内规则冲突诊断，旨在发现同一策略中可共同治理现实状态的规则对，并衡量模型如何解析这种压力。我们提出了 WIRE（见证策略内规则评估）流水线，通过提取基于源的规则、编码为 PyRule 子句、利用可满足性检查保留硬碰撞候选项，并将其具体化为共同治理见证者以评估模型输出。实验显示，仅 35.4% 的情况符合联合合规，揭示了独特的策略、模型及工具动作解析模式。