ShadowBench v1：语义对齐与编译率分离
原作者自动形式化评估及shadow辅助命题法。
原文位置：§3 SA-Pass；§5.1配置；§5.2编译与语义；§6专家一致性
不能据此推出：shadow集合与专家判断仍有误差，非任意研究陈述的完整语义判定；未重跑。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-M-SHADOW
实际引用在哪里
命题形式化：交付自然语言与形式声明的语义对照 →
支持形式陈述的shadow与专家一致性检查。
关系：直接对应
命题形式化：交付自然语言与形式声明的语义对照 →
用区分性检查拒绝看似可编译的错题意。
关系：方法依据