本页是快速索引。公开名称以各包的 pkg.generated.mbti 为准；Tutorial
说明推荐用法，Design 解释标准对齐、算法选择、优化与切换边界。
| 需求 | 包 | 先读 | 深入资料 |
|---|---|---|---|
| 二进制有理数 / IEEE binary | bin_float |
Tutorial | API · Design · Conformance · Performance |
| IEEE decimal / DPD / BID | decimal |
Tutorial | API · Design · Conformance · Performance |
| GDA sticky status 与 trap | decimal_gda |
Tutorial | API · Design · Conformance · Performance |
| 认证区间 / IEEE 1788 | ball_float |
Tutorial | API · Design · Conformance · Performance |
| 首错即停的二进制组合 | bin_float_checked |
Tutorial | API · Design |
| 累积 IEEE decimal flags | decimal_checked |
Tutorial | API · Design |
| sticky/trapping GDA 组合 | decimal_gda_checked |
Tutorial | API · Design |
| 首错即停的区间组合 | ball_float_checked |
Tutorial | API · Design |
| 共享词汇 | def |
Tutorial | API · Design |
| 与表示无关的观察 | semantic |
Tutorial | API · Design |
- 表达式 IR：
numeric_expr - 语料前端：
frontend/gda_expr、frontend/itl_expr、frontend/mpfr_expr、frontend/testfloat_expr - CLI 适配器：
cli及其后端子包 - 运行与验证：
internal、internal/conformance、internal/runner_cli、consistency、bench
这些包因仓库工具组合需要而发布接口，但其 Design 会声明比应用包更窄的稳定性边界。
- 固定 GDA
official语料的 64,986/64,986 legal executable scalar rows 全部通过；official0为 16,124/16,124。其余 141 条#placeholder/non-scalar 行是诊断性排除项。 - 固定 strict ITF1788 汇总的 4,656/4,656 条选定区间用例全部通过。
- Binary 与 IEEE decimal 的声明按 operation/format 矩阵限定，并包含固定 MPFR elementary-function 证据。
这些有限结果不表示支持所有未来 directive、标准操作或实数输入。对外宣称兼容前， 必须阅读对应 conformance 页面。
用 api.md 查找可调用名称，用 tutorial.md 选择安全工作流，用 design.md
理解不变量与实现取舍。若文字与公开清单冲突，以 pkg.generated.mbti 为准。