如果标准输出与声明的基线偏差超过定义阈值（ε），该断言被标记为未验证。