输出验证器无法判断语义层面的“选对了事实”，只能做确定性检查。