arXiv 2026年10月14日安全文档写了不等于测过:把系统卡里的安全声明变成可执行测试,56条里只有17条被基准真正覆盖LEST把模型系统卡里的安全声明当作测试规格,在Claude Opus 4.8与GPT-5.5上发现56条声明中仅17条被现有基准提示真正覆盖,并给出从自然语言文档到人工验证反例的端到端追溯。LEST把模型系统卡里的安全声明当作测试规格,在Claude Opus 4.8与GPT-5.5上发现56条声明中仅17条被现有基准提示真正覆盖,并给出从自然语言文档到人工验证反例的端到端追溯。Oregon State UniversityKausar Yetunde Moshood(第一作者)#LEST#规格驱动测试#系统卡#大语言模型安全评估