ball_float 一致性说明

声明

当前 strict ITF1788 门禁执行 4,656/4,656 个选中 case，failed、unsupported 与 diagnostic 均为零。该声明只覆盖固定语料 revision、已选 operation phase 和 runner precision，不等于完整实现 IEEE 1788。

语义 Oracle

预期结果按集合意义比较：端点包含、集合关系、布尔关系、overlap state、数值观察和 decoration 分别使用操作专用比较器。合同允许放宽时，更宽区间可以正确；排除精确结果的包络永远错误。

支持 Phase

strict 矩阵涵盖集合、关系、观察、抵消、加/减/乘/除、初等函数核心、指数/对数函数、一般幂、三角函数、atan2、双曲函数、反三角函数、FMA、整数幂以及极值。各阶段的运算集合互不相交，因此同一行不会被重复计数。

Decoration 与 Fallback

Empty、Entire 和 decorated NaI 是不同状态。初等函数内核使用有向 dyadic 证书；若无法证明 range reduction，sin/cos 返回 [-1,1]，tan 返回 Entire。这样保证包含性，但不承诺 tightness。

排除范围

reverse interval operation、选定 phase 以外的全部 decoration 规则、任意 endpoint format 和未固定的上游 revision 均不在声明内。

复现

just conformance smoke interval
just conformance fetch interval itf1788
just gate interval 8

语料来源、phase 计数、strict 模式和失败排查见区间数据指南。